0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4542980-1753215737.opb>
0.00/0.01 c original problem has 337 variables (337 bin, 0 int, 0 impl, 0 cont) and 170 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver (2 rounds): 1 aggregations, 0 fixings, 0 bound changes
0.00/0.01 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.01 c (0.0s) probing: 51/336 (15.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.01 c (0.0s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.01 c dynamic symmetry handling statistics:
0.00/0.01 c orbitopal reduction: no components
0.00/0.01 c orbital reduction: 1 components of sizes 1
0.00/0.01 c lexicographic reduction: 2 permutations with support sizes 294, 329
0.00/0.01 c handled 1 out of 1 symmetry components
0.00/0.01 c presolving (2 rounds: 2 fast, 2 medium, 1 exhaustive):
0.00/0.01 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.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 336 variables (336 bin, 0 int, 0 impl, 0 cont) and 84 constraints
0.00/0.01 c 84 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 10.0.0
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.01 c limits/time = 3596.997011
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.01 c limits/memory = 27900
0.00/0.01 c
0.00/0.01 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.01 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.01 c limits/solutions = 1
0.00/0.01 c
0.00/0.01 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.01 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.01 c misc/usesymmetry = 3
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.01 c
0.00/0.01 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.01 c
0.00/0.01 c # Type of symmetries that shall be computed?
0.00/0.01 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.01 c propagating/symmetry/symtype = 1
0.00/0.01 c
0.00/0.01 c # Should components consisting of a single full reflection be handled?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.03 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.03 c 0.0s| 1 | 0 | 216 | - | 4382k | 0 | 336 | 122 | 84 | 0 | 0 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 322 | - | 4763k | 0 | 336 | 122 | 92 | 8 | 1 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 325 | - | 4911k | 0 | 336 | 122 | 95 | 11 | 2 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 328 | - | 4921k | 0 | 336 | 122 | 98 | 14 | 3 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 334 | - | 4932k | 0 | 336 | 122 | 99 | 15 | 4 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 344 | - | 5185k | 0 | 336 | 122 | 102 | 18 | 5 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.05 c 0.0s| 1 | 0 | 363 | - | 5537k | 0 | 336 | 122 | 104 | 20 | 6 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.05 c 0.0s| 1 | 0 | 371 | - | 5765k | 0 | 336 | 122 | 107 | 23 | 7 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.05 c 0.0s| 1 | 0 | 388 | - | 5992k | 0 | 336 | 122 | 112 | 28 | 8 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 400 | - | 6624k | 0 | 336 | 122 | 117 | 33 | 9 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 409 | - | 7413k | 0 | 336 | 122 | 120 | 36 | 10 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 412 | - | 7426k | 0 | 336 | 122 | 122 | 38 | 11 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 421 | - | 7439k | 0 | 336 | 122 | 116 | 39 | 12 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 423 | - | 7450k | 0 | 336 | 122 | 117 | 40 | 13 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 2 | 738 | - | 7525k | 0 | 336 | 133 | 117 | 40 | 13 | 49 | 5 | 0.000000e+00 | -- | Inf | unknown
0.39/0.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.39/0.42 c 0.4s| 100 | 101 | 5523 | 51.5 | 8227k | 30 | 336 | 305 | 87 | 43 | 1 | 223 | 5 | 0.000000e+00 | -- | Inf | unknown
0.49/0.58 c 0.6s| 200 | 201 | 9601 | 46.1 | 8876k | 37 | 336 | 370 | 87 | 49 | 1 | 295 | 5 | 0.000000e+00 | -- | Inf | unknown
0.68/0.73 c 0.7s| 300 | 301 | 12031 | 38.8 | 9468k | 44 | 336 | 475 | 87 | 84 | 1 | 401 | 5 | 0.000000e+00 | -- | Inf | unknown
0.78/0.83 c 0.8s| 400 | 401 | 13771 | 33.5 | 9563k | 44 | 336 | 502 | 89 | 104 | 2 | 430 | 5 | 0.000000e+00 | -- | Inf | unknown
0.88/0.95 c 0.9s| 500 | 501 | 15121 | 29.5 | 9681k | 44 | 336 | 530 | 87 | 140 | 1 | 458 | 5 | 0.000000e+00 | -- | Inf | unknown
0.98/1.02 c 1.0s| 600 | 601 | 16265 | 26.4 | 9681k | 55 | 336 | 537 | 87 | 190 | 1 | 466 | 5 | 0.000000e+00 | -- | Inf | unknown
0.98/1.09 c 1.1s| 700 | 701 | 17855 | 24.9 | 9747k | 55 | 336 | 539 | 94 | 247 | 2 | 468 | 5 | 0.000000e+00 | -- | Inf | unknown
1.08/1.18 c 1.2s| 800 | 801 | 19148 | 23.4 | 9911k | 55 | 336 | 570 | 87 | 311 | 1 | 499 | 5 | 0.000000e+00 | -- | Inf | unknown
1.18/1.24 c 1.2s| 900 | 901 | 19960 | 21.7 | 10M | 55 | 336 | 574 | 87 | 401 | 1 | 503 | 5 | 0.000000e+00 | -- | Inf | unknown
1.28/1.32 c 1.3s| 1000 | 1001 | 21033 | 20.6 | 11M | 55 | 336 | 581 | 90 | 505 | 1 | 511 | 5 | 0.000000e+00 | -- | Inf | unknown
1.28/1.35 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1.28/1.35 c (run 1, node 1049) performing user restart
1.28/1.35 c
1.28/1.35 c presolving:
1.28/1.35 c (round 1, fast) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.28/1.37 c (round 2, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 6 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.28/1.39 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
1.28/1.39 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 6 changed coefficients
1.28/1.39 c 0 implications, 0 cliques
1.28/1.39 c presolved problem has 336 variables (336 bin, 0 int, 0 impl, 0 cont) and 580 constraints
1.28/1.39 c 9 constraints of type <knapsack>
1.28/1.39 c 85 constraints of type <linear>
1.28/1.39 c 486 constraints of type <logicor>
1.28/1.39 c transformed objective value is always integral (scale: 1)
1.28/1.39 c Presolving Time: 0.04
1.28/1.39 c
1.38/1.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.38/1.40 c 1.4s| 1 | 0 | 21492 | - | 12M | 0 | 336 | 608 | 84 | 0 | 0 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.42 c 1.4s| 1 | 0 | 21504 | - | 12M | 0 | 336 | 608 | 92 | 8 | 1 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.42 c 1.4s| 1 | 0 | 21507 | - | 12M | 0 | 336 | 608 | 95 | 11 | 2 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.42 c 1.4s| 1 | 0 | 21510 | - | 12M | 0 | 336 | 608 | 98 | 14 | 3 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.42 c 1.4s| 1 | 0 | 21516 | - | 12M | 0 | 336 | 608 | 99 | 15 | 4 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.43 c 1.4s| 1 | 0 | 21523 | - | 12M | 0 | 336 | 608 | 101 | 17 | 5 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.43 c 1.4s| 1 | 0 | 21528 | - | 12M | 0 | 336 | 608 | 104 | 20 | 6 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.43 c 1.4s| 1 | 0 | 21530 | - | 12M | 0 | 336 | 608 | 105 | 21 | 7 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.43 c 1.4s| 1 | 0 | 21532 | - | 12M | 0 | 336 | 608 | 107 | 23 | 8 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.44 c 1.4s| 1 | 0 | 21544 | - | 12M | 0 | 336 | 608 | 111 | 27 | 9 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.44 c 1.4s| 1 | 0 | 21545 | - | 12M | 0 | 336 | 608 | 113 | 29 | 10 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.44 c 1.4s| 1 | 0 | 21568 | - | 12M | 0 | 336 | 608 | 115 | 31 | 11 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.45 c 1.4s| 1 | 0 | 21590 | - | 12M | 0 | 336 | 608 | 119 | 35 | 12 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.45 c 1.4s| 1 | 0 | 21593 | - | 12M | 0 | 336 | 608 | 120 | 36 | 13 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.45 c 1.4s| 1 | 0 | 21602 | - | 12M | 0 | 336 | 608 | 121 | 37 | 14 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.38/1.45 c 1.4s| 1 | 0 | 21612 | - | 12M | 0 | 336 | 608 | 122 | 38 | 15 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.46 c 1.5s| 1 | 0 | 21614 | - | 12M | 0 | 336 | 608 | 106 | 39 | 16 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.46 c 1.5s| 1 | 0 | 21623 | - | 13M | 0 | 336 | 608 | 107 | 40 | 17 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.46 c 1.5s| 1 | 0 | 21629 | - | 13M | 0 | 336 | 608 | 108 | 41 | 18 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.46 c 1.5s| 1 | 0 | 21654 | - | 13M | 0 | 336 | 608 | 110 | 43 | 19 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.47 c 1.5s| 1 | 0 | 21662 | - | 13M | 0 | 336 | 608 | 112 | 45 | 20 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.47 c 1.5s| 1 | 0 | 21664 | - | 13M | 0 | 336 | 608 | 114 | 47 | 21 | 539 | 5 | 0.000000e+00 | -- | Inf | unknown
1.38/1.49 c 1.5s| 1 | 2 | 21897 | - | 13M | 0 | 336 | 614 | 114 | 47 | 22 | 545 | 21 | 0.000000e+00 | -- | Inf | unknown
1.77/1.84 c 1.8s| 100 | 101 | 22984 | 19.3 | 13M | 22 | 336 | 640 | 95 | 80 | 1 | 571 | 21 | 0.000000e+00 | -- | Inf | unknown
2.08/2.12 c 2.1s| 200 | 201 | 23602 | 18.3 | 13M | 34 | 336 | 649 | 96 | 98 | 1 | 580 | 21 | 0.000000e+00 | -- | Inf | unknown
2.08/2.20 c 2.2s| 300 | 301 | 24373 | 17.5 | 13M | 44 | 336 | 685 | 100 | 202 | 1 | 616 | 21 | 0.000000e+00 | -- | Inf | unknown
2.27/2.30 c 2.3s| 400 | 401 | 24928 | 16.7 | 13M | 48 | 336 | 685 | 100 | 307 | 1 | 616 | 21 | 0.000000e+00 | -- | Inf | unknown
2.27/2.32 c 2.3s| 500 | 501 | 25260 | 15.8 | 13M | 76 | 336 | 689 | 100 | 307 | 1 | 621 | 21 | 0.000000e+00 | -- | Inf | unknown
2.37/2.44 c 2.4s| 600 | 601 | 25646 | 15.1 | 13M | 87 | 336 | 693 | 102 | 321 | 1 | 625 | 21 | 0.000000e+00 | -- | Inf | unknown
2.47/2.53 c 2.5s| 700 | 701 | 26303 | 14.6 | 13M | 95 | 336 | 699 | 100 | 321 | 1 | 632 | 21 | 0.000000e+00 | -- | Inf | unknown
2.47/2.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.47/2.55 c 2.5s| 800 | 801 | 26650 | 14.0 | 13M | 107 | 336 | 703 | 100 | 321 | 1 | 636 | 21 | 0.000000e+00 | -- | Inf | unknown
2.47/2.58 c 2.6s| 900 | 901 | 26938 | 13.4 | 13M | 119 | 336 | 712 | 100 | 321 | 1 | 646 | 21 | 0.000000e+00 | -- | Inf | unknown
2.57/2.61 c 2.6s| 1000 | 1001 | 27341 | 13.0 | 13M | 144 | 336 | 716 | 100 | 321 | 1 | 651 | 21 | 0.000000e+00 | -- | Inf | unknown
2.57/2.63 c 2.6s| 1100 | 1101 | 27650 | 12.5 | 13M | 144 | 336 | 717 | 100 | 321 | 1 | 654 | 21 | 0.000000e+00 | -- | Inf | unknown
2.57/2.66 c 2.7s| 1200 | 1199 | 28122 | 12.1 | 13M | 144 | 336 | 727 | 100 | 321 | 1 | 665 | 21 | 0.000000e+00 | -- | Inf | unknown
2.57/2.69 c 2.7s| 1300 | 1299 | 28498 | 11.8 | 13M | 144 | 336 | 732 | 100 | 321 | 1 | 670 | 21 | 0.000000e+00 | -- | Inf | unknown
2.67/2.72 c 2.7s| 1400 | 1399 | 28936 | 11.5 | 13M | 144 | 336 | 789 | 100 | 321 | 1 | 727 | 21 | 0.000000e+00 | -- | Inf | unknown
2.67/2.75 c 2.7s| 1500 | 1499 | 29391 | 11.2 | 13M | 144 | 336 | 800 | 100 | 321 | 1 | 738 | 21 | 0.000000e+00 | -- | Inf | unknown
2.67/2.78 c 2.8s| 1600 | 1595 | 29742 | 10.9 | 13M | 157 | 336 | 814 | 100 | 321 | 1 | 756 | 21 | 0.000000e+00 | -- | Inf | unknown
2.77/2.81 c 2.8s| 1700 | 1687 | 30287 | 10.7 | 14M | 157 | 336 | 852 | 100 | 321 | 1 | 799 | 21 | 0.000000e+00 | -- | Inf | unknown
2.77/2.84 c 2.8s| 1800 | 1781 | 30682 | 10.5 | 14M | 157 | 336 | 857 | 100 | 321 | 1 | 808 | 21 | 0.000000e+00 | -- | Inf | unknown
2.77/2.87 c 2.9s| 1900 | 1881 | 31249 | 10.3 | 14M | 157 | 336 | 866 | 100 | 321 | 1 | 820 | 21 | 0.000000e+00 | -- | Inf | unknown
2.87/2.90 c 2.9s| 2000 | 1973 | 31704 | 10.1 | 14M | 157 | 336 | 878 | 100 | 321 | 1 | 835 | 21 | 0.000000e+00 | -- | Inf | unknown
2.87/2.93 c 2.9s| 2100 | 2067 | 32143 | 10.0 | 14M | 157 | 336 | 905 | 100 | 321 | 1 | 867 | 21 | 0.000000e+00 | -- | Inf | unknown
2.87/2.95 c 2.9s| 2200 | 2165 | 32565 | 9.8 | 14M | 157 | 336 | 907 | 100 | 321 | 1 | 870 | 21 | 0.000000e+00 | -- | Inf | unknown
2.87/2.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.87/2.98 c 3.0s| 2300 | 2265 | 33007 | 9.6 | 14M | 157 | 336 | 936 | 100 | 321 | 1 | 901 | 21 | 0.000000e+00 | -- | Inf | unknown
2.97/3.01 c 3.0s| 2400 | 2349 | 33446 | 9.5 | 14M | 157 | 336 | 957 | 100 | 321 | 1 | 931 | 21 | 0.000000e+00 | -- | Inf | unknown
2.97/3.04 c 3.0s| 2500 | 2449 | 33941 | 9.3 | 14M | 157 | 336 |1012 | 100 | 321 | 1 | 987 | 21 | 0.000000e+00 | -- | Inf | unknown
2.97/3.07 c 3.1s| 2600 | 2535 | 34402 | 9.2 | 14M | 157 | 336 |1019 | 100 | 321 | 1 |1003 | 21 | 0.000000e+00 | -- | Inf | unknown
2.97/3.10 c 3.1s| 2700 | 2629 | 34778 | 9.1 | 14M | 157 | 336 |1024 | 100 | 321 | 1 |1011 | 21 | 0.000000e+00 | -- | Inf | unknown
3.07/3.13 c 3.1s| 2800 | 2715 | 35299 | 9.0 | 14M | 157 | 336 |1038 | 100 | 321 | 1 |1033 | 21 | 0.000000e+00 | -- | Inf | unknown
3.07/3.17 c 3.2s| 2900 | 2801 | 35851 | 8.9 | 14M | 157 | 336 |1061 | 100 | 321 | 1 |1061 | 21 | 0.000000e+00 | -- | Inf | unknown
3.16/3.23 c 3.2s| 3000 | 2860 | 36408 | 8.8 | 15M | 157 | 336 |1107 | 100 | 325 | 1 |1112 | 21 | 0.000000e+00 | -- | Inf | unknown
3.16/3.26 c 3.3s| 3100 | 2952 | 36921 | 8.7 | 15M | 157 | 336 |1140 | 100 | 325 | 1 |1147 | 21 | 0.000000e+00 | -- | Inf | unknown
3.16/3.29 c 3.3s| 3200 | 3040 | 37397 | 8.6 | 15M | 157 | 336 |1147 | 100 | 325 | 1 |1162 | 21 | 0.000000e+00 | -- | Inf | unknown
3.36/3.42 c 3.4s| 3300 | 3140 | 37973 | 8.5 | 16M | 157 | 336 |1182 | 88 | 325 | 1 |1197 | 21 | 0.000000e+00 | -- | Inf | unknown
3.47/3.52 c 3.5s| 3400 | 3240 | 38867 | 8.6 | 16M | 157 | 336 |1195 | 94 | 342 | 1 |1212 | 21 | 0.000000e+00 | -- | Inf | unknown
3.47/3.59 c 3.6s| 3500 | 3338 | 39289 | 8.5 | 16M | 159 | 336 |1208 | 0 | 368 | 0 |1225 | 21 | 0.000000e+00 | -- | Inf | unknown
3.57/3.62 c 3.6s| 3600 | 3431 | 39601 | 8.3 | 16M | 159 | 336 |1223 | 92 | 377 | 1 |1240 | 21 | 0.000000e+00 | -- | Inf | unknown
3.57/3.68 c 3.7s| 3700 | 3531 | 40197 | 8.3 | 16M | 159 | 336 |1237 | 100 | 377 | 1 |1254 | 21 | 0.000000e+00 | -- | Inf | unknown
3.67/3.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.67/3.71 c 3.7s| 3800 | 3631 | 40521 | 8.2 | 16M | 159 | 336 |1237 | 100 | 377 | 1 |1254 | 21 | 0.000000e+00 | -- | Inf | unknown
3.67/3.77 c 3.8s| 3900 | 3707 | 40909 | 8.1 | 17M | 159 | 336 |1241 | 100 | 377 | 1 |1268 | 21 | 0.000000e+00 | -- | Inf | unknown
3.77/3.80 c 3.8s| 4000 | 3783 | 41299 | 8.0 | 17M | 159 | 336 |1263 | 100 | 377 | 1 |1298 | 21 | 0.000000e+00 | -- | Inf | unknown
3.77/3.83 c 3.8s| 4100 | 3881 | 41928 | 8.0 | 17M | 159 | 336 |1275 | 100 | 377 | 1 |1311 | 21 | 0.000000e+00 | -- | Inf | unknown
3.77/3.86 c 3.9s| 4200 | 3967 | 42499 | 7.9 | 17M | 159 | 336 |1301 | 100 | 377 | 1 |1338 | 21 | 0.000000e+00 | -- | Inf | unknown
3.87/3.99 c 4.0s| 4300 | 4067 | 42910 | 7.9 | 17M | 159 | 336 |1301 | 92 | 377 | 1 |1339 | 21 | 0.000000e+00 | -- | Inf | unknown
3.97/4.03 c 4.0s| 4400 | 4165 | 43677 | 7.9 | 17M | 159 | 336 |1322 | 92 | 377 | 1 |1360 | 21 | 0.000000e+00 | -- | Inf | unknown
4.17/4.20 c 4.2s| 4500 | 4265 | 44310 | 7.8 | 17M | 159 | 336 |1339 | 92 | 377 | 1 |1381 | 21 | 0.000000e+00 | -- | Inf | unknown
4.27/4.30 c 4.3s| 4600 | 4363 | 44770 | 7.8 | 17M | 159 | 336 |1349 | 92 | 377 | 1 |1391 | 21 | 0.000000e+00 | -- | Inf | unknown
4.36/4.45 c 4.4s| 4700 | 4463 | 45494 | 7.8 | 17M | 159 | 336 |1351 | 92 | 392 | 1 |1393 | 21 | 0.000000e+00 | -- | Inf | unknown
4.46/4.60 c 4.6s| 4800 | 4555 | 46089 | 7.7 | 17M | 159 | 336 |1399 | 100 | 392 | 1 |1443 | 21 | 0.000000e+00 | -- | Inf | unknown
4.56/4.62 c 4.6s| 4900 | 4647 | 46402 | 7.7 | 17M | 159 | 336 |1403 | 100 | 392 | 1 |1449 | 21 | 0.000000e+00 | -- | Inf | unknown
4.56/4.65 c 4.6s| 5000 | 4741 | 46866 | 7.6 | 17M | 159 | 336 |1417 | 100 | 392 | 1 |1464 | 21 | 0.000000e+00 | -- | Inf | unknown
4.56/4.67 c 4.7s| 5100 | 4837 | 47249 | 7.6 | 17M | 159 | 336 |1422 | 100 | 392 | 1 |1472 | 21 | 0.000000e+00 | -- | Inf | unknown
4.66/4.70 c 4.7s| 5200 | 4933 | 47567 | 7.5 | 17M | 159 | 336 |1440 | 100 | 392 | 1 |1491 | 21 | 0.000000e+00 | -- | Inf | unknown
4.66/4.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.66/4.73 c 4.7s| 5300 | 5011 | 47966 | 7.4 | 17M | 159 | 336 |1461 | 100 | 392 | 1 |1520 | 21 | 0.000000e+00 | -- | Inf | unknown
4.66/4.75 c 4.7s| 5400 | 5111 | 48284 | 7.4 | 17M | 159 | 336 |1461 | 100 | 392 | 1 |1524 | 21 | 0.000000e+00 | -- | Inf | unknown
4.66/4.78 c 4.8s| 5500 | 5189 | 48667 | 7.3 | 17M | 159 | 336 |1481 | 100 | 392 | 1 |1552 | 21 | 0.000000e+00 | -- | Inf | unknown
4.76/4.82 c 4.8s| 5600 | 5280 | 49343 | 7.3 | 17M | 159 | 336 |1517 | 100 | 392 | 1 |1592 | 21 | 0.000000e+00 | -- | Inf | unknown
4.76/4.84 c 4.8s| 5700 | 5367 | 49679 | 7.2 | 17M | 159 | 336 |1520 | 100 | 392 | 1 |1602 | 21 | 0.000000e+00 | -- | Inf | unknown
4.86/4.96 c 5.0s| 5800 | 5467 | 50315 | 7.2 | 17M | 159 | 336 |1524 | 94 | 402 | 1 |1612 | 21 | 0.000000e+00 | -- | Inf | unknown
5.07/5.11 c 5.1s| 5900 | 5567 | 50995 | 7.2 | 17M | 159 | 336 |1548 | 100 | 402 | 1 |1637 | 21 | 0.000000e+00 | -- | Inf | unknown
5.07/5.14 c 5.1s| 6000 | 5642 | 51381 | 7.2 | 18M | 159 | 336 |1568 | 100 | 402 | 1 |1666 | 21 | 0.000000e+00 | -- | Inf | unknown
5.07/5.17 c 5.2s| 6100 | 5738 | 51911 | 7.1 | 18M | 159 | 336 |1584 | 100 | 402 | 1 |1685 | 21 | 0.000000e+00 | -- | Inf | unknown
5.16/5.20 c 5.2s| 6200 | 5838 | 52365 | 7.1 | 18M | 159 | 336 |1584 | 100 | 402 | 1 |1689 | 21 | 0.000000e+00 | -- | Inf | unknown
5.16/5.22 c 5.2s| 6300 | 5934 | 52915 | 7.1 | 18M | 159 | 336 |1587 | 100 | 402 | 1 |1699 | 21 | 0.000000e+00 | -- | Inf | unknown
5.16/5.25 c 5.2s| 6400 | 6032 | 53375 | 7.1 | 18M | 159 | 336 |1596 | 100 | 402 | 1 |1711 | 21 | 0.000000e+00 | -- | Inf | unknown
5.16/5.28 c 5.3s| 6500 | 6129 | 53803 | 7.0 | 18M | 159 | 336 |1620 | 100 | 402 | 1 |1740 | 21 | 0.000000e+00 | -- | Inf | unknown
5.26/5.31 c 5.3s| 6600 | 6203 | 54236 | 7.0 | 18M | 159 | 336 |1622 | 100 | 402 | 1 |1756 | 21 | 0.000000e+00 | -- | Inf | unknown
5.46/5.56 c 5.6s| 6700 | 6303 | 55157 | 7.0 | 18M | 159 | 336 |1659 | 100 | 402 | 1 |1795 | 21 | 0.000000e+00 | -- | Inf | unknown
5.46/5.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.46/5.59 c 5.6s| 6800 | 6390 | 55586 | 7.0 | 19M | 159 | 336 |1678 | 100 | 402 | 1 |1818 | 21 | 0.000000e+00 | -- | Inf | unknown
5.56/5.62 c 5.6s| 6900 | 6488 | 56042 | 6.9 | 20M | 159 | 336 |1699 | 100 | 402 | 1 |1846 | 21 | 0.000000e+00 | -- | Inf | unknown
5.56/5.65 c 5.6s| 7000 | 6584 | 56462 | 6.9 | 20M | 159 | 336 |1727 | 100 | 402 | 1 |1882 | 21 | 0.000000e+00 | -- | Inf | unknown
5.66/5.72 c 5.7s| 7100 | 6672 | 56905 | 6.9 | 20M | 159 | 336 |1734 | 100 | 402 | 1 |1895 | 21 | 0.000000e+00 | -- | Inf | unknown
5.66/5.76 c 5.8s| 7200 | 6772 | 57651 | 6.9 | 20M | 159 | 336 |1731 | 100 | 402 | 1 |1900 | 21 | 0.000000e+00 | -- | Inf | unknown
5.66/5.79 c 5.8s| 7300 | 6872 | 58193 | 6.9 | 20M | 159 | 336 |1732 | 100 | 402 | 1 |1909 | 21 | 0.000000e+00 | -- | Inf | unknown
5.76/5.87 c 5.9s| 7400 | 6968 | 58751 | 6.9 | 20M | 159 | 336 |1729 | 100 | 402 | 1 |1916 | 21 | 0.000000e+00 | -- | Inf | unknown
5.86/5.97 c 6.0s| 7500 | 7060 | 59159 | 6.8 | 20M | 159 | 336 |1737 | 94 | 402 | 1 |1928 | 21 | 0.000000e+00 | -- | Inf | unknown
5.96/6.10 c 6.1s| 7600 | 7160 | 59935 | 6.8 | 20M | 159 | 336 |1736 | 100 | 402 | 1 |1931 | 21 | 0.000000e+00 | -- | Inf | unknown
6.06/6.17 c 6.2s| 7700 | 7260 | 60328 | 6.8 | 21M | 159 | 336 |1735 | 100 | 402 | 1 |1934 | 21 | 0.000000e+00 | -- | Inf | unknown
6.06/6.19 c 6.2s| 7800 | 7356 | 60684 | 6.8 | 21M | 159 | 336 |1730 | 100 | 402 | 1 |1936 | 21 | 0.000000e+00 | -- | Inf | unknown
6.16/6.22 c 6.2s| 7900 | 7442 | 61119 | 6.7 | 22M | 159 | 336 |1743 | 100 | 402 | 0 |1962 | 21 | 0.000000e+00 | -- | Inf | unknown
6.26/6.37 c 6.4s| 8000 | 7517 | 61554 | 6.7 | 22M | 159 | 336 |1761 | 94 | 402 | 1 |1992 | 21 | 0.000000e+00 | -- | Inf | unknown
6.36/6.45 c 6.4s| 8100 | 7617 | 62041 | 6.7 | 22M | 159 | 336 |1768 | 92 | 402 | 1 |1999 | 21 | 0.000000e+00 | -- | Inf | unknown
6.56/6.62 c 6.6s| 8200 | 7717 | 63077 | 6.7 | 22M | 159 | 336 |1782 | 92 | 402 | 1 |2017 | 21 | 0.000000e+00 | -- | Inf | unknown
6.56/6.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.56/6.65 c 6.6s| 8300 | 7804 | 63507 | 6.7 | 22M | 159 | 336 |1798 | 100 | 402 | 1 |2035 | 21 | 0.000000e+00 | -- | Inf | unknown
6.56/6.68 c 6.7s| 8400 | 7900 | 63964 | 6.7 | 22M | 159 | 336 |1802 | 100 | 402 | 1 |2048 | 21 | 0.000000e+00 | -- | Inf | unknown
6.65/6.71 c 6.7s| 8500 | 8000 | 64440 | 6.7 | 22M | 159 | 336 |1800 | 92 | 402 | 1 |2052 | 21 | 0.000000e+00 | -- | Inf | unknown
6.65/6.74 c 6.7s| 8600 | 8100 | 64860 | 6.6 | 22M | 159 | 336 |1802 | 92 | 402 | 1 |2056 | 21 | 0.000000e+00 | -- | Inf | unknown
6.65/6.78 c 6.8s| 8700 | 8200 | 65783 | 6.7 | 22M | 159 | 336 |1802 | 92 | 402 | 1 |2064 | 21 | 0.000000e+00 | -- | Inf | unknown
6.75/6.81 c 6.8s| 8800 | 8300 | 66300 | 6.6 | 22M | 159 | 336 |1826 | 94 | 402 | 1 |2092 | 21 | 0.000000e+00 | -- | Inf | unknown
6.75/6.84 c 6.8s| 8900 | 8400 | 66641 | 6.6 | 22M | 159 | 336 |1821 | 92 | 402 | 1 |2092 | 21 | 0.000000e+00 | -- | Inf | unknown
6.75/6.86 c 6.9s| 9000 | 8500 | 66965 | 6.6 | 22M | 159 | 336 |1820 | 100 | 402 | 1 |2092 | 21 | 0.000000e+00 | -- | Inf | unknown
6.75/6.89 c 6.9s| 9100 | 8566 | 67517 | 6.6 | 22M | 159 | 336 |1828 | 100 | 402 | 1 |2121 | 21 | 0.000000e+00 | -- | Inf | unknown
6.85/6.93 c 6.9s| 9200 | 8654 | 68133 | 6.6 | 22M | 159 | 336 |1828 | 92 | 410 | 1 |2138 | 21 | 0.000000e+00 | -- | Inf | unknown
6.85/6.96 c 7.0s| 9300 | 8754 | 68570 | 6.5 | 22M | 159 | 336 |1827 | 100 | 410 | 1 |2147 | 21 | 0.000000e+00 | -- | Inf | unknown
6.85/6.99 c 7.0s| 9400 | 8854 | 69089 | 6.5 | 22M | 159 | 336 |1828 | 100 | 420 | 1 |2151 | 21 | 0.000000e+00 | -- | Inf | unknown
6.96/7.04 c 7.0s| 9500 | 8952 | 69844 | 6.5 | 22M | 159 | 336 |1850 | 100 | 433 | 1 |2180 | 21 | 0.000000e+00 | -- | Inf | unknown
6.96/7.07 c 7.1s| 9600 | 9052 | 70341 | 6.5 | 22M | 159 | 336 |1861 | 100 | 433 | 1 |2201 | 21 | 0.000000e+00 | -- | Inf | unknown
7.06/7.10 c 7.1s| 9700 | 9134 | 70734 | 6.5 | 22M | 159 | 336 |1883 | 100 | 433 | 1 |2235 | 21 | 0.000000e+00 | -- | Inf | unknown
7.06/7.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.06/7.14 c 7.1s| 9800 | 9204 | 71294 | 6.5 | 22M | 159 | 336 |1882 | 94 | 433 | 1 |2256 | 21 | 0.000000e+00 | -- | Inf | unknown
7.06/7.17 c 7.2s| 9900 | 9292 | 71754 | 6.5 | 22M | 159 | 336 |1887 | 100 | 433 | 0 |2279 | 21 | 0.000000e+00 | -- | Inf | unknown
7.15/7.20 c 7.2s| 10000 | 9376 | 72166 | 6.5 | 22M | 159 | 336 |1878 | 100 | 433 | 1 |2296 | 21 | 0.000000e+00 | -- | Inf | unknown
7.15/7.23 c 7.2s| 10100 | 9462 | 72555 | 6.4 | 23M | 159 | 336 |1879 | 100 | 433 | 1 |2312 | 21 | 0.000000e+00 | -- | Inf | unknown
7.15/7.27 c 7.3s| 10200 | 9552 | 73295 | 6.4 | 23M | 159 | 336 |1875 | 100 | 437 | 1 |2327 | 21 | 0.000000e+00 | -- | Inf | unknown
7.25/7.30 c 7.3s| 10300 | 9652 | 73790 | 6.4 | 23M | 159 | 336 |1877 | 100 | 437 | 1 |2346 | 21 | 0.000000e+00 | -- | Inf | unknown
7.25/7.36 c 7.4s| 10400 | 9752 | 74815 | 6.5 | 23M | 159 | 336 |1889 | 92 | 445 | 1 |2372 | 21 | 0.000000e+00 | -- | Inf | unknown
7.35/7.40 c 7.4s| 10500 | 9852 | 75357 | 6.5 | 23M | 159 | 336 |1887 | 103 | 467 | 1 |2385 | 21 | 0.000000e+00 | -- | Inf | unknown
7.35/7.43 c 7.4s| 10600 | 9952 | 75767 | 6.4 | 23M | 159 | 336 |1882 | 100 | 493 | 1 |2385 | 21 | 0.000000e+00 | -- | Inf | unknown
7.35/7.46 c 7.5s| 10700 | 10036 | 76105 | 6.4 | 23M | 159 | 336 |1883 | 100 | 493 | 1 |2403 | 21 | 0.000000e+00 | -- | Inf | unknown
7.35/7.48 c 7.5s| 10800 | 10134 | 76469 | 6.4 | 23M | 159 | 336 |1881 | 91 | 497 | 1 |2404 | 21 | 0.000000e+00 | -- | Inf | unknown
7.45/7.52 c 7.5s| 10900 | 10234 | 77204 | 6.4 | 23M | 159 | 336 |1882 | 91 | 497 | 1 |2409 | 21 | 0.000000e+00 | -- | Inf | unknown
7.45/7.55 c 7.5s| 11000 | 10330 | 77830 | 6.4 | 23M | 159 | 336 |1892 | 100 | 497 | 1 |2421 | 21 | 0.000000e+00 | -- | Inf | unknown
7.45/7.58 c 7.6s| 11100 | 10422 | 78187 | 6.4 | 24M | 159 | 336 |1896 | 100 | 497 | 1 |2445 | 21 | 0.000000e+00 | -- | Inf | unknown
7.55/7.61 c 7.6s| 11200 | 10511 | 78541 | 6.3 | 24M | 159 | 336 |1904 | 100 | 497 | 1 |2475 | 21 | 0.000000e+00 | -- | Inf | unknown
7.55/7.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.55/7.64 c 7.6s| 11300 | 10611 | 78836 | 6.3 | 24M | 159 | 336 |1899 | 100 | 497 | 1 |2475 | 21 | 0.000000e+00 | -- | Inf | unknown
7.55/7.68 c 7.7s| 11400 | 10711 | 79542 | 6.3 | 24M | 159 | 336 |1908 | 89 | 503 | 1 |2495 | 21 | 0.000000e+00 | -- | Inf | unknown
7.65/7.71 c 7.7s| 11500 | 10811 | 80134 | 6.3 | 24M | 159 | 336 |1909 | 91 | 511 | 1 |2501 | 21 | 0.000000e+00 | -- | Inf | unknown
7.65/7.76 c 7.8s| 11600 | 10903 | 80993 | 6.3 | 24M | 159 | 336 |1903 | 92 | 531 | 1 |2514 | 21 | 0.000000e+00 | -- | Inf | unknown
7.65/7.78 c 7.8s| 11700 | 10975 | 81342 | 6.3 | 24M | 159 | 336 |1910 | 100 | 531 | 1 |2539 | 21 | 0.000000e+00 | -- | Inf | unknown
7.75/7.81 c 7.8s| 11800 | 11049 | 81772 | 6.3 | 24M | 159 | 336 |1912 | 100 | 531 | 0 |2563 | 21 | 0.000000e+00 | -- | Inf | unknown
7.75/7.84 c 7.8s| 11900 | 11143 | 82302 | 6.3 | 24M | 159 | 336 |1907 | 91 | 531 | 1 |2574 | 21 | 0.000000e+00 | -- | Inf | unknown
7.75/7.87 c 7.9s| 12000 | 11239 | 82645 | 6.3 | 24M | 159 | 336 |1896 | 94 | 532 | 1 |2579 | 21 | 0.000000e+00 | -- | Inf | unknown
7.85/7.90 c 7.9s| 12100 | 11325 | 83150 | 6.3 | 24M | 159 | 336 |1899 | 100 | 532 | 1 |2596 | 21 | 0.000000e+00 | -- | Inf | unknown
7.85/7.94 c 7.9s| 12200 | 11411 | 83741 | 6.3 | 24M | 159 | 336 |1888 | 92 | 532 | 1 |2615 | 21 | 0.000000e+00 | -- | Inf | unknown
7.85/7.97 c 8.0s| 12300 | 11511 | 84282 | 6.3 | 25M | 159 | 336 |1891 | 92 | 532 | 1 |2624 | 21 | 0.000000e+00 | -- | Inf | unknown
7.96/8.01 c 8.0s| 12400 | 11606 | 84968 | 6.3 | 25M | 159 | 336 |1904 | 92 | 546 | 1 |2649 | 21 | 0.000000e+00 | -- | Inf | unknown
7.96/8.03 c 8.0s| 12500 | 11689 | 85331 | 6.2 | 25M | 159 | 336 |1919 | 100 | 546 | 1 |2670 | 21 | 0.000000e+00 | -- | Inf | unknown
7.96/8.06 c 8.1s| 12600 | 11789 | 85725 | 6.2 | 25M | 159 | 336 |1914 | 100 | 546 | 1 |2673 | 21 | 0.000000e+00 | -- | Inf | unknown
7.96/8.09 c 8.1s| 12700 | 11863 | 86105 | 6.2 | 25M | 159 | 336 |1941 | 100 | 546 | 1 |2719 | 21 | 0.000000e+00 | -- | Inf | unknown
8.05/8.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.05/8.13 c 8.1s| 12800 | 11955 | 86597 | 6.2 | 26M | 159 | 336 |1943 | 91 | 557 | 1 |2739 | 21 | 0.000000e+00 | -- | Inf | unknown
8.05/8.18 c 8.2s| 12900 | 12053 | 87558 | 6.2 | 26M | 159 | 336 |1952 | 92 | 559 | 1 |2766 | 21 | 0.000000e+00 | -- | Inf | unknown
8.15/8.20 c 8.2s| 13000 | 12145 | 87977 | 6.2 | 26M | 159 | 336 |1957 | 100 | 559 | 1 |2781 | 21 | 0.000000e+00 | -- | Inf | unknown
8.15/8.23 c 8.2s| 13100 | 12215 | 88276 | 6.2 | 26M | 159 | 336 |1965 | 92 | 559 | 1 |2806 | 21 | 0.000000e+00 | -- | Inf | unknown
8.15/8.27 c 8.3s| 13200 | 12315 | 89178 | 6.2 | 26M | 159 | 336 |1974 | 92 | 559 | 1 |2821 | 21 | 0.000000e+00 | -- | Inf | unknown
8.25/8.30 c 8.3s| 13300 | 12415 | 89526 | 6.2 | 26M | 159 | 336 |1970 | 92 | 559 | 1 |2821 | 21 | 0.000000e+00 | -- | Inf | unknown
8.25/8.34 c 8.3s| 13400 | 12507 | 90094 | 6.2 | 26M | 159 | 336 |1961 | 100 | 559 | 1 |2842 | 21 | 0.000000e+00 | -- | Inf | unknown
8.25/8.37 c 8.4s| 13500 | 12595 | 90582 | 6.2 | 26M | 159 | 336 |1955 | 100 | 559 | 1 |2859 | 21 | 0.000000e+00 | -- | Inf | unknown
8.35/8.40 c 8.4s| 13600 | 12695 | 91018 | 6.2 | 26M | 159 | 336 |1941 | 100 | 559 | 1 |2864 | 21 | 0.000000e+00 | -- | Inf | unknown
8.35/8.43 c 8.4s| 13700 | 12787 | 91495 | 6.1 | 26M | 159 | 336 |1943 | 100 | 559 | 1 |2880 | 21 | 0.000000e+00 | -- | Inf | unknown
8.35/8.46 c 8.5s| 13800 | 12865 | 91924 | 6.1 | 26M | 159 | 336 |1952 | 93 | 559 | 1 |2914 | 21 | 0.000000e+00 | -- | Inf | unknown
8.45/8.51 c 8.5s| 13900 | 12958 | 92739 | 6.1 | 26M | 159 | 336 |1956 | 92 | 559 | 1 |2939 | 21 | 0.000000e+00 | -- | Inf | unknown
8.45/8.53 c 8.5s| 14000 | 13054 | 93213 | 6.1 | 26M | 159 | 336 |1949 | 92 | 559 | 1 |2946 | 21 | 0.000000e+00 | -- | Inf | unknown
8.45/8.56 c 8.6s| 14100 | 13140 | 93522 | 6.1 | 26M | 159 | 336 |1962 | 100 | 559 | 1 |2973 | 21 | 0.000000e+00 | -- | Inf | unknown
8.45/8.59 c 8.6s| 14200 | 13240 | 93926 | 6.1 | 26M | 159 | 336 |1949 | 94 | 559 | 1 |2974 | 21 | 0.000000e+00 | -- | Inf | unknown
8.55/8.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.55/8.62 c 8.6s| 14300 | 13316 | 94386 | 6.1 | 26M | 159 | 336 |1945 | 94 | 559 | 1 |3005 | 21 | 0.000000e+00 | -- | Inf | unknown
8.55/8.67 c 8.7s| 14400 | 13414 | 95281 | 6.1 | 26M | 159 | 336 |1962 | 100 | 559 | 1 |3041 | 21 | 0.000000e+00 | -- | Inf | unknown
8.65/8.70 c 8.7s| 14500 | 13459 | 95773 | 6.1 | 26M | 159 | 336 |1972 | 100 | 564 | 1 |3095 | 21 | 0.000000e+00 | -- | Inf | unknown
8.65/8.73 c 8.7s| 14600 | 13559 | 96203 | 6.1 | 26M | 159 | 336 |1956 | 100 | 564 | 1 |3095 | 21 | 0.000000e+00 | -- | Inf | unknown
8.65/8.76 c 8.8s| 14700 | 13657 | 96624 | 6.1 | 26M | 159 | 336 |1937 | 92 | 564 | 1 |3098 | 21 | 0.000000e+00 | -- | Inf | unknown
8.65/8.79 c 8.8s| 14800 | 13745 | 97260 | 6.1 | 26M | 159 | 336 |1930 | 100 | 567 | 1 |3112 | 21 | 0.000000e+00 | -- | Inf | unknown
8.75/8.82 c 8.8s| 14900 | 13841 | 97545 | 6.1 | 26M | 159 | 336 |1916 | 92 | 567 | 1 |3114 | 21 | 0.000000e+00 | -- | Inf | unknown
8.75/8.85 c 8.8s| 15000 | 13923 | 97927 | 6.1 | 26M | 159 | 336 |1905 | 100 | 567 | 1 |3125 | 21 | 0.000000e+00 | -- | Inf | unknown
8.85/8.91 c 8.9s| 15100 | 13980 | 98296 | 6.0 | 26M | 159 | 336 |1917 | 100 | 567 | 1 |3165 | 21 | 0.000000e+00 | -- | Inf | unknown
8.85/8.99 c 9.0s| 15200 | 14070 | 99847 | 6.1 | 26M | 159 | 336 |1927 | 93 | 614 | 1 |3219 | 21 | 0.000000e+00 | -- | Inf | unknown
8.95/9.04 c 9.0s| 15300 | 14170 |100670 | 6.1 | 26M | 159 | 336 |1945 | 100 | 621 | 1 |3247 | 21 | 0.000000e+00 | -- | Inf | unknown
8.95/9.07 c 9.1s| 15400 | 14270 |101232 | 6.1 | 26M | 159 | 336 |1939 | 100 | 621 | 1 |3248 | 21 | 0.000000e+00 | -- | Inf | unknown
9.05/9.11 c 9.1s| 15500 | 14370 |102061 | 6.1 | 27M | 159 | 336 |1936 | 94 | 636 | 1 |3268 | 21 | 0.000000e+00 | -- | Inf | unknown
9.05/9.14 c 9.1s| 15600 | 14466 |102354 | 6.1 | 28M | 159 | 336 |1930 | 100 | 636 | 1 |3271 | 21 | 0.000000e+00 | -- | Inf | unknown
9.05/9.16 c 9.2s| 15700 | 14551 |102690 | 6.1 | 28M | 159 | 336 |1935 | 100 | 636 | 1 |3290 | 21 | 0.000000e+00 | -- | Inf | unknown
9.14/9.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.14/9.20 c 9.2s| 15800 | 14649 |103269 | 6.1 | 28M | 159 | 336 |1924 | 92 | 646 | 2 |3293 | 21 | 0.000000e+00 | -- | Inf | unknown
9.14/9.23 c 9.2s| 15900 | 14745 |103651 | 6.1 | 28M | 159 | 336 |1915 | 100 | 664 | 1 |3295 | 21 | 0.000000e+00 | -- | Inf | unknown
9.14/9.26 c 9.3s| 16000 | 14837 |104113 | 6.1 | 28M | 159 | 336 |1914 | 100 | 664 | 1 |3303 | 21 | 0.000000e+00 | -- | Inf | unknown
9.14/9.29 c 9.3s| 16100 | 14921 |104591 | 6.1 | 28M | 159 | 336 |1906 | 100 | 664 | 1 |3322 | 21 | 0.000000e+00 | -- | Inf | unknown
9.24/9.32 c 9.3s| 16200 | 15012 |105013 | 6.0 | 29M | 159 | 336 |1895 | 100 | 664 | 1 |3329 | 21 | 0.000000e+00 | -- | Inf | unknown
9.24/9.35 c 9.3s| 16300 | 15091 |105478 | 6.0 | 29M | 159 | 336 |1901 | 100 | 664 | 1 |3364 | 21 | 0.000000e+00 | -- | Inf | unknown
9.24/9.38 c 9.4s| 16400 | 15156 |105834 | 6.0 | 29M | 159 | 336 |1908 | 100 | 675 | 0 |3396 | 21 | 0.000000e+00 | -- | Inf | unknown
9.34/9.41 c 9.4s| 16500 | 15238 |106480 | 6.0 | 29M | 159 | 336 |1910 | 94 | 675 | 1 |3418 | 21 | 0.000000e+00 | -- | Inf | unknown
9.34/9.45 c 9.4s| 16600 | 15338 |107089 | 6.0 | 29M | 159 | 336 |1911 | 92 | 675 | 1 |3435 | 21 | 0.000000e+00 | -- | Inf | unknown
9.34/9.49 c 9.5s| 16700 | 15430 |107733 | 6.0 | 29M | 159 | 336 |1902 | 100 | 675 | 1 |3445 | 21 | 0.000000e+00 | -- | Inf | unknown
9.44/9.53 c 9.5s| 16800 | 15518 |108299 | 6.0 | 29M | 159 | 336 |1889 | 92 | 686 | 1 |3457 | 21 | 0.000000e+00 | -- | Inf | unknown
9.44/9.56 c 9.6s| 16900 | 15614 |108742 | 6.0 | 29M | 159 | 336 |1894 | 92 | 688 | 1 |3474 | 21 | 0.000000e+00 | -- | Inf | unknown
9.44/9.59 c 9.6s| 17000 | 15710 |109111 | 6.0 | 30M | 159 | 336 |1883 | 92 | 688 | 1 |3476 | 21 | 0.000000e+00 | -- | Inf | unknown
9.54/9.62 c 9.6s| 17100 | 15804 |109781 | 6.0 | 30M | 159 | 336 |1865 | 100 | 688 | 0 |3483 | 21 | 0.000000e+00 | -- | Inf | unknown
9.54/9.65 c 9.6s| 17200 | 15898 |110283 | 6.0 | 30M | 159 | 336 |1854 | 92 | 688 | 1 |3498 | 21 | 0.000000e+00 | -- | Inf | unknown
9.54/9.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.54/9.68 c 9.7s| 17300 | 15988 |110643 | 6.0 | 30M | 159 | 336 |1831 | 94 | 688 | 1 |3503 | 21 | 0.000000e+00 | -- | Inf | unknown
9.64/9.72 c 9.7s| 17400 | 16088 |111169 | 6.0 | 30M | 159 | 336 |1826 | 100 | 688 | 1 |3513 | 21 | 0.000000e+00 | -- | Inf | unknown
9.64/9.74 c 9.7s| 17500 | 16150 |111543 | 6.0 | 30M | 159 | 336 |1824 | 100 | 688 | 1 |3537 | 21 | 0.000000e+00 | -- | Inf | unknown
9.64/9.78 c 9.8s| 17600 | 16242 |112071 | 6.0 | 30M | 159 | 336 |1830 | 92 | 688 | 1 |3561 | 21 | 0.000000e+00 | -- | Inf | unknown
9.74/9.82 c 9.8s| 17700 | 16342 |112929 | 6.0 | 30M | 159 | 336 |1818 | 91 | 688 | 1 |3567 | 21 | 0.000000e+00 | -- | Inf | unknown
9.74/9.85 c 9.8s| 17800 | 16413 |113529 | 6.0 | 30M | 159 | 336 |1818 | 100 | 688 | 0 |3584 | 21 | 0.000000e+00 | -- | Inf | unknown
9.84/9.90 c 9.9s| 17900 | 16498 |114116 | 6.0 | 30M | 159 | 336 |1804 | 100 | 692 | 1 |3608 | 21 | 0.000000e+00 | -- | Inf | unknown
9.84/9.92 c 9.9s| 18000 | 16588 |114511 | 6.0 | 30M | 159 | 336 |1790 | 100 | 692 | 1 |3613 | 21 | 0.000000e+00 | -- | Inf | unknown
9.84/9.96 c 10.0s| 18100 | 16688 |115177 | 6.0 | 30M | 159 | 336 |1795 | 100 | 692 | 1 |3634 | 21 | 0.000000e+00 | -- | Inf | unknown
9.84/9.99 c 10.0s| 18200 | 16780 |115527 | 6.0 | 30M | 159 | 336 |1795 | 100 | 692 | 1 |3650 | 21 | 0.000000e+00 | -- | Inf | unknown
9.95/10.02 c 10.0s| 18300 | 16847 |115857 | 5.9 | 30M | 159 | 336 |1812 | 100 | 692 | 0 |3683 | 21 | 0.000000e+00 | -- | Inf | unknown
9.95/10.05 c 10.0s| 18400 | 16911 |116268 | 5.9 | 30M | 159 | 336 |1832 | 100 | 692 | 0 |3738 | 21 | 0.000000e+00 | -- | Inf | unknown
9.95/10.08 c 10.1s| 18500 | 17005 |116789 | 5.9 | 30M | 159 | 336 |1824 | 100 | 697 | 1 |3747 | 21 | 0.000000e+00 | -- | Inf | unknown
10.05/10.11 c 10.1s| 18600 | 17089 |117309 | 5.9 | 30M | 159 | 336 |1825 | 100 | 697 | 1 |3767 | 21 | 0.000000e+00 | -- | Inf | unknown
10.05/10.16 c 10.2s| 18700 | 17183 |117927 | 5.9 | 30M | 159 | 336 |1842 | 100 | 697 | 1 |3808 | 21 | 0.000000e+00 | -- | Inf | unknown
10.05/10.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.05/10.18 c 10.2s| 18800 | 17283 |118271 | 5.9 | 30M | 159 | 336 |1842 | 91 | 697 | 1 |3820 | 21 | 0.000000e+00 | -- | Inf | unknown
10.14/10.21 c 10.2s| 18900 | 17378 |118757 | 5.9 | 30M | 159 | 336 |1847 | 100 | 697 | 1 |3833 | 21 | 0.000000e+00 | -- | Inf | unknown
10.14/10.26 c 10.3s| 19000 | 17459 |119549 | 5.9 | 30M | 159 | 336 |1846 | 92 | 704 | 1 |3869 | 21 | 0.000000e+00 | -- | Inf | unknown
10.14/10.29 c 10.3s| 19100 | 17559 |120054 | 5.9 | 30M | 159 | 336 |1837 | 93 | 704 | 1 |3871 | 21 | 0.000000e+00 | -- | Inf | unknown
10.24/10.32 c 10.3s| 19200 | 17657 |120531 | 5.9 | 30M | 159 | 336 |1814 | 100 | 704 | 1 |3875 | 21 | 0.000000e+00 | -- | Inf | unknown
10.24/10.34 c 10.3s| 19300 | 17753 |120829 | 5.9 | 30M | 159 | 336 |1804 | 100 | 704 | 1 |3875 | 21 | 0.000000e+00 | -- | Inf | unknown
10.24/10.37 c 10.4s| 19400 | 17839 |121236 | 5.9 | 31M | 159 | 336 |1813 | 94 | 704 | 1 |3901 | 21 | 0.000000e+00 | -- | Inf | unknown
10.34/10.41 c 10.4s| 19500 | 17933 |121807 | 5.9 | 31M | 159 | 336 |1814 | 100 | 704 | 1 |3916 | 21 | 0.000000e+00 | -- | Inf | unknown
10.34/10.45 c 10.4s| 19600 | 18025 |122509 | 5.9 | 31M | 159 | 336 |1808 | 100 | 725 | 1 |3931 | 21 | 0.000000e+00 | -- | Inf | unknown
10.34/10.49 c 10.5s| 19700 | 18117 |123146 | 5.9 | 31M | 159 | 336 |1814 | 95 | 745 | 1 |3967 | 21 | 0.000000e+00 | -- | Inf | unknown
10.44/10.53 c 10.5s| 19800 | 18217 |123733 | 5.9 | 31M | 159 | 336 |1809 | 93 | 746 | 1 |3977 | 21 | 0.000000e+00 | -- | Inf | unknown
10.44/10.55 c 10.5s| 19900 | 18317 |124164 | 5.9 | 31M | 159 | 336 |1801 | 92 | 746 | 1 |3979 | 21 | 0.000000e+00 | -- | Inf | unknown
10.44/10.58 c 10.6s| 20000 | 18405 |124694 | 5.9 | 31M | 159 | 336 |1806 | 92 | 747 | 1 |4002 | 21 | 0.000000e+00 | -- | Inf | unknown
10.54/10.61 c 10.6s| 20100 | 18503 |125180 | 5.9 | 31M | 159 | 336 |1801 | 100 | 747 | 1 |4012 | 21 | 0.000000e+00 | -- | Inf | unknown
10.54/10.64 c 10.6s| 20200 | 18593 |125613 | 5.9 | 31M | 159 | 336 |1786 | 92 | 747 | 1 |4017 | 21 | 0.000000e+00 | -- | Inf | unknown
10.54/10.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.54/10.66 c 10.7s| 20300 | 18691 |126030 | 5.9 | 31M | 159 | 336 |1772 | 100 | 747 | 1 |4023 | 21 | 0.000000e+00 | -- | Inf | unknown
10.64/10.71 c 10.7s| 20400 | 18769 |126747 | 5.9 | 31M | 159 | 336 |1775 | 100 | 747 | 1 |4054 | 21 | 0.000000e+00 | -- | Inf | unknown
10.64/10.74 c 10.7s| 20500 | 18859 |127224 | 5.9 | 31M | 159 | 336 |1761 | 92 | 747 | 1 |4062 | 21 | 0.000000e+00 | -- | Inf | unknown
10.64/10.77 c 10.8s| 20600 | 18959 |127703 | 5.9 | 31M | 159 | 336 |1765 | 100 | 747 | 1 |4076 | 21 | 0.000000e+00 | -- | Inf | unknown
10.74/10.80 c 10.8s| 20700 | 19057 |128066 | 5.9 | 32M | 159 | 336 |1752 | 97 | 784 | 1 |4077 | 21 | 0.000000e+00 | -- | Inf | unknown
10.74/10.85 c 10.8s| 20800 | 19143 |128850 | 5.9 | 32M | 159 | 336 |1755 | 0 | 804 | 0 |4098 | 21 | 0.000000e+00 | -- | Inf | unknown
10.74/10.89 c 10.9s| 20900 | 19235 |129617 | 5.9 | 32M | 159 | 336 |1752 | 100 | 804 | 1 |4114 | 21 | 0.000000e+00 | -- | Inf | unknown
10.84/10.94 c 10.9s| 21000 | 19335 |130261 | 5.9 | 32M | 159 | 336 |1733 | 96 | 804 | 1 |4116 | 21 | 0.000000e+00 | -- | Inf | unknown
10.84/10.98 c 11.0s| 21100 | 19433 |131049 | 5.9 | 32M | 159 | 336 |1724 | 92 | 828 | 1 |4131 | 21 | 0.000000e+00 | -- | Inf | unknown
10.94/11.02 c 11.0s| 21200 | 19529 |131568 | 5.9 | 32M | 159 | 336 |1749 | 100 | 828 | 1 |4164 | 21 | 0.000000e+00 | -- | Inf | unknown
10.94/11.05 c 11.0s| 21300 | 19621 |132047 | 5.9 | 32M | 159 | 336 |1740 | 100 | 828 | 1 |4179 | 21 | 0.000000e+00 | -- | Inf | unknown
10.94/11.08 c 11.1s| 21400 | 19719 |132411 | 5.9 | 32M | 159 | 336 |1735 | 100 | 838 | 1 |4182 | 21 | 0.000000e+00 | -- | Inf | unknown
11.04/11.10 c 11.1s| 21500 | 19798 |132756 | 5.9 | 32M | 159 | 336 |1740 | 100 | 838 | 1 |4198 | 21 | 0.000000e+00 | -- | Inf | unknown
11.04/11.14 c 11.1s| 21600 | 19879 |133319 | 5.9 | 33M | 159 | 336 |1744 | 92 | 838 | 1 |4235 | 21 | 0.000000e+00 | -- | Inf | unknown
11.04/11.17 c 11.2s| 21700 | 19975 |133823 | 5.8 | 33M | 159 | 336 |1722 | 100 | 838 | 1 |4243 | 21 | 0.000000e+00 | -- | Inf | unknown
11.14/11.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.14/11.20 c 11.2s| 21800 | 20055 |134292 | 5.8 | 33M | 159 | 336 |1713 | 100 | 838 | 1 |4259 | 21 | 0.000000e+00 | -- | Inf | unknown
11.14/11.24 c 11.2s| 21900 | 20145 |134742 | 5.8 | 33M | 159 | 336 |1711 | 100 | 838 | 1 |4273 | 21 | 0.000000e+00 | -- | Inf | unknown
11.14/11.26 c 11.3s| 22000 | 20243 |135054 | 5.8 | 33M | 159 | 336 |1694 | 100 | 838 | 1 |4275 | 21 | 0.000000e+00 | -- | Inf | unknown
11.14/11.29 c 11.3s| 22100 | 20339 |135453 | 5.8 | 33M | 159 | 336 |1673 | 100 | 838 | 1 |4281 | 21 | 0.000000e+00 | -- | Inf | unknown
11.24/11.32 c 11.3s| 22200 | 20425 |135941 | 5.8 | 33M | 159 | 336 |1658 | 91 | 838 | 1 |4297 | 21 | 0.000000e+00 | -- | Inf | unknown
11.24/11.36 c 11.4s| 22300 | 20525 |136687 | 5.8 | 33M | 159 | 336 |1681 | 100 | 838 | 1 |4324 | 21 | 0.000000e+00 | -- | Inf | unknown
11.24/11.38 c 11.4s| 22400 | 20617 |137126 | 5.8 | 33M | 159 | 336 |1690 | 91 | 838 | 1 |4342 | 21 | 0.000000e+00 | -- | Inf | unknown
11.33/11.43 c 11.4s| 22500 | 20707 |137812 | 5.8 | 34M | 159 | 336 |1687 | 100 | 838 | 1 |4368 | 21 | 0.000000e+00 | -- | Inf | unknown
11.33/11.45 c 11.4s| 22600 | 20765 |138282 | 5.8 | 34M | 159 | 336 |1705 | 100 | 838 | 1 |4410 | 21 | 0.000000e+00 | -- | Inf | unknown
11.43/11.50 c 11.5s| 22700 | 20853 |138932 | 5.8 | 34M | 159 | 336 |1725 | 100 | 838 | 1 |4458 | 21 | 0.000000e+00 | -- | Inf | unknown
11.43/11.53 c 11.5s| 22800 | 20941 |139480 | 5.8 | 34M | 159 | 336 |1719 | 100 | 838 | 1 |4480 | 21 | 0.000000e+00 | -- | Inf | unknown
11.43/11.56 c 11.6s| 22900 | 21008 |139829 | 5.8 | 34M | 159 | 336 |1723 | 100 | 838 | 1 |4511 | 21 | 0.000000e+00 | -- | Inf | unknown
11.43/11.59 c 11.6s| 23000 | 21106 |140238 | 5.8 | 34M | 159 | 336 |1732 | 100 | 838 | 1 |4524 | 21 | 0.000000e+00 | -- | Inf | unknown
11.53/11.62 c 11.6s| 23100 | 21185 |140750 | 5.8 | 34M | 159 | 336 |1745 | 100 | 838 | 1 |4559 | 21 | 0.000000e+00 | -- | Inf | unknown
11.53/11.65 c 11.6s| 23200 | 21283 |141263 | 5.8 | 34M | 159 | 336 |1739 | 100 | 838 | 1 |4565 | 21 | 0.000000e+00 | -- | Inf | unknown
11.53/11.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.53/11.68 c 11.7s| 23300 | 21379 |141663 | 5.8 | 34M | 159 | 336 |1751 | 100 | 838 | 1 |4588 | 21 | 0.000000e+00 | -- | Inf | unknown
11.63/11.71 c 11.7s| 23400 | 21465 |142106 | 5.8 | 34M | 159 | 336 |1737 | 91 | 845 | 1 |4626 | 21 | 0.000000e+00 | -- | Inf | unknown
11.63/11.75 c 11.7s| 23500 | 21559 |142650 | 5.8 | 34M | 159 | 336 |1731 | 100 | 845 | 1 |4631 | 21 | 0.000000e+00 | -- | Inf | unknown
11.63/11.77 c 11.8s| 23600 | 21659 |143059 | 5.8 | 34M | 159 | 336 |1722 | 100 | 845 | 1 |4636 | 21 | 0.000000e+00 | -- | Inf | unknown
11.73/11.80 c 11.8s| 23700 | 21748 |143429 | 5.8 | 34M | 159 | 336 |1733 | 100 | 845 | 1 |4656 | 21 | 0.000000e+00 | -- | Inf | unknown
11.73/11.83 c 11.8s| 23800 | 21842 |144025 | 5.8 | 34M | 159 | 336 |1714 | 92 | 845 | 1 |4668 | 21 | 0.000000e+00 | -- | Inf | unknown
11.73/11.87 c 11.9s| 23900 | 21942 |144596 | 5.8 | 34M | 159 | 336 |1722 | 92 | 845 | 1 |4683 | 21 | 0.000000e+00 | -- | Inf | unknown
11.83/11.90 c 11.9s| 24000 | 22040 |145186 | 5.8 | 34M | 159 | 336 |1728 | 100 | 845 | 1 |4701 | 21 | 0.000000e+00 | -- | Inf | unknown
11.83/11.94 c 11.9s| 24100 | 22133 |145638 | 5.8 | 34M | 159 | 336 |1701 | 92 | 858 | 1 |4707 | 21 | 0.000000e+00 | -- | Inf | unknown
11.83/11.97 c 12.0s| 24200 | 22227 |146114 | 5.8 | 34M | 159 | 336 |1693 | 100 | 858 | 1 |4715 | 21 | 0.000000e+00 | -- | Inf | unknown
11.83/12.00 c 12.0s| 24300 | 22317 |146568 | 5.8 | 34M | 159 | 336 |1710 | 100 | 858 | 1 |4745 | 21 | 0.000000e+00 | -- | Inf | unknown
11.94/12.03 c 12.0s| 24400 | 22389 |146967 | 5.7 | 35M | 159 | 336 |1710 | 100 | 858 | 1 |4773 | 21 | 0.000000e+00 | -- | Inf | unknown
11.94/12.05 c 12.0s| 24500 | 22487 |147379 | 5.7 | 35M | 159 | 336 |1705 | 92 | 858 | 1 |4782 | 21 | 0.000000e+00 | -- | Inf | unknown
11.94/12.08 c 12.1s| 24600 | 22583 |147842 | 5.7 | 35M | 159 | 336 |1695 | 92 | 858 | 1 |4796 | 21 | 0.000000e+00 | -- | Inf | unknown
12.04/12.12 c 12.1s| 24700 | 22683 |148607 | 5.7 | 35M | 159 | 336 |1690 | 97 | 867 | 1 |4816 | 21 | 0.000000e+00 | -- | Inf | unknown
12.04/12.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.04/12.17 c 12.2s| 24800 | 22781 |149294 | 5.7 | 35M | 159 | 336 |1707 | 92 | 898 | 1 |4847 | 21 | 0.000000e+00 | -- | Inf | unknown
12.13/12.21 c 12.2s| 24900 | 22869 |149834 | 5.7 | 35M | 159 | 336 |1705 | 93 | 898 | 1 |4870 | 21 | 0.000000e+00 | -- | Inf | unknown
12.13/12.26 c 12.3s| 25000 | 22969 |150578 | 5.7 | 35M | 159 | 336 |1705 | 91 | 918 | 1 |4881 | 21 | 0.000000e+00 | -- | Inf | unknown
12.13/12.28 c 12.3s| 25100 | 23069 |150977 | 5.7 | 36M | 159 | 336 |1698 | 91 | 918 | 1 |4881 | 21 | 0.000000e+00 | -- | Inf | unknown
12.23/12.31 c 12.3s| 25200 | 23162 |151450 | 5.7 | 36M | 159 | 336 |1715 | 100 | 918 | 1 |4907 | 21 | 0.000000e+00 | -- | Inf | unknown
12.23/12.34 c 12.3s| 25300 | 23248 |151905 | 5.7 | 36M | 159 | 336 |1728 | 92 | 918 | 1 |4934 | 21 | 0.000000e+00 | -- | Inf | unknown
12.23/12.38 c 12.4s| 25400 | 23322 |152516 | 5.7 | 36M | 159 | 336 |1732 | 100 | 918 | 1 |4965 | 21 | 0.000000e+00 | -- | Inf | unknown
12.33/12.41 c 12.4s| 25500 | 23413 |152904 | 5.7 | 36M | 159 | 336 |1721 | 100 | 918 | 1 |4988 | 21 | 0.000000e+00 | -- | Inf | unknown
12.33/12.44 c 12.4s| 25600 | 23496 |153406 | 5.7 | 37M | 159 | 336 |1715 | 100 | 918 | 1 |5005 | 21 | 0.000000e+00 | -- | Inf | unknown
12.33/12.48 c 12.5s| 25700 | 23561 |153807 | 5.7 | 37M | 159 | 336 |1734 | 94 | 918 | 1 |5051 | 21 | 0.000000e+00 | -- | Inf | unknown
12.43/12.51 c 12.5s| 25800 | 23648 |154254 | 5.7 | 37M | 159 | 336 |1731 | 94 | 918 | 1 |5076 | 21 | 0.000000e+00 | -- | Inf | unknown
12.43/12.54 c 12.5s| 25900 | 23748 |154766 | 5.7 | 37M | 159 | 336 |1719 | 100 | 918 | 1 |5083 | 21 | 0.000000e+00 | -- | Inf | unknown
12.43/12.58 c 12.6s| 26000 | 23836 |155328 | 5.7 | 37M | 159 | 336 |1708 | 103 | 926 | 1 |5096 | 21 | 0.000000e+00 | -- | Inf | unknown
12.53/12.63 c 12.6s| 26100 | 23934 |156364 | 5.7 | 37M | 159 | 336 |1706 | 100 | 926 | 1 |5111 | 21 | 0.000000e+00 | -- | Inf | unknown
12.53/12.66 c 12.7s| 26200 | 24034 |156803 | 5.7 | 37M | 159 | 336 |1683 | 92 | 926 | 1 |5111 | 21 | 0.000000e+00 | -- | Inf | unknown
12.53/12.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.53/12.69 c 12.7s| 26300 | 24134 |157301 | 5.7 | 37M | 159 | 336 |1669 | 92 | 935 | 1 |5112 | 21 | 0.000000e+00 | -- | Inf | unknown
12.63/12.72 c 12.7s| 26400 | 24234 |157918 | 5.7 | 37M | 159 | 336 |1664 | 92 | 935 | 1 |5114 | 21 | 0.000000e+00 | -- | Inf | unknown
12.63/12.76 c 12.8s| 26500 | 24334 |158570 | 5.7 | 37M | 159 | 336 |1656 | 92 | 935 | 1 |5115 | 21 | 0.000000e+00 | -- | Inf | unknown
12.63/12.78 c 12.8s| 26600 | 24434 |158957 | 5.7 | 37M | 159 | 336 |1652 | 92 | 935 | 1 |5121 | 21 | 0.000000e+00 | -- | Inf | unknown
12.73/12.82 c 12.8s| 26700 | 24528 |159619 | 5.7 | 37M | 159 | 336 |1640 | 100 | 935 | 1 |5136 | 21 | 0.000000e+00 | -- | Inf | unknown
12.73/12.84 c 12.8s| 26800 | 24622 |160056 | 5.7 | 37M | 159 | 336 |1649 | 92 | 935 | 1 |5150 | 21 | 0.000000e+00 | -- | Inf | unknown
12.73/12.87 c 12.9s| 26900 | 24714 |160511 | 5.7 | 37M | 159 | 336 |1652 | 100 | 935 | 0 |5161 | 21 | 0.000000e+00 | -- | Inf | unknown
12.83/12.90 c 12.9s| 27000 | 24810 |161014 | 5.7 | 37M | 159 | 336 |1652 | 100 | 935 | 1 |5174 | 21 | 0.000000e+00 | -- | Inf | unknown
12.83/12.97 c 13.0s| 27100 | 24879 |161417 | 5.7 | 37M | 159 | 336 |1658 | 100 | 935 | 1 |5205 | 21 | 0.000000e+00 | -- | Inf | unknown
12.93/13.01 c 13.0s| 27200 | 24971 |162066 | 5.7 | 37M | 159 | 336 |1644 | 91 | 935 | 1 |5213 | 21 | 0.000000e+00 | -- | Inf | unknown
12.93/13.05 c 13.0s| 27300 | 25071 |162808 | 5.7 | 37M | 159 | 336 |1652 | 92 | 935 | 1 |5226 | 21 | 0.000000e+00 | -- | Inf | unknown
12.93/13.08 c 13.1s| 27400 | 25155 |163268 | 5.7 | 37M | 159 | 336 |1659 | 100 | 935 | 1 |5248 | 21 | 0.000000e+00 | -- | Inf | unknown
13.03/13.11 c 13.1s| 27500 | 25251 |163586 | 5.7 | 37M | 159 | 336 |1663 | 100 | 935 | 1 |5265 | 21 | 0.000000e+00 | -- | Inf | unknown
13.03/13.14 c 13.1s| 27600 | 25351 |164039 | 5.7 | 37M | 159 | 336 |1683 | 92 | 935 | 1 |5311 | 21 | 0.000000e+00 | -- | Inf | unknown
13.03/13.17 c 13.2s| 27700 | 25439 |164520 | 5.7 | 37M | 159 | 336 |1695 | 100 | 935 | 1 |5341 | 21 | 0.000000e+00 | -- | Inf | unknown
13.13/13.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.13/13.20 c 13.2s| 27800 | 25527 |165044 | 5.7 | 37M | 159 | 336 |1696 | 100 | 935 | 1 |5362 | 21 | 0.000000e+00 | -- | Inf | unknown
13.13/13.24 c 13.2s| 27900 | 25623 |165456 | 5.7 | 37M | 159 | 336 |1679 | 94 | 952 | 1 |5369 | 21 | 0.000000e+00 | -- | Inf | unknown
13.13/13.27 c 13.3s| 28000 | 25723 |166053 | 5.7 | 37M | 159 | 336 |1674 | 100 | 952 | 1 |5383 | 21 | 0.000000e+00 | -- | Inf | unknown
13.23/13.31 c 13.3s| 28100 | 25823 |166710 | 5.7 | 37M | 159 | 336 |1657 | 101 | 961 | 1 |5391 | 21 | 0.000000e+00 | -- | Inf | unknown
13.23/13.35 c 13.3s| 28200 | 25923 |167102 | 5.7 | 38M | 159 | 336 |1652 | 92 | 987 | 1 |5391 | 21 | 0.000000e+00 | -- | Inf | unknown
13.23/13.39 c 13.4s| 28300 | 26001 |167760 | 5.7 | 38M | 159 | 336 |1656 | 92 | 987 | 1 |5438 | 21 | 0.000000e+00 | -- | Inf | unknown
13.33/13.42 c 13.4s| 28400 | 26095 |168257 | 5.7 | 38M | 159 | 336 |1660 | 92 | 987 | 1 |5450 | 21 | 0.000000e+00 | -- | Inf | unknown
13.33/13.45 c 13.4s| 28500 | 26187 |168887 | 5.7 | 39M | 159 | 336 |1641 | 100 | 987 | 1 |5458 | 21 | 0.000000e+00 | -- | Inf | unknown
13.33/13.48 c 13.5s| 28600 | 26267 |169191 | 5.7 | 39M | 159 | 336 |1657 | 100 | 987 | 1 |5498 | 21 | 0.000000e+00 | -- | Inf | unknown
13.43/13.53 c 13.5s| 28700 | 26357 |169936 | 5.7 | 39M | 159 | 336 |1633 | 92 | 990 | 1 |5514 | 21 | 0.000000e+00 | -- | Inf | unknown
13.43/13.56 c 13.6s| 28800 | 26457 |170300 | 5.7 | 39M | 159 | 336 |1632 | 100 | 990 | 1 |5525 | 21 | 0.000000e+00 | -- | Inf | unknown
13.43/13.58 c 13.6s| 28900 | 26552 |170640 | 5.7 | 39M | 159 | 336 |1645 | 100 | 990 | 1 |5539 | 21 | 0.000000e+00 | -- | Inf | unknown
13.52/13.62 c 13.6s| 29000 | 26646 |171253 | 5.7 | 39M | 159 | 336 |1646 | 92 | 990 | 1 |5554 | 21 | 0.000000e+00 | -- | Inf | unknown
13.52/13.66 c 13.7s| 29100 | 26732 |171835 | 5.7 | 39M | 159 | 336 |1617 | 90 | 998 | 1 |5566 | 21 | 0.000000e+00 | -- | Inf | unknown
13.52/13.69 c 13.7s| 29200 | 26832 |172411 | 5.7 | 39M | 159 | 336 |1615 | 100 |1004 | 1 |5581 | 21 | 0.000000e+00 | -- | Inf | unknown
13.62/13.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.62/13.72 c 13.7s| 29300 | 26906 |172772 | 5.7 | 39M | 159 | 336 |1602 | 93 |1008 | 1 |5606 | 21 | 0.000000e+00 | -- | Inf | unknown
13.62/13.76 c 13.8s| 29400 | 27004 |173408 | 5.7 | 39M | 159 | 336 |1599 | 92 |1008 | 1 |5623 | 21 | 0.000000e+00 | -- | Inf | unknown
13.62/13.79 c 13.8s| 29500 | 27102 |173913 | 5.7 | 39M | 159 | 336 |1599 | 92 |1008 | 1 |5631 | 21 | 0.000000e+00 | -- | Inf | unknown
13.72/13.82 c 13.8s| 29600 | 27202 |174550 | 5.7 | 39M | 159 | 336 |1595 | 92 |1008 | 1 |5641 | 21 | 0.000000e+00 | -- | Inf | unknown
13.72/13.85 c 13.8s| 29700 | 27295 |174910 | 5.7 | 40M | 159 | 336 |1598 | 100 |1008 | 1 |5652 | 21 | 0.000000e+00 | -- | Inf | unknown
13.72/13.88 c 13.9s| 29800 | 27391 |175374 | 5.7 | 40M | 159 | 336 |1598 | 92 |1008 | 1 |5662 | 21 | 0.000000e+00 | -- | Inf | unknown
13.82/13.91 c 13.9s| 29900 | 27484 |175800 | 5.7 | 40M | 159 | 336 |1613 | 100 |1008 | 1 |5687 | 21 | 0.000000e+00 | -- | Inf | unknown
13.82/13.95 c 13.9s| 30000 | 27566 |176511 | 5.7 | 40M | 159 | 336 |1599 | 92 |1008 | 1 |5706 | 21 | 0.000000e+00 | -- | Inf | unknown
13.82/13.99 c 14.0s| 30100 | 27660 |177230 | 5.7 | 40M | 159 | 336 |1590 | 92 |1031 | 1 |5722 | 21 | 0.000000e+00 | -- | Inf | unknown
13.93/14.02 c 14.0s| 30200 | 27756 |177629 | 5.7 | 40M | 159 | 336 |1587 | 92 |1031 | 1 |5723 | 21 | 0.000000e+00 | -- | Inf | unknown
13.93/14.06 c 14.0s| 30300 | 27843 |178174 | 5.7 | 40M | 159 | 336 |1601 | 100 |1031 | 1 |5754 | 21 | 0.000000e+00 | -- | Inf | unknown
13.93/14.08 c 14.1s| 30400 | 27925 |178544 | 5.7 | 40M | 159 | 336 |1614 | 100 |1031 | 1 |5778 | 21 | 0.000000e+00 | -- | Inf | unknown
14.03/14.12 c 14.1s| 30500 | 27987 |179226 | 5.7 | 40M | 159 | 336 |1621 | 100 |1031 | 0 |5811 | 21 | 0.000000e+00 | -- | Inf | unknown
14.03/14.15 c 14.1s| 30600 | 28057 |179626 | 5.7 | 40M | 159 | 336 |1617 | 100 |1031 | 1 |5832 | 21 | 0.000000e+00 | -- | Inf | unknown
14.03/14.19 c 14.2s| 30700 | 28145 |180251 | 5.7 | 40M | 159 | 336 |1599 | 92 |1031 | 1 |5854 | 21 | 0.000000e+00 | -- | Inf | unknown
14.12/14.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.12/14.22 c 14.2s| 30800 | 28245 |180765 | 5.7 | 40M | 159 | 336 |1592 | 92 |1031 | 1 |5861 | 21 | 0.000000e+00 | -- | Inf | unknown
14.12/14.26 c 14.3s| 30900 | 28332 |181429 | 5.7 | 40M | 159 | 336 |1566 | 93 |1031 | 1 |5874 | 21 | 0.000000e+00 | -- | Inf | unknown
14.12/14.29 c 14.3s| 31000 | 28422 |181825 | 5.6 | 40M | 159 | 336 |1567 | 100 |1031 | 1 |5888 | 21 | 0.000000e+00 | -- | Inf | unknown
14.22/14.32 c 14.3s| 31100 | 28512 |182275 | 5.6 | 40M | 159 | 336 |1549 | 93 |1037 | 1 |5902 | 21 | 0.000000e+00 | -- | Inf | unknown
14.22/14.36 c 14.4s| 31200 | 28612 |183129 | 5.7 | 40M | 159 | 336 |1522 | 100 |1044 | 1 |5904 | 21 | 0.000000e+00 | -- | Inf | unknown
14.22/14.39 c 14.4s| 31300 | 28700 |183520 | 5.6 | 40M | 159 | 336 |1495 | 100 |1044 | 1 |5916 | 21 | 0.000000e+00 | -- | Inf | unknown
14.32/14.42 c 14.4s| 31400 | 28800 |183955 | 5.6 | 42M | 159 | 336 |1486 | 100 |1044 | 1 |5920 | 21 | 0.000000e+00 | -- | Inf | unknown
14.32/14.45 c 14.4s| 31500 | 28898 |184356 | 5.6 | 42M | 159 | 336 |1477 | 92 |1044 | 1 |5922 | 21 | 0.000000e+00 | -- | Inf | unknown
14.32/14.49 c 14.5s| 31600 | 28993 |185048 | 5.6 | 42M | 159 | 336 |1472 | 92 |1044 | 1 |5948 | 21 | 0.000000e+00 | -- | Inf | unknown
14.43/14.52 c 14.5s| 31700 | 29088 |185543 | 5.6 | 43M | 159 | 336 |1462 | 92 |1050 | 1 |5959 | 21 | 0.000000e+00 | -- | Inf | unknown
14.43/14.55 c 14.5s| 31800 | 29186 |186014 | 5.6 | 43M | 159 | 336 |1466 | 100 |1050 | 1 |5971 | 21 | 0.000000e+00 | -- | Inf | unknown
14.43/14.58 c 14.6s| 31900 | 29256 |186371 | 5.6 | 43M | 159 | 336 |1470 | 93 |1050 | 1 |5997 | 21 | 0.000000e+00 | -- | Inf | unknown
14.53/14.61 c 14.6s| 32000 | 29350 |186852 | 5.6 | 43M | 159 | 336 |1469 | 100 |1050 | 1 |6002 | 21 | 0.000000e+00 | -- | Inf | unknown
14.53/14.64 c 14.6s| 32100 | 29435 |187348 | 5.6 | 43M | 159 | 336 |1459 | 100 |1050 | 1 |6015 | 21 | 0.000000e+00 | -- | Inf | unknown
14.53/14.67 c 14.7s| 32200 | 29494 |187654 | 5.6 | 43M | 159 | 336 |1456 | 92 |1050 | 1 |6044 | 21 | 0.000000e+00 | -- | Inf | unknown
14.63/14.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.63/14.70 c 14.7s| 32300 | 29563 |188103 | 5.6 | 43M | 159 | 336 |1460 | 100 |1050 | 1 |6072 | 21 | 0.000000e+00 | -- | Inf | unknown
14.63/14.73 c 14.7s| 32400 | 29663 |188654 | 5.6 | 43M | 159 | 336 |1463 | 92 |1050 | 1 |6079 | 21 | 0.000000e+00 | -- | Inf | unknown
14.63/14.76 c 14.8s| 32500 | 29759 |189162 | 5.6 | 43M | 159 | 336 |1462 | 94 |1050 | 1 |6094 | 21 | 0.000000e+00 | -- | Inf | unknown
14.73/14.80 c 14.8s| 32600 | 29854 |189692 | 5.6 | 43M | 159 | 336 |1468 | 94 |1050 | 1 |6118 | 21 | 0.000000e+00 | -- | Inf | unknown
14.73/14.83 c 14.8s| 32700 | 29945 |190171 | 5.6 | 43M | 159 | 336 |1471 | 92 |1050 | 1 |6134 | 21 | 0.000000e+00 | -- | Inf | unknown
14.73/14.86 c 14.9s| 32800 | 30035 |190774 | 5.6 | 43M | 159 | 336 |1470 | 100 |1050 | 1 |6144 | 21 | 0.000000e+00 | -- | Inf | unknown
14.73/14.89 c 14.9s| 32900 | 30111 |191197 | 5.6 | 43M | 159 | 336 |1478 | 100 |1050 | 1 |6168 | 21 | 0.000000e+00 | -- | Inf | unknown
14.83/14.92 c 14.9s| 33000 | 30211 |191842 | 5.6 | 43M | 159 | 336 |1467 | 92 |1050 | 1 |6170 | 21 | 0.000000e+00 | -- | Inf | unknown
14.83/14.96 c 15.0s| 33100 | 30311 |192516 | 5.6 | 44M | 159 | 336 |1459 | 92 |1054 | 1 |6181 | 21 | 0.000000e+00 | -- | Inf | unknown
14.83/14.99 c 15.0s| 33200 | 30411 |192937 | 5.6 | 44M | 159 | 336 |1457 | 94 |1054 | 1 |6183 | 21 | 0.000000e+00 | -- | Inf | unknown
14.93/15.02 c 15.0s| 33300 | 30505 |193378 | 5.6 | 44M | 159 | 336 |1459 | 100 |1054 | 0 |6194 | 21 | 0.000000e+00 | -- | Inf | unknown
14.93/15.06 c 15.1s| 33400 | 30589 |194140 | 5.6 | 44M | 159 | 336 |1457 | 94 |1054 | 1 |6217 | 21 | 0.000000e+00 | -- | Inf | unknown
14.93/15.10 c 15.1s| 33500 | 30667 |194703 | 5.6 | 44M | 159 | 336 |1453 | 100 |1054 | 1 |6230 | 21 | 0.000000e+00 | -- | Inf | unknown
15.03/15.13 c 15.1s| 33600 | 30743 |195058 | 5.6 | 44M | 159 | 336 |1459 | 100 |1054 | 1 |6247 | 21 | 0.000000e+00 | -- | Inf | unknown
15.03/15.16 c 15.2s| 33700 | 30824 |195532 | 5.6 | 44M | 159 | 336 |1465 | 100 |1054 | 0 |6272 | 21 | 0.000000e+00 | -- | Inf | unknown
15.03/15.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.03/15.19 c 15.2s| 33800 | 30912 |195999 | 5.6 | 44M | 159 | 336 |1470 | 92 |1058 | 1 |6295 | 21 | 0.000000e+00 | -- | Inf | unknown
15.13/15.22 c 15.2s| 33900 | 31012 |196427 | 5.6 | 44M | 159 | 336 |1484 | 100 |1058 | 1 |6313 | 21 | 0.000000e+00 | -- | Inf | unknown
15.13/15.25 c 15.2s| 34000 | 31102 |196901 | 5.6 | 44M | 159 | 336 |1481 | 100 |1058 | 1 |6333 | 21 | 0.000000e+00 | -- | Inf | unknown
15.13/15.29 c 15.3s| 34100 | 31193 |197534 | 5.6 | 44M | 159 | 336 |1485 | 102 |1058 | 1 |6354 | 21 | 0.000000e+00 | -- | Inf | unknown
15.23/15.33 c 15.3s| 34200 | 31279 |198207 | 5.6 | 45M | 159 | 336 |1499 | 100 |1058 | 1 |6397 | 21 | 0.000000e+00 | -- | Inf | unknown
15.23/15.36 c 15.4s| 34300 | 31367 |198682 | 5.6 | 45M | 159 | 336 |1513 | 100 |1058 | 1 |6431 | 21 | 0.000000e+00 | -- | Inf | unknown
15.33/15.40 c 15.4s| 34400 | 31463 |199279 | 5.6 | 45M | 159 | 336 |1505 | 100 |1077 | 1 |6442 | 21 | 0.000000e+00 | -- | Inf | unknown
15.33/15.44 c 15.4s| 34500 | 31563 |199980 | 5.6 | 45M | 159 | 336 |1502 | 96 |1106 | 1 |6446 | 21 | 0.000000e+00 | -- | Inf | unknown
15.33/15.48 c 15.5s| 34600 | 31657 |200627 | 5.6 | 45M | 159 | 336 |1497 | 100 |1127 | 1 |6458 | 21 | 0.000000e+00 | -- | Inf | unknown
15.43/15.51 c 15.5s| 34700 | 31745 |201079 | 5.6 | 45M | 159 | 336 |1491 | 100 |1127 | 1 |6464 | 21 | 0.000000e+00 | -- | Inf | unknown
15.43/15.57 c 15.6s| 34800 | 31843 |201991 | 5.6 | 45M | 159 | 336 |1466 | 0 |1182 | 0 |6479 | 21 | 0.000000e+00 | -- | Inf | unknown
15.52/15.60 c 15.6s| 34900 | 31923 |202410 | 5.6 | 46M | 159 | 336 |1466 | 100 |1204 | 1 |6499 | 21 | 0.000000e+00 | -- | Inf | unknown
15.52/15.65 c 15.6s| 35000 | 31997 |203109 | 5.6 | 46M | 159 | 336 |1456 | 93 |1212 | 1 |6514 | 21 | 0.000000e+00 | -- | Inf | unknown
15.52/15.68 c 15.7s| 35100 | 32097 |203563 | 5.6 | 46M | 159 | 336 |1454 | 92 |1212 | 1 |6518 | 21 | 0.000000e+00 | -- | Inf | unknown
15.62/15.70 c 15.7s| 35200 | 32197 |204008 | 5.6 | 46M | 159 | 336 |1441 | 92 |1212 | 1 |6519 | 21 | 0.000000e+00 | -- | Inf | unknown
15.62/15.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.62/15.73 c 15.7s| 35300 | 32293 |204357 | 5.6 | 46M | 159 | 336 |1430 | 92 |1212 | 1 |6523 | 21 | 0.000000e+00 | -- | Inf | unknown
15.62/15.76 c 15.8s| 35400 | 32391 |204754 | 5.6 | 46M | 159 | 336 |1433 | 100 |1212 | 1 |6533 | 21 | 0.000000e+00 | -- | Inf | unknown
15.62/15.79 c 15.8s| 35500 | 32459 |205155 | 5.6 | 46M | 159 | 336 |1425 | 100 |1212 | 1 |6563 | 21 | 0.000000e+00 | -- | Inf | unknown
15.72/15.83 c 15.8s| 35600 | 32559 |205845 | 5.6 | 46M | 159 | 336 |1423 | 96 |1214 | 2 |6595 | 21 | 0.000000e+00 | -- | Inf | unknown
15.72/15.87 c 15.9s| 35700 | 32659 |206419 | 5.6 | 46M | 159 | 336 |1431 | 100 |1214 | 1 |6610 | 21 | 0.000000e+00 | -- | Inf | unknown
15.82/15.90 c 15.9s| 35800 | 32751 |206919 | 5.6 | 46M | 159 | 336 |1430 | 100 |1214 | 0 |6630 | 21 | 0.000000e+00 | -- | Inf | unknown
15.82/15.95 c 15.9s| 35900 | 32841 |207573 | 5.6 | 46M | 159 | 336 |1393 | 92 |1250 | 1 |6642 | 21 | 0.000000e+00 | -- | Inf | unknown
15.82/15.97 c 16.0s| 36000 | 32933 |207924 | 5.6 | 46M | 159 | 336 |1380 | 100 |1253 | 1 |6649 | 21 | 0.000000e+00 | -- | Inf | unknown
15.93/16.00 c 16.0s| 36100 | 33020 |208352 | 5.6 | 46M | 159 | 336 |1387 | 92 |1254 | 1 |6674 | 21 | 0.000000e+00 | -- | Inf | unknown
15.93/16.05 c 16.0s| 36200 | 33120 |209115 | 5.6 | 46M | 159 | 336 |1355 | 100 |1260 | 1 |6689 | 21 | 0.000000e+00 | -- | Inf | unknown
15.93/16.09 c 16.1s| 36300 | 33208 |209717 | 5.6 | 46M | 159 | 336 |1379 | 100 |1261 | 1 |6732 | 21 | 0.000000e+00 | -- | Inf | unknown
16.03/16.11 c 16.1s| 36400 | 33308 |210072 | 5.6 | 46M | 159 | 336 |1356 | 100 |1261 | 1 |6732 | 21 | 0.000000e+00 | -- | Inf | unknown
16.03/16.17 c 16.2s| 36500 | 33406 |210829 | 5.6 | 46M | 159 | 336 |1355 | 100 |1290 | 1 |6747 | 21 | 0.000000e+00 | -- | Inf | unknown
16.12/16.20 c 16.2s| 36600 | 33482 |211321 | 5.6 | 46M | 159 | 336 |1347 | 100 |1290 | 0 |6762 | 21 | 0.000000e+00 | -- | Inf | unknown
16.12/16.23 c 16.2s| 36700 | 33570 |211708 | 5.6 | 46M | 159 | 336 |1337 | 100 |1290 | 1 |6773 | 21 | 0.000000e+00 | -- | Inf | unknown
16.12/16.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.12/16.26 c 16.3s| 36800 | 33662 |212050 | 5.6 | 46M | 159 | 336 |1333 | 100 |1290 | 1 |6779 | 21 | 0.000000e+00 | -- | Inf | unknown
16.12/16.29 c 16.3s| 36900 | 33738 |212461 | 5.6 | 46M | 159 | 336 |1355 | 100 |1290 | 1 |6816 | 21 | 0.000000e+00 | -- | Inf | unknown
16.22/16.32 c 16.3s| 37000 | 33808 |212834 | 5.6 | 46M | 159 | 336 |1360 | 96 |1290 | 1 |6845 | 21 | 0.000000e+00 | -- | Inf | unknown
16.22/16.35 c 16.3s| 37100 | 33908 |213371 | 5.6 | 46M | 159 | 336 |1358 | 100 |1292 | 1 |6855 | 21 | 0.000000e+00 | -- | Inf | unknown
16.22/16.38 c 16.4s| 37200 | 34008 |213754 | 5.6 | 46M | 159 | 336 |1349 | 92 |1292 | 1 |6858 | 21 | 0.000000e+00 | -- | Inf | unknown
16.32/16.41 c 16.4s| 37300 | 34100 |214259 | 5.6 | 46M | 159 | 336 |1361 | 100 |1292 | 1 |6879 | 21 | 0.000000e+00 | -- | Inf | unknown
16.32/16.47 c 16.5s| 37400 | 34194 |215060 | 5.6 | 47M | 159 | 336 |1356 | 100 |1317 | 1 |6899 | 21 | 0.000000e+00 | -- | Inf | unknown
16.42/16.50 c 16.5s| 37500 | 34278 |215464 | 5.6 | 47M | 159 | 336 |1387 | 100 |1317 | 0 |6944 | 21 | 0.000000e+00 | -- | Inf | unknown
16.42/16.54 c 16.5s| 37600 | 34372 |216238 | 5.6 | 47M | 159 | 336 |1374 | 100 |1317 | 1 |6968 | 21 | 0.000000e+00 | -- | Inf | unknown
16.42/16.58 c 16.6s| 37700 | 34464 |216815 | 5.6 | 47M | 159 | 336 |1380 | 92 |1320 | 1 |6995 | 21 | 0.000000e+00 | -- | Inf | unknown
16.52/16.61 c 16.6s| 37800 | 34562 |217328 | 5.6 | 47M | 159 | 336 |1370 | 100 |1320 | 1 |7003 | 21 | 0.000000e+00 | -- | Inf | unknown
16.52/16.65 c 16.6s| 37900 | 34648 |217850 | 5.6 | 47M | 159 | 336 |1370 | 92 |1347 | 1 |7029 | 21 | 0.000000e+00 | -- | Inf | unknown
16.52/16.67 c 16.7s| 38000 | 34734 |218142 | 5.6 | 47M | 159 | 336 |1371 | 92 |1351 | 1 |7044 | 21 | 0.000000e+00 | -- | Inf | unknown
16.62/16.70 c 16.7s| 38100 | 34812 |218573 | 5.6 | 47M | 159 | 336 |1363 | 92 |1351 | 1 |7060 | 21 | 0.000000e+00 | -- | Inf | unknown
16.62/16.74 c 16.7s| 38200 | 34904 |219376 | 5.6 | 47M | 159 | 336 |1368 | 100 |1351 | 0 |7091 | 21 | 0.000000e+00 | -- | Inf | unknown
16.62/16.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.62/16.77 c 16.8s| 38300 | 34990 |219741 | 5.6 | 47M | 159 | 336 |1358 | 100 |1355 | 1 |7110 | 21 | 0.000000e+00 | -- | Inf | unknown
16.72/16.81 c 16.8s| 38400 | 35074 |220353 | 5.6 | 47M | 159 | 336 |1368 | 100 |1355 | 1 |7132 | 21 | 0.000000e+00 | -- | Inf | unknown
16.72/16.84 c 16.8s| 38500 | 35172 |220757 | 5.6 | 47M | 159 | 336 |1366 | 100 |1355 | 1 |7136 | 21 | 0.000000e+00 | -- | Inf | unknown
16.72/16.87 c 16.9s| 38600 | 35252 |221080 | 5.6 | 48M | 159 | 336 |1360 | 92 |1357 | 1 |7161 | 21 | 0.000000e+00 | -- | Inf | unknown
16.82/16.91 c 16.9s| 38700 | 35352 |221830 | 5.6 | 48M | 159 | 336 |1381 | 100 |1360 | 1 |7200 | 21 | 0.000000e+00 | -- | Inf | unknown
16.82/16.95 c 16.9s| 38800 | 35440 |222433 | 5.6 | 48M | 159 | 336 |1365 | 97 |1377 | 1 |7213 | 21 | 0.000000e+00 | -- | Inf | unknown
16.82/16.99 c 17.0s| 38900 | 35540 |223142 | 5.6 | 48M | 159 | 336 |1339 | 92 |1381 | 1 |7218 | 21 | 0.000000e+00 | -- | Inf | unknown
16.92/17.02 c 17.0s| 39000 | 35636 |223517 | 5.6 | 48M | 159 | 336 |1320 | 105 |1385 | 1 |7220 | 21 | 0.000000e+00 | -- | Inf | unknown
16.92/17.05 c 17.0s| 39100 | 35734 |224168 | 5.6 | 48M | 159 | 336 |1313 | 92 |1387 | 1 |7233 | 21 | 0.000000e+00 | -- | Inf | unknown
16.92/17.09 c 17.1s| 39200 | 35819 |224784 | 5.6 | 48M | 159 | 336 |1298 | 104 |1400 | 1 |7252 | 21 | 0.000000e+00 | -- | Inf | unknown
17.02/17.12 c 17.1s| 39300 | 35901 |225181 | 5.6 | 48M | 159 | 336 |1291 | 91 |1400 | 1 |7267 | 21 | 0.000000e+00 | -- | Inf | unknown
17.02/17.16 c 17.2s| 39400 | 35983 |225654 | 5.6 | 48M | 159 | 336 |1290 | 103 |1415 | 1 |7290 | 21 | 0.000000e+00 | -- | Inf | unknown
17.02/17.19 c 17.2s| 39500 | 36068 |226104 | 5.6 | 48M | 159 | 336 |1294 | 92 |1420 | 1 |7305 | 21 | 0.000000e+00 | -- | Inf | unknown
17.12/17.23 c 17.2s| 39600 | 36158 |226639 | 5.6 | 49M | 159 | 336 |1280 | 92 |1441 | 1 |7317 | 21 | 0.000000e+00 | -- | Inf | unknown
17.12/17.27 c 17.3s| 39700 | 36252 |227223 | 5.6 | 49M | 159 | 336 |1287 | 100 |1441 | 1 |7336 | 21 | 0.000000e+00 | -- | Inf | unknown
17.22/17.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.22/17.30 c 17.3s| 39800 | 36344 |227713 | 5.6 | 49M | 159 | 336 |1287 | 100 |1450 | 1 |7362 | 21 | 0.000000e+00 | -- | Inf | unknown
17.22/17.34 c 17.3s| 39900 | 36440 |228260 | 5.6 | 49M | 159 | 336 |1289 | 92 |1456 | 1 |7373 | 21 | 0.000000e+00 | -- | Inf | unknown
17.22/17.37 c 17.4s| 40000 | 36534 |228977 | 5.6 | 49M | 159 | 336 |1301 | 100 |1456 | 1 |7398 | 21 | 0.000000e+00 | -- | Inf | unknown
17.32/17.40 c 17.4s| 40100 | 36614 |229373 | 5.6 | 49M | 159 | 336 |1294 | 100 |1456 | 1 |7412 | 21 | 0.000000e+00 | -- | Inf | unknown
17.32/17.44 c 17.4s| 40200 | 36714 |229992 | 5.6 | 49M | 159 | 336 |1285 | 100 |1456 | 1 |7428 | 21 | 0.000000e+00 | -- | Inf | unknown
17.32/17.48 c 17.5s| 40300 | 36814 |230535 | 5.6 | 49M | 159 | 336 |1293 | 100 |1456 | 1 |7453 | 21 | 0.000000e+00 | -- | Inf | unknown
17.42/17.50 c 17.5s| 40400 | 36914 |230941 | 5.6 | 49M | 159 | 336 |1294 | 100 |1456 | 1 |7461 | 21 | 0.000000e+00 | -- | Inf | unknown
17.42/17.53 c 17.5s| 40500 | 36986 |231297 | 5.5 | 49M | 159 | 336 |1315 | 100 |1456 | 1 |7497 | 21 | 0.000000e+00 | -- | Inf | unknown
17.42/17.56 c 17.6s| 40600 | 37078 |231725 | 5.5 | 49M | 159 | 336 |1330 | 100 |1456 | 1 |7525 | 21 | 0.000000e+00 | -- | Inf | unknown
17.52/17.60 c 17.6s| 40700 | 37170 |232301 | 5.5 | 49M | 159 | 336 |1320 | 91 |1466 | 1 |7545 | 21 | 0.000000e+00 | -- | Inf | unknown
17.52/17.63 c 17.6s| 40800 | 37249 |232645 | 5.5 | 49M | 159 | 336 |1339 | 88 |1466 | 1 |7590 | 21 | 0.000000e+00 | -- | Inf | unknown
17.52/17.68 c 17.7s| 40900 | 37347 |233661 | 5.6 | 49M | 159 | 336 |1361 | 92 |1472 | 1 |7629 | 21 | 0.000000e+00 | -- | Inf | unknown
17.62/17.71 c 17.7s| 41000 | 37447 |234272 | 5.6 | 49M | 159 | 336 |1363 | 100 |1472 | 1 |7645 | 21 | 0.000000e+00 | -- | Inf | unknown
17.62/17.74 c 17.7s| 41100 | 37547 |234676 | 5.5 | 49M | 159 | 336 |1346 | 100 |1472 | 1 |7645 | 21 | 0.000000e+00 | -- | Inf | unknown
17.62/17.76 c 17.8s| 41200 | 37639 |235034 | 5.5 | 49M | 159 | 336 |1349 | 100 |1472 | 1 |7663 | 21 | 0.000000e+00 | -- | Inf | unknown
17.62/17.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.62/17.79 c 17.8s| 41300 | 37721 |235429 | 5.5 | 50M | 159 | 336 |1354 | 100 |1472 | 1 |7685 | 21 | 0.000000e+00 | -- | Inf | unknown
17.71/17.83 c 17.8s| 41400 | 37775 |235820 | 5.5 | 50M | 159 | 336 |1373 | 92 |1472 | 1 |7738 | 21 | 0.000000e+00 | -- | Inf | unknown
17.71/17.85 c 17.8s| 41500 | 37875 |236228 | 5.5 | 50M | 159 | 336 |1368 | 100 |1472 | 1 |7739 | 21 | 0.000000e+00 | -- | Inf | unknown
17.71/17.89 c 17.9s| 41600 | 37968 |236854 | 5.5 | 50M | 159 | 336 |1371 | 92 |1480 | 1 |7758 | 21 | 0.000000e+00 | -- | Inf | unknown
17.81/17.93 c 17.9s| 41700 | 38068 |237566 | 5.5 | 50M | 159 | 336 |1357 | 100 |1488 | 1 |7769 | 21 | 0.000000e+00 | -- | Inf | unknown
17.81/17.97 c 18.0s| 41800 | 38164 |238135 | 5.5 | 51M | 159 | 336 |1359 | 96 |1495 | 1 |7787 | 21 | 0.000000e+00 | -- | Inf | unknown
17.81/17.99 c 18.0s| 41900 | 38252 |238540 | 5.5 | 51M | 159 | 336 |1362 | 92 |1499 | 1 |7798 | 21 | 0.000000e+00 | -- | Inf | unknown
17.92/18.02 c 18.0s| 42000 | 38344 |238853 | 5.5 | 51M | 159 | 336 |1367 | 100 |1503 | 1 |7816 | 21 | 0.000000e+00 | -- | Inf | unknown
17.92/18.07 c 18.1s| 42100 | 38434 |239393 | 5.5 | 51M | 159 | 336 |1375 | 100 |1510 | 1 |7843 | 21 | 0.000000e+00 | -- | Inf | unknown
18.02/18.11 c 18.1s| 42200 | 38520 |240007 | 5.5 | 51M | 159 | 336 |1382 | 92 |1513 | 1 |7873 | 21 | 0.000000e+00 | -- | Inf | unknown
18.02/18.14 c 18.1s| 42300 | 38618 |240491 | 5.5 | 51M | 159 | 336 |1373 | 91 |1513 | 1 |7879 | 21 | 0.000000e+00 | -- | Inf | unknown
18.02/18.16 c 18.2s| 42400 | 38714 |240867 | 5.5 | 51M | 159 | 336 |1360 | 91 |1517 | 1 |7883 | 21 | 0.000000e+00 | -- | Inf | unknown
18.11/18.20 c 18.2s| 42500 | 38810 |241569 | 5.5 | 51M | 159 | 336 |1366 | 100 |1517 | 1 |7906 | 21 | 0.000000e+00 | -- | Inf | unknown
18.21/18.38 c
18.21/18.38 c SCIP Status : problem is solved [infeasible]
18.21/18.38 c Solving Time (sec) : 18.37
18.21/18.38 c Solving Nodes : 42585 (total of 43634 nodes in 2 runs)
18.21/18.38 c Primal Bound : +1.00000000000000e+20 (0 solutions)
18.21/18.38 c Dual Bound : +1.00000000000000e+20
18.21/18.38 c Gap : 0.00 %
18.21/18.38 s UNSATISFIABLE
18.21/18.38 c SCIP Status : problem is solved [infeasible]
18.21/18.38 c Total Time : 18.37
18.21/18.38 c solving : 18.37
18.21/18.38 c presolving : 0.04 (included in solving)
18.21/18.38 c reading : 0.00 (included in solving)
18.21/18.38 c copying : 0.54 (109 #copies) (minimal 0.00, maximal 0.01, average 0.00)
18.21/18.38 c Original Problem :
18.21/18.38 c Problem name : HOME/instance-4542980-1753215737.opb
18.21/18.38 c Variables : 337 (337 binary, 0 integer, 0 implicit integer, 0 continuous)
18.21/18.38 c Constraints : 170 initial, 170 maximal
18.21/18.38 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
18.21/18.38 c Presolved Problem :
18.21/18.38 c Problem name : t_HOME/instance-4542980-1753215737.opb
18.21/18.38 c Variables : 336 (336 binary, 0 integer, 0 implicit integer, 0 continuous)
18.21/18.38 c Constraints : 580 initial, 1985 maximal
18.21/18.38 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
18.21/18.38 c Nonzeros : 15859 constraint, 0 clique table
18.21/18.38 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
18.21/18.38 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
18.21/18.38 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
18.21/18.38 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
18.21/18.38 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c milp : 0.00 0.00 1 0 1 0 0 0 170 84 0 0
18.21/18.38 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
18.21/18.38 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
18.21/18.38 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
18.21/18.38 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
18.21/18.38 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
18.21/18.38 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
18.21/18.38 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
18.21/18.38 c knapsack : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
18.21/18.38 c linear : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
18.21/18.38 c logicor : 0.03 0.00 7 0 0 0 0 0 1 0 0 6
18.21/18.38 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
18.21/18.38 c root node : - - - 0 - - 0 - - - - -
18.21/18.38 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
18.21/18.38 c benderslp : 0 0 0 0 41850 0 0 2730 0 0 0 0 0 0 0
18.21/18.38 c integral : 0 0 0 0 41850 0 0 2730 0 0 0 0 0 0 83700
18.21/18.38 c knapsack : 9+ 27 0 120274 0 0 0 0 14903 340 3862 0 0 0 0
18.21/18.38 c linear : 85+ 106 35 122592 0 0 0 2728 89505 1002 35429 0 0 0 0
18.21/18.38 c logicor : 486+ 1881 35 55170 0 0 0 0 2104 95 1746 0 0 0 0
18.21/18.38 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
18.21/18.38 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
18.21/18.38 c integral : 0.31 0.00 0.00 0.00 0.31 0.00 0.00 0.00 0.00 0.00
18.21/18.38 c knapsack : 0.12 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.02 0.00
18.21/18.38 c linear : 0.41 0.00 0.00 0.36 0.00 0.00 0.00 0.02 0.04 0.00
18.21/18.38 c logicor : 0.28 0.00 0.00 0.27 0.00 0.00 0.00 0.00 0.01 0.00
18.21/18.38 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
18.21/18.38 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
18.21/18.38 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
18.21/18.38 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
18.21/18.38 c Propagators : #Propagate #ResProp Cutoffs DomReds
18.21/18.38 c dualfix : 2 0 0 0
18.21/18.38 c genvbounds : 0 0 0 0
18.21/18.38 c nlobbt : 0 0 0 0
18.21/18.38 c obbt : 0 0 0 0
18.21/18.38 c probing : 0 0 0 0
18.21/18.38 c pseudoobj : 0 0 0 0
18.21/18.38 c redcost : 0 0 0 0
18.21/18.38 c rootredcost : 0 0 0 0
18.21/18.38 c symmetry : 9472 0 0 12
18.21/18.38 c vbounds : 0 0 0 0
18.21/18.38 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
18.21/18.38 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
18.21/18.38 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
18.21/18.38 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
18.21/18.38 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
18.21/18.38 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
18.21/18.38 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
18.21/18.38 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
18.21/18.38 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
18.21/18.38 c symmetry : 0.13 0.00 0.00 0.13 0.00 0.00
18.21/18.38 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
18.21/18.38 c Symmetry :
18.21/18.38 c orbitopal red. : 0 reductions applied, 0 cutoffs
18.21/18.38 c orbital reduction: 8 reductions applied, 0 cutoffs
18.21/18.38 c lexicographic red: 34 reductions applied, 0 cutoffs
18.21/18.38 c shadow tree time : 0.07 s
18.21/18.38 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
18.21/18.38 c propagation : 0.07 1046 1045 - 9266 64.8 135 22.6 - - -
18.21/18.38 c infeasible LP : 0.30 2241 2241 - 18826 75.8 205 29.1 127 43.4 0
18.21/18.38 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
18.21/18.38 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
18.21/18.38 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
18.21/18.38 c applied globally : 0.00 - - 0 6424 36.1 - - 126 - -
18.21/18.38 c applied locally : - - - 0 1368 63.6 - - 0 - -
18.21/18.38 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
18.21/18.38 c cut pool : 0.07 - 5117 67 - - 3797 18086 - - - - - (maximal pool size: 533)
18.21/18.38 c aggregation : 0.07 0.00 448 35 0 0 21 66 7 3 3 0 0
18.21/18.38 c > cmir : - - - - - - - 62 0 3 3 0 -
18.21/18.38 c > flowcover : - - - - - - - 3 0 0 0 0 -
18.21/18.38 c > knapsackcover : - - - - - - - 1 7 0 0 0 -
18.21/18.38 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
18.21/18.38 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c gomory : 0.26 0.00 433 20 0 0 6595 17759 2916 1656 1322 334 0
18.21/18.38 c > gomorymi : - - - - - - - 2852 1458 251 75 176 -
18.21/18.38 c > strongcg : - - - - - - - 14907 1458 1405 1247 158 -
18.21/18.38 c impliedbounds : 0.00 0.00 448 35 0 0 0 0 0 0 0 0 0
18.21/18.38 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
18.21/18.38 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c multilinear : 0.00 0.00 359 35 0 0 0 0 0 0 0 0 0
18.21/18.38 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
18.21/18.38 c rapidlearning : 2.65 0.00 100 2 0 25 0 0 0 0 0 0 600
18.21/18.38 c rlt : 0.00 0.00 203 20 0 0 0 0 0 0 0 0 0
18.21/18.38 c zerohalf : 0.05 0.00 446 33 0 0 487 261 383 409 124 285 0
18.21/18.38 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
18.21/18.38 c hybrid : 0.02 0.00 750 34 2068 0 19324 87 0 718
18.21/18.38 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c Pricers : ExecTime SetupTime Calls Vars
18.21/18.38 c problem variables: 0.00 - 0 0
18.21/18.38 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
18.21/18.38 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c random : 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c relpscost : 0.29 0.00 41850 0 0 0 0 0 0 83700
18.21/18.38 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
18.21/18.38 c Primal Heuristics : ExecTime SetupTime Calls Found Best
18.21/18.38 c LP solutions : 0.00 - - 0 0
18.21/18.38 c relax solutions : 0.00 - - 0 0
18.21/18.38 c pseudo solutions : 0.00 - - 0 0
18.21/18.38 c strong branching : 0.00 - - 0 0
18.21/18.38 c actconsdiving : 0.00 0.00 0 0 0
18.21/18.38 c adaptivediving : 0.09 0.00 37 0 0
18.21/18.38 c alns : 0.15 0.00 7 0 0
18.21/18.38 c bound : 0.00 0.00 0 0 0
18.21/18.38 c clique : 0.00 0.00 0 0 0
18.21/18.38 c coefdiving : 0.00 0.00 0 0 0
18.21/18.38 c completesol : 0.00 0.00 0 0 0
18.21/18.38 c conflictdiving : 1.09 0.00 364 0 0
18.21/18.38 c crossover : 0.00 0.00 0 0 0
18.21/18.38 c dins : 0.00 0.00 0 0 0
18.21/18.38 c distributiondivin: 0.60 0.00 85 0 0
18.21/18.38 c dps : 0.00 0.00 0 0 0
18.21/18.38 c dualval : 0.00 0.00 0 0 0
18.21/18.38 c farkasdiving : 0.00 0.00 0 0 0
18.21/18.38 c feasjump : 0.03 0.00 2 0 0
18.21/18.38 c feaspump : 0.17 0.00 78 0 0
18.21/18.38 c fixandinfer : 0.00 0.00 0 0 0
18.21/18.38 c fracdiving : 0.41 0.00 124 0 0
18.21/18.38 c gins : 0.00 0.00 0 0 0
18.21/18.38 c guideddiving : 0.00 0.00 0 0 0
18.21/18.38 c indcoefdiving : 0.00 0.00 0 0 0
18.21/18.38 c indicator : 0.01 0.00 0 0 0
18.21/18.38 c indicatordiving : 0.00 0.00 0 0 0
18.21/18.38 c indoneopt : 0.01 0.00 0 0 0
18.21/18.38 c indrounding : 0.00 0.00 0 0 0
18.21/18.38 c indtwoopt : 0.00 0.00 0 0 0
18.21/18.38 c intdiving : 0.00 0.00 0 0 0
18.21/18.38 c intshifting : 0.00 0.00 0 0 0
18.21/18.38 c linesearchdiving : 0.39 0.00 87 0 0
18.21/18.38 c localbranching : 0.00 0.00 0 0 0
18.21/18.38 c locks : 0.00 0.00 1 0 0
18.21/18.38 c lpface : 0.01 0.00 0 0 0
18.21/18.38 c mpec : 0.00 0.00 0 0 0
18.21/18.38 c multistart : 0.00 0.00 0 0 0
18.21/18.38 c mutation : 0.00 0.00 0 0 0
18.21/18.38 c nlpdiving : 0.00 0.00 0 0 0
18.21/18.38 c objpscostdiving : 0.10 0.00 44 0 0
18.21/18.38 c octane : 0.00 0.00 0 0 0
18.21/18.38 c ofins : 0.00 0.00 0 0 0
18.21/18.38 c oneopt : 0.01 0.00 0 0 0
18.21/18.38 c padm : 0.00 0.00 0 0 0
18.21/18.38 c proximity : 0.00 0.00 0 0 0
18.21/18.38 c pscostdiving : 0.48 0.00 62 0 0
18.21/18.38 c randrounding : 0.04 0.00 2716 0 0
18.21/18.38 c rens : 0.01 0.00 2 0 0
18.21/18.38 c reoptsols : 0.00 0.00 0 0 0
18.21/18.38 c repair : 0.00 0.00 0 0 0
18.21/18.38 c rins : 0.00 0.00 0 0 0
18.21/18.38 c rootsoldiving : 0.13 0.00 16 0 0
18.21/18.38 c rounding : 0.02 0.00 2866 0 0
18.21/18.38 c scheduler : 0.00 0.00 0 0 0
18.21/18.38 c shiftandpropagate: 0.00 0.00 2 0 0
18.21/18.38 c shifting : 0.03 0.00 921 0 0
18.21/18.38 c simplerounding : 0.01 0.00 0 0 0
18.21/18.38 c smallcard : 0.00 0.00 0 0 0
18.21/18.38 c subnlp : 0.01 0.00 0 0 0
18.21/18.38 c trivial : 0.00 0.00 4 0 0
18.21/18.38 c trivialnegation : 0.00 0.00 0 0 0
18.21/18.38 c trustregion : 0.00 0.00 0 0 0
18.21/18.38 c trysol : 0.00 0.00 0 0 0
18.21/18.38 c twoopt : 0.00 0.00 0 0 0
18.21/18.38 c undercover : 0.00 0.00 0 0 0
18.21/18.38 c vbounds : 0.00 0.00 0 0 0
18.21/18.38 c veclendiving : 0.37 0.00 126 0 0
18.21/18.38 c zeroobj : 0.00 0.00 0 0 0
18.21/18.38 c zirounding : 0.01 0.00 1000 0 0
18.21/18.38 c other solutions : - - - 0 -
18.21/18.38 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
18.21/18.38 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
18.21/18.38 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
18.21/18.38 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
18.21/18.38 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
18.21/18.38 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
18.21/18.38 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
18.21/18.38 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
18.21/18.38 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
18.21/18.38 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
18.21/18.38 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
18.21/18.38 c primal LP : 0.03 288 0 0.00 0.00 0.03 288
18.21/18.38 c dual LP : 5.61 44050 155713 3.56 27779.54 0.02 321
18.21/18.38 c lex dual LP : 0.00 0 0 0.00 -
18.21/18.38 c barrier LP : 0.00 0 0 0.00 - 0.00 0
18.21/18.38 c resolve instable : 0.00 0 0 0.00 -
18.21/18.38 c diving/probing LP: 2.21 13878 86471 6.23 39171.35
18.21/18.38 c strong branching : 0.01 21 165 7.86 - - - 0
18.21/18.38 c (at root node) : - 21 165 7.86 -
18.21/18.38 c conflict analysis: 0.00 0 0 0.00 -
18.21/18.38 c B&B Tree :
18.21/18.38 c number of runs : 2
18.21/18.38 c nodes : 42585 (40801 internal, 1784 leaves)
18.21/18.38 c feasible leaves : 0
18.21/18.38 c infeas. leaves : 1784
18.21/18.38 c objective leaves : 0
18.21/18.38 c nodes (total) : 43634 (41850 internal, 1784 leaves)
18.21/18.38 c nodes left : 0
18.21/18.38 c max depth : 159
18.21/18.38 c max depth (total): 159
18.21/18.38 c backtracks : 2821 (6.6%)
18.21/18.38 c early backtracks : 0 (0.0%)
18.21/18.38 c nodes exc. ref. : 0 (0.0%)
18.21/18.38 c delayed cutoffs : 39018
18.21/18.38 c repropagations : 4144 (3935 domain reductions, 144 cutoffs)
18.21/18.38 c avg switch length: 7.07
18.21/18.38 c switching time : 1.20
18.21/18.38 c Root Node :
18.21/18.38 c First LP value : +0.00000000000000e+00
18.21/18.38 c First LP Iters : 216 (273072.06 Iter/sec)
18.21/18.38 c First LP Time : 0.00
18.21/18.38 c Final Dual Bound : -
18.21/18.38 c Final Root Iters : 811
18.21/18.38 c Root LP Estimate : +1.68644013631757e-03
18.21/18.38 c Solution :
18.21/18.38 c Solutions found : 0 (0 improvements)
18.21/18.38 c Primal Bound : infeasible
18.21/18.38 c Dual Bound : -
18.21/18.38 c Gap : 0.00 %
18.21/18.38 c Integrals : Total Avg%
18.21/18.38 c primal-dual : - - (problem infeasible)
18.21/18.38 c primal-ref : - - (problem infeasible)
18.21/18.38 c dual-ref : - - (problem infeasible)
18.21/18.38 c Time complete: 18.3074.
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: 63665 MiB (61487 MiB free)
memory of node 1: 64507 MiB (62714 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542980-1753215737/watcher-4542980-1753215737 -o /tmp/evaluation-result-4542980-1753215737/solver-4542980-1753215737 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753209881-195253 --watchdog 3760 pbscip -f HOME/instance-4542980-1753215737.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=196226, runsolver pid=196223
[startup+0.100065 s]*
/proc/loadavg: 4.11 4.12 4.16 5/262 196227
/proc/meminfo: memFree=127182864/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=53720 memory=26880 CPUtime=0.09 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 3161 0 0 0 8 1 0 0 20 0 1 0 237253973 55009280 6720 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 13430 6720 3936 3530 0 4881 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53720 KiB
Current children cumulated memory: 26880 KiB
[startup+0.205416 s]*
/proc/loadavg: 4.11 4.12 4.16 5/262 196227
/proc/meminfo: memFree=127182864/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=55232 memory=29056 CPUtime=0.19 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 3694 0 0 0 18 1 0 0 20 0 1 0 237253973 56557568 7264 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 13808 7264 3936 3530 0 5259 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55232 KiB
Current children cumulated memory: 29056 KiB
[startup+0.305393 s]*
/proc/loadavg: 4.11 4.12 4.16 5/262 196227
/proc/meminfo: memFree=127182864/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=55232 memory=29184 CPUtime=0.29 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 3739 0 0 0 28 1 0 0 20 0 1 0 237253973 56557568 7296 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 13808 7296 3936 3530 0 5259 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55232 KiB
Current children cumulated memory: 29184 KiB
[startup+0.700136 s]
/proc/loadavg: 4.11 4.12 4.16 5/262 196227
/proc/meminfo: memFree=127182864/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=57672 memory=30720 CPUtime=0.68 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 4118 0 0 0 67 1 0 0 20 0 1 0 237253973 59056128 7680 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 14418 7680 3936 3530 0 5869 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57672 KiB
Current children cumulated memory: 30720 KiB
[startup+1.50015 s]
/proc/loadavg: 4.11 4.12 4.16 5/262 196227
/proc/meminfo: memFree=127182864/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=62580 memory=35552 CPUtime=1.48 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 6561 0 0 0 147 1 0 0 20 0 1 0 237253973 64081920 8888 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 15645 8888 3936 3530 0 7096 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62580 KiB
Current children cumulated memory: 35552 KiB
[startup+3.10517 s]
/proc/loadavg: 4.11 4.12 4.16 5/262 196227
/proc/meminfo: memFree=127175292/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=62824 memory=37200 CPUtime=3.07 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 8492 0 0 0 306 1 0 0 20 0 1 0 237253973 64331776 9300 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 15706 9300 3936 3530 0 7157 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 62824 KiB
Current children cumulated memory: 37200 KiB
[startup+6.30014 s]
/proc/loadavg: 4.10 4.12 4.16 5/263 196228
/proc/meminfo: memFree=127156796/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=75468 memory=49432 CPUtime=6.26 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 12809 0 0 0 624 2 0 0 20 0 1 0 237253973 77279232 12358 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 18867 12358 3936 3530 0 10318 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 75468 KiB
Current children cumulated memory: 49432 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.11 4.16 5/263 196228
/proc/meminfo: memFree=127127144/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=81940 memory=56344 CPUtime=12.63 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 14527 0 0 0 1261 2 0 0 20 0 1 0 237253973 83906560 14086 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 20485 14086 3936 3530 0 11936 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 81940 KiB
Current children cumulated memory: 56344 KiB
[startup+18.3913 s]
# the end of solver process 196226 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=18.2723 s, system=0.041843 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8001 s]
/proc/loadavg: 4.09 4.11 4.16 5/263 196228
/proc/meminfo: memFree=127127144/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=81940 memory=56344 CPUtime=12.73 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 14528 0 0 0 1271 2 0 0 20 0 1 0 237253973 83906560 14086 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 20485 14086 3936 3530 0 11936 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 81940 KiB
Current children cumulated memory: 56344 KiB
[startup+16.0001 s]*
/proc/loadavg: 4.08 4.11 4.16 5/263 196228
/proc/meminfo: memFree=127102952/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=90280 memory=64280 CPUtime=15.93 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 16522 0 0 0 1590 3 0 0 20 0 1 0 237253973 92446720 16070 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 22570 16070 3936 3530 0 14021 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 90280 KiB
Current children cumulated memory: 64280 KiB
[startup+17.6001 s]
/proc/loadavg: 4.08 4.11 4.16 5/263 196228
/proc/meminfo: memFree=127096296/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=93040 memory=67096 CPUtime=17.52 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 17223 0 0 0 1749 3 0 0 20 0 1 0 237253973 95272960 16774 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 23260 16774 3936 3530 0 14711 0
Current children cumulated CPU time: 17.52 s
Current children cumulated vsize: 93040 KiB
Current children cumulated memory: 67096 KiB
[startup+18.0001 s]*
/proc/loadavg: 4.08 4.11 4.16 5/263 196228
/proc/meminfo: memFree=127096440/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=94896 memory=69016 CPUtime=17.92 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 17693 0 0 0 1789 3 0 0 20 0 1 0 237253973 97173504 17254 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 23724 17254 3936 3530 0 15175 0
Current children cumulated CPU time: 17.92 s
Current children cumulated vsize: 94896 KiB
Current children cumulated memory: 69016 KiB
[startup+18.2001 s]
/proc/loadavg: 4.08 4.11 4.16 5/263 196228
/proc/meminfo: memFree=127096440/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=95144 memory=69424 CPUtime=18.11 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 18238 0 0 0 1808 3 0 0 20 0 1 0 237253973 97427456 17356 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 23786 17356 3936 3530 0 15237 0
Current children cumulated CPU time: 18.11 s
Current children cumulated vsize: 95144 KiB
Current children cumulated memory: 69424 KiB
[startup+18.3001 s]
/proc/loadavg: 4.08 4.11 4.16 5/263 196228
/proc/meminfo: memFree=127096440/131250000 swapFree=33008868/33010684
[pid=196226] ppid=196223 vsize=95144 memory=69424 CPUtime=18.21 cores=5,7
/proc/196226/stat : 196226 (pbscip) R 196223 196226 195240 0 -1 4194304 18238 0 0 0 1818 3 0 0 20 0 1 0 237253973 97427456 17356 18446744073709551615 4235264 18693293 140724222261952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27856896 140724222269831 140724222269930 140724222269930 140724222275534 0
/proc/196226/statm: 23786 17356 3936 3530 0 15237 0
Current children cumulated CPU time: 18.21 s
Current children cumulated vsize: 95144 KiB
Current children cumulated memory: 69424 KiB
Child status: 0
Real time (s): 18.3913
CPU time (s): 18.3141
CPU user time (s): 18.2723
CPU system time (s): 0.041843
CPU usage (%): 99.5803
Max. virtual memory (cumulated for all children) (KiB): 95144
Max. memory (cumulated for all children) (KiB): 69424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.2723
system time used= 0.041843
maximum resident set size= 71192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18246
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= 80
involuntary context switches= 41
# summary of solver processes directly reported to runsolver:
# pid: 196226
# total CPU time (s): 18.3141
# total CPU user time (s): 18.2723
# total CPU system time (s): 0.041843
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038015 second user time and 0.117358 second system time
The end