0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4451075-1721428801.opb>
0.00/0.00 c original problem has 1101 variables (1101 bin, 0 int, 0 impl, 0 cont) and 551 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving:
0.00/0.01 c (round 1, fast) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver found nothing
0.00/0.01 c (0.0s) probing: 51/1100 (4.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.02 c (0.0s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.02 c dynamic symmetry handling statistics:
0.00/0.02 c orbitopal reduction: no components
0.00/0.02 c orbital reduction: 1 components of sizes 1
0.00/0.02 c lexicographic reduction: 2 permutations with support sizes 880, 1091
0.00/0.02 c handled 1 out of 1 symmetry components
0.00/0.02 c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
0.00/0.02 c 1 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 1100 variables (1100 bin, 0 int, 0 impl, 0 cont) and 550 constraints
0.00/0.02 c 550 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 10.0.0
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.02 c limits/time = 3596.998006
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.02 c limits/memory = 27900
0.00/0.02 c
0.00/0.02 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.02 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.02 c limits/solutions = 1
0.00/0.02 c
0.00/0.02 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.02 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.02 c misc/usesymmetry = 3
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.02 c
0.00/0.02 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.02 c
0.00/0.02 c # Type of symmetries that shall be computed?
0.00/0.02 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.02 c propagating/symmetry/symtype = 1
0.00/0.02 c
0.00/0.02 c # Should components consisting of a single full reflection be handled?
0.00/0.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.04 c 0.0s| 1 | 0 | 600 | - | 12M | 0 |1100 | 571 | 550 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 835 | - | 12M | 0 |1100 | 581 | 564 | 14 | 1 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 846 | - | 12M | 0 |1100 | 581 | 578 | 28 | 2 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 856 | - | 12M | 0 |1100 | 581 | 590 | 40 | 3 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.10 c 0.1s| 1 | 0 | 871 | - | 13M | 0 |1100 | 581 | 599 | 49 | 4 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.11 c 0.1s| 1 | 0 | 876 | - | 14M | 0 |1100 | 581 | 603 | 53 | 5 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.11 c 0.1s| 1 | 0 | 880 | - | 14M | 0 |1100 | 581 | 608 | 58 | 6 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.11 c 0.1s| 1 | 0 | 885 | - | 14M | 0 |1100 | 581 | 612 | 62 | 7 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.12 c 0.1s| 1 | 0 | 890 | - | 15M | 0 |1100 | 581 | 616 | 66 | 8 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.12 c 0.1s| 1 | 0 | 909 | - | 15M | 0 |1100 | 581 | 618 | 68 | 9 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.14 c 0.1s| 1 | 0 | 923 | - | 16M | 0 |1100 | 581 | 620 | 70 | 10 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.14 c 0.1s| 1 | 0 | 947 | - | 16M | 0 |1100 | 581 | 622 | 72 | 11 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.14 c 0.1s| 1 | 0 | 950 | - | 16M | 0 |1100 | 581 | 623 | 73 | 12 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.14 c 0.1s| 1 | 0 | 953 | - | 16M | 0 |1100 | 581 | 625 | 75 | 13 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.15 c 0.1s| 1 | 0 | 958 | - | 17M | 0 |1100 | 581 | 626 | 76 | 14 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.15 c 0.1s| 1 | 0 | 969 | - | 17M | 0 |1100 | 581 | 597 | 77 | 15 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.15 c 0.2s| 1 | 0 | 977 | - | 17M | 0 |1100 | 581 | 598 | 78 | 16 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.15 c 0.2s| 1 | 0 | 981 | - | 17M | 0 |1100 | 581 | 600 | 80 | 17 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.16 c 0.2s| 1 | 0 | 1008 | - | 17M | 0 |1100 | 581 | 602 | 82 | 18 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.16 c 0.2s| 1 | 0 | 1021 | - | 17M | 0 |1100 | 581 | 604 | 84 | 19 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.16 c 0.2s| 1 | 0 | 1024 | - | 17M | 0 |1100 | 582 | 605 | 85 | 20 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.19 c 0.2s| 1 | 2 | 1213 | - | 17M | 0 |1100 | 588 | 605 | 85 | 21 | 28 | 11 | 0.000000e+00 | -- | Inf | unknown
0.99/1.08 c 1.1s| 100 | 99 | 7956 | 70.0 | 19M | 33 |1100 | 745 | 559 | 125 | 1 | 186 | 11 | 0.000000e+00 | -- | Inf | 50.00%
1.39/1.45 c 1.4s| 200 | 199 | 11076 | 50.5 | 21M | 49 |1100 | 875 | 565 | 220 | 1 | 318 | 11 | 0.000000e+00 | -- | Inf | 50.00%
1.78/1.88 c 1.9s| 300 | 299 | 15038 | 46.9 | 21M | 49 |1100 | 970 | 562 | 336 | 1 | 414 | 11 | 0.000000e+00 | -- | Inf | 50.00%
2.09/2.13 c 2.1s| 400 | 399 | 16684 | 39.2 | 21M | 72 |1100 |1106 | 567 | 421 | 1 | 550 | 11 | 0.000000e+00 | -- | Inf | 50.00%
2.18/2.27 c 2.3s| 500 | 491 | 17696 | 33.4 | 21M | 78 |1100 |1189 | 567 | 439 | 1 | 634 | 11 | 0.000000e+00 | -- | Inf | 50.00%
2.38/2.44 c 2.4s| 600 | 591 | 18519 | 29.2 | 22M | 111 |1100 |1247 | 567 | 439 | 1 | 692 | 11 | 0.000000e+00 | -- | Inf | 50.00%
2.48/2.59 c 2.6s| 700 | 691 | 19205 | 26.0 | 22M | 117 |1100 |1279 | 567 | 439 | 1 | 725 | 11 | 0.000000e+00 | -- | Inf | 50.00%
2.68/2.78 c 2.8s| 800 | 791 | 20098 | 23.9 | 22M | 117 |1100 |1355 | 567 | 439 | 1 | 801 | 11 | 0.000000e+00 | -- | Inf | 50.00%
2.78/2.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.78/2.87 c 2.9s| 900 | 867 | 20560 | 21.7 | 23M | 124 |1100 |1422 | 564 | 456 | 1 | 868 | 11 | 0.000000e+00 | -- | Inf | 50.00%
2.88/2.98 c 3.0s| 1000 | 965 | 21249 | 20.2 | 23M | 135 |1100 |1462 | 567 | 456 | 1 | 908 | 11 | 0.000000e+00 | -- | Inf | 50.00%
2.98/3.08 c 3.1s| 1100 | 1065 | 21781 | 18.9 | 23M | 135 |1100 |1489 | 567 | 456 | 1 | 936 | 11 | 0.000000e+00 | -- | Inf | 50.00%
3.08/3.19 c 3.2s| 1200 | 1159 | 22255 | 17.7 | 23M | 158 |1100 |1555 | 567 | 456 | 1 |1002 | 11 | 0.000000e+00 | -- | Inf | 50.00%
3.18/3.29 c 3.3s| 1300 | 1251 | 22720 | 16.7 | 23M | 191 |1100 |1599 | 567 | 463 | 1 |1046 | 11 | 0.000000e+00 | -- | Inf | 50.00%
3.28/3.38 c 3.4s| 1400 | 1342 | 23120 | 15.8 | 24M | 191 |1100 |1632 | 567 | 483 | 1 |1079 | 11 | 0.000000e+00 | -- | Inf | 50.00%
3.37/3.47 c 3.5s| 1500 | 1430 | 23581 | 15.0 | 24M | 191 |1100 |1697 | 567 | 483 | 1 |1144 | 11 | 0.000000e+00 | -- | Inf | 50.00%
3.67/3.73 c 3.7s| 1600 | 1522 | 24200 | 14.5 | 24M | 191 |1100 |1759 | 567 | 483 | 1 |1206 | 11 | 0.000000e+00 | -- | Inf | 50.00%
3.77/3.83 c 3.8s| 1700 | 1622 | 24696 | 13.9 | 24M | 191 |1100 |1786 | 568 | 484 | 1 |1235 | 11 | 0.000000e+00 | -- | Inf | 50.00%
3.87/3.93 c 3.9s| 1800 | 1720 | 25264 | 13.5 | 24M | 191 |1100 |1804 | 567 | 484 | 1 |1253 | 11 | 0.000000e+00 | -- | Inf | 50.00%
3.98/4.07 c 4.1s| 1900 | 1820 | 25800 | 13.0 | 24M | 191 |1100 |1833 | 567 | 484 | 1 |1283 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.08/4.16 c 4.2s| 2000 | 1918 | 26310 | 12.6 | 25M | 191 |1100 |1861 | 567 | 488 | 1 |1314 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.27/4.30 c 4.3s| 2100 | 2016 | 26796 | 12.3 | 25M | 191 |1100 |1873 | 567 | 497 | 1 |1330 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.37/4.47 c 4.5s| 2200 | 2096 | 27639 | 12.1 | 25M | 191 |1100 |1944 | 567 | 499 | 1 |1411 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.67/4.73 c 4.7s| 2300 | 2192 | 28257 | 11.8 | 26M | 191 |1100 |1967 | 568 | 503 | 1 |1439 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.87/4.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.87/4.98 c 5.0s| 2400 | 2292 | 28834 | 11.6 | 26M | 191 |1100 |2019 | 567 | 505 | 1 |1494 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.97/5.08 c 5.1s| 2500 | 2384 | 29290 | 11.3 | 26M | 191 |1100 |2094 | 567 | 505 | 1 |1573 | 11 | 0.000000e+00 | -- | Inf | 50.00%
5.07/5.10 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
5.07/5.10 c (run 1, node 2525) performing user restart
5.07/5.10 c
5.07/5.10 c (restart) converted 4 cuts from the global cut pool into linear constraints
5.07/5.10 c
5.07/5.11 c presolving:
5.07/5.11 c (round 1, fast) 1 del vars, 22 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 3 clqs
5.07/5.11 c (round 2, exhaustive) 1 del vars, 23 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 16 upgd conss, 0 impls, 3 clqs
5.07/5.11 c (round 3, fast) 1 del vars, 24 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 1 chg coeffs, 16 upgd conss, 0 impls, 3 clqs
5.07/5.18 c (round 4, exhaustive) 1 del vars, 53 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 45 chg coeffs, 16 upgd conss, 0 impls, 3 clqs
5.17/5.25 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
5.17/5.25 c 1 deleted vars, 54 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 45 changed coefficients
5.17/5.25 c 0 implications, 3 cliques
5.17/5.25 c presolved problem has 1099 variables (1099 bin, 0 int, 0 impl, 0 cont) and 2047 constraints
5.17/5.25 c 75 constraints of type <knapsack>
5.17/5.25 c 2 constraints of type <setppc>
5.17/5.25 c 573 constraints of type <linear>
5.17/5.25 c 1397 constraints of type <logicor>
5.17/5.25 c transformed objective value is always integral (scale: 1)
5.17/5.25 c Presolving Time: 0.16
5.17/5.25 c
5.17/5.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.17/5.28 c 5.3s| 1 | 0 | 30082 | - | 28M | 0 |1099 |2077 | 554 | 0 | 0 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
5.26/5.35 c 5.3s| 1 | 0 | 30105 | - | 28M | 0 |1099 |2222 | 563 | 9 | 1 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
5.26/5.35 c 5.4s| 1 | 0 | 30110 | - | 28M | 0 |1099 |2222 | 570 | 16 | 2 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
5.26/5.36 c 5.4s| 1 | 0 | 30115 | - | 28M | 0 |1099 |2222 | 574 | 20 | 3 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
5.26/5.36 c 5.4s| 1 | 0 | 30120 | - | 28M | 0 |1099 |2222 | 578 | 24 | 4 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
5.26/5.37 c 5.4s| 1 | 0 | 30133 | - | 28M | 0 |1099 |2222 | 583 | 29 | 5 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
5.26/5.37 c 5.4s| 1 | 0 | 30162 | - | 28M | 0 |1099 |2222 | 587 | 33 | 6 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
5.26/5.39 c 5.4s| 1 | 0 | 30216 | - | 29M | 0 |1099 |2222 | 591 | 37 | 7 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
5.37/5.40 c 5.4s| 1 | 0 | 30225 | - | 30M | 0 |1099 |2222 | 594 | 40 | 8 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
5.37/5.41 c 5.4s| 1 | 0 | 30245 | - | 31M | 0 |1099 |2222 | 598 | 44 | 9 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
5.37/5.42 c 5.4s| 1 | 0 | 30255 | - | 31M | 0 |1099 |2222 | 602 | 48 | 10 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
5.37/5.43 c 5.4s| 1 | 0 | 30279 | - | 31M | 0 |1099 |2224 | 605 | 51 | 11 |1608 | 11 | 0.000000e+00 | -- | Inf | unknown
5.37/5.46 c 5.5s| 1 | 2 | 30395 | - | 31M | 0 |1099 |2236 | 605 | 51 | 11 |1621 | 22 | 0.000000e+00 | -- | Inf | unknown
6.07/6.12 c 6.1s| 100 | 101 | 32950 | 11.9 | 33M | 17 |1099 |2446 | 556 | 209 | 1 |1840 | 22 | 0.000000e+00 | -- | Inf | unknown
6.56/6.68 c 6.7s| 200 | 199 | 33776 | 11.7 | 33M | 35 |1099 |2472 | 556 | 212 | 1 |1867 | 22 | 0.000000e+00 | -- | Inf | unknown
6.66/6.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.66/6.76 c 6.8s| 300 | 299 | 34305 | 11.5 | 34M | 40 |1099 |2477 | 556 | 248 | 1 |1872 | 22 | 0.000000e+00 | -- | Inf | unknown
6.76/6.86 c 6.9s| 400 | 399 | 35002 | 11.4 | 34M | 54 |1099 |2498 | 560 | 299 | 1 |1893 | 22 | 0.000000e+00 | -- | Inf | unknown
6.86/6.93 c 6.9s| 500 | 497 | 35616 | 11.2 | 34M | 69 |1099 |2512 | 560 | 299 | 1 |1911 | 22 | 0.000000e+00 | -- | Inf | unknown
6.97/7.05 c 7.1s| 600 | 591 | 36410 | 11.1 | 34M | 69 |1099 |2534 | 560 | 299 | 1 |1937 | 22 | 0.000000e+00 | -- | Inf | unknown
7.16/7.22 c 7.2s| 700 | 685 | 37205 | 11.0 | 34M | 81 |1099 |2582 | 560 | 299 | 1 |1988 | 22 | 0.000000e+00 | -- | Inf | unknown
7.16/7.27 c 7.3s| 800 | 785 | 37442 | 10.7 | 34M | 81 |1099 |2582 | 560 | 299 | 1 |1988 | 22 | 0.000000e+00 | -- | Inf | unknown
7.36/7.42 c 7.4s| 900 | 885 | 38013 | 10.6 | 34M | 94 |1099 |2586 | 560 | 299 | 1 |1993 | 22 | 0.000000e+00 | -- | Inf | unknown
7.36/7.49 c 7.5s| 1000 | 975 | 38462 | 10.4 | 34M | 131 |1099 |2638 | 560 | 299 | 1 |2050 | 22 | 0.000000e+00 | -- | Inf | unknown
7.46/7.58 c 7.6s| 1100 | 1073 | 39036 | 10.3 | 34M | 181 |1099 |2668 | 566 | 317 | 1 |2083 | 22 | 0.000000e+00 | -- | Inf | unknown
7.56/7.69 c 7.7s| 1200 | 1173 | 40211 | 10.3 | 34M | 188 |1099 |2711 | 563 | 346 | 1 |2128 | 22 | 0.000000e+00 | -- | Inf | unknown
7.76/7.84 c 7.8s| 1300 | 1273 | 41598 | 10.4 | 34M | 188 |1099 |2728 | 563 | 376 | 1 |2147 | 22 | 0.000000e+00 | -- | Inf | unknown
7.86/7.96 c 8.0s| 1400 | 1373 | 42477 | 10.4 | 34M | 188 |1099 |2764 | 565 | 440 | 1 |2188 | 22 | 0.000000e+00 | -- | Inf | unknown
7.96/8.07 c 8.1s| 1500 | 1471 | 43438 | 10.3 | 34M | 188 |1099 |2817 | 569 | 483 | 1 |2249 | 22 | 0.000000e+00 | -- | Inf | unknown
8.06/8.14 c 8.1s| 1600 | 1559 | 43926 | 10.2 | 34M | 209 |1099 |2876 | 569 | 483 | 1 |2313 | 22 | 0.000000e+00 | -- | Inf | unknown
8.16/8.21 c 8.2s| 1700 | 1637 | 44458 | 10.1 | 35M | 209 |1099 |2964 | 556 | 491 | 1 |2405 | 22 | 0.000000e+00 | -- | Inf | unknown
8.55/8.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.55/8.60 c 8.6s| 1800 | 1737 | 45990 | 10.2 | 35M | 209 |1099 |3004 | 569 | 536 | 3 |2450 | 22 | 0.000000e+00 | -- | Inf | unknown
8.85/8.98 c 9.0s| 1900 | 1837 | 47217 | 10.3 | 35M | 209 |1099 |3022 | 565 | 580 | 1 |2473 | 22 | 0.000000e+00 | -- | Inf | unknown
9.35/9.43 c 9.4s| 2000 | 1937 | 48319 | 10.3 | 35M | 209 |1099 |3076 | 560 | 616 | 1 |2529 | 22 | 0.000000e+00 | -- | Inf | unknown
9.75/9.81 c 9.8s| 2100 | 2037 | 49716 | 10.4 | 35M | 209 |1099 |3129 | 567 | 657 | 1 |2585 | 22 | 0.000000e+00 | -- | Inf | unknown
10.15/10.27 c 10.3s| 2200 | 2137 | 51013 | 10.4 | 35M | 209 |1099 |3189 | 567 | 698 | 2 |2650 | 22 | 0.000000e+00 | -- | Inf | unknown
10.35/10.47 c 10.5s| 2300 | 2237 | 52222 | 10.4 | 35M | 209 |1099 |3238 | 560 | 732 | 1 |2706 | 22 | 0.000000e+00 | -- | Inf | unknown
10.64/10.74 c 10.7s| 2400 | 2335 | 53308 | 10.5 | 35M | 209 |1099 |3323 | 560 | 770 | 1 |2794 | 22 | 0.000000e+00 | -- | Inf | unknown
10.95/11.05 c 11.1s| 2500 | 2433 | 54944 | 10.6 | 35M | 209 |1099 |3365 | 565 | 811 | 1 |2839 | 22 | 0.000000e+00 | -- | Inf | unknown
11.24/11.30 c 11.3s| 2600 | 2529 | 55989 | 10.6 | 35M | 209 |1099 |3406 | 563 | 835 | 1 |2883 | 22 | 0.000000e+00 | -- | Inf | unknown
11.54/11.66 c 11.7s| 2700 | 2627 | 57176 | 10.6 | 35M | 209 |1099 |3434 | 569 | 876 | 1 |2923 | 22 | 0.000000e+00 | -- | Inf | unknown
11.84/11.98 c 12.0s| 2800 | 2727 | 58187 | 10.6 | 36M | 209 |1099 |3463 | 566 | 905 | 1 |2959 | 22 | 0.000000e+00 | -- | Inf | unknown
12.34/12.46 c 12.5s| 2900 | 2827 | 59458 | 10.6 | 36M | 209 |1099 |3522 | 567 | 942 | 2 |3027 | 22 | 0.000000e+00 | -- | Inf | unknown
12.74/12.87 c 12.9s| 3000 | 2927 | 60761 | 10.7 | 37M | 209 |1099 |3572 | 565 | 981 | 1 |3088 | 22 | 0.000000e+00 | -- | Inf | unknown
13.04/13.15 c 13.1s| 3100 | 3023 | 61772 | 10.7 | 37M | 209 |1099 |3591 | 560 | 997 | 1 |3114 | 22 | 0.000000e+00 | -- | Inf | unknown
13.23/13.37 c 13.4s| 3200 | 3121 | 62255 | 10.6 | 37M | 209 |1099 |3612 | 560 | 997 | 1 |3139 | 22 | 0.000000e+00 | -- | Inf | unknown
13.43/13.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.43/13.55 c 13.5s| 3300 | 3221 | 62934 | 10.5 | 37M | 209 |1099 |3692 | 560 | 997 | 1 |3221 | 22 | 0.000000e+00 | -- | Inf | unknown
13.63/13.71 c 13.7s| 3400 | 3319 | 63705 | 10.4 | 38M | 209 |1099 |3739 | 560 | 997 | 1 |3272 | 22 | 0.000000e+00 | -- | Inf | unknown
13.73/13.84 c 13.8s| 3500 | 3417 | 64132 | 10.3 | 38M | 209 |1099 |3755 | 560 | 997 | 1 |3292 | 22 | 0.000000e+00 | -- | Inf | unknown
13.83/13.92 c 13.9s| 3600 | 3515 | 64619 | 10.3 | 38M | 209 |1099 |3775 | 560 | 997 | 1 |3319 | 22 | 0.000000e+00 | -- | Inf | unknown
13.93/14.00 c 14.0s| 3700 | 3615 | 65032 | 10.2 | 38M | 209 |1099 |3829 | 560 | 997 | 1 |3376 | 22 | 0.000000e+00 | -- | Inf | unknown
13.93/14.10 c 14.1s| 3800 | 3707 | 65878 | 10.1 | 38M | 209 |1099 |3870 | 560 | 997 | 1 |3421 | 22 | 0.000000e+00 | -- | Inf | unknown
14.03/14.16 c 14.2s| 3900 | 3807 | 66259 | 10.0 | 38M | 209 |1099 |3882 | 560 | 997 | 1 |3434 | 22 | 0.000000e+00 | -- | Inf | unknown
14.23/14.32 c 14.3s| 4000 | 3905 | 66650 | 9.9 | 38M | 209 |1099 |3911 | 560 | 997 | 1 |3472 | 22 | 0.000000e+00 | -- | Inf | unknown
14.23/14.39 c 14.4s| 4100 | 4003 | 67143 | 9.9 | 38M | 209 |1099 |3949 | 561 |1009 | 1 |3515 | 22 | 0.000000e+00 | -- | Inf | unknown
14.54/14.66 c 14.7s| 4200 | 4099 | 67980 | 9.8 | 39M | 209 |1099 |3940 | 557 |1039 | 1 |3524 | 22 | 0.000000e+00 | -- | Inf | unknown
14.73/14.86 c 14.9s| 4300 | 4199 | 69171 | 9.9 | 39M | 209 |1099 |3964 | 558 |1055 | 1 |3562 | 22 | 0.000000e+00 | -- | Inf | unknown
14.83/14.95 c 15.0s| 4400 | 4291 | 69970 | 9.8 | 39M | 209 |1099 |3986 | 558 |1085 | 2 |3605 | 22 | 0.000000e+00 | -- | Inf | unknown
14.94/15.08 c 15.1s| 4500 | 4389 | 70630 | 9.8 | 39M | 209 |1099 |4008 | 558 |1086 | 1 |3636 | 22 | 0.000000e+00 | -- | Inf | unknown
15.13/15.28 c 15.3s| 4600 | 4489 | 71637 | 9.8 | 39M | 209 |1099 |4016 | 559 |1123 | 1 |3666 | 22 | 0.000000e+00 | -- | Inf | unknown
15.33/15.42 c 15.4s| 4700 | 4585 | 72100 | 9.7 | 39M | 209 |1099 |4017 | 561 |1125 | 1 |3674 | 22 | 0.000000e+00 | -- | Inf | unknown
15.53/15.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.53/15.61 c 15.6s| 4800 | 4685 | 72825 | 9.7 | 39M | 209 |1099 |4026 | 561 |1125 | 1 |3695 | 22 | 0.000000e+00 | -- | Inf | unknown
15.53/15.66 c 15.7s| 4900 | 4785 | 73130 | 9.6 | 39M | 209 |1099 |4025 | 561 |1125 | 1 |3695 | 22 | 0.000000e+00 | -- | Inf | unknown
15.63/15.75 c 15.8s| 5000 | 4876 | 73805 | 9.6 | 39M | 209 |1099 |4070 | 559 |1129 | 1 |3750 | 22 | 0.000000e+00 | -- | Inf | unknown
15.73/15.82 c 15.8s| 5100 | 4971 | 74569 | 9.5 | 39M | 209 |1099 |4086 | 559 |1136 | 1 |3769 | 22 | 0.000000e+00 | -- | Inf | unknown
15.83/15.90 c 15.9s| 5200 | 5071 | 75379 | 9.5 | 40M | 209 |1099 |4118 | 559 |1142 | 1 |3806 | 22 | 0.000000e+00 | -- | Inf | unknown
15.83/15.98 c 16.0s| 5300 | 5171 | 76010 | 9.5 | 40M | 209 |1099 |4124 | 560 |1142 | 1 |3822 | 22 | 0.000000e+00 | -- | Inf | unknown
15.93/16.05 c 16.0s| 5400 | 5271 | 76655 | 9.4 | 40M | 209 |1099 |4130 | 560 |1142 | 1 |3836 | 22 | 0.000000e+00 | -- | Inf | unknown
16.03/16.12 c 16.1s| 5500 | 5366 | 77249 | 9.4 | 40M | 209 |1099 |4165 | 560 |1142 | 1 |3880 | 22 | 0.000000e+00 | -- | Inf | unknown
16.13/16.21 c 16.2s| 5600 | 5460 | 77795 | 9.4 | 40M | 209 |1099 |4186 | 560 |1148 | 1 |3908 | 22 | 0.000000e+00 | -- | Inf | unknown
16.23/16.33 c 16.3s| 5700 | 5556 | 78627 | 9.3 | 40M | 209 |1099 |4210 | 560 |1148 | 1 |3943 | 22 | 0.000000e+00 | -- | Inf | unknown
16.33/16.44 c 16.4s| 5800 | 5652 | 79448 | 9.3 | 40M | 209 |1099 |4218 | 560 |1148 | 1 |3974 | 22 | 0.000000e+00 | -- | Inf | unknown
16.43/16.52 c 16.5s| 5900 | 5750 | 80055 | 9.3 | 40M | 209 |1099 |4224 | 560 |1148 | 0 |3995 | 22 | 0.000000e+00 | -- | Inf | unknown
16.53/16.60 c 16.6s| 6000 | 5850 | 80475 | 9.2 | 40M | 209 |1099 |4235 | 560 |1148 | 1 |4011 | 22 | 0.000000e+00 | -- | Inf | unknown
16.53/16.65 c 16.7s| 6100 | 5950 | 80823 | 9.2 | 40M | 209 |1099 |4230 | 560 |1148 | 1 |4011 | 22 | 0.000000e+00 | -- | Inf | unknown
16.63/16.70 c 16.7s| 6200 | 6048 | 81104 | 9.1 | 40M | 209 |1099 |4228 | 560 |1148 | 1 |4019 | 22 | 0.000000e+00 | -- | Inf | unknown
16.73/16.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.73/16.80 c 16.8s| 6300 | 6144 | 81651 | 9.0 | 41M | 209 |1099 |4223 | 560 |1148 | 1 |4032 | 22 | 0.000000e+00 | -- | Inf | unknown
16.73/16.86 c 16.9s| 6400 | 6240 | 82002 | 9.0 | 42M | 209 |1099 |4260 | 560 |1148 | 1 |4079 | 22 | 0.000000e+00 | -- | Inf | unknown
16.83/16.93 c 16.9s| 6500 | 6340 | 82470 | 8.9 | 42M | 209 |1099 |4271 | 557 |1148 | 1 |4094 | 22 | 0.000000e+00 | -- | Inf | unknown
16.83/17.00 c 17.0s| 6600 | 6428 | 82934 | 8.9 | 42M | 209 |1099 |4292 | 565 |1161 | 1 |4118 | 22 | 0.000000e+00 | -- | Inf | unknown
16.93/17.06 c 17.1s| 6700 | 6511 | 83535 | 8.9 | 42M | 209 |1099 |4306 | 560 |1161 | 1 |4156 | 22 | 0.000000e+00 | -- | Inf | unknown
17.03/17.13 c 17.1s| 6800 | 6607 | 83993 | 8.8 | 42M | 209 |1099 |4303 | 560 |1161 | 1 |4168 | 22 | 0.000000e+00 | -- | Inf | unknown
17.12/17.23 c 17.2s| 6900 | 6699 | 84630 | 8.8 | 42M | 209 |1099 |4317 | 560 |1161 | 1 |4212 | 22 | 0.000000e+00 | -- | Inf | unknown
17.22/17.33 c 17.3s| 7000 | 6793 | 85249 | 8.8 | 43M | 209 |1099 |4327 | 560 |1161 | 1 |4250 | 22 | 0.000000e+00 | -- | Inf | unknown
17.22/17.39 c 17.4s| 7100 | 6889 | 85656 | 8.7 | 43M | 209 |1099 |4320 | 560 |1161 | 1 |4262 | 22 | 0.000000e+00 | -- | Inf | unknown
17.32/17.47 c 17.5s| 7200 | 6978 | 86127 | 8.7 | 43M | 209 |1099 |4361 | 560 |1161 | 1 |4330 | 22 | 0.000000e+00 | -- | Inf | unknown
17.42/17.52 c 17.5s| 7300 | 7078 | 86554 | 8.6 | 43M | 209 |1099 |4350 | 560 |1161 | 1 |4330 | 22 | 0.000000e+00 | -- | Inf | unknown
17.52/17.64 c 17.6s| 7400 | 7176 | 87235 | 8.6 | 43M | 209 |1099 |4390 | 560 |1161 | 1 |4388 | 22 | 0.000000e+00 | -- | Inf | unknown
17.62/17.72 c 17.7s| 7500 | 7269 | 87805 | 8.6 | 43M | 209 |1099 |4407 | 565 |1161 | 1 |4423 | 22 | 0.000000e+00 | -- | Inf | unknown
17.62/17.79 c 17.8s| 7600 | 7369 | 88619 | 8.6 | 44M | 209 |1099 |4400 | 557 |1165 | 1 |4435 | 22 | 0.000000e+00 | -- | Inf | unknown
17.72/17.88 c 17.9s| 7700 | 7460 | 89268 | 8.6 | 44M | 209 |1099 |4461 | 560 |1165 | 1 |4514 | 22 | 0.000000e+00 | -- | Inf | unknown
17.82/17.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.82/17.93 c 17.9s| 7800 | 7558 | 89570 | 8.5 | 44M | 209 |1099 |4460 | 560 |1165 | 1 |4517 | 22 | 0.000000e+00 | -- | Inf | unknown
17.82/17.99 c 18.0s| 7900 | 7650 | 89960 | 8.5 | 44M | 209 |1099 |4466 | 560 |1165 | 0 |4533 | 22 | 0.000000e+00 | -- | Inf | unknown
17.93/18.07 c 18.1s| 8000 | 7746 | 90487 | 8.4 | 44M | 209 |1099 |4478 | 560 |1165 | 1 |4561 | 22 | 0.000000e+00 | -- | Inf | unknown
18.03/18.17 c 18.2s| 8100 | 7846 | 90868 | 8.4 | 44M | 209 |1099 |4518 | 560 |1165 | 1 |4619 | 22 | 0.000000e+00 | -- | Inf | unknown
18.12/18.26 c 18.3s| 8200 | 7936 | 91348 | 8.3 | 44M | 209 |1099 |4542 | 560 |1165 | 1 |4655 | 22 | 0.000000e+00 | -- | Inf | unknown
18.22/18.33 c 18.3s| 8300 | 8030 | 91956 | 8.3 | 44M | 209 |1099 |4560 | 569 |1172 | 1 |4689 | 22 | 0.000000e+00 | -- | Inf | unknown
18.32/18.48 c 18.5s| 8400 | 8118 | 92766 | 8.3 | 45M | 209 |1099 |4622 | 569 |1172 | 1 |4785 | 22 | 0.000000e+00 | -- | Inf | unknown
18.42/18.54 c 18.5s| 8500 | 8196 | 93114 | 8.3 | 45M | 209 |1099 |4711 | 560 |1172 | 1 |4889 | 22 | 0.000000e+00 | -- | Inf | unknown
18.42/18.59 c 18.6s| 8600 | 8292 | 93553 | 8.2 | 45M | 209 |1099 |4709 | 560 |1172 | 1 |4902 | 22 | 0.000000e+00 | -- | Inf | unknown
18.52/18.69 c 18.7s| 8700 | 8390 | 94199 | 8.2 | 45M | 209 |1099 |4740 | 560 |1172 | 1 |4961 | 22 | 0.000000e+00 | -- | Inf | unknown
18.62/18.77 c 18.8s| 8800 | 8484 | 94648 | 8.2 | 45M | 209 |1099 |4752 | 560 |1172 | 1 |4991 | 22 | 0.000000e+00 | -- | Inf | unknown
18.72/18.83 c 18.8s| 8900 | 8578 | 94963 | 8.2 | 45M | 209 |1099 |4751 | 560 |1172 | 1 |5003 | 22 | 0.000000e+00 | -- | Inf | unknown
18.82/18.95 c 18.9s| 9000 | 8674 | 95829 | 8.2 | 45M | 209 |1099 |4761 | 560 |1172 | 1 |5024 | 22 | 0.000000e+00 | -- | Inf | unknown
18.92/19.02 c 19.0s| 9100 | 8762 | 96326 | 8.1 | 45M | 209 |1099 |4771 | 560 |1172 | 1 |5044 | 22 | 0.000000e+00 | -- | Inf | unknown
18.92/19.08 c 19.1s| 9200 | 8856 | 96877 | 8.1 | 45M | 209 |1099 |4759 | 559 |1181 | 1 |5061 | 22 | 0.000000e+00 | -- | Inf | unknown
19.02/19.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.02/19.15 c 19.1s| 9300 | 8944 | 97298 | 8.1 | 45M | 209 |1099 |4769 | 559 |1181 | 1 |5092 | 22 | 0.000000e+00 | -- | Inf | unknown
19.12/19.23 c 19.2s| 9400 | 9044 | 97873 | 8.1 | 45M | 209 |1099 |4765 | 559 |1181 | 1 |5110 | 22 | 0.000000e+00 | -- | Inf | unknown
19.22/19.30 c 19.3s| 9500 | 9140 | 98392 | 8.0 | 45M | 209 |1099 |4767 | 559 |1181 | 1 |5130 | 22 | 0.000000e+00 | -- | Inf | unknown
19.22/19.38 c 19.4s| 9600 | 9232 | 98869 | 8.0 | 46M | 209 |1099 |4756 | 560 |1193 | 1 |5147 | 22 | 0.000000e+00 | -- | Inf | unknown
19.41/19.51 c 19.5s| 9700 | 9328 | 99956 | 8.0 | 46M | 209 |1099 |4768 | 563 |1210 | 1 |5199 | 22 | 0.000000e+00 | -- | Inf | unknown
19.41/19.58 c 19.6s| 9800 | 9412 |100301 | 8.0 | 46M | 209 |1099 |4793 | 560 |1211 | 1 |5249 | 22 | 0.000000e+00 | -- | Inf | unknown
19.51/19.67 c 19.7s| 9900 | 9506 |100903 | 8.0 | 46M | 209 |1099 |4886 | 563 |1219 | 1 |5355 | 22 | 0.000000e+00 | -- | Inf | unknown
19.61/19.76 c 19.8s| 10000 | 9600 |101439 | 8.0 | 46M | 209 |1099 |4946 | 557 |1229 | 1 |5435 | 22 | 0.000000e+00 | -- | Inf | unknown
19.71/19.83 c 19.8s| 10100 | 9698 |102276 | 8.0 | 46M | 209 |1099 |4948 | 557 |1229 | 1 |5447 | 22 | 0.000000e+00 | -- | Inf | unknown
19.81/19.93 c 19.9s| 10200 | 9790 |103046 | 8.0 | 46M | 209 |1099 |4953 | 557 |1229 | 1 |5485 | 22 | 0.000000e+00 | -- | Inf | unknown
19.92/20.01 c 20.0s| 10300 | 9886 |104041 | 8.0 | 47M | 209 |1099 |4953 | 564 |1233 | 1 |5508 | 22 | 0.000000e+00 | -- | Inf | unknown
19.92/20.09 c 20.1s| 10400 | 9979 |104781 | 8.0 | 47M | 209 |1099 |4956 | 559 |1238 | 1 |5534 | 22 | 0.000000e+00 | -- | Inf | unknown
20.02/20.15 c 20.2s| 10500 | 10070 |105236 | 7.9 | 48M | 209 |1099 |4970 | 557 |1238 | 1 |5566 | 22 | 0.000000e+00 | -- | Inf | unknown
20.11/20.29 c 20.3s| 10600 | 10164 |106220 | 8.0 | 48M | 209 |1099 |4987 | 560 |1257 | 1 |5625 | 22 | 0.000000e+00 | -- | Inf | unknown
20.21/20.38 c 20.4s| 10700 | 10257 |106990 | 8.0 | 48M | 209 |1099 |5021 | 559 |1288 | 1 |5722 | 22 | 0.000000e+00 | -- | Inf | unknown
20.41/20.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.41/20.52 c 20.5s| 10800 | 10351 |107842 | 8.0 | 48M | 209 |1099 |5023 | 559 |1288 | 1 |5784 | 22 | 0.000000e+00 | -- | Inf | unknown
20.41/20.59 c 20.6s| 10900 | 10449 |108277 | 7.9 | 48M | 209 |1099 |5018 | 559 |1288 | 1 |5814 | 22 | 0.000000e+00 | -- | Inf | unknown
20.61/20.72 c 20.7s| 11000 | 10541 |109046 | 7.9 | 48M | 209 |1099 |4964 | 559 |1288 | 1 |5884 | 22 | 0.000000e+00 | -- | Inf | unknown
20.71/20.82 c 20.8s| 11100 | 10639 |109873 | 7.9 | 48M | 209 |1099 |4944 | 565 |1297 | 1 |5924 | 22 | 0.000000e+00 | -- | Inf | unknown
20.81/20.90 c 20.9s| 11200 | 10729 |110482 | 7.9 | 48M | 209 |1099 |4967 | 564 |1297 | 1 |5967 | 22 | 0.000000e+00 | -- | Inf | unknown
20.81/20.98 c 21.0s| 11300 | 10817 |111002 | 7.9 | 48M | 209 |1099 |4962 | 564 |1297 | 1 |5994 | 22 | 0.000000e+00 | -- | Inf | unknown
20.91/21.07 c 21.1s| 11400 | 10907 |111663 | 7.9 | 48M | 209 |1099 |4944 | 564 |1298 | 1 |6071 | 22 | 0.000000e+00 | -- | Inf | unknown
21.21/21.32 c 21.3s| 11500 | 11007 |114175 | 8.0 | 48M | 209 |1099 |4932 | 558 |1325 | 1 |6100 | 22 | 0.000000e+00 | -- | Inf | unknown
21.30/21.43 c 21.4s| 11600 | 11097 |115113 | 8.0 | 48M | 209 |1099 |4908 | 559 |1325 | 1 |6141 | 22 | 0.000000e+00 | -- | Inf | unknown
21.40/21.51 c 21.5s| 11700 | 11197 |115476 | 8.0 | 48M | 209 |1099 |4901 | 564 |1325 | 1 |6171 | 22 | 0.000000e+00 | -- | Inf | unknown
21.50/21.61 c 21.6s| 11800 | 11293 |116184 | 8.0 | 48M | 209 |1099 |4890 | 560 |1356 | 1 |6195 | 22 | 0.000000e+00 | -- | Inf | unknown
21.50/21.68 c 21.7s| 11900 | 11389 |116655 | 8.0 | 48M | 209 |1099 |4893 | 560 |1356 | 1 |6219 | 22 | 0.000000e+00 | -- | Inf | unknown
21.60/21.77 c 21.8s| 12000 | 11483 |117325 | 8.0 | 48M | 209 |1099 |4851 | 567 |1367 | 1 |6237 | 22 | 0.000000e+00 | -- | Inf | unknown
21.70/21.89 c 21.9s| 12100 | 11573 |118474 | 8.0 | 49M | 209 |1099 |4841 | 564 |1382 | 2 |6294 | 22 | 0.000000e+00 | -- | Inf | unknown
21.80/21.95 c 21.9s| 12200 | 11669 |118984 | 8.0 | 49M | 209 |1099 |4842 | 565 |1384 | 1 |6302 | 22 | 0.000000e+00 | -- | Inf | unknown
21.91/22.03 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.03 c 22.0s| 12300 | 11759 |119482 | 7.9 | 49M | 209 |1099 |4851 | 565 |1384 | 1 |6369 | 22 | 0.000000e+00 | -- | Inf | unknown
21.91/22.10 c 22.1s| 12400 | 11847 |119930 | 7.9 | 49M | 209 |1099 |4841 | 565 |1384 | 1 |6382 | 22 | 0.000000e+00 | -- | Inf | unknown
22.01/22.17 c 22.2s| 12500 | 11945 |120441 | 7.9 | 49M | 209 |1099 |4835 | 565 |1384 | 1 |6400 | 22 | 0.000000e+00 | -- | Inf | unknown
22.10/22.25 c 22.3s| 12600 | 12041 |121157 | 7.9 | 49M | 209 |1099 |4898 | 565 |1384 | 1 |6486 | 22 | 0.000000e+00 | -- | Inf | unknown
22.20/22.36 c 22.4s| 12700 | 12137 |122138 | 7.9 | 49M | 209 |1099 |4856 | 559 |1398 | 1 |6542 | 22 | 0.000000e+00 | -- | Inf | unknown
22.30/22.43 c 22.4s| 12800 | 12230 |122617 | 7.9 | 49M | 209 |1099 |4863 | 559 |1398 | 1 |6578 | 22 | 0.000000e+00 | -- | Inf | unknown
22.40/22.50 c 22.5s| 12900 | 12326 |123023 | 7.9 | 49M | 209 |1099 |4873 | 559 |1398 | 1 |6628 | 22 | 0.000000e+00 | -- | Inf | unknown
22.50/22.62 c 22.6s| 13000 | 12416 |123851 | 7.9 | 49M | 209 |1099 |4876 | 559 |1398 | 1 |6702 | 22 | 0.000000e+00 | -- | Inf | unknown
22.60/22.71 c 22.7s| 13100 | 12508 |124473 | 7.9 | 49M | 209 |1099 |4839 | 560 |1398 | 1 |6740 | 22 | 0.000000e+00 | -- | Inf | unknown
22.70/22.81 c 22.8s| 13200 | 12598 |125193 | 7.8 | 50M | 209 |1099 |4852 | 560 |1398 | 0 |6774 | 22 | 0.000000e+00 | -- | Inf | unknown
22.70/22.89 c 22.9s| 13300 | 12696 |125672 | 7.8 | 51M | 209 |1099 |4850 | 559 |1398 | 1 |6803 | 22 | 0.000000e+00 | -- | Inf | unknown
22.90/23.01 c 23.0s| 13400 | 12786 |126416 | 7.8 | 51M | 209 |1099 |4864 | 559 |1398 | 1 |6901 | 22 | 0.000000e+00 | -- | Inf | unknown
22.90/23.08 c 23.1s| 13500 | 12880 |126818 | 7.8 | 51M | 209 |1099 |4832 | 559 |1398 | 1 |6915 | 22 | 0.000000e+00 | -- | Inf | unknown
23.00/23.18 c 23.2s| 13600 | 12974 |127448 | 7.8 | 51M | 209 |1099 |4813 | 564 |1398 | 1 |6945 | 22 | 0.000000e+00 | -- | Inf | unknown
23.10/23.25 c 23.2s| 13700 | 13064 |127816 | 7.8 | 51M | 209 |1099 |4814 | 564 |1398 | 1 |6967 | 22 | 0.000000e+00 | -- | Inf | unknown
23.20/23.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.20/23.33 c 23.3s| 13800 | 13158 |128318 | 7.7 | 51M | 209 |1099 |4781 | 558 |1401 | 1 |7010 | 22 | 0.000000e+00 | -- | Inf | unknown
23.30/23.40 c 23.4s| 13900 | 13239 |128803 | 7.7 | 51M | 209 |1099 |4793 | 558 |1401 | 1 |7068 | 22 | 0.000000e+00 | -- | Inf | unknown
23.30/23.46 c 23.5s| 14000 | 13334 |129364 | 7.7 | 51M | 209 |1099 |4786 | 558 |1401 | 1 |7085 | 22 | 0.000000e+00 | -- | Inf | unknown
23.40/23.55 c 23.5s| 14100 | 13419 |130304 | 7.7 | 51M | 209 |1099 |4778 | 558 |1401 | 1 |7117 | 22 | 0.000000e+00 | -- | Inf | unknown
23.50/23.62 c 23.6s| 14200 | 13514 |131031 | 7.7 | 51M | 209 |1099 |4754 | 558 |1401 | 1 |7153 | 22 | 0.000000e+00 | -- | Inf | unknown
23.60/23.70 c 23.7s| 14300 | 13610 |131744 | 7.7 | 51M | 209 |1099 |4774 | 568 |1409 | 1 |7200 | 22 | 0.000000e+00 | -- | Inf | unknown
23.70/23.84 c 23.8s| 14400 | 13710 |132844 | 7.7 | 52M | 209 |1099 |4750 | 560 |1437 | 1 |7249 | 22 | 0.000000e+00 | -- | Inf | unknown
23.79/23.94 c 23.9s| 14500 | 13794 |133514 | 7.7 | 52M | 209 |1099 |4796 | 560 |1437 | 1 |7335 | 22 | 0.000000e+00 | -- | Inf | unknown
23.90/24.05 c 24.1s| 14600 | 13890 |134378 | 7.7 | 52M | 209 |1099 |4791 | 560 |1450 | 1 |7417 | 22 | 0.000000e+00 | -- | Inf | unknown
24.00/24.18 c 24.2s| 14700 | 13986 |135513 | 7.8 | 52M | 209 |1099 |4746 | 559 |1470 | 1 |7446 | 22 | 0.000000e+00 | -- | Inf | unknown
24.09/24.28 c 24.3s| 14800 | 14086 |136103 | 7.8 | 52M | 209 |1099 |4696 | 560 |1470 | 1 |7459 | 22 | 0.000000e+00 | -- | Inf | unknown
24.19/24.35 c 24.4s| 14900 | 14182 |136611 | 7.7 | 52M | 209 |1099 |4680 | 560 |1470 | 1 |7485 | 22 | 0.000000e+00 | -- | Inf | unknown
24.29/24.43 c 24.4s| 15000 | 14280 |137162 | 7.7 | 52M | 209 |1099 |4671 | 559 |1472 | 1 |7510 | 22 | 0.000000e+00 | -- | Inf | unknown
24.39/24.57 c 24.6s| 15100 | 14374 |137796 | 7.7 | 53M | 209 |1099 |4664 | 560 |1487 | 1 |7562 | 22 | 0.000000e+00 | -- | Inf | unknown
24.49/24.63 c 24.6s| 15200 | 14464 |138280 | 7.7 | 54M | 209 |1099 |4657 | 559 |1487 | 1 |7594 | 22 | 0.000000e+00 | -- | Inf | unknown
24.59/24.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.59/24.72 c 24.7s| 15300 | 14560 |138789 | 7.7 | 54M | 209 |1099 |4630 | 567 |1489 | 1 |7603 | 22 | 0.000000e+00 | -- | Inf | unknown
24.69/24.80 c 24.8s| 15400 | 14653 |139379 | 7.7 | 54M | 209 |1099 |4596 | 566 |1490 | 1 |7641 | 22 | 0.000000e+00 | -- | Inf | unknown
24.69/24.86 c 24.9s| 15500 | 14744 |139857 | 7.7 | 54M | 209 |1099 |4638 | 560 |1490 | 1 |7703 | 22 | 0.000000e+00 | -- | Inf | unknown
24.79/24.93 c 24.9s| 15600 | 14834 |140379 | 7.6 | 54M | 209 |1099 |4662 | 565 |1491 | 1 |7749 | 22 | 0.000000e+00 | -- | Inf | unknown
24.90/25.03 c 25.0s| 15700 | 14926 |141026 | 7.6 | 54M | 209 |1099 |4675 | 565 |1491 | 1 |7805 | 22 | 0.000000e+00 | -- | Inf | unknown
24.99/25.11 c 25.1s| 15800 | 15026 |141536 | 7.6 | 54M | 209 |1099 |4658 | 557 |1491 | 1 |7841 | 22 | 0.000000e+00 | -- | Inf | unknown
24.99/25.18 c 25.2s| 15900 | 15126 |142328 | 7.6 | 54M | 209 |1099 |4651 | 557 |1491 | 1 |7865 | 22 | 0.000000e+00 | -- | Inf | unknown
25.09/25.25 c 25.2s| 16000 | 15224 |143005 | 7.6 | 54M | 209 |1099 |4666 | 557 |1491 | 1 |7893 | 22 | 0.000000e+00 | -- | Inf | unknown
25.19/25.36 c 25.4s| 16100 | 15320 |143796 | 7.6 | 54M | 209 |1099 |4583 | 557 |1511 | 1 |7932 | 22 | 0.000000e+00 | -- | Inf | unknown
25.29/25.44 c 25.4s| 16200 | 15417 |144810 | 7.6 | 54M | 209 |1099 |4562 | 557 |1511 | 1 |7959 | 22 | 0.000000e+00 | -- | Inf | unknown
25.39/25.50 c 25.5s| 16300 | 15511 |145389 | 7.6 | 54M | 209 |1099 |4565 | 557 |1511 | 1 |7973 | 22 | 0.000000e+00 | -- | Inf | unknown
25.49/25.62 c 25.6s| 16400 | 15611 |146312 | 7.6 | 55M | 209 |1099 |4517 | 567 |1536 | 2 |8003 | 22 | 0.000000e+00 | -- | Inf | unknown
25.49/25.69 c 25.7s| 16500 | 15705 |147060 | 7.6 | 55M | 209 |1099 |4480 | 559 |1546 | 1 |8033 | 22 | 0.000000e+00 | -- | Inf | unknown
25.59/25.78 c 25.8s| 16600 | 15798 |147853 | 7.6 | 55M | 209 |1099 |4472 | 561 |1549 | 1 |8055 | 22 | 0.000000e+00 | -- | Inf | unknown
25.69/25.88 c 25.9s| 16700 | 15897 |148783 | 7.6 | 55M | 209 |1099 |4439 | 557 |1555 | 1 |8106 | 22 | 0.000000e+00 | -- | Inf | unknown
25.79/25.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.79/25.96 c 26.0s| 16800 | 15997 |149471 | 7.6 | 55M | 209 |1099 |4447 | 557 |1555 | 1 |8151 | 22 | 0.000000e+00 | -- | Inf | unknown
25.89/26.08 c 26.1s| 16900 | 16095 |150830 | 7.7 | 55M | 209 |1099 |4404 | 564 |1579 | 1 |8191 | 22 | 0.000000e+00 | -- | Inf | unknown
26.09/26.21 c 26.2s| 17000 | 16191 |151955 | 7.7 | 55M | 209 |1099 |4371 | 560 |1595 | 1 |8228 | 22 | 0.000000e+00 | -- | Inf | unknown
26.09/26.28 c 26.3s| 17100 | 16289 |152533 | 7.7 | 55M | 209 |1099 |4352 | 564 |1615 | 1 |8228 | 22 | 0.000000e+00 | -- | Inf | unknown
26.28/26.44 c 26.4s| 17200 | 16385 |153868 | 7.7 | 56M | 209 |1099 |4364 | 564 |1635 | 1 |8295 | 22 | 0.000000e+00 | -- | Inf | unknown
26.38/26.53 c 26.5s| 17300 | 16467 |154519 | 7.7 | 56M | 209 |1099 |4338 | 561 |1647 | 1 |8319 | 22 | 0.000000e+00 | -- | Inf | unknown
26.48/26.60 c 26.6s| 17400 | 16567 |155074 | 7.7 | 56M | 209 |1099 |4322 | 557 |1647 | 1 |8329 | 22 | 0.000000e+00 | -- | Inf | unknown
26.48/26.66 c 26.7s| 17500 | 16651 |155645 | 7.7 | 56M | 209 |1099 |4315 | 566 |1654 | 2 |8361 | 22 | 0.000000e+00 | -- | Inf | unknown
26.58/26.76 c 26.8s| 17600 | 16742 |156510 | 7.7 | 56M | 209 |1099 |4317 | 569 |1669 | 1 |8399 | 22 | 0.000000e+00 | -- | Inf | unknown
26.68/26.84 c 26.8s| 17700 | 16840 |157232 | 7.7 | 56M | 209 |1099 |4296 | 565 |1694 | 2 |8401 | 22 | 0.000000e+00 | -- | Inf | unknown
26.78/26.94 c 26.9s| 17800 | 16923 |157898 | 7.7 | 56M | 209 |1099 |4258 | 561 |1694 | 1 |8450 | 22 | 0.000000e+00 | -- | Inf | unknown
26.89/27.01 c 27.0s| 17900 | 17019 |158703 | 7.7 | 56M | 209 |1099 |4264 | 561 |1694 | 1 |8473 | 22 | 0.000000e+00 | -- | Inf | unknown
26.89/27.08 c 27.1s| 18000 | 17103 |159255 | 7.7 | 56M | 209 |1099 |4259 | 0 |1694 | 0 |8527 | 22 | 0.000000e+00 | -- | Inf | unknown
26.99/27.15 c 27.1s| 18100 | 17171 |159715 | 7.7 | 56M | 209 |1099 |4262 | 560 |1694 | 1 |8589 | 22 | 0.000000e+00 | -- | Inf | unknown
27.08/27.21 c 27.2s| 18200 | 17264 |160235 | 7.6 | 56M | 209 |1099 |4250 | 560 |1694 | 1 |8628 | 22 | 0.000000e+00 | -- | Inf | unknown
27.18/27.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.18/27.33 c 27.3s| 18300 | 17358 |161141 | 7.7 | 56M | 209 |1099 |4192 | 564 |1721 | 1 |8683 | 22 | 0.000000e+00 | -- | Inf | unknown
27.28/27.43 c 27.4s| 18400 | 17458 |161941 | 7.7 | 57M | 209 |1099 |4132 | 558 |1751 | 1 |8724 | 22 | 0.000000e+00 | -- | Inf | unknown
27.38/27.51 c 27.5s| 18500 | 17549 |162582 | 7.6 | 57M | 209 |1099 |4160 | 565 |1766 | 1 |8772 | 22 | 0.000000e+00 | -- | Inf | unknown
27.48/27.60 c 27.6s| 18600 | 17639 |163378 | 7.6 | 57M | 209 |1099 |4157 | 565 |1776 | 1 |8816 | 22 | 0.000000e+00 | -- | Inf | unknown
27.48/27.68 c 27.7s| 18700 | 17737 |164123 | 7.6 | 57M | 209 |1099 |4163 | 561 |1788 | 2 |8857 | 22 | 0.000000e+00 | -- | Inf | unknown
27.68/27.80 c 27.8s| 18800 | 17835 |165132 | 7.7 | 57M | 209 |1099 |4175 | 560 |1795 | 1 |8945 | 22 | 0.000000e+00 | -- | Inf | unknown
27.68/27.85 c 27.9s| 18900 | 17929 |165502 | 7.6 | 57M | 209 |1099 |4191 | 560 |1795 | 1 |8969 | 22 | 0.000000e+00 | -- | Inf | unknown
27.78/27.98 c 28.0s| 19000 | 18025 |166591 | 7.7 | 57M | 209 |1099 |4191 | 560 |1815 | 1 |9028 | 22 | 0.000000e+00 | -- | Inf | unknown
27.88/28.05 c 28.1s| 19100 | 18117 |167131 | 7.6 | 57M | 209 |1099 |4210 | 560 |1820 | 1 |9076 | 22 | 0.000000e+00 | -- | Inf | unknown
27.98/28.13 c 28.1s| 19200 | 18207 |167696 | 7.6 | 57M | 209 |1099 |4215 | 560 |1820 | 1 |9128 | 22 | 0.000000e+00 | -- | Inf | unknown
28.08/28.21 c 28.2s| 19300 | 18301 |168250 | 7.6 | 57M | 209 |1099 |4244 | 560 |1820 | 1 |9189 | 22 | 0.000000e+00 | -- | Inf | unknown
28.18/28.31 c 28.3s| 19400 | 18401 |168949 | 7.6 | 57M | 209 |1099 |4223 | 560 |1830 | 1 |9258 | 22 | 0.000000e+00 | -- | Inf | unknown
28.18/28.39 c 28.4s| 19500 | 18483 |169410 | 7.6 | 58M | 209 |1099 |4223 | 560 |1844 | 1 |9333 | 22 | 0.000000e+00 | -- | Inf | unknown
28.28/28.45 c 28.4s| 19600 | 18538 |169750 | 7.6 | 58M | 209 |1099 |4294 | 565 |1849 | 1 |9455 | 22 | 0.000000e+00 | -- | Inf | unknown
28.38/28.53 c 28.5s| 19700 | 18630 |170312 | 7.6 | 58M | 209 |1099 |4320 | 569 |1849 | 1 |9493 | 22 | 0.000000e+00 | -- | Inf | unknown
28.48/28.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.48/28.60 c 28.6s| 19800 | 18724 |170841 | 7.6 | 58M | 209 |1099 |4362 | 565 |1859 | 1 |9558 | 22 | 0.000000e+00 | -- | Inf | unknown
28.48/28.67 c 28.7s| 19900 | 18820 |171458 | 7.6 | 58M | 209 |1099 |4369 | 565 |1859 | 1 |9593 | 22 | 0.000000e+00 | -- | Inf | unknown
28.58/28.75 c 28.7s| 20000 | 18735 |171924 | 7.6 | 58M | 209 |1099 |4341 | 559 |1863 | 1 |9639 | 22 | 0.000000e+00 | -- | Inf | unknown
28.68/28.81 c 28.8s| 20100 | 18823 |172374 | 7.5 | 58M | 209 |1099 |4331 | 559 |1863 | 1 |9668 | 22 | 0.000000e+00 | -- | Inf | unknown
28.77/28.91 c 28.9s| 20200 | 18917 |172959 | 7.5 | 58M | 209 |1099 |4366 | 562 |1866 | 2 |9742 | 22 | 0.000000e+00 | -- | Inf | unknown
28.77/28.97 c 29.0s| 20300 | 18989 |173325 | 7.5 | 58M | 209 |1099 |4422 | 559 |1866 | 1 |9844 | 22 | 0.000000e+00 | -- | Inf | unknown
28.98/29.11 c 29.1s| 20400 | 19083 |174345 | 7.5 | 58M | 209 |1099 |4396 | 561 |1883 | 1 |9937 | 22 | 0.000000e+00 | -- | Inf | unknown
29.07/29.20 c 29.2s| 20500 | 19179 |174868 | 7.5 | 58M | 209 |1099 |4361 | 560 |1891 | 1 |9979 | 22 | 0.000000e+00 | -- | Inf | unknown
29.07/29.27 c 29.3s| 20600 | 19271 |175192 | 7.5 | 60M | 209 |1099 |4378 | 560 |1891 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
29.17/29.35 c 29.3s| 20700 | 19371 |175867 | 7.5 | 60M | 209 |1099 |4362 | 558 |1898 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
29.27/29.43 c 29.4s| 20800 | 19467 |176619 | 7.5 | 60M | 209 |1099 |4369 | 558 |1898 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
29.27/29.49 c 29.5s| 20900 | 19553 |177103 | 7.5 | 60M | 209 |1099 |4396 | 558 |1898 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
29.37/29.58 c 29.6s| 21000 | 19634 |178008 | 7.5 | 60M | 209 |1099 |4366 | 557 |1899 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
29.47/29.66 c 29.7s| 21100 | 19728 |178590 | 7.5 | 60M | 209 |1099 |4358 | 557 |1899 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
29.57/29.73 c 29.7s| 21200 | 19819 |179120 | 7.5 | 60M | 209 |1099 |4370 | 557 |1899 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
29.67/29.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.67/29.82 c 29.8s| 21300 | 19913 |179932 | 7.5 | 60M | 209 |1099 |4384 | 557 |1899 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
29.77/29.95 c 30.0s| 21400 | 20013 |180963 | 7.5 | 60M | 209 |1099 |4377 | 560 |1925 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
29.88/30.03 c 30.0s| 21500 | 20103 |181568 | 7.5 | 60M | 209 |1099 |4355 | 557 |1935 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
29.98/30.18 c 30.2s| 21600 | 20198 |182973 | 7.5 | 61M | 209 |1099 |4303 | 564 |1949 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
30.07/30.27 c 30.3s| 21700 | 20289 |183860 | 7.5 | 61M | 209 |1099 |4299 | 559 |1963 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
30.17/30.36 c 30.4s| 21800 | 20384 |184709 | 7.5 | 61M | 209 |1099 |4272 | 563 |1981 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
30.27/30.44 c 30.4s| 21900 | 20481 |185459 | 7.5 | 61M | 209 |1099 |4273 | 563 |1981 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
30.37/30.51 c 30.5s| 22000 | 20579 |186042 | 7.5 | 61M | 209 |1099 |4250 | 563 |1981 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
30.37/30.59 c 30.6s| 22100 | 20659 |186651 | 7.5 | 61M | 209 |1099 |4274 | 561 |1991 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
30.47/30.66 c 30.7s| 22200 | 20757 |187178 | 7.5 | 61M | 209 |1099 |4278 | 561 |1991 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
30.57/30.72 c 30.7s| 22300 | 20851 |187795 | 7.5 | 61M | 209 |1099 |4262 | 561 |1991 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
30.67/30.82 c 30.8s| 22400 | 20951 |188550 | 7.5 | 61M | 209 |1099 |4240 | 561 |1991 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
30.77/30.94 c 30.9s| 22500 | 21036 |189828 | 7.5 | 61M | 209 |1099 |4214 | 558 |2022 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
30.87/31.02 c 31.0s| 22600 | 21136 |190601 | 7.5 | 61M | 209 |1099 |4181 | 562 |2030 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
30.97/31.18 c 31.2s| 22700 | 21228 |192201 | 7.5 | 61M | 209 |1099 |4223 | 562 |2030 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
31.07/31.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.07/31.29 c 31.3s| 22800 | 21328 |192893 | 7.5 | 62M | 209 |1099 |4234 | 562 |2030 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
31.17/31.36 c 31.4s| 22900 | 21428 |193258 | 7.5 | 62M | 209 |1099 |4249 | 562 |2030 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
31.26/31.43 c 31.4s| 23000 | 21524 |193708 | 7.5 | 62M | 209 |1099 |4230 | 562 |2030 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
31.36/31.50 c 31.5s| 23100 | 21622 |194181 | 7.5 | 62M | 209 |1099 |4222 | 562 |2030 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
31.36/31.56 c 31.6s| 23200 | 21698 |194536 | 7.5 | 62M | 209 |1099 |4278 | 563 |2030 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
31.46/31.65 c 31.6s| 23300 | 21788 |195231 | 7.5 | 62M | 209 |1099 |4218 | 560 |2063 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
31.56/31.71 c 31.7s| 23400 | 21886 |195668 | 7.5 | 62M | 209 |1099 |4241 | 560 |2063 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
31.56/31.79 c 31.8s| 23500 | 21986 |196234 | 7.5 | 62M | 209 |1099 |4180 | 553 |2063 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
31.66/31.89 c 31.9s| 23600 | 22086 |197234 | 7.5 | 62M | 209 |1099 |4164 | 556 |2108 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
31.76/31.95 c 32.0s| 23700 | 22182 |197653 | 7.5 | 62M | 209 |1099 |4157 | 560 |2117 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
31.87/32.02 c 32.0s| 23800 | 22274 |198078 | 7.5 | 62M | 209 |1099 |4169 | 560 |2117 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
31.87/32.10 c 32.1s| 23900 | 22368 |198473 | 7.4 | 62M | 209 |1099 |4205 | 566 |2120 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
31.97/32.18 c 32.2s| 24000 | 22468 |198956 | 7.4 | 62M | 209 |1099 |4214 | 566 |2120 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
32.06/32.26 c 32.3s| 24100 | 22562 |199417 | 7.4 | 62M | 209 |1099 |4270 | 566 |2120 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
32.16/32.33 c 32.3s| 24200 | 22658 |199823 | 7.4 | 62M | 209 |1099 |4249 | 566 |2123 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
32.26/32.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.36/32.54 c 32.4s| 24300 | 22745 |200459 | 7.4 | 62M | 209 |1099 |4209 | 560 |2123 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
32.36/32.55 c 32.6s| 24400 | 22845 |201201 | 7.4 | 63M | 209 |1099 |4170 | 557 |2146 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
32.46/32.66 c 32.7s| 24500 | 22945 |202097 | 7.4 | 63M | 209 |1099 |4154 | 566 |2179 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
32.56/32.75 c 32.7s| 24600 | 23045 |202881 | 7.4 | 63M | 209 |1099 |4134 | 566 |2196 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
32.66/32.87 c 32.9s| 24700 | 23143 |203861 | 7.4 | 64M | 209 |1099 |4103 | 559 |2260 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
32.76/32.99 c 33.0s| 24800 | 23243 |204997 | 7.4 | 64M | 209 |1099 |4093 | 567 |2275 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
32.86/33.06 c 33.1s| 24900 | 23341 |205710 | 7.4 | 64M | 209 |1099 |4074 | 567 |2275 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.06/33.21 c 33.2s| 25000 | 23441 |207089 | 7.5 | 64M | 209 |1099 |4006 | 566 |2346 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.16/33.30 c 33.3s| 25100 | 23533 |207897 | 7.5 | 65M | 209 |1099 |3986 | 559 |2371 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.16/33.38 c 33.4s| 25200 | 23625 |208304 | 7.4 | 65M | 209 |1099 |4012 | 559 |2371 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.26/33.45 c 33.4s| 25300 | 23708 |208631 | 7.4 | 65M | 209 |1099 |4021 | 562 |2371 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.36/33.55 c 33.6s| 25400 | 23802 |209248 | 7.4 | 65M | 209 |1099 |4016 | 0 |2371 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
33.46/33.64 c 33.6s| 25500 | 23900 |209699 | 7.4 | 65M | 209 |1099 |3983 | 566 |2371 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
33.56/33.73 c 33.7s| 25600 | 23995 |210460 | 7.4 | 67M | 209 |1099 |3902 | 565 |2399 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
33.65/33.84 c 33.8s| 25700 | 24091 |211108 | 7.4 | 67M | 209 |1099 |3920 | 560 |2399 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
33.75/33.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
33.75/33.92 c 33.9s| 25800 | 24185 |211537 | 7.4 | 67M | 209 |1099 |3924 | 560 |2403 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
33.75/33.98 c 34.0s| 25900 | 24281 |211929 | 7.4 | 67M | 209 |1099 |3933 | 565 |2408 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
33.86/34.07 c 34.1s| 26000 | 24372 |212530 | 7.4 | 67M | 209 |1099 |3954 | 562 |2425 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
33.96/34.18 c 34.2s| 26100 | 24472 |213230 | 7.4 | 67M | 209 |1099 |3881 | 561 |2436 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
34.15/34.30 c 34.3s| 26200 | 24570 |213919 | 7.4 | 67M | 209 |1099 |3892 | 562 |2444 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
34.15/34.38 c 34.4s| 26300 | 24670 |214527 | 7.4 | 67M | 209 |1099 |3868 | 562 |2452 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
34.25/34.49 c 34.5s| 26400 | 24767 |215189 | 7.4 | 67M | 209 |1099 |3857 | 560 |2462 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
34.35/34.56 c 34.6s| 26500 | 24867 |215589 | 7.4 | 67M | 209 |1099 |3874 | 560 |2471 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
34.45/34.64 c 34.6s| 26600 | 24961 |216113 | 7.4 | 67M | 209 |1099 |3823 | 559 |2471 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
34.55/34.71 c 34.7s| 26700 | 25044 |216611 | 7.4 | 67M | 209 |1099 |3810 | 559 |2473 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
34.55/34.77 c 34.8s| 26800 | 25144 |217171 | 7.3 | 67M | 209 |1099 |3807 | 559 |2475 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
34.65/34.88 c 34.9s| 26900 | 25236 |218022 | 7.3 | 69M | 209 |1099 |3807 | 560 |2475 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
34.75/34.98 c 35.0s| 27000 | 25336 |218665 | 7.3 | 69M | 209 |1099 |3776 | 562 |2484 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
34.95/35.14 c 35.1s| 27100 | 25436 |219435 | 7.3 | 69M | 209 |1099 |3721 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.05/35.23 c 35.2s| 27200 | 25536 |219948 | 7.3 | 69M | 209 |1099 |3726 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.15/35.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.15/35.31 c 35.3s| 27300 | 25634 |220633 | 7.3 | 69M | 209 |1099 |3713 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.15/35.37 c 35.4s| 27400 | 25724 |221155 | 7.3 | 69M | 209 |1099 |3718 | 0 |2513 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.25/35.42 c 35.4s| 27500 | 25806 |221549 | 7.3 | 69M | 209 |1099 |3688 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.25/35.49 c 35.5s| 27600 | 25889 |222060 | 7.3 | 70M | 209 |1099 |3693 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.35/35.56 c 35.6s| 27700 | 25981 |222544 | 7.3 | 70M | 209 |1099 |3674 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.45/35.65 c 35.6s| 27800 | 26081 |223074 | 7.3 | 70M | 209 |1099 |3647 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.55/35.71 c 35.7s| 27900 | 26163 |223519 | 7.3 | 70M | 209 |1099 |3648 | 0 |2518 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.64/35.81 c 35.8s| 28000 | 26257 |224293 | 7.3 | 70M | 209 |1099 |3555 | 560 |2531 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.74/35.93 c 35.9s| 28100 | 26351 |225409 | 7.3 | 70M | 209 |1099 |3504 | 557 |2553 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.85/36.01 c 36.0s| 28200 | 26444 |226079 | 7.3 | 70M | 209 |1099 |3506 | 562 |2560 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.85/36.07 c 36.1s| 28300 | 26516 |226528 | 7.3 | 70M | 209 |1099 |3530 | 562 |2560 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.95/36.15 c 36.2s| 28400 | 26586 |227116 | 7.3 | 70M | 209 |1099 |3523 | 562 |2566 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.04/36.28 c 36.3s| 28500 | 26686 |227946 | 7.3 | 70M | 209 |1099 |3458 | 559 |2584 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.14/36.36 c 36.4s| 28600 | 26782 |228906 | 7.3 | 70M | 209 |1099 |3466 | 560 |2586 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
36.24/36.44 c 36.4s| 28700 | 26865 |229581 | 7.3 | 70M | 209 |1099 |3427 | 562 |2591 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
36.34/36.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.34/36.55 c 36.6s| 28800 | 26953 |230277 | 7.3 | 70M | 209 |1099 |3431 | 0 |2592 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
36.44/36.65 c 36.6s| 28900 | 27038 |230808 | 7.3 | 70M | 209 |1099 |3373 | 560 |2592 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
36.54/36.70 c 36.7s| 29000 | 27126 |231066 | 7.3 | 70M | 209 |1099 |3367 | 560 |2592 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
36.54/36.77 c 36.8s| 29100 | 27212 |231621 | 7.3 | 71M | 209 |1099 |3371 | 565 |2592 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
36.64/36.86 c 36.9s| 29200 | 27298 |232250 | 7.3 | 71M | 209 |1099 |3349 | 559 |2599 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
36.74/36.96 c 37.0s| 29300 | 27383 |233506 | 7.3 | 71M | 209 |1099 |3356 | 563 |2614 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
36.84/37.05 c 37.0s| 29400 | 27476 |234219 | 7.3 | 71M | 209 |1099 |3353 | 562 |2615 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
36.94/37.16 c 37.2s| 29500 | 27572 |235528 | 7.3 | 71M | 209 |1099 |3309 | 561 |2652 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
37.04/37.28 c 37.3s| 29600 | 27672 |236576 | 7.3 | 72M | 209 |1099 |3291 | 560 |2678 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
37.14/37.35 c 37.3s| 29700 | 27772 |237154 | 7.3 | 72M | 209 |1099 |3275 | 560 |2678 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
37.24/37.42 c 37.4s| 29800 | 27858 |237638 | 7.3 | 72M | 209 |1099 |3284 | 560 |2678 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
37.24/37.48 c 37.5s| 29900 | 27946 |237995 | 7.3 | 72M | 209 |1099 |3274 | 560 |2678 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
37.34/37.53 c 37.5s| 30000 | 28028 |238325 | 7.3 | 72M | 209 |1099 |3322 | 560 |2678 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
37.44/37.60 c 37.6s| 30100 | 28122 |238683 | 7.3 | 72M | 209 |1099 |3331 | 560 |2685 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
37.54/37.72 c
37.54/37.72 c SCIP Status : problem is solved [infeasible]
37.54/37.72 c Solving Time (sec) : 37.72
37.54/37.72 c Solving Nodes : 30113 (total of 32638 nodes in 2 runs)
37.54/37.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
37.54/37.72 c Dual Bound : +1.00000000000000e+20
37.54/37.72 c Gap : 0.00 %
37.54/37.72 s UNSATISFIABLE
37.54/37.72 c SCIP Status : problem is solved [infeasible]
37.54/37.72 c Total Time : 37.72
37.54/37.72 c solving : 37.72
37.54/37.72 c presolving : 0.16 (included in solving)
37.54/37.72 c reading : 0.00 (included in solving)
37.54/37.72 c copying : 0.98 (108 #copies) (minimal 0.00, maximal 0.01, average 0.01)
37.54/37.72 c Original Problem :
37.54/37.72 c Problem name : HOME/instance-4451075-1721428801.opb
37.54/37.72 c Variables : 1101 (1101 binary, 0 integer, 0 implicit integer, 0 continuous)
37.54/37.72 c Constraints : 551 initial, 551 maximal
37.54/37.72 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
37.54/37.72 c Presolved Problem :
37.54/37.72 c Problem name : t_HOME/instance-4451075-1721428801.opb
37.54/37.72 c Variables : 1099 (1099 binary, 0 integer, 0 implicit integer, 0 continuous)
37.54/37.72 c Constraints : 2047 initial, 5057 maximal
37.54/37.72 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
37.54/37.72 c Nonzeros : 41294 constraint, 8 clique table
37.54/37.72 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
37.54/37.72 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
37.54/37.72 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
37.54/37.72 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
37.54/37.72 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
37.54/37.72 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
37.54/37.72 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
37.54/37.72 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c trivial : 0.00 0.00 7 1 0 0 0 0 0 0 0 0
37.54/37.72 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
37.54/37.72 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
37.54/37.72 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
37.54/37.72 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
37.54/37.72 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
37.54/37.72 c knapsack : 0.00 0.00 11 0 0 0 0 0 1 1 0 0
37.54/37.72 c setppc : 0.00 0.00 11 0 0 0 0 0 1 0 1 0
37.54/37.72 c linear : 0.00 0.00 11 0 1 0 0 0 2 0 0 0
37.54/37.72 c logicor : 0.13 0.01 10 0 0 0 0 0 51 0 0 45
37.54/37.72 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
37.54/37.72 c root node : - - - 1 - - 1 - - - - -
37.54/37.72 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
37.54/37.72 c benderslp : 0 0 0 0 31746 0 0 2303 0 0 0 0 0 0 0
37.54/37.72 c integral : 0 0 0 0 31746 0 0 2303 0 0 0 0 0 0 63492
37.54/37.72 c knapsack : 75+ 93 11 180894 0 0 0 0 6721 330 7798 0 0 0 0
37.54/37.72 c setppc : 2 2 11 140484 0 0 0 2077 439 2 677 0 0 0 0
37.54/37.72 c linear : 573+ 743 34 181867 0 0 0 2284 60329 2163 36974 0 0 0 0
37.54/37.72 c logicor : 1397+ 4334 32 75280 0 0 0 0 1765 96 915 0 0 0 0
37.54/37.72 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
37.54/37.72 c benderslp : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
37.54/37.72 c integral : 0.54 0.00 0.00 0.00 0.54 0.00 0.00 0.00 0.00 0.00
37.54/37.72 c knapsack : 0.19 0.00 0.00 0.18 0.00 0.00 0.00 0.00 0.01 0.00
37.54/37.72 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
37.54/37.72 c linear : 0.69 0.00 0.00 0.62 0.00 0.00 0.00 0.04 0.02 0.00
37.54/37.72 c logicor : 0.43 0.01 0.00 0.42 0.00 0.00 0.00 0.00 0.00 0.00
37.54/37.72 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
37.54/37.72 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
37.54/37.72 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
37.54/37.72 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
37.54/37.72 c Propagators : #Propagate #ResProp Cutoffs DomReds
37.54/37.72 c dualfix : 2 0 0 0
37.54/37.72 c genvbounds : 0 0 0 0
37.54/37.72 c nlobbt : 0 0 0 0
37.54/37.72 c obbt : 0 0 0 0
37.54/37.72 c probing : 0 0 0 0
37.54/37.72 c pseudoobj : 0 0 0 0
37.54/37.72 c redcost : 0 0 0 0
37.54/37.72 c rootredcost : 0 0 0 0
37.54/37.72 c symmetry : 24135 0 1 6
37.54/37.72 c vbounds : 3882 0 0 0
37.54/37.72 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
37.54/37.72 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
37.54/37.72 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
37.54/37.72 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
37.54/37.72 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
37.54/37.72 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
37.54/37.72 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
37.54/37.72 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
37.54/37.72 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
37.54/37.72 c symmetry : 0.56 0.00 0.00 0.55 0.00 0.00
37.54/37.72 c vbounds : 0.03 0.00 0.00 0.03 0.00 0.00
37.54/37.72 c Symmetry :
37.54/37.72 c orbitopal red. : 0 reductions applied, 0 cutoffs
37.54/37.72 c orbital reduction: 1 reductions applied, 1 cutoffs
37.54/37.72 c lexicographic red: 31 reductions applied, 0 cutoffs
37.54/37.72 c shadow tree time : 0.05 s
37.54/37.72 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
37.54/37.72 c propagation : 0.06 1662 1660 - 8917 36.4 188 13.2 - - -
37.54/37.72 c infeasible LP : 0.23 1186 1186 - 6651 38.9 117 13.1 1186 42.5 0
37.54/37.72 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
37.54/37.72 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
37.54/37.72 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
37.54/37.72 c applied globally : 0.01 - - 0 12419 30.8 - - 1185 - -
37.54/37.72 c applied locally : - - - 0 0 0.0 - - 0 - -
37.54/37.72 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
37.54/37.72 c cut pool : 0.24 - 4415 61 - - 7834 58264 - - - - - (maximal pool size: 1536)
37.54/37.72 c aggregation : 0.07 0.00 392 32 0 0 8 66 0 1 1 0 0
37.54/37.72 c > cmir : - - - - - - - 43 0 1 1 0 -
37.54/37.72 c > flowcover : - - - - - - - 23 0 0 0 0 -
37.54/37.72 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
37.54/37.72 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c clique : 0.00 0.00 12 12 0 0 0 0 0 0 0 0 0
37.54/37.72 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c gomory : 0.49 0.00 380 20 0 0 8386 57835 786 2792 2740 52 0
37.54/37.72 c > gomorymi : - - - - - - - 6057 393 189 166 23 -
37.54/37.72 c > strongcg : - - - - - - - 51778 393 2603 2574 29 -
37.54/37.72 c impliedbounds : 0.00 0.00 392 32 0 0 0 0 0 0 0 0 0
37.54/37.72 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
37.54/37.72 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c multilinear : 0.00 0.00 324 32 0 0 0 0 0 0 0 0 0
37.54/37.72 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
37.54/37.72 c rapidlearning : 6.08 0.00 100 2 0 1074 0 0 0 0 0 0 970
37.54/37.72 c rlt : 0.00 0.00 192 20 0 0 0 0 0 0 0 0 0
37.54/37.72 c zerohalf : 0.11 0.00 391 31 0 0 476 363 250 407 219 188 0
37.54/37.72 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
37.54/37.72 c hybrid : 0.03 0.00 1296 31 3200 0 56100 136 0 1913
37.54/37.72 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c Pricers : ExecTime SetupTime Calls Vars
37.54/37.72 c problem variables: 0.00 - 0 0
37.54/37.72 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
37.54/37.72 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c random : 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c relpscost : 0.53 0.00 31746 0 0 0 0 0 0 63492
37.54/37.72 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
37.54/37.72 c Primal Heuristics : ExecTime SetupTime Calls Found Best
37.54/37.72 c LP solutions : 0.00 - - 0 0
37.54/37.72 c relax solutions : 0.00 - - 0 0
37.54/37.72 c pseudo solutions : 0.00 - - 0 0
37.54/37.72 c strong branching : 0.00 - - 0 0
37.54/37.72 c actconsdiving : 0.00 0.00 0 0 0
37.54/37.72 c adaptivediving : 0.28 0.00 17 0 0
37.54/37.72 c alns : 0.29 0.00 6 0 0
37.54/37.72 c bound : 0.00 0.00 0 0 0
37.54/37.72 c clique : 0.00 0.00 1 0 0
37.54/37.72 c coefdiving : 0.00 0.00 0 0 0
37.54/37.72 c completesol : 0.00 0.00 0 0 0
37.54/37.72 c conflictdiving : 2.97 0.00 425 0 0
37.54/37.72 c crossover : 0.00 0.00 0 0 0
37.54/37.72 c dins : 0.00 0.00 0 0 0
37.54/37.72 c distributiondivin: 1.30 0.00 78 0 0
37.54/37.72 c dps : 0.00 0.00 0 0 0
37.54/37.72 c dualval : 0.00 0.00 0 0 0
37.54/37.72 c farkasdiving : 0.00 0.00 0 0 0
37.54/37.72 c feasjump : 0.03 0.00 2 0 0
37.54/37.72 c feaspump : 0.32 0.00 34 0 0
37.54/37.72 c fixandinfer : 0.00 0.00 0 0 0
37.54/37.72 c fracdiving : 1.23 0.00 179 0 0
37.54/37.72 c gins : 0.00 0.00 0 0 0
37.54/37.72 c guideddiving : 0.00 0.00 0 0 0
37.54/37.72 c indcoefdiving : 0.00 0.00 0 0 0
37.54/37.72 c indicator : 0.00 0.00 0 0 0
37.54/37.72 c indicatordiving : 0.00 0.00 0 0 0
37.54/37.72 c indoneopt : 0.00 0.00 0 0 0
37.54/37.72 c indrounding : 0.00 0.00 0 0 0
37.54/37.72 c indtwoopt : 0.00 0.00 0 0 0
37.54/37.72 c intdiving : 0.00 0.00 0 0 0
37.54/37.72 c intshifting : 0.00 0.00 0 0 0
37.54/37.72 c linesearchdiving : 1.06 0.00 70 0 0
37.54/37.72 c localbranching : 0.00 0.00 0 0 0
37.54/37.72 c locks : 0.00 0.00 1 0 0
37.54/37.72 c lpface : 0.03 0.00 0 0 0
37.54/37.72 c mpec : 0.00 0.00 0 0 0
37.54/37.72 c multistart : 0.00 0.00 0 0 0
37.54/37.72 c mutation : 0.00 0.00 0 0 0
37.54/37.72 c nlpdiving : 0.00 0.00 0 0 0
37.54/37.72 c objpscostdiving : 0.38 0.00 10 0 0
37.54/37.72 c octane : 0.00 0.00 0 0 0
37.54/37.72 c ofins : 0.00 0.00 0 0 0
37.54/37.72 c oneopt : 0.01 0.00 0 0 0
37.54/37.72 c padm : 0.00 0.00 0 0 0
37.54/37.72 c proximity : 0.00 0.00 0 0 0
37.54/37.72 c pscostdiving : 1.16 0.00 55 0 0
37.54/37.72 c randrounding : 0.11 0.00 2303 0 0
37.54/37.72 c rens : 0.02 0.00 2 0 0
37.54/37.72 c reoptsols : 0.00 0.00 0 0 0
37.54/37.72 c repair : 0.00 0.00 0 0 0
37.54/37.72 c rins : 0.00 0.00 0 0 0
37.54/37.72 c rootsoldiving : 0.22 0.00 9 0 0
37.54/37.72 c rounding : 0.04 0.00 2536 0 0
37.54/37.72 c scheduler : 0.00 0.00 0 0 0
37.54/37.72 c shiftandpropagate: 0.01 0.00 2 0 0
37.54/37.72 c shifting : 0.04 0.00 912 0 0
37.54/37.72 c simplerounding : 0.01 0.00 0 0 0
37.54/37.72 c smallcard : 0.00 0.00 0 0 0
37.54/37.72 c subnlp : 0.01 0.00 0 0 0
37.54/37.72 c trivial : 0.00 0.00 4 0 0
37.54/37.72 c trivialnegation : 0.00 0.00 0 0 0
37.54/37.72 c trustregion : 0.00 0.00 0 0 0
37.54/37.72 c trysol : 0.00 0.00 0 0 0
37.54/37.72 c twoopt : 0.00 0.00 0 0 0
37.54/37.72 c undercover : 0.00 0.00 0 0 0
37.54/37.72 c vbounds : 0.00 0.00 0 0 0
37.54/37.72 c veclendiving : 1.18 0.00 156 0 0
37.54/37.72 c zeroobj : 0.00 0.00 0 0 0
37.54/37.72 c zirounding : 0.01 0.00 1000 0 0
37.54/37.72 c other solutions : - - - 0 -
37.54/37.72 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
37.54/37.72 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
37.54/37.72 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
37.54/37.72 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
37.54/37.72 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
37.54/37.72 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
37.54/37.72 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
37.54/37.72 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
37.54/37.72 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
37.54/37.72 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
37.54/37.72 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
37.54/37.72 c primal LP : 0.11 358 0 0.00 0.00 0.11 358
37.54/37.72 c dual LP : 12.65 33593 150697 4.50 11908.24 0.02 102
37.54/37.72 c lex dual LP : 0.00 0 0 0.00 -
37.54/37.72 c barrier LP : 0.00 0 0 0.00 - 0.00 0
37.54/37.72 c resolve instable : 0.00 0 0 0.00 -
37.54/37.72 c diving/probing LP: 5.78 12475 88048 7.06 15242.69
37.54/37.72 c strong branching : 0.02 22 103 4.68 5650.65 - - 0
37.54/37.72 c (at root node) : - 22 103 4.68 -
37.54/37.72 c conflict analysis: 0.00 0 0 0.00 -
37.54/37.72 c B&B Tree :
37.54/37.72 c number of runs : 2
37.54/37.72 c nodes : 30113 (29270 internal, 843 leaves)
37.54/37.72 c feasible leaves : 0
37.54/37.72 c infeas. leaves : 843
37.54/37.72 c objective leaves : 0
37.54/37.72 c nodes (total) : 32638 (31746 internal, 892 leaves)
37.54/37.72 c nodes left : 0
37.54/37.72 c max depth : 209
37.54/37.72 c max depth (total): 209
37.54/37.72 c backtracks : 1422 (4.7%)
37.54/37.72 c early backtracks : 0 (0.0%)
37.54/37.72 c nodes exc. ref. : 0 (0.0%)
37.54/37.72 c delayed cutoffs : 28428
37.54/37.72 c repropagations : 4453 (4566 domain reductions, 95 cutoffs)
37.54/37.72 c avg switch length: 3.74
37.54/37.72 c switching time : 1.45
37.54/37.72 c Root Node :
37.54/37.72 c First LP value : +0.00000000000000e+00
37.54/37.72 c First LP Iters : 600 (183150.18 Iter/sec)
37.54/37.72 c First LP Time : 0.00
37.54/37.72 c Final Dual Bound : -
37.54/37.72 c Final Root Iters : 1813
37.54/37.72 c Root LP Estimate : +9.07119047619048e-04
37.54/37.72 c Solution :
37.54/37.72 c Solutions found : 0 (0 improvements)
37.54/37.72 c Primal Bound : infeasible
37.54/37.72 c Dual Bound : -
37.54/37.72 c Gap : 0.00 %
37.54/37.72 c Integrals : Total Avg%
37.54/37.72 c primal-dual : - - (problem infeasible)
37.54/37.72 c primal-ref : - - (problem infeasible)
37.54/37.72 c dual-ref : - - (problem infeasible)
37.54/37.73 c Time complete: 37.5795.
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: 63931 MiB (58920 MiB free)
memory of node 1: 64510 MiB (60064 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451075-1721428801/watcher-4451075-1721428801 -o /tmp/evaluation-result-4451075-1721428801/solver-4451075-1721428801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721421618-1052159 --watchdog 3760 pbscip -f HOME/instance-4451075-1721428801.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=1056685, runsolver pid=1056682
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100058 s]*
/proc/loadavg: 4.17 4.14 4.15 5/258 1056686
/proc/meminfo: memFree=121814388/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=75444 memory=34116 CPUtime=0.09 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 5372 0 0 0 9 0 0 0 20 0 1 0 195041924 77254656 8529 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 18861 8529 3987 3540 0 7118 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75444 KiB
Current children cumulated memory: 34116 KiB
[startup+0.205475 s]*
/proc/loadavg: 4.17 4.14 4.15 5/258 1056686
/proc/meminfo: memFree=121804980/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=82536 memory=41068 CPUtime=0.2 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 7281 0 0 0 19 1 0 0 20 0 1 0 195041924 84516864 10267 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 20634 10267 3987 3540 0 8891 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 82536 KiB
Current children cumulated memory: 41068 KiB
[startup+0.305503 s]*
/proc/loadavg: 4.17 4.14 4.15 5/258 1056686
/proc/meminfo: memFree=121800148/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=82824 memory=42124 CPUtime=0.3 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 7538 0 0 0 29 1 0 0 20 0 1 0 195041924 84811776 10531 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 20706 10531 3987 3540 0 8963 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 82824 KiB
Current children cumulated memory: 42124 KiB
[startup+0.700207 s]
/proc/loadavg: 4.17 4.14 4.15 7/258 1056686
/proc/meminfo: memFree=121796620/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=84228 memory=43972 CPUtime=0.69 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 8039 0 0 0 68 1 0 0 20 0 1 0 195041924 86249472 10993 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 21057 10993 3987 3540 0 9314 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 84228 KiB
Current children cumulated memory: 43972 KiB
[startup+1.50021 s]
/proc/loadavg: 4.15 4.13 4.15 5/258 1056686
/proc/meminfo: memFree=121796076/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=84900 memory=44236 CPUtime=1.49 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 8109 0 0 0 148 1 0 0 20 0 1 0 195041924 86937600 11059 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 21225 11059 3987 3540 0 9482 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 84900 KiB
Current children cumulated memory: 44236 KiB
[startup+3.10541 s]
/proc/loadavg: 4.15 4.13 4.15 5/258 1056686
/proc/meminfo: memFree=121782672/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=90368 memory=49780 CPUtime=3.08 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 9463 0 0 0 307 1 0 0 20 0 1 0 195041924 92536832 12445 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 22592 12445 3987 3540 0 10849 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90368 KiB
Current children cumulated memory: 49780 KiB
[startup+6.3002 s]
/proc/loadavg: 4.14 4.13 4.15 5/258 1056778
/proc/meminfo: memFree=126676720/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=107980 memory=67996 CPUtime=6.26 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 14011 0 0 0 624 2 0 0 20 0 1 0 195041924 110571520 16999 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 26995 16999 3987 3540 0 15252 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107980 KiB
Current children cumulated memory: 67996 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.11 4.14 5/255 1057244
/proc/meminfo: memFree=126680572/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=113032 memory=72876 CPUtime=12.64 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 15976 0 0 0 1262 2 0 0 20 0 1 0 195041924 115744768 18219 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 28258 18219 3987 3540 0 16515 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 113032 KiB
Current children cumulated memory: 72876 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.11 4.14 5/258 1057333
/proc/meminfo: memFree=126514056/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=122744 memory=82896 CPUtime=25.39 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 19429 0 0 0 2536 3 0 0 20 0 1 0 195041924 125689856 20724 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 30686 20724 3987 3540 0 18943 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 122744 KiB
Current children cumulated memory: 82896 KiB
[startup+37.7378 s]
# the end of solver process 1056685 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=37.5459 s, system=0.039801 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.04 4.11 4.14 5/258 1057333
/proc/meminfo: memFree=126514056/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=122744 memory=82896 CPUtime=25.49 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 19436 0 0 0 2546 3 0 0 20 0 1 0 195041924 125689856 20724 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 30686 20724 3987 3540 0 18943 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 122744 KiB
Current children cumulated memory: 82896 KiB
[startup+32.0002 s]*
/proc/loadavg: 4.03 4.11 4.14 5/258 1057335
/proc/meminfo: memFree=126493668/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=124508 memory=84744 CPUtime=31.87 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 19908 0 0 0 3184 3 0 0 20 0 1 0 195041924 127496192 21186 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 31127 21186 3987 3540 0 19384 0
Current children cumulated CPU time: 31.87 s
Current children cumulated vsize: 124508 KiB
Current children cumulated memory: 84744 KiB
[startup+35.2002 s]
/proc/loadavg: 4.03 4.11 4.14 5/258 1057335
/proc/meminfo: memFree=126489300/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=136576 memory=95832 CPUtime=35.05 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 22663 0 0 0 3502 3 0 0 20 0 1 0 195041924 139853824 23958 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 34144 23958 3987 3540 0 22401 0
Current children cumulated CPU time: 35.05 s
Current children cumulated vsize: 136576 KiB
Current children cumulated memory: 95832 KiB
[startup+36.8001 s]
/proc/loadavg: 4.03 4.10 4.14 5/258 1057335
/proc/meminfo: memFree=126481268/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=136576 memory=95832 CPUtime=36.64 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 22680 0 0 0 3661 3 0 0 20 0 1 0 195041924 139853824 23958 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 34144 23958 3987 3540 0 22401 0
Current children cumulated CPU time: 36.64 s
Current children cumulated vsize: 136576 KiB
Current children cumulated memory: 95832 KiB
[startup+37.2002 s]
/proc/loadavg: 4.03 4.10 4.14 5/258 1057335
/proc/meminfo: memFree=126477880/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=136576 memory=95832 CPUtime=37.04 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 22682 0 0 0 3701 3 0 0 20 0 1 0 195041924 139853824 23958 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 34144 23958 3987 3540 0 22401 0
Current children cumulated CPU time: 37.04 s
Current children cumulated vsize: 136576 KiB
Current children cumulated memory: 95832 KiB
[startup+37.6002 s]
/proc/loadavg: 4.03 4.10 4.14 5/258 1057335
/proc/meminfo: memFree=126477880/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=136576 memory=95832 CPUtime=37.44 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 22683 0 0 0 3741 3 0 0 20 0 1 0 195041924 139853824 23958 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 34144 23958 3987 3540 0 22401 0
Current children cumulated CPU time: 37.44 s
Current children cumulated vsize: 136576 KiB
Current children cumulated memory: 95832 KiB
[startup+37.7001 s]
/proc/loadavg: 4.03 4.10 4.14 5/258 1057335
/proc/meminfo: memFree=126477880/131524600 swapFree=131071996/131071996
[pid=1056685] ppid=1056682 vsize=136576 memory=95832 CPUtime=37.54 cores=0,2
/proc/1056685/stat : 1056685 (pbscip) R 1056682 1056685 1052149 0 -1 4194304 22683 0 0 0 3751 3 0 0 20 0 1 0 195041924 139853824 23958 134679101440 4194304 18693293 140732915744240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49713152 140732915749890 140732915749989 140732915749989 140732915757006 0
/proc/1056685/statm: 34144 23958 3987 3540 0 22401 0
Current children cumulated CPU time: 37.54 s
Current children cumulated vsize: 136576 KiB
Current children cumulated memory: 95832 KiB
Child status: 0
Real time (s): 37.7378
CPU time (s): 37.5857
CPU user time (s): 37.5459
CPU system time (s): 0.039801
CPU usage (%): 99.597
Max. virtual memory (cumulated for all children) (KiB): 136576
Max. memory (cumulated for all children) (KiB): 95832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.5459
system time used= 0.039801
maximum resident set size= 95832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22688
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 269
# summary of solver processes directly reported to runsolver:
# pid: 1056685
# total CPU time (s): 37.5857
# total CPU user time (s): 37.5459
# total CPU system time (s): 0.039801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081702 second user time and 0.209782 second system time
The end