0.00/0.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4513448-1751224187.opb>
0.00/0.02 c original problem has 1101 variables (1101 bin, 0 int, 0 impl, 0 cont) and 551 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.03 c presolving:
0.00/0.03 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.03 c (0.0s) running MILP presolver
0.00/0.04 c (0.0s) MILP presolver found nothing
0.00/0.05 c (0.0s) probing: 51/1100 (4.6%) - 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.06 c (0.0s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.00/0.06 c dynamic symmetry handling statistics:
0.00/0.06 c orbitopal reduction: no components
0.00/0.06 c orbital reduction: 1 components of sizes 1
0.00/0.06 c lexicographic reduction: 2 permutations with support sizes 880, 1091
0.00/0.06 c handled 1 out of 1 symmetry components
0.00/0.06 c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
0.00/0.06 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.06 c 0 implications, 0 cliques
0.00/0.06 c presolved problem has 1100 variables (1100 bin, 0 int, 0 impl, 0 cont) and 550 constraints
0.00/0.06 c 550 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.03
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 10.0.0
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.06 c limits/time = 3596.99314
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.06 c limits/memory = 27900
0.00/0.06 c
0.00/0.06 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.06 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = 1
0.00/0.06 c
0.00/0.06 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.06 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.06 c misc/usesymmetry = 3
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.06 c
0.00/0.06 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.06 c
0.00/0.06 c # Type of symmetries that shall be computed?
0.00/0.06 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.06 c propagating/symmetry/symtype = 1
0.00/0.06 c
0.00/0.06 c # Should components consisting of a single full reflection be handled?
0.00/0.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.09/0.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.16 c 0.1s| 1 | 0 | 600 | - | 12M | 0 |1100 | 571 | 550 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.18/0.28 c 0.3s| 1 | 0 | 835 | - | 12M | 0 |1100 | 581 | 564 | 14 | 1 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.18/0.29 c 0.3s| 1 | 0 | 846 | - | 12M | 0 |1100 | 581 | 578 | 28 | 2 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.18/0.30 c 0.3s| 1 | 0 | 856 | - | 12M | 0 |1100 | 581 | 590 | 40 | 3 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.26/0.33 c 0.3s| 1 | 0 | 871 | - | 13M | 0 |1100 | 581 | 599 | 49 | 4 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.26/0.35 c 0.3s| 1 | 0 | 876 | - | 14M | 0 |1100 | 581 | 603 | 53 | 5 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.26/0.36 c 0.3s| 1 | 0 | 880 | - | 14M | 0 |1100 | 581 | 608 | 58 | 6 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.26/0.37 c 0.4s| 1 | 0 | 885 | - | 14M | 0 |1100 | 581 | 612 | 62 | 7 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.26/0.38 c 0.4s| 1 | 0 | 890 | - | 15M | 0 |1100 | 581 | 616 | 66 | 8 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.26/0.40 c 0.4s| 1 | 0 | 909 | - | 15M | 0 |1100 | 581 | 618 | 68 | 9 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.35/0.45 c 0.4s| 1 | 0 | 923 | - | 16M | 0 |1100 | 581 | 620 | 70 | 10 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.35/0.46 c 0.4s| 1 | 0 | 947 | - | 16M | 0 |1100 | 581 | 622 | 72 | 11 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.35/0.47 c 0.4s| 1 | 0 | 950 | - | 16M | 0 |1100 | 581 | 623 | 73 | 12 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.35/0.47 c 0.5s| 1 | 0 | 953 | - | 16M | 0 |1100 | 581 | 625 | 75 | 13 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.35/0.48 c 0.5s| 1 | 0 | 958 | - | 17M | 0 |1100 | 581 | 626 | 76 | 14 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.35/0.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.35/0.49 c 0.5s| 1 | 0 | 969 | - | 17M | 0 |1100 | 581 | 597 | 77 | 15 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.35/0.50 c 0.5s| 1 | 0 | 977 | - | 17M | 0 |1100 | 581 | 598 | 78 | 16 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.35/0.50 c 0.5s| 1 | 0 | 981 | - | 17M | 0 |1100 | 581 | 600 | 80 | 17 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.44/0.53 c 0.5s| 1 | 0 | 1008 | - | 17M | 0 |1100 | 581 | 602 | 82 | 18 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.44/0.54 c 0.5s| 1 | 0 | 1021 | - | 17M | 0 |1100 | 581 | 604 | 84 | 19 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.44/0.54 c 0.5s| 1 | 0 | 1024 | - | 17M | 0 |1100 | 582 | 605 | 85 | 20 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.44/0.60 c 0.6s| 1 | 2 | 1213 | - | 17M | 0 |1100 | 588 | 605 | 85 | 21 | 28 | 11 | 0.000000e+00 | -- | Inf | unknown
1.80/1.92 c 1.9s| 100 | 99 | 7956 | 70.0 | 19M | 33 |1100 | 745 | 559 | 125 | 1 | 186 | 11 | 0.000000e+00 | -- | Inf | 50.00%
2.58/2.77 c 2.8s| 200 | 199 | 11076 | 50.5 | 21M | 49 |1100 | 875 | 565 | 220 | 1 | 318 | 11 | 0.000000e+00 | -- | Inf | 50.00%
3.27/3.48 c 3.5s| 300 | 299 | 15038 | 46.9 | 21M | 49 |1100 | 970 | 562 | 336 | 1 | 414 | 11 | 0.000000e+00 | -- | Inf | 50.00%
3.66/3.80 c 3.8s| 400 | 399 | 16684 | 39.2 | 21M | 72 |1100 |1106 | 567 | 421 | 1 | 550 | 11 | 0.000000e+00 | -- | Inf | 50.00%
3.76/3.99 c 4.0s| 500 | 491 | 17696 | 33.4 | 21M | 78 |1100 |1189 | 567 | 439 | 1 | 634 | 11 | 0.000000e+00 | -- | Inf | 50.00%
3.98/4.17 c 4.2s| 600 | 591 | 18519 | 29.2 | 22M | 111 |1100 |1247 | 567 | 439 | 1 | 692 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.16/4.33 c 4.3s| 700 | 691 | 19205 | 26.0 | 22M | 117 |1100 |1279 | 567 | 439 | 1 | 725 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.36/4.53 c 4.5s| 800 | 791 | 20098 | 23.9 | 22M | 117 |1100 |1355 | 567 | 439 | 1 | 801 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.46/4.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.46/4.63 c 4.6s| 900 | 867 | 20560 | 21.7 | 23M | 124 |1100 |1422 | 564 | 456 | 1 | 868 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.56/4.74 c 4.7s| 1000 | 965 | 21249 | 20.2 | 23M | 135 |1100 |1462 | 567 | 456 | 1 | 908 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.65/4.85 c 4.8s| 1100 | 1065 | 21781 | 18.9 | 23M | 135 |1100 |1489 | 567 | 456 | 1 | 936 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.75/4.97 c 5.0s| 1200 | 1159 | 22255 | 17.7 | 23M | 158 |1100 |1555 | 567 | 456 | 1 |1002 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.86/5.08 c 5.1s| 1300 | 1251 | 22720 | 16.7 | 23M | 191 |1100 |1599 | 567 | 463 | 1 |1046 | 11 | 0.000000e+00 | -- | Inf | 50.00%
4.97/5.17 c 5.2s| 1400 | 1342 | 23120 | 15.8 | 24M | 191 |1100 |1632 | 567 | 483 | 1 |1079 | 11 | 0.000000e+00 | -- | Inf | 50.00%
5.05/5.26 c 5.2s| 1500 | 1430 | 23581 | 15.0 | 24M | 191 |1100 |1697 | 567 | 483 | 1 |1144 | 11 | 0.000000e+00 | -- | Inf | 50.00%
5.34/5.51 c 5.5s| 1600 | 1522 | 24200 | 14.5 | 24M | 191 |1100 |1759 | 567 | 483 | 1 |1206 | 11 | 0.000000e+00 | -- | Inf | 50.00%
5.44/5.62 c 5.6s| 1700 | 1622 | 24696 | 13.9 | 24M | 191 |1100 |1786 | 568 | 484 | 1 |1235 | 11 | 0.000000e+00 | -- | Inf | 50.00%
5.54/5.71 c 5.7s| 1800 | 1720 | 25264 | 13.5 | 24M | 191 |1100 |1804 | 567 | 484 | 1 |1253 | 11 | 0.000000e+00 | -- | Inf | 50.00%
5.64/5.85 c 5.8s| 1900 | 1820 | 25800 | 13.0 | 24M | 191 |1100 |1833 | 567 | 484 | 1 |1283 | 11 | 0.000000e+00 | -- | Inf | 50.00%
5.74/5.95 c 5.9s| 2000 | 1918 | 26310 | 12.6 | 25M | 191 |1100 |1861 | 567 | 488 | 1 |1314 | 11 | 0.000000e+00 | -- | Inf | 50.00%
5.85/6.09 c 6.1s| 2100 | 2016 | 26796 | 12.3 | 25M | 191 |1100 |1873 | 567 | 497 | 1 |1330 | 11 | 0.000000e+00 | -- | Inf | 50.00%
6.03/6.27 c 6.3s| 2200 | 2096 | 27639 | 12.1 | 25M | 191 |1100 |1944 | 567 | 499 | 1 |1411 | 11 | 0.000000e+00 | -- | Inf | 50.00%
6.34/6.53 c 6.5s| 2300 | 2192 | 28257 | 11.8 | 26M | 191 |1100 |1967 | 568 | 503 | 1 |1439 | 11 | 0.000000e+00 | -- | Inf | 50.00%
6.53/6.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.53/6.80 c 6.8s| 2400 | 2292 | 28834 | 11.6 | 26M | 191 |1100 |2019 | 567 | 505 | 1 |1494 | 11 | 0.000000e+00 | -- | Inf | 50.00%
6.72/6.90 c 6.9s| 2500 | 2384 | 29290 | 11.3 | 26M | 191 |1100 |2094 | 567 | 505 | 1 |1573 | 11 | 0.000000e+00 | -- | Inf | 50.00%
6.72/6.92 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
6.72/6.92 c (run 1, node 2525) performing user restart
6.72/6.92 c
6.72/6.92 c (restart) converted 4 cuts from the global cut pool into linear constraints
6.72/6.92 c
6.72/6.93 c presolving:
6.72/6.93 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
6.72/6.93 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
6.72/6.93 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
6.72/7.00 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
6.83/7.07 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
6.83/7.07 c 1 deleted vars, 54 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 45 changed coefficients
6.83/7.07 c 0 implications, 3 cliques
6.83/7.07 c presolved problem has 1099 variables (1099 bin, 0 int, 0 impl, 0 cont) and 2047 constraints
6.83/7.07 c 75 constraints of type <knapsack>
6.83/7.07 c 2 constraints of type <setppc>
6.83/7.07 c 573 constraints of type <linear>
6.83/7.07 c 1397 constraints of type <logicor>
6.83/7.07 c transformed objective value is always integral (scale: 1)
6.83/7.07 c Presolving Time: 0.18
6.83/7.07 c
6.83/7.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.83/7.10 c 7.1s| 1 | 0 | 30082 | - | 28M | 0 |1099 |2077 | 554 | 0 | 0 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
6.93/7.17 c 7.1s| 1 | 0 | 30105 | - | 28M | 0 |1099 |2222 | 563 | 9 | 1 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
6.93/7.17 c 7.2s| 1 | 0 | 30110 | - | 28M | 0 |1099 |2222 | 570 | 16 | 2 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
6.93/7.17 c 7.2s| 1 | 0 | 30115 | - | 28M | 0 |1099 |2222 | 574 | 20 | 3 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
6.93/7.18 c 7.2s| 1 | 0 | 30120 | - | 28M | 0 |1099 |2222 | 578 | 24 | 4 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
6.93/7.18 c 7.2s| 1 | 0 | 30133 | - | 28M | 0 |1099 |2222 | 583 | 29 | 5 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
6.93/7.19 c 7.2s| 1 | 0 | 30162 | - | 28M | 0 |1099 |2222 | 587 | 33 | 6 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
7.03/7.20 c 7.2s| 1 | 0 | 30216 | - | 29M | 0 |1099 |2222 | 591 | 37 | 7 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
7.03/7.22 c 7.2s| 1 | 0 | 30225 | - | 30M | 0 |1099 |2222 | 594 | 40 | 8 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
7.03/7.23 c 7.2s| 1 | 0 | 30245 | - | 31M | 0 |1099 |2222 | 598 | 44 | 9 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
7.03/7.24 c 7.2s| 1 | 0 | 30255 | - | 31M | 0 |1099 |2222 | 602 | 48 | 10 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
7.03/7.25 c 7.2s| 1 | 0 | 30279 | - | 31M | 0 |1099 |2224 | 605 | 51 | 11 |1608 | 11 | 0.000000e+00 | -- | Inf | unknown
7.03/7.28 c 7.3s| 1 | 2 | 30395 | - | 31M | 0 |1099 |2236 | 605 | 51 | 11 |1621 | 22 | 0.000000e+00 | -- | Inf | unknown
7.72/7.94 c 7.9s| 100 | 101 | 32950 | 11.9 | 33M | 17 |1099 |2446 | 556 | 209 | 1 |1840 | 22 | 0.000000e+00 | -- | Inf | unknown
8.31/8.51 c 8.5s| 200 | 199 | 33776 | 11.7 | 33M | 35 |1099 |2472 | 556 | 212 | 1 |1867 | 22 | 0.000000e+00 | -- | Inf | unknown
8.41/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.41/8.60 c 8.6s| 300 | 299 | 34305 | 11.5 | 34M | 40 |1099 |2477 | 556 | 248 | 1 |1872 | 22 | 0.000000e+00 | -- | Inf | unknown
8.51/8.70 c 8.7s| 400 | 399 | 35002 | 11.4 | 34M | 54 |1099 |2498 | 560 | 299 | 1 |1893 | 22 | 0.000000e+00 | -- | Inf | unknown
8.51/8.78 c 8.8s| 500 | 497 | 35616 | 11.2 | 34M | 69 |1099 |2512 | 560 | 299 | 1 |1911 | 22 | 0.000000e+00 | -- | Inf | unknown
8.70/8.90 c 8.9s| 600 | 591 | 36410 | 11.1 | 34M | 69 |1099 |2534 | 560 | 299 | 1 |1937 | 22 | 0.000000e+00 | -- | Inf | unknown
8.81/9.06 c 9.0s| 700 | 685 | 37205 | 11.0 | 34M | 81 |1099 |2582 | 560 | 299 | 1 |1988 | 22 | 0.000000e+00 | -- | Inf | unknown
8.91/9.12 c 9.1s| 800 | 785 | 37442 | 10.7 | 34M | 81 |1099 |2582 | 560 | 299 | 1 |1988 | 22 | 0.000000e+00 | -- | Inf | unknown
9.01/9.27 c 9.2s| 900 | 885 | 38013 | 10.6 | 34M | 94 |1099 |2586 | 560 | 299 | 1 |1993 | 22 | 0.000000e+00 | -- | Inf | unknown
9.11/9.34 c 9.3s| 1000 | 975 | 38462 | 10.4 | 34M | 131 |1099 |2638 | 560 | 299 | 1 |2050 | 22 | 0.000000e+00 | -- | Inf | unknown
9.20/9.43 c 9.4s| 1100 | 1073 | 39036 | 10.3 | 34M | 181 |1099 |2668 | 566 | 317 | 1 |2083 | 22 | 0.000000e+00 | -- | Inf | unknown
9.30/9.55 c 9.5s| 1200 | 1173 | 40211 | 10.3 | 34M | 188 |1099 |2711 | 563 | 346 | 1 |2128 | 22 | 0.000000e+00 | -- | Inf | unknown
9.50/9.70 c 9.7s| 1300 | 1273 | 41598 | 10.4 | 34M | 188 |1099 |2728 | 563 | 376 | 1 |2147 | 22 | 0.000000e+00 | -- | Inf | unknown
9.59/9.82 c 9.8s| 1400 | 1373 | 42477 | 10.4 | 34M | 188 |1099 |2764 | 565 | 440 | 1 |2188 | 22 | 0.000000e+00 | -- | Inf | unknown
9.69/9.93 c 9.9s| 1500 | 1471 | 43438 | 10.3 | 34M | 188 |1099 |2817 | 569 | 483 | 1 |2249 | 22 | 0.000000e+00 | -- | Inf | unknown
9.69/10.00 c 10.0s| 1600 | 1559 | 43926 | 10.2 | 34M | 209 |1099 |2876 | 569 | 483 | 1 |2313 | 22 | 0.000000e+00 | -- | Inf | unknown
9.80/10.07 c 10.1s| 1700 | 1637 | 44458 | 10.1 | 35M | 209 |1099 |2964 | 556 | 491 | 1 |2405 | 22 | 0.000000e+00 | -- | Inf | unknown
10.19/10.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.19/10.47 c 10.5s| 1800 | 1737 | 45990 | 10.2 | 35M | 209 |1099 |3004 | 569 | 536 | 3 |2450 | 22 | 0.000000e+00 | -- | Inf | unknown
10.58/10.86 c 10.8s| 1900 | 1837 | 47217 | 10.3 | 35M | 209 |1099 |3022 | 565 | 580 | 1 |2473 | 22 | 0.000000e+00 | -- | Inf | unknown
11.08/11.32 c 11.3s| 2000 | 1937 | 48319 | 10.3 | 35M | 209 |1099 |3076 | 560 | 616 | 1 |2529 | 22 | 0.000000e+00 | -- | Inf | unknown
11.48/11.70 c 11.7s| 2100 | 2037 | 49716 | 10.4 | 35M | 209 |1099 |3129 | 567 | 657 | 1 |2585 | 22 | 0.000000e+00 | -- | Inf | unknown
11.88/12.17 c 12.2s| 2200 | 2137 | 51013 | 10.4 | 35M | 209 |1099 |3189 | 567 | 698 | 2 |2650 | 22 | 0.000000e+00 | -- | Inf | unknown
12.07/12.38 c 12.4s| 2300 | 2237 | 52222 | 10.4 | 35M | 209 |1099 |3238 | 560 | 732 | 1 |2706 | 22 | 0.000000e+00 | -- | Inf | unknown
12.36/12.66 c 12.6s| 2400 | 2335 | 53308 | 10.5 | 35M | 209 |1099 |3323 | 560 | 770 | 1 |2794 | 22 | 0.000000e+00 | -- | Inf | unknown
12.65/12.98 c 13.0s| 2500 | 2433 | 54944 | 10.6 | 35M | 209 |1099 |3365 | 565 | 811 | 1 |2839 | 22 | 0.000000e+00 | -- | Inf | unknown
12.95/13.24 c 13.2s| 2600 | 2529 | 55989 | 10.6 | 35M | 209 |1099 |3406 | 563 | 835 | 1 |2883 | 22 | 0.000000e+00 | -- | Inf | unknown
13.34/13.60 c 13.6s| 2700 | 2627 | 57176 | 10.6 | 35M | 209 |1099 |3434 | 569 | 876 | 1 |2923 | 22 | 0.000000e+00 | -- | Inf | unknown
13.64/13.94 c 13.9s| 2800 | 2727 | 58187 | 10.6 | 36M | 209 |1099 |3463 | 566 | 905 | 1 |2959 | 22 | 0.000000e+00 | -- | Inf | unknown
14.14/14.43 c 14.4s| 2900 | 2827 | 59458 | 10.6 | 36M | 209 |1099 |3522 | 567 | 942 | 2 |3027 | 22 | 0.000000e+00 | -- | Inf | unknown
14.54/14.83 c 14.8s| 3000 | 2927 | 60761 | 10.7 | 37M | 209 |1099 |3572 | 565 | 981 | 1 |3088 | 22 | 0.000000e+00 | -- | Inf | unknown
14.75/15.10 c 15.1s| 3100 | 3023 | 61772 | 10.7 | 37M | 209 |1099 |3591 | 560 | 997 | 1 |3114 | 22 | 0.000000e+00 | -- | Inf | unknown
15.03/15.32 c 15.3s| 3200 | 3121 | 62255 | 10.6 | 37M | 209 |1099 |3612 | 560 | 997 | 1 |3139 | 22 | 0.000000e+00 | -- | Inf | unknown
15.23/15.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.23/15.50 c 15.5s| 3300 | 3221 | 62934 | 10.5 | 37M | 209 |1099 |3692 | 560 | 997 | 1 |3221 | 22 | 0.000000e+00 | -- | Inf | unknown
15.33/15.66 c 15.6s| 3400 | 3319 | 63705 | 10.4 | 38M | 209 |1099 |3739 | 560 | 997 | 1 |3272 | 22 | 0.000000e+00 | -- | Inf | unknown
15.53/15.80 c 15.8s| 3500 | 3417 | 64132 | 10.3 | 38M | 209 |1099 |3755 | 560 | 997 | 1 |3292 | 22 | 0.000000e+00 | -- | Inf | unknown
15.53/15.87 c 15.9s| 3600 | 3515 | 64619 | 10.3 | 38M | 209 |1099 |3775 | 560 | 997 | 1 |3319 | 22 | 0.000000e+00 | -- | Inf | unknown
15.63/15.96 c 15.9s| 3700 | 3615 | 65032 | 10.2 | 38M | 209 |1099 |3829 | 560 | 997 | 1 |3376 | 22 | 0.000000e+00 | -- | Inf | unknown
15.74/16.05 c 16.0s| 3800 | 3707 | 65878 | 10.1 | 38M | 209 |1099 |3870 | 560 | 997 | 1 |3421 | 22 | 0.000000e+00 | -- | Inf | unknown
15.84/16.12 c 16.1s| 3900 | 3807 | 66259 | 10.0 | 38M | 209 |1099 |3882 | 560 | 997 | 1 |3434 | 22 | 0.000000e+00 | -- | Inf | unknown
15.93/16.27 c 16.3s| 4000 | 3905 | 66650 | 9.9 | 38M | 209 |1099 |3911 | 560 | 997 | 1 |3472 | 22 | 0.000000e+00 | -- | Inf | unknown
16.03/16.35 c 16.3s| 4100 | 4003 | 67143 | 9.9 | 38M | 209 |1099 |3949 | 561 |1009 | 1 |3515 | 22 | 0.000000e+00 | -- | Inf | unknown
16.33/16.62 c 16.6s| 4200 | 4099 | 67980 | 9.8 | 39M | 209 |1099 |3940 | 557 |1039 | 1 |3524 | 22 | 0.000000e+00 | -- | Inf | unknown
16.53/16.83 c 16.8s| 4300 | 4199 | 69171 | 9.9 | 39M | 209 |1099 |3964 | 558 |1055 | 1 |3562 | 22 | 0.000000e+00 | -- | Inf | unknown
16.63/16.92 c 16.9s| 4400 | 4291 | 69970 | 9.8 | 39M | 209 |1099 |3986 | 558 |1085 | 2 |3605 | 22 | 0.000000e+00 | -- | Inf | unknown
16.74/17.05 c 17.0s| 4500 | 4389 | 70630 | 9.8 | 39M | 209 |1099 |4008 | 558 |1086 | 1 |3636 | 22 | 0.000000e+00 | -- | Inf | unknown
16.93/17.25 c 17.2s| 4600 | 4489 | 71637 | 9.8 | 39M | 209 |1099 |4016 | 559 |1123 | 1 |3666 | 22 | 0.000000e+00 | -- | Inf | unknown
17.03/17.39 c 17.4s| 4700 | 4585 | 72100 | 9.7 | 39M | 209 |1099 |4017 | 561 |1125 | 1 |3674 | 22 | 0.000000e+00 | -- | Inf | unknown
17.22/17.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.22/17.58 c 17.6s| 4800 | 4685 | 72825 | 9.7 | 39M | 209 |1099 |4026 | 561 |1125 | 1 |3695 | 22 | 0.000000e+00 | -- | Inf | unknown
17.32/17.64 c 17.6s| 4900 | 4785 | 73130 | 9.6 | 39M | 209 |1099 |4025 | 561 |1125 | 1 |3695 | 22 | 0.000000e+00 | -- | Inf | unknown
17.42/17.73 c 17.7s| 5000 | 4876 | 73805 | 9.6 | 39M | 209 |1099 |4070 | 559 |1129 | 1 |3750 | 22 | 0.000000e+00 | -- | Inf | unknown
17.52/17.80 c 17.8s| 5100 | 4971 | 74569 | 9.5 | 39M | 209 |1099 |4086 | 559 |1136 | 1 |3769 | 22 | 0.000000e+00 | -- | Inf | unknown
17.52/17.88 c 17.9s| 5200 | 5071 | 75379 | 9.5 | 40M | 209 |1099 |4118 | 559 |1142 | 1 |3806 | 22 | 0.000000e+00 | -- | Inf | unknown
17.62/17.96 c 17.9s| 5300 | 5171 | 76010 | 9.5 | 40M | 209 |1099 |4124 | 560 |1142 | 1 |3822 | 22 | 0.000000e+00 | -- | Inf | unknown
17.73/18.03 c 18.0s| 5400 | 5271 | 76655 | 9.4 | 40M | 209 |1099 |4130 | 560 |1142 | 1 |3836 | 22 | 0.000000e+00 | -- | Inf | unknown
17.83/18.11 c 18.1s| 5500 | 5366 | 77249 | 9.4 | 40M | 209 |1099 |4165 | 560 |1142 | 1 |3880 | 22 | 0.000000e+00 | -- | Inf | unknown
17.83/18.19 c 18.2s| 5600 | 5460 | 77795 | 9.4 | 40M | 209 |1099 |4186 | 560 |1148 | 1 |3908 | 22 | 0.000000e+00 | -- | Inf | unknown
18.02/18.31 c 18.3s| 5700 | 5556 | 78627 | 9.3 | 40M | 209 |1099 |4210 | 560 |1148 | 1 |3943 | 22 | 0.000000e+00 | -- | Inf | unknown
18.12/18.43 c 18.4s| 5800 | 5652 | 79448 | 9.3 | 40M | 209 |1099 |4218 | 560 |1148 | 1 |3974 | 22 | 0.000000e+00 | -- | Inf | unknown
18.22/18.51 c 18.5s| 5900 | 5750 | 80055 | 9.3 | 40M | 209 |1099 |4224 | 560 |1148 | 0 |3995 | 22 | 0.000000e+00 | -- | Inf | unknown
18.22/18.58 c 18.6s| 6000 | 5850 | 80475 | 9.2 | 40M | 209 |1099 |4235 | 560 |1148 | 1 |4011 | 22 | 0.000000e+00 | -- | Inf | unknown
18.32/18.64 c 18.6s| 6100 | 5950 | 80823 | 9.2 | 40M | 209 |1099 |4230 | 560 |1148 | 1 |4011 | 22 | 0.000000e+00 | -- | Inf | unknown
18.32/18.69 c 18.7s| 6200 | 6048 | 81104 | 9.1 | 40M | 209 |1099 |4228 | 560 |1148 | 1 |4019 | 22 | 0.000000e+00 | -- | Inf | unknown
18.42/18.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.42/18.79 c 18.8s| 6300 | 6144 | 81651 | 9.0 | 41M | 209 |1099 |4223 | 560 |1148 | 1 |4032 | 22 | 0.000000e+00 | -- | Inf | unknown
18.52/18.85 c 18.8s| 6400 | 6240 | 82002 | 9.0 | 42M | 209 |1099 |4260 | 560 |1148 | 1 |4079 | 22 | 0.000000e+00 | -- | Inf | unknown
18.62/18.92 c 18.9s| 6500 | 6340 | 82470 | 8.9 | 42M | 209 |1099 |4271 | 557 |1148 | 1 |4094 | 22 | 0.000000e+00 | -- | Inf | unknown
18.62/18.98 c 19.0s| 6600 | 6428 | 82934 | 8.9 | 42M | 209 |1099 |4292 | 565 |1161 | 1 |4118 | 22 | 0.000000e+00 | -- | Inf | unknown
18.73/19.05 c 19.0s| 6700 | 6511 | 83535 | 8.9 | 42M | 209 |1099 |4306 | 560 |1161 | 1 |4156 | 22 | 0.000000e+00 | -- | Inf | unknown
18.83/19.11 c 19.1s| 6800 | 6607 | 83993 | 8.8 | 42M | 209 |1099 |4303 | 560 |1161 | 1 |4168 | 22 | 0.000000e+00 | -- | Inf | unknown
18.92/19.22 c 19.2s| 6900 | 6699 | 84630 | 8.8 | 42M | 209 |1099 |4317 | 560 |1161 | 1 |4212 | 22 | 0.000000e+00 | -- | Inf | unknown
19.02/19.32 c 19.3s| 7000 | 6793 | 85249 | 8.8 | 43M | 209 |1099 |4327 | 560 |1161 | 1 |4250 | 22 | 0.000000e+00 | -- | Inf | unknown
19.02/19.38 c 19.4s| 7100 | 6889 | 85656 | 8.7 | 43M | 209 |1099 |4320 | 560 |1161 | 1 |4262 | 22 | 0.000000e+00 | -- | Inf | unknown
19.12/19.46 c 19.4s| 7200 | 6978 | 86127 | 8.7 | 43M | 209 |1099 |4361 | 560 |1161 | 1 |4330 | 22 | 0.000000e+00 | -- | Inf | unknown
19.22/19.51 c 19.5s| 7300 | 7078 | 86554 | 8.6 | 43M | 209 |1099 |4350 | 560 |1161 | 1 |4330 | 22 | 0.000000e+00 | -- | Inf | unknown
19.32/19.62 c 19.6s| 7400 | 7176 | 87235 | 8.6 | 43M | 209 |1099 |4390 | 560 |1161 | 1 |4388 | 22 | 0.000000e+00 | -- | Inf | unknown
19.42/19.70 c 19.7s| 7500 | 7269 | 87805 | 8.6 | 43M | 209 |1099 |4407 | 565 |1161 | 1 |4423 | 22 | 0.000000e+00 | -- | Inf | unknown
19.42/19.78 c 19.8s| 7600 | 7369 | 88619 | 8.6 | 44M | 209 |1099 |4400 | 557 |1165 | 1 |4435 | 22 | 0.000000e+00 | -- | Inf | unknown
19.51/19.86 c 19.8s| 7700 | 7460 | 89268 | 8.6 | 44M | 209 |1099 |4461 | 560 |1165 | 1 |4514 | 22 | 0.000000e+00 | -- | Inf | unknown
19.61/19.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.61/19.92 c 19.9s| 7800 | 7558 | 89570 | 8.5 | 44M | 209 |1099 |4460 | 560 |1165 | 1 |4517 | 22 | 0.000000e+00 | -- | Inf | unknown
19.61/19.97 c 20.0s| 7900 | 7650 | 89960 | 8.5 | 44M | 209 |1099 |4466 | 560 |1165 | 0 |4533 | 22 | 0.000000e+00 | -- | Inf | unknown
19.73/20.06 c 20.0s| 8000 | 7746 | 90487 | 8.4 | 44M | 209 |1099 |4478 | 560 |1165 | 1 |4561 | 22 | 0.000000e+00 | -- | Inf | unknown
19.82/20.16 c 20.1s| 8100 | 7846 | 90868 | 8.4 | 44M | 209 |1099 |4518 | 560 |1165 | 1 |4619 | 22 | 0.000000e+00 | -- | Inf | unknown
19.91/20.24 c 20.2s| 8200 | 7936 | 91348 | 8.3 | 44M | 209 |1099 |4542 | 560 |1165 | 1 |4655 | 22 | 0.000000e+00 | -- | Inf | unknown
20.01/20.31 c 20.3s| 8300 | 8030 | 91956 | 8.3 | 44M | 209 |1099 |4560 | 569 |1172 | 1 |4689 | 22 | 0.000000e+00 | -- | Inf | unknown
20.11/20.46 c 20.4s| 8400 | 8118 | 92766 | 8.3 | 45M | 209 |1099 |4622 | 569 |1172 | 1 |4785 | 22 | 0.000000e+00 | -- | Inf | unknown
20.21/20.52 c 20.5s| 8500 | 8196 | 93114 | 8.3 | 45M | 209 |1099 |4711 | 560 |1172 | 1 |4889 | 22 | 0.000000e+00 | -- | Inf | unknown
20.21/20.58 c 20.6s| 8600 | 8292 | 93553 | 8.2 | 45M | 209 |1099 |4709 | 560 |1172 | 1 |4902 | 22 | 0.000000e+00 | -- | Inf | unknown
20.31/20.67 c 20.7s| 8700 | 8390 | 94199 | 8.2 | 45M | 209 |1099 |4740 | 560 |1172 | 1 |4961 | 22 | 0.000000e+00 | -- | Inf | unknown
20.41/20.76 c 20.7s| 8800 | 8484 | 94648 | 8.2 | 45M | 209 |1099 |4752 | 560 |1172 | 1 |4991 | 22 | 0.000000e+00 | -- | Inf | unknown
20.51/20.82 c 20.8s| 8900 | 8578 | 94963 | 8.2 | 45M | 209 |1099 |4751 | 560 |1172 | 1 |5003 | 22 | 0.000000e+00 | -- | Inf | unknown
20.61/20.93 c 20.9s| 9000 | 8674 | 95829 | 8.2 | 45M | 209 |1099 |4761 | 560 |1172 | 1 |5024 | 22 | 0.000000e+00 | -- | Inf | unknown
20.61/21.00 c 21.0s| 9100 | 8762 | 96326 | 8.1 | 45M | 209 |1099 |4771 | 560 |1172 | 1 |5044 | 22 | 0.000000e+00 | -- | Inf | unknown
20.72/21.07 c 21.0s| 9200 | 8856 | 96877 | 8.1 | 45M | 209 |1099 |4759 | 559 |1181 | 1 |5061 | 22 | 0.000000e+00 | -- | Inf | unknown
20.82/21.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.82/21.13 c 21.1s| 9300 | 8944 | 97298 | 8.1 | 45M | 209 |1099 |4769 | 559 |1181 | 1 |5092 | 22 | 0.000000e+00 | -- | Inf | unknown
20.91/21.21 c 21.2s| 9400 | 9044 | 97873 | 8.1 | 45M | 209 |1099 |4765 | 559 |1181 | 1 |5110 | 22 | 0.000000e+00 | -- | Inf | unknown
20.91/21.28 c 21.3s| 9500 | 9140 | 98392 | 8.0 | 45M | 209 |1099 |4767 | 559 |1181 | 1 |5130 | 22 | 0.000000e+00 | -- | Inf | unknown
21.01/21.37 c 21.3s| 9600 | 9232 | 98869 | 8.0 | 46M | 209 |1099 |4756 | 560 |1193 | 1 |5147 | 22 | 0.000000e+00 | -- | Inf | unknown
21.11/21.49 c 21.5s| 9700 | 9328 | 99956 | 8.0 | 46M | 209 |1099 |4768 | 563 |1210 | 1 |5199 | 22 | 0.000000e+00 | -- | Inf | unknown
21.21/21.56 c 21.5s| 9800 | 9412 |100301 | 8.0 | 46M | 209 |1099 |4793 | 560 |1211 | 1 |5249 | 22 | 0.000000e+00 | -- | Inf | unknown
21.31/21.65 c 21.6s| 9900 | 9506 |100903 | 8.0 | 46M | 209 |1099 |4886 | 563 |1219 | 1 |5355 | 22 | 0.000000e+00 | -- | Inf | unknown
21.41/21.74 c 21.7s| 10000 | 9600 |101439 | 8.0 | 46M | 209 |1099 |4946 | 557 |1229 | 1 |5435 | 22 | 0.000000e+00 | -- | Inf | unknown
21.51/21.81 c 21.8s| 10100 | 9698 |102276 | 8.0 | 46M | 209 |1099 |4948 | 557 |1229 | 1 |5447 | 22 | 0.000000e+00 | -- | Inf | unknown
21.61/21.91 c 21.9s| 10200 | 9790 |103046 | 8.0 | 46M | 209 |1099 |4953 | 557 |1229 | 1 |5485 | 22 | 0.000000e+00 | -- | Inf | unknown
21.61/21.99 c 22.0s| 10300 | 9886 |104041 | 8.0 | 47M | 209 |1099 |4953 | 564 |1233 | 1 |5508 | 22 | 0.000000e+00 | -- | Inf | unknown
21.72/22.07 c 22.0s| 10400 | 9979 |104781 | 8.0 | 47M | 209 |1099 |4956 | 559 |1238 | 1 |5534 | 22 | 0.000000e+00 | -- | Inf | unknown
21.82/22.13 c 22.1s| 10500 | 10070 |105236 | 7.9 | 48M | 209 |1099 |4970 | 557 |1238 | 1 |5566 | 22 | 0.000000e+00 | -- | Inf | unknown
21.90/22.27 c 22.2s| 10600 | 10164 |106220 | 8.0 | 48M | 209 |1099 |4987 | 560 |1257 | 1 |5625 | 22 | 0.000000e+00 | -- | Inf | unknown
22.00/22.35 c 22.3s| 10700 | 10257 |106990 | 8.0 | 48M | 209 |1099 |5021 | 559 |1288 | 1 |5722 | 22 | 0.000000e+00 | -- | Inf | unknown
22.10/22.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.10/22.49 c 22.5s| 10800 | 10351 |107842 | 8.0 | 48M | 209 |1099 |5023 | 559 |1288 | 1 |5784 | 22 | 0.000000e+00 | -- | Inf | unknown
22.20/22.57 c 22.5s| 10900 | 10449 |108277 | 7.9 | 48M | 209 |1099 |5018 | 559 |1288 | 1 |5814 | 22 | 0.000000e+00 | -- | Inf | unknown
22.30/22.69 c 22.7s| 11000 | 10541 |109046 | 7.9 | 48M | 209 |1099 |4964 | 559 |1288 | 1 |5884 | 22 | 0.000000e+00 | -- | Inf | unknown
22.50/22.80 c 22.8s| 11100 | 10639 |109873 | 7.9 | 48M | 209 |1099 |4944 | 565 |1297 | 1 |5924 | 22 | 0.000000e+00 | -- | Inf | unknown
22.50/22.88 c 22.9s| 11200 | 10729 |110482 | 7.9 | 48M | 209 |1099 |4967 | 564 |1297 | 1 |5967 | 22 | 0.000000e+00 | -- | Inf | unknown
22.60/22.96 c 22.9s| 11300 | 10817 |111002 | 7.9 | 48M | 209 |1099 |4962 | 564 |1297 | 1 |5994 | 22 | 0.000000e+00 | -- | Inf | unknown
22.71/23.05 c 23.0s| 11400 | 10907 |111663 | 7.9 | 48M | 209 |1099 |4944 | 564 |1298 | 1 |6071 | 22 | 0.000000e+00 | -- | Inf | unknown
22.90/23.29 c 23.3s| 11500 | 11007 |114175 | 8.0 | 48M | 209 |1099 |4932 | 558 |1325 | 1 |6100 | 22 | 0.000000e+00 | -- | Inf | unknown
23.10/23.41 c 23.4s| 11600 | 11097 |115113 | 8.0 | 48M | 209 |1099 |4908 | 559 |1325 | 1 |6141 | 22 | 0.000000e+00 | -- | Inf | unknown
23.10/23.49 c 23.5s| 11700 | 11197 |115476 | 8.0 | 48M | 209 |1099 |4901 | 564 |1325 | 1 |6171 | 22 | 0.000000e+00 | -- | Inf | unknown
23.20/23.59 c 23.6s| 11800 | 11293 |116184 | 8.0 | 48M | 209 |1099 |4890 | 560 |1356 | 1 |6195 | 22 | 0.000000e+00 | -- | Inf | unknown
23.30/23.66 c 23.6s| 11900 | 11389 |116655 | 8.0 | 48M | 209 |1099 |4893 | 560 |1356 | 1 |6219 | 22 | 0.000000e+00 | -- | Inf | unknown
23.40/23.75 c 23.7s| 12000 | 11483 |117325 | 8.0 | 48M | 209 |1099 |4851 | 567 |1367 | 1 |6237 | 22 | 0.000000e+00 | -- | Inf | unknown
23.50/23.87 c 23.9s| 12100 | 11573 |118474 | 8.0 | 49M | 209 |1099 |4841 | 564 |1382 | 2 |6294 | 22 | 0.000000e+00 | -- | Inf | unknown
23.60/23.93 c 23.9s| 12200 | 11669 |118984 | 8.0 | 49M | 209 |1099 |4842 | 565 |1384 | 1 |6302 | 22 | 0.000000e+00 | -- | Inf | unknown
23.71/24.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.71/24.01 c 24.0s| 12300 | 11759 |119482 | 7.9 | 49M | 209 |1099 |4851 | 565 |1384 | 1 |6369 | 22 | 0.000000e+00 | -- | Inf | unknown
23.71/24.08 c 24.1s| 12400 | 11847 |119930 | 7.9 | 49M | 209 |1099 |4841 | 565 |1384 | 1 |6382 | 22 | 0.000000e+00 | -- | Inf | unknown
23.81/24.15 c 24.1s| 12500 | 11945 |120441 | 7.9 | 49M | 209 |1099 |4835 | 565 |1384 | 1 |6400 | 22 | 0.000000e+00 | -- | Inf | unknown
23.90/24.23 c 24.2s| 12600 | 12041 |121157 | 7.9 | 49M | 209 |1099 |4898 | 565 |1384 | 1 |6486 | 22 | 0.000000e+00 | -- | Inf | unknown
24.00/24.33 c 24.3s| 12700 | 12137 |122138 | 7.9 | 49M | 209 |1099 |4856 | 559 |1398 | 1 |6542 | 22 | 0.000000e+00 | -- | Inf | unknown
24.10/24.40 c 24.4s| 12800 | 12230 |122617 | 7.9 | 49M | 209 |1099 |4863 | 559 |1398 | 1 |6578 | 22 | 0.000000e+00 | -- | Inf | unknown
24.10/24.47 c 24.5s| 12900 | 12326 |123023 | 7.9 | 49M | 209 |1099 |4873 | 559 |1398 | 1 |6628 | 22 | 0.000000e+00 | -- | Inf | unknown
24.20/24.59 c 24.6s| 13000 | 12416 |123851 | 7.9 | 49M | 209 |1099 |4876 | 559 |1398 | 1 |6702 | 22 | 0.000000e+00 | -- | Inf | unknown
24.30/24.68 c 24.7s| 13100 | 12508 |124473 | 7.9 | 49M | 209 |1099 |4839 | 560 |1398 | 1 |6740 | 22 | 0.000000e+00 | -- | Inf | unknown
24.39/24.77 c 24.8s| 13200 | 12598 |125193 | 7.8 | 50M | 209 |1099 |4852 | 560 |1398 | 0 |6774 | 22 | 0.000000e+00 | -- | Inf | unknown
24.49/24.85 c 24.8s| 13300 | 12696 |125672 | 7.8 | 51M | 209 |1099 |4850 | 559 |1398 | 1 |6803 | 22 | 0.000000e+00 | -- | Inf | unknown
24.59/24.97 c 25.0s| 13400 | 12786 |126416 | 7.8 | 51M | 209 |1099 |4864 | 559 |1398 | 1 |6901 | 22 | 0.000000e+00 | -- | Inf | unknown
24.71/25.03 c 25.0s| 13500 | 12880 |126818 | 7.8 | 51M | 209 |1099 |4832 | 559 |1398 | 1 |6915 | 22 | 0.000000e+00 | -- | Inf | unknown
24.81/25.14 c 25.1s| 13600 | 12974 |127448 | 7.8 | 51M | 209 |1099 |4813 | 564 |1398 | 1 |6945 | 22 | 0.000000e+00 | -- | Inf | unknown
24.89/25.20 c 25.2s| 13700 | 13064 |127816 | 7.8 | 51M | 209 |1099 |4814 | 564 |1398 | 1 |6967 | 22 | 0.000000e+00 | -- | Inf | unknown
24.89/25.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.89/25.28 c 25.3s| 13800 | 13158 |128318 | 7.7 | 51M | 209 |1099 |4781 | 558 |1401 | 1 |7010 | 22 | 0.000000e+00 | -- | Inf | unknown
24.99/25.34 c 25.3s| 13900 | 13239 |128803 | 7.7 | 51M | 209 |1099 |4793 | 558 |1401 | 1 |7068 | 22 | 0.000000e+00 | -- | Inf | unknown
25.09/25.41 c 25.4s| 14000 | 13334 |129364 | 7.7 | 51M | 209 |1099 |4786 | 558 |1401 | 1 |7085 | 22 | 0.000000e+00 | -- | Inf | unknown
25.09/25.49 c 25.5s| 14100 | 13419 |130304 | 7.7 | 51M | 209 |1099 |4778 | 558 |1401 | 1 |7117 | 22 | 0.000000e+00 | -- | Inf | unknown
25.19/25.56 c 25.5s| 14200 | 13514 |131031 | 7.7 | 51M | 209 |1099 |4754 | 558 |1401 | 1 |7153 | 22 | 0.000000e+00 | -- | Inf | unknown
25.29/25.64 c 25.6s| 14300 | 13610 |131744 | 7.7 | 51M | 209 |1099 |4774 | 568 |1409 | 1 |7200 | 22 | 0.000000e+00 | -- | Inf | unknown
25.39/25.78 c 25.8s| 14400 | 13710 |132844 | 7.7 | 52M | 209 |1099 |4750 | 560 |1437 | 1 |7249 | 22 | 0.000000e+00 | -- | Inf | unknown
25.49/25.88 c 25.9s| 14500 | 13794 |133514 | 7.7 | 52M | 209 |1099 |4796 | 560 |1437 | 1 |7335 | 22 | 0.000000e+00 | -- | Inf | unknown
25.59/25.99 c 26.0s| 14600 | 13890 |134378 | 7.7 | 52M | 209 |1099 |4791 | 560 |1450 | 1 |7417 | 22 | 0.000000e+00 | -- | Inf | unknown
25.80/26.12 c 26.1s| 14700 | 13986 |135513 | 7.8 | 52M | 209 |1099 |4746 | 559 |1470 | 1 |7446 | 22 | 0.000000e+00 | -- | Inf | unknown
25.89/26.22 c 26.2s| 14800 | 14086 |136103 | 7.8 | 52M | 209 |1099 |4696 | 560 |1470 | 1 |7459 | 22 | 0.000000e+00 | -- | Inf | unknown
25.89/26.29 c 26.3s| 14900 | 14182 |136611 | 7.7 | 52M | 209 |1099 |4680 | 560 |1470 | 1 |7485 | 22 | 0.000000e+00 | -- | Inf | unknown
25.99/26.36 c 26.3s| 15000 | 14280 |137162 | 7.7 | 52M | 209 |1099 |4671 | 559 |1472 | 1 |7510 | 22 | 0.000000e+00 | -- | Inf | unknown
26.19/26.52 c 26.5s| 15100 | 14374 |137796 | 7.7 | 53M | 209 |1099 |4664 | 560 |1487 | 1 |7562 | 22 | 0.000000e+00 | -- | Inf | unknown
26.19/26.58 c 26.6s| 15200 | 14464 |138280 | 7.7 | 54M | 209 |1099 |4657 | 559 |1487 | 1 |7594 | 22 | 0.000000e+00 | -- | Inf | unknown
26.29/26.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.29/26.66 c 26.6s| 15300 | 14560 |138789 | 7.7 | 54M | 209 |1099 |4630 | 567 |1489 | 1 |7603 | 22 | 0.000000e+00 | -- | Inf | unknown
26.39/26.74 c 26.7s| 15400 | 14653 |139379 | 7.7 | 54M | 209 |1099 |4596 | 566 |1490 | 1 |7641 | 22 | 0.000000e+00 | -- | Inf | unknown
26.49/26.81 c 26.8s| 15500 | 14744 |139857 | 7.7 | 54M | 209 |1099 |4638 | 560 |1490 | 1 |7703 | 22 | 0.000000e+00 | -- | Inf | unknown
26.49/26.88 c 26.9s| 15600 | 14834 |140379 | 7.6 | 54M | 209 |1099 |4662 | 565 |1491 | 1 |7749 | 22 | 0.000000e+00 | -- | Inf | unknown
26.59/26.98 c 27.0s| 15700 | 14926 |141026 | 7.6 | 54M | 209 |1099 |4675 | 565 |1491 | 1 |7805 | 22 | 0.000000e+00 | -- | Inf | unknown
26.70/27.05 c 27.0s| 15800 | 15026 |141536 | 7.6 | 54M | 209 |1099 |4658 | 557 |1491 | 1 |7841 | 22 | 0.000000e+00 | -- | Inf | unknown
26.80/27.13 c 27.1s| 15900 | 15126 |142328 | 7.6 | 54M | 209 |1099 |4651 | 557 |1491 | 1 |7865 | 22 | 0.000000e+00 | -- | Inf | unknown
26.80/27.19 c 27.2s| 16000 | 15224 |143005 | 7.6 | 54M | 209 |1099 |4666 | 557 |1491 | 1 |7893 | 22 | 0.000000e+00 | -- | Inf | unknown
26.98/27.30 c 27.3s| 16100 | 15320 |143796 | 7.6 | 54M | 209 |1099 |4583 | 557 |1511 | 1 |7932 | 22 | 0.000000e+00 | -- | Inf | unknown
26.98/27.39 c 27.4s| 16200 | 15417 |144810 | 7.6 | 54M | 209 |1099 |4562 | 557 |1511 | 1 |7959 | 22 | 0.000000e+00 | -- | Inf | unknown
27.08/27.45 c 27.4s| 16300 | 15511 |145389 | 7.6 | 54M | 209 |1099 |4565 | 557 |1511 | 1 |7973 | 22 | 0.000000e+00 | -- | Inf | unknown
27.18/27.57 c 27.6s| 16400 | 15611 |146312 | 7.6 | 55M | 209 |1099 |4517 | 567 |1536 | 2 |8003 | 22 | 0.000000e+00 | -- | Inf | unknown
27.28/27.64 c 27.6s| 16500 | 15705 |147060 | 7.6 | 55M | 209 |1099 |4480 | 559 |1546 | 1 |8033 | 22 | 0.000000e+00 | -- | Inf | unknown
27.38/27.73 c 27.7s| 16600 | 15798 |147853 | 7.6 | 55M | 209 |1099 |4472 | 561 |1549 | 1 |8055 | 22 | 0.000000e+00 | -- | Inf | unknown
27.48/27.83 c 27.8s| 16700 | 15897 |148783 | 7.6 | 55M | 209 |1099 |4439 | 557 |1555 | 1 |8106 | 22 | 0.000000e+00 | -- | Inf | unknown
27.58/27.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.58/27.91 c 27.9s| 16800 | 15997 |149471 | 7.6 | 55M | 209 |1099 |4447 | 557 |1555 | 1 |8151 | 22 | 0.000000e+00 | -- | Inf | unknown
27.69/28.03 c 28.0s| 16900 | 16095 |150830 | 7.7 | 55M | 209 |1099 |4404 | 564 |1579 | 1 |8191 | 22 | 0.000000e+00 | -- | Inf | unknown
27.79/28.16 c 28.1s| 17000 | 16191 |151955 | 7.7 | 55M | 209 |1099 |4371 | 560 |1595 | 1 |8228 | 22 | 0.000000e+00 | -- | Inf | unknown
27.88/28.23 c 28.2s| 17100 | 16289 |152533 | 7.7 | 55M | 209 |1099 |4352 | 564 |1615 | 1 |8228 | 22 | 0.000000e+00 | -- | Inf | unknown
27.98/28.39 c 28.4s| 17200 | 16385 |153868 | 7.7 | 56M | 209 |1099 |4364 | 564 |1635 | 1 |8295 | 22 | 0.000000e+00 | -- | Inf | unknown
28.08/28.47 c 28.5s| 17300 | 16467 |154519 | 7.7 | 56M | 209 |1099 |4338 | 561 |1647 | 1 |8319 | 22 | 0.000000e+00 | -- | Inf | unknown
28.18/28.54 c 28.5s| 17400 | 16567 |155074 | 7.7 | 56M | 209 |1099 |4322 | 557 |1647 | 1 |8329 | 22 | 0.000000e+00 | -- | Inf | unknown
28.28/28.60 c 28.6s| 17500 | 16651 |155645 | 7.7 | 56M | 209 |1099 |4315 | 566 |1654 | 2 |8361 | 22 | 0.000000e+00 | -- | Inf | unknown
28.38/28.70 c 28.7s| 17600 | 16742 |156510 | 7.7 | 56M | 209 |1099 |4317 | 569 |1669 | 1 |8399 | 22 | 0.000000e+00 | -- | Inf | unknown
28.38/28.78 c 28.8s| 17700 | 16840 |157232 | 7.7 | 56M | 209 |1099 |4296 | 565 |1694 | 2 |8401 | 22 | 0.000000e+00 | -- | Inf | unknown
28.48/28.87 c 28.9s| 17800 | 16923 |157898 | 7.7 | 56M | 209 |1099 |4258 | 561 |1694 | 1 |8450 | 22 | 0.000000e+00 | -- | Inf | unknown
28.58/28.95 c 28.9s| 17900 | 17019 |158703 | 7.7 | 56M | 209 |1099 |4264 | 561 |1694 | 1 |8473 | 22 | 0.000000e+00 | -- | Inf | unknown
28.69/29.03 c 29.0s| 18000 | 17103 |159255 | 7.7 | 56M | 209 |1099 |4259 | 0 |1694 | 0 |8527 | 22 | 0.000000e+00 | -- | Inf | unknown
28.69/29.09 c 29.1s| 18100 | 17171 |159715 | 7.7 | 56M | 209 |1099 |4262 | 560 |1694 | 1 |8589 | 22 | 0.000000e+00 | -- | Inf | unknown
28.79/29.15 c 29.1s| 18200 | 17264 |160235 | 7.6 | 56M | 209 |1099 |4250 | 560 |1694 | 1 |8628 | 22 | 0.000000e+00 | -- | Inf | unknown
28.88/29.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.88/29.27 c 29.2s| 18300 | 17358 |161141 | 7.7 | 56M | 209 |1099 |4192 | 564 |1721 | 1 |8683 | 22 | 0.000000e+00 | -- | Inf | unknown
28.98/29.37 c 29.4s| 18400 | 17458 |161941 | 7.7 | 57M | 209 |1099 |4132 | 558 |1751 | 1 |8724 | 22 | 0.000000e+00 | -- | Inf | unknown
29.08/29.46 c 29.4s| 18500 | 17549 |162582 | 7.6 | 57M | 209 |1099 |4160 | 565 |1766 | 1 |8772 | 22 | 0.000000e+00 | -- | Inf | unknown
29.18/29.54 c 29.5s| 18600 | 17639 |163378 | 7.6 | 57M | 209 |1099 |4157 | 565 |1776 | 1 |8816 | 22 | 0.000000e+00 | -- | Inf | unknown
29.28/29.62 c 29.6s| 18700 | 17737 |164123 | 7.6 | 57M | 209 |1099 |4163 | 561 |1788 | 2 |8857 | 22 | 0.000000e+00 | -- | Inf | unknown
29.37/29.74 c 29.7s| 18800 | 17835 |165132 | 7.7 | 57M | 209 |1099 |4175 | 560 |1795 | 1 |8945 | 22 | 0.000000e+00 | -- | Inf | unknown
29.37/29.80 c 29.8s| 18900 | 17929 |165502 | 7.6 | 57M | 209 |1099 |4191 | 560 |1795 | 1 |8969 | 22 | 0.000000e+00 | -- | Inf | unknown
29.57/29.92 c 29.9s| 19000 | 18025 |166591 | 7.7 | 57M | 209 |1099 |4191 | 560 |1815 | 1 |9028 | 22 | 0.000000e+00 | -- | Inf | unknown
29.57/30.00 c 30.0s| 19100 | 18117 |167131 | 7.6 | 57M | 209 |1099 |4210 | 560 |1820 | 1 |9076 | 22 | 0.000000e+00 | -- | Inf | unknown
29.69/30.07 c 30.1s| 19200 | 18207 |167696 | 7.6 | 57M | 209 |1099 |4215 | 560 |1820 | 1 |9128 | 22 | 0.000000e+00 | -- | Inf | unknown
29.79/30.16 c 30.1s| 19300 | 18301 |168250 | 7.6 | 57M | 209 |1099 |4244 | 560 |1820 | 1 |9189 | 22 | 0.000000e+00 | -- | Inf | unknown
29.87/30.25 c 30.2s| 19400 | 18401 |168949 | 7.6 | 57M | 209 |1099 |4223 | 560 |1830 | 1 |9258 | 22 | 0.000000e+00 | -- | Inf | unknown
29.97/30.33 c 30.3s| 19500 | 18483 |169410 | 7.6 | 58M | 209 |1099 |4223 | 560 |1844 | 1 |9333 | 22 | 0.000000e+00 | -- | Inf | unknown
29.97/30.39 c 30.4s| 19600 | 18538 |169750 | 7.6 | 58M | 209 |1099 |4294 | 565 |1849 | 1 |9455 | 22 | 0.000000e+00 | -- | Inf | unknown
30.07/30.47 c 30.5s| 19700 | 18630 |170312 | 7.6 | 58M | 209 |1099 |4320 | 569 |1849 | 1 |9493 | 22 | 0.000000e+00 | -- | Inf | unknown
30.17/30.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.17/30.55 c 30.5s| 19800 | 18724 |170841 | 7.6 | 58M | 209 |1099 |4362 | 565 |1859 | 1 |9558 | 22 | 0.000000e+00 | -- | Inf | unknown
30.27/30.62 c 30.6s| 19900 | 18820 |171458 | 7.6 | 58M | 209 |1099 |4369 | 565 |1859 | 1 |9593 | 22 | 0.000000e+00 | -- | Inf | unknown
30.27/30.69 c 30.7s| 20000 | 18735 |171924 | 7.6 | 58M | 209 |1099 |4341 | 559 |1863 | 1 |9639 | 22 | 0.000000e+00 | -- | Inf | unknown
30.37/30.76 c 30.7s| 20100 | 18823 |172374 | 7.5 | 58M | 209 |1099 |4331 | 559 |1863 | 1 |9668 | 22 | 0.000000e+00 | -- | Inf | unknown
30.47/30.85 c 30.8s| 20200 | 18917 |172959 | 7.5 | 58M | 209 |1099 |4366 | 562 |1866 | 2 |9742 | 22 | 0.000000e+00 | -- | Inf | unknown
30.57/30.92 c 30.9s| 20300 | 18989 |173325 | 7.5 | 58M | 209 |1099 |4422 | 559 |1866 | 1 |9844 | 22 | 0.000000e+00 | -- | Inf | unknown
30.68/31.06 c 31.0s| 20400 | 19083 |174345 | 7.5 | 58M | 209 |1099 |4396 | 561 |1883 | 1 |9937 | 22 | 0.000000e+00 | -- | Inf | unknown
30.78/31.15 c 31.1s| 20500 | 19179 |174868 | 7.5 | 58M | 209 |1099 |4361 | 560 |1891 | 1 |9979 | 22 | 0.000000e+00 | -- | Inf | unknown
30.87/31.21 c 31.2s| 20600 | 19271 |175192 | 7.5 | 60M | 209 |1099 |4378 | 560 |1891 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
30.87/31.29 c 31.3s| 20700 | 19371 |175867 | 7.5 | 60M | 209 |1099 |4362 | 558 |1898 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
30.97/31.38 c 31.4s| 20800 | 19467 |176619 | 7.5 | 60M | 209 |1099 |4369 | 558 |1898 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
31.07/31.43 c 31.4s| 20900 | 19553 |177103 | 7.5 | 60M | 209 |1099 |4396 | 558 |1898 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
31.17/31.53 c 31.5s| 21000 | 19634 |178008 | 7.5 | 60M | 209 |1099 |4366 | 557 |1899 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
31.27/31.61 c 31.6s| 21100 | 19728 |178590 | 7.5 | 60M | 209 |1099 |4358 | 557 |1899 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
31.27/31.68 c 31.7s| 21200 | 19819 |179120 | 7.5 | 60M | 209 |1099 |4370 | 557 |1899 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
31.37/31.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.37/31.77 c 31.8s| 21300 | 19913 |179932 | 7.5 | 60M | 209 |1099 |4384 | 557 |1899 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
31.56/31.90 c 31.9s| 21400 | 20013 |180963 | 7.5 | 60M | 209 |1099 |4377 | 560 |1925 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
31.56/31.97 c 32.0s| 21500 | 20103 |181568 | 7.5 | 60M | 209 |1099 |4355 | 557 |1935 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
31.78/32.13 c 32.1s| 21600 | 20198 |182973 | 7.5 | 61M | 209 |1099 |4303 | 564 |1949 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
31.86/32.22 c 32.2s| 21700 | 20289 |183860 | 7.5 | 61M | 209 |1099 |4299 | 559 |1963 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
31.96/32.30 c 32.3s| 21800 | 20384 |184709 | 7.5 | 61M | 209 |1099 |4272 | 563 |1981 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
31.96/32.39 c 32.4s| 21900 | 20481 |185459 | 7.5 | 61M | 209 |1099 |4273 | 563 |1981 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
32.06/32.46 c 32.4s| 22000 | 20579 |186042 | 7.5 | 61M | 209 |1099 |4250 | 563 |1981 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
32.16/32.54 c 32.5s| 22100 | 20659 |186651 | 7.5 | 61M | 209 |1099 |4274 | 561 |1991 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
32.26/32.60 c 32.6s| 22200 | 20757 |187178 | 7.5 | 61M | 209 |1099 |4278 | 561 |1991 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
32.26/32.66 c 32.6s| 22300 | 20851 |187795 | 7.5 | 61M | 209 |1099 |4262 | 561 |1991 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
32.36/32.76 c 32.7s| 22400 | 20951 |188550 | 7.5 | 61M | 209 |1099 |4240 | 561 |1991 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
32.46/32.88 c 32.9s| 22500 | 21036 |189828 | 7.5 | 61M | 209 |1099 |4214 | 558 |2022 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
32.56/32.97 c 32.9s| 22600 | 21136 |190601 | 7.5 | 61M | 209 |1099 |4181 | 562 |2030 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
32.77/33.13 c 33.1s| 22700 | 21228 |192201 | 7.5 | 61M | 209 |1099 |4223 | 562 |2030 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
32.86/33.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.86/33.24 c 33.2s| 22800 | 21328 |192893 | 7.5 | 62M | 209 |1099 |4234 | 562 |2030 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
32.96/33.31 c 33.3s| 22900 | 21428 |193258 | 7.5 | 62M | 209 |1099 |4249 | 562 |2030 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
32.96/33.38 c 33.4s| 23000 | 21524 |193708 | 7.5 | 62M | 209 |1099 |4230 | 562 |2030 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.06/33.44 c 33.4s| 23100 | 21622 |194181 | 7.5 | 62M | 209 |1099 |4222 | 562 |2030 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.16/33.51 c 33.5s| 23200 | 21698 |194536 | 7.5 | 62M | 209 |1099 |4278 | 563 |2030 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.26/33.60 c 33.6s| 23300 | 21788 |195231 | 7.5 | 62M | 209 |1099 |4218 | 560 |2063 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.26/33.66 c 33.6s| 23400 | 21886 |195668 | 7.5 | 62M | 209 |1099 |4241 | 560 |2063 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.36/33.74 c 33.7s| 23500 | 21986 |196234 | 7.5 | 62M | 209 |1099 |4180 | 553 |2063 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.46/33.84 c 33.8s| 23600 | 22086 |197234 | 7.5 | 62M | 209 |1099 |4164 | 556 |2108 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.56/33.91 c 33.9s| 23700 | 22182 |197653 | 7.5 | 62M | 209 |1099 |4157 | 560 |2117 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.56/33.97 c 34.0s| 23800 | 22274 |198078 | 7.5 | 62M | 209 |1099 |4169 | 560 |2117 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.67/34.05 c 34.0s| 23900 | 22368 |198473 | 7.4 | 62M | 209 |1099 |4205 | 566 |2120 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.77/34.13 c 34.1s| 24000 | 22468 |198956 | 7.4 | 62M | 209 |1099 |4214 | 566 |2120 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.86/34.21 c 34.2s| 24100 | 22562 |199417 | 7.4 | 62M | 209 |1099 |4270 | 566 |2120 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.86/34.28 c 34.3s| 24200 | 22658 |199823 | 7.4 | 62M | 209 |1099 |4249 | 566 |2123 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
33.96/34.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
33.96/34.37 c 34.4s| 24300 | 22745 |200459 | 7.4 | 62M | 209 |1099 |4209 | 560 |2123 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
34.15/34.50 c 34.5s| 24400 | 22845 |201201 | 7.4 | 63M | 209 |1099 |4170 | 557 |2146 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
34.25/34.60 c 34.6s| 24500 | 22945 |202097 | 7.4 | 63M | 209 |1099 |4154 | 566 |2179 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
34.25/34.69 c 34.7s| 24600 | 23045 |202881 | 7.4 | 63M | 209 |1099 |4134 | 566 |2196 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
34.45/34.82 c 34.8s| 24700 | 23143 |203861 | 7.4 | 64M | 209 |1099 |4103 | 559 |2260 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
34.55/34.93 c 34.9s| 24800 | 23243 |204997 | 7.4 | 64M | 209 |1099 |4093 | 567 |2275 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
34.55/35.01 c 35.0s| 24900 | 23341 |205710 | 7.4 | 64M | 209 |1099 |4074 | 567 |2275 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
34.76/35.15 c 35.1s| 25000 | 23441 |207089 | 7.5 | 64M | 209 |1099 |4006 | 566 |2346 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
34.85/35.24 c 35.2s| 25100 | 23533 |207897 | 7.5 | 65M | 209 |1099 |3986 | 559 |2371 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
34.95/35.32 c 35.3s| 25200 | 23625 |208304 | 7.4 | 65M | 209 |1099 |4012 | 559 |2371 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
34.95/35.38 c 35.4s| 25300 | 23708 |208631 | 7.4 | 65M | 209 |1099 |4021 | 562 |2371 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
35.05/35.48 c 35.5s| 25400 | 23802 |209248 | 7.4 | 65M | 209 |1099 |4016 | 0 |2371 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.15/35.56 c 35.5s| 25500 | 23900 |209699 | 7.4 | 65M | 209 |1099 |3983 | 566 |2371 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.25/35.66 c 35.6s| 25600 | 23995 |210460 | 7.4 | 67M | 209 |1099 |3902 | 565 |2399 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.35/35.76 c 35.7s| 25700 | 24091 |211108 | 7.4 | 67M | 209 |1099 |3920 | 560 |2399 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.45/35.84 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.84 c 35.8s| 25800 | 24185 |211537 | 7.4 | 67M | 209 |1099 |3924 | 560 |2403 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.55/35.90 c 35.9s| 25900 | 24281 |211929 | 7.4 | 67M | 209 |1099 |3933 | 565 |2408 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.55/35.98 c 36.0s| 26000 | 24372 |212530 | 7.4 | 67M | 209 |1099 |3954 | 562 |2425 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.66/36.10 c 36.1s| 26100 | 24472 |213230 | 7.4 | 67M | 209 |1099 |3881 | 561 |2436 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.85/36.21 c 36.2s| 26200 | 24570 |213919 | 7.4 | 67M | 209 |1099 |3892 | 562 |2444 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
35.95/36.30 c 36.3s| 26300 | 24670 |214527 | 7.4 | 67M | 209 |1099 |3868 | 562 |2452 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.05/36.40 c 36.4s| 26400 | 24767 |215189 | 7.4 | 67M | 209 |1099 |3857 | 560 |2462 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.05/36.47 c 36.5s| 26500 | 24867 |215589 | 7.4 | 67M | 209 |1099 |3874 | 560 |2471 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.15/36.55 c 36.5s| 26600 | 24961 |216113 | 7.4 | 67M | 209 |1099 |3823 | 559 |2471 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.25/36.62 c 36.6s| 26700 | 25044 |216611 | 7.4 | 67M | 209 |1099 |3810 | 559 |2473 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.25/36.68 c 36.7s| 26800 | 25144 |217171 | 7.3 | 67M | 209 |1099 |3807 | 559 |2475 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.34/36.79 c 36.8s| 26900 | 25236 |218022 | 7.3 | 69M | 209 |1099 |3807 | 560 |2475 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.44/36.89 c 36.9s| 27000 | 25336 |218665 | 7.3 | 69M | 209 |1099 |3776 | 562 |2484 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.65/37.05 c 37.0s| 27100 | 25436 |219435 | 7.3 | 69M | 209 |1099 |3721 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.75/37.13 c 37.1s| 27200 | 25536 |219948 | 7.3 | 69M | 209 |1099 |3726 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.84/37.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.84/37.21 c 37.2s| 27300 | 25634 |220633 | 7.3 | 69M | 209 |1099 |3713 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.84/37.27 c 37.3s| 27400 | 25724 |221155 | 7.3 | 69M | 209 |1099 |3718 | 0 |2513 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.94/37.33 c 37.3s| 27500 | 25806 |221549 | 7.3 | 69M | 209 |1099 |3688 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
36.94/37.40 c 37.4s| 27600 | 25889 |222060 | 7.3 | 70M | 209 |1099 |3693 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
37.04/37.47 c 37.5s| 27700 | 25981 |222544 | 7.3 | 70M | 209 |1099 |3674 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
37.14/37.56 c 37.5s| 27800 | 26081 |223074 | 7.3 | 70M | 209 |1099 |3647 | 561 |2513 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
37.24/37.63 c 37.6s| 27900 | 26163 |223519 | 7.3 | 70M | 209 |1099 |3648 | 0 |2518 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
37.34/37.72 c 37.7s| 28000 | 26257 |224293 | 7.3 | 70M | 209 |1099 |3555 | 560 |2531 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
37.44/37.86 c 37.8s| 28100 | 26351 |225409 | 7.3 | 70M | 209 |1099 |3504 | 557 |2553 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
37.54/37.93 c 37.9s| 28200 | 26444 |226079 | 7.3 | 70M | 209 |1099 |3506 | 562 |2560 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
37.54/37.99 c 38.0s| 28300 | 26516 |226528 | 7.3 | 70M | 209 |1099 |3530 | 562 |2560 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
37.65/38.08 c 38.1s| 28400 | 26586 |227116 | 7.3 | 70M | 209 |1099 |3523 | 562 |2566 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
37.84/38.21 c 38.2s| 28500 | 26686 |227946 | 7.3 | 70M | 209 |1099 |3458 | 559 |2584 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
37.84/38.29 c 38.3s| 28600 | 26782 |228906 | 7.3 | 70M | 209 |1099 |3466 | 560 |2586 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
37.94/38.38 c 38.4s| 28700 | 26865 |229581 | 7.3 | 70M | 209 |1099 |3427 | 562 |2591 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
38.04/38.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.04/38.49 c 38.5s| 28800 | 26953 |230277 | 7.3 | 70M | 209 |1099 |3431 | 0 |2592 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
38.14/38.59 c 38.6s| 28900 | 27038 |230808 | 7.3 | 70M | 209 |1099 |3373 | 560 |2592 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
38.24/38.65 c 38.6s| 29000 | 27126 |231066 | 7.3 | 70M | 209 |1099 |3367 | 560 |2592 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
38.34/38.72 c 38.7s| 29100 | 27212 |231621 | 7.3 | 71M | 209 |1099 |3371 | 565 |2592 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
38.44/38.82 c 38.8s| 29200 | 27298 |232250 | 7.3 | 71M | 209 |1099 |3349 | 559 |2599 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
38.54/38.92 c 38.9s| 29300 | 27383 |233506 | 7.3 | 71M | 209 |1099 |3356 | 563 |2614 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
38.66/39.01 c 39.0s| 29400 | 27476 |234219 | 7.3 | 71M | 209 |1099 |3353 | 562 |2615 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
38.76/39.13 c 39.1s| 29500 | 27572 |235528 | 7.3 | 71M | 209 |1099 |3309 | 561 |2652 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
38.84/39.25 c 39.2s| 29600 | 27672 |236576 | 7.3 | 72M | 209 |1099 |3291 | 560 |2678 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
38.94/39.32 c 39.3s| 29700 | 27772 |237154 | 7.3 | 72M | 209 |1099 |3275 | 560 |2678 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
39.04/39.40 c 39.4s| 29800 | 27858 |237638 | 7.3 | 72M | 209 |1099 |3284 | 560 |2678 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
39.04/39.46 c 39.4s| 29900 | 27946 |237995 | 7.3 | 72M | 209 |1099 |3274 | 560 |2678 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
39.14/39.52 c 39.5s| 30000 | 28028 |238325 | 7.3 | 72M | 209 |1099 |3322 | 560 |2678 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
39.14/39.58 c 39.6s| 30100 | 28122 |238683 | 7.3 | 72M | 209 |1099 |3331 | 560 |2685 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
39.34/39.71 c
39.34/39.71 c SCIP Status : problem is solved [infeasible]
39.34/39.71 c Solving Time (sec) : 39.69
39.34/39.71 c Solving Nodes : 30113 (total of 32638 nodes in 2 runs)
39.34/39.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
39.34/39.71 c Dual Bound : +1.00000000000000e+20
39.34/39.71 c Gap : 0.00 %
39.34/39.71 s UNSATISFIABLE
39.34/39.71 c SCIP Status : problem is solved [infeasible]
39.34/39.71 c Total Time : 39.69
39.34/39.71 c solving : 39.69
39.34/39.71 c presolving : 0.18 (included in solving)
39.34/39.71 c reading : 0.01 (included in solving)
39.34/39.71 c copying : 1.01 (108 #copies) (minimal 0.00, maximal 0.01, average 0.01)
39.34/39.71 c Original Problem :
39.34/39.71 c Problem name : HOME/instance-4513448-1751224187.opb
39.34/39.71 c Variables : 1101 (1101 binary, 0 integer, 0 implicit integer, 0 continuous)
39.34/39.71 c Constraints : 551 initial, 551 maximal
39.34/39.71 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
39.34/39.71 c Presolved Problem :
39.34/39.71 c Problem name : t_HOME/instance-4513448-1751224187.opb
39.34/39.71 c Variables : 1099 (1099 binary, 0 integer, 0 implicit integer, 0 continuous)
39.34/39.71 c Constraints : 2047 initial, 5057 maximal
39.34/39.71 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
39.34/39.71 c Nonzeros : 41294 constraint, 8 clique table
39.34/39.71 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
39.34/39.71 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
39.34/39.71 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
39.34/39.71 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
39.34/39.71 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
39.34/39.71 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
39.34/39.71 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
39.34/39.71 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c trivial : 0.00 0.00 7 1 0 0 0 0 0 0 0 0
39.34/39.71 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
39.34/39.71 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
39.34/39.71 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
39.34/39.71 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
39.34/39.71 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
39.34/39.71 c knapsack : 0.00 0.00 11 0 0 0 0 0 1 1 0 0
39.34/39.71 c setppc : 0.00 0.00 11 0 0 0 0 0 1 0 1 0
39.34/39.71 c linear : 0.01 0.00 11 0 1 0 0 0 2 0 0 0
39.34/39.71 c logicor : 0.13 0.00 10 0 0 0 0 0 51 0 0 45
39.34/39.71 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
39.34/39.71 c root node : - - - 1 - - 1 - - - - -
39.34/39.71 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
39.34/39.71 c benderslp : 0 0 0 0 31746 0 0 2303 0 0 0 0 0 0 0
39.34/39.71 c integral : 0 0 0 0 31746 0 0 2303 0 0 0 0 0 0 63492
39.34/39.71 c knapsack : 75+ 93 11 180894 0 0 0 0 6721 330 7798 0 0 0 0
39.34/39.71 c setppc : 2 2 11 140484 0 0 0 2077 439 2 677 0 0 0 0
39.34/39.71 c linear : 573+ 743 34 181867 0 0 0 2284 60329 2163 36974 0 0 0 0
39.34/39.71 c logicor : 1397+ 4334 32 75280 0 0 0 0 1765 96 915 0 0 0 0
39.34/39.71 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
39.34/39.71 c benderslp : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
39.34/39.71 c integral : 0.56 0.00 0.00 0.00 0.55 0.00 0.00 0.00 0.00 0.00
39.34/39.71 c knapsack : 0.19 0.00 0.00 0.18 0.00 0.00 0.00 0.00 0.01 0.00
39.34/39.71 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
39.34/39.71 c linear : 0.71 0.00 0.00 0.64 0.00 0.00 0.00 0.04 0.03 0.00
39.34/39.71 c logicor : 0.44 0.00 0.00 0.43 0.00 0.00 0.00 0.00 0.00 0.00
39.34/39.71 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
39.34/39.71 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
39.34/39.71 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
39.34/39.71 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
39.34/39.71 c Propagators : #Propagate #ResProp Cutoffs DomReds
39.34/39.71 c dualfix : 2 0 0 0
39.34/39.71 c genvbounds : 0 0 0 0
39.34/39.71 c nlobbt : 0 0 0 0
39.34/39.71 c obbt : 0 0 0 0
39.34/39.71 c probing : 0 0 0 0
39.34/39.71 c pseudoobj : 0 0 0 0
39.34/39.71 c redcost : 0 0 0 0
39.34/39.71 c rootredcost : 0 0 0 0
39.34/39.71 c symmetry : 24135 0 1 6
39.34/39.71 c vbounds : 3882 0 0 0
39.34/39.71 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
39.34/39.71 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
39.34/39.71 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
39.34/39.71 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
39.34/39.71 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
39.34/39.71 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
39.34/39.71 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
39.34/39.71 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
39.34/39.71 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
39.34/39.71 c symmetry : 0.67 0.00 0.01 0.67 0.00 0.00
39.34/39.71 c vbounds : 0.03 0.00 0.00 0.03 0.00 0.00
39.34/39.71 c Symmetry :
39.34/39.71 c orbitopal red. : 0 reductions applied, 0 cutoffs
39.34/39.71 c orbital reduction: 1 reductions applied, 1 cutoffs
39.34/39.71 c lexicographic red: 31 reductions applied, 0 cutoffs
39.34/39.71 c shadow tree time : 0.05 s
39.34/39.71 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
39.34/39.71 c propagation : 0.06 1662 1660 - 8917 36.4 188 13.2 - - -
39.34/39.71 c infeasible LP : 0.23 1186 1186 - 6651 38.9 117 13.1 1186 42.5 0
39.34/39.71 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
39.34/39.71 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
39.34/39.71 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
39.34/39.71 c applied globally : 0.01 - - 0 12419 30.8 - - 1185 - -
39.34/39.71 c applied locally : - - - 0 0 0.0 - - 0 - -
39.34/39.71 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
39.34/39.71 c cut pool : 0.23 - 4415 61 - - 7834 58264 - - - - - (maximal pool size: 1536)
39.34/39.71 c aggregation : 0.10 0.00 392 32 0 0 8 66 0 1 1 0 0
39.34/39.71 c > cmir : - - - - - - - 43 0 1 1 0 -
39.34/39.71 c > flowcover : - - - - - - - 23 0 0 0 0 -
39.34/39.71 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
39.34/39.71 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c clique : 0.00 0.00 12 12 0 0 0 0 0 0 0 0 0
39.34/39.71 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c gomory : 0.63 0.00 380 20 0 0 8386 57835 786 2792 2740 52 0
39.34/39.71 c > gomorymi : - - - - - - - 6057 393 189 166 23 -
39.34/39.71 c > strongcg : - - - - - - - 51778 393 2603 2574 29 -
39.34/39.71 c impliedbounds : 0.00 0.00 392 32 0 0 0 0 0 0 0 0 0
39.34/39.71 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
39.34/39.71 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c multilinear : 0.00 0.00 324 32 0 0 0 0 0 0 0 0 0
39.34/39.71 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
39.34/39.71 c rapidlearning : 6.31 0.00 100 2 0 1074 0 0 0 0 0 0 970
39.34/39.71 c rlt : 0.00 0.00 192 20 0 0 0 0 0 0 0 0 0
39.34/39.71 c zerohalf : 0.15 0.00 391 31 0 0 476 363 250 407 219 188 0
39.34/39.71 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
39.34/39.71 c hybrid : 0.03 0.00 1296 31 3200 0 56100 136 0 1913
39.34/39.71 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c Pricers : ExecTime SetupTime Calls Vars
39.34/39.71 c problem variables: 0.00 - 0 0
39.34/39.71 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
39.34/39.71 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c random : 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c relpscost : 0.54 0.00 31746 0 0 0 0 0 0 63492
39.34/39.71 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
39.34/39.71 c Primal Heuristics : ExecTime SetupTime Calls Found Best
39.34/39.71 c LP solutions : 0.00 - - 0 0
39.34/39.71 c relax solutions : 0.00 - - 0 0
39.34/39.71 c pseudo solutions : 0.00 - - 0 0
39.34/39.71 c strong branching : 0.00 - - 0 0
39.34/39.71 c actconsdiving : 0.00 0.00 0 0 0
39.34/39.71 c adaptivediving : 0.44 0.00 17 0 0
39.34/39.71 c alns : 0.34 0.00 6 0 0
39.34/39.71 c bound : 0.00 0.00 0 0 0
39.34/39.71 c clique : 0.00 0.00 1 0 0
39.34/39.71 c coefdiving : 0.00 0.00 0 0 0
39.34/39.71 c completesol : 0.00 0.00 0 0 0
39.34/39.71 c conflictdiving : 3.05 0.00 425 0 0
39.34/39.71 c crossover : 0.00 0.00 0 0 0
39.34/39.71 c dins : 0.00 0.00 0 0 0
39.34/39.71 c distributiondivin: 1.39 0.00 78 0 0
39.34/39.71 c dps : 0.00 0.00 0 0 0
39.34/39.71 c dualval : 0.00 0.00 0 0 0
39.34/39.71 c farkasdiving : 0.00 0.00 0 0 0
39.34/39.71 c feasjump : 0.08 0.00 2 0 0
39.34/39.71 c feaspump : 0.38 0.00 34 0 0
39.34/39.71 c fixandinfer : 0.00 0.00 0 0 0
39.34/39.71 c fracdiving : 1.35 0.00 179 0 0
39.34/39.71 c gins : 0.00 0.00 0 0 0
39.34/39.71 c guideddiving : 0.00 0.00 0 0 0
39.34/39.71 c indcoefdiving : 0.00 0.00 0 0 0
39.34/39.71 c indicator : 0.00 0.00 0 0 0
39.34/39.71 c indicatordiving : 0.00 0.00 0 0 0
39.34/39.71 c indoneopt : 0.01 0.00 0 0 0
39.34/39.71 c indrounding : 0.00 0.00 0 0 0
39.34/39.71 c indtwoopt : 0.00 0.00 0 0 0
39.34/39.71 c intdiving : 0.00 0.00 0 0 0
39.34/39.71 c intshifting : 0.00 0.00 0 0 0
39.34/39.71 c linesearchdiving : 1.21 0.00 70 0 0
39.34/39.71 c localbranching : 0.00 0.00 0 0 0
39.34/39.71 c locks : 0.01 0.00 1 0 0
39.34/39.71 c lpface : 0.03 0.00 0 0 0
39.34/39.71 c mpec : 0.00 0.00 0 0 0
39.34/39.71 c multistart : 0.00 0.00 0 0 0
39.34/39.71 c mutation : 0.00 0.00 0 0 0
39.34/39.71 c nlpdiving : 0.00 0.00 0 0 0
39.34/39.71 c objpscostdiving : 0.46 0.00 10 0 0
39.34/39.71 c octane : 0.00 0.00 0 0 0
39.34/39.71 c ofins : 0.00 0.00 0 0 0
39.34/39.71 c oneopt : 0.01 0.00 0 0 0
39.34/39.71 c padm : 0.00 0.00 0 0 0
39.34/39.71 c proximity : 0.00 0.00 0 0 0
39.34/39.71 c pscostdiving : 1.29 0.00 55 0 0
39.34/39.71 c randrounding : 0.12 0.00 2303 0 0
39.34/39.71 c rens : 0.03 0.00 2 0 0
39.34/39.71 c reoptsols : 0.00 0.00 0 0 0
39.34/39.71 c repair : 0.00 0.00 0 0 0
39.34/39.71 c rins : 0.00 0.00 0 0 0
39.34/39.71 c rootsoldiving : 0.27 0.00 9 0 0
39.34/39.71 c rounding : 0.04 0.00 2536 0 0
39.34/39.71 c scheduler : 0.00 0.00 0 0 0
39.34/39.71 c shiftandpropagate: 0.01 0.00 2 0 0
39.34/39.71 c shifting : 0.05 0.00 912 0 0
39.34/39.71 c simplerounding : 0.01 0.00 0 0 0
39.34/39.71 c smallcard : 0.00 0.00 0 0 0
39.34/39.71 c subnlp : 0.01 0.00 0 0 0
39.34/39.71 c trivial : 0.00 0.00 4 0 0
39.34/39.71 c trivialnegation : 0.00 0.00 0 0 0
39.34/39.71 c trustregion : 0.00 0.00 0 0 0
39.34/39.71 c trysol : 0.00 0.00 0 0 0
39.34/39.71 c twoopt : 0.00 0.00 0 0 0
39.34/39.71 c undercover : 0.00 0.00 0 0 0
39.34/39.71 c vbounds : 0.00 0.00 0 0 0
39.34/39.71 c veclendiving : 1.24 0.00 156 0 0
39.34/39.71 c zeroobj : 0.00 0.00 0 0 0
39.34/39.71 c zirounding : 0.01 0.00 1000 0 0
39.34/39.71 c other solutions : - - - 0 -
39.34/39.71 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
39.34/39.71 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
39.34/39.71 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
39.34/39.71 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
39.34/39.71 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
39.34/39.71 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
39.34/39.71 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
39.34/39.71 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
39.34/39.71 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
39.34/39.71 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
39.34/39.71 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
39.34/39.71 c primal LP : 0.12 358 0 0.00 0.00 0.12 358
39.34/39.71 c dual LP : 12.86 33593 150697 4.50 11719.16 0.03 102
39.34/39.71 c lex dual LP : 0.00 0 0 0.00 -
39.34/39.71 c barrier LP : 0.00 0 0 0.00 - 0.00 0
39.34/39.71 c resolve instable : 0.00 0 0 0.00 -
39.34/39.71 c diving/probing LP: 6.39 12475 88048 7.06 13770.82
39.34/39.71 c strong branching : 0.03 22 103 4.68 3811.43 - - 0
39.34/39.71 c (at root node) : - 22 103 4.68 -
39.34/39.71 c conflict analysis: 0.00 0 0 0.00 -
39.34/39.71 c B&B Tree :
39.34/39.71 c number of runs : 2
39.34/39.71 c nodes : 30113 (29270 internal, 843 leaves)
39.34/39.71 c feasible leaves : 0
39.34/39.71 c infeas. leaves : 843
39.34/39.71 c objective leaves : 0
39.34/39.71 c nodes (total) : 32638 (31746 internal, 892 leaves)
39.34/39.71 c nodes left : 0
39.34/39.71 c max depth : 209
39.34/39.71 c max depth (total): 209
39.34/39.71 c backtracks : 1422 (4.7%)
39.34/39.71 c early backtracks : 0 (0.0%)
39.34/39.71 c nodes exc. ref. : 0 (0.0%)
39.34/39.71 c delayed cutoffs : 28428
39.34/39.71 c repropagations : 4453 (4566 domain reductions, 95 cutoffs)
39.34/39.71 c avg switch length: 3.74
39.34/39.71 c switching time : 1.49
39.34/39.71 c Root Node :
39.34/39.71 c First LP value : +0.00000000000000e+00
39.34/39.71 c First LP Iters : 600 (61855.67 Iter/sec)
39.34/39.71 c First LP Time : 0.01
39.34/39.71 c Final Dual Bound : -
39.34/39.71 c Final Root Iters : 1813
39.34/39.71 c Root LP Estimate : +9.07119047619048e-04
39.34/39.71 c Solution :
39.34/39.71 c Solutions found : 0 (0 improvements)
39.34/39.71 c Primal Bound : infeasible
39.34/39.71 c Dual Bound : -
39.34/39.71 c Gap : 0.00 %
39.34/39.71 c Integrals : Total Avg%
39.34/39.71 c primal-dual : - - (problem infeasible)
39.34/39.71 c primal-ref : - - (problem infeasible)
39.34/39.71 c dual-ref : - - (problem infeasible)
39.34/39.72 c Time complete: 39.3664.
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: 63794 MiB (60925 MiB free)
memory of node 1: 64507 MiB (61347 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513448-1751224187/watcher-4513448-1751224187 -o /tmp/evaluation-result-4513448-1751224187/solver-4513448-1751224187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751220587-28487 --watchdog 3760 pbscip -f HOME/instance-4513448-1751224187.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28819, runsolver pid=28812
[startup+0.100078 s]*
/proc/loadavg: 4.08 4.10 4.09 5/250 28820
/proc/meminfo: memFree=125196264/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=55184 memory=27776 CPUtime=0.09 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 3377 0 0 0 8 1 0 0 20 0 1 0 38098414 56508416 6944 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 13796 6944 3936 3530 0 5247 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55184 KiB
Current children cumulated memory: 27776 KiB
[startup+0.217225 s]*
/proc/loadavg: 4.08 4.10 4.09 5/250 28820
/proc/meminfo: memFree=125182404/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=64312 memory=35328 CPUtime=0.18 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 5271 0 0 0 17 1 0 0 20 0 1 0 38098414 65855488 8832 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 16078 8832 3936 3530 0 7529 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 64312 KiB
Current children cumulated memory: 35328 KiB
[startup+0.31323 s]*
/proc/loadavg: 4.08 4.10 4.09 5/250 28820
/proc/meminfo: memFree=125182404/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=62688 memory=34044 CPUtime=0.26 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 5370 0 0 0 25 1 0 0 20 0 1 0 38098414 64192512 8511 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 15672 8511 3968 3530 0 7123 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 62688 KiB
Current children cumulated memory: 34044 KiB
[startup+0.70025 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 28820
/proc/meminfo: memFree=125178624/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=69816 memory=41404 CPUtime=0.62 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 7445 0 0 0 60 2 0 0 20 0 1 0 38098414 71491584 10351 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 17454 10351 3968 3530 0 8905 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 69816 KiB
Current children cumulated memory: 41404 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 28820
/proc/meminfo: memFree=125172084/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=71760 memory=44220 CPUtime=1.4 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 8173 0 0 0 138 2 0 0 20 0 1 0 38098414 73482240 11055 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 17940 11055 3968 3530 0 9391 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 71760 KiB
Current children cumulated memory: 44220 KiB
[startup+3.11339 s]
/proc/loadavg: 4.07 4.10 4.09 5/246 28860
/proc/meminfo: memFree=130030900/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=71760 memory=44220 CPUtime=2.98 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 8181 0 0 0 296 2 0 0 20 0 1 0 38098414 73482240 11055 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 17940 11055 3968 3530 0 9391 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 71760 KiB
Current children cumulated memory: 44220 KiB
[startup+6.30031 s]
/proc/loadavg: 4.07 4.10 4.09 4/246 28963
/proc/meminfo: memFree=130036800/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=83576 memory=56124 CPUtime=6.13 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 11184 0 0 0 608 5 0 0 20 0 1 0 38098414 85581824 14031 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 20894 14031 3968 3530 0 12345 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 83576 KiB
Current children cumulated memory: 56124 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.09 5/246 29143
/proc/meminfo: memFree=129979652/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=98608 memory=71408 CPUtime=12.46 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 15407 0 0 0 1234 12 0 0 20 0 1 0 38098414 100974592 17852 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 24652 17852 3968 3530 0 16103 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 98608 KiB
Current children cumulated memory: 71408 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 29225
/proc/meminfo: memFree=129844240/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=105116 memory=78116 CPUtime=25.19 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 19712 0 0 0 2505 14 0 0 20 0 1 0 38098414 107638784 19529 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 26279 19529 3968 3530 0 17730 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 105116 KiB
Current children cumulated memory: 78116 KiB
[startup+39.732 s]
# the end of solver process 28819 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=39.2232 s, system=0.154162 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 29225
/proc/meminfo: memFree=129844240/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=105116 memory=78116 CPUtime=25.29 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 19713 0 0 0 2515 14 0 0 20 0 1 0 38098414 107638784 19529 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 26279 19529 3968 3530 0 17730 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 105116 KiB
Current children cumulated memory: 78116 KiB
[startup+32.0003 s]*
/proc/loadavg: 4.11 4.10 4.09 5/250 29225
/proc/meminfo: memFree=129820488/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=109988 memory=82980 CPUtime=31.68 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 20955 0 0 0 3154 14 0 0 20 0 1 0 38098414 112627712 20745 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 27497 20745 3968 3530 0 18948 0
Current children cumulated CPU time: 31.68 s
Current children cumulated vsize: 109988 KiB
Current children cumulated memory: 82980 KiB
[startup+35.2003 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 29225
/proc/meminfo: memFree=129820488/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=111820 memory=84900 CPUtime=34.85 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 21433 0 0 0 3471 14 0 0 20 0 1 0 38098414 114503680 21225 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 27955 21225 3968 3530 0 19406 0
Current children cumulated CPU time: 34.85 s
Current children cumulated vsize: 111820 KiB
Current children cumulated memory: 84900 KiB
[startup+36.8003 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 29225
/proc/meminfo: memFree=129816456/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=114448 memory=87588 CPUtime=36.44 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 22098 0 0 0 3630 14 0 0 20 0 1 0 38098414 117194752 21897 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 28612 21897 3968 3530 0 20063 0
Current children cumulated CPU time: 36.44 s
Current children cumulated vsize: 114448 KiB
Current children cumulated memory: 87588 KiB
[startup+38.4003 s]
/proc/loadavg: 4.18 4.12 4.10 5/250 29225
/proc/meminfo: memFree=129792008/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=123896 memory=95908 CPUtime=38.04 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 24176 0 0 0 3790 14 0 0 20 0 1 0 38098414 126869504 23977 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 30974 23977 3968 3530 0 22425 0
Current children cumulated CPU time: 38.04 s
Current children cumulated vsize: 123896 KiB
Current children cumulated memory: 95908 KiB
[startup+39.2003 s]
/proc/loadavg: 4.18 4.12 4.10 5/250 29225
/proc/meminfo: memFree=129779912/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=123896 memory=97060 CPUtime=38.84 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 24470 0 0 0 3869 15 0 0 20 0 1 0 38098414 126869504 24265 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 30974 24265 3968 3530 0 22425 0
Current children cumulated CPU time: 38.84 s
Current children cumulated vsize: 123896 KiB
Current children cumulated memory: 97060 KiB
[startup+39.6003 s]
/proc/loadavg: 4.18 4.12 4.10 5/250 29225
/proc/meminfo: memFree=129779912/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=123896 memory=97060 CPUtime=39.24 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 24473 0 0 0 3909 15 0 0 20 0 1 0 38098414 126869504 24265 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 30974 24265 3968 3530 0 22425 0
Current children cumulated CPU time: 39.24 s
Current children cumulated vsize: 123896 KiB
Current children cumulated memory: 97060 KiB
[startup+39.7003 s]
/proc/loadavg: 4.18 4.12 4.10 5/250 29225
/proc/meminfo: memFree=129779912/131382112 swapFree=33010684/33010684
[pid=28819] ppid=28812 vsize=123896 memory=97060 CPUtime=39.34 cores=5,7
/proc/28819/stat : 28819 (pbscip) R 28812 28819 28474 0 -1 4194304 24473 0 0 0 3919 15 0 0 20 0 1 0 38098414 126869504 24265 18446744073709551615 4235264 18693293 140722891379328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45027328 140722891381129 140722891381228 140722891381228 140722891386830 0
/proc/28819/statm: 30974 24265 3968 3530 0 22425 0
Current children cumulated CPU time: 39.34 s
Current children cumulated vsize: 123896 KiB
Current children cumulated memory: 97060 KiB
Child status: 0
Real time (s): 39.7321
CPU time (s): 39.3773
CPU user time (s): 39.2232
CPU system time (s): 0.154162
CPU usage (%): 99.1071
Max. virtual memory (cumulated for all children) (KiB): 123896
Max. memory (cumulated for all children) (KiB): 97060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.2232
system time used= 0.154162
maximum resident set size= 97060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80
involuntary context switches= 96
# summary of solver processes directly reported to runsolver:
# pid: 28819
# total CPU time (s): 39.3773
# total CPU user time (s): 39.2232
# total CPU system time (s): 0.154162
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.212815 second user time and 0.47037 second system time
The end