0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4459584-1721932566.opb>
0.00/0.02 c original problem has 3238 variables (200 bin, 0 int, 3038 impl, 0 cont) and 3540 constraints
0.00/0.02 c problem read in 0.01
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving:
0.00/0.04 c (round 1, medium) 0 del vars, 3438 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 100 clqs
0.00/0.04 c (round 2, fast) 3038 del vars, 3438 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 100 clqs
0.00/0.04 c (round 3, exhaustive) 3038 del vars, 3438 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 0 impls, 100 clqs
0.00/0.05 c (0.0s) probing: 51/200 (25.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.05 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.05 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.05 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.00/0.05 c 3038 deleted vars, 3438 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 0 implications, 100 cliques
0.00/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 302 constraints
0.00/0.05 c 201 constraints of type <knapsack>
0.00/0.05 c 100 constraints of type <setppc>
0.00/0.05 c 1 constraints of type <linear>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 10.0.0
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.05 c limits/time = 3596.997505
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.05 c limits/memory = 27900
0.00/0.05 c
0.00/0.05 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.05 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.05 c limits/solutions = 1
0.00/0.05 c
0.00/0.05 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.05 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.05 c misc/usesymmetry = 3
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.05 c
0.00/0.05 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.05 c
0.00/0.05 c # Type of symmetries that shall be computed?
0.00/0.05 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.05 c propagating/symmetry/symtype = 1
0.00/0.05 c
0.00/0.05 c # Should components consisting of a single full reflection be handled?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.08/0.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.08/0.13 c 0.1s| 1 | 0 | 81 | - | 19M | 0 | 200 | 302 | 302 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.18 c 0.2s| 1 | 0 | 500 | - | 24M | 0 | 200 | 302 | 321 | 19 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.08/0.20 c 0.2s| 1 | 0 | 512 | - | 29M | 0 | 200 | 302 | 329 | 27 | 2 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.22 c 0.2s| 1 | 0 | 528 | - | 36M | 0 | 200 | 302 | 338 | 36 | 3 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.24 c 0.2s| 1 | 0 | 540 | - | 41M | 0 | 200 | 302 | 341 | 39 | 4 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.27 c 0.3s| 1 | 0 | 552 | - | 50M | 0 | 200 | 302 | 351 | 49 | 5 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.30 c 0.3s| 1 | 0 | 576 | - | 55M | 0 | 200 | 302 | 359 | 57 | 6 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.32 c 0.3s| 1 | 0 | 591 | - | 60M | 0 | 200 | 302 | 368 | 66 | 7 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.35 c 0.3s| 1 | 0 | 606 | - | 65M | 0 | 200 | 302 | 373 | 71 | 8 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.38 c 0.4s| 1 | 0 | 626 | - | 71M | 0 | 200 | 302 | 381 | 79 | 9 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.41 c 0.4s| 1 | 0 | 650 | - | 78M | 0 | 200 | 302 | 388 | 86 | 10 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.41 c 0.4s| 1 | 0 | 674 | - | 78M | 0 | 200 | 302 | 384 | 96 | 11 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.48 c 0.5s| 1 | 2 | 870 | - | 78M | 0 | 200 | 305 | 384 | 96 | 11 | 4 | 19 | 0.000000e+00 | -- | Inf | unknown
0.78/0.80 c 0.8s| 100 | 31 | 2844 | 22.1 | 81M | 29 | 200 | 348 | 360 | 140 | 1 | 47 | 19 | 0.000000e+00 | -- | Inf | unknown
1.08/1.13 c 1.1s| 200 | 53 | 5793 | 25.8 | 89M | 29 | 200 | 389 | 358 | 224 | 1 | 88 | 19 | 0.000000e+00 | -- | Inf | unknown
1.18/1.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.18/1.22 c 1.2s| 300 | 64 | 7844 | 24.0 | 89M | 29 | 200 | 425 | 357 | 227 | 0 | 124 | 19 | 0.000000e+00 | -- | Inf | unknown
1.38/1.42 c 1.4s| 400 | 67 | 9167 | 21.3 | 89M | 29 | 200 | 446 | 354 | 240 | 0 | 145 | 19 | 0.000000e+00 | -- | Inf | unknown
1.58/1.63 c 1.6s| 500 | 69 | 10561 | 19.8 | 89M | 29 | 200 | 479 | 354 | 251 | 1 | 178 | 19 | 0.000000e+00 | -- | Inf | unknown
1.98/2.01 c 2.0s| 600 | 67 | 12467 | 19.7 | 88M | 29 | 200 | 526 | 357 | 270 | 1 | 225 | 19 | 0.000000e+00 | -- | Inf | unknown
2.27/2.32 c 2.3s| 700 | 59 | 14307 | 19.5 | 88M | 29 | 200 | 570 | 357 | 298 | 0 | 269 | 19 | 0.000000e+00 | -- | Inf | unknown
2.47/2.52 c 2.5s| 800 | 65 | 16056 | 19.3 | 88M | 30 | 200 | 613 | 355 | 307 | 1 | 312 | 19 | 0.000000e+00 | -- | Inf | unknown
2.57/2.63 c 2.6s| 900 | 67 | 17567 | 18.8 | 88M | 31 | 200 | 638 | 359 | 317 | 0 | 337 | 19 | 0.000000e+00 | -- | Inf | unknown
2.77/2.81 c 2.8s| 1000 | 75 | 19158 | 18.5 | 89M | 31 | 200 | 675 | 356 | 317 | 1 | 374 | 19 | 0.000000e+00 | -- | Inf | unknown
2.97/3.02 c 3.0s| 1100 | 84 | 20729 | 18.3 | 89M | 31 | 200 | 722 | 357 | 328 | 1 | 421 | 19 | 0.000000e+00 | -- | Inf | unknown
3.07/3.17 c 3.2s| 1200 | 85 | 22472 | 18.2 | 89M | 31 | 200 | 758 | 356 | 337 | 0 | 457 | 19 | 0.000000e+00 | -- | Inf | unknown
3.27/3.36 c 3.3s| 1300 | 109 | 24259 | 18.2 | 89M | 31 | 200 | 765 | 358 | 349 | 1 | 464 | 19 | 0.000000e+00 | -- | Inf | unknown
3.37/3.42 c 3.4s| 1400 | 121 | 25582 | 17.8 | 89M | 31 | 200 | 798 | 356 | 364 | 2 | 497 | 19 | 0.000000e+00 | -- | Inf | unknown
3.37/3.46 c 3.5s| 1500 | 131 | 26682 | 17.4 | 89M | 31 | 200 | 819 | 355 | 372 | 0 | 518 | 19 | 0.000000e+00 | -- | Inf | unknown
3.47/3.51 c 3.5s| 1600 | 150 | 27581 | 16.8 | 89M | 35 | 200 | 837 | 355 | 376 | 1 | 536 | 19 | 0.000000e+00 | -- | Inf | unknown
3.47/3.55 c 3.5s| 1700 | 152 | 28771 | 16.5 | 89M | 35 | 200 | 857 | 356 | 376 | 1 | 556 | 19 | 0.000000e+00 | -- | Inf | unknown
3.57/3.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.57/3.60 c 3.6s| 1800 | 158 | 29914 | 16.3 | 89M | 35 | 200 | 878 | 355 | 383 | 0 | 577 | 19 | 0.000000e+00 | -- | Inf | unknown
3.57/3.65 c 3.6s| 1900 | 166 | 31220 | 16.1 | 89M | 35 | 200 | 929 | 355 | 387 | 0 | 628 | 19 | 0.000000e+00 | -- | Inf | unknown
3.67/3.72 c 3.7s| 2000 | 166 | 32966 | 16.2 | 89M | 35 | 200 | 968 | 355 | 387 | 0 | 667 | 19 | 0.000000e+00 | -- | Inf | unknown
3.67/3.78 c 3.8s| 2100 | 176 | 34513 | 16.1 | 89M | 35 | 200 | 991 | 355 | 400 | 1 | 690 | 19 | 0.000000e+00 | -- | Inf | unknown
3.77/3.84 c 3.8s| 2200 | 192 | 36077 | 16.1 | 89M | 35 | 200 |1031 | 358 | 404 | 1 | 730 | 19 | 0.000000e+00 | -- | Inf | unknown
3.77/3.89 c 3.9s| 2300 | 188 | 37247 | 15.9 | 89M | 35 | 200 |1060 | 358 | 406 | 1 | 760 | 19 | 0.000000e+00 | -- | Inf | unknown
3.87/3.93 c 3.9s| 2400 | 198 | 38118 | 15.6 | 89M | 35 | 200 |1067 | 356 | 407 | 1 | 767 | 19 | 0.000000e+00 | -- | Inf | unknown
3.87/3.99 c 4.0s| 2500 | 192 | 39256 | 15.4 | 89M | 36 | 200 |1089 | 357 | 410 | 0 | 789 | 19 | 0.000000e+00 | -- | Inf | unknown
3.87/3.99 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
3.87/3.99 c (run 1, node 2514) performing user restart
3.87/3.99 c
3.87/3.99 c (restart) converted 38 cuts from the global cut pool into linear constraints
3.87/3.99 c
3.87/4.00 c presolving:
3.97/4.00 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 36 upgd conss, 0 impls, 100 clqs
3.97/4.01 c (round 2, exhaustive) 0 del vars, 44 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 144 chg coeffs, 36 upgd conss, 0 impls, 100 clqs
3.97/4.02 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
3.97/4.02 c 0 deleted vars, 44 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 144 changed coefficients
3.97/4.02 c 0 implications, 100 cliques
3.97/4.02 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1084 constraints
3.97/4.02 c 229 constraints of type <knapsack>
3.97/4.02 c 100 constraints of type <setppc>
3.97/4.02 c 3 constraints of type <linear>
3.97/4.02 c 752 constraints of type <logicor>
3.97/4.02 c transformed objective value is always integral (scale: 1)
3.97/4.02 c Presolving Time: 0.05
3.97/4.02 c
3.97/4.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.97/4.09 c 4.1s| 1 | 0 | 39528 | - | 87M | 0 | 200 |1084 | 340 | 0 | 0 | 790 | 19 | 0.000000e+00 | -- | Inf | unknown
4.07/4.12 c 4.1s| 1 | 0 | 39555 | - | 87M | 0 | 200 |1084 | 352 | 12 | 1 | 790 | 19 | 0.000000e+00 | -- | Inf | unknown
4.07/4.14 c 4.1s| 1 | 0 | 39574 | - | 87M | 0 | 200 |1084 | 360 | 20 | 2 | 790 | 19 | 0.000000e+00 | -- | Inf | unknown
4.07/4.16 c 4.2s| 1 | 0 | 39595 | - | 87M | 0 | 200 |1084 | 369 | 29 | 3 | 790 | 19 | 0.000000e+00 | -- | Inf | unknown
4.07/4.19 c 4.2s| 1 | 0 | 39608 | - | 87M | 0 | 200 |1084 | 378 | 38 | 4 | 790 | 19 | 0.000000e+00 | -- | Inf | unknown
4.16/4.21 c 4.2s| 1 | 0 | 39626 | - | 87M | 0 | 200 |1084 | 387 | 47 | 5 | 790 | 19 | 0.000000e+00 | -- | Inf | unknown
4.16/4.23 c 4.2s| 1 | 0 | 39642 | - | 88M | 0 | 200 |1084 | 399 | 59 | 6 | 790 | 19 | 0.000000e+00 | -- | Inf | unknown
4.16/4.26 c 4.3s| 1 | 0 | 39663 | - | 89M | 0 | 200 |1084 | 408 | 68 | 7 | 790 | 19 | 0.000000e+00 | -- | Inf | unknown
4.16/4.29 c 4.3s| 1 | 0 | 39686 | - | 89M | 0 | 200 |1084 | 415 | 75 | 8 | 790 | 19 | 0.000000e+00 | -- | Inf | unknown
4.26/4.32 c 4.3s| 1 | 0 | 39706 | - | 89M | 0 | 200 |1084 | 424 | 84 | 9 | 790 | 19 | 0.000000e+00 | -- | Inf | unknown
4.26/4.34 c 4.3s| 1 | 0 | 39719 | - | 89M | 0 | 200 |1085 | 431 | 91 | 10 | 791 | 19 | 0.000000e+00 | -- | Inf | unknown
4.26/4.36 c 4.3s| 1 | 0 | 39746 | - | 90M | 0 | 200 |1085 | 397 | 102 | 11 | 791 | 19 | 0.000000e+00 | -- | Inf | unknown
4.36/4.45 c 4.4s| 1 | 2 | 40079 | - | 90M | 0 | 200 |1086 | 397 | 102 | 11 | 792 | 38 | 0.000000e+00 | -- | Inf | unknown
4.46/4.55 c 4.5s| 100 | 38 | 41758 | 15.6 | 90M | 34 | 200 |1105 | 355 | 137 | 0 | 811 | 38 | 0.000000e+00 | -- | Inf | unknown
4.56/4.61 c 4.6s| 200 | 42 | 42914 | 15.5 | 90M | 34 | 200 |1131 | 355 | 147 | 1 | 837 | 38 | 0.000000e+00 | -- | Inf | unknown
4.56/4.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.56/4.68 c 4.7s| 300 | 44 | 44351 | 15.4 | 90M | 34 | 200 |1168 | 355 | 162 | 1 | 874 | 38 | 0.000000e+00 | -- | Inf | unknown
4.66/4.75 c 4.7s| 400 | 48 | 45656 | 15.3 | 90M | 34 | 200 |1222 | 356 | 189 | 0 | 928 | 38 | 0.000000e+00 | -- | Inf | unknown
4.76/4.82 c 4.8s| 500 | 58 | 46926 | 15.3 | 90M | 34 | 200 |1262 | 351 | 201 | 1 | 968 | 38 | 0.000000e+00 | -- | Inf | unknown
4.76/4.89 c 4.9s| 600 | 60 | 48307 | 15.2 | 90M | 34 | 200 |1315 | 356 | 215 | 0 |1021 | 38 | 0.000000e+00 | -- | Inf | unknown
4.86/4.98 c 5.0s| 700 | 64 | 50074 | 15.3 | 90M | 34 | 200 |1359 | 354 | 228 | 1 |1065 | 38 | 0.000000e+00 | -- | Inf | unknown
4.97/5.04 c 5.0s| 800 | 59 | 51552 | 15.3 | 90M | 34 | 200 |1392 | 358 | 239 | 0 |1098 | 38 | 0.000000e+00 | -- | Inf | unknown
4.97/5.10 c 5.1s| 900 | 58 | 52828 | 15.2 | 90M | 34 | 200 |1426 | 354 | 249 | 1 |1133 | 38 | 0.000000e+00 | -- | Inf | unknown
5.07/5.15 c 5.1s| 1000 | 58 | 54116 | 15.1 | 90M | 34 | 200 |1470 | 356 | 254 | 1 |1177 | 38 | 0.000000e+00 | -- | Inf | unknown
5.16/5.22 c 5.2s| 1100 | 56 | 55766 | 15.2 | 90M | 34 | 200 |1525 | 352 | 266 | 1 |1232 | 38 | 0.000000e+00 | -- | Inf | unknown
5.16/5.29 c 5.3s| 1200 | 58 | 57415 | 15.2 | 90M | 34 | 200 |1569 | 351 | 272 | 1 |1277 | 38 | 0.000000e+00 | -- | Inf | unknown
5.26/5.36 c 5.3s| 1300 | 62 | 59052 | 15.2 | 90M | 34 | 200 |1616 | 352 | 283 | 1 |1324 | 38 | 0.000000e+00 | -- | Inf | unknown
5.36/5.43 c 5.4s| 1400 | 63 | 60884 | 15.3 | 90M | 34 | 200 |1676 | 354 | 295 | 1 |1384 | 38 | 0.000000e+00 | -- | Inf | unknown
5.46/5.50 c 5.5s| 1500 | 59 | 62947 | 15.4 | 90M | 34 | 200 |1736 | 353 | 305 | 0 |1446 | 38 | 0.000000e+00 | -- | Inf | unknown
5.46/5.57 c 5.6s| 1600 | 62 | 64693 | 15.5 | 90M | 34 | 200 |1786 | 356 | 325 | 1 |1496 | 38 | 0.000000e+00 | -- | Inf | unknown
5.56/5.67 c 5.7s| 1700 | 67 | 67154 | 15.7 | 90M | 34 | 200 |1835 | 358 | 356 | 1 |1546 | 38 | 0.000000e+00 | -- | Inf | unknown
5.66/5.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.66/5.74 c 5.7s| 1800 | 67 | 68841 | 15.7 | 90M | 34 | 200 |1909 | 360 | 390 | 2 |1620 | 38 | 0.000000e+00 | -- | Inf | unknown
5.76/5.81 c 5.8s| 1900 | 65 | 70876 | 15.8 | 90M | 34 | 200 |1984 | 359 | 407 | 2 |1698 | 38 | 0.000000e+00 | -- | Inf | unknown
5.76/5.89 c 5.9s| 2000 | 69 | 72852 | 15.9 | 90M | 34 | 200 |2057 | 353 | 431 | 0 |1772 | 38 | 0.000000e+00 | -- | Inf | unknown
5.86/5.96 c 6.0s| 2100 | 74 | 74797 | 16.0 | 90M | 34 | 200 |2121 | 351 | 453 | 1 |1839 | 38 | 0.000000e+00 | -- | Inf | unknown
5.96/6.04 c 6.0s| 2200 | 70 | 76983 | 16.1 | 90M | 34 | 200 |2192 | 354 | 478 | 0 |1915 | 38 | 0.000000e+00 | -- | Inf | unknown
6.06/6.11 c 6.1s| 2300 | 70 | 78775 | 16.2 | 90M | 34 | 200 |2245 | 355 | 501 | 0 |1974 | 38 | 0.000000e+00 | -- | Inf | unknown
6.06/6.18 c 6.2s| 2400 | 68 | 80315 | 16.2 | 90M | 34 | 200 |2277 | 357 | 522 | 1 |2012 | 38 | 0.000000e+00 | -- | Inf | unknown
6.16/6.27 c 6.3s| 2500 | 68 | 82467 | 16.3 | 90M | 34 | 200 |2331 | 358 | 548 | 1 |2073 | 38 | 0.000000e+00 | -- | Inf | unknown
6.26/6.34 c 6.3s| 2600 | 69 | 84383 | 16.3 | 90M | 34 | 200 |2387 | 355 | 556 | 1 |2137 | 38 | 0.000000e+00 | -- | Inf | unknown
6.36/6.41 c 6.4s| 2700 | 59 | 86218 | 16.4 | 90M | 34 | 200 |2424 | 358 | 556 | 1 |2180 | 38 | 0.000000e+00 | -- | Inf | unknown
6.36/6.49 c 6.5s| 2800 | 57 | 88383 | 16.5 | 90M | 34 | 200 |2478 | 353 | 573 | 1 |2238 | 38 | 0.000000e+00 | -- | Inf | unknown
6.46/6.56 c 6.6s| 2900 | 63 | 90399 | 16.5 | 90M | 34 | 200 |2535 | 359 | 588 | 0 |2298 | 38 | 0.000000e+00 | -- | Inf | unknown
6.56/6.63 c 6.6s| 3000 | 67 | 92109 | 16.5 | 90M | 34 | 200 |2575 | 356 | 599 | 0 |2339 | 38 | 0.000000e+00 | -- | Inf | unknown
6.66/6.70 c 6.7s| 3100 | 69 | 93789 | 16.5 | 90M | 34 | 200 |2620 | 355 | 608 | 1 |2388 | 38 | 0.000000e+00 | -- | Inf | unknown
6.66/6.78 c 6.8s| 3200 | 71 | 95938 | 16.6 | 90M | 34 | 200 |2682 | 358 | 641 | 1 |2462 | 38 | 0.000000e+00 | -- | Inf | unknown
6.76/6.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.76/6.86 c 6.9s| 3300 | 66 | 97915 | 16.7 | 90M | 34 | 200 |2733 | 360 | 666 | 0 |2524 | 38 | 0.000000e+00 | -- | Inf | unknown
6.85/6.99 c 7.0s| 3400 | 98 |100256 | 16.8 | 90M | 34 | 200 |2775 | 357 | 739 | 1 |2581 | 38 | 0.000000e+00 | -- | Inf | unknown
6.96/7.05 c 7.0s| 3500 | 98 |101648 | 16.7 | 90M | 34 | 200 |2817 | 357 | 745 | 0 |2629 | 38 | 0.000000e+00 | -- | Inf | unknown
7.06/7.12 c 7.1s| 3600 | 104 |103504 | 16.8 | 90M | 34 | 200 |2860 | 356 | 753 | 0 |2678 | 38 | 0.000000e+00 | -- | Inf | unknown
7.06/7.19 c 7.2s| 3700 | 102 |104945 | 16.7 | 90M | 34 | 200 |2904 | 353 | 758 | 0 |2742 | 38 | 0.000000e+00 | -- | Inf | unknown
7.15/7.25 c 7.2s| 3800 | 100 |106687 | 16.7 | 90M | 34 | 200 |2916 | 355 | 770 | 1 |2780 | 38 | 0.000000e+00 | -- | Inf | unknown
7.25/7.32 c 7.3s| 3900 | 93 |108461 | 16.8 | 90M | 34 | 200 |2957 | 355 | 789 | 0 |2855 | 38 | 0.000000e+00 | -- | Inf | unknown
7.25/7.39 c 7.4s| 4000 | 97 |109686 | 16.7 | 90M | 34 | 200 |2961 | 356 | 817 | 1 |2890 | 38 | 0.000000e+00 | -- | Inf | unknown
7.35/7.47 c 7.5s| 4100 | 97 |111666 | 16.7 | 90M | 34 | 200 |2959 | 359 | 842 | 0 |2930 | 38 | 0.000000e+00 | -- | Inf | unknown
7.45/7.54 c 7.5s| 4200 | 96 |113302 | 16.7 | 90M | 34 | 200 |2954 | 361 | 866 | 0 |2991 | 38 | 0.000000e+00 | -- | Inf | unknown
7.55/7.60 c 7.6s| 4300 | 94 |114715 | 16.7 | 90M | 34 | 200 |2955 | 359 | 887 | 0 |3025 | 38 | 0.000000e+00 | -- | Inf | unknown
7.55/7.69 c 7.7s| 4400 | 108 |117051 | 16.8 | 90M | 34 | 200 |2987 | 0 | 920 | 0 |3115 | 38 | 0.000000e+00 | -- | Inf | unknown
7.65/7.75 c 7.7s| 4500 | 111 |118058 | 16.7 | 90M | 34 | 200 |2976 | 357 | 932 | 1 |3136 | 38 | 0.000000e+00 | -- | Inf | unknown
7.75/7.80 c 7.8s| 4600 | 117 |119221 | 16.6 | 90M | 34 | 200 |2995 | 356 | 945 | 0 |3161 | 38 | 0.000000e+00 | -- | Inf | unknown
7.75/7.86 c 7.9s| 4700 | 119 |120615 | 16.6 | 90M | 34 | 200 |3009 | 356 | 955 | 1 |3192 | 38 | 0.000000e+00 | -- | Inf | unknown
7.85/7.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.85/7.92 c 7.9s| 4800 | 112 |122059 | 16.6 | 90M | 34 | 200 |3043 | 358 | 972 | 0 |3240 | 38 | 0.000000e+00 | -- | Inf | unknown
7.85/7.98 c 8.0s| 4900 | 111 |123556 | 16.5 | 90M | 34 | 200 |2982 | 358 |1001 | 1 |3286 | 38 | 0.000000e+00 | -- | Inf | unknown
7.96/8.04 c 8.0s| 5000 | 121 |124887 | 16.5 | 90M | 34 | 200 |2970 | 355 |1023 | 0 |3333 | 38 | 0.000000e+00 | -- | Inf | unknown
8.06/8.14 c 8.1s| 5100 | 131 |128216 | 16.7 | 90M | 34 | 200 |2955 | 355 |1029 | 1 |3367 | 38 | 0.000000e+00 | -- | Inf | unknown
8.15/8.25 c 8.2s| 5200 | 119 |131956 | 17.0 | 90M | 34 | 200 |2930 | 357 |1044 | 0 |3398 | 38 | 0.000000e+00 | -- | Inf | unknown
8.25/8.34 c 8.3s| 5300 | 120 |134778 | 17.1 | 90M | 34 | 200 |2872 | 352 |1054 | 1 |3421 | 38 | 0.000000e+00 | -- | Inf | unknown
8.35/8.46 c 8.4s| 5400 | 114 |138963 | 17.4 | 90M | 34 | 200 |2849 | 357 |1065 | 1 |3464 | 38 | 0.000000e+00 | -- | Inf | unknown
8.45/8.59 c 8.6s| 5500 | 120 |143170 | 17.7 | 90M | 34 | 200 |2767 | 353 |1070 | 1 |3488 | 38 | 0.000000e+00 | -- | Inf | unknown
8.55/8.64 c 8.6s| 5600 | 121 |144561 | 17.7 | 90M | 34 | 200 |2747 | 0 |1073 | 0 |3497 | 38 | 0.000000e+00 | -- | Inf | unknown
8.65/8.70 c 8.7s| 5700 | 123 |145998 | 17.7 | 90M | 34 | 200 |2748 | 354 |1076 | 0 |3518 | 38 | 0.000000e+00 | -- | Inf | unknown
8.75/8.86 c 8.9s| 5800 | 141 |151282 | 18.1 | 90M | 34 | 200 |2698 | 358 |1135 | 1 |3552 | 38 | 0.000000e+00 | -- | Inf | unknown
8.85/8.98 c 9.0s| 5900 | 133 |155604 | 18.4 | 90M | 34 | 200 |2702 | 355 |1149 | 0 |3586 | 38 | 0.000000e+00 | -- | Inf | unknown
8.95/9.09 c 9.1s| 6000 | 139 |159061 | 18.6 | 90M | 34 | 200 |2651 | 354 |1172 | 0 |3615 | 38 | 0.000000e+00 | -- | Inf | unknown
9.15/9.22 c 9.2s| 6100 | 139 |163480 | 18.9 | 90M | 37 | 200 |2612 | 354 |1219 | 0 |3645 | 38 | 0.000000e+00 | -- | Inf | unknown
9.25/9.33 c 9.3s| 6200 | 145 |166950 | 19.1 | 90M | 37 | 200 |2577 | 360 |1249 | 1 |3678 | 38 | 0.000000e+00 | -- | Inf | unknown
9.35/9.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.35/9.45 c 9.4s| 6300 | 141 |171042 | 19.3 | 90M | 37 | 200 |2528 | 356 |1274 | 0 |3706 | 38 | 0.000000e+00 | -- | Inf | unknown
9.45/9.54 c 9.5s| 6400 | 145 |173838 | 19.4 | 90M | 37 | 200 |2515 | 363 |1291 | 1 |3740 | 38 | 0.000000e+00 | -- | Inf | unknown
9.55/9.65 c 9.6s| 6500 | 139 |177588 | 19.6 | 90M | 37 | 200 |2482 | 363 |1319 | 1 |3769 | 38 | 0.000000e+00 | -- | Inf | unknown
9.65/9.76 c 9.8s| 6600 | 147 |181516 | 19.8 | 90M | 37 | 200 |2463 | 365 |1341 | 1 |3786 | 38 | 0.000000e+00 | -- | Inf | unknown
9.75/9.89 c 9.9s| 6700 | 137 |186266 | 20.1 | 90M | 37 | 200 |2436 | 360 |1382 | 0 |3819 | 38 | 0.000000e+00 | -- | Inf | unknown
9.95/10.03 c 10.0s| 6800 | 137 |191180 | 20.4 | 90M | 37 | 200 |2412 | 356 |1421 | 0 |3844 | 38 | 0.000000e+00 | -- | Inf | unknown
10.05/10.12 c 10.1s| 6900 | 145 |193725 | 20.5 | 90M | 37 | 200 |2418 | 355 |1467 | 1 |3870 | 38 | 0.000000e+00 | -- | Inf | unknown
10.14/10.26 c 10.3s| 7000 | 143 |199161 | 20.8 | 90M | 37 | 200 |2374 | 354 |1504 | 1 |3907 | 38 | 0.000000e+00 | -- | Inf | unknown
10.24/10.36 c 10.4s| 7100 | 149 |202322 | 20.9 | 90M | 37 | 200 |2387 | 359 |1536 | 0 |3946 | 38 | 0.000000e+00 | -- | Inf | unknown
10.34/10.44 c 10.4s| 7200 | 149 |204159 | 20.9 | 90M | 39 | 200 |2419 | 358 |1565 | 1 |3992 | 38 | 0.000000e+00 | -- | Inf | unknown
10.44/10.51 c 10.5s| 7300 | 147 |206167 | 20.9 | 90M | 39 | 200 |2454 | 360 |1586 | 0 |4048 | 38 | 0.000000e+00 | -- | Inf | unknown
10.44/10.57 c 10.6s| 7400 | 155 |207472 | 20.8 | 90M | 39 | 200 |2468 | 357 |1607 | 1 |4078 | 38 | 0.000000e+00 | -- | Inf | unknown
10.54/10.63 c 10.6s| 7500 | 153 |208882 | 20.8 | 90M | 39 | 200 |2505 | 357 |1612 | 0 |4121 | 38 | 0.000000e+00 | -- | Inf | unknown
10.54/10.69 c 10.7s| 7600 | 142 |210306 | 20.7 | 90M | 39 | 200 |2528 | 364 |1624 | 1 |4158 | 38 | 0.000000e+00 | -- | Inf | unknown
10.74/10.83 c 10.8s| 7700 | 178 |212868 | 20.7 | 91M | 39 | 200 |2448 | 356 |1726 | 1 |4215 | 38 | 0.000000e+00 | -- | Inf | unknown
10.84/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.84/10.93 c 10.9s| 7800 | 190 |215514 | 20.8 | 91M | 39 | 200 |2490 | 357 |1789 | 1 |4289 | 38 | 0.000000e+00 | -- | Inf | unknown
10.95/11.02 c 11.0s| 7900 | 195 |218009 | 20.8 | 91M | 39 | 200 |2533 | 356 |1815 | 1 |4366 | 38 | 0.000000e+00 | -- | Inf | unknown
11.05/11.11 c 11.1s| 8000 | 192 |220398 | 20.9 | 91M | 39 | 200 |2559 | 365 |1855 | 0 |4422 | 38 | 0.000000e+00 | -- | Inf | unknown
11.14/11.26 c 11.3s| 8100 | 194 |222300 | 20.9 | 91M | 39 | 200 |2621 | 354 |1873 | 0 |4497 | 38 | 0.000000e+00 | -- | Inf | unknown
11.24/11.35 c 11.3s| 8200 | 194 |224743 | 20.9 | 91M | 39 | 200 |2651 | 362 |1942 | 1 |4565 | 38 | 0.000000e+00 | -- | Inf | unknown
11.34/11.46 c 11.5s| 8300 | 200 |227902 | 21.0 | 91M | 39 | 200 |2716 | 362 |1983 | 1 |4648 | 38 | 0.000000e+00 | -- | Inf | unknown
11.44/11.53 c 11.5s| 8400 | 207 |230091 | 21.0 | 91M | 39 | 200 |2758 | 363 |2023 | 1 |4702 | 38 | 0.000000e+00 | -- | Inf | unknown
11.54/11.62 c 11.6s| 8500 | 209 |232550 | 21.0 | 91M | 39 | 200 |2819 | 363 |2091 | 1 |4785 | 38 | 0.000000e+00 | -- | Inf | unknown
11.64/11.70 c 11.7s| 8600 | 211 |234713 | 21.0 | 91M | 39 | 200 |2845 | 0 |2123 | 0 |4848 | 38 | 0.000000e+00 | -- | Inf | unknown
11.64/11.79 c 11.8s| 8700 | 214 |237009 | 21.1 | 91M | 39 | 200 |2872 | 354 |2140 | 0 |4916 | 38 | 0.000000e+00 | -- | Inf | unknown
11.74/11.86 c 11.9s| 8800 | 222 |238655 | 21.0 | 91M | 39 | 200 |2897 | 354 |2152 | 1 |4966 | 38 | 0.000000e+00 | -- | Inf | unknown
11.84/11.91 c 11.9s| 8900 | 222 |239837 | 20.9 | 91M | 39 | 200 |2921 | 354 |2152 | 0 |5007 | 38 | 0.000000e+00 | -- | Inf | unknown
11.84/11.98 c 12.0s| 9000 | 226 |241576 | 20.9 | 91M | 39 | 200 |2959 | 354 |2152 | 1 |5067 | 38 | 0.000000e+00 | -- | Inf | unknown
11.94/12.05 c 12.0s| 9100 | 221 |243223 | 20.9 | 91M | 39 | 200 |2988 | 358 |2162 | 1 |5123 | 38 | 0.000000e+00 | -- | Inf | unknown
12.04/12.10 c 12.1s| 9200 | 221 |244561 | 20.8 | 91M | 39 | 200 |3028 | 358 |2162 | 0 |5172 | 38 | 0.000000e+00 | -- | Inf | unknown
12.04/12.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.04/12.15 c 12.1s| 9300 | 220 |245658 | 20.7 | 91M | 39 | 200 |3065 | 358 |2162 | 0 |5211 | 38 | 0.000000e+00 | -- | Inf | unknown
12.14/12.21 c 12.2s| 9400 | 222 |246963 | 20.7 | 91M | 39 | 200 |3111 | 358 |2165 | 0 |5263 | 38 | 0.000000e+00 | -- | Inf | unknown
12.14/12.27 c 12.3s| 9500 | 224 |248266 | 20.6 | 91M | 39 | 200 |3153 | 357 |2171 | 1 |5309 | 38 | 0.000000e+00 | -- | Inf | unknown
12.24/12.33 c 12.3s| 9600 | 226 |249565 | 20.5 | 91M | 39 | 200 |3187 | 357 |2174 | 1 |5363 | 38 | 0.000000e+00 | -- | Inf | unknown
12.24/12.38 c 12.4s| 9700 | 223 |251093 | 20.5 | 91M | 39 | 200 |3238 | 357 |2176 | 1 |5435 | 38 | 0.000000e+00 | -- | Inf | unknown
12.34/12.45 c 12.4s| 9800 | 222 |252724 | 20.4 | 91M | 39 | 200 |3267 | 357 |2178 | 1 |5489 | 38 | 0.000000e+00 | -- | Inf | unknown
12.44/12.53 c 12.5s| 9900 | 217 |254950 | 20.5 | 91M | 39 | 200 |3289 | 356 |2192 | 0 |5553 | 38 | 0.000000e+00 | -- | Inf | unknown
12.44/12.59 c 12.6s| 10000 | 224 |256268 | 20.4 | 91M | 39 | 200 |3332 | 357 |2196 | 1 |5614 | 38 | 0.000000e+00 | -- | Inf | unknown
12.54/12.65 c 12.6s| 10100 | 217 |257225 | 20.3 | 91M | 40 | 200 |3353 | 356 |2199 | 0 |5653 | 38 | 0.000000e+00 | -- | Inf | unknown
12.64/12.70 c 12.7s| 10200 | 222 |258503 | 20.3 | 91M | 40 | 200 |3393 | 357 |2200 | 0 |5707 | 38 | 0.000000e+00 | -- | Inf | unknown
12.64/12.76 c 12.8s| 10300 | 230 |259741 | 20.2 | 91M | 40 | 200 |3429 | 357 |2203 | 1 |5762 | 38 | 0.000000e+00 | -- | Inf | unknown
12.74/12.82 c 12.8s| 10400 | 232 |261086 | 20.1 | 91M | 40 | 200 |3470 | 357 |2210 | 0 |5827 | 38 | 0.000000e+00 | -- | Inf | unknown
12.74/12.89 c 12.9s| 10500 | 222 |262824 | 20.1 | 91M | 40 | 200 |3501 | 356 |2214 | 1 |5881 | 38 | 0.000000e+00 | -- | Inf | unknown
12.84/12.96 c 13.0s| 10600 | 228 |264581 | 20.1 | 91M | 40 | 200 |3546 | 356 |2215 | 0 |5942 | 38 | 0.000000e+00 | -- | Inf | unknown
12.94/13.04 c 13.0s| 10700 | 225 |266855 | 20.1 | 91M | 40 | 200 |3554 | 357 |2219 | 1 |5994 | 38 | 0.000000e+00 | -- | Inf | unknown
13.04/13.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.04/13.13 c 13.1s| 10800 | 228 |268774 | 20.1 | 91M | 40 | 200 |3519 | 352 |2248 | 0 |6049 | 38 | 0.000000e+00 | -- | Inf | unknown
13.13/13.22 c 13.2s| 10900 | 248 |271076 | 20.1 | 91M | 40 | 200 |3451 | 0 |2271 | 0 |6122 | 38 | 0.000000e+00 | -- | Inf | unknown
13.23/13.30 c 13.3s| 11000 | 243 |273150 | 20.1 | 91M | 40 | 200 |3399 | 354 |2284 | 0 |6203 | 38 | 0.000000e+00 | -- | Inf | unknown
13.23/13.39 c 13.4s| 11100 | 253 |276059 | 20.2 | 91M | 40 | 200 |3421 | 360 |2327 | 1 |6278 | 38 | 0.000000e+00 | -- | Inf | unknown
13.43/13.50 c 13.5s| 11200 | 253 |279480 | 20.3 | 91M | 40 | 200 |3420 | 357 |2355 | 1 |6367 | 38 | 0.000000e+00 | -- | Inf | unknown
13.53/13.60 c 13.6s| 11300 | 250 |282460 | 20.4 | 91M | 40 | 200 |3477 | 360 |2381 | 0 |6455 | 38 | 0.000000e+00 | -- | Inf | unknown
13.53/13.69 c 13.7s| 11400 | 250 |285201 | 20.4 | 91M | 40 | 200 |3532 | 355 |2409 | 0 |6537 | 38 | 0.000000e+00 | -- | Inf | unknown
13.63/13.77 c 13.8s| 11500 | 255 |287199 | 20.4 | 91M | 40 | 200 |3555 | 354 |2442 | 1 |6615 | 38 | 0.000000e+00 | -- | Inf | unknown
13.73/13.85 c 13.8s| 11600 | 267 |289205 | 20.4 | 91M | 40 | 200 |3603 | 359 |2483 | 0 |6683 | 38 | 0.000000e+00 | -- | Inf | unknown
13.83/13.94 c 13.9s| 11700 | 279 |291975 | 20.5 | 91M | 40 | 200 |3657 | 352 |2535 | 0 |6752 | 38 | 0.000000e+00 | -- | Inf | unknown
13.94/14.04 c 14.0s| 11800 | 275 |294994 | 20.5 | 91M | 40 | 200 |3739 | 357 |2577 | 0 |6852 | 38 | 0.000000e+00 | -- | Inf | unknown
14.04/14.13 c 14.1s| 11900 | 278 |297428 | 20.6 | 92M | 40 | 200 |3805 | 362 |2611 | 0 |6942 | 38 | 0.000000e+00 | -- | Inf | unknown
14.13/14.24 c 14.2s| 12000 | 274 |300284 | 20.6 | 92M | 40 | 200 |3857 | 359 |2661 | 1 |7017 | 38 | 0.000000e+00 | -- | Inf | unknown
14.23/14.33 c 14.3s| 12100 | 264 |302587 | 20.6 | 92M | 40 | 200 |3890 | 355 |2675 | 0 |7110 | 38 | 0.000000e+00 | -- | Inf | unknown
14.33/14.40 c 14.4s| 12200 | 254 |304441 | 20.6 | 92M | 40 | 200 |3841 | 360 |2686 | 0 |7159 | 38 | 0.000000e+00 | -- | Inf | unknown
14.33/14.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.33/14.49 c 14.5s| 12300 | 250 |306722 | 20.6 | 92M | 40 | 200 |3758 | 355 |2709 | 1 |7231 | 38 | 0.000000e+00 | -- | Inf | unknown
14.43/14.57 c 14.6s| 12400 | 258 |308737 | 20.6 | 92M | 40 | 200 |3799 | 359 |2718 | 1 |7302 | 38 | 0.000000e+00 | -- | Inf | unknown
14.53/14.63 c 14.6s| 12500 | 260 |310497 | 20.6 | 92M | 40 | 200 |3846 | 360 |2723 | 0 |7355 | 38 | 0.000000e+00 | -- | Inf | unknown
14.63/14.70 c 14.7s| 12600 | 271 |312263 | 20.6 | 92M | 40 | 200 |3895 | 357 |2733 | 1 |7414 | 38 | 0.000000e+00 | -- | Inf | unknown
14.63/14.77 c 14.8s| 12700 | 269 |314252 | 20.6 | 92M | 40 | 200 |3937 | 355 |2735 | 0 |7467 | 38 | 0.000000e+00 | -- | Inf | unknown
14.73/14.84 c 14.8s| 12800 | 267 |315862 | 20.6 | 92M | 40 | 200 |3982 | 358 |2748 | 1 |7520 | 38 | 0.000000e+00 | -- | Inf | unknown
14.83/14.91 c 14.9s| 12900 | 266 |317792 | 20.6 | 92M | 40 | 200 |3992 | 360 |2753 | 1 |7586 | 38 | 0.000000e+00 | -- | Inf | unknown
14.83/14.99 c 15.0s| 13000 | 276 |319793 | 20.6 | 92M | 40 | 200 |3988 | 358 |2766 | 1 |7638 | 38 | 0.000000e+00 | -- | Inf | unknown
14.93/15.05 c 15.0s| 13100 | 270 |321699 | 20.5 | 92M | 40 | 200 |4000 | 358 |2766 | 0 |7694 | 38 | 0.000000e+00 | -- | Inf | unknown
15.03/15.14 c 15.1s| 13200 | 272 |324024 | 20.6 | 92M | 40 | 200 |3920 | 356 |2788 | 0 |7766 | 38 | 0.000000e+00 | -- | Inf | unknown
15.13/15.22 c 15.2s| 13300 | 277 |326463 | 20.6 | 92M | 40 | 200 |3887 | 362 |2818 | 1 |7822 | 38 | 0.000000e+00 | -- | Inf | unknown
15.23/15.30 c 15.3s| 13400 | 279 |328986 | 20.6 | 92M | 40 | 200 |3877 | 361 |2828 | 1 |7884 | 38 | 0.000000e+00 | -- | Inf | unknown
15.23/15.39 c 15.4s| 13500 | 278 |331151 | 20.6 | 92M | 40 | 200 |3891 | 356 |2833 | 1 |7947 | 38 | 0.000000e+00 | -- | Inf | unknown
15.32/15.47 c 15.5s| 13600 | 279 |333108 | 20.6 | 92M | 40 | 200 |3776 | 376 |2851 | 1 |8005 | 38 | 0.000000e+00 | -- | Inf | unknown
15.42/15.53 c 15.5s| 13700 | 284 |334554 | 20.6 | 92M | 40 | 200 |3749 | 356 |2856 | 0 |8051 | 38 | 0.000000e+00 | -- | Inf | unknown
15.52/15.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.52/15.63 c 15.6s| 13800 | 286 |336592 | 20.6 | 92M | 40 | 200 |3726 | 358 |2884 | 0 |8115 | 38 | 0.000000e+00 | -- | Inf | unknown
15.52/15.68 c 15.7s| 13900 | 284 |337746 | 20.5 | 92M | 40 | 200 |3717 | 357 |2890 | 0 |8141 | 38 | 0.000000e+00 | -- | Inf | unknown
15.62/15.76 c 15.8s| 14000 | 284 |339581 | 20.5 | 92M | 40 | 200 |3694 | 359 |2912 | 0 |8204 | 38 | 0.000000e+00 | -- | Inf | unknown
15.72/15.83 c 15.8s| 14100 | 280 |341118 | 20.5 | 92M | 40 | 200 |3639 | 357 |2936 | 0 |8261 | 38 | 0.000000e+00 | -- | Inf | unknown
15.72/15.89 c 15.9s| 14200 | 276 |342570 | 20.4 | 92M | 40 | 200 |3584 | 357 |2944 | 1 |8290 | 38 | 0.000000e+00 | -- | Inf | unknown
15.82/15.97 c 16.0s| 14300 | 278 |344749 | 20.4 | 92M | 40 | 200 |3481 | 356 |2950 | 1 |8348 | 38 | 0.000000e+00 | -- | Inf | unknown
15.93/16.03 c 16.0s| 14400 | 286 |346183 | 20.4 | 92M | 40 | 200 |3482 | 356 |2950 | 1 |8397 | 38 | 0.000000e+00 | -- | Inf | unknown
15.93/16.09 c 16.1s| 14500 | 286 |347653 | 20.4 | 92M | 40 | 200 |3512 | 356 |2953 | 1 |8461 | 38 | 0.000000e+00 | -- | Inf | unknown
16.03/16.15 c 16.1s| 14600 | 286 |349298 | 20.4 | 92M | 40 | 200 |3548 | 357 |2959 | 0 |8508 | 38 | 0.000000e+00 | -- | Inf | unknown
16.12/16.22 c 16.2s| 14700 | 288 |351014 | 20.3 | 92M | 40 | 200 |3565 | 357 |2965 | 1 |8549 | 38 | 0.000000e+00 | -- | Inf | unknown
16.12/16.28 c 16.3s| 14800 | 298 |352523 | 20.3 | 92M | 40 | 200 |3526 | 353 |2976 | 1 |8584 | 38 | 0.000000e+00 | -- | Inf | unknown
16.22/16.37 c 16.4s| 14900 | 295 |355046 | 20.3 | 92M | 40 | 200 |3551 | 357 |3004 | 0 |8656 | 38 | 0.000000e+00 | -- | Inf | unknown
16.32/16.45 c 16.4s| 15000 | 293 |357159 | 20.3 | 92M | 40 | 200 |3562 | 352 |3036 | 1 |8727 | 38 | 0.000000e+00 | -- | Inf | unknown
16.42/16.54 c 16.5s| 15100 | 297 |359619 | 20.4 | 92M | 40 | 200 |3642 | 355 |3063 | 0 |8831 | 38 | 0.000000e+00 | -- | Inf | unknown
16.52/16.63 c 16.6s| 15200 | 292 |362223 | 20.4 | 92M | 40 | 200 |3668 | 358 |3070 | 1 |8923 | 38 | 0.000000e+00 | -- | Inf | unknown
16.62/16.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.62/16.72 c 16.7s| 15300 | 288 |364903 | 20.4 | 92M | 40 | 200 |3689 | 355 |3088 | 0 |9022 | 38 | 0.000000e+00 | -- | Inf | unknown
16.62/16.79 c 16.8s| 15400 | 282 |366719 | 20.4 | 92M | 40 | 200 |3680 | 358 |3096 | 0 |9091 | 38 | 0.000000e+00 | -- | Inf | unknown
16.72/16.86 c 16.9s| 15500 | 278 |368770 | 20.4 | 92M | 40 | 200 |3666 | 356 |3102 | 0 |9168 | 38 | 0.000000e+00 | -- | Inf | unknown
16.82/16.94 c 16.9s| 15600 | 282 |370855 | 20.4 | 92M | 40 | 200 |3681 | 359 |3114 | 1 |9245 | 38 | 0.000000e+00 | -- | Inf | unknown
16.92/17.04 c 17.0s| 15700 | 292 |373073 | 20.4 | 92M | 40 | 200 |3594 | 360 |3165 | 0 |9303 | 38 | 0.000000e+00 | -- | Inf | unknown
17.03/17.13 c 17.1s| 15800 | 291 |375680 | 20.5 | 92M | 40 | 200 |3648 | 365 |3201 | 0 |9394 | 38 | 0.000000e+00 | -- | Inf | unknown
17.12/17.22 c 17.2s| 15900 | 295 |378354 | 20.5 | 92M | 40 | 200 |3715 | 362 |3216 | 1 |9491 | 38 | 0.000000e+00 | -- | Inf | unknown
17.22/17.33 c 17.3s| 16000 | 299 |381263 | 20.5 | 92M | 40 | 200 |3755 | 358 |3254 | 0 |9589 | 38 | 0.000000e+00 | -- | Inf | unknown
17.32/17.41 c 17.4s| 16100 | 303 |383966 | 20.6 | 92M | 40 | 200 |3808 | 359 |3271 | 0 |9662 | 38 | 0.000000e+00 | -- | Inf | unknown
17.42/17.50 c 17.5s| 16200 | 307 |386312 | 20.6 | 92M | 40 | 200 |3864 | 360 |3289 | 1 |9732 | 38 | 0.000000e+00 | -- | Inf | unknown
17.42/17.59 c 17.6s| 16300 | 306 |388931 | 20.6 | 92M | 40 | 200 |3953 | 359 |3310 | 0 |9841 | 38 | 0.000000e+00 | -- | Inf | unknown
17.52/17.68 c 17.7s| 16400 | 313 |391450 | 20.6 | 92M | 40 | 200 |4019 | 360 |3330 | 0 |9934 | 38 | 0.000000e+00 | -- | Inf | unknown
17.62/17.78 c 17.8s| 16500 | 315 |394718 | 20.7 | 92M | 40 | 200 |4074 | 360 |3341 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
17.72/17.88 c 17.9s| 16600 | 310 |397549 | 20.7 | 92M | 40 | 200 |4109 | 362 |3357 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
17.82/17.96 c 18.0s| 16700 | 309 |399737 | 20.8 | 92M | 40 | 200 |4146 | 359 |3359 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
17.92/18.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.92/18.04 c 18.0s| 16800 | 317 |401843 | 20.8 | 92M | 40 | 200 |4177 | 359 |3389 | 2 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
18.02/18.11 c 18.1s| 16900 | 318 |403627 | 20.7 | 92M | 40 | 200 |4216 | 361 |3407 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
18.02/18.19 c 18.2s| 17000 | 317 |405834 | 20.7 | 92M | 40 | 200 |4232 | 363 |3414 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
18.12/18.26 c 18.2s| 17100 | 313 |407572 | 20.7 | 92M | 40 | 200 |4209 | 354 |3416 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
18.22/18.33 c 18.3s| 17200 | 317 |409295 | 20.7 | 92M | 40 | 200 |4197 | 359 |3429 | 2 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
18.22/18.39 c 18.4s| 17300 | 320 |410871 | 20.7 | 92M | 40 | 200 |4235 | 359 |3436 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
18.32/18.46 c 18.5s| 17400 | 314 |412932 | 20.7 | 92M | 40 | 200 |4191 | 357 |3441 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
18.42/18.54 c 18.5s| 17500 | 316 |414922 | 20.7 | 92M | 40 | 200 |4160 | 361 |3473 | 2 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
18.51/18.65 c 18.6s| 17600 | 320 |416791 | 20.7 | 93M | 40 | 200 |4126 | 359 |3480 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
18.61/18.73 c 18.7s| 17700 | 316 |418832 | 20.7 | 93M | 40 | 200 |4099 | 365 |3494 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
18.71/18.82 c 18.8s| 17800 | 331 |420883 | 20.7 | 93M | 40 | 200 |3976 | 355 |3518 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
18.81/18.91 c 18.9s| 17900 | 339 |423015 | 20.7 | 93M | 40 | 200 |3940 | 357 |3553 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
18.81/18.99 c 19.0s| 18000 | 339 |425141 | 20.7 | 93M | 40 | 200 |3917 | 354 |3575 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
18.92/19.08 c 19.1s| 18100 | 349 |427157 | 20.7 | 93M | 40 | 200 |3919 | 357 |3612 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
19.02/19.19 c 19.2s| 18200 | 344 |430632 | 20.7 | 93M | 40 | 200 |3928 | 358 |3650 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
19.11/19.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.11/19.28 c 19.3s| 18300 | 346 |433014 | 20.8 | 93M | 40 | 200 |3968 | 359 |3675 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
19.21/19.39 c 19.4s| 18400 | 351 |436157 | 20.8 | 93M | 40 | 200 |4010 | 354 |3696 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
19.31/19.47 c 19.5s| 18500 | 349 |438843 | 20.8 | 93M | 40 | 200 |4071 | 355 |3710 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
19.41/19.56 c 19.6s| 18600 | 351 |441579 | 20.9 | 93M | 40 | 200 |4125 | 357 |3730 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
19.61/19.70 c 19.7s| 18700 | 348 |445416 | 21.0 | 93M | 40 | 200 |4172 | 353 |3765 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
19.71/19.80 c 19.8s| 18800 | 359 |448654 | 21.0 | 93M | 40 | 200 |4228 | 363 |3812 | 2 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
19.81/19.91 c 19.9s| 18900 | 369 |451293 | 21.0 | 93M | 40 | 200 |4263 | 353 |3860 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
19.81/19.98 c 20.0s| 19000 | 381 |453144 | 21.0 | 93M | 40 | 200 |4294 | 0 |3883 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
19.91/20.05 c 20.0s| 19100 | 381 |455018 | 21.0 | 93M | 40 | 200 |4348 | 353 |3902 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
20.01/20.14 c 20.1s| 19200 | 385 |457668 | 21.0 | 93M | 40 | 200 |4426 | 354 |3922 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
20.11/20.23 c 20.2s| 19300 | 383 |460245 | 21.1 | 93M | 40 | 200 |4483 | 355 |3935 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
20.21/20.39 c 20.4s| 19400 | 388 |466205 | 21.2 | 93M | 40 | 200 |4500 | 352 |3956 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
20.41/20.59 c 20.6s| 19500 | 379 |473303 | 21.5 | 93M | 40 | 200 |4544 | 354 |3985 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
20.71/20.81 c 20.8s| 19600 | 378 |480428 | 21.7 | 93M | 40 | 200 |4558 | 354 |4069 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
20.81/20.91 c 20.9s| 19700 | 380 |483645 | 21.7 | 93M | 40 | 200 |4570 | 357 |4118 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
20.91/21.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.91/21.02 c 21.0s| 19800 | 377 |486115 | 21.7 | 93M | 40 | 200 |4456 | 360 |4167 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
20.91/21.09 c 21.1s| 19900 | 387 |487613 | 21.7 | 93M | 40 | 200 |4409 | 365 |4195 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
21.01/21.18 c 21.2s| 20000 | 377 |489977 | 21.7 | 93M | 40 | 200 |4431 | 365 |4219 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
21.11/21.29 c 21.3s| 20100 | 370 |492933 | 21.8 | 93M | 40 | 200 |4321 | 359 |4270 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
21.20/21.36 c 21.3s| 20200 | 384 |494529 | 21.7 | 93M | 40 | 200 |4341 | 362 |4289 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
21.30/21.42 c 21.4s| 20300 | 379 |496148 | 21.7 | 93M | 40 | 200 |4368 | 364 |4293 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
21.30/21.48 c 21.5s| 20400 | 391 |497999 | 21.7 | 93M | 40 | 200 |4395 | 363 |4299 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
21.40/21.56 c 21.5s| 20500 | 383 |500099 | 21.7 | 93M | 40 | 200 |4466 | 363 |4299 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
21.50/21.64 c 21.6s| 20600 | 378 |502527 | 21.7 | 93M | 40 | 200 |4494 | 358 |4325 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
21.60/21.72 c 21.7s| 20700 | 372 |504586 | 21.7 | 93M | 40 | 200 |4472 | 359 |4342 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
21.60/21.79 c 21.8s| 20800 | 380 |506408 | 21.7 | 93M | 40 | 200 |4419 | 355 |4375 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
21.70/21.87 c 21.9s| 20900 | 386 |508492 | 21.7 | 93M | 40 | 200 |4423 | 362 |4423 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
21.80/21.94 c 21.9s| 21000 | 384 |510514 | 21.7 | 93M | 40 | 200 |4457 | 360 |4456 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
21.80/21.99 c 22.0s| 21100 | 384 |512045 | 21.6 | 93M | 40 | 200 |4479 | 357 |4469 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
21.91/22.04 c 22.0s| 21200 | 392 |513245 | 21.6 | 93M | 40 | 200 |4502 | 358 |4482 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
21.91/22.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.91/22.09 c 22.1s| 21300 | 393 |514366 | 21.6 | 93M | 40 | 200 |4524 | 358 |4486 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.01/22.14 c 22.1s| 21400 | 391 |515698 | 21.5 | 93M | 40 | 200 |4549 | 360 |4486 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.01/22.19 c 22.2s| 21500 | 395 |517076 | 21.5 | 93M | 40 | 200 |4572 | 357 |4489 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.10/22.24 c 22.2s| 21600 | 400 |518370 | 21.5 | 93M | 40 | 200 |4599 | 356 |4492 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.20/22.30 c 22.3s| 21700 | 396 |519793 | 21.4 | 93M | 40 | 200 |4635 | 357 |4493 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.20/22.35 c 22.3s| 21800 | 388 |521328 | 21.4 | 93M | 40 | 200 |4687 | 356 |4497 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.30/22.41 c 22.4s| 21900 | 396 |522708 | 21.4 | 93M | 40 | 200 |4728 | 356 |4508 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.30/22.47 c 22.5s| 22000 | 394 |524282 | 21.3 | 93M | 40 | 200 |4753 | 358 |4514 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.40/22.53 c 22.5s| 22100 | 393 |525938 | 21.3 | 93M | 40 | 200 |4799 | 356 |4515 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.40/22.59 c 22.6s| 22200 | 391 |527701 | 21.3 | 93M | 40 | 200 |4825 | 358 |4518 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.50/22.65 c 22.6s| 22300 | 389 |529257 | 21.3 | 93M | 40 | 200 |4851 | 359 |4525 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.60/22.70 c 22.7s| 22400 | 387 |530515 | 21.3 | 93M | 40 | 200 |4875 | 359 |4525 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.60/22.76 c 22.8s| 22500 | 387 |532184 | 21.2 | 93M | 40 | 200 |4908 | 362 |4545 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.70/22.84 c 22.8s| 22600 | 387 |534045 | 21.2 | 93M | 40 | 200 |4870 | 360 |4552 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.80/22.91 c 22.9s| 22700 | 388 |535855 | 21.2 | 93M | 40 | 200 |4854 | 358 |4559 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.80/22.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.80/22.97 c 23.0s| 22800 | 390 |537412 | 21.2 | 93M | 40 | 200 |4851 | 359 |4582 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
22.90/23.04 c 23.0s| 22900 | 393 |539228 | 21.2 | 93M | 40 | 200 |4832 | 356 |4602 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
23.00/23.11 c 23.1s| 23000 | 397 |540872 | 21.2 | 93M | 40 | 200 |4871 | 358 |4617 | 2 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
23.00/23.17 c 23.2s| 23100 | 397 |542410 | 21.1 | 93M | 40 | 200 |4902 | 356 |4618 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.10/23.23 c 23.2s| 23200 | 397 |543747 | 21.1 | 93M | 40 | 200 |4956 | 355 |4620 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.10/23.28 c 23.3s| 23300 | 399 |545223 | 21.1 | 93M | 40 | 200 |4995 | 355 |4625 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.20/23.34 c 23.3s| 23400 | 405 |546521 | 21.1 | 93M | 40 | 200 |5028 | 357 |4631 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.20/23.39 c 23.4s| 23500 | 409 |547749 | 21.0 | 93M | 40 | 200 |5040 | 356 |4636 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.30/23.46 c 23.4s| 23600 | 408 |549346 | 21.0 | 93M | 40 | 200 |5082 | 356 |4646 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.40/23.51 c 23.5s| 23700 | 408 |550452 | 21.0 | 93M | 40 | 200 |5087 | 357 |4650 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.40/23.56 c 23.6s| 23800 | 416 |551711 | 20.9 | 93M | 40 | 200 |5097 | 357 |4659 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.50/23.61 c 23.6s| 23900 | 418 |552770 | 20.9 | 93M | 40 | 200 |5115 | 358 |4665 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.50/23.66 c 23.7s| 24000 | 424 |553945 | 20.9 | 93M | 40 | 200 |5121 | 358 |4670 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.60/23.73 c 23.7s| 24100 | 418 |555539 | 20.8 | 93M | 40 | 200 |5132 | 359 |4674 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.60/23.78 c 23.8s| 24200 | 420 |556664 | 20.8 | 93M | 40 | 200 |5163 | 355 |4674 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.70/23.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.70/23.83 c 23.8s| 24300 | 422 |558006 | 20.8 | 93M | 40 | 200 |5149 | 358 |4676 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.70/23.89 c 23.9s| 24400 | 417 |559311 | 20.7 | 94M | 40 | 200 |5184 | 355 |4681 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.80/23.95 c 23.9s| 24500 | 419 |560828 | 20.7 | 94M | 40 | 200 |5189 | 358 |4687 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.90/24.01 c 24.0s| 24600 | 419 |562473 | 20.7 | 94M | 40 | 200 |5226 | 356 |4693 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
23.90/24.07 c 24.1s| 24700 | 413 |563855 | 20.7 | 94M | 40 | 200 |5236 | 357 |4693 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
24.00/24.12 c 24.1s| 24800 | 423 |565003 | 20.7 | 94M | 40 | 200 |5236 | 358 |4695 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
24.00/24.18 c 24.2s| 24900 | 411 |566471 | 20.6 | 94M | 40 | 200 |5256 | 358 |4699 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
24.09/24.24 c 24.2s| 25000 | 410 |567997 | 20.6 | 94M | 40 | 200 |5275 | 359 |4702 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
24.09/24.29 c 24.3s| 25100 | 418 |569282 | 20.6 | 94M | 40 | 200 |5289 | 358 |4709 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
24.19/24.35 c 24.3s| 25200 | 411 |570633 | 20.6 | 94M | 40 | 200 |5307 | 359 |4717 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
24.29/24.41 c 24.4s| 25300 | 411 |572115 | 20.5 | 94M | 40 | 200 |5325 | 355 |4720 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
24.29/24.46 c 24.5s| 25400 | 419 |573537 | 20.5 | 94M | 40 | 200 |5349 | 355 |4722 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
24.39/24.56 c 24.6s| 25500 | 416 |576791 | 20.6 | 94M | 40 | 200 |5378 | 356 |4722 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
24.59/24.71 c 24.7s| 25600 | 414 |583285 | 20.7 | 94M | 40 | 200 |5403 | 356 |4723 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
24.59/24.79 c 24.8s| 25700 | 420 |586101 | 20.7 | 94M | 40 | 200 |5417 | 356 |4726 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
24.69/24.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.69/24.85 c 24.8s| 25800 | 419 |587358 | 20.7 | 94M | 40 | 200 |5444 | 355 |4729 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
24.79/24.91 c 24.9s| 25900 | 431 |589196 | 20.7 | 94M | 40 | 200 |5475 | 356 |4734 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
24.79/24.99 c 25.0s| 26000 | 431 |591405 | 20.7 | 94M | 40 | 200 |5518 | 356 |4737 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
24.89/25.06 c 25.1s| 26100 | 429 |593476 | 20.7 | 94M | 40 | 200 |5557 | 356 |4738 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
24.99/25.12 c 25.1s| 26200 | 435 |595262 | 20.7 | 94M | 40 | 200 |5594 | 356 |4742 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
24.99/25.18 c 25.2s| 26300 | 435 |596898 | 20.7 | 94M | 40 | 200 |5635 | 356 |4746 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
25.09/25.23 c 25.2s| 26400 | 437 |598032 | 20.7 | 94M | 40 | 200 |5673 | 356 |4748 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
25.09/25.29 c 25.3s| 26500 | 434 |599797 | 20.6 | 94M | 40 | 200 |5721 | 356 |4751 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
25.19/25.36 c 25.4s| 26600 | 438 |601630 | 20.6 | 94M | 40 | 200 |5773 | 357 |4751 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
25.29/25.43 c 25.4s| 26700 | 434 |603385 | 20.6 | 94M | 40 | 200 |5819 | 356 |4755 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
25.39/25.51 c 25.5s| 26800 | 440 |605376 | 20.6 | 94M | 40 | 200 |5864 | 356 |4757 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
25.39/25.58 c 25.6s| 26900 | 442 |607598 | 20.6 | 94M | 40 | 200 |5915 | 358 |4762 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
25.49/25.64 c 25.6s| 27000 | 443 |609046 | 20.6 | 94M | 40 | 200 |5961 | 358 |4762 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
25.68/25.81 c 25.8s| 27100 | 446 |610748 | 20.6 | 94M | 40 | 200 |5999 | 357 |4766 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
25.68/25.87 c 25.9s| 27200 | 440 |612557 | 20.6 | 94M | 40 | 200 |6057 | 358 |4767 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
25.78/25.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.78/25.95 c 25.9s| 27300 | 440 |614553 | 20.6 | 94M | 40 | 200 |6096 | 357 |4768 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
25.89/26.02 c 26.0s| 27400 | 436 |616397 | 20.6 | 94M | 40 | 200 |6147 | 358 |4768 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
25.89/26.08 c 26.1s| 27500 | 434 |618214 | 20.6 | 94M | 40 | 200 |6176 | 356 |4770 | 2 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
25.99/26.14 c 26.1s| 27600 | 436 |619824 | 20.6 | 94M | 40 | 200 |6197 | 355 |4771 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | unknown
26.08/26.21 c 26.2s| 27700 | 434 |621084 | 20.5 | 94M | 40 | 200 |6194 | 355 |4778 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.08/26.26 c 26.3s| 27800 | 430 |622495 | 20.5 | 94M | 40 | 200 |6194 | 359 |4778 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.18/26.32 c 26.3s| 27900 | 437 |623827 | 20.5 | 94M | 40 | 200 |6193 | 355 |4779 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.18/26.38 c 26.4s| 28000 | 434 |625234 | 20.5 | 94M | 40 | 200 |6194 | 359 |4781 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.28/26.44 c 26.4s| 28100 | 433 |626679 | 20.4 | 94M | 40 | 200 |6180 | 357 |4782 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.38/26.51 c 26.5s| 28200 | 435 |628241 | 20.4 | 94M | 40 | 200 |6126 | 358 |4784 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.38/26.57 c 26.6s| 28300 | 438 |629972 | 20.4 | 94M | 40 | 200 |6106 | 357 |4787 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.48/26.64 c 26.6s| 28400 | 442 |631645 | 20.4 | 94M | 40 | 200 |6135 | 357 |4788 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.58/26.73 c 26.7s| 28500 | 450 |633989 | 20.4 | 94M | 40 | 200 |6150 | 357 |4793 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.68/26.83 c 26.8s| 28600 | 456 |637691 | 20.5 | 94M | 40 | 200 |6162 | 358 |4795 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.78/26.94 c 26.9s| 28700 | 460 |641501 | 20.5 | 94M | 40 | 200 |6182 | 357 |4795 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.88/27.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.88/27.00 c 27.0s| 28800 | 466 |643127 | 20.5 | 94M | 40 | 200 |6179 | 355 |4796 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.88/27.06 c 27.1s| 28900 | 464 |644624 | 20.5 | 94M | 40 | 200 |6219 | 355 |4798 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.98/27.12 c 27.1s| 29000 | 467 |646129 | 20.5 | 94M | 40 | 200 |6233 | 357 |4801 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
26.98/27.18 c 27.2s| 29100 | 473 |647483 | 20.5 | 94M | 40 | 200 |6300 | 356 |4802 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
27.08/27.24 c 27.2s| 29200 | 470 |649008 | 20.4 | 94M | 40 | 200 |6350 | 356 |4802 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
27.18/27.30 c 27.3s| 29300 | 465 |650560 | 20.4 | 94M | 40 | 200 |6391 | 356 |4803 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
27.18/27.36 c 27.4s| 29400 | 465 |652205 | 20.4 | 94M | 40 | 200 |6433 | 356 |4804 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
27.28/27.42 c 27.4s| 29500 | 467 |653626 | 20.4 | 94M | 40 | 200 |6483 | 356 |4809 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
27.28/27.47 c 27.5s| 29600 | 465 |655129 | 20.4 | 94M | 40 | 200 |6505 | 356 |4812 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
27.38/27.53 c 27.5s| 29700 | 463 |656709 | 20.4 | 94M | 40 | 200 |6542 | 356 |4812 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | unknown
27.38/27.59 c 27.6s| 29800 | 461 |658043 | 20.3 | 94M | 40 | 200 |6574 | 356 |4812 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
27.48/27.64 c 27.6s| 29900 | 462 |659285 | 20.3 | 94M | 40 | 200 |6604 | 356 |4812 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
27.48/27.69 c 27.7s| 30000 | 462 |660408 | 20.3 | 94M | 40 | 200 |6637 | 357 |4814 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
27.58/27.74 c 27.7s| 30100 | 466 |661630 | 20.3 | 94M | 40 | 200 |6655 | 357 |4815 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
27.58/27.79 c 27.8s| 30200 | 464 |662578 | 20.2 | 94M | 40 | 200 |6678 | 356 |4815 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
27.68/27.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.68/27.83 c 27.8s| 30300 | 468 |663659 | 20.2 | 94M | 40 | 200 |6695 | 357 |4820 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
27.68/27.88 c 27.9s| 30400 | 464 |664911 | 20.2 | 94M | 40 | 200 |6719 | 356 |4820 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
27.78/27.94 c 27.9s| 30500 | 464 |666247 | 20.2 | 94M | 40 | 200 |6745 | 357 |4822 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
27.78/28.00 c 28.0s| 30600 | 462 |667635 | 20.1 | 94M | 40 | 200 |6786 | 357 |4824 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
27.88/28.07 c 28.1s| 30700 | 470 |669261 | 20.1 | 94M | 40 | 200 |6824 | 356 |4827 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
27.98/28.14 c 28.1s| 30800 | 464 |670998 | 20.1 | 94M | 40 | 200 |6858 | 357 |4830 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
27.98/28.19 c 28.2s| 30900 | 466 |672295 | 20.1 | 94M | 40 | 200 |6870 | 356 |4830 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
28.07/28.25 c 28.2s| 31000 | 466 |673616 | 20.1 | 94M | 40 | 200 |6869 | 356 |4831 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
28.17/28.30 c 28.3s| 31100 | 466 |674929 | 20.1 | 94M | 40 | 200 |6874 | 356 |4831 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
28.17/28.36 c 28.4s| 31200 | 466 |676124 | 20.0 | 94M | 40 | 200 |6881 | 358 |4848 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
28.27/28.42 c 28.4s| 31300 | 466 |677359 | 20.0 | 94M | 40 | 200 |6885 | 359 |4860 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
28.27/28.48 c 28.5s| 31400 | 467 |678646 | 20.0 | 94M | 40 | 200 |6875 | 357 |4870 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
28.37/28.54 c 28.5s| 31500 | 469 |679884 | 20.0 | 94M | 40 | 200 |6882 | 357 |4897 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
28.47/28.61 c 28.6s| 31600 | 467 |681272 | 19.9 | 94M | 40 | 200 |6879 | 357 |4914 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
28.47/28.68 c 28.7s| 31700 | 465 |682894 | 19.9 | 94M | 40 | 200 |6890 | 356 |4950 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
28.57/28.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.57/28.76 c 28.8s| 31800 | 469 |684546 | 19.9 | 94M | 40 | 200 |6918 | 357 |4990 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
28.67/28.82 c 28.8s| 31900 | 471 |686036 | 19.9 | 94M | 40 | 200 |6957 | 358 |5011 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
28.67/28.89 c 28.9s| 32000 | 471 |687711 | 19.9 | 94M | 40 | 200 |6977 | 357 |5026 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
28.77/28.98 c 29.0s| 32100 | 473 |690131 | 19.9 | 94M | 40 | 200 |7016 | 360 |5056 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | unknown
28.88/29.04 c 29.0s| 32200 | 467 |691800 | 19.9 | 94M | 40 | 200 |7063 | 357 |5072 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
28.88/29.10 c 29.1s| 32300 | 473 |693198 | 19.9 | 94M | 40 | 200 |7044 | 357 |5082 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
28.98/29.16 c 29.1s| 32400 | 471 |694907 | 19.9 | 94M | 40 | 200 |7059 | 357 |5082 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
29.07/29.27 c 29.3s| 32500 | 471 |698912 | 19.9 | 94M | 40 | 200 |7017 | 356 |5097 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
29.17/29.37 c 29.4s| 32600 | 469 |701973 | 20.0 | 94M | 40 | 200 |6984 | 357 |5146 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
29.27/29.48 c 29.5s| 32700 | 469 |705500 | 20.0 | 94M | 40 | 200 |6917 | 357 |5193 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
29.37/29.57 c 29.6s| 32800 | 468 |708658 | 20.0 | 94M | 40 | 200 |6897 | 357 |5197 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
29.47/29.69 c 29.7s| 32900 | 474 |713040 | 20.1 | 94M | 40 | 200 |6797 | 355 |5234 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
29.67/29.81 c 29.8s| 33000 | 474 |717192 | 20.2 | 94M | 40 | 200 |6717 | 356 |5263 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
29.77/29.91 c 29.9s| 33100 | 476 |720271 | 20.2 | 94M | 40 | 200 |6635 | 363 |5302 | 2 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
29.77/29.99 c 30.0s| 33200 | 477 |722778 | 20.2 | 94M | 40 | 200 |6514 | 356 |5317 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
29.87/30.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.87/30.08 c 30.1s| 33300 | 483 |725583 | 20.2 | 94M | 40 | 200 |6380 | 365 |5330 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
29.97/30.16 c 30.1s| 33400 | 481 |727953 | 20.2 | 94M | 40 | 200 |6344 | 359 |5344 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
30.07/30.26 c 30.3s| 33500 | 478 |731527 | 20.3 | 94M | 40 | 200 |6266 | 366 |5369 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
30.17/30.38 c 30.4s| 33600 | 470 |735319 | 20.3 | 94M | 40 | 200 |6090 | 355 |5379 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
30.37/30.52 c 30.5s| 33700 | 475 |740196 | 20.4 | 94M | 40 | 200 |6004 | 361 |5389 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
30.47/30.61 c 30.6s| 33800 | 476 |743491 | 20.4 | 94M | 40 | 200 |5950 | 360 |5421 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
30.57/30.75 c 30.7s| 33900 | 480 |748270 | 20.5 | 94M | 40 | 200 |5797 | 365 |5436 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
30.67/30.89 c 30.9s| 34000 | 496 |753117 | 20.6 | 94M | 40 | 200 |5673 | 361 |5461 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
30.77/30.99 c 31.0s| 34100 | 494 |756439 | 20.6 | 94M | 40 | 200 |5620 | 362 |5475 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
30.97/31.15 c 31.1s| 34200 | 489 |762172 | 20.7 | 94M | 40 | 200 |5452 | 352 |5507 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
31.17/31.31 c 31.3s| 34300 | 495 |767754 | 20.8 | 94M | 40 | 200 |5342 | 351 |5519 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
31.26/31.46 c 31.5s| 34400 | 491 |772783 | 20.9 | 94M | 40 | 200 |5316 | 353 |5533 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
31.36/31.56 c 31.5s| 34500 | 492 |775971 | 20.9 | 94M | 40 | 200 |5301 | 362 |5569 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
31.46/31.66 c 31.7s| 34600 | 492 |779367 | 21.0 | 94M | 40 | 200 |5140 | 354 |5575 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
31.56/31.78 c 31.8s| 34700 | 484 |783192 | 21.0 | 94M | 40 | 200 |4929 | 361 |5605 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
31.76/31.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.76/31.91 c 31.9s| 34800 | 483 |787393 | 21.1 | 94M | 40 | 200 |4777 | 362 |5627 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
31.76/31.99 c 32.0s| 34900 | 484 |790017 | 21.1 | 94M | 40 | 200 |4749 | 363 |5680 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
31.87/32.08 c 32.1s| 35000 | 480 |793211 | 21.1 | 94M | 40 | 200 |4755 | 362 |5724 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
32.06/32.22 c 32.2s| 35100 | 480 |797915 | 21.2 | 94M | 40 | 200 |4599 | 359 |5742 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
32.16/32.35 c 32.3s| 35200 | 487 |802110 | 21.2 | 94M | 40 | 200 |4489 | 363 |5759 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
32.26/32.46 c 32.5s| 35300 | 485 |805884 | 21.3 | 94M | 40 | 200 |4469 | 362 |5808 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
32.46/32.64 c 32.6s| 35400 | 489 |810941 | 21.4 | 94M | 40 | 200 |4331 | 356 |5872 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
32.56/32.74 c 32.7s| 35500 | 495 |814437 | 21.4 | 94M | 40 | 200 |4249 | 359 |5908 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
32.66/32.84 c 32.8s| 35600 | 499 |817683 | 21.4 | 94M | 40 | 200 |4146 | 365 |5968 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
32.76/32.90 c 32.9s| 35700 | 501 |819450 | 21.4 | 94M | 40 | 200 |4115 | 358 |6004 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
32.87/33.00 c 33.0s| 35800 | 499 |822964 | 21.5 | 94M | 40 | 200 |4074 | 366 |6056 | 2 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
32.87/33.09 c 33.1s| 35900 | 501 |825725 | 21.5 | 94M | 40 | 200 |4066 | 356 |6091 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | unknown
33.06/33.22 c 33.2s| 36000 | 502 |829884 | 21.5 | 94M | 40 | 200 |4009 | 357 |6139 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 0.50%
33.16/33.38 c 33.4s| 36100 | 509 |835644 | 21.6 | 94M | 40 | 200 |3930 | 0 |6158 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.50%
33.26/33.46 c 33.4s| 36200 | 509 |837573 | 21.6 | 94M | 40 | 200 |3840 | 363 |6212 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.51%
33.36/33.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
33.36/33.55 c 33.5s| 36300 | 507 |840343 | 21.6 | 94M | 40 | 200 |3734 | 372 |6272 | 2 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.51%
33.46/33.62 c 33.6s| 36400 | 512 |842352 | 21.6 | 94M | 40 | 200 |3744 | 362 |6296 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.51%
33.46/33.68 c 33.7s| 36500 | 511 |843861 | 21.6 | 94M | 40 | 200 |3779 | 361 |6322 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.51%
33.56/33.75 c 33.7s| 36600 | 513 |845446 | 21.6 | 94M | 40 | 200 |3778 | 355 |6336 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
33.66/33.81 c 33.8s| 36700 | 519 |847123 | 21.6 | 94M | 40 | 200 |3807 | 357 |6355 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
33.66/33.86 c 33.9s| 36800 | 517 |848434 | 21.6 | 94M | 40 | 200 |3849 | 356 |6356 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
33.76/33.91 c 33.9s| 36900 | 517 |849696 | 21.5 | 94M | 40 | 200 |3892 | 356 |6361 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
33.76/33.97 c 34.0s| 37000 | 517 |851106 | 21.5 | 94M | 40 | 200 |3932 | 357 |6364 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
33.86/34.02 c 34.0s| 37100 | 522 |852525 | 21.5 | 94M | 40 | 200 |3959 | 357 |6366 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
33.86/34.07 c 34.1s| 37200 | 518 |854006 | 21.5 | 94M | 40 | 200 |4008 | 357 |6366 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
33.96/34.13 c 34.1s| 37300 | 518 |855545 | 21.5 | 94M | 40 | 200 |4041 | 357 |6368 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.05/34.23 c 34.2s| 37400 | 511 |857892 | 21.5 | 94M | 40 | 200 |4098 | 357 |6368 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.05/34.28 c 34.3s| 37500 | 515 |859143 | 21.4 | 94M | 40 | 200 |4131 | 359 |6371 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.15/34.34 c 34.3s| 37600 | 523 |860638 | 21.4 | 94M | 40 | 200 |4179 | 358 |6375 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.15/34.39 c 34.4s| 37700 | 523 |862155 | 21.4 | 94M | 40 | 200 |4226 | 356 |6376 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.25/34.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.25/34.45 c 34.4s| 37800 | 525 |863624 | 21.4 | 94M | 40 | 200 |4281 | 356 |6378 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.35/34.51 c 34.5s| 37900 | 529 |865357 | 21.4 | 94M | 40 | 200 |4329 | 357 |6384 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.35/34.57 c 34.6s| 38000 | 523 |866830 | 21.4 | 94M | 40 | 200 |4371 | 356 |6395 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.45/34.64 c 34.6s| 38100 | 523 |868853 | 21.4 | 94M | 40 | 200 |4441 | 356 |6397 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.55/34.70 c 34.7s| 38200 | 529 |870358 | 21.4 | 94M | 40 | 200 |4469 | 356 |6397 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.55/34.76 c 34.8s| 38300 | 529 |872140 | 21.3 | 94M | 40 | 200 |4528 | 357 |6400 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.65/34.82 c 34.8s| 38400 | 529 |874029 | 21.3 | 94M | 40 | 200 |4571 | 356 |6409 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.75/34.92 c 34.9s| 38500 | 521 |876870 | 21.4 | 94M | 40 | 200 |4619 | 357 |6414 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.75/34.98 c 35.0s| 38600 | 519 |878438 | 21.3 | 94M | 40 | 200 |4648 | 358 |6415 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.86/35.06 c 35.0s| 38700 | 517 |881140 | 21.4 | 94M | 40 | 200 |4704 | 356 |6415 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.52%
34.96/35.15 c 35.1s| 38800 | 517 |884318 | 21.4 | 94M | 40 | 200 |4703 | 359 |6416 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.52%
35.05/35.24 c 35.2s| 38900 | 511 |887910 | 21.4 | 94M | 40 | 200 |4711 | 358 |6417 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.52%
35.15/35.33 c 35.3s| 39000 | 509 |891222 | 21.4 | 94M | 40 | 200 |4698 | 0 |6418 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.52%
35.25/35.43 c 35.4s| 39100 | 520 |894356 | 21.5 | 94M | 40 | 200 |4569 | 353 |6427 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.52%
35.35/35.53 c 35.5s| 39200 | 524 |897998 | 21.5 | 94M | 40 | 200 |4466 | 353 |6441 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.53%
35.45/35.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.45/35.68 c 35.7s| 39300 | 518 |902315 | 21.6 | 94M | 40 | 200 |4354 | 385 |6494 | 2 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.53%
35.65/35.84 c 35.8s| 39400 | 526 |907773 | 21.6 | 94M | 40 | 200 |4273 | 359 |6537 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.54%
35.75/35.95 c 35.9s| 39500 | 523 |911447 | 21.7 | 94M | 40 | 200 |4237 | 355 |6554 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.54%
35.85/36.03 c 36.0s| 39600 | 524 |913842 | 21.7 | 94M | 40 | 200 |4198 | 355 |6574 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.54%
35.85/36.10 c 36.1s| 39700 | 522 |915926 | 21.7 | 94M | 40 | 200 |4172 | 363 |6600 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.54%
36.05/36.20 c 36.2s| 39800 | 517 |919230 | 21.7 | 94M | 40 | 200 |4043 | 360 |6635 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.54%
36.15/36.30 c 36.3s| 39900 | 515 |922624 | 21.7 | 94M | 40 | 200 |3959 | 363 |6653 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.54%
36.25/36.42 c 36.4s| 40000 | 519 |926767 | 21.8 | 94M | 40 | 200 |3951 | 359 |6676 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.54%
36.35/36.53 c 36.5s| 40100 | 511 |930796 | 21.8 | 94M | 40 | 200 |3964 | 356 |6705 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.54%
36.45/36.63 c 36.6s| 40200 | 513 |933930 | 21.8 | 94M | 40 | 200 |3915 | 361 |6747 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.54%
36.55/36.74 c 36.7s| 40300 | 513 |937760 | 21.9 | 94M | 40 | 200 |3844 | 370 |6766 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.55%
36.65/36.81 c 36.8s| 40400 | 517 |939954 | 21.9 | 94M | 40 | 200 |3788 | 356 |6787 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.55%
36.75/36.91 c 36.9s| 40500 | 515 |943168 | 21.9 | 94M | 40 | 200 |3765 | 357 |6800 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.55%
36.85/37.04 c 37.0s| 40600 | 515 |947738 | 22.0 | 94M | 40 | 200 |3690 | 356 |6825 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.55%
36.95/37.13 c 37.1s| 40700 | 517 |950666 | 22.0 | 94M | 40 | 200 |3675 | 359 |6842 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.55%
37.05/37.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
37.05/37.26 c 37.2s| 40800 | 509 |955253 | 22.0 | 94M | 40 | 200 |3588 | 359 |6854 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.56%
37.15/37.36 c 37.4s| 40900 | 505 |958931 | 22.1 | 94M | 40 | 200 |3566 | 356 |6889 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 0.56%
37.24/37.47 c 37.5s| 41000 | 501 |962664 | 22.1 | 94M | 40 | 200 |3448 | 356 |6914 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 0.56%
37.44/37.62 c 37.6s| 41100 | 507 |967742 | 22.2 | 94M | 40 | 200 |3296 | 357 |6935 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 0.56%
37.54/37.72 c 37.7s| 41200 | 507 |971127 | 22.2 | 94M | 40 | 200 |3266 | 355 |6960 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 0.56%
37.64/37.86 c 37.9s| 41300 | 510 |976221 | 22.3 | 94M | 40 | 200 |3198 | 358 |6977 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 0.56%
37.74/37.97 c 38.0s| 41400 | 506 |980171 | 22.3 | 94M | 40 | 200 |3204 | 356 |7000 | 2 | 21k| 38 | 0.000000e+00 | -- | Inf | 0.57%
37.85/38.08 c 38.1s| 41500 | 508 |983656 | 22.3 | 94M | 40 | 200 |3184 | 357 |7022 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 0.57%
37.95/38.15 c 38.1s| 41600 | 510 |985745 | 22.3 | 94M | 40 | 200 |3129 | 352 |7036 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 0.57%
38.04/38.21 c 38.2s| 41700 | 516 |987691 | 22.3 | 94M | 40 | 200 |3115 | 356 |7049 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 0.57%
38.14/38.30 c 38.3s| 41800 | 507 |990639 | 22.3 | 94M | 40 | 200 |3120 | 353 |7050 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 0.57%
38.14/38.36 c *38.4s| 41868 | 0 |992599 | 22.3 | LP | 40 | 200 |3089 | 367 |7061 | 1 | 21k| 38 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
38.14/38.36 c
38.14/38.36 c SCIP Status : problem is solved [optimal solution found]
38.14/38.36 c Solving Time (sec) : 38.35
38.14/38.36 c Solving Nodes : 41868 (total of 44382 nodes in 2 runs)
38.14/38.36 c Primal Bound : +0.00000000000000e+00 (1 solutions)
38.14/38.36 c Dual Bound : +0.00000000000000e+00
38.14/38.36 c Gap : 0.00 %
38.14/38.36 s SATISFIABLE
38.14/38.36 v -x162 -x111 -x139 -x121 -x180 x119 x108 -x154 x172 -x132 -x190 -x166 -x129 -x153 x198 -x113 -x140 x200 -x155 x189 -x179 -x156 -x152
38.14/38.36 v -x149 -x109 -x188 -x151 -x144 -x165 -x135 -x115 -x146 -x147 -x126 -x106 -x182 -x197 -x102 -x195 -x161 x133 -x105 -x104 -x192
38.14/38.36 v -x114 -x171 -x125 -x138 -x185 x174 -x143 -x157 -x170 x159 -x123 -x103 -x101 x199 x196 -x186 -x181 -x177 -x176 -x175 -x167
38.14/38.36 v -x158 -x148 -x145 -x142 -x134 -x120 -x118 -x117 -x110 -x107 -x124 -x131 x183 -x130 -x168 -x169 -x112 -x137 x173 -x141 -x127
38.14/38.36 v -x164 -x160 -x191 x128 -x163 -x122 -x150 -x193 -x136 -x194 -x116 x178 -x187 -x184 -x100 -x99 -x98 -x97 -x96 -x95 x94 x93 -x92
38.14/38.36 v -x91 x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66
38.14/38.36 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 x52 x51 -x50 -x49 x48 -x47 x46 x45 -x44 -x43 -x42 -x41 -x40
38.14/38.36 v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14
38.14/38.36 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
38.14/38.36 c SCIP Status : problem is solved [optimal solution found]
38.14/38.36 c Total Time : 38.35
38.14/38.36 c solving : 38.35
38.14/38.36 c presolving : 0.05 (included in solving)
38.14/38.36 c reading : 0.01 (included in solving)
38.14/38.36 c copying : 0.34 (108 #copies) (minimal 0.00, maximal 0.02, average 0.00)
38.14/38.36 c Original Problem :
38.14/38.36 c Problem name : HOME/instance-4459584-1721932566.opb
38.14/38.36 c Variables : 3238 (200 binary, 0 integer, 3038 implicit integer, 0 continuous)
38.14/38.36 c Constraints : 3540 initial, 3540 maximal
38.14/38.36 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
38.14/38.36 c Presolved Problem :
38.14/38.36 c Problem name : t_HOME/instance-4459584-1721932566.opb
38.14/38.36 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
38.14/38.36 c Constraints : 1084 initial, 7068 maximal
38.14/38.36 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
38.14/38.36 c Nonzeros : 21934 constraint, 200 clique table
38.14/38.36 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
38.14/38.36 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
38.14/38.36 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
38.14/38.36 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
38.14/38.36 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
38.14/38.36 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
38.14/38.36 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
38.14/38.36 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c dualfix : 0.00 0.00 7 3038 0 0 0 0 0 0 0 0
38.14/38.36 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
38.14/38.36 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
38.14/38.36 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
38.14/38.36 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
38.14/38.36 c knapsack : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
38.14/38.36 c setppc : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
38.14/38.36 c linear : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
38.14/38.36 c logicor : 0.01 0.00 8 0 0 0 0 0 44 0 0 144
38.14/38.36 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c pseudoboolean : 0.01 0.00 1 0 0 0 0 0 3438 200 0 0
38.14/38.36 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
38.14/38.36 c root node : - - - 0 - - 0 - - - - -
38.14/38.36 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
38.14/38.36 c benderslp : 0 0 0 0 22634 0 0 4015 0 0 0 0 0 0 0
38.14/38.36 c integral : 0 0 0 0 22634 0 0 4015 0 0 0 0 0 0 45266
38.14/38.36 c knapsack : 229 229 22 114586 1 0 0 4008 340925 442 186678 1460 5 0 0
38.14/38.36 c setppc : 100 100 22 111073 1 0 0 3 34204 1 6546 0 0 0 0
38.14/38.36 c linear : 3 3 22 114143 1 0 0 2 42 216 453 0 0 0 0
38.14/38.36 c logicor : 752+ 6736 11 54532 0 0 0 0 25066 394 23159 0 0 0 0
38.14/38.36 c benders : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
38.14/38.36 c fixedvar : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
38.14/38.36 c countsols : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
38.14/38.36 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
38.14/38.36 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
38.14/38.36 c integral : 0.31 0.00 0.00 0.00 0.31 0.00 0.00 0.00 0.00 0.00
38.14/38.36 c knapsack : 1.23 0.00 0.02 1.08 0.00 0.00 0.00 0.03 0.11 0.00
38.14/38.36 c setppc : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
38.14/38.36 c linear : 0.14 0.00 0.00 0.14 0.00 0.00 0.00 0.00 0.00 0.00
38.14/38.36 c logicor : 0.84 0.00 0.00 0.81 0.00 0.00 0.00 0.00 0.02 0.00
38.14/38.36 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
38.14/38.36 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
38.14/38.36 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
38.14/38.36 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
38.14/38.36 c Propagators : #Propagate #ResProp Cutoffs DomReds
38.14/38.36 c dualfix : 2 0 0 0
38.14/38.36 c genvbounds : 0 0 0 0
38.14/38.36 c nlobbt : 0 0 0 0
38.14/38.36 c obbt : 0 0 0 0
38.14/38.36 c probing : 0 0 0 0
38.14/38.36 c pseudoobj : 0 0 0 0
38.14/38.36 c redcost : 0 0 0 0
38.14/38.36 c rootredcost : 0 0 0 0
38.14/38.36 c symmetry : 0 0 0 0
38.14/38.36 c vbounds : 68203 0 0 0
38.14/38.36 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
38.14/38.36 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
38.14/38.36 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
38.14/38.36 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
38.14/38.36 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
38.14/38.36 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
38.14/38.36 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
38.14/38.36 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
38.14/38.36 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
38.14/38.36 c symmetry : 0.02 0.00 0.00 0.02 0.00 0.00
38.14/38.36 c vbounds : 0.09 0.00 0.00 0.09 0.00 0.00
38.14/38.36 c Symmetry :
38.14/38.36 c orbitopal red. : 0 reductions applied, 0 cutoffs
38.14/38.36 c orbital reduction: 0 reductions applied, 0 cutoffs
38.14/38.36 c lexicographic red: 0 reductions applied, 0 cutoffs
38.14/38.36 c shadow tree time : 0.00 s
38.14/38.36 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
38.14/38.36 c propagation : 0.03 595 568 - 3347 47.7 8 20.6 - - -
38.14/38.36 c infeasible LP : 1.57 21296 12188 - 105319 33.4 68 23.5 0 0.0 0
38.14/38.36 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
38.14/38.36 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
38.14/38.36 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
38.14/38.36 c applied globally : 0.05 - - 0 21189 19.7 - - 0 - -
38.14/38.36 c applied locally : - - - 0 72 41.5 - - 0 - -
38.14/38.36 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
38.14/38.36 c cut pool : 0.27 - 4588 42 - - 10586 38233 - - - - - (maximal pool size: 3303)
38.14/38.36 c aggregation : 0.20 0.00 99 22 0 0 4369 30519 467 7427 7320 107 0
38.14/38.36 c > cmir : - - - - - - - 27062 2 6377 6377 0 -
38.14/38.36 c > flowcover : - - - - - - - 3272 0 925 925 0 -
38.14/38.36 c > knapsackcover : - - - - - - - 185 465 125 18 107 -
38.14/38.36 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c clique : 0.00 0.00 22 22 0 0 0 0 0 0 0 0 0
38.14/38.36 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c gomory : 0.57 0.00 97 20 0 0 7862 7680 1202 37 33 4 0
38.14/38.36 c > gomorymi : - - - - - - - 5041 628 35 31 4 -
38.14/38.36 c > strongcg : - - - - - - - 2639 574 2 2 0 -
38.14/38.36 c impliedbounds : 0.00 0.00 99 22 0 0 0 0 0 0 0 0 0
38.14/38.36 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
38.14/38.36 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c multilinear : 0.00 0.00 386 22 0 0 0 0 0 0 0 0 0
38.14/38.36 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
38.14/38.36 c rapidlearning : 1.65 0.00 100 1 0 1461 0 0 0 0 0 0 906
38.14/38.36 c rlt : 0.00 0.00 62 20 0 0 0 0 0 0 0 0 0
38.14/38.36 c zerohalf : 0.04 0.00 99 22 0 0 109 34 85 2 1 1 0
38.14/38.36 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
38.14/38.36 c hybrid : 0.03 0.00 3234 22 7475 0 33674 198 0 8991
38.14/38.36 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c Pricers : ExecTime SetupTime Calls Vars
38.14/38.36 c problem variables: 0.00 - 0 0
38.14/38.36 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
38.14/38.36 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c random : 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c relpscost : 0.30 0.00 22633 0 0 0 0 0 0 45266
38.14/38.36 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
38.14/38.36 c Primal Heuristics : ExecTime SetupTime Calls Found Best
38.14/38.36 c LP solutions : 0.00 - - 1 1
38.14/38.36 c relax solutions : 0.00 - - 0 0
38.14/38.36 c pseudo solutions : 0.00 - - 0 0
38.14/38.36 c strong branching : 0.00 - - 0 0
38.14/38.36 c actconsdiving : 0.00 0.00 0 0 0
38.14/38.36 c adaptivediving : 0.07 0.00 38 0 0
38.14/38.36 c alns : 0.33 0.00 6 0 0
38.14/38.36 c bound : 0.00 0.00 0 0 0
38.14/38.36 c clique : 0.00 0.00 1 0 0
38.14/38.36 c coefdiving : 0.00 0.00 0 0 0
38.14/38.36 c completesol : 0.00 0.00 0 0 0
38.14/38.36 c conflictdiving : 0.07 0.00 19 0 0
38.14/38.36 c crossover : 0.00 0.00 0 0 0
38.14/38.36 c dins : 0.00 0.00 0 0 0
38.14/38.36 c distributiondivin: 0.20 0.00 19 0 0
38.14/38.36 c dps : 0.00 0.00 0 0 0
38.14/38.36 c dualval : 0.00 0.00 0 0 0
38.14/38.36 c farkasdiving : 0.00 0.00 0 0 0
38.14/38.36 c feasjump : 0.13 0.00 2 0 0
38.14/38.36 c feaspump : 0.05 0.00 10 0 0
38.14/38.36 c fixandinfer : 0.00 0.00 0 0 0
38.14/38.36 c fracdiving : 0.04 0.00 20 0 0
38.14/38.36 c gins : 0.00 0.00 0 0 0
38.14/38.36 c guideddiving : 0.00 0.00 0 0 0
38.14/38.36 c indcoefdiving : 0.00 0.00 0 0 0
38.14/38.36 c indicator : 0.00 0.00 0 0 0
38.14/38.36 c indicatordiving : 0.00 0.00 0 0 0
38.14/38.36 c indoneopt : 0.01 0.00 0 0 0
38.14/38.36 c indrounding : 0.00 0.00 0 0 0
38.14/38.36 c indtwoopt : 0.00 0.00 0 0 0
38.14/38.36 c intdiving : 0.00 0.00 0 0 0
38.14/38.36 c intshifting : 0.00 0.00 0 0 0
38.14/38.36 c linesearchdiving : 0.04 0.00 19 0 0
38.14/38.36 c localbranching : 0.00 0.00 0 0 0
38.14/38.36 c locks : 0.00 0.00 1 0 0
38.14/38.36 c lpface : 0.01 0.00 0 0 0
38.14/38.36 c mpec : 0.00 0.00 0 0 0
38.14/38.36 c multistart : 0.00 0.00 0 0 0
38.14/38.36 c mutation : 0.00 0.00 0 0 0
38.14/38.36 c nlpdiving : 0.00 0.00 0 0 0
38.14/38.36 c objpscostdiving : 0.09 0.00 10 0 0
38.14/38.36 c octane : 0.00 0.00 0 0 0
38.14/38.36 c ofins : 0.00 0.00 0 0 0
38.14/38.36 c oneopt : 0.01 0.00 0 0 0
38.14/38.36 c padm : 0.00 0.00 0 0 0
38.14/38.36 c proximity : 0.00 0.00 0 0 0
38.14/38.36 c pscostdiving : 0.04 0.00 20 0 0
38.14/38.36 c randrounding : 0.08 0.00 4007 0 0
38.14/38.36 c rens : 0.08 0.00 2 0 0
38.14/38.36 c reoptsols : 0.00 0.00 0 0 0
38.14/38.36 c repair : 0.00 0.00 0 0 0
38.14/38.36 c rins : 0.00 0.00 0 0 0
38.14/38.36 c rootsoldiving : 0.08 0.00 10 0 0
38.14/38.36 c rounding : 0.13 0.00 2225 0 0
38.14/38.36 c scheduler : 0.00 0.00 0 0 0
38.14/38.36 c shiftandpropagate: 0.01 0.00 2 0 0
38.14/38.36 c shifting : 0.34 0.00 1000 0 0
38.14/38.36 c simplerounding : 0.00 0.00 0 0 0
38.14/38.36 c smallcard : 0.00 0.00 0 0 0
38.14/38.36 c subnlp : 0.01 0.00 0 0 0
38.14/38.36 c trivial : 0.00 0.00 4 0 0
38.14/38.36 c trivialnegation : 0.00 0.00 0 0 0
38.14/38.36 c trustregion : 0.00 0.00 0 0 0
38.14/38.36 c trysol : 0.00 0.00 0 0 0
38.14/38.36 c twoopt : 0.00 0.00 0 0 0
38.14/38.36 c undercover : 0.00 0.00 0 0 0
38.14/38.36 c vbounds : 0.01 0.00 2 0 0
38.14/38.36 c veclendiving : 0.04 0.00 19 0 0
38.14/38.36 c zeroobj : 0.00 0.00 0 0 0
38.14/38.36 c zirounding : 0.01 0.00 1000 0 0
38.14/38.36 c other solutions : - - - 0 -
38.14/38.36 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
38.14/38.36 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
38.14/38.36 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
38.14/38.36 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
38.14/38.36 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
38.14/38.36 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
38.14/38.36 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
38.14/38.36 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
38.14/38.36 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
38.14/38.36 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
38.14/38.36 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
38.14/38.36 c primal LP : 0.15 1399 590 147.50 4030.22 0.13 1395
38.14/38.36 c dual LP : 23.40 47539 975474 20.69 41684.51 0.08 400
38.14/38.36 c lex dual LP : 0.00 0 0 0.00 -
38.14/38.36 c barrier LP : 0.00 0 0 0.00 - 0.00 0
38.14/38.36 c resolve instable : 0.25 136 10781 79.27 42502.61
38.14/38.36 c diving/probing LP: 0.42 775 16535 21.34 39311.39
38.14/38.36 c strong branching : 0.05 38 1371 36.08 26620.33 - - 0
38.14/38.36 c (at root node) : - 38 1371 36.08 -
38.14/38.36 c conflict analysis: 0.00 0 0 0.00 -
38.14/38.36 c B&B Tree :
38.14/38.36 c number of runs : 2
38.14/38.36 c nodes : 41868 (21278 internal, 20590 leaves)
38.14/38.36 c feasible leaves : 1
38.14/38.36 c infeas. leaves : 20589
38.14/38.36 c objective leaves : 0
38.14/38.36 c nodes (total) : 44382 (22633 internal, 21749 leaves)
38.14/38.36 c nodes left : 0
38.14/38.36 c max depth : 40
38.14/38.36 c max depth (total): 40
38.14/38.36 c backtracks : 8403 (20.1%)
38.14/38.36 c early backtracks : 0 (0.0%)
38.14/38.36 c nodes exc. ref. : 0 (0.0%)
38.14/38.36 c delayed cutoffs : 186
38.14/38.36 c repropagations : 26183 (26843 domain reductions, 131 cutoffs)
38.14/38.36 c avg switch length: 3.87
38.14/38.36 c switching time : 2.50
38.14/38.36 c Root Node :
38.14/38.36 c First LP value : +0.00000000000000e+00
38.14/38.36 c First LP Iters : 65 (57167.99 Iter/sec)
38.14/38.36 c First LP Time : 0.00
38.14/38.36 c Final Dual Bound : +0.00000000000000e+00
38.14/38.36 c Final Root Iters : 955
38.14/38.36 c Root LP Estimate : +5.11248176629266e-03
38.14/38.36 c Solution :
38.14/38.36 c Solutions found : 1 (1 improvements)
38.14/38.36 c First Solution : +0.00000000000000e+00 (in run 2, after 41868 nodes, 38.35 seconds, depth 24, found by <relaxation>)
38.14/38.36 c Gap First Sol. : 0.00 %
38.14/38.36 c Gap Last Sol. : 0.00 %
38.14/38.36 c Primal Bound : +0.00000000000000e+00 (in run 2, after 41868 nodes, 38.35 seconds, depth -1, found by <relaxation>)
38.14/38.36 c Dual Bound : +0.00000000000000e+00
38.14/38.36 c Gap : 0.00 %
38.14/38.36 c Integrals : Total Avg%
38.14/38.36 c primal-dual : 3835.06 100.00
38.14/38.36 c primal-ref : - - (not evaluated)
38.14/38.36 c dual-ref : - - (not evaluated)
38.14/38.37 c Time complete: 38.2302.
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: 63968 MiB (50205 MiB free)
memory of node 1: 64473 MiB (56506 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459584-1721932566/watcher-4459584-1721932566 -o /tmp/evaluation-result-4459584-1721932566/solver-4459584-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721932566-306245 --watchdog 3760 pbscip -f HOME/instance-4459584-1721932566.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=306284, runsolver pid=306277
[startup+0.100086 s]*
/proc/loadavg: 0.06 0.08 0.09 4/245 306296
/proc/meminfo: memFree=109230328/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=75172 memory=36280 CPUtime=0.08 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 5671 0 4 0 8 0 0 0 20 0 1 0 29786071 76976128 9070 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 18793 9070 3845 3540 0 7050 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 75172 KiB
Current children cumulated memory: 36280 KiB
[startup+0.205839 s]*
/proc/loadavg: 0.06 0.08 0.09 2/243 306322
/proc/meminfo: memFree=109220308/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=87928 memory=49568 CPUtime=0.19 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 9063 0 4 0 18 1 0 0 20 0 1 0 29786071 90038272 12392 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 21982 12392 3976 3540 0 10239 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 87928 KiB
Current children cumulated memory: 49568 KiB
[startup+0.305295 s]*
/proc/loadavg: 0.06 0.08 0.09 2/240 306330
/proc/meminfo: memFree=109197308/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=111092 memory=71216 CPUtime=0.29 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 14516 0 4 0 27 2 0 0 20 0 1 0 29786071 113758208 17804 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 27773 17804 3976 3540 0 16030 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 111092 KiB
Current children cumulated memory: 71216 KiB
[startup+0.700196 s]
/proc/loadavg: 0.06 0.08 0.09 2/240 306330
/proc/meminfo: memFree=109171500/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=140776 memory=98408 CPUtime=0.68 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 21328 0 4 0 65 3 0 0 20 0 1 0 29786071 144154624 24602 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 35194 24602 3976 3540 0 23451 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 140776 KiB
Current children cumulated memory: 98408 KiB
[startup+1.50019 s]
/proc/loadavg: 0.06 0.08 0.09 2/240 306330
/proc/meminfo: memFree=109162988/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=148440 memory=104216 CPUtime=1.48 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 22734 0 4 0 145 3 0 0 20 0 1 0 29786071 152002560 26054 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 37110 26054 3976 3540 0 25367 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 148440 KiB
Current children cumulated memory: 104216 KiB
[startup+3.10507 s]
/proc/loadavg: 0.06 0.08 0.09 3/238 306542
/proc/meminfo: memFree=109218752/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=149132 memory=105264 CPUtime=3.07 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 23109 0 4 0 304 3 0 0 20 0 1 0 29786071 152711168 26316 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 37283 26316 3976 3540 0 25540 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 149132 KiB
Current children cumulated memory: 105264 KiB
[startup+6.30017 s]
/proc/loadavg: 0.37 0.14 0.11 5/252 306633
/proc/meminfo: memFree=108998728/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=150276 memory=106752 CPUtime=6.26 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 23879 0 5 0 623 3 0 0 20 0 1 0 29786071 153882624 26688 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 37569 26688 4118 3540 0 25826 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 150276 KiB
Current children cumulated memory: 106752 KiB
[startup+12.7002 s]
/proc/loadavg: 0.66 0.21 0.13 5/255 306676
/proc/meminfo: memFree=108897144/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=153624 memory=110280 CPUtime=12.64 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 24746 0 5 0 1261 3 0 0 20 0 1 0 29786071 157310976 27570 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 38406 27570 4150 3540 0 26663 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 153624 KiB
Current children cumulated memory: 110280 KiB
[startup+25.5002 s]
/proc/loadavg: 1.48 0.41 0.20 5/255 306679
/proc/meminfo: memFree=108868548/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=156276 memory=114072 CPUtime=25.39 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 25672 0 5 0 2536 3 0 0 20 0 1 0 29786071 160026624 28518 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 39069 28518 4150 3540 0 27326 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 156276 KiB
Current children cumulated memory: 114072 KiB
[startup+38.3779 s]
# the end of solver process 306284 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=38.1911 s, system=0.04381 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 1.48 0.41 0.20 5/255 306679
/proc/meminfo: memFree=108868548/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=156276 memory=114072 CPUtime=25.49 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 25672 0 5 0 2546 3 0 0 20 0 1 0 29786071 160026624 28518 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 39069 28518 4150 3540 0 27326 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 156276 KiB
Current children cumulated memory: 114072 KiB
[startup+32.0002 s]*
/proc/loadavg: 1.68 0.47 0.22 5/255 306679
/proc/meminfo: memFree=108853488/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=119792 CPUtime=31.87 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27106 0 5 0 3184 3 0 0 20 0 1 0 29786071 165711872 29948 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 29948 4150 3540 0 28714 0
Current children cumulated CPU time: 31.87 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 119792 KiB
[startup+35.2002 s]
/proc/loadavg: 1.87 0.53 0.24 5/255 306680
/proc/meminfo: memFree=108850336/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=120064 CPUtime=35.05 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27121 0 5 0 3502 3 0 0 20 0 1 0 29786071 165711872 30016 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 30016 4150 3540 0 28714 0
Current children cumulated CPU time: 35.05 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 120064 KiB
[startup+36.8002 s]
/proc/loadavg: 1.87 0.53 0.24 5/255 306680
/proc/meminfo: memFree=108848992/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=120064 CPUtime=36.65 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27121 0 5 0 3662 3 0 0 20 0 1 0 29786071 165711872 30016 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 30016 4150 3540 0 28714 0
Current children cumulated CPU time: 36.65 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 120064 KiB
[startup+37.6001 s]
/proc/loadavg: 1.87 0.53 0.24 5/255 306680
/proc/meminfo: memFree=108848440/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=120064 CPUtime=37.44 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27121 0 5 0 3741 3 0 0 20 0 1 0 29786071 165711872 30016 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 30016 4150 3540 0 28714 0
Current children cumulated CPU time: 37.44 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 120064 KiB
[startup+38.0001 s]*
/proc/loadavg: 1.87 0.53 0.24 5/255 306680
/proc/meminfo: memFree=108845680/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=120064 CPUtime=37.85 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27121 0 5 0 3782 3 0 0 20 0 1 0 29786071 165711872 30016 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 30016 4150 3540 0 28714 0
Current children cumulated CPU time: 37.85 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 120064 KiB
[startup+38.2002 s]
/proc/loadavg: 1.87 0.53 0.24 5/255 306680
/proc/meminfo: memFree=108845680/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=120064 CPUtime=38.04 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27121 0 5 0 3801 3 0 0 20 0 1 0 29786071 165711872 30016 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 30016 4150 3540 0 28714 0
Current children cumulated CPU time: 38.04 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 120064 KiB
[startup+38.3002 s]
/proc/loadavg: 1.87 0.53 0.24 5/255 306680
/proc/meminfo: memFree=108845680/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=120064 CPUtime=38.14 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27121 0 5 0 3811 3 0 0 20 0 1 0 29786071 165711872 30016 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 30016 4150 3540 0 28714 0
Current children cumulated CPU time: 38.14 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 120064 KiB
Child status: 0
Real time (s): 38.3779
CPU time (s): 38.2349
CPU user time (s): 38.1911
CPU system time (s): 0.04381
CPU usage (%): 99.6274
Max. virtual memory (cumulated for all children) (KiB): 161828
Max. memory (cumulated for all children) (KiB): 120064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.1911
system time used= 0.04381
maximum resident set size= 120064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27127
page faults= 5
swaps= 0
block input operations= 512
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48
involuntary context switches= 49
# summary of solver processes directly reported to runsolver:
# pid: 306284
# total CPU time (s): 38.2349
# total CPU user time (s): 38.1911
# total CPU system time (s): 0.04381
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.101579 second user time and 0.190402 second system time
The end