Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 3 | 20.7637 | 20.9988 |
| Name | PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb |
| MD5SUM | 60205697a36204ec3d9b8e2d1efac02f |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.056998 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 216 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 576 |
| Sum of products size (including duplicates) | 1152 |
| Number of different products | 576 |
| Sum of products size | 1152 |
0.00/0.13 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.13 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.13 c
0.00/0.13 c user parameter file <scip.set> not found - using default parameters
0.00/0.13 c reading problem <HOME/instance-4498048-1751268233.opb>
0.00/0.13 c original problem has 792 variables (216 bin, 0 int, 576 impl, 0 cont) and 604 constraints
0.00/0.13 c problem read in 0.00
0.00/0.14 c presolving:
0.00/0.14 c (round 1, fast) 28 del vars, 0 del conss, 9 add conss, 0 chg bounds, 0 chg sides, 60 chg coeffs, 0 upgd conss, 0 impls, 1008 clqs
0.00/0.14 c (round 2, fast) 172 del vars, 126 del conss, 18 add conss, 0 chg bounds, 0 chg sides, 186 chg coeffs, 0 upgd conss, 0 impls, 882 clqs
0.00/0.14 c (round 3, exhaustive) 173 del vars, 126 del conss, 18 add conss, 0 chg bounds, 0 chg sides, 186 chg coeffs, 0 upgd conss, 0 impls, 881 clqs
0.00/0.14 c (round 4, fast) 174 del vars, 129 del conss, 19 add conss, 0 chg bounds, 0 chg sides, 186 chg coeffs, 1 upgd conss, 0 impls, 880 clqs
0.00/0.14 c (round 5, fast) 175 del vars, 131 del conss, 20 add conss, 0 chg bounds, 0 chg sides, 187 chg coeffs, 1 upgd conss, 0 impls, 879 clqs
0.00/0.14 c (round 6, fast) 175 del vars, 131 del conss, 20 add conss, 0 chg bounds, 1 chg sides, 188 chg coeffs, 1 upgd conss, 0 impls, 879 clqs
0.00/0.14 c (round 7, exhaustive) 175 del vars, 132 del conss, 20 add conss, 0 chg bounds, 1 chg sides, 188 chg coeffs, 1 upgd conss, 0 impls, 879 clqs
0.00/0.14 c (round 8, exhaustive) 175 del vars, 141 del conss, 20 add conss, 0 chg bounds, 1 chg sides, 188 chg coeffs, 1 upgd conss, 0 impls, 879 clqs
0.00/0.14 c (round 9, exhaustive) 175 del vars, 141 del conss, 20 add conss, 0 chg bounds, 1 chg sides, 188 chg coeffs, 20 upgd conss, 0 impls, 879 clqs
0.00/0.14 c (0.0s) probing: 51/635 (8.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.14 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.14 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.14 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.14 c presolving (10 rounds: 10 fast, 5 medium, 5 exhaustive):
0.00/0.14 c 175 deleted vars, 141 deleted constraints, 20 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 189 changed coefficients
0.00/0.14 c 0 implications, 879 cliques
0.00/0.14 c presolved problem has 635 variables (196 bin, 0 int, 439 impl, 0 cont) and 477 constraints
0.00/0.14 c 1 constraints of type <setppc>
0.00/0.14 c 439 constraints of type <and>
0.00/0.14 c 9 constraints of type <linear>
0.00/0.14 c 19 constraints of type <logicor>
0.00/0.14 c 9 constraints of type <pseudoboolean>
0.00/0.14 c transformed objective value is always integral (scale: 2)
0.00/0.14 c Presolving Time: 0.01
0.00/0.14 c - non default parameters ----------------------------------------------------------------------
0.00/0.14 c # SCIP version 10.0.0
0.00/0.14 c
0.00/0.14 c # maximal time in seconds to run
0.00/0.14 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.14 c limits/time = 3596.998016
0.00/0.14 c
0.00/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.14 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.14 c limits/memory = 27900
0.00/0.14 c
0.00/0.14 c # belongs reading time to solving time?
0.00/0.14 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.14 c timing/reading = TRUE
0.00/0.14 c
0.00/0.14 c -----------------------------------------------------------------------------------------------
0.00/0.14 c start solving
0.00/0.14 c
0.00/0.16 o 5
0.00/0.16 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.16 c p 0.0s| 1 | 0 | 0 | - |shiftand| 0 | 635 | 488 | 907 | 0 | 0 | 10 | 0 | 1.000000e+00 | 5.000000e+00 | 400.00%| unknown
0.00/0.16 c 0.0s| 1 | 0 | 22 | - | 9407k | 0 | 635 | 446 | 908 | 0 | 0 | 10 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.00/0.19 c 0.1s| 1 | 0 | 42 | - | 9996k | 0 | 635 | 451 | 914 | 6 | 1 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.00/0.20 c 0.1s| 1 | 0 | 63 | - | 10M | 0 | 635 | 451 | 925 | 17 | 2 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.06/0.21 c 0.1s| 1 | 0 | 82 | - | 10M | 0 | 635 | 450 | 934 | 26 | 3 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.06/0.23 c 0.1s| 1 | 0 | 116 | - | 11M | 0 | 635 | 450 | 950 | 42 | 4 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.06/0.27 c 0.1s| 1 | 0 | 152 | - | 12M | 0 | 635 | 450 | 968 | 60 | 5 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.16/0.31 c 0.2s| 1 | 0 | 177 | - | 13M | 0 | 635 | 450 | 977 | 69 | 6 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.16/0.35 c 0.2s| 1 | 0 | 211 | - | 14M | 0 | 635 | 450 | 991 | 83 | 7 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.16/0.38 c 0.3s| 1 | 0 | 257 | - | 15M | 0 | 635 | 450 |1004 | 96 | 8 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.26/0.47 c 0.3s| 1 | 0 | 297 | - | 21M | 0 | 635 | 450 |1019 | 111 | 9 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.36/0.55 c 0.4s| 1 | 0 | 335 | - | 24M | 0 | 635 | 450 |1031 | 123 | 10 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.36/0.58 c 0.4s| 1 | 0 | 378 | - | 26M | 0 | 635 | 450 | 168 | 134 | 11 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.36/0.58 c 0.4s| 1 | 0 | 378 | - | 26M | 0 | 635 | 450 | 168 | 134 | 11 | 16 | 0 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.45/0.62 c 0.5s| 1 | 2 | 1075 | - | 26M | 0 | 635 | 452 | 168 | 134 | 11 | 18 | 3 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.45/0.62 c (run 1, node 1) restarting after 55 global fixings of integer variables
0.45/0.62 c
0.45/0.62 c (restart) converted 128 cuts from the global cut pool into linear constraints
0.45/0.62 c
0.45/0.62 c presolving:
0.45/0.62 c (round 1, fast) 64 del vars, 10 del conss, 9 add conss, 0 chg bounds, 5 chg sides, 47 chg coeffs, 0 upgd conss, 0 impls, 783 clqs
0.45/0.62 c (round 2, fast) 64 del vars, 10 del conss, 9 add conss, 0 chg bounds, 11 chg sides, 53 chg coeffs, 0 upgd conss, 0 impls, 783 clqs
0.45/0.63 c (round 3, medium) 64 del vars, 60 del conss, 9 add conss, 0 chg bounds, 11 chg sides, 53 chg coeffs, 0 upgd conss, 0 impls, 783 clqs
0.45/0.63 c (round 4, exhaustive) 64 del vars, 66 del conss, 9 add conss, 0 chg bounds, 14 chg sides, 53 chg coeffs, 0 upgd conss, 0 impls, 783 clqs
0.45/0.63 c (round 5, exhaustive) 64 del vars, 66 del conss, 9 add conss, 0 chg bounds, 14 chg sides, 53 chg coeffs, 122 upgd conss, 0 impls, 783 clqs
0.45/0.63 c (round 6, fast) 64 del vars, 73 del conss, 9 add conss, 0 chg bounds, 17 chg sides, 127 chg coeffs, 122 upgd conss, 0 impls, 783 clqs
0.45/0.63 c (round 7, medium) 64 del vars, 73 del conss, 9 add conss, 0 chg bounds, 23 chg sides, 133 chg coeffs, 122 upgd conss, 0 impls, 783 clqs
0.45/0.63 c (round 8, exhaustive) 64 del vars, 73 del conss, 9 add conss, 0 chg bounds, 23 chg sides, 138 chg coeffs, 122 upgd conss, 0 impls, 783 clqs
0.45/0.63 c (round 9, exhaustive) 64 del vars, 73 del conss, 9 add conss, 0 chg bounds, 23 chg sides, 141 chg coeffs, 122 upgd conss, 0 impls, 783 clqs
0.45/0.63 c (round 10, exhaustive) 64 del vars, 73 del conss, 9 add conss, 0 chg bounds, 23 chg sides, 144 chg coeffs, 122 upgd conss, 0 impls, 783 clqs
0.45/0.63 c (round 11, exhaustive) 64 del vars, 73 del conss, 9 add conss, 0 chg bounds, 23 chg sides, 147 chg coeffs, 122 upgd conss, 0 impls, 783 clqs
0.45/0.63 c (round 12, exhaustive) 64 del vars, 73 del conss, 9 add conss, 0 chg bounds, 23 chg sides, 150 chg coeffs, 122 upgd conss, 0 impls, 783 clqs
0.45/0.63 c (round 13, exhaustive) 64 del vars, 73 del conss, 9 add conss, 0 chg bounds, 23 chg sides, 153 chg coeffs, 122 upgd conss, 0 impls, 783 clqs
0.45/0.63 c (round 14, exhaustive) 64 del vars, 76 del conss, 9 add conss, 0 chg bounds, 23 chg sides, 155 chg coeffs, 122 upgd conss, 0 impls, 783 clqs
0.45/0.63 c (round 15, exhaustive) 64 del vars, 76 del conss, 9 add conss, 0 chg bounds, 23 chg sides, 209 chg coeffs, 122 upgd conss, 0 impls, 783 clqs
0.45/0.63 c presolving (16 rounds: 16 fast, 13 medium, 11 exhaustive):
0.45/0.63 c 64 deleted vars, 76 deleted constraints, 9 added constraints, 0 tightened bounds, 0 added holes, 23 changed sides, 211 changed coefficients
0.45/0.63 c 0 implications, 783 cliques
0.45/0.63 c presolved problem has 571 variables (181 bin, 0 int, 390 impl, 0 cont) and 562 constraints
0.45/0.63 c 22 constraints of type <knapsack>
0.45/0.63 c 12 constraints of type <setppc>
0.45/0.63 c 390 constraints of type <and>
0.45/0.63 c 17 constraints of type <linear>
0.45/0.63 c 113 constraints of type <logicor>
0.45/0.63 c 8 constraints of type <pseudoboolean>
0.45/0.63 c transformed objective value is always integral (scale: 2)
0.45/0.63 c Presolving Time: 0.02
0.45/0.63 c
0.45/0.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.45/0.64 c 0.5s| 1 | 0 | 1134 | - | 26M | 0 | 571 | 562 | 927 | 0 | 0 | 18 | 3 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.45/0.67 c 0.5s| 1 | 0 | 1161 | - | 26M | 0 | 571 | 562 | 940 | 13 | 1 | 18 | 3 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.45/0.68 c 0.6s| 1 | 0 | 1194 | - | 26M | 0 | 571 | 562 | 958 | 31 | 2 | 18 | 3 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.54/0.74 c 0.6s| 1 | 0 | 1242 | - | 27M | 0 | 571 | 562 | 972 | 45 | 3 | 18 | 3 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.54/0.78 c 0.6s| 1 | 0 | 1272 | - | 28M | 0 | 571 | 562 | 990 | 63 | 4 | 18 | 3 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.64/0.82 c 0.7s| 1 | 0 | 1320 | - | 28M | 0 | 571 | 562 |1008 | 81 | 5 | 18 | 3 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.64/0.88 c 0.7s| 1 | 0 | 1359 | - | 28M | 0 | 571 | 562 |1027 | 100 | 6 | 18 | 3 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.74/0.98 c 0.8s| 1 | 0 | 1394 | - | 30M | 0 | 571 | 562 |1048 | 121 | 7 | 18 | 3 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
0.84/1.09 c 1.0s| 1 | 0 | 1435 | - | 35M | 0 | 571 | 562 |1062 | 135 | 8 | 18 | 3 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
1.05/1.23 c 1.1s| 1 | 0 | 1515 | - | 39M | 0 | 571 | 562 |1075 | 148 | 9 | 18 | 3 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
1.14/1.35 c 1.2s| 1 | 0 | 1571 | - | 43M | 0 | 571 | 562 |1099 | 172 | 10 | 18 | 3 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
1.24/1.40 c 1.3s| 1 | 0 | 1624 | - | 43M | 0 | 571 | 562 |1120 | 193 | 11 | 18 | 3 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
1.44/1.62 c 1.5s| 1 | 2 | 2058 | - | 43M | 0 | 571 | 574 |1120 | 193 | 11 | 30 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
1.64/1.86 c 1.7s| 100 | 89 | 4815 | 38.9 | 45M | 63 | 571 | 583 | 248 | 740 | 2 | 39 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.04/2.22 c 2.1s| 200 | 188 | 9816 | 44.4 | 52M | 63 | 571 | 614 | 320 |1516 | 2 | 70 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.24/2.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.24/2.43 c 2.3s| 300 | 259 | 13495 | 41.9 | 53M | 63 | 571 | 629 | 313 |2087 | 2 | 85 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.34/2.59 c 2.5s| 400 | 326 | 15871 | 37.4 | 53M | 63 | 571 | 634 | 322 |2581 | 2 | 90 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.53/2.76 c 2.6s| 500 | 384 | 18748 | 35.6 | 53M | 63 | 571 | 656 | 292 |3039 | 2 | 112 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.73/2.92 c 2.8s| 600 | 455 | 21467 | 34.2 | 53M | 66 | 571 | 673 | 0 |3550 | 0 | 129 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.73/2.97 c 2.8s| 700 | 463 | 21919 | 30.0 | 53M | 74 | 571 | 692 | 0 |3630 | 0 | 148 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.84/3.02 c 2.9s| 800 | 468 | 22299 | 26.7 | 53M | 74 | 571 | 700 | 378 |3722 | 2 | 156 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.84/3.06 c 2.9s| 900 | 460 | 22715 | 24.2 | 53M | 74 | 571 | 725 | 0 |3819 | 0 | 181 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.94/3.11 c 3.0s| 1000 | 461 | 23080 | 22.2 | 53M | 74 | 571 | 759 | 377 |3921 | 1 | 215 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
2.94/3.15 c 3.0s| 1100 | 463 | 23475 | 20.5 | 53M | 74 | 571 | 791 | 0 |4004 | 0 | 247 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.03/3.22 c 3.1s| 1200 | 489 | 24160 | 19.4 | 53M | 74 | 571 | 805 | 387 |4146 | 1 | 261 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.03/3.28 c 3.2s| 1300 | 504 | 24801 | 18.4 | 53M | 74 | 571 | 819 | 375 |4302 | 2 | 275 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.13/3.33 c 3.2s| 1400 | 514 | 25249 | 17.4 | 53M | 74 | 571 | 823 | 0 |4414 | 0 | 279 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.13/3.37 c 3.2s| 1500 | 517 | 25588 | 16.4 | 53M | 74 | 571 | 830 | 0 |4535 | 0 | 286 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.23/3.42 c 3.3s| 1600 | 517 | 25961 | 15.6 | 53M | 74 | 571 | 833 | 367 |4638 | 1 | 289 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.23/3.45 c 3.3s| 1700 | 511 | 26329 | 14.9 | 53M | 74 | 571 | 836 | 0 |4734 | 0 | 292 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.33/3.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.33/3.50 c 3.4s| 1800 | 510 | 26775 | 14.4 | 53M | 74 | 571 | 844 | 373 |4859 | 1 | 300 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.33/3.56 c 3.4s| 1900 | 504 | 27405 | 13.9 | 53M | 74 | 571 | 875 | 361 |5006 | 1 | 331 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.43/3.61 c 3.5s| 2000 | 503 | 27858 | 13.5 | 53M | 74 | 571 | 907 | 370 |5118 | 2 | 363 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.43/3.65 c 3.5s| 2100 | 498 | 28138 | 13.0 | 53M | 74 | 571 | 945 | 0 |5204 | 0 | 401 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.53/3.70 c 3.6s| 2200 | 504 | 28614 | 12.6 | 53M | 74 | 571 | 954 | 386 |5341 | 2 | 410 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.53/3.74 c 3.6s| 2300 | 499 | 29046 | 12.2 | 53M | 74 | 571 | 966 | 0 |5463 | 0 | 422 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.53/3.78 c 3.6s| 2400 | 502 | 29399 | 11.9 | 53M | 74 | 571 | 983 | 0 |5555 | 0 | 439 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.63/3.82 c 3.7s| 2500 | 498 | 29762 | 11.5 | 53M | 74 | 571 |1001 | 363 |5659 | 1 | 457 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.63/3.86 c 3.7s| 2600 | 496 | 30148 | 11.2 | 53M | 74 | 571 |1010 | 0 |5762 | 0 | 466 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.73/3.90 c 3.8s| 2700 | 495 | 30499 | 11.0 | 53M | 74 | 571 |1018 | 378 |5864 | 2 | 474 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.73/3.94 c 3.8s| 2800 | 499 | 30915 | 10.7 | 53M | 74 | 571 |1021 | 0 |5981 | 0 | 477 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.73/3.99 c 3.9s| 2900 | 499 | 31463 | 10.5 | 53M | 74 | 571 |1034 | 0 |6106 | 0 | 490 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.83/4.04 c 3.9s| 3000 | 491 | 31977 | 10.3 | 53M | 74 | 571 |1069 | 0 |6234 | 0 | 525 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.83/4.09 c 4.0s| 3100 | 505 | 32652 | 10.2 | 53M | 74 | 571 |1073 | 379 |6375 | 2 | 529 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.93/4.13 c 4.0s| 3200 | 497 | 33089 | 10.1 | 53M | 74 | 571 |1092 | 374 |6475 | 1 | 548 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
3.93/4.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.93/4.17 c 4.0s| 3300 | 500 | 33456 | 9.9 | 53M | 74 | 571 |1114 | 0 |6581 | 0 | 570 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.03/4.21 c 4.1s| 3400 | 492 | 33773 | 9.7 | 53M | 74 | 571 |1122 | 0 |6671 | 0 | 578 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.03/4.26 c 4.1s| 3500 | 507 | 34171 | 9.5 | 53M | 74 | 571 |1145 | 362 |6780 | 2 | 601 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.13/4.30 c 4.2s| 3600 | 527 | 34675 | 9.4 | 53M | 74 | 571 |1145 | 0 |6851 | 0 | 601 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.13/4.34 c 4.2s| 3700 | 521 | 35091 | 9.2 | 53M | 74 | 571 |1152 | 364 |6929 | 2 | 608 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.13/4.39 c 4.3s| 3800 | 526 | 35711 | 9.2 | 53M | 74 | 571 |1163 | 393 |7025 | 1 | 619 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.23/4.43 c 4.3s| 3900 | 524 | 36181 | 9.0 | 53M | 74 | 571 |1175 | 364 |7083 | 2 | 631 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.23/4.47 c 4.3s| 4000 | 525 | 36672 | 8.9 | 53M | 75 | 571 |1201 | 0 |7160 | 0 | 657 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.33/4.51 c 4.4s| 4100 | 524 | 37214 | 8.9 | 53M | 75 | 571 |1212 | 381 |7225 | 1 | 668 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.33/4.55 c 4.4s| 4200 | 531 | 37658 | 8.7 | 53M | 75 | 571 |1219 | 375 |7295 | 2 | 675 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.43/4.60 c 4.5s| 4300 | 537 | 38337 | 8.7 | 53M | 75 | 571 |1230 | 368 |7391 | 2 | 686 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.43/4.64 c 4.5s| 4400 | 532 | 38692 | 8.6 | 53M | 75 | 571 |1237 | 366 |7485 | 2 | 693 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.43/4.67 c 4.5s| 4500 | 530 | 39017 | 8.5 | 53M | 75 | 571 |1249 | 0 |7579 | 0 | 705 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.52/4.72 c 4.6s| 4600 | 527 | 39596 | 8.4 | 53M | 75 | 571 |1278 | 0 |7689 | 0 | 734 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.52/4.77 c 4.6s| 4700 | 529 | 40193 | 8.4 | 53M | 75 | 571 |1303 | 0 |7767 | 0 | 759 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.62/4.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.62/4.81 c 4.7s| 4800 | 523 | 40663 | 8.3 | 54M | 75 | 571 |1331 | 0 |7848 | 0 | 787 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.62/4.86 c 4.7s| 4900 | 537 | 41126 | 8.2 | 54M | 75 | 571 |1341 | 379 |7923 | 2 | 797 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.62/4.90 c 4.8s| 5000 | 532 | 41458 | 8.1 | 54M | 75 | 571 |1343 | 0 |8027 | 0 | 800 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.72/4.93 c 4.8s| 5100 | 526 | 41721 | 8.0 | 54M | 77 | 571 |1350 | 0 |8123 | 0 | 807 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.72/4.99 c 4.9s| 5200 | 534 | 42450 | 8.0 | 54M | 77 | 571 |1359 | 376 |8271 | 1 | 816 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.83/5.04 c 4.9s| 5300 | 541 | 42862 | 7.9 | 54M | 77 | 571 |1389 | 376 |8377 | 1 | 846 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.83/5.08 c 4.9s| 5400 | 547 | 43251 | 7.8 | 54M | 77 | 571 |1393 | 0 |8472 | 0 | 850 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.93/5.12 c 5.0s| 5500 | 537 | 43582 | 7.8 | 54M | 77 | 571 |1409 | 372 |8546 | 1 | 866 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.93/5.16 c 5.0s| 5600 | 536 | 43949 | 7.7 | 54M | 77 | 571 |1422 | 0 |8641 | 0 | 879 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
4.93/5.19 c 5.1s| 5700 | 534 | 44249 | 7.6 | 54M | 77 | 571 |1422 | 381 |8742 | 2 | 879 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.02/5.25 c 5.1s| 5800 | 530 | 44948 | 7.6 | 54M | 77 | 571 |1434 | 381 |8865 | 2 | 891 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.12/5.30 c 5.2s| 5900 | 522 | 45540 | 7.6 | 54M | 77 | 571 |1450 | 0 |8968 | 0 | 907 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.12/5.35 c 5.2s| 6000 | 516 | 46108 | 7.5 | 54M | 77 | 571 |1475 | 371 |9090 | 2 | 932 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.12/5.39 c 5.3s| 6100 | 508 | 46499 | 7.5 | 54M | 77 | 571 |1481 | 362 |9173 | 1 | 939 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.22/5.45 c 5.3s| 6200 | 525 | 47194 | 7.5 | 54M | 77 | 571 |1492 | 370 |9294 | 2 | 950 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.22/5.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.22/5.49 c 5.4s| 6300 | 519 | 47689 | 7.4 | 54M | 77 | 571 |1508 | 375 |9370 | 1 | 966 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.32/5.52 c 5.4s| 6400 | 511 | 48049 | 7.4 | 54M | 77 | 571 |1518 | 381 |9425 | 1 | 977 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.32/5.56 c 5.4s| 6500 | 506 | 48477 | 7.3 | 54M | 77 | 571 |1521 | 0 |9493 | 0 | 981 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.42/5.61 c 5.5s| 6600 | 502 | 49003 | 7.3 | 54M | 77 | 571 |1531 | 0 |9591 | 0 | 991 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.42/5.66 c 5.5s| 6700 | 506 | 49590 | 7.3 | 54M | 77 | 571 |1537 | 381 |9688 | 1 | 997 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.52/5.70 c 5.6s| 6800 | 504 | 50249 | 7.3 | 54M | 77 | 571 |1541 | 361 |9783 | 1 |1001 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.52/5.75 c 5.6s| 6900 | 508 | 50856 | 7.2 | 54M | 77 | 571 |1559 | 0 |9877 | 0 |1021 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.62/5.80 c 5.7s| 7000 | 516 | 51387 | 7.2 | 54M | 77 | 571 |1570 | 376 |9968 | 1 |1034 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.62/5.83 c 5.7s| 7100 | 506 | 51760 | 7.2 | 54M | 77 | 571 |1570 | 0 | 10k| 0 |1034 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.62/5.87 c 5.7s| 7200 | 499 | 52169 | 7.1 | 54M | 77 | 571 |1575 | 0 | 10k| 0 |1039 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.72/5.92 c 5.8s| 7300 | 499 | 52796 | 7.1 | 54M | 77 | 571 |1587 | 0 | 10k| 0 |1051 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.72/5.98 c 5.8s| 7400 | 502 | 53532 | 7.1 | 54M | 77 | 571 |1593 | 0 | 10k| 0 |1059 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.82/6.02 c 5.9s| 7500 | 508 | 53945 | 7.1 | 54M | 77 | 571 |1598 | 382 | 10k| 1 |1064 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.82/6.07 c 5.9s| 7600 | 521 | 54368 | 7.0 | 54M | 77 | 571 |1603 | 370 | 10k| 2 |1069 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.92/6.11 c 6.0s| 7700 | 526 | 54675 | 7.0 | 54M | 77 | 571 |1614 | 0 | 10k| 0 |1080 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.92/6.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.92/6.15 c 6.0s| 7800 | 537 | 54982 | 6.9 | 54M | 77 | 571 |1637 | 379 | 10k| 2 |1103 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
5.92/6.20 c 6.1s| 7900 | 543 | 55267 | 6.9 | 54M | 77 | 571 |1650 | 369 | 10k| 1 |1116 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.02/6.23 c 6.1s| 8000 | 549 | 55616 | 6.8 | 54M | 77 | 571 |1650 | 384 | 10k| 1 |1116 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.02/6.28 c 6.2s| 8100 | 560 | 55973 | 6.8 | 54M | 77 | 571 |1663 | 0 | 10k| 0 |1129 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.12/6.32 c 6.2s| 8200 | 568 | 56245 | 6.7 | 54M | 77 | 571 |1665 | 371 | 11k| 2 |1132 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.12/6.35 c 6.2s| 8300 | 568 | 56528 | 6.7 | 54M | 77 | 571 |1665 | 0 | 11k| 0 |1132 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.12/6.38 c 6.2s| 8400 | 570 | 56929 | 6.7 | 54M | 77 | 571 |1665 | 0 | 11k| 0 |1132 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.22/6.41 c 6.3s| 8500 | 564 | 57268 | 6.6 | 54M | 77 | 571 |1665 | 382 | 11k| 2 |1132 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.22/6.45 c 6.3s| 8600 | 559 | 57542 | 6.6 | 54M | 77 | 571 |1667 | 361 | 11k| 1 |1134 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.22/6.48 c 6.3s| 8700 | 565 | 57849 | 6.5 | 54M | 77 | 571 |1676 | 0 | 11k| 0 |1143 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.32/6.51 c 6.4s| 8800 | 569 | 58177 | 6.5 | 54M | 77 | 571 |1676 | 0 | 11k| 0 |1143 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.32/6.54 c 6.4s| 8900 | 562 | 58515 | 6.5 | 54M | 77 | 571 |1679 | 369 | 11k| 1 |1146 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.32/6.58 c 6.4s| 9000 | 570 | 58783 | 6.4 | 54M | 77 | 571 |1698 | 0 | 11k| 0 |1166 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.42/6.61 c 6.5s| 9100 | 574 | 59140 | 6.4 | 54M | 77 | 571 |1698 | 366 | 11k| 1 |1166 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.42/6.65 c 6.5s| 9200 | 568 | 59435 | 6.4 | 54M | 77 | 571 |1715 | 0 | 11k| 0 |1183 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.42/6.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.42/6.68 c 6.5s| 9300 | 582 | 59807 | 6.3 | 54M | 77 | 571 |1718 | 371 | 11k| 1 |1186 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.51/6.71 c 6.6s| 9400 | 572 | 60118 | 6.3 | 54M | 77 | 571 |1718 | 374 | 11k| 1 |1186 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.51/6.75 c 6.6s| 9500 | 580 | 60548 | 6.3 | 54M | 77 | 571 |1717 | 0 | 11k| 0 |1186 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.51/6.78 c 6.6s| 9600 | 578 | 60884 | 6.2 | 54M | 77 | 571 |1722 | 0 | 11k| 0 |1191 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.61/6.81 c 6.7s| 9700 | 584 | 61195 | 6.2 | 54M | 77 | 571 |1729 | 360 | 12k| 2 |1198 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.61/6.84 c 6.7s| 9800 | 584 | 61584 | 6.2 | 54M | 77 | 571 |1729 | 361 | 12k| 1 |1198 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.61/6.88 c 6.7s| 9900 | 574 | 61968 | 6.2 | 54M | 77 | 571 |1733 | 0 | 12k| 0 |1202 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.71/6.91 c 6.8s| 10000 | 579 | 62261 | 6.1 | 54M | 77 | 571 |1736 | 0 | 12k| 0 |1205 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.71/6.95 c 6.8s| 10100 | 579 | 62793 | 6.1 | 54M | 77 | 571 |1740 | 0 | 12k| 0 |1209 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.71/6.99 c 6.9s| 10200 | 585 | 63153 | 6.1 | 54M | 77 | 571 |1751 | 0 | 12k| 0 |1220 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.82/7.02 c 6.9s| 10300 | 577 | 63446 | 6.1 | 54M | 77 | 571 |1751 | 365 | 12k| 1 |1220 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.82/7.06 c 6.9s| 10400 | 581 | 63923 | 6.1 | 54M | 77 | 571 |1750 | 0 | 12k| 0 |1220 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.82/7.09 c 7.0s| 10500 | 583 | 64290 | 6.0 | 54M | 77 | 571 |1750 | 0 | 12k| 0 |1220 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.92/7.12 c 7.0s| 10600 | 582 | 64724 | 6.0 | 54M | 77 | 571 |1759 | 0 | 12k| 0 |1230 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.92/7.16 c 7.0s| 10700 | 575 | 65122 | 6.0 | 54M | 77 | 571 |1762 | 0 | 12k| 0 |1233 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
6.92/7.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.92/7.19 c 7.1s| 10800 | 575 | 65509 | 6.0 | 54M | 77 | 571 |1773 | 0 | 12k| 0 |1244 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.01/7.23 c 7.1s| 10900 | 573 | 65915 | 6.0 | 54M | 77 | 571 |1773 | 0 | 12k| 0 |1244 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.01/7.26 c 7.1s| 11000 | 577 | 66197 | 5.9 | 54M | 77 | 571 |1775 | 0 | 12k| 0 |1246 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.11/7.30 c 7.2s| 11100 | 573 | 66546 | 5.9 | 54M | 77 | 571 |1774 | 0 | 13k| 0 |1246 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.11/7.33 c 7.2s| 11200 | 575 | 66893 | 5.9 | 54M | 77 | 571 |1777 | 367 | 13k| 1 |1249 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.11/7.36 c 7.2s| 11300 | 568 | 67150 | 5.9 | 54M | 77 | 571 |1784 | 0 | 13k| 0 |1256 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.11/7.40 c 7.3s| 11400 | 566 | 67494 | 5.8 | 54M | 77 | 571 |1788 | 373 | 13k| 1 |1260 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.21/7.42 c 7.3s| 11500 | 568 | 67793 | 5.8 | 54M | 77 | 571 |1788 | 0 | 13k| 0 |1260 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.21/7.46 c 7.3s| 11600 | 567 | 68150 | 5.8 | 54M | 77 | 571 |1790 | 0 | 13k| 0 |1263 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.21/7.49 c 7.4s| 11700 | 569 | 68485 | 5.8 | 54M | 77 | 571 |1795 | 0 | 13k| 0 |1268 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.31/7.52 c 7.4s| 11800 | 571 | 68805 | 5.8 | 54M | 77 | 571 |1795 | 0 | 13k| 0 |1268 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.31/7.56 c 7.4s| 11900 | 575 | 69176 | 5.7 | 54M | 77 | 571 |1795 | 0 | 13k| 0 |1268 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.31/7.59 c 7.5s| 12000 | 575 | 69508 | 5.7 | 54M | 77 | 571 |1796 | 0 | 13k| 0 |1269 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.41/7.62 c 7.5s| 12100 | 574 | 69750 | 5.7 | 54M | 77 | 571 |1799 | 367 | 13k| 1 |1272 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.41/7.66 c 7.5s| 12200 | 574 | 70124 | 5.7 | 54M | 77 | 571 |1799 | 367 | 13k| 1 |1272 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.41/7.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.41/7.69 c 7.6s| 12300 | 571 | 70502 | 5.7 | 54M | 77 | 571 |1807 | 0 | 13k| 0 |1280 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.51/7.72 c 7.6s| 12400 | 572 | 70841 | 5.6 | 54M | 77 | 571 |1810 | 0 | 13k| 0 |1283 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.51/7.75 c 7.6s| 12500 | 566 | 71210 | 5.6 | 54M | 77 | 571 |1809 | 0 | 14k| 0 |1283 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.51/7.79 c 7.7s| 12600 | 574 | 71630 | 5.6 | 54M | 77 | 571 |1819 | 375 | 14k| 2 |1293 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.61/7.82 c 7.7s| 12700 | 564 | 71923 | 5.6 | 54M | 77 | 571 |1822 | 0 | 14k| 0 |1296 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.61/7.86 c 7.7s| 12800 | 567 | 72243 | 5.6 | 54M | 77 | 571 |1823 | 370 | 14k| 2 |1298 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.61/7.89 c 7.8s| 12900 | 571 | 72545 | 5.6 | 54M | 77 | 571 |1823 | 0 | 14k| 0 |1298 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.71/7.92 c 7.8s| 13000 | 575 | 72949 | 5.5 | 54M | 77 | 571 |1823 | 375 | 14k| 1 |1298 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.71/7.96 c 7.8s| 13100 | 577 | 73292 | 5.5 | 54M | 77 | 571 |1822 | 374 | 14k| 1 |1298 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.71/7.99 c 7.9s| 13200 | 581 | 73631 | 5.5 | 54M | 77 | 571 |1822 | 0 | 14k| 0 |1298 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.81/8.02 c 7.9s| 13300 | 577 | 74042 | 5.5 | 54M | 77 | 571 |1822 | 0 | 14k| 0 |1298 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.81/8.05 c 7.9s| 13400 | 567 | 74460 | 5.5 | 54M | 77 | 571 |1824 | 0 | 14k| 0 |1301 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.81/8.09 c 8.0s| 13500 | 579 | 74826 | 5.5 | 54M | 77 | 571 |1826 | 376 | 14k| 2 |1304 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.91/8.12 c 8.0s| 13600 | 571 | 75177 | 5.5 | 54M | 77 | 571 |1826 | 381 | 14k| 2 |1304 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.91/8.15 c 8.0s| 13700 | 575 | 75621 | 5.5 | 54M | 77 | 571 |1826 | 369 | 14k| 2 |1304 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
7.91/8.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.91/8.18 c 8.0s| 13800 | 569 | 75970 | 5.4 | 54M | 77 | 571 |1826 | 0 | 14k| 0 |1304 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.01/8.22 c 8.1s| 13900 | 569 | 76354 | 5.4 | 54M | 77 | 571 |1825 | 373 | 14k| 2 |1304 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.01/8.25 c 8.1s| 14000 | 561 | 76745 | 5.4 | 54M | 77 | 571 |1825 | 0 | 15k| 0 |1304 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.12/8.30 c 8.2s| 14100 | 565 | 77177 | 5.4 | 54M | 77 | 571 |1829 | 0 | 15k| 0 |1308 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.12/8.33 c 8.2s| 14200 | 565 | 77547 | 5.4 | 54M | 77 | 571 |1828 | 0 | 15k| 0 |1308 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.12/8.36 c 8.2s| 14300 | 557 | 78056 | 5.4 | 54M | 77 | 571 |1828 | 0 | 15k| 0 |1308 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.22/8.41 c 8.3s| 14400 | 579 | 78364 | 5.4 | 54M | 77 | 571 |1834 | 368 | 15k| 1 |1316 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.22/8.44 c 8.3s| 14500 | 575 | 78707 | 5.4 | 54M | 77 | 571 |1834 | 371 | 15k| 1 |1316 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.22/8.47 c 8.3s| 14600 | 577 | 79077 | 5.4 | 54M | 77 | 571 |1833 | 0 | 15k| 0 |1316 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.32/8.51 c 8.4s| 14700 | 571 | 79418 | 5.3 | 54M | 77 | 571 |1832 | 0 | 15k| 0 |1316 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.32/8.54 c 8.4s| 14800 | 578 | 79779 | 5.3 | 54M | 77 | 571 |1834 | 378 | 15k| 1 |1318 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.32/8.57 c 8.4s| 14900 | 582 | 80118 | 5.3 | 54M | 77 | 571 |1834 | 377 | 15k| 2 |1318 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.42/8.60 c 8.5s| 15000 | 568 | 80485 | 5.3 | 54M | 77 | 571 |1838 | 0 | 15k| 0 |1322 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.42/8.63 c 8.5s| 15100 | 562 | 80698 | 5.3 | 54M | 77 | 571 |1838 | 0 | 15k| 0 |1322 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.42/8.67 c 8.5s| 15200 | 563 | 81010 | 5.3 | 54M | 77 | 571 |1852 | 0 | 15k| 0 |1337 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.52/8.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.52/8.70 c 8.6s| 15300 | 559 | 81311 | 5.3 | 54M | 77 | 571 |1851 | 0 | 15k| 0 |1337 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.52/8.74 c 8.6s| 15400 | 561 | 81665 | 5.2 | 54M | 77 | 571 |1854 | 374 | 15k| 1 |1340 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.52/8.77 c 8.6s| 15500 | 553 | 81984 | 5.2 | 54M | 77 | 571 |1854 | 0 | 16k| 0 |1340 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.61/8.80 c 8.7s| 15600 | 546 | 82287 | 5.2 | 54M | 77 | 571 |1864 | 369 | 16k| 2 |1354 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.61/8.84 c 8.7s| 15700 | 552 | 82721 | 5.2 | 54M | 77 | 571 |1861 | 0 | 16k| 0 |1354 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.61/8.88 c 8.7s| 15800 | 549 | 83178 | 5.2 | 54M | 77 | 571 |1860 | 0 | 16k| 0 |1357 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.71/8.92 c 8.8s| 15900 | 553 | 83637 | 5.2 | 54M | 77 | 571 |1857 | 372 | 16k| 1 |1360 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.71/8.95 c 8.8s| 16000 | 551 | 83989 | 5.2 | 54M | 77 | 571 |1857 | 378 | 16k| 1 |1360 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.71/8.99 c 8.9s| 16100 | 549 | 84250 | 5.2 | 54M | 77 | 571 |1857 | 0 | 16k| 0 |1360 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.82/9.02 c 8.9s| 16200 | 548 | 84587 | 5.2 | 54M | 77 | 571 |1864 | 0 | 16k| 0 |1367 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.82/9.06 c 8.9s| 16300 | 548 | 84965 | 5.2 | 54M | 77 | 571 |1862 | 374 | 16k| 1 |1367 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.82/9.09 c 9.0s| 16400 | 550 | 85240 | 5.1 | 54M | 77 | 571 |1867 | 381 | 16k| 2 |1373 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.92/9.12 c 9.0s| 16500 | 541 | 85578 | 5.1 | 54M | 77 | 571 |1871 | 365 | 16k| 1 |1377 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
8.92/9.17 c 9.0s| 16600 | 543 | 85973 | 5.1 | 54M | 77 | 571 |1868 | 0 | 16k| 0 |1381 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.01/9.21 c 9.1s| 16700 | 546 | 86564 | 5.1 | 54M | 77 | 571 |1869 | 366 | 16k| 2 |1386 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.01/9.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.01/9.24 c 9.1s| 16800 | 558 | 86988 | 5.1 | 54M | 77 | 571 |1869 | 0 | 16k| 0 |1386 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.01/9.27 c 9.1s| 16900 | 540 | 87306 | 5.1 | 54M | 77 | 571 |1870 | 0 | 17k| 0 |1389 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.11/9.31 c 9.2s| 17000 | 550 | 87720 | 5.1 | 54M | 77 | 571 |1874 | 385 | 17k| 1 |1394 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.11/9.35 c 9.2s| 17100 | 534 | 88022 | 5.1 | 54M | 77 | 571 |1879 | 0 | 17k| 0 |1400 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.11/9.39 c 9.3s| 17200 | 531 | 88418 | 5.1 | 54M | 77 | 571 |1889 | 0 | 17k| 0 |1417 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.21/9.43 c 9.3s| 17300 | 524 | 88797 | 5.1 | 54M | 77 | 571 |1894 | 367 | 17k| 2 |1425 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.21/9.47 c 9.3s| 17400 | 533 | 89195 | 5.1 | 54M | 77 | 571 |1903 | 384 | 17k| 1 |1435 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.31/9.50 c 9.4s| 17500 | 527 | 89467 | 5.1 | 54M | 77 | 571 |1912 | 0 | 17k| 0 |1444 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.31/9.53 c 9.4s| 17600 | 529 | 89764 | 5.0 | 54M | 77 | 571 |1919 | 0 | 17k| 0 |1451 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.31/9.57 c 9.4s| 17700 | 533 | 90100 | 5.0 | 54M | 77 | 571 |1922 | 367 | 17k| 2 |1454 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.41/9.60 c 9.5s| 17800 | 527 | 90415 | 5.0 | 54M | 77 | 571 |1931 | 369 | 17k| 1 |1463 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.41/9.63 c 9.5s| 17900 | 532 | 90691 | 5.0 | 54M | 77 | 571 |1936 | 377 | 17k| 1 |1469 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.41/9.66 c 9.5s| 18000 | 526 | 90980 | 5.0 | 54M | 77 | 571 |1944 | 374 | 17k| 1 |1478 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.51/9.70 c 9.6s| 18100 | 530 | 91246 | 5.0 | 54M | 77 | 571 |1944 | 0 | 17k| 0 |1478 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.51/9.73 c 9.6s| 18200 | 530 | 91582 | 5.0 | 54M | 77 | 571 |1943 | 0 | 17k| 0 |1481 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.51/9.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.51/9.76 c 9.6s| 18300 | 526 | 91916 | 5.0 | 54M | 77 | 571 |1946 | 360 | 17k| 2 |1484 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.61/9.80 c 9.7s| 18400 | 527 | 92259 | 5.0 | 54M | 77 | 571 |1952 | 0 | 17k| 0 |1490 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.61/9.83 c 9.7s| 18500 | 531 | 92544 | 5.0 | 54M | 77 | 571 |1957 | 379 | 18k| 1 |1495 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.61/9.86 c 9.7s| 18600 | 527 | 92859 | 4.9 | 54M | 77 | 571 |1959 | 371 | 18k| 2 |1497 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.71/9.90 c 9.8s| 18700 | 531 | 93272 | 4.9 | 54M | 77 | 571 |1952 | 360 | 18k| 1 |1503 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.71/9.95 c 9.8s| 18800 | 547 | 93651 | 4.9 | 54M | 77 | 571 |1961 | 375 | 18k| 2 |1514 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.71/9.98 c 9.8s| 18900 | 548 | 94019 | 4.9 | 54M | 77 | 571 |1974 | 0 | 18k| 0 |1528 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.81/10.01 c 9.9s| 19000 | 540 | 94345 | 4.9 | 54M | 77 | 571 |1977 | 0 | 18k| 0 |1531 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.81/10.04 c 9.9s| 19100 | 539 | 94590 | 4.9 | 54M | 77 | 571 |1996 | 0 | 18k| 0 |1551 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.91/10.10 c 10.0s| 19200 | 544 | 95291 | 4.9 | 54M | 77 | 571 |1993 | 0 | 18k| 0 |1559 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.91/10.14 c 10.0s| 19300 | 546 | 95600 | 4.9 | 54M | 77 | 571 |1991 | 0 | 18k| 0 |1562 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
9.91/10.18 c 10.0s| 19400 | 552 | 95894 | 4.9 | 54M | 77 | 571 |1991 | 0 | 18k| 0 |1562 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.01/10.21 c 10.1s| 19500 | 552 | 96180 | 4.9 | 54M | 77 | 571 |1990 | 362 | 18k| 1 |1565 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.01/10.24 c 10.1s| 19600 | 553 | 96510 | 4.9 | 54M | 77 | 571 |1996 | 0 | 18k| 0 |1572 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.01/10.27 c 10.1s| 19700 | 544 | 96689 | 4.9 | 54M | 77 | 571 |1998 | 364 | 18k| 2 |1577 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.11/10.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.11/10.30 c 10.2s| 19800 | 545 | 96917 | 4.8 | 54M | 77 | 571 |2005 | 366 | 18k| 1 |1586 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.11/10.34 c 10.2s| 19900 | 536 | 97397 | 4.8 | 54M | 77 | 571 |1994 | 0 | 19k| 0 |1590 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.11/10.39 c 10.3s| 20000 | 545 | 97771 | 4.8 | 54M | 77 | 571 |2016 | 0 | 19k| 0 |1618 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.21/10.42 c 10.3s| 20100 | 539 | 98132 | 4.8 | 54M | 77 | 571 |2012 | 0 | 19k| 0 |1624 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.21/10.46 c 10.3s| 20200 | 546 | 98393 | 4.8 | 54M | 77 | 571 |2012 | 0 | 19k| 0 |1627 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.21/10.49 c 10.4s| 20300 | 550 | 98615 | 4.8 | 54M | 77 | 571 |2022 | 373 | 19k| 1 |1637 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.31/10.52 c 10.4s| 20400 | 542 | 98829 | 4.8 | 54M | 77 | 571 |2037 | 362 | 19k| 2 |1654 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.31/10.58 c 10.5s| 20500 | 586 | 99513 | 4.8 | 55M | 77 | 571 |2049 | 359 | 19k| 1 |1670 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.41/10.64 c 10.5s| 20600 | 616 | 99925 | 4.8 | 55M | 77 | 571 |2069 | 371 | 19k| 2 |1691 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.41/10.69 c 10.6s| 20700 | 621 |100278 | 4.8 | 55M | 77 | 571 |2081 | 0 | 19k| 0 |1703 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.51/10.73 c 10.6s| 20800 | 636 |100538 | 4.8 | 55M | 77 | 571 |2119 | 361 | 19k| 1 |1742 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.51/10.77 c 10.6s| 20900 | 649 |100960 | 4.8 | 55M | 77 | 571 |2121 | 0 | 19k| 0 |1744 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.61/10.81 c 10.7s| 21000 | 643 |101255 | 4.8 | 55M | 77 | 571 |2138 | 0 | 19k| 0 |1761 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.61/10.85 c 10.7s| 21100 | 645 |101565 | 4.8 | 55M | 77 | 571 |2142 | 0 | 19k| 0 |1768 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.71/10.90 c 10.8s| 21200 | 654 |101911 | 4.8 | 55M | 77 | 571 |2156 | 0 | 20k| 0 |1784 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.71/10.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.71/10.93 c 10.8s| 21300 | 649 |102179 | 4.8 | 55M | 77 | 571 |2165 | 0 | 20k| 0 |1796 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.71/10.97 c 10.8s| 21400 | 646 |102513 | 4.7 | 55M | 77 | 571 |2167 | 0 | 20k| 0 |1799 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.81/11.00 c 10.9s| 21500 | 634 |102858 | 4.7 | 55M | 77 | 571 |2168 | 0 | 20k| 0 |1801 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.81/11.05 c 10.9s| 21600 | 635 |103213 | 4.7 | 55M | 77 | 571 |2170 | 0 | 20k| 0 |1807 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.81/11.08 c 11.0s| 21700 | 628 |103506 | 4.7 | 55M | 77 | 571 |2172 | 0 | 20k| 0 |1811 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.91/11.14 c 11.0s| 21800 | 624 |103893 | 4.7 | 55M | 77 | 571 |2203 | 0 | 20k| 0 |1844 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
10.91/11.18 c 11.0s| 21900 | 621 |104302 | 4.7 | 55M | 77 | 571 |2215 | 0 | 20k| 0 |1857 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.00/11.21 c 11.1s| 22000 | 617 |104645 | 4.7 | 55M | 77 | 571 |2219 | 381 | 20k| 1 |1861 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.00/11.26 c 11.1s| 22100 | 628 |105074 | 4.7 | 55M | 77 | 571 |2227 | 364 | 20k| 2 |1874 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.10/11.31 c 11.2s| 22200 | 671 |105541 | 4.7 | 55M | 77 | 571 |2240 | 379 | 20k| 2 |1887 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.10/11.36 c 11.2s| 22300 | 685 |105899 | 4.7 | 55M | 77 | 571 |2244 | 372 | 21k| 2 |1895 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.20/11.40 c 11.3s| 22400 | 695 |106230 | 4.7 | 55M | 77 | 571 |2260 | 380 | 21k| 2 |1916 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.20/11.45 c 11.3s| 22500 | 705 |106583 | 4.7 | 55M | 77 | 571 |2267 | 0 | 21k| 0 |1930 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.30/11.50 c 11.4s| 22600 | 716 |106927 | 4.7 | 55M | 77 | 571 |2280 | 369 | 21k| 2 |1947 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.30/11.55 c 11.4s| 22700 | 724 |107230 | 4.7 | 55M | 77 | 571 |2292 | 366 | 21k| 1 |1963 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.30/11.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.30/11.59 c 11.5s| 22800 | 732 |107545 | 4.7 | 55M | 77 | 571 |2296 | 380 | 21k| 2 |1968 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.40/11.63 c 11.5s| 22900 | 713 |107795 | 4.7 | 55M | 77 | 571 |2305 | 0 | 21k| 0 |1982 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.40/11.67 c 11.5s| 23000 | 709 |108147 | 4.7 | 55M | 77 | 571 |2315 | 0 | 21k| 0 |1995 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.50/11.71 c 11.6s| 23100 | 700 |108480 | 4.7 | 55M | 77 | 571 |2327 | 381 | 21k| 1 |2011 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.50/11.75 c 11.6s| 23200 | 698 |108765 | 4.6 | 55M | 77 | 571 |2330 | 0 | 22k| 0 |2017 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.50/11.80 c 11.7s| 23300 | 703 |109080 | 4.6 | 55M | 77 | 571 |2346 | 0 | 22k| 0 |2039 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.60/11.85 c 11.7s| 23400 | 714 |109406 | 4.6 | 55M | 77 | 571 |2372 | 370 | 22k| 2 |2069 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.70/11.90 c 11.8s| 23500 | 715 |109821 | 4.6 | 55M | 77 | 571 |2383 | 380 | 22k| 2 |2085 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.70/11.94 c 11.8s| 23600 | 701 |110101 | 4.6 | 55M | 77 | 571 |2391 | 0 | 22k| 0 |2104 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.70/11.97 c 11.8s| 23700 | 688 |110461 | 4.6 | 55M | 78 | 571 |2406 | 369 | 22k| 2 |2127 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.81/12.02 c 11.9s| 23800 | 668 |110735 | 4.6 | 55M | 78 | 571 |2417 | 0 | 22k| 0 |2165 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.81/12.07 c 11.9s| 23900 | 661 |111022 | 4.6 | 55M | 78 | 571 |2421 | 375 | 22k| 1 |2176 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.90/12.11 c 12.0s| 24000 | 659 |111382 | 4.6 | 55M | 78 | 571 |2430 | 0 | 22k| 0 |2189 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.90/12.14 c 12.0s| 24100 | 657 |111708 | 4.6 | 55M | 78 | 571 |2427 | 381 | 22k| 2 |2190 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
11.90/12.19 c 12.1s| 24200 | 631 |111971 | 4.6 | 55M | 78 | 571 |2443 | 0 | 23k| 0 |2213 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.00/12.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.00/12.24 c 12.1s| 24300 | 637 |112284 | 4.6 | 55M | 78 | 571 |2447 | 0 | 23k| 0 |2222 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.00/12.28 c 12.1s| 24400 | 629 |112534 | 4.6 | 55M | 78 | 571 |2446 | 367 | 23k| 2 |2222 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.10/12.31 c 12.2s| 24500 | 623 |112747 | 4.6 | 55M | 78 | 571 |2449 | 0 | 23k| 0 |2227 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.10/12.36 c 12.2s| 24600 | 622 |113115 | 4.6 | 55M | 78 | 571 |2450 | 373 | 23k| 2 |2237 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.20/12.41 c 12.3s| 24700 | 614 |113403 | 4.6 | 55M | 78 | 571 |2447 | 374 | 23k| 2 |2277 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.20/12.47 c 12.3s| 24800 | 629 |113854 | 4.6 | 55M | 78 | 571 |2482 | 0 | 23k| 0 |2314 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.30/12.52 c 12.4s| 24900 | 626 |114170 | 4.5 | 55M | 78 | 571 |2500 | 0 | 23k| 0 |2332 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.30/12.57 c 12.4s| 25000 | 628 |114513 | 4.5 | 55M | 78 | 571 |2531 | 385 | 24k| 2 |2366 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.40/12.62 c 12.5s| 25100 | 627 |114855 | 4.5 | 55M | 78 | 571 |2547 | 381 | 24k| 1 |2385 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.40/12.67 c 12.5s| 25200 | 618 |115123 | 4.5 | 55M | 78 | 571 |2561 | 387 | 24k| 2 |2400 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.50/12.71 c 12.6s| 25300 | 604 |115406 | 4.5 | 55M | 78 | 571 |2411 | 0 | 24k| 0 |2414 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.50/12.75 c 12.6s| 25400 | 612 |115723 | 4.5 | 55M | 78 | 571 |2325 | 0 | 24k| 0 |2438 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.60/12.80 c 12.7s| 25500 | 629 |116115 | 4.5 | 55M | 78 | 571 |2345 | 376 | 24k| 1 |2466 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.60/12.85 c 12.7s| 25600 | 629 |116511 | 4.5 | 55M | 78 | 571 |2363 | 0 | 24k| 0 |2487 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.70/12.90 c 12.8s| 25700 | 610 |116795 | 4.5 | 55M | 78 | 571 |2400 | 0 | 24k| 0 |2525 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.70/12.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.70/12.94 c 12.8s| 25800 | 613 |117101 | 4.5 | 55M | 78 | 571 |2368 | 385 | 24k| 2 |2556 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.70/12.99 c 12.9s| 25900 | 609 |117413 | 4.5 | 55M | 78 | 571 |2384 | 0 | 25k| 0 |2588 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.80/13.04 c 12.9s| 26000 | 601 |117690 | 4.5 | 55M | 78 | 571 |2372 | 0 | 25k| 0 |2631 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.80/13.09 c 13.0s| 26100 | 610 |118063 | 4.5 | 55M | 78 | 571 |2384 | 0 | 25k| 0 |2650 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.90/13.13 c 13.0s| 26200 | 603 |118381 | 4.5 | 55M | 78 | 571 |2397 | 386 | 25k| 1 |2672 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.90/13.19 c 13.1s| 26300 | 605 |118754 | 4.5 | 55M | 78 | 571 |2362 | 0 | 25k| 0 |2695 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
12.99/13.25 c 13.1s| 26400 | 599 |119179 | 4.5 | 55M | 78 | 571 |2388 | 391 | 25k| 2 |2734 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.09/13.30 c 13.2s| 26500 | 600 |119543 | 4.5 | 55M | 78 | 571 |2405 | 0 | 25k| 0 |2776 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.09/13.34 c 13.2s| 26600 | 591 |119824 | 4.5 | 55M | 78 | 571 |2447 | 0 | 25k| 0 |2820 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.09/13.40 c 13.3s| 26700 | 591 |120160 | 4.5 | 55M | 78 | 571 |2454 | 0 | 25k| 0 |2852 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.19/13.44 c 13.3s| 26800 | 585 |120481 | 4.5 | 55M | 78 | 571 |2447 | 0 | 26k| 0 |2869 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.19/13.49 c 13.4s| 26900 | 585 |120980 | 4.5 | 55M | 78 | 571 |2389 | 382 | 26k| 1 |2887 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.29/13.54 c 13.4s| 27000 | 577 |121352 | 4.5 | 55M | 78 | 571 |2390 | 0 | 26k| 0 |2897 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.29/13.59 c 13.5s| 27100 | 578 |121793 | 4.5 | 55M | 78 | 571 |2354 | 390 | 26k| 2 |2920 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.39/13.64 c 13.5s| 27200 | 584 |122246 | 4.5 | 55M | 78 | 571 |2348 | 382 | 26k| 2 |2935 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.39/13.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.39/13.69 c 13.6s| 27300 | 585 |122642 | 4.5 | 55M | 78 | 571 |2355 | 0 | 26k| 0 |2947 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.49/13.74 c 13.6s| 27400 | 577 |123026 | 4.5 | 55M | 78 | 571 |2368 | 382 | 26k| 2 |2969 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.49/13.78 c 13.7s| 27500 | 590 |123402 | 4.5 | 55M | 78 | 571 |2358 | 385 | 26k| 2 |2986 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.59/13.82 c 13.7s| 27600 | 584 |123637 | 4.4 | 55M | 78 | 571 |2356 | 382 | 26k| 1 |2986 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.59/13.85 c 13.7s| 27700 | 586 |123931 | 4.4 | 55M | 78 | 571 |2351 | 0 | 26k| 0 |2989 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.59/13.89 c 13.8s| 27800 | 571 |124191 | 4.4 | 55M | 78 | 571 |2339 | 0 | 27k| 0 |3006 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.69/13.95 c 13.8s| 27900 | 575 |124621 | 4.4 | 55M | 78 | 571 |2366 | 383 | 27k| 2 |3041 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.69/14.00 c 13.9s| 28000 | 565 |125066 | 4.4 | 55M | 78 | 571 |2365 | 0 | 27k| 0 |3074 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.79/14.04 c 13.9s| 28100 | 565 |125375 | 4.4 | 55M | 78 | 571 |2369 | 0 | 27k| 0 |3089 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.79/14.09 c 14.0s| 28200 | 558 |125744 | 4.4 | 55M | 78 | 571 |2325 | 372 | 27k| 1 |3115 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.89/14.13 c 14.0s| 28300 | 558 |126074 | 4.4 | 55M | 78 | 571 |2330 | 364 | 27k| 2 |3141 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.89/14.18 c 14.0s| 28400 | 561 |126461 | 4.4 | 55M | 78 | 571 |2328 | 371 | 27k| 1 |3144 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.99/14.22 c 14.1s| 28500 | 558 |126741 | 4.4 | 55M | 78 | 571 |2344 | 0 | 27k| 0 |3169 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
13.99/14.26 c 14.1s| 28600 | 556 |127073 | 4.4 | 55M | 78 | 571 |2344 | 0 | 27k| 0 |3177 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.09/14.30 c 14.2s| 28700 | 553 |127380 | 4.4 | 55M | 78 | 571 |2342 | 365 | 28k| 2 |3180 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.09/14.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.09/14.34 c 14.2s| 28800 | 545 |127702 | 4.4 | 55M | 78 | 571 |2333 | 375 | 28k| 1 |3188 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.09/14.39 c 14.3s| 28900 | 551 |128049 | 4.4 | 55M | 78 | 571 |2313 | 369 | 28k| 2 |3196 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.19/14.43 c 14.3s| 29000 | 549 |128319 | 4.4 | 55M | 78 | 571 |2329 | 0 | 28k| 0 |3221 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.19/14.47 c 14.3s| 29100 | 548 |128603 | 4.4 | 55M | 78 | 571 |2323 | 0 | 28k| 0 |3237 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.29/14.50 c 14.4s| 29200 | 548 |128940 | 4.4 | 55M | 78 | 571 |2321 | 0 | 28k| 0 |3241 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.29/14.55 c 14.4s| 29300 | 553 |129232 | 4.4 | 55M | 78 | 571 |2328 | 0 | 28k| 0 |3251 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.29/14.58 c 14.4s| 29400 | 551 |129605 | 4.4 | 55M | 78 | 571 |2329 | 376 | 28k| 2 |3253 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.39/14.62 c 14.5s| 29500 | 544 |129838 | 4.4 | 55M | 78 | 571 |2241 | 0 | 28k| 0 |3299 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.39/14.65 c 14.5s| 29600 | 548 |130202 | 4.4 | 55M | 78 | 571 |2239 | 0 | 28k| 0 |3300 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.39/14.69 c 14.6s| 29700 | 550 |130525 | 4.4 | 55M | 78 | 571 |2208 | 372 | 28k| 1 |3309 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.49/14.75 c 14.6s| 29800 | 546 |130866 | 4.4 | 55M | 78 | 571 |2227 | 384 | 29k| 2 |3362 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.59/14.80 c 14.7s| 29900 | 540 |131268 | 4.4 | 55M | 78 | 571 |2227 | 379 | 29k| 2 |3377 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.59/14.84 c 14.7s| 30000 | 545 |131777 | 4.4 | 55M | 78 | 571 |2236 | 382 | 29k| 2 |3408 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.59/14.89 c 14.8s| 30100 | 563 |132174 | 4.4 | 55M | 78 | 571 |2222 | 389 | 29k| 2 |3412 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.69/14.92 c 14.8s| 30200 | 553 |132393 | 4.4 | 55M | 78 | 571 |2223 | 381 | 29k| 2 |3414 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.69/14.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.69/14.95 c 14.8s| 30300 | 555 |132657 | 4.3 | 55M | 78 | 571 |2223 | 383 | 29k| 1 |3414 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.69/14.98 c 14.8s| 30400 | 551 |132885 | 4.3 | 55M | 78 | 571 |2223 | 0 | 29k| 0 |3414 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.79/15.03 c 14.9s| 30500 | 560 |133215 | 4.3 | 55M | 78 | 571 |2203 | 382 | 29k| 1 |3432 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.79/15.07 c 14.9s| 30600 | 570 |133588 | 4.3 | 55M | 78 | 571 |2173 | 372 | 29k| 2 |3433 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.89/15.10 c 15.0s| 30700 | 565 |133802 | 4.3 | 55M | 78 | 571 |2174 | 0 | 29k| 0 |3437 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.89/15.15 c 15.0s| 30800 | 573 |134082 | 4.3 | 55M | 78 | 571 |2180 | 379 | 29k| 2 |3452 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.89/15.20 c 15.1s| 30900 | 577 |134509 | 4.3 | 55M | 78 | 571 |2175 | 0 | 30k| 0 |3454 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.98/15.24 c 15.1s| 31000 | 580 |134905 | 4.3 | 55M | 78 | 571 |2198 | 370 | 30k| 2 |3481 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
14.98/15.28 c 15.2s| 31100 | 578 |135281 | 4.3 | 55M | 78 | 571 |2213 | 0 | 30k| 0 |3501 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.08/15.31 c 15.2s| 31200 | 575 |135516 | 4.3 | 55M | 78 | 571 |2227 | 0 | 30k| 0 |3516 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.08/15.36 c 15.2s| 31300 | 575 |135833 | 4.3 | 55M | 78 | 571 |2229 | 0 | 30k| 0 |3521 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.18/15.40 c 15.3s| 31400 | 596 |136237 | 4.3 | 55M | 78 | 571 |2221 | 380 | 30k| 1 |3524 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.18/15.44 c 15.3s| 31500 | 587 |136477 | 4.3 | 55M | 78 | 571 |2228 | 375 | 30k| 2 |3545 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.18/15.49 c 15.4s| 31600 | 579 |136876 | 4.3 | 55M | 78 | 571 |2245 | 0 | 30k| 0 |3563 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.28/15.55 c 15.4s| 31700 | 599 |137262 | 4.3 | 55M | 78 | 571 |2259 | 0 | 31k| 0 |3589 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.38/15.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.38/15.60 c 15.5s| 31800 | 594 |137756 | 4.3 | 55M | 78 | 571 |2271 | 0 | 31k| 0 |3607 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.38/15.65 c 15.5s| 31900 | 593 |138204 | 4.3 | 55M | 78 | 571 |2281 | 0 | 31k| 0 |3623 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.38/15.69 c 15.6s| 32000 | 603 |138621 | 4.3 | 55M | 78 | 571 |2292 | 0 | 31k| 0 |3638 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.48/15.72 c 15.6s| 32100 | 595 |138962 | 4.3 | 55M | 78 | 571 |2296 | 363 | 31k| 1 |3642 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.48/15.78 c 15.6s| 32200 | 600 |139413 | 4.3 | 55M | 78 | 571 |2299 | 373 | 31k| 2 |3648 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.58/15.82 c 15.7s| 32300 | 596 |139815 | 4.3 | 55M | 78 | 571 |2292 | 0 | 31k| 0 |3656 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.58/15.87 c 15.7s| 32400 | 599 |140198 | 4.3 | 55M | 78 | 571 |2294 | 0 | 31k| 0 |3661 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.68/15.90 c 15.8s| 32500 | 605 |140600 | 4.3 | 55M | 78 | 571 |2294 | 383 | 32k| 2 |3661 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.68/15.94 c 15.8s| 32600 | 588 |140883 | 4.3 | 55M | 78 | 571 |2287 | 372 | 32k| 2 |3665 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.68/15.99 c 15.9s| 32700 | 586 |141379 | 4.3 | 55M | 78 | 571 |2274 | 374 | 32k| 1 |3670 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.79/16.03 c 15.9s| 32800 | 583 |141729 | 4.3 | 55M | 78 | 571 |2266 | 373 | 32k| 2 |3673 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.79/16.07 c 15.9s| 32900 | 578 |142141 | 4.3 | 55M | 78 | 571 |2267 | 0 | 32k| 0 |3682 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.89/16.11 c 16.0s| 33000 | 575 |142553 | 4.3 | 55M | 78 | 571 |2275 | 0 | 32k| 0 |3695 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.89/16.15 c 16.0s| 33100 | 573 |143005 | 4.3 | 55M | 78 | 571 |2267 | 366 | 32k| 2 |3695 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.98/16.20 c 16.1s| 33200 | 584 |143488 | 4.3 | 55M | 78 | 571 |2266 | 0 | 32k| 0 |3700 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.98/16.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.98/16.25 c 16.1s| 33300 | 567 |143809 | 4.3 | 55M | 78 | 571 |2282 | 0 | 32k| 0 |3724 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
15.98/16.29 c 16.2s| 33400 | 577 |144154 | 4.3 | 55M | 78 | 571 |2281 | 385 | 33k| 1 |3728 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.08/16.32 c 16.2s| 33500 | 570 |144457 | 4.3 | 55M | 78 | 571 |2283 | 0 | 33k| 0 |3731 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.08/16.36 c 16.2s| 33600 | 559 |144864 | 4.3 | 55M | 78 | 571 |2285 | 0 | 33k| 0 |3737 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.18/16.41 c 16.3s| 33700 | 552 |145233 | 4.3 | 55M | 78 | 571 |2290 | 0 | 33k| 0 |3748 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.18/16.45 c 16.3s| 33800 | 559 |145609 | 4.3 | 55M | 78 | 571 |2244 | 381 | 33k| 2 |3758 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.28/16.50 c 16.4s| 33900 | 575 |146061 | 4.3 | 55M | 78 | 571 |2235 | 377 | 33k| 2 |3768 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.28/16.55 c 16.4s| 34000 | 560 |146571 | 4.3 | 55M | 78 | 571 |2229 | 0 | 33k| 0 |3771 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.28/16.59 c 16.5s| 34100 | 558 |146955 | 4.3 | 55M | 78 | 571 |2229 | 0 | 33k| 0 |3780 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.38/16.64 c 16.5s| 34200 | 550 |147314 | 4.3 | 55M | 78 | 571 |2131 | 377 | 33k| 1 |3794 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.38/16.67 c 16.5s| 34300 | 550 |147630 | 4.3 | 55M | 78 | 571 |2131 | 0 | 34k| 0 |3797 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.48/16.71 c 16.6s| 34400 | 537 |147938 | 4.3 | 55M | 78 | 571 |2116 | 0 | 34k| 0 |3813 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.48/16.75 c 16.6s| 34500 | 536 |148315 | 4.3 | 55M | 78 | 571 |2081 | 0 | 34k| 0 |3826 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.48/16.78 c 16.6s| 34600 | 538 |148651 | 4.3 | 55M | 78 | 571 |2081 | 0 | 34k| 0 |3826 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.58/16.82 c 16.7s| 34700 | 540 |148928 | 4.3 | 55M | 78 | 571 |2069 | 0 | 34k| 0 |3831 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.58/16.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.58/16.85 c 16.7s| 34800 | 536 |149244 | 4.3 | 55M | 78 | 571 |2067 | 368 | 34k| 1 |3832 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.58/16.88 c 16.7s| 34900 | 538 |149608 | 4.3 | 55M | 78 | 571 |2064 | 0 | 34k| 0 |3832 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.68/16.92 c 16.8s| 35000 | 536 |149967 | 4.3 | 55M | 78 | 571 |1990 | 359 | 34k| 1 |3846 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.68/16.98 c 16.8s| 35100 | 541 |150432 | 4.3 | 55M | 78 | 571 |1982 | 375 | 34k| 2 |3870 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.78/17.03 c 16.9s| 35200 | 534 |150840 | 4.3 | 55M | 78 | 571 |1992 | 0 | 34k| 0 |3889 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.78/17.09 c 17.0s| 35300 | 550 |151327 | 4.3 | 55M | 78 | 571 |1994 | 0 | 35k| 0 |3911 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.88/17.13 c 17.0s| 35400 | 540 |151693 | 4.3 | 55M | 78 | 571 |1992 | 363 | 35k| 1 |3914 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.88/17.17 c 17.0s| 35500 | 534 |151957 | 4.3 | 55M | 78 | 571 |2000 | 362 | 35k| 2 |3930 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.98/17.23 c 17.1s| 35600 | 552 |152418 | 4.3 | 55M | 78 | 571 |1994 | 371 | 35k| 2 |3944 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
16.98/17.28 c 17.1s| 35700 | 546 |152889 | 4.3 | 55M | 78 | 571 |2013 | 0 | 35k| 0 |3969 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.07/17.33 c 17.2s| 35800 | 544 |153308 | 4.3 | 55M | 78 | 571 |2029 | 376 | 35k| 1 |4006 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.07/17.38 c 17.3s| 35900 | 538 |153637 | 4.3 | 55M | 78 | 571 |2053 | 373 | 35k| 2 |4036 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.17/17.43 c 17.3s| 36000 | 540 |154184 | 4.3 | 55M | 78 | 571 |2057 | 373 | 35k| 2 |4044 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.17/17.49 c 17.4s| 36100 | 533 |154546 | 4.3 | 55M | 78 | 571 |2046 | 363 | 36k| 1 |4070 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.27/17.54 c 17.4s| 36200 | 529 |154921 | 4.3 | 55M | 78 | 571 |2045 | 365 | 36k| 1 |4084 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.27/17.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.27/17.58 c 17.5s| 36300 | 540 |155417 | 4.3 | 55M | 78 | 571 |2053 | 362 | 36k| 1 |4106 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.37/17.62 c 17.5s| 36400 | 536 |155727 | 4.3 | 55M | 78 | 571 |2050 | 375 | 36k| 1 |4109 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.37/17.65 c 17.5s| 36500 | 534 |156103 | 4.3 | 55M | 78 | 571 |2050 | 0 | 36k| 0 |4109 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.37/17.69 c 17.6s| 36600 | 539 |156453 | 4.2 | 55M | 78 | 571 |2033 | 0 | 36k| 0 |4117 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.47/17.74 c 17.6s| 36700 | 550 |157176 | 4.3 | 55M | 78 | 571 |2047 | 379 | 36k| 2 |4145 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.47/17.77 c 17.6s| 36800 | 535 |157499 | 4.3 | 55M | 78 | 571 |2044 | 0 | 36k| 0 |4155 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.57/17.84 c 17.7s| 36900 | 537 |158067 | 4.3 | 55M | 78 | 571 |1992 | 330 | 36k| 2 |4157 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.77/18.01 c 17.9s| 37000 | 597 |160268 | 4.3 | 56M | 78 | 571 |1921 | 0 | 37k| 0 |4169 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.77/18.06 c 17.9s| 37100 | 627 |160745 | 4.3 | 56M | 78 | 571 |1913 | 0 | 37k| 0 |4175 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.87/18.12 c 18.0s| 37200 | 649 |161091 | 4.3 | 56M | 80 | 571 |1917 | 362 | 37k| 1 |4181 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.87/18.18 c 18.0s| 37300 | 644 |161456 | 4.3 | 56M | 80 | 571 |1935 | 0 | 37k| 0 |4202 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
17.97/18.26 c 18.1s| 37400 | 644 |161804 | 4.3 | 56M | 80 | 571 |1957 | 0 | 37k| 0 |4224 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.07/18.39 c 18.3s| 37500 | 657 |162183 | 4.3 | 56M | 80 | 571 |1972 | 383 | 37k| 1 |4239 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.17/18.45 c 18.3s| 37600 | 692 |162661 | 4.3 | 56M | 80 | 571 |1978 | 0 | 37k| 0 |4247 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.27/18.50 c 18.4s| 37700 | 710 |163059 | 4.3 | 56M | 80 | 571 |1982 | 0 | 37k| 0 |4256 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.27/18.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.27/18.56 c 18.4s| 37800 | 719 |163844 | 4.3 | 56M | 80 | 571 |1995 | 392 | 38k| 2 |4278 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.37/18.60 c 18.5s| 37900 | 724 |164243 | 4.3 | 56M | 80 | 571 |2009 | 0 | 38k| 0 |4293 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.37/18.66 c 18.5s| 38000 | 751 |165050 | 4.3 | 56M | 80 | 571 |2018 | 401 | 38k| 2 |4315 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.47/18.71 c 18.6s| 38100 | 751 |165451 | 4.3 | 56M | 80 | 571 |2052 | 0 | 38k| 0 |4349 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.47/18.75 c 18.6s| 38200 | 761 |165906 | 4.3 | 56M | 80 | 571 |2070 | 393 | 38k| 1 |4368 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.56/18.80 c 18.7s| 38300 | 779 |166343 | 4.3 | 56M | 80 | 571 |2079 | 0 | 38k| 0 |4382 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.56/18.85 c 18.7s| 38400 | 781 |166718 | 4.3 | 56M | 80 | 571 |2113 | 405 | 38k| 2 |4419 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.56/18.90 c 18.8s| 38500 | 781 |167090 | 4.3 | 56M | 80 | 571 |2156 | 0 | 38k| 0 |4464 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.66/18.98 c 18.8s| 38600 | 786 |167511 | 4.3 | 56M | 80 | 571 |2168 | 0 | 39k| 0 |4487 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.77/19.03 c 18.9s| 38700 | 773 |167804 | 4.3 | 56M | 80 | 571 |2196 | 0 | 39k| 0 |4518 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.77/19.10 c 19.0s| 38800 | 800 |168645 | 4.3 | 56M | 80 | 571 |2200 | 0 | 39k| 0 |4536 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.87/19.15 c 19.0s| 38900 | 815 |168992 | 4.3 | 56M | 80 | 571 |2217 | 392 | 39k| 2 |4555 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.87/19.19 c 19.1s| 39000 | 804 |169273 | 4.3 | 56M | 80 | 571 |2251 | 0 | 39k| 0 |4593 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.96/19.24 c 19.1s| 39100 | 801 |169610 | 4.3 | 56M | 80 | 571 |2278 | 0 | 39k| 0 |4621 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
18.96/19.29 c 19.2s| 39200 | 813 |169908 | 4.3 | 56M | 80 | 571 |2327 | 394 | 39k| 2 |4676 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.06/19.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.06/19.34 c 19.2s| 39300 | 825 |170157 | 4.3 | 56M | 80 | 571 |2342 | 391 | 39k| 1 |4694 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.06/19.38 c 19.2s| 39400 | 816 |170394 | 4.3 | 56M | 80 | 571 |2368 | 391 | 39k| 2 |4720 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.16/19.42 c 19.3s| 39500 | 819 |170682 | 4.3 | 56M | 80 | 571 |2385 | 395 | 39k| 2 |4738 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.16/19.46 c 19.3s| 39600 | 810 |170934 | 4.3 | 56M | 80 | 571 |2413 | 0 | 40k| 0 |4772 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.26/19.50 c 19.4s| 39700 | 812 |171267 | 4.3 | 56M | 80 | 571 |2431 | 0 | 40k| 0 |4795 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.26/19.55 c 19.4s| 39800 | 824 |171579 | 4.3 | 56M | 80 | 571 |2454 | 399 | 40k| 2 |4825 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.26/19.59 c 19.5s| 39900 | 812 |171832 | 4.3 | 56M | 80 | 571 |2480 | 0 | 40k| 0 |4852 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.36/19.64 c 19.5s| 40000 | 803 |172077 | 4.3 | 56M | 80 | 571 |2484 | 396 | 40k| 2 |4876 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.36/19.68 c 19.6s| 40100 | 787 |172408 | 4.3 | 56M | 80 | 571 |2509 | 0 | 40k| 0 |4911 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.46/19.74 c 19.6s| 40200 | 801 |172829 | 4.3 | 56M | 80 | 571 |2507 | 0 | 40k| 0 |4930 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.46/19.78 c 19.7s| 40300 | 803 |173175 | 4.3 | 56M | 80 | 571 |2489 | 388 | 40k| 2 |4935 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.56/19.84 c 19.7s| 40400 | 819 |173727 | 4.3 | 56M | 80 | 571 |2476 | 348 | 40k| 1 |4954 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.66/19.90 c 19.8s| 40500 | 826 |174045 | 4.3 | 56M | 80 | 571 |2501 | 0 | 40k| 0 |4982 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.66/19.95 c 19.8s| 40600 | 837 |174614 | 4.3 | 56M | 80 | 571 |2500 | 0 | 41k| 0 |5005 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.66/20.00 c 19.9s| 40700 | 848 |174904 | 4.3 | 56M | 80 | 571 |2496 | 0 | 41k| 0 |5025 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.76/20.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.76/20.04 c 19.9s| 40800 | 847 |175169 | 4.3 | 56M | 80 | 571 |2466 | 384 | 41k| 1 |5038 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.76/20.09 c 20.0s| 40900 | 864 |175668 | 4.3 | 56M | 80 | 571 |2480 | 401 | 41k| 2 |5060 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.86/20.13 c 20.0s| 41000 | 857 |175992 | 4.3 | 56M | 80 | 571 |2484 | 0 | 41k| 0 |5088 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.86/20.17 c 20.0s| 41100 | 863 |176343 | 4.3 | 56M | 80 | 571 |2474 | 0 | 41k| 0 |5099 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.96/20.22 c 20.1s| 41200 | 885 |176855 | 4.3 | 56M | 80 | 571 |2487 | 0 | 41k| 0 |5130 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
19.96/20.26 c 20.1s| 41300 | 898 |177256 | 4.3 | 56M | 80 | 571 |2468 | 382 | 41k| 1 |5140 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.06/20.30 c 20.2s| 41400 | 904 |177577 | 4.3 | 56M | 80 | 571 |2484 | 0 | 41k| 0 |5163 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.06/20.33 c 20.2s| 41500 | 901 |177822 | 4.3 | 56M | 80 | 571 |2497 | 0 | 41k| 0 |5182 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.06/20.38 c 20.2s| 41600 | 906 |178187 | 4.3 | 56M | 80 | 571 |2501 | 0 | 41k| 0 |5193 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.16/20.42 c 20.3s| 41700 | 917 |178634 | 4.3 | 56M | 80 | 571 |2498 | 0 | 41k| 0 |5213 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.16/20.46 c 20.3s| 41800 | 917 |178973 | 4.3 | 56M | 80 | 571 |2499 | 0 | 41k| 0 |5216 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.26/20.50 c 20.4s| 41900 | 911 |179265 | 4.3 | 56M | 80 | 571 |2495 | 0 | 42k| 0 |5229 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.26/20.55 c 20.4s| 42000 | 918 |179707 | 4.3 | 56M | 80 | 571 |2498 | 0 | 42k| 0 |5241 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.26/20.59 c 20.5s| 42100 | 922 |180058 | 4.3 | 56M | 80 | 571 |2508 | 389 | 42k| 1 |5257 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.36/20.63 c 20.5s| 42200 | 920 |180412 | 4.3 | 56M | 80 | 571 |2517 | 0 | 42k| 0 |5271 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.36/20.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.36/20.67 c 20.5s| 42300 | 918 |180775 | 4.3 | 56M | 80 | 571 |2514 | 394 | 42k| 2 |5274 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.46/20.71 c 20.6s| 42400 | 916 |181104 | 4.2 | 56M | 80 | 571 |2524 | 396 | 42k| 2 |5294 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.46/20.74 c 20.6s| 42500 | 914 |181403 | 4.2 | 56M | 80 | 571 |2520 | 0 | 42k| 0 |5295 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.46/20.78 c 20.7s| 42600 | 910 |181767 | 4.2 | 56M | 80 | 571 |2516 | 0 | 42k| 0 |5298 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.56/20.82 c 20.7s| 42700 | 907 |182103 | 4.2 | 56M | 80 | 571 |2523 | 0 | 42k| 0 |5306 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.56/20.86 c 20.7s| 42800 | 912 |182475 | 4.2 | 56M | 80 | 571 |2522 | 396 | 42k| 1 |5322 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.66/20.90 c 20.8s| 42900 | 904 |182680 | 4.2 | 56M | 80 | 571 |2539 | 0 | 42k| 0 |5355 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.66/20.94 c 20.8s| 43000 | 918 |183112 | 4.2 | 56M | 80 | 571 |2536 | 391 | 42k| 2 |5379 | 22 | 3.000000e+00 | 5.000000e+00 | 66.67%| unknown
20.66/20.98 o 3
20.66/20.98 c *20.8s| 43088 | 0 |183354 | 4.2 | LP | 80 | 571 |2544 | 400 | 43k| 1 |5397 | 22 | 3.000000e+00 | 3.000000e+00 | 0.00%| 100.00%
20.66/20.98 c
20.66/20.98 c SCIP Status : problem is solved [optimal solution found]
20.66/20.98 c Solving Time (sec) : 20.85
20.66/20.98 c Solving Nodes : 43088 (total of 43089 nodes in 2 runs)
20.66/20.98 c Primal Bound : +3.00000000000000e+00 (2 solutions)
20.66/20.98 c Dual Bound : +3.00000000000000e+00
20.66/20.98 c Gap : 0.00 %
20.66/20.98 s OPTIMUM FOUND
20.66/20.98 v -x216 x215 x214 -x213 x212 x211 -x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 x201 x144 x143 -x142 -x141 x140 -x139 -x138
20.66/20.98 v x137 x200 x199 -x198 x197 -x196 x195 -x194 -x193 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 -x192 -x191 -x190 -x189 -x188
20.66/20.98 v x187 x186 x185 x128 x127 x126 -x125 x124 -x123 -x122 x121 -x184 x183 -x182 x181 x180 -x179 x178 -x177 -x120 -x119 x118 -x117
20.66/20.98 v x116 x115 -x114 x113 -x176 x175 -x174 -x173 x172 -x171 x170 -x169 -x112 x111 -x110 x109 x108 x107 x106 x105 -x168 x167 -x166
20.66/20.98 v -x165 -x164 -x163 -x162 -x161 x104 x103 x102 x101 -x100 -x99 -x98 x97 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x96 -x95
20.66/20.98 v x94 -x93 x92 x91 x90 x89 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x88 -x87 -x86 x85 x84 -x83 -x82 x81 x80 -x79 -x78
20.66/20.98 v -x77 x76 -x75 x74 x73 -x72 -x71 x70 x69 x68 -x67 -x66 x65 x64 x63 x62 -x61 x60 -x59 -x58 x57 -x56 -x55 x54 -x53 x52 x51 -x50
20.66/20.98 v x49 x48 x47 x46 x45 -x44 -x43 x42 x41 -x40 x39 -x38 -x37 x36 x35 x34 x33 -x32 x31 -x30 x29 x28 x27 x26 x25 -x24 -x23 -x22 -x21
20.66/20.98 v -x20 x19 x18 x17 x16 -x15 x14 x13 -x12 -x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
20.66/20.98 c SCIP Status : problem is solved [optimal solution found]
20.66/20.98 c Total Time : 20.85
20.66/20.98 c solving : 20.85
20.66/20.98 c presolving : 0.02 (included in solving)
20.66/20.98 c reading : 0.00 (included in solving)
20.66/20.98 c copying : 0.19 (37 #copies) (minimal 0.00, maximal 0.01, average 0.01)
20.66/20.98 c Original Problem :
20.66/20.98 c Problem name : HOME/instance-4498048-1751268233.opb
20.66/20.98 c Variables : 792 (216 binary, 0 integer, 576 implicit integer, 0 continuous)
20.66/20.98 c Constraints : 604 initial, 604 maximal
20.66/20.98 c Objective : minimize, 8 non-zeros (abs.min = 1, abs.max = 128)
20.66/20.98 c Presolved Problem :
20.66/20.98 c Problem name : t_HOME/instance-4498048-1751268233.opb
20.66/20.98 c Variables : 571 (181 binary, 0 integer, 390 implicit integer, 0 continuous)
20.66/20.98 c Constraints : 562 initial, 2568 maximal
20.66/20.98 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
20.66/20.98 c Nonzeros : 5901 constraint, 1571 clique table
20.66/20.98 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
20.66/20.98 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
20.66/20.98 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.66/20.98 c gateextraction : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
20.66/20.98 c implics : 0.00 0.00 18 0 0 0 0 0 0 0 0 0
20.66/20.98 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.66/20.98 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c trivial : 0.00 0.00 26 73 0 0 0 0 0 0 0 0
20.66/20.98 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c dualfix : 0.00 0.00 26 0 0 0 0 0 0 0 0 0
20.66/20.98 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.66/20.98 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.66/20.98 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.66/20.98 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
20.66/20.98 c knapsack : 0.00 0.00 30 0 0 0 0 0 0 0 9 106
20.66/20.98 c setppc : 0.00 0.00 50 0 0 0 0 0 3 0 0 0
20.66/20.98 c and : 0.00 0.00 35 1 134 0 0 0 134 0 0 134
20.66/20.98 c linear : 0.00 0.00 34 1 12 0 0 0 19 29 15 105
20.66/20.98 c logicor : 0.00 0.00 35 0 0 0 0 0 11 0 0 55
20.66/20.98 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c pseudoboolean : 0.00 0.00 18 0 0 0 0 0 50 0 0 0
20.66/20.98 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
20.66/20.98 c root node : - - - 55 - - 55 - - - - -
20.66/20.98 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
20.66/20.98 c benderslp : 0 0 0 0 22475 0 0 2438 0 0 0 0 0 0 0
20.66/20.98 c integral : 0 0 0 0 22475 0 0 2438 0 0 0 0 0 0 44948
20.66/20.98 c knapsack : 22+ 26 11 72503 0 0 0 0 2656 5 3881 135 5 0 0
20.66/20.98 c setppc : 12+ 37 22 90155 0 0 0 0 1290 29 1875 0 0 0 0
20.66/20.98 c and : 390 390 35151 91329 1 0 0 0 208818 1811 211268 45380 40729 0 0
20.66/20.98 c linear : 17+ 27 22 89518 1 0 0 2434 51482 19472 84544 0 0 0 0
20.66/20.98 c logicor : 113+ 2104 22 35163 1 0 0 40 2269 286 6921 11 6 0 0
20.66/20.98 c benders : 0 0 0 0 1 0 0 42 0 0 0 0 0 0 0
20.66/20.98 c pseudoboolean : 8 8 0 0 1 0 0 40 0 0 0 0 0 0 0
20.66/20.98 c fixedvar : 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0
20.66/20.98 c countsols : 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0
20.66/20.98 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
20.66/20.98 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c integral : 0.41 0.00 0.00 0.00 0.41 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c knapsack : 0.12 0.00 0.01 0.10 0.00 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c and : 0.71 0.00 0.18 0.52 0.00 0.00 0.00 0.00 0.02 0.00
20.66/20.98 c linear : 0.38 0.00 0.00 0.27 0.00 0.00 0.00 0.00 0.10 0.00
20.66/20.98 c logicor : 0.24 0.00 0.00 0.24 0.00 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c Propagators : #Propagate #ResProp Cutoffs DomReds
20.66/20.98 c dualfix : 4 0 0 0
20.66/20.98 c genvbounds : 0 0 0 0
20.66/20.98 c nlobbt : 0 0 0 0
20.66/20.98 c obbt : 0 0 0 0
20.66/20.98 c probing : 0 0 0 0
20.66/20.98 c pseudoobj : 16 0 0 6
20.66/20.98 c redcost : 13 0 0 0
20.66/20.98 c rootredcost : 0 0 0 0
20.66/20.98 c symmetry : 0 0 0 0
20.66/20.98 c vbounds : 53781 0 0 0
20.66/20.98 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
20.66/20.98 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
20.66/20.98 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
20.66/20.98 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
20.66/20.98 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
20.66/20.98 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
20.66/20.98 c symmetry : 0.01 0.00 0.00 0.01 0.00 0.00
20.66/20.98 c vbounds : 0.10 0.00 0.00 0.10 0.00 0.00
20.66/20.98 c Symmetry :
20.66/20.98 c orbitopal red. : 0 reductions applied, 0 cutoffs
20.66/20.98 c orbital reduction: 0 reductions applied, 0 cutoffs
20.66/20.98 c lexicographic red: 0 reductions applied, 0 cutoffs
20.66/20.98 c shadow tree time : 0.00 s
20.66/20.98 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
20.66/20.98 c propagation : 0.34 2339 2319 - 40120 71.5 343 38.5 - - -
20.66/20.98 c infeasible LP : 0.01 31 31 - 528 80.1 10 25.5 29 39.0 0
20.66/20.98 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
20.66/20.98 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
20.66/20.98 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
20.66/20.98 c applied globally : 0.03 - - 0 5368 26.0 - - 29 - -
20.66/20.98 c applied locally : - - - 0 0 0.0 - - 0 - -
20.66/20.98 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
20.66/20.98 c cut pool : 0.14 - 3631 42 - - 5743 32970 - - - - - (maximal pool size: 3327)
20.66/20.98 c aggregation : 0.44 0.00 55 22 0 0 3100 16081 889 1533 1378 155 0
20.66/20.98 c > cmir : - - - - - - - 14308 174 1222 1210 12 -
20.66/20.98 c > flowcover : - - - - - - - 1640 610 272 139 133 -
20.66/20.98 c > knapsackcover : - - - - - - - 133 105 39 29 10 -
20.66/20.98 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c clique : 0.00 0.00 22 22 0 0 0 0 0 0 0 0 0
20.66/20.98 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c gomory : 0.82 0.00 56 20 0 0 4009 16313 750 597 578 19 0
20.66/20.98 c > gomorymi : - - - - - - - 9705 402 394 378 16 -
20.66/20.98 c > strongcg : - - - - - - - 6608 348 203 200 3 -
20.66/20.98 c impliedbounds : 0.00 0.00 58 22 0 0 178 291 0 210 210 0 0
20.66/20.98 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
20.66/20.98 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c mixing : 0.00 0.00 58 22 0 0 0 0 0 0 0 0 0
20.66/20.98 c multilinear : 0.00 0.00 3129 22 0 0 0 0 0 0 0 0 0
20.66/20.98 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.66/20.98 c rapidlearning : 0.29 0.00 26 2 0 243 0 0 0 0 0 0 0
20.66/20.98 c rlt : 0.06 0.00 42 20 0 0 71 134 13 64 60 4 0
20.66/20.98 c zerohalf : 0.01 0.00 47 22 0 0 59 151 22 34 34 0 0
20.66/20.98 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
20.66/20.98 c hybrid : 0.06 0.00 19719 22 43185 0 36960 327 0 6049
20.66/20.98 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c Pricers : ExecTime SetupTime Calls Vars
20.66/20.98 c problem variables: 0.00 - 0 0
20.66/20.98 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
20.66/20.98 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c random : 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c relpscost : 0.40 0.00 22474 0 0 0 0 0 0 44948
20.66/20.98 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
20.66/20.98 c Primal Heuristics : ExecTime SetupTime Calls Found Best
20.66/20.98 c LP solutions : 0.00 - - 1 1
20.66/20.98 c relax solutions : 0.00 - - 0 0
20.66/20.98 c pseudo solutions : 0.00 - - 0 0
20.66/20.98 c strong branching : 0.00 - - 0 0
20.66/20.98 c actconsdiving : 0.00 0.00 0 0 0
20.66/20.98 c adaptivediving : 0.05 0.00 19 0 0
20.66/20.98 c alns : 0.08 0.00 9 0 0
20.66/20.98 c bound : 0.00 0.00 0 0 0
20.66/20.98 c clique : 0.00 0.00 1 0 0
20.66/20.98 c coefdiving : 0.00 0.00 0 0 0
20.66/20.98 c completesol : 0.00 0.00 0 0 0
20.66/20.98 c conflictdiving : 0.04 0.00 10 0 0
20.66/20.98 c crossover : 0.00 0.00 0 0 0
20.66/20.98 c dins : 0.00 0.00 0 0 0
20.66/20.98 c distributiondivin: 0.06 0.00 9 0 0
20.66/20.98 c dps : 0.00 0.00 0 0 0
20.66/20.98 c dualval : 0.00 0.00 0 0 0
20.66/20.98 c farkasdiving : 0.01 0.00 1 0 0
20.66/20.98 c feasjump : 0.00 0.00 0 0 0
20.66/20.98 c feaspump : 0.02 0.00 5 0 0
20.66/20.98 c fixandinfer : 0.00 0.00 0 0 0
20.66/20.98 c fracdiving : 0.02 0.00 10 0 0
20.66/20.98 c gins : 0.00 0.00 0 0 0
20.66/20.98 c guideddiving : 0.00 0.00 0 0 0
20.66/20.98 c indcoefdiving : 0.00 0.00 0 0 0
20.66/20.98 c indicator : 0.01 0.00 0 0 0
20.66/20.98 c indicatordiving : 0.00 0.00 0 0 0
20.66/20.98 c indoneopt : 0.01 0.00 0 0 0
20.66/20.98 c indrounding : 0.00 0.00 0 0 0
20.66/20.98 c indtwoopt : 0.00 0.00 0 0 0
20.66/20.98 c intdiving : 0.00 0.00 0 0 0
20.66/20.98 c intshifting : 0.00 0.00 0 0 0
20.66/20.98 c linesearchdiving : 0.03 0.00 10 0 0
20.66/20.98 c localbranching : 0.00 0.00 0 0 0
20.66/20.98 c locks : 0.00 0.00 1 0 0
20.66/20.98 c lpface : 0.01 0.00 0 0 0
20.66/20.98 c mpec : 0.00 0.00 0 0 0
20.66/20.98 c multistart : 0.00 0.00 0 0 0
20.66/20.98 c mutation : 0.00 0.00 0 0 0
20.66/20.98 c nlpdiving : 0.00 0.00 0 0 0
20.66/20.98 c objpscostdiving : 0.02 0.00 5 0 0
20.66/20.98 c octane : 0.00 0.00 0 0 0
20.66/20.98 c ofins : 0.00 0.00 0 0 0
20.66/20.98 c oneopt : 0.01 0.00 1 0 0
20.66/20.98 c padm : 0.00 0.00 0 0 0
20.66/20.98 c proximity : 0.00 0.00 0 0 0
20.66/20.98 c pscostdiving : 0.02 0.00 10 0 0
20.66/20.98 c randrounding : 0.03 0.00 2386 0 0
20.66/20.98 c rens : 0.02 0.00 2 0 0
20.66/20.98 c reoptsols : 0.00 0.00 0 0 0
20.66/20.98 c repair : 0.00 0.00 0 0 0
20.66/20.98 c rins : 0.01 0.00 0 0 0
20.66/20.98 c rootsoldiving : 0.02 0.00 5 0 0
20.66/20.98 c rounding : 0.02 0.00 2850 0 0
20.66/20.98 c scheduler : 0.00 0.00 0 0 0
20.66/20.98 c shiftandpropagate: 0.00 0.00 1 1 1
20.66/20.98 c shifting : 0.28 0.00 898 0 0
20.66/20.98 c simplerounding : 0.01 0.00 2 0 0
20.66/20.98 c smallcard : 0.00 0.00 0 0 0
20.66/20.98 c subnlp : 0.01 0.00 0 0 0
20.66/20.98 c trivial : 0.00 0.00 4 0 0
20.66/20.98 c trivialnegation : 0.00 0.00 0 0 0
20.66/20.98 c trustregion : 0.00 0.00 0 0 0
20.66/20.98 c trysol : 0.00 0.00 0 0 0
20.66/20.98 c twoopt : 0.00 0.00 0 0 0
20.66/20.98 c undercover : 0.02 0.00 1 0 0
20.66/20.98 c vbounds : 0.00 0.00 2 0 0
20.66/20.98 c veclendiving : 0.02 0.00 10 0 0
20.66/20.98 c zeroobj : 0.00 0.00 0 0 0
20.66/20.98 c zirounding : 0.01 0.00 1000 0 0
20.66/20.98 c other solutions : - - - 0 -
20.66/20.98 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
20.66/20.98 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
20.66/20.98 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
20.66/20.98 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
20.66/20.98 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
20.66/20.98 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
20.66/20.98 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
20.66/20.98 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
20.66/20.98 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
20.66/20.98 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
20.66/20.98 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
20.66/20.98 c primal LP : 0.20 1213 0 0.00 0.00 0.20 1213
20.66/20.98 c dual LP : 10.54 42257 170463 4.06 16176.56 0.03 254
20.66/20.98 c lex dual LP : 0.00 0 0 0.00 -
20.66/20.98 c barrier LP : 0.00 0 0 0.00 - 0.00 0
20.66/20.98 c resolve instable : 0.00 0 0 0.00 -
20.66/20.98 c diving/probing LP: 0.20 446 12891 28.90 64242.04
20.66/20.98 c strong branching : 0.17 22 3570 162.27 20683.30 - - 5
20.66/20.98 c (at root node) : - 22 3570 162.27 -
20.66/20.98 c conflict analysis: 0.00 0 0 0.00 -
20.66/20.98 c B&B Tree :
20.66/20.98 c number of runs : 2
20.66/20.98 c nodes : 43088 (22473 internal, 20615 leaves)
20.66/20.98 c feasible leaves : 1
20.66/20.98 c infeas. leaves : 20614
20.66/20.98 c objective leaves : 0
20.66/20.98 c nodes (total) : 43089 (22474 internal, 20615 leaves)
20.66/20.98 c nodes left : 0
20.66/20.98 c max depth : 80
20.66/20.98 c max depth (total): 80
20.66/20.98 c backtracks : 10791 (25.0%)
20.66/20.98 c early backtracks : 0 (0.0%)
20.66/20.98 c nodes exc. ref. : 0 (0.0%)
20.66/20.98 c delayed cutoffs : 937
20.66/20.98 c repropagations : 3204 (14068 domain reductions, 823 cutoffs)
20.66/20.98 c avg switch length: 3.69
20.66/20.98 c switching time : 1.05
20.66/20.98 c Root Node :
20.66/20.98 c First LP value : +3.00000000000000e+00
20.66/20.98 c First LP Iters : 22 (34645.67 Iter/sec)
20.66/20.98 c First LP Time : 0.00
20.66/20.98 c Final Dual Bound : +3.00000000000000e+00
20.66/20.98 c Final Root Iters : 927
20.66/20.98 c Root LP Estimate : +3.00790184024549e+00
20.66/20.98 c Solution :
20.66/20.98 c Solutions found : 2 (2 improvements)
20.66/20.98 c First Solution : +5.00000000000000e+00 (in run 1, after 1 nodes, 0.02 seconds, depth 63, found by <shiftandpropagate>)
20.66/20.98 c Gap First Sol. : 400.00 %
20.66/20.98 c Gap Last Sol. : 0.00 %
20.66/20.98 c Primal Bound : +3.00000000000000e+00 (in run 2, after 43088 nodes, 20.85 seconds, depth 75, found by <relaxation>)
20.66/20.98 c Dual Bound : +3.00000000000000e+00
20.66/20.98 c Gap : 0.00 %
20.66/20.98 c Integrals : Total Avg%
20.66/20.98 c primal-dual : 835.36 40.06
20.66/20.98 c primal-ref : - - (not evaluated)
20.66/20.98 c dual-ref : - - (not evaluated)
20.66/20.99 c Time complete: 20.7555.
OK 3
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62035 MiB free)
memory of node 1: 64465 MiB (63957 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498048-1751268233/watcher-4498048-1751268233 -o /tmp/evaluation-result-4498048-1751268233/solver-4498048-1751268233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751268232-43211 --watchdog 3760 pbscip -f HOME/instance-4498048-1751268233.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=43268, runsolver pid=43261
[startup+0.100062 s]*
/proc/loadavg: 0.09 0.09 0.09 1/267 43269
/proc/meminfo: memFree=129017312/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=39800 memory=3712 CPUtime=0 cores=1,3
/proc/43268/stat : 43268 (pbscip) D 43261 43268 43192 0 -1 4194304 217 0 3 0 0 0 0 0 20 0 1 0 42500951 40755200 928 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 0 1 0 0 17 3 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 9950 928 864 3530 0 1401 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 39800 KiB
Current children cumulated memory: 3712 KiB
[startup+0.20468 s]*
/proc/loadavg: 0.09 0.09 0.09 5/267 43269
/proc/meminfo: memFree=128926604/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=58916 memory=31872 CPUtime=0.06 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 4389 0 4 0 5 1 0 0 20 0 1 0 42500951 60329984 7968 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 14729 7968 3936 3530 0 6180 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 58916 KiB
Current children cumulated memory: 31872 KiB
[startup+0.305494 s]*
/proc/loadavg: 0.09 0.09 0.09 3/263 43269
/proc/meminfo: memFree=128913384/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=58916 memory=31872 CPUtime=0.16 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 4407 0 4 0 15 1 0 0 20 0 1 0 42500951 60329984 7968 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 14729 7968 3936 3530 0 6180 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 58916 KiB
Current children cumulated memory: 31872 KiB
[startup+0.700168 s]
/proc/loadavg: 0.09 0.09 0.09 3/263 43275
/proc/meminfo: memFree=128901296/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=76392 memory=47568 CPUtime=0.54 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 8509 0 4 0 53 1 0 0 20 0 1 0 42500951 78225408 11892 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 19098 11892 3936 3530 0 10549 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 76392 KiB
Current children cumulated memory: 47568 KiB
[startup+1.50015 s]
/proc/loadavg: 0.40 0.16 0.11 2/255 43280
/proc/meminfo: memFree=128898796/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=91188 memory=62692 CPUtime=1.34 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 12659 0 4 0 132 2 0 0 20 0 1 0 42500951 93376512 15673 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 22797 15673 3936 3530 0 14248 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 91188 KiB
Current children cumulated memory: 62692 KiB
[startup+3.10533 s]
/proc/loadavg: 0.40 0.16 0.11 2/258 43293
/proc/meminfo: memFree=128874092/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=103188 memory=72932 CPUtime=2.94 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 15253 0 4 0 292 2 0 0 20 0 1 0 42500951 105664512 18233 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 25797 18233 3936 3530 0 17248 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 103188 KiB
Current children cumulated memory: 72932 KiB
[startup+6.3001 s]
/proc/loadavg: 0.77 0.24 0.14 2/256 43294
/proc/meminfo: memFree=128882680/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=102856 memory=74052 CPUtime=6.12 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 15704 0 4 0 610 2 0 0 20 0 1 0 42500951 105324544 18513 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 25714 18513 3936 3530 0 17165 0
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 102856 KiB
Current children cumulated memory: 74052 KiB
[startup+12.7001 s]
/proc/loadavg: 1.03 0.30 0.16 4/264 43413
/proc/meminfo: memFree=128869860/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=104624 memory=75808 CPUtime=12.5 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 16694 0 4 0 1247 3 0 0 20 0 1 0 42500951 107134976 18952 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 26156 18952 3936 3530 0 17607 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 104624 KiB
Current children cumulated memory: 75808 KiB
[startup+20.9987 s]
# the end of solver process 43268 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=20.7239 s, system=0.039831 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8001 s]
/proc/loadavg: 1.03 0.30 0.16 4/264 43413
/proc/meminfo: memFree=128869860/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=104624 memory=75808 CPUtime=12.6 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 16694 0 4 0 1257 3 0 0 20 0 1 0 42500951 107134976 18952 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 26156 18952 3936 3530 0 17607 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 104624 KiB
Current children cumulated memory: 75808 KiB
[startup+16.0002 s]*
/proc/loadavg: 1.27 0.36 0.18 5/268 43495
/proc/meminfo: memFree=128779560/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=104624 memory=75808 CPUtime=15.79 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 16694 0 4 0 1576 3 0 0 20 0 1 0 42500951 107134976 18952 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 26156 18952 3936 3530 0 17607 0
Current children cumulated CPU time: 15.79 s
Current children cumulated vsize: 104624 KiB
Current children cumulated memory: 75808 KiB
[startup+19.2001 s]
/proc/loadavg: 1.27 0.36 0.18 5/268 43495
/proc/meminfo: memFree=128618000/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=107332 memory=78056 CPUtime=18.96 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 17735 0 4 0 1893 3 0 0 20 0 1 0 42500951 109907968 19514 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 26833 19514 3936 3530 0 18284 0
Current children cumulated CPU time: 18.96 s
Current children cumulated vsize: 107332 KiB
Current children cumulated memory: 78056 KiB
[startup+20.0001 s]*
/proc/loadavg: 1.27 0.36 0.18 5/268 43495
/proc/meminfo: memFree=128618312/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=108260 memory=78568 CPUtime=19.76 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 17854 0 4 0 1973 3 0 0 20 0 1 0 42500951 110858240 19642 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 27065 19642 3936 3530 0 18516 0
Current children cumulated CPU time: 19.76 s
Current children cumulated vsize: 108260 KiB
Current children cumulated memory: 78568 KiB
[startup+20.4001 s]
/proc/loadavg: 1.27 0.36 0.18 5/268 43495
/proc/meminfo: memFree=128618312/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=108260 memory=78568 CPUtime=20.16 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 17854 0 4 0 2013 3 0 0 20 0 1 0 42500951 110858240 19642 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 27065 19642 3936 3530 0 18516 0
Current children cumulated CPU time: 20.16 s
Current children cumulated vsize: 108260 KiB
Current children cumulated memory: 78568 KiB
[startup+20.8001 s]
/proc/loadavg: 1.27 0.36 0.18 5/268 43495
/proc/meminfo: memFree=128618312/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=108260 memory=78568 CPUtime=20.56 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 17854 0 4 0 2053 3 0 0 20 0 1 0 42500951 110858240 19642 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 27065 19642 3936 3530 0 18516 0
Current children cumulated CPU time: 20.56 s
Current children cumulated vsize: 108260 KiB
Current children cumulated memory: 78568 KiB
[startup+20.9001 s]
/proc/loadavg: 1.27 0.36 0.18 5/268 43495
/proc/meminfo: memFree=128618312/131250000 swapFree=33010684/33010684
[pid=43268] ppid=43261 vsize=108260 memory=78568 CPUtime=20.66 cores=1,3
/proc/43268/stat : 43268 (pbscip) R 43261 43268 43192 0 -1 4194304 17854 0 4 0 2063 3 0 0 20 0 1 0 42500951 110858240 19642 18446744073709551615 4235264 18693293 140736201355296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27545600 140736201357705 140736201357804 140736201357804 140736201363406 0
/proc/43268/statm: 27065 19642 3936 3530 0 18516 0
Current children cumulated CPU time: 20.66 s
Current children cumulated vsize: 108260 KiB
Current children cumulated memory: 78568 KiB
Child status: 0
Real time (s): 20.9988
CPU time (s): 20.7637
CPU user time (s): 20.7239
CPU system time (s): 0.039831
CPU usage (%): 98.8807
Max. virtual memory (cumulated for all children) (KiB): 108260
Max. memory (cumulated for all children) (KiB): 78568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.7239
system time used= 0.039831
maximum resident set size= 78568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17861
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96
involuntary context switches= 134
# summary of solver processes directly reported to runsolver:
# pid: 43268
# total CPU time (s): 20.7637
# total CPU user time (s): 20.7239
# total CPU system time (s): 0.039831
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043055 second user time and 0.121238 second system time
The end
Begin job on nodeC016 at 2025-06-30 09:23:54 IDJOB=4498048 IDBENCH=148450 IDSOLVER=3365 FILE ID=nodeC016/4498048-1751268233 RUNJOBID= nodeC016-1751268232-43211 SLURM_JOB_ID= 9594183 Free space on /tmp= 433028 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498048-1751268233/watcher-4498048-1751268233 -o /tmp/evaluation-result-4498048-1751268233/solver-4498048-1751268233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751268232-43211 --watchdog 3760 pbscip -f HOME/instance-4498048-1751268233.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 60205697a36204ec3d9b8e2d1efac02f RANDOM SEED=1488826855 nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1542.494 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.709 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1299.756 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.648 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1285.932 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1251.621 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.577 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128986908 kB MemAvailable: 129767040 kB Buffers: 3280 kB Cached: 1584732 kB SwapCached: 0 kB Active: 330708 kB Inactive: 1328260 kB Active(anon): 89092 kB Inactive(anon): 0 kB Active(file): 241616 kB Inactive(file): 1328260 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 75080 kB Writeback: 4 kB AnonPages: 74100 kB Mapped: 103008 kB Shmem: 18072 kB KReclaimable: 98992 kB Slab: 185488 kB SReclaimable: 98992 kB SUnreclaim: 86496 kB KernelStack: 4112 kB PageTables: 2884 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 336440 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432988 MiB End job on nodeC016 at 2025-06-30 09:24:15