0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4542981-1753214161.opb>
0.00/0.00 c original problem has 337 variables (337 bin, 0 int, 0 cont) and 170 constraints
0.00/0.00 c problem read in 0.001 seconds
0.00/0.00 c problem without objective
0.00/0.00 c presolving:
0.00/0.00 c (0.0s) running MILP presolver
0.00/0.00 c (0.0s) MILP presolver (2 rounds): 1 aggregations, 0 fixings, 0 bound changes
0.00/0.00 c (round 1, medium) 1 del vars, 170 del conss, 84 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (0.0s) probing: 51/336 (15.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.00 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.00 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.00 c (0.0s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.30) (symcode time: 0.00)
0.00/0.00 c dynamic symmetry handling statistics:
0.00/0.00 c orbitopal reduction: no components
0.00/0.00 c orbital reduction: no components
0.00/0.00 c lexicographic reduction: 1 permutations with support sizes 294
0.00/0.00 c handled 1 out of 1 symmetry components
0.00/0.00 c presolving (2 rounds: 2 fast, 2 medium, 1 exhaustive):
0.00/0.00 c 1 deleted vars, 170 deleted constraints, 84 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.00 c 0 implications, 0 cliques
0.00/0.00 c presolved problem has 336 variables (336 bin, 0 int, 0 cont) and 84 constraints
0.00/0.00 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.00 c 84 constraints of type <linear>
0.00/0.00 c transformed objective value is always integral (scale: 1)
0.00/0.00 c Presolving Time: 0.00
0.00/0.00 c
0.00/0.00 c - non default parameters ----------------------------------------------------------------------
0.00/0.00 c
0.00/0.00 c # SCIP version 10.0.0
0.00/0.00 c
0.00/0.00 c # maximal time in seconds to run
0.00/0.00 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.00 c limits/time = 3596.998018
0.00/0.00 c
0.00/0.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.00 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.00 c limits/memory = 27900
0.00/0.00 c
0.00/0.00 c # belongs reading time to solving time?
0.00/0.00 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c timing/reading = TRUE
0.00/0.00 c
0.00/0.00 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.00/0.00 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.00 c reading/opbreader/maxintsize = 47
0.00/0.00 c
0.00/0.00 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.00 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.00 c propagating/genvbounds/timingmask = 0
0.00/0.00 c
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 c
0.00/0.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.01 c 0.0s| 1 | 0 | 216 | - | 7189k | 0 | 336 | 122 | 84 | 0 | 0 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.02 c 0.0s| 1 | 0 | 322 | - | 7436k | 0 | 336 | 122 | 92 | 8 | 1 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.02 c 0.0s| 1 | 0 | 325 | - | 7579k | 0 | 336 | 122 | 95 | 11 | 2 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.02 c 0.0s| 1 | 0 | 328 | - | 7589k | 0 | 336 | 122 | 98 | 14 | 3 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.02 c 0.0s| 1 | 0 | 334 | - | 7600k | 0 | 336 | 122 | 99 | 15 | 4 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.02 c 0.0s| 1 | 0 | 344 | - | 7856k | 0 | 336 | 122 | 102 | 18 | 5 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.02 c 0.0s| 1 | 0 | 363 | - | 8225k | 0 | 336 | 122 | 104 | 20 | 6 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.03 c 0.0s| 1 | 0 | 371 | - | 8452k | 0 | 336 | 122 | 107 | 23 | 7 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.03 c 0.0s| 1 | 0 | 388 | - | 8724k | 0 | 336 | 122 | 112 | 28 | 8 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 400 | - | 9356k | 0 | 336 | 122 | 117 | 33 | 9 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 409 | - | 10M | 0 | 336 | 122 | 120 | 36 | 10 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 412 | - | 10M | 0 | 336 | 122 | 122 | 38 | 11 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 421 | - | 10M | 0 | 336 | 122 | 116 | 39 | 12 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.05 c 0.0s| 1 | 0 | 423 | - | 10M | 0 | 336 | 122 | 117 | 40 | 13 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 2 | 738 | - | 10M | 0 | 336 | 133 | 117 | 40 | 13 | 49 | 5 | 0.000000e+00 | -- | Inf | unknown
0.30/0.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.30/0.36 c 0.4s| 100 | 101 | 6008 | 56.4 | 10M | 28 | 336 | 258 | 87 | 85 | 1 | 178 | 5 | 0.000000e+00 | -- | Inf | unknown
0.49/0.54 c 0.5s| 200 | 201 | 9254 | 44.4 | 11M | 35 | 336 | 352 | 87 | 93 | 1 | 274 | 5 | 0.000000e+00 | -- | Inf | unknown
0.68/0.77 c 0.8s| 300 | 301 | 12318 | 39.8 | 11M | 35 | 336 | 441 | 87 | 93 | 1 | 366 | 5 | 0.000000e+00 | -- | Inf | unknown
0.78/0.89 c 0.9s| 400 | 401 | 13661 | 33.2 | 12M | 38 | 336 | 445 | 87 | 93 | 1 | 371 | 5 | 0.000000e+00 | -- | Inf | unknown
0.99/1.08 c 1.1s| 500 | 501 | 14851 | 28.9 | 12M | 38 | 336 | 445 | 87 | 96 | 1 | 371 | 5 | 0.000000e+00 | -- | Inf | unknown
1.09/1.19 c 1.2s| 600 | 601 | 15766 | 25.6 | 12M | 38 | 336 | 447 | 87 | 96 | 1 | 375 | 5 | 0.000000e+00 | -- | Inf | unknown
1.29/1.37 c 1.4s| 700 | 701 | 16680 | 23.3 | 12M | 38 | 336 | 479 | 87 | 96 | 1 | 407 | 5 | 0.000000e+00 | -- | Inf | unknown
1.39/1.43 c 1.4s| 800 | 801 | 17258 | 21.1 | 12M | 44 | 336 | 491 | 94 | 130 | 2 | 419 | 5 | 0.000000e+00 | -- | Inf | unknown
1.49/1.51 c 1.5s| 900 | 901 | 17835 | 19.4 | 12M | 44 | 336 | 495 | 94 | 220 | 2 | 423 | 5 | 0.000000e+00 | -- | Inf | unknown
1.59/1.63 c 1.6s| 1000 | 1001 | 18345 | 17.9 | 12M | 44 | 336 | 498 | 87 | 278 | 1 | 426 | 5 | 0.000000e+00 | -- | Inf | unknown
1.59/1.67 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1.59/1.67 c (run 1, node 1049) performing user restart
1.59/1.67 c
1.59/1.67 c (restart) converted 2 cuts from the global cut pool into linear constraints
1.59/1.67 c
1.59/1.68 c presolving:
1.59/1.68 c (round 1, fast) 0 del vars, 3 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.59/1.68 c (round 2, exhaustive) 0 del vars, 3 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2 upgd conss, 0 impls, 0 clqs
1.59/1.68 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
1.59/1.68 c 0 deleted vars, 3 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.59/1.68 c 0 implications, 0 cliques
1.59/1.68 c presolved problem has 336 variables (336 bin, 0 int, 0 cont) and 507 constraints
1.59/1.68 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1.59/1.68 c 6 constraints of type <knapsack>
1.59/1.68 c 86 constraints of type <linear>
1.59/1.68 c 415 constraints of type <logicor>
1.59/1.68 c transformed objective value is always integral (scale: 1)
1.59/1.68 c Presolving Time: 0.01
1.59/1.68 c
1.59/1.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.59/1.69 c 1.7s| 1 | 0 | 19415 | - | 13M | 0 | 336 | 527 | 86 | 0 | 0 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
1.69/1.70 c 1.7s| 1 | 0 | 19427 | - | 13M | 0 | 336 | 527 | 100 | 14 | 1 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
1.69/1.70 c 1.7s| 1 | 0 | 19439 | - | 13M | 0 | 336 | 527 | 106 | 20 | 2 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
1.69/1.70 c 1.7s| 1 | 0 | 19449 | - | 13M | 0 | 336 | 527 | 112 | 26 | 3 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
1.69/1.71 c 1.7s| 1 | 0 | 19460 | - | 13M | 0 | 336 | 527 | 117 | 31 | 4 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
1.69/1.71 c 1.7s| 1 | 0 | 19470 | - | 14M | 0 | 336 | 527 | 122 | 36 | 5 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
1.69/1.71 c 1.7s| 1 | 0 | 19478 | - | 14M | 0 | 336 | 527 | 125 | 39 | 6 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
1.69/1.72 c 1.7s| 1 | 0 | 19491 | - | 14M | 0 | 336 | 527 | 128 | 42 | 7 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
1.69/1.73 c 1.7s| 1 | 0 | 19506 | - | 14M | 0 | 336 | 527 | 130 | 44 | 8 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
1.69/1.74 c 1.7s| 1 | 0 | 19512 | - | 17M | 0 | 336 | 527 | 133 | 47 | 9 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
1.69/1.77 c 1.8s| 1 | 0 | 19538 | - | 20M | 0 | 336 | 527 | 135 | 49 | 10 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
1.69/1.77 c 1.8s| 1 | 0 | 19548 | - | 20M | 0 | 336 | 527 | 137 | 51 | 11 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
1.69/1.77 c 1.8s| 1 | 0 | 19551 | - | 20M | 0 | 336 | 527 | 121 | 54 | 12 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
1.78/1.80 c 1.8s| 1 | 2 | 19571 | - | 20M | 0 | 336 | 527 | 121 | 54 | 12 | 458 | 24 | 0.000000e+00 | -- | Inf | unknown
1.88/1.94 c 1.9s| 100 | 101 | 20754 | 17.4 | 20M | 27 | 336 | 543 | 88 | 61 | 1 | 475 | 24 | 0.000000e+00 | -- | Inf | unknown
1.88/2.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.88/2.00 c 2.0s| 200 | 201 | 21566 | 16.7 | 20M | 43 | 336 | 560 | 88 | 72 | 1 | 493 | 24 | 0.000000e+00 | -- | Inf | unknown
1.99/2.03 c 2.0s| 300 | 301 | 21960 | 15.7 | 21M | 44 | 336 | 560 | 90 | 121 | 1 | 493 | 24 | 0.000000e+00 | -- | Inf | unknown
1.99/2.09 c 2.1s| 400 | 401 | 22474 | 15.0 | 22M | 44 | 336 | 560 | 92 | 248 | 1 | 493 | 24 | 0.000000e+00 | -- | Inf | unknown
2.09/2.14 c 2.1s| 500 | 501 | 23150 | 14.5 | 22M | 56 | 336 | 560 | 88 | 335 | 1 | 494 | 24 | 0.000000e+00 | -- | Inf | unknown
2.09/2.18 c 2.2s| 600 | 601 | 23787 | 14.0 | 22M | 62 | 336 | 570 | 93 | 365 | 1 | 505 | 24 | 0.000000e+00 | -- | Inf | unknown
2.18/2.21 c 2.2s| 700 | 701 | 24421 | 13.5 | 22M | 69 | 336 | 580 | 93 | 365 | 1 | 515 | 24 | 0.000000e+00 | -- | Inf | unknown
2.28/2.34 c 2.3s| 800 | 801 | 24833 | 13.0 | 22M | 100 | 336 | 587 | 93 | 365 | 1 | 522 | 24 | 0.000000e+00 | -- | Inf | unknown
2.28/2.39 c 2.4s| 900 | 901 | 25317 | 12.6 | 22M | 118 | 336 | 595 | 93 | 365 | 1 | 531 | 24 | 0.000000e+00 | -- | Inf | unknown
2.38/2.41 c 2.4s| 1000 | 1001 | 25721 | 12.2 | 22M | 122 | 336 | 601 | 93 | 365 | 1 | 537 | 24 | 0.000000e+00 | -- | Inf | unknown
2.38/2.44 c 2.4s| 1100 | 1099 | 26131 | 11.8 | 22M | 144 | 336 | 606 | 93 | 365 | 1 | 544 | 24 | 0.000000e+00 | -- | Inf | unknown
2.38/2.46 c 2.5s| 1200 | 1171 | 26579 | 11.5 | 22M | 151 | 336 | 610 | 93 | 365 | 1 | 563 | 24 | 0.000000e+00 | -- | Inf | unknown
2.38/2.49 c 2.5s| 1300 | 1231 | 27081 | 11.2 | 22M | 151 | 336 | 619 | 93 | 365 | 1 | 587 | 24 | 0.000000e+00 | -- | Inf | unknown
2.48/2.58 c 2.6s| 1400 | 1316 | 27571 | 10.9 | 23M | 151 | 336 | 634 | 88 | 378 | 1 | 611 | 24 | 0.000000e+00 | -- | Inf | unknown
2.58/2.65 c 2.7s| 1500 | 1416 | 29181 | 11.1 | 23M | 151 | 336 | 676 | 88 | 407 | 1 | 654 | 24 | 0.000000e+00 | -- | Inf | unknown
2.68/2.73 c 2.7s| 1600 | 1516 | 30090 | 11.1 | 23M | 151 | 336 | 708 | 92 | 431 | 1 | 687 | 24 | 0.000000e+00 | -- | Inf | unknown
2.78/2.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.78/2.80 c 2.8s| 1700 | 1616 | 30849 | 10.9 | 23M | 151 | 336 | 718 | 95 | 451 | 1 | 697 | 24 | 0.000000e+00 | -- | Inf | unknown
2.78/2.83 c 2.8s| 1800 | 1716 | 31277 | 10.7 | 23M | 151 | 336 | 720 | 92 | 467 | 1 | 699 | 24 | 0.000000e+00 | -- | Inf | unknown
2.88/2.94 c 2.9s| 1900 | 1816 | 31588 | 10.5 | 24M | 151 | 336 | 720 | 92 | 471 | 1 | 699 | 24 | 0.000000e+00 | -- | Inf | unknown
2.88/2.99 c 3.0s| 2000 | 1916 | 32016 | 10.2 | 24M | 151 | 336 | 720 | 92 | 471 | 1 | 699 | 24 | 0.000000e+00 | -- | Inf | unknown
2.98/3.05 c 3.0s| 2100 | 2016 | 32576 | 10.1 | 24M | 151 | 336 | 732 | 92 | 471 | 1 | 714 | 24 | 0.000000e+00 | -- | Inf | unknown
3.08/3.12 c 3.1s| 2200 | 2116 | 32965 | 9.9 | 24M | 151 | 336 | 739 | 93 | 471 | 1 | 721 | 24 | 0.000000e+00 | -- | Inf | unknown
3.08/3.18 c 3.2s| 2300 | 2210 | 33318 | 9.7 | 24M | 151 | 336 | 749 | 88 | 479 | 1 | 731 | 24 | 0.000000e+00 | -- | Inf | unknown
3.17/3.28 c 3.3s| 2400 | 2310 | 34172 | 9.7 | 24M | 151 | 336 | 806 | 92 | 487 | 1 | 789 | 24 | 0.000000e+00 | -- | Inf | unknown
3.27/3.34 c 3.3s| 2500 | 2408 | 34572 | 9.5 | 24M | 151 | 336 | 814 | 93 | 487 | 1 | 797 | 24 | 0.000000e+00 | -- | Inf | unknown
3.37/3.40 c 3.4s| 2600 | 2508 | 35194 | 9.4 | 24M | 151 | 336 | 816 | 93 | 487 | 1 | 802 | 24 | 0.000000e+00 | -- | Inf | unknown
3.37/3.42 c 3.4s| 2700 | 2608 | 35528 | 9.3 | 24M | 151 | 336 | 816 | 92 | 487 | 1 | 802 | 24 | 0.000000e+00 | -- | Inf | unknown
3.47/3.55 c 3.6s| 2800 | 2708 | 35990 | 9.1 | 24M | 151 | 336 | 825 | 91 | 493 | 1 | 811 | 24 | 0.000000e+00 | -- | Inf | unknown
3.57/3.60 c 3.6s| 2900 | 2808 | 36457 | 9.0 | 24M | 151 | 336 | 827 | 92 | 500 | 1 | 813 | 24 | 0.000000e+00 | -- | Inf | unknown
3.67/3.70 c 3.7s| 3000 | 2908 | 37186 | 9.0 | 25M | 151 | 336 | 848 | 91 | 510 | 1 | 836 | 24 | 0.000000e+00 | -- | Inf | unknown
3.77/3.82 c 3.8s| 3100 | 3008 | 37748 | 8.9 | 25M | 151 | 336 | 851 | 92 | 510 | 1 | 839 | 24 | 0.000000e+00 | -- | Inf | unknown
3.77/3.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.77/3.85 c 3.9s| 3200 | 3108 | 38159 | 8.8 | 25M | 151 | 336 | 856 | 92 | 522 | 1 | 844 | 24 | 0.000000e+00 | -- | Inf | unknown
3.98/4.00 c 4.0s| 3300 | 3208 | 38982 | 8.8 | 25M | 151 | 336 | 865 | 93 | 522 | 1 | 855 | 24 | 0.000000e+00 | -- | Inf | unknown
3.98/4.09 c 4.1s| 3400 | 3308 | 39541 | 8.7 | 25M | 151 | 336 | 870 | 93 | 522 | 1 | 860 | 24 | 0.000000e+00 | -- | Inf | unknown
4.17/4.20 c 4.2s| 3500 | 3408 | 39997 | 8.6 | 25M | 151 | 336 | 873 | 93 | 522 | 1 | 864 | 24 | 0.000000e+00 | -- | Inf | unknown
4.17/4.23 c 4.2s| 3600 | 3508 | 40571 | 8.6 | 25M | 151 | 336 | 886 | 95 | 522 | 1 | 878 | 24 | 0.000000e+00 | -- | Inf | unknown
4.27/4.38 c 4.4s| 3700 | 3608 | 41041 | 8.5 | 25M | 151 | 336 | 893 | 93 | 522 | 1 | 885 | 24 | 0.000000e+00 | -- | Inf | unknown
4.37/4.49 c 4.5s| 3800 | 3708 | 41578 | 8.4 | 26M | 151 | 336 | 902 | 93 | 522 | 1 | 894 | 24 | 0.000000e+00 | -- | Inf | unknown
4.47/4.52 c 4.5s| 3900 | 3808 | 41932 | 8.3 | 26M | 151 | 336 | 902 | 93 | 522 | 1 | 895 | 24 | 0.000000e+00 | -- | Inf | unknown
4.47/4.58 c 4.6s| 4000 | 3906 | 43027 | 8.4 | 26M | 151 | 336 | 924 | 95 | 572 | 2 | 919 | 24 | 0.000000e+00 | -- | Inf | unknown
4.57/4.60 c 4.6s| 4100 | 3998 | 43377 | 8.3 | 26M | 151 | 336 | 929 | 93 | 583 | 1 | 924 | 24 | 0.000000e+00 | -- | Inf | unknown
4.57/4.64 c 4.6s| 4200 | 4098 | 44032 | 8.2 | 26M | 151 | 336 | 942 | 93 | 583 | 1 | 938 | 24 | 0.000000e+00 | -- | Inf | unknown
4.57/4.66 c 4.7s| 4300 | 4196 | 44547 | 8.2 | 26M | 151 | 336 | 955 | 93 | 583 | 1 | 951 | 24 | 0.000000e+00 | -- | Inf | unknown
4.57/4.69 c 4.7s| 4400 | 4296 | 44921 | 8.1 | 26M | 151 | 336 | 955 | 93 | 583 | 1 | 951 | 24 | 0.000000e+00 | -- | Inf | unknown
4.67/4.71 c 4.7s| 4500 | 4390 | 45202 | 8.0 | 26M | 151 | 336 | 957 | 93 | 583 | 1 | 956 | 24 | 0.000000e+00 | -- | Inf | unknown
4.67/4.74 c 4.7s| 4600 | 4490 | 45792 | 8.0 | 26M | 151 | 336 | 977 | 88 | 583 | 1 | 977 | 24 | 0.000000e+00 | -- | Inf | unknown
4.67/4.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.67/4.78 c 4.8s| 4700 | 4590 | 46481 | 8.0 | 26M | 151 | 336 | 998 | 86 | 607 | 1 |1000 | 24 | 0.000000e+00 | -- | Inf | unknown
4.77/4.81 c 4.8s| 4800 | 4690 | 47080 | 7.9 | 26M | 151 | 336 |1004 | 93 | 616 | 1 |1007 | 24 | 0.000000e+00 | -- | Inf | unknown
4.77/4.84 c 4.8s| 4900 | 4769 | 47379 | 7.8 | 26M | 156 | 336 |1024 | 92 | 620 | 3 |1030 | 24 | 0.000000e+00 | -- | Inf | unknown
4.77/4.89 c 4.9s| 5000 | 4869 | 48208 | 7.8 | 27M | 156 | 336 |1066 | 93 | 631 | 1 |1072 | 24 | 0.000000e+00 | -- | Inf | unknown
4.87/4.92 c 4.9s| 5100 | 4954 | 48555 | 7.8 | 27M | 156 | 336 |1080 | 92 | 648 | 1 |1087 | 24 | 0.000000e+00 | -- | Inf | unknown
4.87/4.95 c 5.0s| 5200 | 5054 | 49040 | 7.7 | 27M | 156 | 336 |1087 | 94 | 648 | 1 |1094 | 24 | 0.000000e+00 | -- | Inf | unknown
4.87/4.99 c 5.0s| 5300 | 5154 | 49764 | 7.7 | 27M | 156 | 336 |1100 | 91 | 654 | 1 |1108 | 24 | 0.000000e+00 | -- | Inf | unknown
4.97/5.02 c 5.0s| 5400 | 5254 | 50207 | 7.7 | 27M | 156 | 336 |1100 | 92 | 660 | 1 |1108 | 24 | 0.000000e+00 | -- | Inf | unknown
4.97/5.04 c 5.0s| 5500 | 5354 | 50726 | 7.6 | 27M | 156 | 336 |1099 | 92 | 660 | 1 |1109 | 24 | 0.000000e+00 | -- | Inf | unknown
4.97/5.08 c 5.1s| 5600 | 5442 | 51443 | 7.6 | 27M | 156 | 336 |1105 | 93 | 660 | 1 |1121 | 24 | 0.000000e+00 | -- | Inf | unknown
5.07/5.11 c 5.1s| 5700 | 5532 | 51904 | 7.6 | 27M | 156 | 336 |1108 | 93 | 660 | 1 |1127 | 24 | 0.000000e+00 | -- | Inf | unknown
5.07/5.14 c 5.1s| 5800 | 5606 | 52513 | 7.6 | 27M | 156 | 336 |1118 | 93 | 660 | 1 |1152 | 24 | 0.000000e+00 | -- | Inf | unknown
5.07/5.17 c 5.2s| 5900 | 5690 | 53052 | 7.5 | 27M | 156 | 336 |1148 | 93 | 660 | 1 |1186 | 24 | 0.000000e+00 | -- | Inf | unknown
5.17/5.21 c 5.2s| 6000 | 5756 | 53698 | 7.5 | 28M | 156 | 336 |1166 | 93 | 666 | 1 |1218 | 24 | 0.000000e+00 | -- | Inf | unknown
5.17/5.24 c 5.2s| 6100 | 5822 | 54325 | 7.5 | 29M | 156 | 336 |1177 | 91 | 666 | 1 |1242 | 24 | 0.000000e+00 | -- | Inf | unknown
5.17/5.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.17/5.27 c 5.3s| 6200 | 5922 | 54860 | 7.5 | 29M | 156 | 336 |1183 | 95 | 666 | 1 |1248 | 24 | 0.000000e+00 | -- | Inf | unknown
5.27/5.31 c 5.3s| 6300 | 6022 | 55484 | 7.4 | 29M | 156 | 336 |1198 | 93 | 666 | 1 |1265 | 24 | 0.000000e+00 | -- | Inf | unknown
5.27/5.34 c 5.3s| 6400 | 6122 | 55974 | 7.4 | 29M | 156 | 336 |1208 | 93 | 666 | 1 |1275 | 24 | 0.000000e+00 | -- | Inf | unknown
5.27/5.36 c 5.4s| 6500 | 6216 | 56474 | 7.4 | 29M | 156 | 336 |1219 | 93 | 666 | 1 |1287 | 24 | 0.000000e+00 | -- | Inf | unknown
5.27/5.39 c 5.4s| 6600 | 6306 | 57023 | 7.4 | 29M | 156 | 336 |1225 | 92 | 666 | 1 |1298 | 24 | 0.000000e+00 | -- | Inf | unknown
5.37/5.42 c 5.4s| 6700 | 6362 | 57384 | 7.3 | 29M | 156 | 336 |1263 | 93 | 674 | 1 |1342 | 24 | 0.000000e+00 | -- | Inf | unknown
5.37/5.47 c 5.5s| 6800 | 6462 | 58283 | 7.3 | 30M | 156 | 336 |1271 | 92 | 675 | 1 |1354 | 24 | 0.000000e+00 | -- | Inf | unknown
5.47/5.50 c 5.5s| 6900 | 6562 | 58844 | 7.3 | 30M | 156 | 336 |1274 | 91 | 675 | 1 |1357 | 24 | 0.000000e+00 | -- | Inf | unknown
5.47/5.53 c 5.5s| 7000 | 6642 | 59322 | 7.3 | 30M | 156 | 336 |1276 | 93 | 675 | 1 |1366 | 24 | 0.000000e+00 | -- | Inf | unknown
5.47/5.56 c 5.6s| 7100 | 6738 | 59807 | 7.2 | 30M | 156 | 336 |1278 | 93 | 675 | 1 |1369 | 24 | 0.000000e+00 | -- | Inf | unknown
5.47/5.58 c 5.6s| 7200 | 6838 | 60247 | 7.2 | 30M | 156 | 336 |1284 | 93 | 675 | 1 |1375 | 24 | 0.000000e+00 | -- | Inf | unknown
5.57/5.62 c 5.6s| 7300 | 6938 | 60914 | 7.2 | 30M | 156 | 336 |1294 | 92 | 675 | 1 |1385 | 24 | 0.000000e+00 | -- | Inf | unknown
5.57/5.65 c 5.7s| 7400 | 7038 | 61628 | 7.2 | 30M | 156 | 336 |1311 | 88 | 689 | 1 |1403 | 24 | 0.000000e+00 | -- | Inf | unknown
5.67/5.71 c 5.7s| 7500 | 7138 | 62583 | 7.2 | 30M | 156 | 336 |1317 | 94 | 717 | 1 |1411 | 24 | 0.000000e+00 | -- | Inf | unknown
5.67/5.74 c 5.7s| 7600 | 7238 | 63180 | 7.2 | 30M | 156 | 336 |1317 | 93 | 717 | 1 |1413 | 24 | 0.000000e+00 | -- | Inf | unknown
5.67/5.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.67/5.78 c 5.8s| 7700 | 7336 | 63988 | 7.2 | 30M | 156 | 336 |1318 | 93 | 717 | 0 |1416 | 24 | 0.000000e+00 | -- | Inf | unknown
5.77/5.81 c 5.8s| 7800 | 7429 | 64418 | 7.2 | 30M | 156 | 336 |1323 | 93 | 717 | 1 |1423 | 24 | 0.000000e+00 | -- | Inf | unknown
5.77/5.83 c 5.8s| 7900 | 7529 | 64861 | 7.2 | 30M | 156 | 336 |1330 | 92 | 717 | 1 |1430 | 24 | 0.000000e+00 | -- | Inf | unknown
5.77/5.86 c 5.9s| 8000 | 7629 | 65433 | 7.1 | 30M | 156 | 336 |1333 | 92 | 717 | 1 |1433 | 24 | 0.000000e+00 | -- | Inf | unknown
5.87/5.90 c 5.9s| 8100 | 7729 | 65858 | 7.1 | 30M | 156 | 336 |1335 | 90 | 723 | 1 |1435 | 24 | 0.000000e+00 | -- | Inf | unknown
5.87/5.93 c 5.9s| 8200 | 7825 | 66532 | 7.1 | 30M | 156 | 336 |1335 | 92 | 729 | 1 |1439 | 24 | 0.000000e+00 | -- | Inf | unknown
5.87/5.96 c 6.0s| 8300 | 7905 | 67091 | 7.1 | 30M | 156 | 336 |1341 | 92 | 729 | 1 |1453 | 24 | 0.000000e+00 | -- | Inf | unknown
5.87/5.99 c 6.0s| 8400 | 7989 | 67637 | 7.1 | 30M | 156 | 336 |1357 | 92 | 729 | 1 |1474 | 24 | 0.000000e+00 | -- | Inf | unknown
5.98/6.02 c 6.0s| 8500 | 8089 | 68107 | 7.1 | 31M | 156 | 336 |1358 | 91 | 733 | 1 |1477 | 24 | 0.000000e+00 | -- | Inf | unknown
5.98/6.06 c 6.1s| 8600 | 8189 | 69065 | 7.1 | 31M | 156 | 336 |1393 | 92 | 733 | 1 |1516 | 24 | 0.000000e+00 | -- | Inf | unknown
5.98/6.09 c 6.1s| 8700 | 8289 | 69475 | 7.0 | 31M | 156 | 336 |1396 | 86 | 737 | 1 |1519 | 24 | 0.000000e+00 | -- | Inf | unknown
6.08/6.14 c 6.1s| 8800 | 8389 | 70254 | 7.1 | 31M | 156 | 336 |1415 | 96 | 769 | 3 |1538 | 24 | 0.000000e+00 | -- | Inf | unknown
6.08/6.16 c 6.2s| 8900 | 8489 | 70615 | 7.0 | 31M | 156 | 336 |1415 | 93 | 769 | 1 |1538 | 24 | 0.000000e+00 | -- | Inf | unknown
6.08/6.19 c 6.2s| 9000 | 8589 | 71124 | 7.0 | 31M | 156 | 336 |1420 | 94 | 773 | 1 |1544 | 24 | 0.000000e+00 | -- | Inf | unknown
6.17/6.23 c 6.2s| 9100 | 8689 | 71729 | 7.0 | 32M | 156 | 336 |1424 | 93 | 791 | 1 |1549 | 24 | 0.000000e+00 | -- | Inf | unknown
6.17/6.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.17/6.25 c 6.3s| 9200 | 8789 | 72230 | 7.0 | 32M | 156 | 336 |1436 | 92 | 791 | 1 |1562 | 24 | 0.000000e+00 | -- | Inf | unknown
6.27/6.30 c 6.3s| 9300 | 8889 | 73126 | 7.0 | 32M | 156 | 336 |1434 | 88 | 824 | 1 |1565 | 24 | 0.000000e+00 | -- | Inf | unknown
6.27/6.33 c 6.3s| 9400 | 8981 | 73612 | 7.0 | 32M | 156 | 336 |1439 | 91 | 839 | 1 |1572 | 24 | 0.000000e+00 | -- | Inf | unknown
6.27/6.35 c 6.4s| 9500 | 9063 | 73978 | 6.9 | 32M | 156 | 336 |1444 | 93 | 839 | 1 |1581 | 24 | 0.000000e+00 | -- | Inf | unknown
6.27/6.38 c 6.4s| 9600 | 9157 | 74567 | 6.9 | 32M | 156 | 336 |1450 | 92 | 839 | 1 |1590 | 24 | 0.000000e+00 | -- | Inf | unknown
6.37/6.42 c 6.4s| 9700 | 9243 | 75134 | 6.9 | 32M | 156 | 336 |1471 | 91 | 840 | 1 |1617 | 24 | 0.000000e+00 | -- | Inf | unknown
6.37/6.44 c 6.4s| 9800 | 9343 | 75563 | 6.9 | 32M | 156 | 336 |1473 | 91 | 840 | 1 |1619 | 24 | 0.000000e+00 | -- | Inf | unknown
6.37/6.47 c 6.5s| 9900 | 9437 | 76025 | 6.9 | 32M | 156 | 336 |1479 | 92 | 840 | 1 |1630 | 24 | 0.000000e+00 | -- | Inf | unknown
6.47/6.50 c 6.5s| 10000 | 9531 | 76358 | 6.8 | 32M | 156 | 336 |1483 | 93 | 848 | 1 |1639 | 24 | 0.000000e+00 | -- | Inf | unknown
6.47/6.55 c 6.6s| 10100 | 9631 | 77120 | 6.8 | 32M | 156 | 336 |1491 | 91 | 853 | 1 |1654 | 24 | 0.000000e+00 | -- | Inf | unknown
6.47/6.59 c 6.6s| 10200 | 9721 | 77855 | 6.9 | 32M | 156 | 336 |1494 | 92 | 856 | 1 |1669 | 24 | 0.000000e+00 | -- | Inf | unknown
6.57/6.64 c 6.6s| 10300 | 9821 | 78699 | 6.9 | 32M | 156 | 336 |1490 | 94 | 880 | 1 |1674 | 24 | 0.000000e+00 | -- | Inf | unknown
6.57/6.67 c 6.7s| 10400 | 9921 | 79147 | 6.8 | 33M | 156 | 336 |1488 | 93 | 899 | 1 |1674 | 24 | 0.000000e+00 | -- | Inf | unknown
6.57/6.69 c 6.7s| 10500 | 10009 | 79585 | 6.8 | 33M | 156 | 336 |1490 | 91 | 899 | 1 |1684 | 24 | 0.000000e+00 | -- | Inf | unknown
6.67/6.72 c 6.7s| 10600 | 10109 | 80025 | 6.8 | 34M | 156 | 336 |1495 | 93 | 918 | 1 |1692 | 24 | 0.000000e+00 | -- | Inf | unknown
6.67/6.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.67/6.75 c 6.8s| 10700 | 10205 | 80444 | 6.8 | 34M | 156 | 336 |1497 | 93 | 918 | 1 |1697 | 24 | 0.000000e+00 | -- | Inf | unknown
6.67/6.79 c 6.8s| 10800 | 10269 | 81068 | 6.8 | 34M | 156 | 336 |1520 | 93 | 918 | 1 |1742 | 24 | 0.000000e+00 | -- | Inf | unknown
6.77/6.81 c 6.8s| 10900 | 10315 | 81402 | 6.7 | 34M | 156 | 336 |1529 | 93 | 918 | 0 |1774 | 24 | 0.000000e+00 | -- | Inf | unknown
6.77/6.84 c 6.8s| 11000 | 10408 | 81955 | 6.7 | 34M | 156 | 336 |1530 | 92 | 918 | 1 |1796 | 24 | 0.000000e+00 | -- | Inf | unknown
6.77/6.87 c 6.9s| 11100 | 10498 | 82522 | 6.7 | 34M | 156 | 336 |1541 | 92 | 918 | 1 |1816 | 24 | 0.000000e+00 | -- | Inf | unknown
6.87/6.90 c 6.9s| 11200 | 10598 | 82818 | 6.7 | 34M | 156 | 336 |1535 | 93 | 918 | 1 |1816 | 24 | 0.000000e+00 | -- | Inf | unknown
6.87/6.93 c 6.9s| 11300 | 10650 | 83305 | 6.7 | 34M | 156 | 336 |1533 | 92 | 918 | 1 |1845 | 24 | 0.000000e+00 | -- | Inf | unknown
6.87/6.97 c 7.0s| 11400 | 10750 | 84146 | 6.7 | 34M | 156 | 336 |1529 | 92 | 918 | 1 |1853 | 24 | 0.000000e+00 | -- | Inf | unknown
6.87/7.00 c 7.0s| 11500 | 10850 | 84707 | 6.7 | 34M | 156 | 336 |1525 | 91 | 918 | 1 |1856 | 24 | 0.000000e+00 | -- | Inf | unknown
6.97/7.04 c 7.0s| 11600 | 10948 | 85447 | 6.7 | 34M | 156 | 336 |1533 | 93 | 918 | 1 |1872 | 24 | 0.000000e+00 | -- | Inf | unknown
6.97/7.07 c 7.1s| 11700 | 11048 | 85892 | 6.7 | 34M | 156 | 336 |1536 | 90 | 923 | 1 |1881 | 24 | 0.000000e+00 | -- | Inf | unknown
6.97/7.10 c 7.1s| 11800 | 11136 | 86194 | 6.6 | 34M | 156 | 336 |1532 | 92 | 929 | 1 |1889 | 24 | 0.000000e+00 | -- | Inf | unknown
7.07/7.14 c 7.1s| 11900 | 11230 | 86770 | 6.6 | 34M | 156 | 336 |1546 | 92 | 933 | 1 |1917 | 24 | 0.000000e+00 | -- | Inf | unknown
7.07/7.18 c 7.2s| 12000 | 11330 | 87427 | 6.6 | 34M | 156 | 336 |1547 | 88 | 967 | 1 |1926 | 24 | 0.000000e+00 | -- | Inf | unknown
7.16/7.22 c 7.2s| 12100 | 11430 | 88227 | 6.7 | 34M | 156 | 336 |1563 | 93 |1004 | 1 |1952 | 24 | 0.000000e+00 | -- | Inf | unknown
7.16/7.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.16/7.26 c 7.3s| 12200 | 11524 | 88954 | 6.7 | 34M | 156 | 336 |1568 | 93 |1004 | 1 |1964 | 24 | 0.000000e+00 | -- | Inf | unknown
7.16/7.29 c 7.3s| 12300 | 11611 | 89507 | 6.6 | 34M | 156 | 336 |1561 | 92 |1004 | 1 |1980 | 24 | 0.000000e+00 | -- | Inf | unknown
7.26/7.32 c 7.3s| 12400 | 11711 | 89881 | 6.6 | 35M | 156 | 336 |1556 | 92 |1010 | 1 |1980 | 24 | 0.000000e+00 | -- | Inf | unknown
7.26/7.35 c 7.3s| 12500 | 11811 | 90308 | 6.6 | 35M | 156 | 336 |1555 | 92 |1010 | 1 |1987 | 24 | 0.000000e+00 | -- | Inf | unknown
7.26/7.38 c 7.4s| 12600 | 11911 | 90805 | 6.6 | 35M | 156 | 336 |1555 | 92 |1010 | 1 |1991 | 24 | 0.000000e+00 | -- | Inf | unknown
7.36/7.41 c 7.4s| 12700 | 12005 | 91331 | 6.6 | 35M | 156 | 336 |1558 | 93 |1010 | 1 |2004 | 24 | 0.000000e+00 | -- | Inf | unknown
7.36/7.44 c 7.4s| 12800 | 12105 | 91870 | 6.6 | 35M | 156 | 336 |1564 | 92 |1010 | 1 |2015 | 24 | 0.000000e+00 | -- | Inf | unknown
7.36/7.48 c 7.5s| 12900 | 12199 | 92469 | 6.6 | 36M | 156 | 336 |1563 | 93 |1018 | 1 |2026 | 24 | 0.000000e+00 | -- | Inf | unknown
7.46/7.50 c 7.5s| 13000 | 12291 | 92906 | 6.6 | 36M | 156 | 336 |1559 | 88 |1018 | 1 |2030 | 24 | 0.000000e+00 | -- | Inf | unknown
7.46/7.54 c 7.5s| 13100 | 12391 | 93581 | 6.6 | 36M | 156 | 336 |1554 | 92 |1044 | 1 |2035 | 24 | 0.000000e+00 | -- | Inf | unknown
7.46/7.58 c 7.6s| 13200 | 12483 | 94197 | 6.6 | 36M | 156 | 336 |1544 | 88 |1044 | 1 |2045 | 24 | 0.000000e+00 | -- | Inf | unknown
7.56/7.62 c 7.6s| 13300 | 12583 | 94820 | 6.6 | 36M | 156 | 336 |1561 | 93 |1066 | 1 |2066 | 24 | 0.000000e+00 | -- | Inf | unknown
7.56/7.65 c 7.7s| 13400 | 12683 | 95320 | 6.5 | 36M | 156 | 336 |1554 | 91 |1076 | 1 |2066 | 24 | 0.000000e+00 | -- | Inf | unknown
7.56/7.68 c 7.7s| 13500 | 12783 | 95881 | 6.5 | 36M | 156 | 336 |1558 | 92 |1076 | 1 |2079 | 24 | 0.000000e+00 | -- | Inf | unknown
7.66/7.71 c 7.7s| 13600 | 12883 | 96242 | 6.5 | 36M | 156 | 336 |1556 | 92 |1076 | 1 |2080 | 24 | 0.000000e+00 | -- | Inf | unknown
7.66/7.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.66/7.73 c 7.7s| 13700 | 12983 | 96587 | 6.5 | 36M | 156 | 336 |1553 | 92 |1076 | 1 |2080 | 24 | 0.000000e+00 | -- | Inf | unknown
7.66/7.76 c 7.8s| 13800 | 13083 | 97013 | 6.5 | 36M | 156 | 336 |1552 | 93 |1076 | 1 |2082 | 24 | 0.000000e+00 | -- | Inf | unknown
7.66/7.78 c 7.8s| 13900 | 13179 | 97412 | 6.5 | 36M | 156 | 336 |1566 | 93 |1076 | 1 |2101 | 24 | 0.000000e+00 | -- | Inf | unknown
7.76/7.82 c 7.8s| 14000 | 13263 | 98131 | 6.5 | 36M | 156 | 336 |1567 | 92 |1076 | 1 |2119 | 24 | 0.000000e+00 | -- | Inf | unknown
7.76/7.85 c 7.9s| 14100 | 13363 | 98509 | 6.5 | 36M | 156 | 336 |1569 | 93 |1083 | 1 |2125 | 24 | 0.000000e+00 | -- | Inf | unknown
7.86/7.90 c 7.9s| 14200 | 13440 | 99207 | 6.5 | 36M | 156 | 336 |1579 | 93 |1087 | 1 |2162 | 24 | 0.000000e+00 | -- | Inf | unknown
7.86/7.93 c 7.9s| 14300 | 13540 | 99861 | 6.5 | 36M | 156 | 336 |1570 | 93 |1087 | 1 |2170 | 24 | 0.000000e+00 | -- | Inf | unknown
7.86/7.97 c 8.0s| 14400 | 13636 |100423 | 6.5 | 36M | 156 | 336 |1572 | 92 |1100 | 1 |2181 | 24 | 0.000000e+00 | -- | Inf | unknown
7.86/7.99 c 8.0s| 14500 | 13736 |100773 | 6.4 | 36M | 156 | 336 |1567 | 93 |1100 | 1 |2181 | 24 | 0.000000e+00 | -- | Inf | unknown
7.97/8.01 c 8.0s| 14600 | 13828 |101137 | 6.4 | 36M | 156 | 336 |1567 | 91 |1103 | 1 |2191 | 24 | 0.000000e+00 | -- | Inf | unknown
7.97/8.06 c 8.1s| 14700 | 13911 |102025 | 6.4 | 37M | 156 | 336 |1568 | 95 |1116 | 1 |2215 | 24 | 0.000000e+00 | -- | Inf | unknown
7.97/8.09 c 8.1s| 14800 | 14011 |102520 | 6.4 | 37M | 156 | 336 |1564 | 93 |1117 | 1 |2217 | 24 | 0.000000e+00 | -- | Inf | unknown
8.07/8.11 c 8.1s| 14900 | 14111 |102847 | 6.4 | 37M | 156 | 336 |1557 | 92 |1117 | 1 |2217 | 24 | 0.000000e+00 | -- | Inf | unknown
8.07/8.15 c 8.2s| 15000 | 14211 |103548 | 6.4 | 37M | 156 | 336 |1556 | 93 |1117 | 1 |2223 | 24 | 0.000000e+00 | -- | Inf | unknown
8.16/8.20 c 8.2s| 15100 | 14311 |104252 | 6.4 | 37M | 156 | 336 |1555 | 93 |1117 | 1 |2230 | 24 | 0.000000e+00 | -- | Inf | unknown
8.16/8.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.16/8.23 c 8.2s| 15200 | 14411 |104599 | 6.4 | 37M | 156 | 336 |1553 | 92 |1117 | 1 |2230 | 24 | 0.000000e+00 | -- | Inf | unknown
8.16/8.26 c 8.3s| 15300 | 14511 |105232 | 6.4 | 37M | 156 | 336 |1554 | 93 |1117 | 1 |2238 | 24 | 0.000000e+00 | -- | Inf | unknown
8.26/8.30 c 8.3s| 15400 | 14611 |105787 | 6.4 | 38M | 156 | 336 |1557 | 92 |1132 | 1 |2259 | 24 | 0.000000e+00 | -- | Inf | unknown
8.26/8.33 c 8.3s| 15500 | 14705 |106307 | 6.4 | 38M | 156 | 336 |1555 | 93 |1138 | 1 |2266 | 24 | 0.000000e+00 | -- | Inf | unknown
8.26/8.36 c 8.4s| 15600 | 14803 |106895 | 6.4 | 38M | 156 | 336 |1555 | 86 |1138 | 1 |2278 | 24 | 0.000000e+00 | -- | Inf | unknown
8.36/8.40 c 8.4s| 15700 | 14901 |107539 | 6.4 | 38M | 156 | 336 |1557 | 93 |1148 | 1 |2286 | 24 | 0.000000e+00 | -- | Inf | unknown
8.36/8.43 c 8.4s| 15800 | 15001 |107934 | 6.4 | 38M | 156 | 336 |1544 | 94 |1148 | 1 |2288 | 24 | 0.000000e+00 | -- | Inf | unknown
8.36/8.47 c 8.5s| 15900 | 15101 |108748 | 6.4 | 38M | 156 | 336 |1537 | 91 |1151 | 1 |2292 | 24 | 0.000000e+00 | -- | Inf | unknown
8.46/8.51 c 8.5s| 16000 | 15201 |109440 | 6.4 | 38M | 156 | 336 |1526 | 91 |1153 | 1 |2298 | 24 | 0.000000e+00 | -- | Inf | unknown
8.46/8.54 c 8.5s| 16100 | 15301 |109980 | 6.4 | 39M | 156 | 336 |1524 | 92 |1155 | 1 |2306 | 24 | 0.000000e+00 | -- | Inf | unknown
8.46/8.57 c 8.6s| 16200 | 15387 |110478 | 6.4 | 39M | 156 | 336 |1526 | 91 |1155 | 1 |2320 | 24 | 0.000000e+00 | -- | Inf | unknown
8.56/8.60 c 8.6s| 16300 | 15482 |110967 | 6.4 | 39M | 156 | 336 |1522 | 91 |1155 | 1 |2327 | 24 | 0.000000e+00 | -- | Inf | unknown
8.56/8.63 c 8.6s| 16400 | 15582 |111332 | 6.3 | 39M | 156 | 336 |1507 | 91 |1158 | 1 |2331 | 24 | 0.000000e+00 | -- | Inf | unknown
8.56/8.66 c 8.7s| 16500 | 15682 |111963 | 6.3 | 39M | 156 | 336 |1512 | 92 |1159 | 1 |2348 | 24 | 0.000000e+00 | -- | Inf | unknown
8.66/8.70 c 8.7s| 16600 | 15782 |112786 | 6.3 | 39M | 156 | 336 |1507 | 91 |1179 | 1 |2357 | 24 | 0.000000e+00 | -- | Inf | unknown
8.66/8.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.66/8.75 c 8.7s| 16700 | 15882 |113397 | 6.3 | 39M | 156 | 336 |1500 | 94 |1213 | 1 |2363 | 24 | 0.000000e+00 | -- | Inf | unknown
8.66/8.77 c 8.8s| 16800 | 15982 |113790 | 6.3 | 39M | 156 | 336 |1490 | 86 |1213 | 1 |2369 | 24 | 0.000000e+00 | -- | Inf | unknown
8.76/8.81 c 8.8s| 16900 | 16082 |114330 | 6.3 | 39M | 156 | 336 |1484 | 93 |1257 | 1 |2376 | 24 | 0.000000e+00 | -- | Inf | unknown
8.76/8.84 c 8.8s| 17000 | 16182 |114695 | 6.3 | 39M | 156 | 336 |1473 | 93 |1280 | 1 |2376 | 24 | 0.000000e+00 | -- | Inf | unknown
8.76/8.87 c 8.9s| 17100 | 16282 |115200 | 6.3 | 39M | 156 | 336 |1467 | 91 |1281 | 1 |2377 | 24 | 0.000000e+00 | -- | Inf | unknown
8.86/8.91 c 8.9s| 17200 | 16382 |115991 | 6.3 | 40M | 156 | 336 |1461 | 93 |1286 | 1 |2384 | 24 | 0.000000e+00 | -- | Inf | unknown
8.86/8.94 c 8.9s| 17300 | 16482 |116432 | 6.3 | 40M | 156 | 336 |1449 | 93 |1296 | 1 |2385 | 24 | 0.000000e+00 | -- | Inf | unknown
8.86/8.96 c 9.0s| 17400 | 16582 |116919 | 6.3 | 40M | 156 | 336 |1449 | 94 |1297 | 1 |2393 | 24 | 0.000000e+00 | -- | Inf | unknown
8.86/9.00 c 9.0s| 17500 | 16676 |117503 | 6.3 | 40M | 156 | 336 |1434 | 93 |1301 | 1 |2402 | 24 | 0.000000e+00 | -- | Inf | unknown
8.96/9.03 c 9.0s| 17600 | 16776 |118024 | 6.3 | 40M | 156 | 336 |1426 | 93 |1301 | 1 |2405 | 24 | 0.000000e+00 | -- | Inf | unknown
8.96/9.07 c 9.1s| 17700 | 16876 |118594 | 6.3 | 40M | 156 | 336 |1425 | 95 |1314 | 1 |2420 | 24 | 0.000000e+00 | -- | Inf | unknown
8.96/9.10 c 9.1s| 17800 | 16976 |119078 | 6.3 | 40M | 156 | 336 |1432 | 91 |1316 | 1 |2436 | 24 | 0.000000e+00 | -- | Inf | unknown
9.06/9.14 c 9.1s| 17900 | 17076 |119802 | 6.3 | 40M | 156 | 336 |1433 | 90 |1330 | 1 |2446 | 24 | 0.000000e+00 | -- | Inf | unknown
9.06/9.17 c 9.2s| 18000 | 17176 |120354 | 6.3 | 40M | 156 | 336 |1442 | 93 |1332 | 1 |2471 | 24 | 0.000000e+00 | -- | Inf | unknown
9.16/9.21 c 9.2s| 18100 | 17276 |120945 | 6.3 | 40M | 156 | 336 |1439 | 91 |1334 | 1 |2480 | 24 | 0.000000e+00 | -- | Inf | unknown
9.16/9.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.16/9.23 c 9.2s| 18200 | 17376 |121420 | 6.3 | 40M | 156 | 336 |1434 | 93 |1337 | 1 |2482 | 24 | 0.000000e+00 | -- | Inf | unknown
9.16/9.27 c 9.3s| 18300 | 17476 |122106 | 6.3 | 40M | 156 | 336 |1433 | 91 |1345 | 1 |2492 | 24 | 0.000000e+00 | -- | Inf | unknown
9.16/9.29 c 9.3s| 18400 | 17576 |122553 | 6.3 | 40M | 156 | 336 |1428 | 91 |1345 | 1 |2492 | 24 | 0.000000e+00 | -- | Inf | unknown
9.26/9.33 c 9.3s| 18500 | 17676 |123105 | 6.3 | 40M | 156 | 336 |1439 | 93 |1345 | 1 |2508 | 24 | 0.000000e+00 | -- | Inf | unknown
9.26/9.36 c 9.4s| 18600 | 17764 |123599 | 6.3 | 40M | 156 | 336 |1446 | 95 |1346 | 1 |2528 | 24 | 0.000000e+00 | -- | Inf | unknown
9.36/9.40 c 9.4s| 18700 | 17864 |124305 | 6.3 | 40M | 156 | 336 |1440 | 93 |1354 | 1 |2539 | 24 | 0.000000e+00 | -- | Inf | unknown
9.36/9.43 c 9.4s| 18800 | 17954 |124883 | 6.3 | 40M | 156 | 336 |1438 | 93 |1355 | 1 |2549 | 24 | 0.000000e+00 | -- | Inf | unknown
9.36/9.45 c 9.5s| 18900 | 18036 |125176 | 6.2 | 41M | 156 | 336 |1424 | 92 |1355 | 1 |2561 | 24 | 0.000000e+00 | -- | Inf | unknown
9.45/9.50 c 9.5s| 19000 | 18136 |125917 | 6.2 | 41M | 156 | 336 |1412 | 93 |1371 | 2 |2570 | 24 | 0.000000e+00 | -- | Inf | unknown
9.45/9.53 c 9.5s| 19100 | 18236 |126561 | 6.2 | 41M | 156 | 336 |1409 | 93 |1377 | 1 |2580 | 24 | 0.000000e+00 | -- | Inf | unknown
9.45/9.56 c 9.6s| 19200 | 18330 |127136 | 6.2 | 41M | 156 | 336 |1413 | 93 |1384 | 1 |2589 | 24 | 0.000000e+00 | -- | Inf | unknown
9.55/9.60 c 9.6s| 19300 | 18426 |127798 | 6.2 | 41M | 156 | 336 |1407 | 92 |1384 | 1 |2597 | 24 | 0.000000e+00 | -- | Inf | unknown
9.55/9.63 c 9.6s| 19400 | 18516 |128191 | 6.2 | 42M | 156 | 336 |1414 | 92 |1385 | 1 |2614 | 24 | 0.000000e+00 | -- | Inf | unknown
9.55/9.65 c 9.7s| 19500 | 18614 |128557 | 6.2 | 42M | 156 | 336 |1409 | 93 |1385 | 0 |2615 | 24 | 0.000000e+00 | -- | Inf | unknown
9.55/9.69 c 9.7s| 19600 | 18698 |129189 | 6.2 | 42M | 156 | 336 |1401 | 92 |1385 | 1 |2635 | 24 | 0.000000e+00 | -- | Inf | unknown
9.65/9.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.65/9.73 c 9.7s| 19700 | 18798 |129716 | 6.2 | 42M | 156 | 336 |1391 | 92 |1411 | 1 |2637 | 24 | 0.000000e+00 | -- | Inf | unknown
9.65/9.76 c 9.8s| 19800 | 18898 |130244 | 6.2 | 42M | 156 | 336 |1381 | 93 |1430 | 1 |2640 | 24 | 0.000000e+00 | -- | Inf | unknown
9.65/9.79 c 9.8s| 19900 | 18984 |130690 | 6.2 | 42M | 156 | 336 |1373 | 92 |1430 | 1 |2650 | 24 | 0.000000e+00 | -- | Inf | unknown
9.75/9.82 c 9.8s| 20000 | 19084 |131268 | 6.2 | 42M | 156 | 336 |1365 | 94 |1434 | 1 |2665 | 24 | 0.000000e+00 | -- | Inf | unknown
9.75/9.86 c 9.9s| 20100 | 19184 |131881 | 6.2 | 42M | 156 | 336 |1360 | 95 |1434 | 1 |2670 | 24 | 0.000000e+00 | -- | Inf | unknown
9.75/9.89 c 9.9s| 20200 | 19278 |132491 | 6.2 | 42M | 156 | 336 |1357 | 93 |1437 | 1 |2679 | 24 | 0.000000e+00 | -- | Inf | unknown
9.85/9.92 c 9.9s| 20300 | 19368 |132935 | 6.2 | 42M | 156 | 336 |1355 | 94 |1439 | 1 |2686 | 24 | 0.000000e+00 | -- | Inf | unknown
9.85/9.95 c 10.0s| 20400 | 19468 |133584 | 6.2 | 42M | 156 | 336 |1345 | 93 |1439 | 1 |2694 | 24 | 0.000000e+00 | -- | Inf | unknown
9.85/10.00 c 10.0s| 20500 | 19568 |134259 | 6.2 | 42M | 156 | 336 |1337 | 91 |1464 | 1 |2699 | 24 | 0.000000e+00 | -- | Inf | unknown
9.96/10.03 c 10.0s| 20600 | 19668 |134843 | 6.2 | 42M | 156 | 336 |1338 | 93 |1464 | 1 |2708 | 24 | 0.000000e+00 | -- | Inf | unknown
9.96/10.06 c 10.1s| 20700 | 19768 |135266 | 6.2 | 42M | 156 | 336 |1323 | 93 |1475 | 1 |2708 | 24 | 0.000000e+00 | -- | Inf | unknown
9.96/10.09 c 10.1s| 20800 | 19868 |135776 | 6.2 | 42M | 156 | 336 |1320 | 93 |1477 | 1 |2718 | 24 | 0.000000e+00 | -- | Inf | unknown
10.06/10.12 c 10.1s| 20900 | 19964 |136096 | 6.2 | 42M | 156 | 336 |1304 | 93 |1477 | 1 |2720 | 24 | 0.000000e+00 | -- | Inf | unknown
10.06/10.16 c 10.2s| 21000 | 20064 |136882 | 6.2 | 42M | 156 | 336 |1296 | 92 |1477 | 1 |2736 | 24 | 0.000000e+00 | -- | Inf | unknown
10.06/10.18 c 10.2s| 21100 | 20157 |137249 | 6.2 | 42M | 156 | 336 |1288 | 91 |1481 | 1 |2742 | 24 | 0.000000e+00 | -- | Inf | unknown
10.15/10.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.15/10.23 c 10.2s| 21200 | 20255 |138171 | 6.2 | 42M | 156 | 336 |1274 | 91 |1490 | 1 |2744 | 24 | 0.000000e+00 | -- | Inf | unknown
10.15/10.27 c 10.3s| 21300 | 20355 |138856 | 6.2 | 43M | 156 | 336 |1267 | 93 |1490 | 1 |2746 | 24 | 0.000000e+00 | -- | Inf | unknown
10.25/10.30 c 10.3s| 21400 | 20408 |139491 | 6.2 | 43M | 156 | 336 |1271 | 93 |1490 | 1 |2779 | 24 | 0.000000e+00 | -- | Inf | unknown
10.25/10.34 c 10.3s| 21500 | 20492 |140212 | 6.2 | 43M | 156 | 336 |1297 | 94 |1491 | 2 |2837 | 24 | 0.000000e+00 | -- | Inf | unknown
10.25/10.37 c 10.4s| 21600 | 20588 |140801 | 6.2 | 44M | 156 | 336 |1304 | 93 |1493 | 0 |2857 | 24 | 0.000000e+00 | -- | Inf | unknown
10.35/10.40 c 10.4s| 21700 | 20668 |141438 | 6.2 | 44M | 156 | 336 |1301 | 91 |1495 | 1 |2873 | 24 | 0.000000e+00 | -- | Inf | unknown
10.35/10.45 c 10.5s| 21800 | 20766 |141981 | 6.2 | 44M | 156 | 336 |1312 | 88 |1533 | 1 |2892 | 24 | 0.000000e+00 | -- | Inf | unknown
10.35/10.48 c 10.5s| 21900 | 20866 |142411 | 6.2 | 44M | 156 | 336 |1296 | 94 |1549 | 1 |2892 | 24 | 0.000000e+00 | -- | Inf | unknown
10.45/10.52 c 10.5s| 22000 | 20966 |143007 | 6.2 | 44M | 156 | 336 |1299 | 93 |1549 | 1 |2906 | 24 | 0.000000e+00 | -- | Inf | unknown
10.45/10.55 c 10.6s| 22100 | 21064 |143649 | 6.2 | 44M | 156 | 336 |1301 | 93 |1549 | 1 |2922 | 24 | 0.000000e+00 | -- | Inf | unknown
10.45/10.58 c 10.6s| 22200 | 21163 |144093 | 6.2 | 44M | 156 | 336 |1304 | 93 |1549 | 1 |2929 | 24 | 0.000000e+00 | -- | Inf | unknown
10.55/10.60 c 10.6s| 22300 | 21261 |144555 | 6.2 | 44M | 156 | 336 |1308 | 93 |1549 | 1 |2934 | 24 | 0.000000e+00 | -- | Inf | unknown
10.55/10.63 c 10.6s| 22400 | 21351 |145055 | 6.2 | 44M | 156 | 336 |1320 | 93 |1549 | 1 |2951 | 24 | 0.000000e+00 | -- | Inf | unknown
10.55/10.67 c 10.7s| 22500 | 21423 |145755 | 6.2 | 44M | 156 | 336 |1318 | 92 |1549 | 1 |2975 | 24 | 0.000000e+00 | -- | Inf | unknown
10.65/10.72 c 10.7s| 22600 | 21523 |146840 | 6.2 | 44M | 156 | 336 |1347 | 93 |1550 | 1 |3025 | 24 | 0.000000e+00 | -- | Inf | unknown
10.65/10.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.65/10.76 c 10.8s| 22700 | 21623 |147263 | 6.2 | 44M | 156 | 336 |1335 | 93 |1579 | 1 |3025 | 24 | 0.000000e+00 | -- | Inf | unknown
10.65/10.79 c 10.8s| 22800 | 21717 |147865 | 6.2 | 44M | 156 | 336 |1338 | 91 |1582 | 1 |3032 | 24 | 0.000000e+00 | -- | Inf | unknown
10.75/10.82 c 10.8s| 22900 | 21811 |148416 | 6.2 | 44M | 156 | 336 |1333 | 95 |1587 | 1 |3038 | 24 | 0.000000e+00 | -- | Inf | unknown
10.75/10.85 c 10.8s| 23000 | 21892 |148840 | 6.2 | 44M | 156 | 336 |1327 | 90 |1590 | 1 |3052 | 24 | 0.000000e+00 | -- | Inf | unknown
10.75/10.88 c 10.9s| 23100 | 21992 |149547 | 6.2 | 44M | 156 | 336 |1333 | 93 |1591 | 1 |3066 | 24 | 0.000000e+00 | -- | Inf | unknown
10.85/10.92 c 10.9s| 23200 | 22092 |150068 | 6.2 | 45M | 156 | 336 |1318 | 93 |1594 | 1 |3070 | 24 | 0.000000e+00 | -- | Inf | unknown
10.85/10.94 c 10.9s| 23300 | 22182 |150469 | 6.1 | 45M | 156 | 336 |1314 | 93 |1596 | 0 |3080 | 24 | 0.000000e+00 | -- | Inf | unknown
10.85/10.98 c 11.0s| 23400 | 22268 |151173 | 6.2 | 45M | 156 | 336 |1302 | 94 |1599 | 1 |3094 | 24 | 0.000000e+00 | -- | Inf | unknown
10.95/11.01 c 11.0s| 23500 | 22356 |151580 | 6.1 | 45M | 156 | 336 |1292 | 93 |1604 | 1 |3100 | 24 | 0.000000e+00 | -- | Inf | unknown
10.95/11.04 c 11.0s| 23600 | 22440 |152092 | 6.1 | 45M | 156 | 336 |1287 | 93 |1604 | 1 |3119 | 24 | 0.000000e+00 | -- | Inf | unknown
10.95/11.08 c 11.1s| 23700 | 22540 |152798 | 6.1 | 45M | 156 | 336 |1281 | 94 |1610 | 1 |3130 | 24 | 0.000000e+00 | -- | Inf | unknown
11.05/11.14 c 11.1s| 23800 | 22640 |153921 | 6.2 | 45M | 156 | 336 |1306 | 92 |1635 | 1 |3173 | 24 | 0.000000e+00 | -- | Inf | unknown
11.05/11.17 c 11.2s| 23900 | 22740 |154496 | 6.2 | 45M | 156 | 336 |1307 | 93 |1637 | 1 |3180 | 24 | 0.000000e+00 | -- | Inf | unknown
11.15/11.20 c 11.2s| 24000 | 22838 |155062 | 6.2 | 45M | 156 | 336 |1301 | 93 |1641 | 1 |3182 | 24 | 0.000000e+00 | -- | Inf | unknown
11.15/11.23 c 11.2s| 24100 | 22934 |155558 | 6.2 | 45M | 156 | 336 |1295 | 92 |1644 | 1 |3187 | 24 | 0.000000e+00 | -- | Inf | unknown
11.15/11.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.15/11.26 c 11.3s| 24200 | 23020 |156105 | 6.2 | 45M | 156 | 336 |1287 | 93 |1648 | 1 |3199 | 24 | 0.000000e+00 | -- | Inf | unknown
11.15/11.29 c 11.3s| 24300 | 23120 |156503 | 6.1 | 45M | 156 | 336 |1278 | 92 |1653 | 1 |3199 | 24 | 0.000000e+00 | -- | Inf | unknown
11.25/11.33 c 11.3s| 24400 | 23220 |157246 | 6.1 | 45M | 156 | 336 |1306 | 92 |1657 | 1 |3233 | 24 | 0.000000e+00 | -- | Inf | unknown
11.25/11.35 c 11.4s| 24500 | 23316 |157671 | 6.1 | 45M | 156 | 336 |1296 | 94 |1663 | 1 |3235 | 24 | 0.000000e+00 | -- | Inf | unknown
11.25/11.39 c 11.4s| 24600 | 23416 |158269 | 6.1 | 46M | 156 | 336 |1308 | 93 |1669 | 1 |3255 | 24 | 0.000000e+00 | -- | Inf | unknown
11.34/11.42 c 11.4s| 24700 | 23516 |158666 | 6.1 | 46M | 156 | 336 |1306 | 91 |1672 | 1 |3257 | 24 | 0.000000e+00 | -- | Inf | unknown
11.34/11.44 c 11.4s| 24800 | 23616 |159207 | 6.1 | 46M | 156 | 336 |1309 | 93 |1673 | 1 |3263 | 24 | 0.000000e+00 | -- | Inf | unknown
11.34/11.48 c 11.5s| 24900 | 23716 |159904 | 6.1 | 46M | 156 | 336 |1321 | 92 |1677 | 1 |3283 | 24 | 0.000000e+00 | -- | Inf | unknown
11.44/11.52 c 11.5s| 25000 | 23816 |160462 | 6.1 | 46M | 156 | 336 |1318 | 93 |1700 | 1 |3293 | 24 | 0.000000e+00 | -- | Inf | unknown
11.44/11.56 c 11.6s| 25100 | 23914 |161151 | 6.1 | 46M | 156 | 336 |1316 | 88 |1708 | 1 |3304 | 24 | 0.000000e+00 | -- | Inf | unknown
11.44/11.59 c 11.6s| 25200 | 24014 |161607 | 6.1 | 46M | 156 | 336 |1317 | 93 |1717 | 1 |3312 | 24 | 0.000000e+00 | -- | Inf | unknown
11.54/11.61 c 11.6s| 25300 | 24110 |161952 | 6.1 | 46M | 156 | 336 |1318 | 95 |1720 | 1 |3317 | 24 | 0.000000e+00 | -- | Inf | unknown
11.54/11.65 c 11.7s| 25400 | 24210 |162613 | 6.1 | 46M | 156 | 336 |1316 | 93 |1724 | 1 |3327 | 24 | 0.000000e+00 | -- | Inf | unknown
11.54/11.69 c 11.7s| 25500 | 24310 |163239 | 6.1 | 46M | 156 | 336 |1312 | 93 |1728 | 1 |3338 | 24 | 0.000000e+00 | -- | Inf | unknown
11.64/11.72 c 11.7s| 25600 | 24396 |163705 | 6.1 | 46M | 156 | 336 |1302 | 94 |1738 | 1 |3346 | 24 | 0.000000e+00 | -- | Inf | unknown
11.64/11.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.64/11.75 c 11.8s| 25700 | 24496 |164356 | 6.1 | 46M | 156 | 336 |1298 | 92 |1757 | 1 |3356 | 24 | 0.000000e+00 | -- | Inf | unknown
11.64/11.78 c 11.8s| 25800 | 24590 |164783 | 6.1 | 46M | 156 | 336 |1291 | 93 |1765 | 1 |3361 | 24 | 0.000000e+00 | -- | Inf | unknown
11.74/11.82 c 11.8s| 25900 | 24688 |165398 | 6.1 | 46M | 156 | 336 |1294 | 92 |1766 | 1 |3378 | 24 | 0.000000e+00 | -- | Inf | unknown
11.74/11.85 c 11.9s| 26000 | 24786 |165913 | 6.1 | 47M | 156 | 336 |1287 | 93 |1770 | 1 |3382 | 24 | 0.000000e+00 | -- | Inf | unknown
11.74/11.88 c 11.9s| 26100 | 24878 |166469 | 6.1 | 47M | 156 | 336 |1289 | 92 |1775 | 1 |3390 | 24 | 0.000000e+00 | -- | Inf | unknown
11.84/11.92 c 11.9s| 26200 | 24972 |167015 | 6.1 | 47M | 156 | 336 |1283 | 94 |1786 | 1 |3402 | 24 | 0.000000e+00 | -- | Inf | unknown
11.95/12.01 c
11.95/12.01 c SCIP Status : problem is solved [infeasible]
11.95/12.01 c Solving Time (sec) : 12.01
11.95/12.01 c Solving Nodes : 26213 (total of 27262 nodes in 2 runs)
11.95/12.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
11.95/12.01 c Dual Bound : +1.00000000000000e+20
11.95/12.01 c Gap : 0.00 %
11.95/12.01 s UNSATISFIABLE
11.95/12.01 c SCIP Status : problem is solved [infeasible]
11.95/12.01 c Total Time : 12.01
11.95/12.01 c solving : 12.01
11.95/12.01 c presolving : 0.01 (included in solving)
11.95/12.01 c reading : 0.00 (included in solving)
11.95/12.01 c copying : 0.25 (107 #copies) (minimal 0.00, maximal 0.00, average 0.00)
11.95/12.01 c Original Problem :
11.95/12.01 c Problem name : HOME/instance-4542981-1753214161.opb
11.95/12.01 c Variables : 337 (337 binary, 0 integer, 0 continuous)
11.95/12.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
11.95/12.01 c Constraints : 170 initial, 170 maximal
11.95/12.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
11.95/12.01 c Presolved Problem :
11.95/12.01 c Problem name : t_HOME/instance-4542981-1753214161.opb
11.95/12.01 c Variables : 336 (336 binary, 0 integer, 0 continuous)
11.95/12.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
11.95/12.01 c Constraints : 507 initial, 1584 maximal
11.95/12.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
11.95/12.01 c Nonzeros : 12605 constraint, 0 clique table
11.95/12.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
11.95/12.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
11.95/12.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.95/12.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
11.95/12.01 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c milp : 0.00 0.00 1 0 1 0 0 0 170 84 0 0
11.95/12.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.95/12.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
11.95/12.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
11.95/12.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.95/12.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.95/12.01 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.95/12.01 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.95/12.01 c knapsack : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
11.95/12.01 c linear : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
11.95/12.01 c logicor : 0.01 0.00 6 0 0 0 0 0 3 0 0 0
11.95/12.01 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
11.95/12.01 c root node : - - - 0 - - 0 - - - - -
11.95/12.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
11.95/12.01 c integral : 0 0 0 0 26654 0 0 1960 0 0 0 0 0 0 53308
11.95/12.01 c knapsack : 6+ 32 12 74126 0 0 0 0 2498 111 1565 0 0 0 0
11.95/12.01 c linear : 86+ 107 25 77967 0 0 0 1958 26742 500 13065 0 0 0 0
11.95/12.01 c logicor : 415+ 1475 25 29832 0 0 0 0 580 41 485 0 0 0 0
11.95/12.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
11.95/12.01 c integral : 0.21 0.00 0.00 0.00 0.21 0.00 0.00 0.00 0.00 0.00
11.95/12.01 c knapsack : 0.07 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
11.95/12.01 c linear : 0.21 0.00 0.00 0.19 0.00 0.00 0.00 0.01 0.01 0.00
11.95/12.01 c logicor : 0.12 0.00 0.00 0.12 0.00 0.00 0.00 0.00 0.00 0.00
11.95/12.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.95/12.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.95/12.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.95/12.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
11.95/12.01 c dualfix : 2 0 0 0
11.95/12.01 c genvbounds : 0 0 0 0
11.95/12.01 c nlobbt : 0 0 0 0
11.95/12.01 c obbt : 0 0 0 0
11.95/12.01 c probing : 0 0 0 0
11.95/12.01 c pseudoobj : 0 0 0 0
11.95/12.01 c redcost : 0 0 0 0
11.95/12.01 c rootredcost : 0 0 0 0
11.95/12.01 c symmetry : 9821 0 3 11
11.95/12.01 c vbounds : 0 0 0 0
11.95/12.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
11.95/12.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
11.95/12.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
11.95/12.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
11.95/12.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
11.95/12.01 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
11.95/12.01 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
11.95/12.01 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
11.95/12.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
11.95/12.01 c symmetry : 0.04 0.00 0.00 0.04 0.00 0.00
11.95/12.01 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
11.95/12.01 c Symmetry :
11.95/12.01 c #affected vars : 294 (294 bin, 0 int, 0 cont)
11.95/12.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
11.95/12.01 c orbital reduction: 0 reductions applied, 0 cutoffs
11.95/12.01 c lexicographic red: 48 reductions applied, 3 cutoffs
11.95/12.01 c shadow tree time : 0.04 s
11.95/12.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
11.95/12.01 c propagation : 0.02 423 423 - 2905 55.5 52 18.7 - - -
11.95/12.01 c infeasible LP : 0.10 977 977 - 5250 66.5 84 22.4 74 42.9 0
11.95/12.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
11.95/12.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
11.95/12.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
11.95/12.01 c applied globally : 0.00 - - 0 2719 34.3 - - 73 - -
11.95/12.01 c applied locally : - - - 0 615 61.5 - - 0 - -
11.95/12.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
11.95/12.01 c cut pool : 0.08 - 3756 48 - - 4118 13685 - - - - - (maximal pool size: 892)
11.95/12.01 c aggregation : 0.06 0.00 525 25 0 0 9 4 5 0 0 0 0
11.95/12.01 c > cmir : - - - - - - - 4 0 0 0 0 -
11.95/12.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
11.95/12.01 c > knapsackcover : - - - - - - - 0 5 0 0 0 -
11.95/12.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
11.95/12.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c gomory : 0.28 0.00 520 20 0 0 5381 13527 1382 1626 1463 163 0
11.95/12.01 c > gomorymi : - - - - - - - 2095 691 128 52 76 -
11.95/12.01 c > strongcg : - - - - - - - 11432 691 1498 1411 87 -
11.95/12.01 c impliedbounds : 0.00 0.00 525 25 0 0 0 0 0 0 0 0 0
11.95/12.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
11.95/12.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c multilinear : 0.00 0.00 332 25 0 0 0 0 0 0 0 0 0
11.95/12.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.95/12.01 c rapidlearning : 2.15 0.00 100 2 0 32 0 0 0 0 0 0 670
11.95/12.01 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
11.95/12.01 c zerohalf : 0.04 0.00 525 25 0 0 565 154 450 502 132 370 0
11.95/12.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
11.95/12.01 c hybrid : 0.01 0.00 843 25 2128 0 13394 94 0 1213
11.95/12.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c Pricers : ExecTime SetupTime Calls Vars
11.95/12.01 c problem variables: 0.00 - 0 0
11.95/12.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
11.95/12.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c relpscost : 0.20 0.00 26654 0 0 0 0 0 0 53308
11.95/12.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
11.95/12.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
11.95/12.01 c LP solutions : 0.00 - - 0 0
11.95/12.01 c relax solutions : 0.00 - - 0 0
11.95/12.01 c pseudo solutions : 0.00 - - 0 0
11.95/12.01 c strong branching : 0.00 - - 0 0
11.95/12.01 c actconsdiving : 0.00 0.00 0 0 0
11.95/12.01 c adaptivediving : 0.08 0.00 36 0 0
11.95/12.01 c alns : 0.06 0.00 5 0 0
11.95/12.01 c bound : 0.00 0.00 0 0 0
11.95/12.01 c clique : 0.00 0.00 0 0 0
11.95/12.01 c coefdiving : 0.00 0.00 0 0 0
11.95/12.01 c completesol : 0.00 0.00 0 0 0
11.95/12.01 c conflictdiving : 0.69 0.00 192 0 0
11.95/12.01 c crossover : 0.00 0.00 0 0 0
11.95/12.01 c dins : 0.00 0.00 0 0 0
11.95/12.01 c distributiondivin: 0.45 0.00 53 0 0
11.95/12.01 c dks : 0.00 0.00 0 0 0
11.95/12.01 c dps : 0.00 0.00 0 0 0
11.95/12.01 c dualval : 0.00 0.00 0 0 0
11.95/12.01 c farkasdiving : 0.00 0.00 0 0 0
11.95/12.01 c feaspump : 0.12 0.00 55 0 0
11.95/12.01 c fixandinfer : 0.00 0.00 0 0 0
11.95/12.01 c fracdiving : 0.28 0.00 66 0 0
11.95/12.01 c gins : 0.00 0.00 0 0 0
11.95/12.01 c guideddiving : 0.00 0.00 0 0 0
11.95/12.01 c indicator : 0.00 0.00 0 0 0
11.95/12.01 c indicatordiving : 0.00 0.00 0 0 0
11.95/12.01 c intdiving : 0.00 0.00 0 0 0
11.95/12.01 c intshifting : 0.00 0.00 0 0 0
11.95/12.01 c linesearchdiving : 0.28 0.00 53 0 0
11.95/12.01 c localbranching : 0.00 0.00 0 0 0
11.95/12.01 c locks : 0.00 0.00 1 0 0
11.95/12.01 c lpface : 0.01 0.00 0 0 0
11.95/12.01 c mpec : 0.00 0.00 0 0 0
11.95/12.01 c multistart : 0.00 0.00 0 0 0
11.95/12.01 c mutation : 0.00 0.00 0 0 0
11.95/12.01 c nlpdiving : 0.00 0.00 0 0 0
11.95/12.01 c objpscostdiving : 0.08 0.00 42 0 0
11.95/12.01 c octane : 0.00 0.00 0 0 0
11.95/12.01 c ofins : 0.00 0.00 0 0 0
11.95/12.01 c oneopt : 0.00 0.00 0 0 0
11.95/12.01 c padm : 0.00 0.00 0 0 0
11.95/12.01 c proximity : 0.00 0.00 0 0 0
11.95/12.01 c pscostdiving : 0.33 0.00 37 0 0
11.95/12.01 c randrounding : 0.03 0.00 1946 0 0
11.95/12.01 c rens : 0.01 0.00 2 0 0
11.95/12.01 c reoptsols : 0.00 0.00 0 0 0
11.95/12.01 c repair : 0.00 0.00 0 0 0
11.95/12.01 c rins : 0.00 0.00 0 0 0
11.95/12.01 c rootsoldiving : 0.10 0.00 9 0 0
11.95/12.01 c rounding : 0.01 0.00 2297 0 0
11.95/12.01 c scheduler : 0.00 0.00 0 0 0
11.95/12.01 c shiftandpropagate: 0.00 0.00 2 0 0
11.95/12.01 c shifting : 0.03 0.00 818 0 0
11.95/12.01 c simplerounding : 0.00 0.00 0 0 0
11.95/12.01 c subnlp : 0.00 0.00 0 0 0
11.95/12.01 c trivial : 0.00 0.00 4 0 0
11.95/12.01 c trivialnegation : 0.00 0.00 0 0 0
11.95/12.01 c trustregion : 0.00 0.00 0 0 0
11.95/12.01 c trysol : 0.00 0.00 0 0 0
11.95/12.01 c twoopt : 0.00 0.00 0 0 0
11.95/12.01 c undercover : 0.00 0.00 0 0 0
11.95/12.01 c vbounds : 0.00 0.00 0 0 0
11.95/12.01 c veclendiving : 0.26 0.00 73 0 0
11.95/12.01 c zeroobj : 0.00 0.00 0 0 0
11.95/12.01 c zirounding : 0.00 0.00 1000 0 0
11.95/12.01 c other solutions : - - - 0 -
11.95/12.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
11.95/12.01 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
11.95/12.01 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
11.95/12.01 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
11.95/12.01 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
11.95/12.01 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
11.95/12.01 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
11.95/12.01 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
11.95/12.01 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
11.95/12.01 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
11.95/12.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
11.95/12.01 c primal LP : 0.03 259 0 0.00 0.00 0.03 259
11.95/12.01 c dual LP : 3.60 28041 103164 3.69 28652.28 0.01 95
11.95/12.01 c lex dual LP : 0.00 0 0 0.00 -
11.95/12.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
11.95/12.01 c resolve instable : 0.00 0 0 0.00 -
11.95/12.01 c diving/probing LP: 1.61 10393 64260 6.18 39998.46
11.95/12.01 c strong branching : 0.01 24 281 11.71 19702.71 - - 0
11.95/12.01 c (at root node) : - 24 281 11.71 -
11.95/12.01 c conflict analysis: 0.00 0 0 0.00 -
11.95/12.01 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
11.95/12.01 c benders : 0.00 0 0 0 0.00 0 0 0
11.95/12.01 c B&B Tree :
11.95/12.01 c number of runs : 2
11.95/12.01 c nodes : 26213 (25605 internal, 608 leaves)
11.95/12.01 c feasible leaves : 0
11.95/12.01 c infeas. leaves : 608
11.95/12.01 c objective leaves : 0
11.95/12.01 c nodes (total) : 27262 (26654 internal, 608 leaves)
11.95/12.01 c nodes left : 0
11.95/12.01 c max depth : 156
11.95/12.01 c max depth (total): 156
11.95/12.01 c backtracks : 1674 (6.4%)
11.95/12.01 c early backtracks : 0 (0.0%)
11.95/12.01 c nodes exc. ref. : 0 (0.0%)
11.95/12.01 c delayed cutoffs : 24998
11.95/12.01 c repropagations : 2046 (1129 domain reductions, 14 cutoffs)
11.95/12.01 c avg switch length: 6.29
11.95/12.01 c switching time : 0.61
11.95/12.01 c Root Node :
11.95/12.01 c First LP value : +0.00000000000000e+00
11.95/12.01 c First LP Iters : 216 (278350.52 Iter/sec)
11.95/12.01 c First LP Time : 0.00
11.95/12.01 c Final Dual Bound : -
11.95/12.01 c Final Root Iters : 781
11.95/12.01 c Root LP Estimate : +1.67067031280552e-03
11.95/12.01 c Solution :
11.95/12.01 c Solutions found : 0 (0 improvements)
11.95/12.01 c Primal Bound : infeasible
11.95/12.01 c Dual Bound : -
11.95/12.01 c Gap : 0.00 %
11.95/12.01 c Integrals : Total Avg%
11.95/12.01 c primal-dual : - - (problem infeasible)
11.95/12.01 c primal-ref : - - (problem infeasible)
11.95/12.01 c dual-ref : - - (problem infeasible)
11.95/12.02 c Time complete (sec): 11.976
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: 63708 MiB (61504 MiB free)
memory of node 1: 64465 MiB (51711 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542981-1753214161/watcher-4542981-1753214161 -o /tmp/evaluation-result-4542981-1753214161/solver-4542981-1753214161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158260 --watchdog 3760 pbsolver -f HOME/instance-4542981-1753214161.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=159389, runsolver pid=159386
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.12 4.12 4.09 5/263 159390
/proc/meminfo: memFree=115933324/131249992 swapFree=33009392/33010684
[pid=159389] ppid=159386 vsize=35064 memory=23984 CPUtime=0.09 cores=0,2
/proc/159389/stat : 159389 (pbsolver) R 159386 159389 158250 0 -1 4194304 3673 0 0 0 9 0 0 0 20 0 1 0 237090622 35905536 5996 18446744073709551615 4198400 14743177 140720854535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 46850048 140720854542728 140720854542824 140720854542824 140720854548428 0
/proc/159389/statm: 8766 5996 2688 2575 0 5673 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35064 KiB
Current children cumulated memory: 23984 KiB
[startup+0.205373 s]*
/proc/loadavg: 4.12 4.12 4.09 5/263 159390
/proc/meminfo: memFree=115933324/131249992 swapFree=33009392/33010684
[pid=159389] ppid=159386 vsize=35436 memory=25168 CPUtime=0.2 cores=0,2
/proc/159389/stat : 159389 (pbsolver) R 159386 159389 158250 0 -1 4194304 4038 0 0 0 20 0 0 0 20 0 1 0 237090622 36286464 6292 18446744073709551615 4198400 14743177 140720854535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 46850048 140720854542728 140720854542824 140720854542824 140720854548428 0
/proc/159389/statm: 8859 6292 2688 2575 0 5766 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35436 KiB
Current children cumulated memory: 25168 KiB
[startup+0.305272 s]*
/proc/loadavg: 4.12 4.12 4.09 5/263 159390
/proc/meminfo: memFree=115933324/131249992 swapFree=33009392/33010684
[pid=159389] ppid=159386 vsize=36172 memory=26192 CPUtime=0.3 cores=0,2
/proc/159389/stat : 159389 (pbsolver) R 159386 159389 158250 0 -1 4194304 4296 0 0 0 30 0 0 0 20 0 1 0 237090622 37040128 6548 18446744073709551615 4198400 14743177 140720854535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 46850048 140720854542728 140720854542824 140720854542824 140720854548428 0
/proc/159389/statm: 9043 6548 2688 2575 0 5950 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36172 KiB
Current children cumulated memory: 26192 KiB
[startup+0.700166 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 159390
/proc/meminfo: memFree=115925260/131249992 swapFree=33009392/33010684
[pid=159389] ppid=159386 vsize=38156 memory=27752 CPUtime=0.68 cores=0,2
/proc/159389/stat : 159389 (pbsolver) R 159386 159389 158250 0 -1 4194304 4953 0 0 0 68 0 0 0 20 0 1 0 237090622 39071744 6938 18446744073709551615 4198400 14743177 140720854535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 46850048 140720854542728 140720854542824 140720854542824 140720854548428 0
/proc/159389/statm: 9539 6938 2688 2575 0 6446 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38156 KiB
Current children cumulated memory: 27752 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 159390
/proc/meminfo: memFree=115927172/131249992 swapFree=33009392/33010684
[pid=159389] ppid=159386 vsize=39692 memory=29928 CPUtime=1.49 cores=0,2
/proc/159389/stat : 159389 (pbsolver) R 159386 159389 158250 0 -1 4194304 5484 0 0 0 148 1 0 0 20 0 1 0 237090622 40644608 7482 18446744073709551615 4198400 14743177 140720854535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 46850048 140720854542728 140720854542824 140720854542824 140720854548428 0
/proc/159389/statm: 9923 7482 2688 2575 0 6830 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39692 KiB
Current children cumulated memory: 29928 KiB
[startup+3.10519 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 159390
/proc/meminfo: memFree=115923452/131249992 swapFree=33009392/33010684
[pid=159389] ppid=159386 vsize=52436 memory=42700 CPUtime=3.08 cores=0,2
/proc/159389/stat : 159389 (pbsolver) R 159386 159389 158250 0 -1 4194304 8917 0 0 0 307 1 0 0 20 0 1 0 237090622 53694464 10675 18446744073709551615 4198400 14743177 140720854535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 46850048 140720854542728 140720854542824 140720854542824 140720854548428 0
/proc/159389/statm: 13109 10675 2688 2575 0 10016 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52436 KiB
Current children cumulated memory: 42700 KiB
[startup+6.30012 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 159390
/proc/meminfo: memFree=115911608/131249992 swapFree=33009392/33010684
[pid=159389] ppid=159386 vsize=56588 memory=46828 CPUtime=6.27 cores=0,2
/proc/159389/stat : 159389 (pbsolver) R 159386 159389 158250 0 -1 4194304 10270 0 0 0 625 2 0 0 20 0 1 0 237090622 57946112 11707 18446744073709551615 4198400 14743177 140720854535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 46850048 140720854542728 140720854542824 140720854542824 140720854548428 0
/proc/159389/statm: 14147 11707 2688 2575 0 11054 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 56588 KiB
Current children cumulated memory: 46828 KiB
[startup+12.0243 s]
# the end of solver process 159389 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=11.9494 s, system=0.029871 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40014 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 159390
/proc/meminfo: memFree=115911608/131249992 swapFree=33009392/33010684
[pid=159389] ppid=159386 vsize=56588 memory=46828 CPUtime=6.37 cores=0,2
/proc/159389/stat : 159389 (pbsolver) R 159386 159389 158250 0 -1 4194304 10273 0 0 0 635 2 0 0 20 0 1 0 237090622 57946112 11707 18446744073709551615 4198400 14743177 140720854535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 46850048 140720854542728 140720854542824 140720854542824 140720854548428 0
/proc/159389/statm: 14147 11707 2688 2575 0 11054 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 56588 KiB
Current children cumulated memory: 46828 KiB
[startup+9.60011 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 159390
/proc/meminfo: memFree=115903796/131249992 swapFree=33009392/33010684
[pid=159389] ppid=159386 vsize=64264 memory=54608 CPUtime=9.55 cores=0,2
/proc/159389/stat : 159389 (pbsolver) R 159386 159389 158250 0 -1 4194304 12419 0 0 0 953 2 0 0 20 0 1 0 237090622 65806336 13652 18446744073709551615 4198400 14743177 140720854535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 46850048 140720854542728 140720854542824 140720854542824 140720854548428 0
/proc/159389/statm: 16066 13652 2688 2575 0 12973 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 64264 KiB
Current children cumulated memory: 54608 KiB
[startup+11.2001 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 159390
/proc/meminfo: memFree=115891952/131249992 swapFree=33009392/33010684
[pid=159389] ppid=159386 vsize=67936 memory=58320 CPUtime=11.15 cores=0,2
/proc/159389/stat : 159389 (pbsolver) R 159386 159389 158250 0 -1 4194304 13355 0 0 0 1113 2 0 0 20 0 1 0 237090622 69566464 14580 18446744073709551615 4198400 14743177 140720854535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 46850048 140720854542728 140720854542824 140720854542824 140720854548428 0
/proc/159389/statm: 16984 14580 2688 2575 0 13891 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 67936 KiB
Current children cumulated memory: 58320 KiB
[startup+11.6001 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 159390
/proc/meminfo: memFree=115891952/131249992 swapFree=33009392/33010684
[pid=159389] ppid=159386 vsize=68384 memory=58832 CPUtime=11.54 cores=0,2
/proc/159389/stat : 159389 (pbsolver) R 159386 159389 158250 0 -1 4194304 13472 0 0 0 1152 2 0 0 20 0 1 0 237090622 70025216 14708 18446744073709551615 4198400 14743177 140720854535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 46850048 140720854542728 140720854542824 140720854542824 140720854548428 0
/proc/159389/statm: 17096 14708 2688 2575 0 14003 0
Current children cumulated CPU time: 11.54 s
Current children cumulated vsize: 68384 KiB
Current children cumulated memory: 58832 KiB
[startup+12.0001 s]*
/proc/loadavg: 4.10 4.12 4.09 5/263 159390
/proc/meminfo: memFree=115891868/131249992 swapFree=33009392/33010684
[pid=159389] ppid=159386 vsize=68896 memory=59344 CPUtime=11.95 cores=0,2
/proc/159389/stat : 159389 (pbsolver) R 159386 159389 158250 0 -1 4194304 13603 0 0 0 1193 2 0 0 20 0 1 0 237090622 70549504 14836 18446744073709551615 4198400 14743177 140720854535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 46850048 140720854542728 140720854542824 140720854542824 140720854548428 0
/proc/159389/statm: 17224 14836 2688 2575 0 14131 0
Current children cumulated CPU time: 11.95 s
Current children cumulated vsize: 68896 KiB
Current children cumulated memory: 59344 KiB
Child status: 0
Real time (s): 12.0244
CPU time (s): 11.9793
CPU user time (s): 11.9494
CPU system time (s): 0.029871
CPU usage (%): 99.6249
Max. virtual memory (cumulated for all children) (KiB): 68896
Max. memory (cumulated for all children) (KiB): 59344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9494
system time used= 0.029871
maximum resident set size= 59344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13605
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= 3
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 159389
# total CPU time (s): 11.9793
# total CPU user time (s): 11.9494
# total CPU system time (s): 0.029871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03609 second user time and 0.081248 second system time
The end