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-4451525-1721428839.opb>
0.00/0.01 c original problem has 2196 variables (2196 bin, 0 int, 0 impl, 0 cont) and 4698 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.02 c presolving:
0.00/0.03 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver found nothing
0.00/0.04 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4698 upgd conss, 0 impls, 4698 clqs
0.00/0.07 c (0.1s) probing: 51/2196 (2.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.07 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.08 c (0.1s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.00/0.08 c dynamic symmetry handling statistics:
0.00/0.08 c orbitopal reduction: no components
0.00/0.08 c orbital reduction: no components
0.00/0.08 c lexicographic reduction: no permutations
0.00/0.08 c handled 1 out of 1 symmetry components
0.00/0.08 c (round 2, exhaustive) 10 del vars, 0 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4698 upgd conss, 0 impls, 4661 clqs
0.00/0.08 c (round 3, fast) 24 del vars, 44 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4698 upgd conss, 0 impls, 4654 clqs
0.00/0.09 c (0.1s) probing: 56/2196 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.09 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.09 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
0.00/0.09 c 24 deleted vars, 44 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.09 c 0 implications, 4654 cliques
0.00/0.09 c presolved problem has 2179 variables (2179 bin, 0 int, 0 impl, 0 cont) and 4655 constraints
0.00/0.09 c 4654 constraints of type <setppc>
0.00/0.09 c 1 constraints of type <orbitope>
0.00/0.09 c transformed objective value is always integral (scale: 1)
0.00/0.09 c Presolving Time: 0.07
0.00/0.09 c - non default parameters ----------------------------------------------------------------------
0.00/0.09 c # SCIP version 10.0.0
0.00/0.09 c
0.00/0.09 c # maximal time in seconds to run
0.00/0.09 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.09 c limits/time = 3596.998025
0.00/0.09 c
0.00/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.09 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.09 c limits/memory = 27900
0.00/0.09 c
0.00/0.09 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.09 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.09 c limits/solutions = 1
0.00/0.09 c
0.00/0.09 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.09 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.09 c misc/usesymmetry = 3
0.00/0.09 c
0.00/0.09 c # belongs reading time to solving time?
0.00/0.09 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c timing/reading = TRUE
0.00/0.09 c
0.00/0.09 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.09 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.09 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.09 c
0.00/0.09 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.09 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.09 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.09 c
0.00/0.09 c # Type of symmetries that shall be computed?
0.00/0.09 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.09 c propagating/symmetry/symtype = 1
0.00/0.09 c
0.00/0.09 c # Should components consisting of a single full reflection be handled?
0.00/0.09 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.09 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.09 c
0.00/0.09 c -----------------------------------------------------------------------------------------------
0.00/0.09 c start solving
0.00/0.09 c
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.2s| 1 | 0 | 1818 | - | 27M | 0 |2179 |4675 |4654 | 0 | 0 | 19 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.62 c 0.6s| 1 | 0 | 5481 | - | 30M | 0 |2179 |4743 |4793 | 139 | 1 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.73 c 0.7s| 1 | 0 | 5842 | - | 30M | 0 |2179 |4744 |4850 | 196 | 2 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.83 c 0.8s| 1 | 0 | 6085 | - | 31M | 0 |2179 |4745 |4880 | 226 | 3 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.91 c 0.9s| 1 | 0 | 6221 | - | 33M | 0 |2179 |4746 |4917 | 263 | 4 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.04 c 1.0s| 1 | 0 | 6377 | - | 35M | 0 |2179 |4747 |4933 | 279 | 5 | 24 | 0 | 0.000000e+00 | -- | Inf | unknown
1.09/1.15 c 1.1s| 1 | 0 | 6494 | - | 37M | 0 |2179 |4748 |4950 | 296 | 6 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
1.18/1.21 c 1.2s| 1 | 0 | 6576 | - | 39M | 0 |2179 |4749 |4971 | 317 | 7 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
1.18/1.28 c 1.3s| 1 | 0 | 6632 | - | 42M | 0 |2179 |4750 |4984 | 330 | 8 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
1.28/1.34 c 1.3s| 1 | 0 | 6720 | - | 43M | 0 |2179 |4751 |4997 | 343 | 9 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
1.38/1.49 c 1.5s| 1 | 0 | 6933 | - | 48M | 0 |2179 |4752 |5011 | 357 | 10 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
1.48/1.53 c 1.5s| 1 | 0 | 7021 | - | 49M | 0 |2179 |4753 |5026 | 372 | 11 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
1.87/1.96 c 2.0s| 1 | 2 | 7451 | - | 49M | 0 |2179 |4757 |5026 | 372 | 11 | 34 | 13 | 0.000000e+00 | -- | Inf | unknown
3.57/3.64 c 3.6s| 100 | 81 | 21432 | 145.6 | 54M | 47 |2179 |4867 |4916 | 610 | 1 | 144 | 13 | 0.000000e+00 | -- | Inf | unknown
4.56/4.62 c 4.6s| 200 | 84 | 28835 | 109.6 | 59M | 48 |2179 |5028 |4907 |1043 | 1 | 346 | 13 | 0.000000e+00 | -- | Inf | unknown
5.36/5.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.36/5.49 c 5.5s| 300 | 89 | 35670 | 95.8 | 62M | 48 |2179 |5144 |4918 |1592 | 1 | 525 | 13 | 0.000000e+00 | -- | Inf | unknown
5.96/6.08 c 6.1s| 400 | 106 | 38621 | 79.2 | 64M | 48 |2179 |5218 | 0 |1819 | 0 | 606 | 13 | 0.000000e+00 | -- | Inf | unknown
6.56/6.61 c 6.6s| 500 | 92 | 40354 | 66.8 | 64M | 48 |2179 |5350 |4895 |1935 | 1 | 747 | 13 | 0.000000e+00 | -- | Inf | unknown
7.06/7.16 c 7.2s| 600 | 99 | 42326 | 58.9 | 64M | 48 |2179 |5487 |4906 |2076 | 1 | 899 | 13 | 0.000000e+00 | -- | Inf | unknown
7.26/7.38 c 7.4s| 700 | 100 | 43510 | 52.2 | 65M | 48 |2179 |5556 | 0 |2183 | 0 |1017 | 13 | 0.000000e+00 | -- | Inf | unknown
7.85/7.95 c 7.9s| 800 | 99 | 45537 | 48.2 | 66M | 48 |2179 |5660 | 0 |2309 | 0 |1179 | 13 | 0.000000e+00 | -- | Inf | unknown
9.44/9.52 c 9.5s| 900 | 86 | 49795 | 47.6 | 66M | 48 |2179 |5728 |4857 |2664 | 1 |1346 | 13 | 0.000000e+00 | -- | Inf | unknown
10.34/10.46 c 10.5s| 1000 | 85 | 52571 | 45.6 | 66M | 48 |2179 |5746 | 0 |2877 | 0 |1513 | 13 | 0.000000e+00 | -- | Inf | unknown
11.94/12.08 c 12.1s| 1100 | 96 | 58008 | 46.4 | 66M | 48 |2179 |5742 |4900 |3135 | 1 |1607 | 13 | 0.000000e+00 | -- | Inf | unknown
13.52/13.68 c 13.7s| 1200 | 99 | 60837 | 44.9 | 66M | 48 |2179 |5774 |4891 |3429 | 1 |1663 | 13 | 0.000000e+00 | -- | Inf | unknown
13.82/13.91 c 13.9s| 1300 | 87 | 62638 | 42.8 | 66M | 48 |2179 |5894 | 0 |3522 | 0 |1849 | 13 | 0.000000e+00 | -- | Inf | unknown
14.03/14.12 c 14.1s| 1400 | 89 | 63545 | 40.4 | 66M | 48 |2179 |5941 |4866 |3563 | 1 |1924 | 13 | 0.000000e+00 | -- | Inf | unknown
14.22/14.35 c 14.4s| 1500 | 93 | 65123 | 38.8 | 66M | 48 |2179 |5983 |4883 |3680 | 2 |2017 | 13 | 0.000000e+00 | -- | Inf | unknown
14.32/14.47 c 14.5s| 1600 | 89 | 65336 | 36.5 | 66M | 48 |2179 |5980 | 0 |3698 | 0 |2034 | 13 | 0.000000e+00 | -- | Inf | unknown
14.62/14.72 c 14.7s| 1700 | 94 | 67301 | 35.5 | 67M | 48 |2179 |5992 |4875 |3810 | 1 |2141 | 13 | 0.000000e+00 | -- | Inf | unknown
14.82/14.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.82/14.98 c 15.0s| 1800 | 94 | 69065 | 34.5 | 67M | 48 |2179 |6098 |4890 |3969 | 3 |2349 | 13 | 0.000000e+00 | -- | Inf | unknown
15.02/15.15 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
15.02/15.15 c (run 1, node 1888) performing user restart
15.02/15.15 c
15.02/15.15 c (restart) converted 144 cuts from the global cut pool into linear constraints
15.02/15.15 c
15.02/15.16 c presolving:
15.02/15.16 c (round 1, fast) 0 del vars, 468 del conss, 1 add conss, 0 chg bounds, 7 chg sides, 34 chg coeffs, 0 upgd conss, 0 impls, 4773 clqs
15.02/15.16 c (round 2, exhaustive) 0 del vars, 756 del conss, 73 add conss, 0 chg bounds, 7 chg sides, 34 chg coeffs, 0 upgd conss, 0 impls, 4773 clqs
15.02/15.17 c (round 3, exhaustive) 0 del vars, 756 del conss, 73 add conss, 0 chg bounds, 7 chg sides, 35 chg coeffs, 215 upgd conss, 0 impls, 4833 clqs
15.02/15.17 c (round 4, fast) 0 del vars, 769 del conss, 73 add conss, 0 chg bounds, 7 chg sides, 35 chg coeffs, 215 upgd conss, 0 impls, 4834 clqs
15.02/15.17 c (round 5, medium) 0 del vars, 771 del conss, 76 add conss, 0 chg bounds, 10 chg sides, 43 chg coeffs, 215 upgd conss, 0 impls, 4836 clqs
15.02/15.18 c (round 6, exhaustive) 0 del vars, 785 del conss, 79 add conss, 0 chg bounds, 10 chg sides, 43 chg coeffs, 215 upgd conss, 0 impls, 4836 clqs
15.02/15.19 c (round 7, exhaustive) 0 del vars, 826 del conss, 79 add conss, 0 chg bounds, 10 chg sides, 55 chg coeffs, 215 upgd conss, 0 impls, 4838 clqs
15.12/15.20 c presolving (8 rounds: 8 fast, 6 medium, 5 exhaustive):
15.12/15.20 c 0 deleted vars, 826 deleted constraints, 79 added constraints, 0 tightened bounds, 0 added holes, 10 changed sides, 56 changed coefficients
15.12/15.20 c 0 implications, 4838 cliques
15.12/15.20 c presolved problem has 2179 variables (2179 bin, 0 int, 0 impl, 0 cont) and 5562 constraints
15.12/15.20 c 25 constraints of type <knapsack>
15.12/15.20 c 4614 constraints of type <setppc>
15.12/15.20 c 4 constraints of type <linear>
15.12/15.20 c 1 constraints of type <orbitope>
15.12/15.20 c 918 constraints of type <logicor>
15.12/15.20 c transformed objective value is always integral (scale: 1)
15.12/15.20 c Presolving Time: 0.12
15.12/15.20 c
15.12/15.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.12/15.25 c 15.2s| 1 | 0 | 72275 | - | 69M | 0 |2179 |5565 |4634 | 0 | 0 |2524 | 13 | 0.000000e+00 | -- | Inf | unknown
15.32/15.43 c 15.4s| 1 | 0 | 72976 | - | 69M | 0 |2179 |5566 |4768 | 134 | 1 |2525 | 13 | 0.000000e+00 | -- | Inf | unknown
15.42/15.54 c 15.5s| 1 | 0 | 73254 | - | 70M | 0 |2179 |5567 |4819 | 185 | 2 |2526 | 13 | 0.000000e+00 | -- | Inf | unknown
15.52/15.66 c 15.7s| 1 | 0 | 73365 | - | 70M | 0 |2179 |5569 |4843 | 209 | 3 |2528 | 13 | 0.000000e+00 | -- | Inf | unknown
15.62/15.78 c 15.8s| 1 | 0 | 73532 | - | 71M | 0 |2179 |5570 |4855 | 221 | 4 |2529 | 13 | 0.000000e+00 | -- | Inf | unknown
15.82/15.92 c 15.9s| 1 | 0 | 73640 | - | 71M | 0 |2179 |5571 |4875 | 241 | 5 |2530 | 13 | 0.000000e+00 | -- | Inf | unknown
15.92/16.06 c 16.1s| 1 | 0 | 73736 | - | 72M | 0 |2179 |5572 |4886 | 252 | 6 |2531 | 13 | 0.000000e+00 | -- | Inf | unknown
16.11/16.22 c 16.2s| 1 | 0 | 73850 | - | 73M | 0 |2179 |5573 |4899 | 265 | 7 |2532 | 13 | 0.000000e+00 | -- | Inf | unknown
16.21/16.37 c 16.4s| 1 | 0 | 73910 | - | 74M | 0 |2179 |5574 |4913 | 279 | 8 |2533 | 13 | 0.000000e+00 | -- | Inf | unknown
16.31/16.45 c 16.5s| 1 | 0 | 74014 | - | 75M | 0 |2179 |5575 |4923 | 289 | 9 |2534 | 13 | 0.000000e+00 | -- | Inf | unknown
16.41/16.56 c 16.6s| 1 | 0 | 74061 | - | 75M | 0 |2179 |5576 |4883 | 299 | 10 |2535 | 13 | 0.000000e+00 | -- | Inf | unknown
16.41/16.60 c 16.6s| 1 | 0 | 74144 | - | 76M | 0 |2179 |5578 |4893 | 309 | 11 |2537 | 13 | 0.000000e+00 | -- | Inf | unknown
16.92/17.01 c 17.0s| 1 | 2 | 75814 | - | 76M | 0 |2179 |5584 |4893 | 309 | 11 |2543 | 32 | 0.000000e+00 | -- | Inf | unknown
17.21/17.39 c 17.4s| 100 | 22 | 79254 | 34.5 | 78M | 33 |2179 |5680 |4746 | 393 | 1 |2640 | 32 | 0.000000e+00 | -- | Inf | unknown
17.51/17.68 c 17.7s| 200 | 28 | 80905 | 33.6 | 78M | 40 |2179 |5756 |4746 | 445 | 1 |2723 | 32 | 0.000000e+00 | -- | Inf | unknown
17.81/17.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.81/17.96 c 18.0s| 300 | 35 | 82284 | 32.7 | 81M | 40 |2179 |5834 |4770 | 554 | 1 |2820 | 32 | 0.000000e+00 | -- | Inf | unknown
18.21/18.32 c 18.3s| 400 | 34 | 85362 | 32.6 | 82M | 40 |2179 |5940 |4771 | 778 | 1 |2962 | 32 | 0.000000e+00 | -- | Inf | unknown
18.51/18.61 c 18.6s| 500 | 34 | 86824 | 31.9 | 83M | 40 |2179 |6062 |4771 | 880 | 1 |3118 | 32 | 0.000000e+00 | -- | Inf | unknown
18.80/18.92 c 18.9s| 600 | 30 | 88299 | 31.2 | 83M | 40 |2179 |6153 |4765 | 984 | 1 |3284 | 32 | 0.000000e+00 | -- | Inf | unknown
19.10/19.26 c 19.3s| 700 | 29 | 89952 | 30.6 | 84M | 40 |2179 |6238 |4762 |1102 | 0 |3415 | 32 | 0.000000e+00 | -- | Inf | 0.70%
19.50/19.67 c 19.7s| 800 | 31 | 92413 | 30.4 | 85M | 40 |2179 |6288 | 0 |1295 | 0 |3549 | 32 | 0.000000e+00 | -- | Inf | 0.76%
19.80/19.94 c 19.9s| 900 | 34 | 93450 | 29.7 | 86M | 40 |2179 |6404 |4786 |1314 | 1 |3763 | 32 | 0.000000e+00 | -- | Inf | 0.80%
20.10/20.22 c 20.2s| 1000 | 28 | 94746 | 29.1 | 86M | 40 |2179 |6458 |4779 |1355 | 1 |3910 | 32 | 0.000000e+00 | -- | Inf | 0.83%
20.30/20.49 c 20.5s| 1100 | 30 | 96306 | 28.7 | 86M | 40 |2179 |6507 |4779 |1437 | 1 |4034 | 32 | 0.000000e+00 | -- | Inf | 0.85%
20.80/20.97 c 21.0s| 1200 | 27 | 99373 | 28.7 | 87M | 40 |2179 |6571 |4761 |1586 | 1 |4172 | 32 | 0.000000e+00 | -- | Inf | 0.90%
21.20/21.39 c 21.4s| 1300 | 29 |102088 | 28.7 | 88M | 40 |2179 |6580 | 0 |1949 | 0 |4294 | 32 | 0.000000e+00 | -- | Inf | 1.23%
21.49/21.68 c 21.7s| 1400 | 23 |104070 | 28.4 | 89M | 40 |2179 |6675 | 0 |2042 | 0 |4475 | 32 | 0.000000e+00 | -- | Inf | 1.42%
21.90/22.07 c 22.1s| 1500 | 25 |106609 | 28.3 | 90M | 40 |2179 |6773 |4789 |2317 | 1 |4619 | 32 | 0.000000e+00 | -- | Inf | 1.64%
22.49/22.60 c 22.6s| 1600 | 23 |109739 | 28.4 | 92M | 40 |2179 |6767 | 0 |2840 | 0 |4716 | 32 | 0.000000e+00 | -- | Inf | 2.06%
22.79/22.97 c 23.0s| 1700 | 28 |111506 | 28.1 | 93M | 40 |2179 |6842 | 0 |3108 | 0 |4837 | 32 | 0.000000e+00 | -- | Inf | 2.18%
23.09/23.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.09/23.25 c 23.2s| 1800 | 24 |113173 | 27.8 | 94M | 40 |2179 |6891 | 0 |3123 | 0 |4991 | 32 | 0.000000e+00 | -- | Inf | 2.29%
23.49/23.61 c 23.6s| 1900 | 29 |115592 | 27.7 | 95M | 40 |2179 |6979 |4781 |3256 | 1 |5166 | 32 | 0.000000e+00 | -- | Inf | 2.36%
23.68/23.86 c 23.9s| 2000 | 23 |116592 | 27.2 | 95M | 40 |2179 |7072 |4781 |3256 | 1 |5314 | 32 | 0.000000e+00 | -- | Inf | 2.42%
24.18/24.34 c 24.3s| 2100 | 33 |120611 | 27.6 | 96M | 40 |2179 |7129 |4777 |3486 | 0 |5443 | 32 | 0.000000e+00 | -- | Inf | 2.53%
24.48/24.63 c 24.6s| 2200 | 48 |122713 | 27.4 | 96M | 40 |2179 |7190 |4773 |3560 | 1 |5538 | 32 | 0.000000e+00 | -- | Inf | 2.53%
24.88/25.04 c 25.0s| 2300 | 36 |124702 | 27.2 | 98M | 40 |2179 |7308 |4781 |3750 | 0 |5663 | 32 | 0.000000e+00 | -- | Inf | 2.56%
25.18/25.31 c 25.3s| 2400 | 41 |126501 | 27.0 | 98M | 40 |2179 |7380 |4786 |3785 | 1 |5769 | 32 | 0.000000e+00 | -- | Inf | 2.58%
25.48/25.63 c 25.6s| 2500 | 25 |129463 | 27.1 | 99M | 40 |2179 |7499 |4762 |3843 | 1 |5918 | 32 | 0.000000e+00 | -- | Inf | 2.64%
25.78/25.95 c 25.9s| 2600 | 35 |131380 | 26.9 | 99M | 40 |2179 |7576 |4764 |4010 | 1 |6033 | 32 | 0.000000e+00 | -- | Inf | 2.71%
26.17/26.32 c 26.3s| 2700 | 32 |133799 | 26.8 | 99M | 40 |2179 |7638 |4778 |4164 | 1 |6150 | 32 | 0.000000e+00 | -- | Inf | 2.83%
26.47/26.66 c 26.7s| 2800 | 26 |135584 | 26.6 | 100M | 40 |2179 |7752 |4771 |4298 | 1 |6314 | 32 | 0.000000e+00 | -- | Inf | 2.99%
26.88/27.01 c 27.0s| 2900 | 31 |138631 | 26.7 | 100M | 40 |2179 |7831 |4773 |4538 | 1 |6438 | 32 | 0.000000e+00 | -- | Inf | 3.09%
27.07/27.26 c 27.3s| 3000 | 27 |140014 | 26.5 | 100M | 40 |2179 |7875 | 0 |4592 | 0 |6533 | 32 | 0.000000e+00 | -- | Inf | 3.15%
27.37/27.53 c 27.5s| 3100 | 23 |141731 | 26.3 | 100M | 40 |2179 |7936 | 0 |4729 | 0 |6639 | 32 | 0.000000e+00 | -- | Inf | 3.23%
27.77/27.96 c 28.0s| 3200 | 25 |144753 | 26.4 | 102M | 40 |2179 |7997 | 0 |5219 | 0 |6746 | 32 | 0.000000e+00 | -- | Inf | 3.62%
28.17/28.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.17/28.38 c 28.4s| 3300 | 34 |148522 | 26.6 | 103M | 40 |2179 |7918 |4783 |5724 | 1 |6837 | 32 | 0.000000e+00 | -- | Inf | 3.90%
28.57/28.79 c 28.8s| 3400 | 29 |150892 | 26.5 | 103M | 40 |2179 |7871 |4791 |6059 | 1 |6969 | 32 | 0.000000e+00 | -- | Inf | 4.20%
28.87/29.07 c 29.1s| 3500 | 29 |152517 | 26.3 | 104M | 40 |2179 |7826 |4770 |6192 | 1 |7108 | 32 | 0.000000e+00 | -- | Inf | 4.34%
29.16/29.36 c 29.4s| 3600 | 28 |154168 | 26.1 | 104M | 40 |2179 |7803 |4780 |6342 | 1 |7233 | 32 | 0.000000e+00 | -- | Inf | 4.41%
29.56/29.77 c 29.8s| 3700 | 31 |156397 | 26.1 | 104M | 40 |2179 |7790 |4780 |6610 | 1 |7361 | 32 | 0.000000e+00 | -- | Inf | 4.55%
29.87/30.06 c 30.1s| 3800 | 31 |157847 | 25.9 | 105M | 40 |2179 |7793 |4791 |6688 | 1 |7488 | 32 | 0.000000e+00 | -- | Inf | 4.64%
30.16/30.38 c 30.4s| 3900 | 29 |159836 | 25.8 | 105M | 40 |2179 |7789 |4791 |6831 | 1 |7613 | 32 | 0.000000e+00 | -- | Inf | 4.75%
30.56/30.77 c 30.8s| 4000 | 33 |162349 | 25.8 | 105M | 40 |2179 |7781 | 0 |6983 | 0 |7734 | 32 | 0.000000e+00 | -- | Inf | 4.80%
30.86/31.04 c 31.0s| 4100 | 25 |163983 | 25.6 | 105M | 40 |2179 |7862 | 0 |7023 | 0 |7911 | 32 | 0.000000e+00 | -- | Inf | 4.86%
31.16/31.35 c 31.3s| 4200 | 28 |165918 | 25.5 | 105M | 40 |2179 |7871 | 0 |7164 | 0 |8025 | 32 | 0.000000e+00 | -- | Inf | 4.91%
31.45/31.61 c 31.6s| 4300 | 25 |167308 | 25.3 | 105M | 40 |2179 |7848 |4791 |7185 | 1 |8161 | 32 | 0.000000e+00 | -- | Inf | 4.99%
31.87/32.01 c 32.0s| 4400 | 26 |171427 | 25.6 | 106M | 40 |2179 |7853 |4772 |7471 | 1 |8316 | 32 | 0.000000e+00 | -- | Inf | 5.05%
32.06/32.29 c 32.3s| 4500 | 24 |172805 | 25.4 | 106M | 40 |2179 |7942 | 0 |7568 | 0 |8446 | 32 | 0.000000e+00 | -- | Inf | 5.09%
32.46/32.60 c 32.6s| 4600 | 25 |175121 | 25.3 | 107M | 40 |2179 |7941 |4763 |7779 | 1 |8540 | 32 | 0.000000e+00 | -- | Inf | 5.36%
32.96/33.19 c 33.2s| 4700 | 27 |180306 | 25.7 | 108M | 40 |2179 |8018 | 0 |8105 | 0 |8653 | 32 | 0.000000e+00 | -- | Inf | 5.53%
33.36/33.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
33.36/33.54 c 33.5s| 4800 | 19 |182422 | 25.7 | 108M | 40 |2179 |8075 |4761 |8387 | 1 |8758 | 32 | 0.000000e+00 | -- | Inf | 5.77%
33.75/33.93 c 33.9s| 4900 | 24 |185968 | 25.8 | 108M | 40 |2179 |8115 |4753 |8520 | 1 |8885 | 32 | 0.000000e+00 | -- | Inf | 5.93%
34.25/34.44 c 34.4s| 5000 | 26 |188499 | 25.8 | 109M | 40 |2179 |8156 |4762 |8989 | 1 |8998 | 32 | 0.000000e+00 | -- | Inf | 6.30%
34.86/35.04 c 35.0s| 5100 | 38 |191907 | 25.9 | 110M | 40 |2179 |8136 | 0 |9393 | 0 |9075 | 32 | 0.000000e+00 | -- | Inf | 6.73%
35.15/35.31 c 35.3s| 5200 | 38 |192817 | 25.7 | 110M | 40 |2179 |8196 |4763 |9413 | 0 |9179 | 32 | 0.000000e+00 | -- | Inf | 6.73%
35.35/35.55 c 35.5s| 5300 | 31 |193958 | 25.5 | 110M | 40 |2179 |8253 |4760 |9458 | 1 |9271 | 32 | 0.000000e+00 | -- | Inf | 6.73%
35.75/35.99 c 36.0s| 5400 | 34 |199521 | 25.9 | 110M | 40 |2179 |8310 |4737 |9550 | 1 |9409 | 32 | 0.000000e+00 | -- | Inf | 6.83%
36.24/36.46 c 36.5s| 5500 | 46 |203912 | 26.2 | 110M | 40 |2179 |8409 |4781 |9744 | 1 |9564 | 32 | 0.000000e+00 | -- | Inf | 6.84%
36.54/36.79 c 36.8s| 5600 | 32 |206545 | 26.2 | 110M | 40 |2179 |8521 |4769 | 10k| 0 |9693 | 32 | 0.000000e+00 | -- | Inf | 6.84%
36.85/37.08 c 37.1s| 5700 | 47 |208118 | 26.0 | 111M | 40 |2179 |8573 |4787 | 10k| 1 |9766 | 32 | 0.000000e+00 | -- | Inf | 6.84%
37.24/37.48 c 37.5s| 5800 | 39 |211379 | 26.1 | 111M | 40 |2179 |8649 |4737 | 10k| 1 |9871 | 32 | 0.000000e+00 | -- | Inf | 6.85%
37.54/37.77 c 37.8s| 5900 | 41 |213174 | 26.0 | 111M | 40 |2179 |8702 |4795 | 10k| 1 |9944 | 32 | 0.000000e+00 | -- | Inf | 6.85%
37.94/38.12 c 38.1s| 6000 | 51 |216386 | 26.1 | 111M | 40 |2179 |8778 |4789 | 11k| 1 | 10k| 32 | 0.000000e+00 | -- | Inf | 6.86%
38.24/38.42 c 38.4s| 6100 | 37 |218408 | 26.0 | 111M | 40 |2179 |8891 |4747 | 11k| 1 | 10k| 32 | 0.000000e+00 | -- | Inf | 6.86%
38.53/38.75 c 38.8s| 6200 | 39 |220799 | 26.0 | 112M | 40 |2179 |8965 |4744 | 11k| 1 | 10k| 32 | 0.000000e+00 | -- | Inf | 6.90%
38.94/39.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.94/39.12 c 39.1s| 6300 | 34 |223526 | 26.0 | 112M | 40 |2179 |9025 |4753 | 11k| 1 | 10k| 32 | 0.000000e+00 | -- | Inf | 7.00%
39.13/39.36 c 39.4s| 6400 | 44 |224766 | 25.8 | 112M | 40 |2179 |9108 |4778 | 11k| 1 | 10k| 32 | 0.000000e+00 | -- | Inf | 7.07%
39.53/39.70 c 39.7s| 6500 | 24 |226894 | 25.8 | 113M | 40 |2179 |9227 |4763 | 12k| 2 | 10k| 32 | 0.000000e+00 | -- | Inf | 7.08%
39.83/40.05 c 40.1s| 6600 | 26 |229279 | 25.8 | 113M | 40 |2179 |9344 |4759 | 12k| 1 | 10k| 32 | 0.000000e+00 | -- | Inf | 7.22%
40.23/40.43 c 40.4s| 6700 | 24 |232510 | 25.8 | 113M | 40 |2179 |9429 | 0 | 12k| 0 | 11k| 32 | 0.000000e+00 | -- | Inf | 7.45%
40.63/40.88 c 40.9s| 6800 | 30 |235724 | 25.9 | 114M | 40 |2179 |9464 |4746 | 12k| 1 | 11k| 32 | 0.000000e+00 | -- | Inf | 7.61%
40.93/41.19 c 41.2s| 6900 | 32 |237538 | 25.8 | 114M | 40 |2179 |9534 |4752 | 12k| 1 | 11k| 32 | 0.000000e+00 | -- | Inf | 7.72%
41.32/41.52 c 41.5s| 7000 | 27 |239671 | 25.8 | 115M | 40 |2179 |9597 |4744 | 12k| 1 | 11k| 32 | 0.000000e+00 | -- | Inf | 7.94%
41.62/41.86 c 41.9s| 7100 | 30 |241793 | 25.7 | 115M | 40 |2179 |9636 | 0 | 12k| 0 | 11k| 32 | 0.000000e+00 | -- | Inf | 8.14%
42.22/42.45 c 42.5s| 7200 | 30 |245980 | 25.9 | 117M | 40 |2179 |9670 |4761 | 13k| 1 | 11k| 32 | 0.000000e+00 | -- | Inf | 8.29%
42.52/42.75 c 42.8s| 7300 | 26 |247974 | 25.8 | 117M | 40 |2179 |9705 |4756 | 13k| 1 | 11k| 32 | 0.000000e+00 | -- | Inf | 8.37%
42.92/43.16 c 43.2s| 7400 | 25 |250921 | 25.9 | 117M | 40 |2179 |9783 | 0 | 13k| 0 | 12k| 32 | 0.000000e+00 | -- | Inf | 8.45%
43.22/43.49 c 43.5s| 7500 | 25 |253341 | 25.8 | 117M | 40 |2179 |9837 |4756 | 13k| 1 | 12k| 32 | 0.000000e+00 | -- | Inf | 8.68%
43.61/43.85 c 43.9s| 7600 | 21 |255674 | 25.8 | 118M | 40 |2179 |9887 |4761 | 13k| 1 | 12k| 32 | 0.000000e+00 | -- | Inf | 8.91%
44.11/44.33 c 44.3s| 7700 | 29 |259817 | 26.0 | 118M | 40 |2179 |9945 | 0 | 14k| 0 | 12k| 32 | 0.000000e+00 | -- | Inf | 9.11%
44.51/44.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.51/44.75 c 44.8s| 7800 | 33 |263056 | 26.1 | 119M | 40 |2179 | 10k|4735 | 14k| 1 | 12k| 32 | 0.000000e+00 | -- | Inf | 9.41%
45.01/45.27 c 45.3s| 7900 | 29 |265990 | 26.1 | 119M | 40 |2179 | 10k| 0 | 14k| 0 | 12k| 32 | 0.000000e+00 | -- | Inf | 9.98%
45.51/45.75 c 45.8s| 8000 | 25 |269551 | 26.2 | 120M | 40 |2179 | 10k| 0 | 15k| 0 | 12k| 32 | 0.000000e+00 | -- | Inf | 10.42%
46.00/46.27 c 46.3s| 8100 | 31 |272632 | 26.2 | 121M | 40 |2179 | 10k|4786 | 15k| 1 | 13k| 32 | 0.000000e+00 | -- | Inf | 10.89%
46.60/46.81 c 46.8s| 8200 | 41 |276309 | 26.3 | 121M | 40 |2179 | 10k|4759 | 16k| 2 | 13k| 32 | 0.000000e+00 | -- | Inf | 11.07%
46.91/47.15 c 47.1s| 8300 | 36 |278970 | 26.3 | 121M | 40 |2179 | 10k|4747 | 16k| 1 | 13k| 32 | 0.000000e+00 | -- | Inf | 11.26%
47.30/47.51 c 47.5s| 8400 | 30 |281111 | 26.3 | 121M | 40 |2179 | 10k| 0 | 16k| 0 | 13k| 32 | 0.000000e+00 | -- | Inf | 11.48%
47.80/48.01 c 48.0s| 8500 | 30 |283751 | 26.3 | 121M | 40 |2179 | 10k|4785 | 16k| 1 | 13k| 32 | 0.000000e+00 | -- | Inf | 11.72%
48.10/48.35 c 48.3s| 8600 | 31 |286501 | 26.3 | 121M | 40 |2179 | 10k|4772 | 17k| 1 | 13k| 32 | 0.000000e+00 | -- | Inf | 11.98%
48.49/48.71 c 48.7s| 8700 | 36 |289030 | 26.3 | 121M | 40 |2179 | 10k|4750 | 17k| 1 | 13k| 32 | 0.000000e+00 | -- | Inf | 12.17%
48.90/49.14 c 49.1s| 8800 | 37 |292522 | 26.4 | 122M | 40 |2179 | 10k| 0 | 17k| 0 | 14k| 32 | 0.000000e+00 | -- | Inf | 12.46%
49.19/49.41 c 49.4s| 8900 | 30 |293919 | 26.3 | 122M | 40 |2179 | 10k|4776 | 17k| 1 | 14k| 32 | 0.000000e+00 | -- | Inf | 12.62%
49.69/49.98 c 50.0s| 9000 | 36 |298247 | 26.4 | 123M | 40 |2179 | 10k| 0 | 18k| 0 | 14k| 32 | 0.000000e+00 | -- | Inf | 12.76%
49.99/50.27 c 50.3s| 9100 | 53 |299990 | 26.3 | 123M | 40 |2179 | 10k| 0 | 18k| 0 | 14k| 32 | 0.000000e+00 | -- | Inf | 12.78%
50.38/50.60 c 50.6s| 9200 | 31 |302171 | 26.3 | 124M | 40 |2179 | 10k| 0 | 18k| 0 | 14k| 32 | 0.000000e+00 | -- | Inf | 12.83%
50.79/51.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.79/51.01 c 51.0s| 9300 | 30 |305661 | 26.4 | 124M | 40 |2179 | 10k| 0 | 18k| 0 | 14k| 32 | 0.000000e+00 | -- | Inf | 12.97%
51.08/51.33 c 51.3s| 9400 | 28 |307770 | 26.3 | 124M | 40 |2179 | 10k|4771 | 18k| 1 | 14k| 32 | 0.000000e+00 | -- | Inf | 13.09%
51.48/51.79 c 51.8s| 9500 | 32 |310650 | 26.3 | 124M | 40 |2179 | 10k| 0 | 18k| 0 | 15k| 32 | 0.000000e+00 | -- | Inf | 13.18%
51.88/52.15 c 52.1s| 9600 | 30 |313188 | 26.3 | 124M | 40 |2179 | 10k| 0 | 19k| 0 | 15k| 32 | 0.000000e+00 | -- | Inf | 13.20%
52.38/52.68 c 52.7s| 9700 | 34 |316817 | 26.4 | 125M | 40 |2179 | 10k|4797 | 19k| 0 | 15k| 32 | 0.000000e+00 | -- | Inf | 13.26%
52.78/53.07 c 53.1s| 9800 | 30 |319781 | 26.4 | 125M | 40 |2179 | 11k|4770 | 19k| 1 | 15k| 32 | 0.000000e+00 | -- | Inf | 13.27%
53.17/53.41 c 53.4s| 9900 | 36 |322109 | 26.4 | 125M | 40 |2179 | 11k|4785 | 20k| 1 | 15k| 32 | 0.000000e+00 | -- | Inf | 13.30%
53.47/53.77 c 53.8s| 10000 | 27 |324572 | 26.4 | 125M | 40 |2179 | 11k| 0 | 20k| 0 | 15k| 32 | 0.000000e+00 | -- | Inf | 13.37%
53.88/54.13 c 54.1s| 10100 | 24 |327950 | 26.5 | 125M | 40 |2179 | 11k| 0 | 20k| 0 | 15k| 32 | 0.000000e+00 | -- | Inf | 13.42%
54.37/54.66 c 54.7s| 10200 | 34 |332032 | 26.6 | 125M | 40 |2179 | 11k|4763 | 20k| 1 | 16k| 32 | 0.000000e+00 | -- | Inf | 13.49%
54.67/54.97 c 55.0s| 10300 | 33 |334029 | 26.5 | 125M | 40 |2179 | 11k| 0 | 20k| 0 | 16k| 32 | 0.000000e+00 | -- | Inf | 13.54%
55.06/55.35 c 55.3s| 10400 | 35 |336091 | 26.5 | 126M | 40 |2179 | 11k|4757 | 21k| 1 | 16k| 32 | 0.000000e+00 | -- | Inf | 13.61%
55.36/55.67 c 55.7s| 10500 | 35 |337854 | 26.4 | 126M | 40 |2179 | 11k| 0 | 21k| 0 | 16k| 32 | 0.000000e+00 | -- | Inf | 13.66%
55.77/56.01 c 56.0s| 10600 | 28 |339506 | 26.3 | 126M | 40 |2179 | 11k| 0 | 21k| 0 | 16k| 32 | 0.000000e+00 | -- | Inf | 13.85%
56.26/56.56 c 56.6s| 10700 | 45 |344928 | 26.6 | 126M | 40 |2179 | 11k|4754 | 21k| 1 | 17k| 32 | 0.000000e+00 | -- | Inf | 13.92%
56.66/56.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
56.66/56.90 c 56.9s| 10800 | 54 |347845 | 26.6 | 126M | 40 |2179 | 11k|4781 | 21k| 1 | 17k| 32 | 0.000000e+00 | -- | Inf | 13.94%
56.96/57.24 c 57.2s| 10900 | 40 |349781 | 26.5 | 126M | 40 |2179 | 11k|4754 | 21k| 1 | 17k| 32 | 0.000000e+00 | -- | Inf | 14.04%
57.26/57.55 c 57.5s| 11000 | 38 |351918 | 26.5 | 126M | 40 |2179 | 11k|4754 | 21k| 1 | 17k| 32 | 0.000000e+00 | -- | Inf | 14.07%
57.55/57.86 c 57.9s| 11100 | 35 |354076 | 26.4 | 126M | 40 |2179 | 11k|4754 | 22k| 1 | 17k| 32 | 0.000000e+00 | -- | Inf | 14.11%
58.05/58.30 c 58.3s| 11200 | 31 |357811 | 26.5 | 126M | 40 |2179 | 11k| 0 | 22k| 0 | 17k| 32 | 0.000000e+00 | -- | Inf | 14.34%
58.35/58.62 c 58.6s| 11300 | 30 |359392 | 26.4 | 126M | 40 |2179 | 12k| 0 | 22k| 0 | 18k| 32 | 0.000000e+00 | -- | Inf | 14.44%
58.76/59.01 c 59.0s| 11400 | 33 |363434 | 26.5 | 127M | 40 |2179 | 12k|4754 | 22k| 1 | 18k| 32 | 0.000000e+00 | -- | Inf | 14.50%
59.05/59.39 c 59.4s| 11500 | 33 |366052 | 26.5 | 127M | 40 |2179 | 12k|4754 | 22k| 1 | 18k| 32 | 0.000000e+00 | -- | Inf | 14.52%
59.45/59.74 c 59.7s| 11600 | 36 |367919 | 26.5 | 127M | 40 |2179 | 12k|4762 | 23k| 1 | 18k| 32 | 0.000000e+00 | -- | Inf | 14.61%
59.95/60.21 c 60.2s| 11700 | 33 |370453 | 26.5 | 128M | 40 |2179 | 12k| 0 | 23k| 0 | 18k| 32 | 0.000000e+00 | -- | Inf | 14.83%
60.24/60.55 c 60.5s| 11800 | 34 |372460 | 26.4 | 128M | 40 |2179 | 12k|4752 | 23k| 1 | 18k| 32 | 0.000000e+00 | -- | Inf | 14.94%
60.54/60.83 c 60.8s| 11900 | 34 |374006 | 26.4 | 128M | 40 |2179 | 12k| 0 | 23k| 0 | 19k| 32 | 0.000000e+00 | -- | Inf | 14.99%
60.85/61.17 c 61.2s| 12000 | 36 |376439 | 26.3 | 128M | 40 |2179 | 12k|4752 | 23k| 1 | 19k| 32 | 0.000000e+00 | -- | Inf | 15.04%
61.24/61.57 c 61.6s| 12100 | 44 |379275 | 26.4 | 128M | 40 |2179 | 12k|4787 | 24k| 1 | 19k| 32 | 0.000000e+00 | -- | Inf | 15.05%
61.64/61.93 c 61.9s| 12200 | 43 |382006 | 26.4 | 128M | 40 |2179 | 12k| 0 | 24k| 0 | 19k| 32 | 0.000000e+00 | -- | Inf | 15.07%
61.94/62.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
61.94/62.27 c 62.3s| 12300 | 46 |384666 | 26.4 | 128M | 40 |2179 | 12k|4752 | 24k| 1 | 19k| 32 | 0.000000e+00 | -- | Inf | 15.09%
62.34/62.64 c 62.6s| 12400 | 52 |387217 | 26.4 | 128M | 40 |2179 | 12k| 0 | 24k| 0 | 20k| 32 | 0.000000e+00 | -- | Inf | 15.10%
62.74/63.06 c 63.1s| 12500 | 35 |390171 | 26.4 | 128M | 40 |2179 | 12k| 0 | 25k| 0 | 20k| 32 | 0.000000e+00 | -- | Inf | 15.11%
63.13/63.49 c 63.5s| 12600 | 33 |393156 | 26.4 | 129M | 40 |2179 | 12k| 0 | 25k| 0 | 20k| 32 | 0.000000e+00 | -- | Inf | 15.14%
63.63/63.97 c 64.0s| 12700 | 43 |396790 | 26.5 | 129M | 40 |2179 | 12k|4778 | 25k| 2 | 20k| 32 | 0.000000e+00 | -- | Inf | 15.15%
63.93/64.27 c 64.3s| 12800 | 39 |398478 | 26.4 | 129M | 40 |2179 | 12k| 0 | 25k| 0 | 20k| 32 | 0.000000e+00 | -- | Inf | 15.16%
64.33/64.63 c 64.6s| 12900 | 36 |401238 | 26.4 | 129M | 40 |2179 | 12k|4763 | 26k| 2 | 20k| 32 | 0.000000e+00 | -- | Inf | 15.19%
65.32/65.66 c 65.7s| 13000 | 55 |409764 | 26.8 | 129M | 40 |2179 | 12k|4769 | 26k| 1 | 20k| 32 | 0.000000e+00 | -- | Inf | 15.31%
66.02/66.32 c 66.3s| 13100 | 74 |414418 | 26.9 | 130M | 40 |2179 | 12k| 0 | 27k| 0 | 21k| 32 | 0.000000e+00 | -- | Inf | 15.44%
66.32/66.62 c 66.6s| 13200 | 89 |416236 | 26.9 | 130M | 40 |2179 | 12k|4783 | 27k| 1 | 21k| 32 | 0.000000e+00 | -- | Inf | 15.51%
66.62/66.99 c 67.0s| 13300 | 76 |418778 | 26.9 | 130M | 40 |2179 | 12k|4765 | 27k| 1 | 21k| 32 | 0.000000e+00 | -- | Inf | 15.52%
66.92/67.26 c 67.3s| 13400 | 78 |420146 | 26.8 | 130M | 40 |2179 | 12k|4770 | 27k| 2 | 21k| 32 | 0.000000e+00 | -- | Inf | 15.55%
67.32/67.61 c 67.6s| 13500 | 73 |422134 | 26.7 | 130M | 40 |2179 | 12k|4764 | 27k| 1 | 21k| 32 | 0.000000e+00 | -- | Inf | 15.69%
67.72/68.08 c 68.1s| 13600 | 71 |425770 | 26.8 | 130M | 40 |2179 | 12k| 0 | 28k| 0 | 21k| 32 | 0.000000e+00 | -- | Inf | 15.76%
68.21/68.58 c 68.6s| 13700 | 77 |429359 | 26.9 | 131M | 40 |2179 | 12k|4793 | 28k| 1 | 22k| 32 | 0.000000e+00 | -- | Inf | 16.06%
68.51/68.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
68.51/68.86 c 68.9s| 13800 | 72 |431238 | 26.8 | 131M | 40 |2179 | 12k| 0 | 28k| 0 | 22k| 32 | 0.000000e+00 | -- | Inf | 16.09%
68.81/69.15 c 69.2s| 13900 | 77 |433221 | 26.8 | 131M | 40 |2179 | 12k| 0 | 28k| 0 | 22k| 32 | 0.000000e+00 | -- | Inf | 16.11%
69.11/69.40 c 69.4s| 14000 | 73 |434454 | 26.7 | 131M | 40 |2179 | 13k| 0 | 28k| 0 | 22k| 32 | 0.000000e+00 | -- | Inf | 16.14%
69.41/69.71 c 69.7s| 14100 | 64 |437141 | 26.7 | 131M | 40 |2179 | 13k| 0 | 28k| 0 | 22k| 32 | 0.000000e+00 | -- | Inf | 16.20%
69.81/70.17 c 70.2s| 14200 | 65 |441398 | 26.8 | 131M | 40 |2179 | 13k|4772 | 29k| 1 | 22k| 32 | 0.000000e+00 | -- | Inf | 16.23%
70.20/70.53 c 70.5s| 14300 | 60 |444262 | 26.8 | 131M | 40 |2179 | 13k| 0 | 29k| 0 | 22k| 32 | 0.000000e+00 | -- | Inf | 16.27%
70.60/70.90 c 70.9s| 14400 | 46 |447909 | 26.8 | 131M | 40 |2179 | 13k| 0 | 29k| 0 | 23k| 32 | 0.000000e+00 | -- | Inf | 16.45%
70.90/71.28 c 71.3s| 14500 | 33 |451293 | 26.9 | 131M | 40 |2179 | 13k|4762 | 29k| 1 | 23k| 32 | 0.000000e+00 | -- | Inf | 16.67%
71.30/71.65 c 71.7s| 14600 | 40 |455016 | 26.9 | 131M | 40 |2179 | 13k| 0 | 29k| 0 | 23k| 32 | 0.000000e+00 | -- | Inf | 16.79%
71.60/71.94 c 71.9s| 14700 | 38 |456330 | 26.9 | 131M | 40 |2179 | 13k| 0 | 29k| 0 | 23k| 32 | 0.000000e+00 | -- | Inf | 16.80%
71.90/72.24 c 72.2s| 14800 | 37 |458073 | 26.8 | 131M | 40 |2179 | 13k|4760 | 29k| 1 | 23k| 32 | 0.000000e+00 | -- | Inf | 16.81%
72.40/72.72 c 72.7s| 14900 | 41 |461591 | 26.9 | 131M | 40 |2179 | 13k| 0 | 29k| 0 | 23k| 32 | 0.000000e+00 | -- | Inf | 16.84%
72.80/73.15 c 73.1s| 15000 | 44 |463899 | 26.8 | 131M | 40 |2179 | 13k|4744 | 30k| 1 | 23k| 32 | 0.000000e+00 | -- | Inf | 17.05%
73.20/73.50 c 73.5s| 15100 | 41 |465036 | 26.7 | 132M | 40 |2179 | 13k| 0 | 30k| 0 | 24k| 32 | 0.000000e+00 | -- | Inf | 17.13%
73.50/73.84 c 73.8s| 15200 | 37 |466211 | 26.7 | 132M | 40 |2179 | 13k|4754 | 30k| 1 | 24k| 32 | 0.000000e+00 | -- | Inf | 17.22%
73.90/74.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
73.90/74.26 c 74.3s| 15300 | 34 |468386 | 26.6 | 132M | 40 |2179 | 13k|4763 | 30k| 1 | 24k| 32 | 0.000000e+00 | -- | Inf | 17.49%
74.40/74.74 c 74.7s| 15400 | 37 |472311 | 26.7 | 133M | 40 |2179 | 13k|4750 | 30k| 1 | 24k| 32 | 0.000000e+00 | -- | Inf | 17.73%
74.80/75.18 c 75.2s| 15500 | 40 |474557 | 26.7 | 133M | 40 |2179 | 13k|4755 | 30k| 1 | 24k| 32 | 0.000000e+00 | -- | Inf | 17.81%
75.39/75.73 c 75.7s| 15600 | 37 |478166 | 26.7 | 133M | 40 |2179 | 13k|4821 | 31k| 3 | 25k| 32 | 0.000000e+00 | -- | Inf | 18.02%
75.70/76.06 c 76.1s| 15700 | 38 |479799 | 26.7 | 133M | 40 |2179 | 13k|4763 | 31k| 1 | 25k| 32 | 0.000000e+00 | -- | Inf | 18.20%
75.99/76.35 c 76.3s| 15800 | 34 |481165 | 26.6 | 133M | 40 |2179 | 14k|4750 | 31k| 1 | 25k| 32 | 0.000000e+00 | -- | Inf | 18.32%
76.59/76.94 c 76.9s| 15900 | 39 |485823 | 26.7 | 133M | 40 |2179 | 14k|4805 | 31k| 3 | 25k| 32 | 0.000000e+00 | -- | Inf | 18.40%
76.89/77.23 c 77.2s| 16000 | 49 |487084 | 26.6 | 133M | 40 |2179 | 14k|4774 | 31k| 1 | 25k| 32 | 0.000000e+00 | -- | Inf | 18.44%
77.19/77.53 c 77.5s| 16100 | 43 |488704 | 26.6 | 133M | 40 |2179 | 14k|4776 | 31k| 1 | 25k| 32 | 0.000000e+00 | -- | Inf | 18.52%
77.48/77.83 c 77.8s| 16200 | 40 |490525 | 26.5 | 133M | 40 |2179 | 14k|4770 | 32k| 1 | 26k| 32 | 0.000000e+00 | -- | Inf | 18.62%
77.79/78.14 c 78.1s| 16300 | 35 |491609 | 26.4 | 134M | 40 |2179 | 14k|4779 | 32k| 1 | 26k| 32 | 0.000000e+00 | -- | Inf | 18.75%
78.08/78.46 c 78.5s| 16400 | 37 |493460 | 26.4 | 134M | 40 |2179 | 14k|4765 | 32k| 1 | 26k| 32 | 0.000000e+00 | -- | Inf | 19.20%
78.38/78.70 c 78.7s| 16500 | 37 |494487 | 26.3 | 134M | 40 |2179 | 14k|4765 | 32k| 1 | 26k| 32 | 0.000000e+00 | -- | Inf | 19.27%
78.78/79.10 c 79.1s| 16600 | 39 |496333 | 26.3 | 135M | 40 |2179 | 14k| 0 | 32k| 0 | 26k| 32 | 0.000000e+00 | -- | Inf | 19.38%
79.18/79.54 c 79.5s| 16700 | 41 |498081 | 26.2 | 135M | 40 |2179 | 14k|4797 | 32k| 1 | 27k| 32 | 0.000000e+00 | -- | Inf | 19.54%
79.58/79.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
79.58/79.95 c 79.9s| 16800 | 35 |500358 | 26.2 | 135M | 40 |2179 | 14k| 0 | 32k| 0 | 27k| 32 | 0.000000e+00 | -- | Inf | 19.69%
79.88/80.28 c 80.3s| 16900 | 35 |501967 | 26.1 | 135M | 40 |2179 | 14k|4790 | 32k| 1 | 27k| 32 | 0.000000e+00 | -- | Inf | 19.77%
80.27/80.69 c 80.7s| 17000 | 35 |504126 | 26.1 | 135M | 40 |2179 | 14k|4793 | 33k| 1 | 27k| 32 | 0.000000e+00 | -- | Inf | 19.90%
80.57/80.98 c 81.0s| 17100 | 30 |505257 | 26.0 | 135M | 40 |2179 | 14k| 0 | 33k| 0 | 27k| 32 | 0.000000e+00 | -- | Inf | 19.97%
81.07/81.45 c 81.4s| 17200 | 32 |508036 | 26.1 | 136M | 40 |2179 | 14k|4763 | 33k| 1 | 27k| 32 | 0.000000e+00 | -- | Inf | 20.18%
81.57/81.91 c 81.9s| 17300 | 35 |510754 | 26.1 | 136M | 40 |2179 | 14k|4775 | 33k| 1 | 27k| 32 | 0.000000e+00 | -- | Inf | 20.46%
81.87/82.28 c 82.3s| 17400 | 33 |512391 | 26.0 | 136M | 40 |2179 | 14k| 0 | 34k| 0 | 28k| 32 | 0.000000e+00 | -- | Inf | 20.64%
82.26/82.69 c 82.7s| 17500 | 31 |514635 | 26.0 | 136M | 40 |2179 | 14k|4798 | 34k| 2 | 28k| 32 | 0.000000e+00 | -- | Inf | 20.87%
82.67/83.09 c 83.1s| 17600 | 31 |517277 | 26.0 | 136M | 40 |2179 | 14k|4776 | 34k| 1 | 28k| 32 | 0.000000e+00 | -- | Inf | 21.39%
83.06/83.47 c 83.5s| 17700 | 42 |519576 | 26.0 | 136M | 40 |2179 | 14k|4744 | 34k| 1 | 28k| 32 | 0.000000e+00 | -- | Inf | 21.56%
83.86/84.29 c 84.3s| 17800 | 36 |524074 | 26.1 | 137M | 40 |2179 | 14k| 0 | 35k| 0 | 28k| 32 | 0.000000e+00 | -- | Inf | 22.44%
84.36/84.76 c 84.8s| 17900 | 57 |527284 | 26.1 | 137M | 40 |2179 | 14k| 0 | 36k| 0 | 28k| 32 | 0.000000e+00 | -- | Inf | 22.62%
84.66/85.10 c 85.1s| 18000 | 45 |528796 | 26.1 | 137M | 40 |2179 | 14k|4763 | 36k| 1 | 28k| 32 | 0.000000e+00 | -- | Inf | 22.65%
85.25/85.60 c 85.6s| 18100 | 52 |532586 | 26.1 | 137M | 40 |2179 | 14k| 0 | 36k| 0 | 29k| 32 | 0.000000e+00 | -- | Inf | 22.70%
85.55/85.93 c 85.9s| 18200 | 51 |534183 | 26.1 | 137M | 40 |2179 | 14k|4763 | 36k| 1 | 29k| 32 | 0.000000e+00 | -- | Inf | 22.74%
85.85/86.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
85.85/86.27 c 86.3s| 18300 | 42 |536346 | 26.0 | 137M | 40 |2179 | 14k| 0 | 36k| 0 | 29k| 32 | 0.000000e+00 | -- | Inf | 22.89%
86.25/86.70 c 86.7s| 18400 | 39 |538997 | 26.0 | 138M | 40 |2179 | 14k| 0 | 36k| 0 | 29k| 32 | 0.000000e+00 | -- | Inf | 22.95%
86.65/87.00 c 87.0s| 18500 | 39 |540587 | 26.0 | 138M | 40 |2179 | 14k| 0 | 36k| 0 | 29k| 32 | 0.000000e+00 | -- | Inf | 22.99%
86.95/87.38 c 87.4s| 18600 | 42 |542798 | 26.0 | 138M | 40 |2179 | 14k|4819 | 37k| 2 | 29k| 32 | 0.000000e+00 | -- | Inf | 23.02%
87.35/87.74 c 87.7s| 18700 | 37 |544550 | 25.9 | 138M | 40 |2179 | 14k|4778 | 37k| 1 | 29k| 32 | 0.000000e+00 | -- | Inf | 23.04%
87.75/88.11 c 88.1s| 18800 | 42 |546419 | 25.9 | 138M | 40 |2179 | 14k|4754 | 37k| 1 | 30k| 32 | 0.000000e+00 | -- | Inf | 23.73%
88.24/88.68 c 88.7s| 18900 | 41 |549914 | 25.9 | 139M | 40 |2179 | 14k|4775 | 37k| 2 | 30k| 32 | 0.000000e+00 | -- | Inf | 24.17%
88.74/89.18 c 89.2s| 19000 | 42 |552562 | 25.9 | 139M | 40 |2179 | 14k|4770 | 37k| 1 | 30k| 32 | 0.000000e+00 | -- | Inf | 24.60%
89.24/89.65 c 89.6s| 19100 | 50 |555809 | 26.0 | 139M | 40 |2179 | 14k|4764 | 38k| 2 | 30k| 32 | 0.000000e+00 | -- | Inf | 25.00%
89.53/89.97 c 90.0s| 19200 | 47 |557212 | 25.9 | 139M | 40 |2179 | 14k|4751 | 38k| 1 | 30k| 32 | 0.000000e+00 | -- | Inf | 25.08%
89.93/90.32 c 90.3s| 19300 | 49 |559114 | 25.9 | 139M | 40 |2179 | 14k| 0 | 38k| 0 | 30k| 32 | 0.000000e+00 | -- | Inf | 25.16%
90.23/90.68 c 90.7s| 19400 | 43 |561048 | 25.9 | 140M | 40 |2179 | 14k|4766 | 38k| 1 | 30k| 32 | 0.000000e+00 | -- | Inf | 25.29%
90.64/91.10 c 91.1s| 19500 | 45 |563289 | 25.8 | 140M | 40 |2179 | 14k|4773 | 38k| 1 | 31k| 32 | 0.000000e+00 | -- | Inf | 25.47%
91.13/91.52 c 91.5s| 19600 | 49 |566270 | 25.9 | 140M | 40 |2179 | 14k| 0 | 39k| 0 | 31k| 32 | 0.000000e+00 | -- | Inf | 25.60%
91.43/91.84 c 91.8s| 19700 | 44 |567747 | 25.8 | 140M | 40 |2179 | 14k| 0 | 39k| 0 | 31k| 32 | 0.000000e+00 | -- | Inf | 25.81%
91.93/92.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
91.93/92.33 c 92.3s| 19800 | 43 |569987 | 25.8 | 140M | 40 |2179 | 14k|4749 | 39k| 1 | 31k| 32 | 0.000000e+00 | -- | Inf | 26.12%
92.22/92.66 c 92.7s| 19900 | 41 |571756 | 25.8 | 140M | 40 |2179 | 14k|4761 | 39k| 1 | 31k| 32 | 0.000000e+00 | -- | Inf | 26.33%
92.82/93.24 c 93.2s| 20000 | 41 |575835 | 25.8 | 142M | 40 |2179 | 14k|4757 | 40k| 1 | 31k| 32 | 0.000000e+00 | -- | Inf | 26.55%
93.32/93.79 c 93.8s| 20100 | 39 |579263 | 25.9 | 142M | 40 |2179 | 14k|4785 | 40k| 1 | 31k| 32 | 0.000000e+00 | -- | Inf | 26.97%
94.02/94.41 c 94.4s| 20200 | 42 |584030 | 26.0 | 142M | 40 |2179 | 14k|4797 | 41k| 1 | 31k| 32 | 0.000000e+00 | -- | Inf | 27.31%
94.32/94.79 c 94.8s| 20300 | 40 |585669 | 25.9 | 142M | 40 |2179 | 14k| 0 | 41k| 0 | 32k| 32 | 0.000000e+00 | -- | Inf | 27.46%
94.72/95.12 c 95.1s| 20400 | 42 |587635 | 25.9 | 142M | 40 |2179 | 14k|4776 | 41k| 1 | 32k| 32 | 0.000000e+00 | -- | Inf | 27.57%
95.11/95.50 c 95.5s| 20500 | 38 |589018 | 25.8 | 143M | 40 |2179 | 14k| 0 | 41k| 0 | 32k| 32 | 0.000000e+00 | -- | Inf | 27.70%
95.41/95.88 c 95.9s| 20600 | 40 |590905 | 25.8 | 143M | 40 |2179 | 14k|4780 | 41k| 1 | 32k| 32 | 0.000000e+00 | -- | Inf | 27.86%
95.81/96.27 c 96.3s| 20700 | 49 |593647 | 25.8 | 143M | 40 |2179 | 14k|4751 | 41k| 1 | 32k| 32 | 0.000000e+00 | -- | Inf | 27.96%
96.11/96.59 c 96.6s| 20800 | 41 |595408 | 25.8 | 143M | 40 |2179 | 14k|4763 | 42k| 0 | 32k| 32 | 0.000000e+00 | -- | Inf | 28.06%
96.41/96.89 c 96.9s| 20900 | 47 |597295 | 25.7 | 143M | 40 |2179 | 14k|4755 | 42k| 1 | 33k| 32 | 0.000000e+00 | -- | Inf | 28.14%
96.71/97.19 c 97.2s| 21000 | 44 |599024 | 25.7 | 143M | 40 |2179 | 14k| 0 | 42k| 0 | 33k| 32 | 0.000000e+00 | -- | Inf | 28.26%
97.10/97.58 c 97.6s| 21100 | 41 |601033 | 25.7 | 143M | 40 |2179 | 14k|4773 | 42k| 1 | 33k| 32 | 0.000000e+00 | -- | Inf | 28.50%
97.50/97.93 c 97.9s| 21200 | 40 |602948 | 25.7 | 143M | 40 |2179 | 14k|4769 | 42k| 1 | 33k| 32 | 0.000000e+00 | -- | Inf | 28.75%
97.80/98.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
97.80/98.28 c 98.3s| 21300 | 39 |605069 | 25.6 | 143M | 40 |2179 | 14k|4767 | 43k| 1 | 33k| 32 | 0.000000e+00 | -- | Inf | 28.93%
98.20/98.60 c 98.6s| 21400 | 37 |607043 | 25.6 | 143M | 40 |2179 | 14k|4756 | 43k| 0 | 33k| 32 | 0.000000e+00 | -- | Inf | 29.02%
98.80/99.21 c 99.2s| 21500 | 40 |611577 | 25.7 | 143M | 40 |2179 | 14k| 0 | 43k| 0 | 33k| 32 | 0.000000e+00 | -- | Inf | 29.15%
99.10/99.53 c 99.5s| 21600 | 40 |613263 | 25.7 | 144M | 40 |2179 | 14k| 0 | 43k| 0 | 33k| 32 | 0.000000e+00 | -- | Inf | 29.28%
99.50/99.94 c 99.9s| 21700 | 38 |617113 | 25.7 | 144M | 40 |2179 | 14k| 0 | 43k| 0 | 34k| 32 | 0.000000e+00 | -- | Inf | 29.49%
99.89/100.33 c 100s| 21800 | 48 |619755 | 25.7 | 144M | 40 |2179 | 14k| 0 | 43k| 0 | 34k| 32 | 0.000000e+00 | -- | Inf | 29.69%
100.19/100.68 c 101s| 21900 | 51 |621505 | 25.7 | 144M | 40 |2179 | 14k|4788 | 44k| 1 | 34k| 32 | 0.000000e+00 | -- | Inf | 29.74%
100.60/101.04 c 101s| 22000 | 51 |623333 | 25.6 | 144M | 40 |2179 | 14k|4788 | 44k| 1 | 34k| 32 | 0.000000e+00 | -- | Inf | 29.79%
100.99/101.42 c 101s| 22100 | 41 |625798 | 25.6 | 144M | 40 |2179 | 14k|4780 | 44k| 1 | 34k| 32 | 0.000000e+00 | -- | Inf | 29.84%
101.29/101.72 c 102s| 22200 | 42 |627184 | 25.6 | 144M | 40 |2179 | 14k| 0 | 44k| 0 | 34k| 32 | 0.000000e+00 | -- | Inf | 29.88%
101.59/102.06 c 102s| 22300 | 44 |629120 | 25.6 | 144M | 40 |2179 | 14k|4765 | 44k| 1 | 35k| 32 | 0.000000e+00 | -- | Inf | 29.95%
101.88/102.37 c 102s| 22400 | 40 |630322 | 25.5 | 144M | 40 |2179 | 14k|4765 | 44k| 1 | 35k| 32 | 0.000000e+00 | -- | Inf | 30.00%
102.28/102.77 c 103s| 22500 | 44 |632691 | 25.5 | 145M | 40 |2179 | 14k|4758 | 44k| 1 | 35k| 32 | 0.000000e+00 | -- | Inf | 30.11%
102.69/103.17 c 103s| 22600 | 43 |635188 | 25.5 | 145M | 40 |2179 | 14k|4761 | 45k| 1 | 35k| 32 | 0.000000e+00 | -- | Inf | 30.31%
103.08/103.59 c 104s| 22700 | 40 |638250 | 25.5 | 145M | 40 |2179 | 14k| 0 | 45k| 0 | 35k| 32 | 0.000000e+00 | -- | Inf | 30.40%
103.58/104.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
103.58/104.00 c 104s| 22800 | 48 |640848 | 25.5 | 145M | 40 |2179 | 14k|4773 | 45k| 1 | 35k| 32 | 0.000000e+00 | -- | Inf | 30.58%
103.88/104.31 c 104s| 22900 | 35 |642310 | 25.5 | 145M | 40 |2179 | 14k| 0 | 45k| 0 | 35k| 32 | 0.000000e+00 | -- | Inf | 30.68%
104.37/104.83 c 105s| 23000 | 37 |644946 | 25.5 | 145M | 40 |2179 | 14k|4780 | 45k| 1 | 36k| 32 | 0.000000e+00 | -- | Inf | 30.79%
104.77/105.27 c 105s| 23100 | 34 |648790 | 25.5 | 146M | 40 |2179 | 14k|4772 | 46k| 2 | 36k| 32 | 0.000000e+00 | -- | Inf | 31.04%
105.17/105.62 c 106s| 23200 | 40 |651803 | 25.6 | 146M | 40 |2179 | 14k|4759 | 46k| 1 | 36k| 32 | 0.000000e+00 | -- | Inf | 31.11%
105.47/105.95 c 106s| 23300 | 39 |653721 | 25.5 | 146M | 40 |2179 | 14k|4759 | 46k| 1 | 36k| 32 | 0.000000e+00 | -- | Inf | 31.15%
105.87/106.30 c 106s| 23400 | 37 |656211 | 25.5 | 146M | 40 |2179 | 14k|4766 | 46k| 1 | 36k| 32 | 0.000000e+00 | -- | Inf | 31.29%
106.37/106.84 c 107s| 23500 | 37 |659987 | 25.6 | 146M | 40 |2179 | 14k| 0 | 46k| 0 | 36k| 32 | 0.000000e+00 | -- | Inf | 31.59%
106.76/107.26 c 107s| 23600 | 38 |662470 | 25.6 | 146M | 40 |2179 | 14k| 0 | 46k| 0 | 36k| 32 | 0.000000e+00 | -- | Inf | 31.87%
107.46/107.93 c 108s| 23700 | 36 |666591 | 25.6 | 146M | 40 |2179 | 14k|4783 | 47k| 1 | 36k| 32 | 0.000000e+00 | -- | Inf | 32.51%
107.86/108.35 c 108s| 23800 | 37 |669217 | 25.6 | 146M | 40 |2179 | 14k| 0 | 47k| 0 | 36k| 32 | 0.000000e+00 | -- | Inf | 32.76%
108.26/108.76 c 109s| 23900 | 36 |671526 | 25.6 | 146M | 40 |2179 | 14k| 0 | 48k| 0 | 37k| 32 | 0.000000e+00 | -- | Inf | 33.03%
108.56/109.09 c 109s| 24000 | 33 |673463 | 25.6 | 146M | 40 |2179 | 14k|4774 | 48k| 1 | 37k| 32 | 0.000000e+00 | -- | Inf | 33.16%
109.25/109.79 c 110s| 24100 | 32 |678849 | 25.7 | 146M | 40 |2179 | 14k|4764 | 48k| 1 | 37k| 32 | 0.000000e+00 | -- | Inf | 33.33%
109.85/110.35 c 110s| 24200 | 44 |682568 | 25.8 | 148M | 40 |2179 | 14k| 0 | 48k| 0 | 37k| 32 | 0.000000e+00 | -- | Inf | 33.47%
110.15/110.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
110.15/110.66 c 111s| 24300 | 35 |684179 | 25.7 | 148M | 40 |2179 | 14k| 0 | 48k| 0 | 37k| 32 | 0.000000e+00 | -- | Inf | 33.59%
110.55/111.02 c 111s| 24400 | 27 |686238 | 25.7 | 148M | 40 |2179 | 13k|4682 | 49k| 1 | 37k| 32 | 0.000000e+00 | -- | Inf | 33.86%
111.25/111.70 c 112s| 24500 | 41 |689805 | 25.7 | 148M | 40 |2179 | 13k|4743 | 49k| 1 | 37k| 32 | 0.000000e+00 | -- | Inf | 34.22%
111.94/112.40 c 112s| 24600 | 32 |693451 | 25.8 | 148M | 40 |2179 | 13k| 0 | 50k| 0 | 38k| 32 | 0.000000e+00 | -- | Inf | 35.48%
112.24/112.77 c 113s| 24700 | 33 |695437 | 25.8 | 148M | 40 |2179 | 13k|4788 | 50k| 1 | 38k| 32 | 0.000000e+00 | -- | Inf | 35.54%
112.64/113.18 c 113s| 24800 | 33 |697933 | 25.8 | 148M | 40 |2179 | 13k|4782 | 50k| 1 | 38k| 32 | 0.000000e+00 | -- | Inf | 35.72%
113.14/113.64 c 114s| 24900 | 33 |701092 | 25.8 | 148M | 40 |2179 | 13k|4756 | 51k| 1 | 38k| 32 | 0.000000e+00 | -- | Inf | 36.02%
113.64/114.13 c 114s| 25000 | 34 |703522 | 25.8 | 148M | 40 |2179 | 13k|4788 | 51k| 1 | 38k| 32 | 0.000000e+00 | -- | Inf | 36.37%
114.03/114.50 c 115s| 25100 | 32 |705684 | 25.8 | 148M | 40 |2179 | 14k| 0 | 52k| 0 | 38k| 32 | 0.000000e+00 | -- | Inf | 36.38%
114.54/115.05 c 115s| 25200 | 33 |709430 | 25.8 | 149M | 40 |2179 | 13k|4771 | 52k| 1 | 39k| 32 | 0.000000e+00 | -- | Inf | 36.60%
114.93/115.46 c 115s| 25300 | 35 |711949 | 25.8 | 149M | 40 |2179 | 13k|4751 | 52k| 1 | 39k| 32 | 0.000000e+00 | -- | Inf | 36.80%
115.33/115.83 c 116s| 25400 | 40 |714663 | 25.8 | 149M | 40 |2179 | 13k|4759 | 52k| 1 | 39k| 32 | 0.000000e+00 | -- | Inf | 36.88%
115.73/116.21 c 116s| 25500 | 36 |716652 | 25.8 | 149M | 40 |2179 | 13k|4751 | 52k| 1 | 39k| 32 | 0.000000e+00 | -- | Inf | 36.98%
116.13/116.68 c 117s| 25600 | 39 |718881 | 25.8 | 149M | 40 |2179 | 13k| 0 | 53k| 0 | 39k| 32 | 0.000000e+00 | -- | Inf | 37.13%
116.42/116.98 c 117s| 25700 | 37 |720288 | 25.7 | 149M | 40 |2179 | 14k|4779 | 53k| 1 | 39k| 32 | 0.000000e+00 | -- | Inf | 37.16%
116.82/117.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
116.82/117.33 c 117s| 25800 | 40 |722336 | 25.7 | 149M | 40 |2179 | 14k| 0 | 53k| 0 | 39k| 32 | 0.000000e+00 | -- | Inf | 37.24%
117.12/117.66 c 118s| 25900 | 39 |723984 | 25.7 | 149M | 40 |2179 | 14k|4785 | 53k| 1 | 40k| 32 | 0.000000e+00 | -- | Inf | 37.31%
117.42/117.98 c 118s| 26000 | 38 |725885 | 25.6 | 149M | 40 |2179 | 14k| 0 | 53k| 0 | 40k| 32 | 0.000000e+00 | -- | Inf | 37.34%
117.83/118.34 c 118s| 26100 | 34 |727760 | 25.6 | 149M | 40 |2179 | 14k|4764 | 53k| 1 | 40k| 32 | 0.000000e+00 | -- | Inf | 37.36%
118.23/118.74 c 119s| 26200 | 35 |729908 | 25.6 | 150M | 40 |2179 | 14k| 0 | 54k| 0 | 40k| 32 | 0.000000e+00 | -- | Inf | 37.44%
118.53/119.08 c 119s| 26300 | 31 |732020 | 25.6 | 150M | 40 |2179 | 14k| 0 | 54k| 0 | 40k| 32 | 0.000000e+00 | -- | Inf | 37.51%
119.02/119.52 c 120s| 26400 | 38 |735312 | 25.6 | 150M | 40 |2179 | 14k| 0 | 54k| 0 | 40k| 32 | 0.000000e+00 | -- | Inf | 37.65%
119.32/119.87 c 120s| 26500 | 38 |736710 | 25.6 | 150M | 40 |2179 | 14k| 0 | 54k| 0 | 40k| 32 | 0.000000e+00 | -- | Inf | 37.74%
119.63/120.17 c 120s| 26600 | 35 |737808 | 25.5 | 150M | 40 |2179 | 14k|4745 | 54k| 1 | 41k| 32 | 0.000000e+00 | -- | Inf | 37.85%
120.02/120.56 c 121s| 26700 | 33 |740371 | 25.5 | 150M | 40 |2179 | 14k|4742 | 54k| 1 | 41k| 32 | 0.000000e+00 | -- | Inf | 37.96%
120.42/120.92 c 121s| 26800 | 41 |742290 | 25.5 | 150M | 40 |2179 | 14k| 0 | 54k| 0 | 41k| 32 | 0.000000e+00 | -- | Inf | 38.07%
120.92/121.41 c 121s| 26900 | 39 |745349 | 25.5 | 150M | 40 |2179 | 14k| 0 | 55k| 0 | 41k| 32 | 0.000000e+00 | -- | Inf | 38.24%
121.11/121.69 c 122s| 27000 | 38 |746409 | 25.5 | 150M | 40 |2179 | 14k|4776 | 55k| 1 | 41k| 32 | 0.000000e+00 | -- | Inf | 38.31%
121.52/122.04 c 122s| 27100 | 35 |748013 | 25.4 | 150M | 40 |2179 | 14k|4774 | 55k| 1 | 41k| 32 | 0.000000e+00 | -- | Inf | 38.39%
121.81/122.38 c 122s| 27200 | 34 |749593 | 25.4 | 150M | 40 |2179 | 14k| 0 | 55k| 0 | 41k| 32 | 0.000000e+00 | -- | Inf | 38.57%
122.21/122.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
122.21/122.72 c 123s| 27300 | 32 |751294 | 25.4 | 150M | 40 |2179 | 14k|4781 | 55k| 1 | 42k| 32 | 0.000000e+00 | -- | Inf | 38.68%
122.71/123.22 c 123s| 27400 | 39 |754535 | 25.4 | 152M | 40 |2179 | 14k| 0 | 55k| 0 | 42k| 32 | 0.000000e+00 | -- | Inf | 38.97%
123.21/123.71 c 124s| 27500 | 37 |756817 | 25.4 | 152M | 40 |2179 | 14k| 0 | 56k| 0 | 42k| 32 | 0.000000e+00 | -- | Inf | 39.18%
123.51/124.05 c 124s| 27600 | 40 |758265 | 25.4 | 152M | 40 |2179 | 14k|4791 | 56k| 1 | 42k| 32 | 0.000000e+00 | -- | Inf | 39.36%
123.80/124.38 c 124s| 27700 | 35 |759786 | 25.3 | 152M | 40 |2179 | 14k| 0 | 56k| 0 | 42k| 32 | 0.000000e+00 | -- | Inf | 39.43%
124.20/124.72 c 125s| 27800 | 39 |761503 | 25.3 | 153M | 40 |2179 | 14k| 0 | 56k| 0 | 42k| 32 | 0.000000e+00 | -- | Inf | 39.55%
124.60/125.12 c 125s| 27900 | 42 |763822 | 25.3 | 153M | 40 |2179 | 14k|4811 | 56k| 1 | 42k| 32 | 0.000000e+00 | -- | Inf | 39.61%
124.90/125.47 c 125s| 28000 | 33 |765524 | 25.3 | 153M | 40 |2179 | 14k| 0 | 56k| 0 | 43k| 32 | 0.000000e+00 | -- | Inf | 39.68%
125.30/125.82 c 126s| 28100 | 33 |767435 | 25.2 | 153M | 40 |2179 | 14k|4771 | 57k| 1 | 43k| 32 | 0.000000e+00 | -- | Inf | 39.72%
125.69/126.22 c 126s| 28200 | 34 |769317 | 25.2 | 153M | 40 |2179 | 14k| 0 | 57k| 0 | 43k| 32 | 0.000000e+00 | -- | Inf | 39.98%
126.09/126.69 c 127s| 28300 | 37 |772824 | 25.2 | 153M | 40 |2179 | 14k| 0 | 57k| 0 | 43k| 32 | 0.000000e+00 | -- | Inf | 40.20%
126.50/127.05 c 127s| 28400 | 34 |774937 | 25.2 | 153M | 40 |2179 | 14k|4768 | 57k| 1 | 43k| 32 | 0.000000e+00 | -- | Inf | 40.32%
126.99/127.53 c 128s| 28500 | 32 |777510 | 25.2 | 155M | 40 |2179 | 14k| 0 | 58k| 0 | 43k| 32 | 0.000000e+00 | -- | Inf | 40.54%
127.39/127.91 c 128s| 28600 | 29 |779677 | 25.2 | 155M | 40 |2179 | 14k|4802 | 58k| 2 | 44k| 32 | 0.000000e+00 | -- | Inf | 40.70%
127.69/128.24 c 128s| 28700 | 32 |781696 | 25.2 | 155M | 40 |2179 | 14k|4792 | 58k| 1 | 44k| 32 | 0.000000e+00 | -- | Inf | 40.89%
128.08/128.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
128.08/128.65 c 129s| 28800 | 43 |784039 | 25.2 | 155M | 40 |2179 | 14k|4742 | 58k| 1 | 44k| 32 | 0.000000e+00 | -- | Inf | 41.10%
128.59/129.11 c 129s| 28900 | 41 |785780 | 25.2 | 155M | 42 |2179 | 14k|4743 | 59k| 1 | 44k| 32 | 0.000000e+00 | -- | Inf | 41.29%
129.08/129.61 c 130s| 29000 | 38 |788237 | 25.2 | 155M | 42 |2179 | 14k|4756 | 59k| 1 | 44k| 32 | 0.000000e+00 | -- | Inf | 41.64%
129.48/130.08 c 130s| 29100 | 35 |790818 | 25.2 | 155M | 42 |2179 | 14k|4745 | 60k| 1 | 44k| 32 | 0.000000e+00 | -- | Inf | 42.12%
129.98/130.53 c 131s| 29200 | 43 |793576 | 25.2 | 155M | 42 |2179 | 14k|4701 | 60k| 1 | 44k| 32 | 0.000000e+00 | -- | Inf | 42.33%
130.28/130.89 c 131s| 29300 | 41 |796212 | 25.2 | 155M | 42 |2179 | 14k| 0 | 60k| 0 | 44k| 32 | 0.000000e+00 | -- | Inf | 42.54%
130.67/131.23 c 131s| 29400 | 38 |798280 | 25.2 | 155M | 42 |2179 | 14k| 0 | 60k| 0 | 45k| 32 | 0.000000e+00 | -- | Inf | 42.84%
131.07/131.66 c 132s| 29500 | 35 |800061 | 25.1 | 155M | 42 |2179 | 14k|4766 | 60k| 1 | 45k| 32 | 0.000000e+00 | -- | Inf | 43.04%
131.48/132.02 c 132s| 29600 | 39 |803015 | 25.2 | 155M | 42 |2179 | 14k|4757 | 61k| 1 | 45k| 32 | 0.000000e+00 | -- | Inf | 43.20%
131.87/132.41 c 132s| 29700 | 51 |806033 | 25.2 | 155M | 42 |2179 | 14k|4765 | 61k| 1 | 45k| 32 | 0.000000e+00 | -- | Inf | 43.30%
132.17/132.71 c 133s| 29800 | 46 |807836 | 25.2 | 155M | 42 |2179 | 14k|4744 | 61k| 1 | 45k| 32 | 0.000000e+00 | -- | Inf | 43.39%
132.47/133.00 c 133s| 29900 | 38 |809115 | 25.1 | 155M | 42 |2179 | 14k|4765 | 61k| 1 | 45k| 32 | 0.000000e+00 | -- | Inf | 43.50%
132.76/133.31 c 133s| 30000 | 34 |810705 | 25.1 | 155M | 42 |2179 | 14k|4765 | 61k| 1 | 45k| 32 | 0.000000e+00 | -- | Inf | 43.57%
133.16/133.71 c 134s| 30100 | 37 |813328 | 25.1 | 155M | 42 |2179 | 14k|4741 | 61k| 1 | 46k| 32 | 0.000000e+00 | -- | Inf | 43.78%
133.47/134.01 c 134s| 30200 | 33 |815133 | 25.1 | 155M | 42 |2179 | 14k|4763 | 62k| 1 | 46k| 32 | 0.000000e+00 | -- | Inf | 43.94%
133.76/134.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
133.76/134.32 c 134s| 30300 | 36 |816919 | 25.0 | 155M | 42 |2179 | 14k| 0 | 62k| 0 | 46k| 32 | 0.000000e+00 | -- | Inf | 44.07%
134.06/134.60 c 135s| 30400 | 31 |818313 | 25.0 | 155M | 42 |2179 | 14k| 0 | 62k| 0 | 46k| 32 | 0.000000e+00 | -- | Inf | 44.23%
135.56/136.17 c 136s| 30500 | 34 |828188 | 25.2 | 155M | 42 |2179 | 14k| 0 | 62k| 0 | 46k| 32 | 0.000000e+00 | -- | Inf | 44.44%
135.95/136.59 c 137s| 30600 | 30 |831641 | 25.3 | 155M | 42 |2179 | 13k|4751 | 62k| 1 | 46k| 32 | 0.000000e+00 | -- | Inf | 44.61%
136.45/137.03 c 137s| 30700 | 41 |834593 | 25.3 | 155M | 42 |2179 | 14k|4746 | 62k| 1 | 46k| 32 | 0.000000e+00 | -- | Inf | 44.72%
136.75/137.32 c 137s| 30800 | 32 |836358 | 25.3 | 155M | 42 |2179 | 14k|4745 | 62k| 1 | 46k| 32 | 0.000000e+00 | -- | Inf | 44.87%
137.25/137.81 c 138s| 30900 | 37 |839573 | 25.3 | 155M | 42 |2179 | 14k|4682 | 63k| 1 | 46k| 32 | 0.000000e+00 | -- | Inf | 45.24%
138.14/138.75 c 139s| 31000 | 63 |850019 | 25.5 | 157M | 42 |2179 | 13k| 0 | 64k| 0 | 47k| 32 | 0.000000e+00 | -- | Inf | 45.94%
138.94/139.55 c 140s| 31100 | 93 |858200 | 25.7 | 158M | 42 |2179 | 13k|4682 | 65k| 1 | 47k| 32 | 0.000000e+00 | -- | Inf | 46.66%
139.94/140.53 c 141s| 31200 | 133 |868999 | 25.9 | 158M | 42 |2179 | 13k|4682 | 66k| 1 | 47k| 32 | 0.000000e+00 | -- | Inf | 47.44%
140.83/141.46 c 141s| 31300 | 159 |879944 | 26.2 | 159M | 42 |2179 | 13k|4682 | 67k| 1 | 47k| 32 | 0.000000e+00 | -- | Inf | 48.05%
141.53/142.15 c 142s| 31400 | 168 |886673 | 26.3 | 159M | 42 |2179 | 13k|4759 | 68k| 1 | 47k| 32 | 0.000000e+00 | -- | Inf | 48.70%
141.93/142.56 c 143s| 31500 | 176 |890248 | 26.3 | 159M | 42 |2179 | 13k| 0 | 68k| 0 | 47k| 32 | 0.000000e+00 | -- | Inf | 48.97%
142.43/143.01 c 143s| 31600 | 167 |893581 | 26.4 | 159M | 42 |2179 | 13k|4781 | 69k| 1 | 47k| 32 | 0.000000e+00 | -- | Inf | 49.51%
142.92/143.51 c 144s| 31700 | 178 |897472 | 26.4 | 159M | 42 |2179 | 13k|4779 | 69k| 1 | 47k| 32 | 0.000000e+00 | -- | Inf | 49.71%
143.32/143.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
143.32/143.91 c 144s| 31800 | 163 |900403 | 26.4 | 160M | 42 |2179 | 13k|4755 | 70k| 1 | 48k| 32 | 0.000000e+00 | -- | Inf | 50.05%
143.72/144.32 c 144s| 31900 | 145 |902624 | 26.4 | 160M | 42 |2179 | 13k|4770 | 70k| 1 | 48k| 32 | 0.000000e+00 | -- | Inf | 50.63%
144.02/144.64 c 145s| 32000 | 139 |904360 | 26.4 | 160M | 42 |2179 | 13k|4772 | 70k| 1 | 48k| 32 | 0.000000e+00 | -- | Inf | 51.04%
144.32/144.97 c 145s| 32100 | 127 |906239 | 26.3 | 160M | 42 |2179 | 13k|4752 | 70k| 1 | 48k| 32 | 0.000000e+00 | -- | Inf | 51.33%
144.72/145.32 c 145s| 32200 | 96 |907857 | 26.3 | 160M | 42 |2179 | 13k|4773 | 70k| 1 | 48k| 32 | 0.000000e+00 | -- | Inf | 52.34%
145.11/145.74 c 146s| 32300 | 85 |909876 | 26.3 | 160M | 42 |2179 | 13k|4682 | 70k| 1 | 48k| 32 | 0.000000e+00 | -- | Inf | 53.04%
145.52/146.12 c 146s| 32400 | 75 |911914 | 26.3 | 160M | 42 |2179 | 13k| 0 | 70k| 0 | 48k| 32 | 0.000000e+00 | -- | Inf | 53.50%
145.91/146.53 c 147s| 32500 | 94 |914749 | 26.3 | 160M | 42 |2179 | 13k|4734 | 71k| 1 | 49k| 32 | 0.000000e+00 | -- | Inf | 53.65%
146.41/147.05 c 147s| 32600 | 113 |919351 | 26.3 | 160M | 42 |2179 | 13k| 0 | 72k| 0 | 49k| 32 | 0.000000e+00 | -- | Inf | 53.83%
146.81/147.47 c 147s| 32700 | 108 |921893 | 26.3 | 160M | 42 |2179 | 13k| 0 | 72k| 0 | 49k| 32 | 0.000000e+00 | -- | Inf | 54.13%
147.11/147.78 c 148s| 32800 | 98 |923398 | 26.3 | 160M | 42 |2179 | 13k|4749 | 72k| 1 | 49k| 32 | 0.000000e+00 | -- | Inf | 54.48%
147.60/148.26 c 148s| 32900 | 105 |926764 | 26.3 | 161M | 42 |2179 | 14k|4742 | 73k| 1 | 49k| 32 | 0.000000e+00 | -- | Inf | 54.93%
148.00/148.65 c 149s| 33000 | 99 |929519 | 26.3 | 161M | 42 |2179 | 14k| 0 | 73k| 0 | 49k| 32 | 0.000000e+00 | -- | Inf | 55.82%
148.41/149.07 c 149s| 33100 | 111 |932583 | 26.3 | 161M | 42 |2179 | 14k|4740 | 73k| 1 | 49k| 32 | 0.000000e+00 | -- | Inf | 56.11%
148.80/149.42 c 149s| 33200 | 110 |935032 | 26.3 | 161M | 42 |2179 | 14k|4754 | 74k| 1 | 50k| 32 | 0.000000e+00 | -- | Inf | 56.39%
149.20/149.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
149.20/149.81 c 150s| 33300 | 115 |937518 | 26.3 | 161M | 42 |2179 | 14k| 0 | 74k| 0 | 50k| 32 | 0.000000e+00 | -- | Inf | 56.72%
149.50/150.18 c 150s| 33400 | 108 |939706 | 26.3 | 161M | 42 |2179 | 14k|4761 | 74k| 1 | 50k| 32 | 0.000000e+00 | -- | Inf | 57.19%
149.89/150.56 c 151s| 33500 | 107 |942042 | 26.3 | 161M | 42 |2179 | 14k|4682 | 75k| 1 | 50k| 32 | 0.000000e+00 | -- | Inf | 57.59%
150.40/151.09 c 151s| 33600 | 115 |945463 | 26.3 | 162M | 42 |2179 | 14k| 0 | 75k| 0 | 50k| 32 | 0.000000e+00 | -- | Inf | 58.17%
150.89/151.51 c 152s| 33700 | 100 |948170 | 26.3 | 162M | 42 |2179 | 14k| 0 | 76k| 0 | 50k| 32 | 0.000000e+00 | -- | Inf | 58.96%
151.19/151.84 c 152s| 33800 | 80 |949305 | 26.3 | 162M | 42 |2179 | 14k|4758 | 76k| 1 | 50k| 32 | 0.000000e+00 | -- | Inf | 59.59%
151.59/152.20 c 152s| 33900 | 78 |951284 | 26.3 | 162M | 42 |2179 | 14k|4735 | 76k| 1 | 51k| 32 | 0.000000e+00 | -- | Inf | 59.71%
152.19/152.83 c 153s| 34000 | 71 |955968 | 26.3 | 162M | 42 |2179 | 14k|4746 | 77k| 1 | 51k| 32 | 0.000000e+00 | -- | Inf | 61.35%
152.68/153.33 c 153s| 34100 | 57 |958947 | 26.3 | 162M | 42 |2179 | 13k| 0 | 77k| 0 | 51k| 32 | 0.000000e+00 | -- | Inf | 62.22%
153.08/153.78 c 154s| 34200 | 52 |961664 | 26.4 | 162M | 42 |2179 | 13k| 0 | 78k| 0 | 51k| 32 | 0.000000e+00 | -- | Inf | 63.00%
153.58/154.20 c 154s| 34300 | 45 |964377 | 26.4 | 162M | 42 |2179 | 13k|4750 | 78k| 1 | 51k| 32 | 0.000000e+00 | -- | Inf | 64.09%
153.88/154.59 c 155s| 34400 | 41 |966602 | 26.3 | 162M | 42 |2179 | 13k| 0 | 78k| 0 | 51k| 32 | 0.000000e+00 | -- | Inf | 64.56%
154.28/154.92 c 155s| 34500 | 41 |967870 | 26.3 | 162M | 42 |2179 | 13k|4775 | 79k| 1 | 51k| 32 | 0.000000e+00 | -- | Inf | 64.75%
154.68/155.36 c 155s| 34600 | 45 |970586 | 26.3 | 163M | 42 |2179 | 13k|4772 | 79k| 1 | 51k| 32 | 0.000000e+00 | -- | Inf | 64.95%
155.07/155.77 c 156s| 34700 | 40 |973286 | 26.3 | 163M | 42 |2179 | 13k| 0 | 79k| 0 | 52k| 32 | 0.000000e+00 | -- | Inf | 65.27%
155.38/156.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
155.38/156.03 c 156s| 34800 | 39 |974640 | 26.3 | 163M | 42 |2179 | 13k| 0 | 79k| 0 | 52k| 32 | 0.000000e+00 | -- | Inf | 65.34%
155.87/156.58 c 157s| 34900 | 36 |978425 | 26.3 | 163M | 42 |2179 | 13k| 0 | 80k| 0 | 52k| 32 | 0.000000e+00 | -- | Inf | 65.65%
156.47/157.11 c 157s| 35000 | 34 |982482 | 26.3 | 163M | 42 |2179 | 13k|4756 | 80k| 1 | 52k| 32 | 0.000000e+00 | -- | Inf | 67.21%
156.97/157.61 c 158s| 35100 | 37 |984247 | 26.3 | 163M | 42 |2179 | 14k| 0 | 81k| 0 | 52k| 32 | 0.000000e+00 | -- | Inf | 67.29%
157.37/158.03 c 158s| 35200 | 36 |987363 | 26.3 | 163M | 42 |2179 | 13k|4780 | 81k| 1 | 52k| 32 | 0.000000e+00 | -- | Inf | 67.82%
157.77/158.47 c 158s| 35300 | 43 |991486 | 26.4 | 163M | 42 |2179 | 14k|4771 | 82k| 1 | 52k| 32 | 0.000000e+00 | -- | Inf | 68.30%
158.27/158.96 c 159s| 35400 | 38 |994753 | 26.4 | 163M | 42 |2179 | 14k|4790 | 83k| 1 | 52k| 32 | 0.000000e+00 | -- | Inf | 69.31%
158.96/159.60 c 160s| 35500 | 31 |999193 | 26.4 | 163M | 42 |2179 | 14k|4772 | 84k| 1 | 53k| 32 | 0.000000e+00 | -- | Inf | 70.43%
159.37/160.04 c 160s| 35600 | 34 | 1002k| 26.5 | 165M | 42 |2179 | 14k|4752 | 84k| 0 | 53k| 32 | 0.000000e+00 | -- | Inf | 70.83%
159.86/160.52 c 161s| 35700 | 33 | 1006k| 26.5 | 166M | 42 |2179 | 14k|4766 | 84k| 1 | 53k| 32 | 0.000000e+00 | -- | Inf | 71.06%
160.26/160.97 c 161s| 35800 | 39 | 1009k| 26.5 | 166M | 42 |2179 | 14k|4771 | 85k| 1 | 53k| 32 | 0.000000e+00 | -- | Inf | 71.21%
160.66/161.31 c 161s| 35900 | 34 | 1012k| 26.5 | 166M | 42 |2179 | 14k|4746 | 85k| 1 | 53k| 32 | 0.000000e+00 | -- | Inf | 71.45%
161.25/161.99 c 162s| 36000 | 34 | 1016k| 26.6 | 166M | 42 |2179 | 13k|4773 | 85k| 1 | 53k| 32 | 0.000000e+00 | -- | Inf | 71.97%
161.75/162.47 c 162s| 36100 | 36 | 1020k| 26.6 | 166M | 42 |2179 | 13k|4795 | 86k| 2 | 53k| 32 | 0.000000e+00 | -- | Inf | 72.13%
162.15/162.81 c 163s| 36200 | 40 | 1022k| 26.6 | 166M | 42 |2179 | 14k|4767 | 86k| 1 | 53k| 32 | 0.000000e+00 | -- | Inf | 72.25%
162.45/163.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
162.45/163.14 c 163s| 36300 | 39 | 1024k| 26.5 | 166M | 42 |2179 | 14k|4789 | 86k| 2 | 53k| 32 | 0.000000e+00 | -- | Inf | 72.39%
162.75/163.48 c 163s| 36400 | 39 | 1026k| 26.5 | 166M | 42 |2179 | 14k|4745 | 86k| 1 | 54k| 32 | 0.000000e+00 | -- | Inf | 72.46%
163.25/163.96 c 164s| 36500 | 37 | 1029k| 26.5 | 166M | 42 |2179 | 14k|4755 | 86k| 1 | 54k| 32 | 0.000000e+00 | -- | Inf | 72.65%
163.54/164.24 c 164s| 36600 | 32 | 1031k| 26.5 | 166M | 42 |2179 | 14k|4752 | 86k| 1 | 54k| 32 | 0.000000e+00 | -- | Inf | 72.74%
163.94/164.60 c 165s| 36700 | 32 | 1033k| 26.5 | 166M | 42 |2179 | 14k|4760 | 86k| 1 | 54k| 32 | 0.000000e+00 | -- | Inf | 72.90%
164.54/165.23 c 165s| 36800 | 29 | 1037k| 26.5 | 167M | 42 |2179 | 14k|4752 | 87k| 1 | 54k| 32 | 0.000000e+00 | -- | Inf | 73.67%
165.04/165.71 c 166s| 36900 | 33 | 1039k| 26.5 | 167M | 42 |2179 | 14k|4772 | 87k| 1 | 54k| 32 | 0.000000e+00 | -- | Inf | 73.93%
165.64/166.35 c 166s| 37000 | 39 | 1042k| 26.5 | 167M | 42 |2179 | 14k| 0 | 88k| 0 | 54k| 32 | 0.000000e+00 | -- | Inf | 74.11%
166.04/166.74 c 167s| 37100 | 39 | 1044k| 26.5 | 167M | 42 |2179 | 14k|4770 | 88k| 1 | 55k| 32 | 0.000000e+00 | -- | Inf | 74.13%
166.34/167.06 c 167s| 37200 | 37 | 1046k| 26.5 | 167M | 42 |2179 | 14k|4770 | 88k| 1 | 55k| 32 | 0.000000e+00 | -- | Inf | 74.15%
166.63/167.39 c 167s| 37300 | 26 | 1047k| 26.5 | 167M | 42 |2179 | 14k|4682 | 88k| 1 | 55k| 32 | 0.000000e+00 | -- | Inf | 74.45%
167.23/167.97 c 168s| 37400 | 29 | 1050k| 26.5 | 167M | 42 |2179 | 14k|4772 | 89k| 1 | 55k| 32 | 0.000000e+00 | -- | Inf | 74.97%
167.63/168.33 c 168s| 37500 | 32 | 1051k| 26.4 | 167M | 42 |2179 | 14k| 0 | 89k| 0 | 55k| 32 | 0.000000e+00 | -- | Inf | 75.11%
168.03/168.78 c 169s| 37600 | 31 | 1054k| 26.4 | 167M | 42 |2179 | 14k| 0 | 89k| 0 | 55k| 32 | 0.000000e+00 | -- | Inf | 75.25%
168.33/169.09 c 169s| 37700 | 27 | 1056k| 26.4 | 167M | 42 |2179 | 14k| 0 | 89k| 0 | 55k| 32 | 0.000000e+00 | -- | Inf | 75.32%
168.82/169.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
168.82/169.53 c 170s| 37800 | 30 | 1059k| 26.4 | 169M | 42 |2179 | 14k|4765 | 89k| 1 | 56k| 32 | 0.000000e+00 | -- | Inf | 75.44%
169.12/169.85 c 170s| 37900 | 28 | 1060k| 26.4 | 169M | 42 |2179 | 14k| 0 | 90k| 0 | 56k| 32 | 0.000000e+00 | -- | Inf | 75.55%
169.62/170.31 c 170s| 38000 | 29 | 1064k| 26.4 | 169M | 42 |2179 | 14k|4769 | 90k| 1 | 56k| 32 | 0.000000e+00 | -- | Inf | 75.73%
170.02/170.74 c 171s| 38100 | 26 | 1066k| 26.4 | 169M | 42 |2179 | 14k|4782 | 90k| 1 | 56k| 32 | 0.000000e+00 | -- | Inf | 75.89%
170.42/171.15 c 171s| 38200 | 26 | 1069k| 26.4 | 169M | 42 |2179 | 14k|4779 | 90k| 1 | 56k| 32 | 0.000000e+00 | -- | Inf | 75.99%
170.92/171.60 c 172s| 38300 | 28 | 1072k| 26.4 | 169M | 42 |2179 | 14k|4754 | 90k| 1 | 56k| 32 | 0.000000e+00 | -- | Inf | 76.32%
171.42/172.15 c 172s| 38400 | 27 | 1076k| 26.4 | 169M | 42 |2179 | 14k|4764 | 91k| 1 | 56k| 32 | 0.000000e+00 | -- | Inf | 76.98%
172.11/172.87 c 173s| 38500 | 39 | 1082k| 26.5 | 169M | 42 |2179 | 14k| 0 | 92k| 0 | 57k| 32 | 0.000000e+00 | -- | Inf | 77.26%
172.61/173.34 c 173s| 38600 | 31 | 1084k| 26.5 | 169M | 42 |2179 | 14k|4766 | 92k| 1 | 57k| 32 | 0.000000e+00 | -- | Inf | 77.69%
173.11/173.81 c 174s| 38700 | 23 | 1087k| 26.5 | 169M | 42 |2179 | 14k| 0 | 92k| 0 | 57k| 32 | 0.000000e+00 | -- | Inf | 78.13%
173.70/174.40 c 174s| 38800 | 43 | 1093k| 26.6 | 169M | 42 |2179 | 14k|4780 | 92k| 1 | 57k| 32 | 0.000000e+00 | -- | Inf | 78.38%
174.10/174.89 c 175s| 38900 | 45 | 1098k| 26.7 | 171M | 42 |2179 | 14k|4780 | 93k| 1 | 57k| 32 | 0.000000e+00 | -- | Inf | 78.59%
174.70/175.45 c 175s| 39000 | 51 | 1102k| 26.7 | 171M | 42 |2179 | 14k|4753 | 94k| 1 | 57k| 32 | 0.000000e+00 | -- | Inf | 79.23%
175.10/175.83 c 176s| 39100 | 29 | 1104k| 26.7 | 171M | 42 |2179 | 14k|4770 | 94k| 1 | 58k| 32 | 0.000000e+00 | -- | Inf | 79.78%
175.40/176.18 c 176s| 39200 | 28 | 1106k| 26.7 | 171M | 42 |2179 | 14k| 0 | 94k| 0 | 58k| 32 | 0.000000e+00 | -- | Inf | 79.84%
175.80/176.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
175.80/176.59 c 177s| 39300 | 29 | 1108k| 26.7 | 171M | 42 |2179 | 14k|4763 | 94k| 1 | 58k| 32 | 0.000000e+00 | -- | Inf | 80.02%
176.30/177.01 c 177s| 39400 | 28 | 1111k| 26.7 | 171M | 42 |2179 | 14k| 0 | 94k| 0 | 58k| 32 | 0.000000e+00 | -- | Inf | 80.29%
176.79/177.56 c 178s| 39500 | 34 | 1116k| 26.7 | 171M | 42 |2179 | 14k|4759 | 95k| 1 | 58k| 32 | 0.000000e+00 | -- | Inf | 80.54%
177.19/177.98 c 178s| 39600 | 38 | 1118k| 26.7 | 171M | 42 |2179 | 14k|4768 | 95k| 1 | 58k| 32 | 0.000000e+00 | -- | Inf | 80.71%
177.59/178.36 c 178s| 39700 | 33 | 1120k| 26.7 | 171M | 42 |2179 | 14k|4770 | 95k| 1 | 59k| 32 | 0.000000e+00 | -- | Inf | 80.75%
177.89/178.69 c 179s| 39800 | 35 | 1121k| 26.6 | 171M | 42 |2179 | 14k| 0 | 95k| 0 | 59k| 32 | 0.000000e+00 | -- | Inf | 80.77%
178.29/179.06 c 179s| 39900 | 34 | 1123k| 26.6 | 171M | 42 |2179 | 14k|4770 | 95k| 1 | 59k| 32 | 0.000000e+00 | -- | Inf | 80.83%
178.68/179.43 c 179s| 40000 | 34 | 1125k| 26.6 | 171M | 42 |2179 | 14k|4764 | 95k| 1 | 59k| 32 | 0.000000e+00 | -- | Inf | 80.90%
179.08/179.83 c 180s| 40100 | 36 | 1126k| 26.6 | 171M | 42 |2179 | 14k|4763 | 96k| 1 | 59k| 32 | 0.000000e+00 | -- | Inf | 81.07%
179.39/180.15 c 180s| 40200 | 24 | 1127k| 26.5 | 171M | 42 |2179 | 14k| 0 | 96k| 0 | 59k| 32 | 0.000000e+00 | -- | Inf | 81.20%
179.78/180.59 c 181s| 40300 | 33 | 1131k| 26.6 | 172M | 42 |2179 | 14k|4768 | 96k| 1 | 60k| 32 | 0.000000e+00 | -- | Inf | 81.29%
180.28/181.08 c 181s| 40400 | 31 | 1135k| 26.6 | 172M | 42 |2179 | 14k|4778 | 96k| 1 | 60k| 32 | 0.000000e+00 | -- | Inf | 81.88%
180.68/181.41 c 181s| 40500 | 29 | 1136k| 26.6 | 172M | 42 |2179 | 14k|4760 | 96k| 1 | 60k| 32 | 0.000000e+00 | -- | Inf | 82.04%
180.98/181.70 c 182s| 40600 | 25 | 1138k| 26.5 | 172M | 42 |2179 | 14k|4760 | 96k| 1 | 60k| 32 | 0.000000e+00 | -- | Inf | 82.17%
181.47/182.29 c 182s| 40700 | 34 | 1141k| 26.6 | 172M | 42 |2179 | 14k| 0 | 97k| 0 | 60k| 32 | 0.000000e+00 | -- | Inf | 82.32%
181.87/182.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
181.87/182.63 c 183s| 40800 | 36 | 1143k| 26.5 | 172M | 42 |2179 | 14k|4768 | 97k| 1 | 60k| 32 | 0.000000e+00 | -- | Inf | 82.42%
182.27/183.05 c 183s| 40900 | 34 | 1146k| 26.5 | 172M | 42 |2179 | 14k| 0 | 97k| 0 | 60k| 32 | 0.000000e+00 | -- | Inf | 82.70%
182.67/183.43 c 183s| 41000 | 35 | 1148k| 26.5 | 172M | 42 |2179 | 14k|4767 | 98k| 1 | 61k| 32 | 0.000000e+00 | -- | Inf | 82.84%
182.97/183.74 c 184s| 41100 | 35 | 1149k| 26.5 | 172M | 42 |2179 | 14k|4766 | 98k| 1 | 61k| 32 | 0.000000e+00 | -- | Inf | 82.95%
183.27/184.05 c 184s| 41200 | 24 | 1151k| 26.5 | 172M | 42 |2179 | 14k|4794 | 98k| 1 | 61k| 32 | 0.000000e+00 | -- | Inf | 83.08%
183.66/184.49 c 184s| 41300 | 32 | 1154k| 26.5 | 172M | 42 |2179 | 14k|4768 | 98k| 1 | 61k| 32 | 0.000000e+00 | -- | Inf | 83.39%
184.06/184.86 c 185s| 41400 | 28 | 1156k| 26.5 | 172M | 42 |2179 | 14k|4791 | 98k| 1 | 61k| 32 | 0.000000e+00 | -- | Inf | 83.52%
184.37/185.19 c 185s| 41500 | 23 | 1157k| 26.4 | 172M | 42 |2179 | 14k| 0 | 98k| 0 | 61k| 32 | 0.000000e+00 | -- | Inf | 83.68%
185.06/185.84 c 186s| 41600 | 34 | 1161k| 26.5 | 172M | 42 |2179 | 14k|4764 | 99k| 1 | 62k| 32 | 0.000000e+00 | -- | Inf | 83.98%
185.46/186.25 c 186s| 41700 | 34 | 1163k| 26.5 | 172M | 42 |2179 | 14k|4780 | 99k| 1 | 62k| 32 | 0.000000e+00 | -- | Inf | 84.19%
186.06/186.86 c 187s| 41800 | 41 | 1167k| 26.5 | 172M | 42 |2179 | 14k|4766 | 100k| 1 | 62k| 32 | 0.000000e+00 | -- | Inf | 84.46%
186.45/187.22 c 187s| 41900 | 33 | 1169k| 26.5 | 172M | 42 |2179 | 14k|4760 | 100k| 1 | 62k| 32 | 0.000000e+00 | -- | Inf | 84.81%
186.75/187.52 c 188s| 42000 | 26 | 1171k| 26.4 | 172M | 42 |2179 | 14k| 0 | 100k| 0 | 62k| 32 | 0.000000e+00 | -- | Inf | 85.19%
187.25/188.01 c 188s| 42100 | 31 | 1175k| 26.5 | 172M | 42 |2179 | 14k|4793 | 100k| 1 | 62k| 32 | 0.000000e+00 | -- | Inf | 85.39%
187.55/188.35 c 188s| 42200 | 25 | 1176k| 26.4 | 172M | 42 |2179 | 14k| 0 | 100k| 0 | 62k| 32 | 0.000000e+00 | -- | Inf | 85.53%
187.95/188.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
187.95/188.77 c 189s| 42300 | 33 | 1178k| 26.4 | 172M | 42 |2179 | 14k| 0 | 101k| 0 | 63k| 32 | 0.000000e+00 | -- | Inf | 85.67%
188.44/189.23 c 189s| 42400 | 29 | 1181k| 26.4 | 172M | 42 |2179 | 14k| 0 | 101k| 0 | 63k| 32 | 0.000000e+00 | -- | Inf | 85.80%
188.84/189.65 c 190s| 42500 | 25 | 1183k| 26.4 | 172M | 42 |2179 | 14k|4788 | 101k| 1 | 63k| 32 | 0.000000e+00 | -- | Inf | 85.97%
189.14/189.99 c 190s| 42600 | 25 | 1184k| 26.4 | 172M | 42 |2179 | 14k|4784 | 101k| 1 | 63k| 32 | 0.000000e+00 | -- | Inf | 86.12%
189.54/190.38 c 190s| 42700 | 25 | 1187k| 26.4 | 172M | 42 |2179 | 14k|4798 | 102k| 1 | 63k| 32 | 0.000000e+00 | -- | Inf | 86.38%
189.94/190.79 c 191s| 42800 | 21 | 1191k| 26.4 | 172M | 42 |2179 | 14k| 0 | 102k| 0 | 63k| 32 | 0.000000e+00 | -- | Inf | 86.74%
190.64/191.41 c 191s| 42900 | 34 | 1194k| 26.4 | 172M | 42 |2179 | 14k|4770 | 103k| 1 | 63k| 32 | 0.000000e+00 | -- | Inf | 86.94%
191.03/191.82 c 192s| 43000 | 24 | 1197k| 26.4 | 172M | 42 |2179 | 14k|4775 | 103k| 1 | 63k| 32 | 0.000000e+00 | -- | Inf | 87.13%
191.34/192.15 c 192s| 43100 | 21 | 1199k| 26.4 | 172M | 42 |2179 | 14k|4775 | 103k| 1 | 64k| 32 | 0.000000e+00 | -- | Inf | 87.23%
191.93/192.74 c 193s| 43200 | 18 | 1204k| 26.5 | 172M | 42 |2179 | 14k|4736 | 103k| 1 | 64k| 32 | 0.000000e+00 | -- | Inf | 87.40%
192.43/193.23 c 193s| 43300 | 17 | 1207k| 26.5 | 172M | 42 |2179 | 14k| 0 | 103k| 0 | 64k| 32 | 0.000000e+00 | -- | Inf | 87.96%
193.03/193.85 c 194s| 43400 | 24 | 1211k| 26.5 | 172M | 42 |2179 | 14k| 0 | 104k| 0 | 64k| 32 | 0.000000e+00 | -- | Inf | 88.89%
193.52/194.36 c 194s| 43500 | 18 | 1213k| 26.5 | 172M | 42 |2179 | 14k| 0 | 104k| 0 | 64k| 32 | 0.000000e+00 | -- | Inf | 89.31%
194.12/194.93 c 195s| 43600 | 19 | 1216k| 26.5 | 172M | 42 |2179 | 14k| 0 | 105k| 0 | 64k| 32 | 0.000000e+00 | -- | Inf | 89.79%
194.62/195.40 c 195s| 43700 | 29 | 1218k| 26.5 | 172M | 42 |2179 | 14k|4772 | 105k| 1 | 64k| 32 | 0.000000e+00 | -- | Inf | 90.02%
195.02/195.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
195.02/195.87 c 196s| 43800 | 34 | 1222k| 26.5 | 172M | 42 |2179 | 14k|4796 | 106k| 2 | 65k| 32 | 0.000000e+00 | -- | Inf | 90.29%
195.42/196.25 c 196s| 43900 | 33 | 1224k| 26.5 | 172M | 42 |2179 | 14k|4759 | 106k| 1 | 65k| 32 | 0.000000e+00 | -- | Inf | 90.51%
195.82/196.63 c 197s| 44000 | 29 | 1226k| 26.5 | 172M | 42 |2179 | 14k| 0 | 106k| 0 | 65k| 32 | 0.000000e+00 | -- | Inf | 90.70%
196.23/197.01 c 197s| 44100 | 38 | 1228k| 26.5 | 172M | 42 |2179 | 14k|4782 | 106k| 1 | 65k| 32 | 0.000000e+00 | -- | Inf | 90.85%
196.62/197.45 c 197s| 44200 | 29 | 1230k| 26.5 | 172M | 42 |2179 | 14k| 0 | 106k| 0 | 65k| 32 | 0.000000e+00 | -- | Inf | 90.99%
197.22/198.06 c 198s| 44300 | 25 | 1233k| 26.5 | 172M | 42 |2179 | 14k| 0 | 107k| 0 | 65k| 32 | 0.000000e+00 | -- | Inf | 91.44%
197.52/198.39 c 198s| 44400 | 25 | 1234k| 26.4 | 172M | 42 |2179 | 14k|4775 | 107k| 1 | 66k| 32 | 0.000000e+00 | -- | Inf | 91.55%
197.92/198.76 c 199s| 44500 | 24 | 1236k| 26.4 | 172M | 42 |2179 | 14k|4769 | 107k| 1 | 66k| 32 | 0.000000e+00 | -- | Inf | 91.73%
198.41/199.25 c 199s| 44600 | 17 | 1239k| 26.4 | 173M | 42 |2179 | 14k|4773 | 108k| 1 | 66k| 32 | 0.000000e+00 | -- | Inf | 91.97%
198.81/199.62 c 200s| 44700 | 15 | 1241k| 26.4 | 173M | 42 |2179 | 14k|4788 | 108k| 1 | 66k| 32 | 0.000000e+00 | -- | Inf | 92.30%
199.32/200.12 c 200s| 44800 | 19 | 1245k| 26.4 | 173M | 42 |2179 | 14k| 0 | 108k| 0 | 66k| 32 | 0.000000e+00 | -- | Inf | 92.51%
199.81/200.66 c 201s| 44900 | 13 | 1249k| 26.5 | 173M | 42 |2179 | 14k| 0 | 108k| 0 | 66k| 32 | 0.000000e+00 | -- | Inf | 92.77%
200.31/201.13 c 201s| 45000 | 21 | 1254k| 26.5 | 173M | 42 |2179 | 14k| 0 | 109k| 0 | 66k| 32 | 0.000000e+00 | -- | Inf | 92.91%
200.71/201.53 c 202s| 45100 | 25 | 1256k| 26.5 | 173M | 42 |2179 | 14k| 0 | 109k| 0 | 67k| 32 | 0.000000e+00 | -- | Inf | 93.01%
201.10/201.94 c 202s| 45200 | 26 | 1258k| 26.5 | 173M | 42 |2179 | 14k|4776 | 109k| 1 | 67k| 32 | 0.000000e+00 | -- | Inf | 93.16%
201.50/202.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
201.50/202.33 c 202s| 45300 | 20 | 1260k| 26.5 | 173M | 42 |2179 | 14k|4780 | 109k| 1 | 67k| 32 | 0.000000e+00 | -- | Inf | 93.29%
201.80/202.69 c 203s| 45400 | 21 | 1261k| 26.5 | 175M | 42 |2179 | 14k|4786 | 109k| 1 | 67k| 32 | 0.000000e+00 | -- | Inf | 93.38%
202.20/203.02 c 203s| 45500 | 17 | 1263k| 26.4 | 175M | 42 |2179 | 14k| 0 | 109k| 0 | 67k| 32 | 0.000000e+00 | -- | Inf | 93.48%
202.60/203.41 c 203s| 45600 | 17 | 1265k| 26.4 | 175M | 42 |2179 | 14k|4785 | 110k| 1 | 67k| 32 | 0.000000e+00 | -- | Inf | 93.55%
202.90/203.74 c 204s| 45700 | 15 | 1267k| 26.4 | 175M | 42 |2179 | 14k|4785 | 110k| 1 | 68k| 32 | 0.000000e+00 | -- | Inf | 93.82%
203.49/204.31 c 204s| 45800 | 18 | 1271k| 26.4 | 178M | 42 |2179 | 14k|4774 | 110k| 1 | 68k| 32 | 0.000000e+00 | -- | Inf | 94.25%
203.79/204.69 c 205s| 45900 | 15 | 1274k| 26.4 | 178M | 42 |2179 | 14k| 0 | 111k| 0 | 68k| 32 | 0.000000e+00 | -- | Inf | 94.51%
204.20/205.05 c 205s| 46000 | 22 | 1276k| 26.4 | 178M | 42 |2179 | 14k|4799 | 111k| 1 | 68k| 32 | 0.000000e+00 | -- | Inf | 94.71%
204.69/205.51 c 206s| 46100 | 17 | 1280k| 26.5 | 178M | 42 |2179 | 14k| 0 | 111k| 0 | 68k| 32 | 0.000000e+00 | -- | Inf | 94.77%
204.99/205.87 c 206s| 46200 | 19 | 1282k| 26.4 | 178M | 42 |2179 | 14k| 0 | 111k| 0 | 68k| 32 | 0.000000e+00 | -- | Inf | 94.96%
205.39/206.23 c 206s| 46300 | 14 | 1284k| 26.4 | 178M | 42 |2179 | 14k|4782 | 112k| 1 | 68k| 32 | 0.000000e+00 | -- | Inf | 95.19%
205.69/206.57 c 207s| 46400 | 15 | 1286k| 26.4 | 178M | 42 |2179 | 14k|4807 | 112k| 1 | 69k| 32 | 0.000000e+00 | -- | Inf | 95.25%
206.19/207.02 c 207s| 46500 | 17 | 1289k| 26.4 | 178M | 42 |2179 | 14k|4828 | 112k| 2 | 69k| 32 | 0.000000e+00 | -- | Inf | 95.38%
206.68/207.51 c 208s| 46600 | 17 | 1292k| 26.4 | 178M | 42 |2179 | 14k| 0 | 113k| 0 | 69k| 32 | 0.000000e+00 | -- | Inf | 95.79%
207.08/207.90 c 208s| 46700 | 12 | 1295k| 26.4 | 178M | 42 |2179 | 14k|4776 | 113k| 1 | 69k| 32 | 0.000000e+00 | -- | Inf | 96.16%
207.38/208.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
207.38/208.28 c 208s| 46800 | 16 | 1297k| 26.4 | 178M | 42 |2179 | 14k|4783 | 114k| 1 | 69k| 32 | 0.000000e+00 | -- | Inf | 96.34%
207.77/208.61 c 209s| 46900 | 17 | 1299k| 26.4 | 178M | 42 |2179 | 14k|4781 | 114k| 1 | 69k| 32 | 0.000000e+00 | -- | Inf | 96.41%
208.07/208.94 c 209s| 47000 | 11 | 1300k| 26.4 | 178M | 42 |2179 | 14k| 0 | 114k| 0 | 69k| 32 | 0.000000e+00 | -- | Inf | 96.47%
208.47/209.35 c 209s| 47100 | 14 | 1303k| 26.4 | 178M | 42 |2179 | 14k|4797 | 114k| 1 | 70k| 32 | 0.000000e+00 | -- | Inf | 96.66%
208.77/209.69 c 210s| 47200 | 10 | 1306k| 26.4 | 178M | 42 |2179 | 14k|4790 | 114k| 1 | 70k| 32 | 0.000000e+00 | -- | Inf | 96.85%
209.27/210.17 c 210s| 47300 | 14 | 1310k| 26.4 | 178M | 42 |2179 | 14k| 0 | 115k| 0 | 70k| 32 | 0.000000e+00 | -- | Inf | 96.99%
209.77/210.63 c 211s| 47400 | 19 | 1313k| 26.4 | 178M | 42 |2179 | 14k| 0 | 115k| 0 | 70k| 32 | 0.000000e+00 | -- | Inf | 97.33%
210.07/210.98 c 211s| 47500 | 23 | 1315k| 26.4 | 178M | 42 |2179 | 14k| 0 | 115k| 0 | 70k| 32 | 0.000000e+00 | -- | Inf | 97.44%
210.36/211.29 c 211s| 47600 | 14 | 1316k| 26.4 | 178M | 42 |2179 | 14k|4781 | 115k| 1 | 70k| 32 | 0.000000e+00 | -- | Inf | 97.52%
210.76/211.69 c 212s| 47700 | 16 | 1320k| 26.4 | 178M | 42 |2179 | 14k|4775 | 116k| 1 | 70k| 32 | 0.000000e+00 | -- | Inf | 97.78%
211.36/212.25 c 212s| 47800 | 15 | 1323k| 26.4 | 178M | 42 |2179 | 14k| 0 | 116k| 0 | 71k| 32 | 0.000000e+00 | -- | Inf | 98.06%
211.76/212.63 c 213s| 47900 | 18 | 1325k| 26.4 | 178M | 42 |2179 | 14k|4774 | 116k| 1 | 71k| 32 | 0.000000e+00 | -- | Inf | 98.22%
212.06/213.00 c 213s| 48000 | 14 | 1327k| 26.4 | 178M | 42 |2179 | 14k|4790 | 117k| 1 | 71k| 32 | 0.000000e+00 | -- | Inf | 98.35%
212.46/213.33 c 213s| 48100 | 10 | 1329k| 26.4 | 178M | 42 |2179 | 14k| 0 | 117k| 0 | 71k| 32 | 0.000000e+00 | -- | Inf | 98.46%
212.76/213.69 c 214s| 48200 | 12 | 1331k| 26.4 | 178M | 42 |2179 | 14k|4811 | 117k| 1 | 71k| 32 | 0.000000e+00 | -- | Inf | 98.55%
213.26/214.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
213.26/214.14 c 214s| 48300 | 13 | 1334k| 26.4 | 178M | 42 |2179 | 14k| 0 | 117k| 0 | 71k| 32 | 0.000000e+00 | -- | Inf | 98.60%
213.65/214.51 c 215s| 48400 | 12 | 1336k| 26.4 | 178M | 42 |2179 | 14k| 0 | 117k| 0 | 72k| 32 | 0.000000e+00 | -- | Inf | 98.66%
214.05/214.96 c 215s| 48500 | 15 | 1340k| 26.4 | 178M | 42 |2179 | 14k|4756 | 118k| 1 | 72k| 32 | 0.000000e+00 | -- | Inf | 98.75%
214.55/215.45 c 215s| 48600 | 15 | 1344k| 26.4 | 178M | 42 |2179 | 14k|4756 | 118k| 1 | 72k| 32 | 0.000000e+00 | -- | Inf | 98.89%
214.85/215.77 c 216s| 48700 | 13 | 1346k| 26.4 | 178M | 42 |2179 | 14k| 0 | 118k| 0 | 72k| 32 | 0.000000e+00 | -- | Inf | 98.95%
215.25/216.15 c 216s| 48800 | 8 | 1349k| 26.4 | 178M | 42 |2179 | 14k|4763 | 118k| 1 | 72k| 32 | 0.000000e+00 | -- | Inf | 99.23%
215.64/216.53 c 217s| 48900 | 9 | 1351k| 26.4 | 178M | 42 |2179 | 13k| 0 | 118k| 0 | 72k| 32 | 0.000000e+00 | -- | Inf | 99.40%
216.15/217.07 c 217s| 49000 | 7 | 1355k| 26.4 | 178M | 42 |2179 | 13k|4760 | 118k| 1 | 72k| 32 | 0.000000e+00 | -- | Inf | 99.48%
216.54/217.40 c 217s| 49100 | 7 | 1357k| 26.4 | 178M | 42 |2179 | 13k|4763 | 118k| 1 | 73k| 32 | 0.000000e+00 | -- | Inf | 99.59%
217.04/217.94 c 218s| 49200 | 10 | 1361k| 26.4 | 178M | 42 |2179 | 13k|4789 | 119k| 1 | 73k| 32 | 0.000000e+00 | -- | Inf | 99.74%
217.93/218.88 c 219s| 49300 | 6 | 1366k| 26.5 | 178M | 42 |2179 | 13k|4777 | 119k| 1 | 73k| 32 | 0.000000e+00 | -- | Inf | 99.86%
218.24/219.18 c 219s| 49400 | 20 | 1369k| 26.5 | 178M | 42 |2179 |9605 | 0 | 119k| 0 | 73k| 32 | 0.000000e+00 | -- | Inf | 99.95%
218.73/219.62 c 220s| 49500 | 7 | 1373k| 26.5 | 178M | 42 |2179 |7576 |4782 | 120k| 1 | 73k| 32 | 0.000000e+00 | -- | Inf | 99.97%
218.93/219.89 c
218.93/219.89 c SCIP Status : problem is solved [infeasible]
218.93/219.89 c Solving Time (sec) : 219.89
218.93/219.89 c Solving Nodes : 49588 (total of 51476 nodes in 2 runs)
218.93/219.89 c Primal Bound : +1.00000000000000e+20 (0 solutions)
218.93/219.89 c Dual Bound : +1.00000000000000e+20
218.93/219.89 c Gap : 0.00 %
218.93/219.89 s UNSATISFIABLE
218.93/219.89 c SCIP Status : problem is solved [infeasible]
218.93/219.89 c Total Time : 219.89
218.93/219.89 c solving : 219.89
218.93/219.89 c presolving : 0.12 (included in solving)
218.93/219.89 c reading : 0.01 (included in solving)
218.93/219.89 c copying : 1.02 (107 #copies) (minimal 0.01, maximal 0.03, average 0.01)
218.93/219.89 c Original Problem :
218.93/219.89 c Problem name : HOME/instance-4451525-1721428839.opb
218.93/219.89 c Variables : 2196 (2196 binary, 0 integer, 0 implicit integer, 0 continuous)
218.93/219.89 c Constraints : 4698 initial, 4698 maximal
218.93/219.89 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
218.93/219.89 c Presolved Problem :
218.93/219.89 c Problem name : t_HOME/instance-4451525-1721428839.opb
218.93/219.89 c Variables : 2179 (2179 binary, 0 integer, 0 implicit integer, 0 continuous)
218.93/219.89 c Constraints : 5562 initial, 14154 maximal
218.93/219.89 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
218.93/219.89 c Nonzeros : 18444 constraint, 10264 clique table
218.93/219.89 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
218.93/219.89 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c domcol : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
218.93/219.89 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
218.93/219.89 c gateextraction : 0.01 0.00 5 0 0 0 0 0 301 75 0 0
218.93/219.89 c implics : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
218.93/219.89 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
218.93/219.89 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
218.93/219.89 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c trivial : 0.00 0.00 12 7 0 0 0 0 0 0 0 0
218.93/219.89 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c dualfix : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
218.93/219.89 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c probing : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
218.93/219.89 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
218.93/219.89 c symmetry : 0.01 0.00 1 3 0 0 0 0 0 1 0 0
218.93/219.89 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
218.93/219.89 c knapsack : 0.00 0.00 17 0 0 0 0 0 3 4 4 15
218.93/219.89 c setppc : 0.02 0.00 24 0 7 0 0 0 67 0 0 0
218.93/219.89 c linear : 0.01 0.00 13 0 0 0 0 0 0 0 6 28
218.93/219.89 c orbitope : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
218.93/219.89 c logicor : 0.01 0.00 16 0 0 0 0 0 499 0 0 13
218.93/219.89 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
218.93/219.89 c root node : - - - 538 - - 538 - - - - -
218.93/219.89 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
218.93/219.89 c benderslp : 0 0 0 0 34579 0 0 3493 0 0 0 0 0 0 0
218.93/219.89 c integral : 0 0 0 0 34579 0 0 3493 0 0 0 0 0 0 69158
218.93/219.89 c knapsack : 25+ 45 11 617605 0 0 0 0 5781 83 24405 0 0 0 0
218.93/219.89 c setppc : 4614+ 4632 22 627118 0 0 0 3489 1972209 15506 4842671 1 0 0 0
218.93/219.89 c linear : 4+ 19 22 609641 0 0 0 2 7521 218 14925 11 9 0 0
218.93/219.89 c orbitope : 1 1 0 611294 0 0 0 0 7659 27 685 0 0 0 0
218.93/219.89 c logicor : 918+ 9490 22 493564 0 0 0 0 916209 13924 1385328 50 21 0 0
218.93/219.89 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
218.93/219.89 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
218.93/219.89 c integral : 4.94 0.00 0.00 0.00 4.93 0.00 0.00 0.00 0.00 0.00
218.93/219.89 c knapsack : 0.26 0.00 0.00 0.25 0.00 0.00 0.00 0.00 0.01 0.00
218.93/219.89 c setppc : 9.96 0.00 0.01 9.39 0.00 0.00 0.00 0.01 0.55 0.00
218.93/219.89 c linear : 0.24 0.00 0.00 0.23 0.00 0.00 0.00 0.00 0.01 0.00
218.93/219.89 c orbitope : 0.14 0.00 0.00 0.14 0.00 0.00 0.00 0.00 0.00 0.00
218.93/219.89 c logicor : 11.47 0.00 0.00 10.83 0.00 0.00 0.00 0.00 0.63 0.00
218.93/219.89 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
218.93/219.89 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
218.93/219.89 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
218.93/219.89 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
218.93/219.89 c Propagators : #Propagate #ResProp Cutoffs DomReds
218.93/219.89 c dualfix : 2 0 0 0
218.93/219.89 c genvbounds : 0 0 0 0
218.93/219.89 c nlobbt : 0 0 0 0
218.93/219.89 c obbt : 0 0 0 0
218.93/219.89 c probing : 0 0 0 0
218.93/219.89 c pseudoobj : 0 0 0 0
218.93/219.89 c redcost : 0 0 0 0
218.93/219.89 c rootredcost : 0 0 0 0
218.93/219.89 c symmetry : 0 0 0 0
218.93/219.89 c vbounds : 562394 0 0 0
218.93/219.89 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
218.93/219.89 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
218.93/219.89 c genvbounds : 0.05 0.00 0.00 0.05 0.00 0.00
218.93/219.89 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
218.93/219.89 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
218.93/219.89 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
218.93/219.89 c pseudoobj : 0.06 0.00 0.00 0.05 0.00 0.00
218.93/219.89 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
218.93/219.89 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
218.93/219.89 c symmetry : 0.09 0.00 0.01 0.08 0.00 0.00
218.93/219.89 c vbounds : 4.79 0.00 0.00 4.79 0.00 0.00
218.93/219.89 c Symmetry :
218.93/219.89 c orbitopal red. : 0 reductions applied, 0 cutoffs
218.93/219.89 c orbital reduction: 0 reductions applied, 0 cutoffs
218.93/219.89 c lexicographic red: 0 reductions applied, 0 cutoffs
218.93/219.89 c shadow tree time : 0.00 s
218.93/219.89 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
218.93/219.89 c propagation : 2.25 29716 27123 - 154816 32.5 3023 13.0 - - -
218.93/219.89 c infeasible LP : 0.61 1279 1279 - 4576 18.2 658 10.8 1278 6.8 0
218.93/219.89 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
218.93/219.89 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
218.93/219.89 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
218.93/219.89 c applied globally : 0.86 - - 1 71722 15.1 - - 1250 - -
218.93/219.89 c applied locally : - - - 0 546 25.9 - - 28 - -
218.93/219.89 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
218.93/219.89 c cut pool : 2.58 - 5984 42 - - 53115 789194 - - - - - (maximal pool size: 3785)
218.93/219.89 c aggregation : 0.67 0.00 984 22 0 0 14 97 4 3 1 2 0
218.93/219.89 c > cmir : - - - - - - - 97 0 1 1 0 -
218.93/219.89 c > flowcover : - - - - - - - 0 0 0 0 0 -
218.93/219.89 c > knapsackcover : - - - - - - - 0 4 2 0 2 -
218.93/219.89 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c clique : 0.22 0.00 22 22 0 0 143 1067 0 811 811 0 0
218.93/219.89 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c gomory : 23.23 0.00 982 20 0 0 51382 690547 2372 54955 54897 58 0
218.93/219.89 c > gomorymi : - - - - - - - 67403 1185 773 742 31 -
218.93/219.89 c > strongcg : - - - - - - - 623144 1187 54182 54155 27 -
218.93/219.89 c impliedbounds : 0.13 0.00 984 22 0 0 56 686 0 544 544 0 0
218.93/219.89 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
218.93/219.89 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c multilinear : 0.00 0.00 4264 22 0 0 0 0 0 0 0 0 0
218.93/219.89 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
218.93/219.89 c rapidlearning : 6.41 0.00 100 1 0 17897 0 0 0 0 0 0 211
218.93/219.89 c rlt : 0.00 0.00 719 20 0 0 0 0 0 0 0 0 0
218.93/219.89 c zerohalf : 2.97 0.00 984 22 0 0 9646 96797 5750 68119 66834 1285 0
218.93/219.89 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
218.93/219.89 c hybrid : 0.72 0.00 4624 22 124623 1 667145 681 0 6254
218.93/219.89 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c Pricers : ExecTime SetupTime Calls Vars
218.93/219.89 c problem variables: 0.00 - 0 0
218.93/219.89 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
218.93/219.89 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c random : 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c relpscost : 4.91 0.00 34579 0 0 0 0 0 0 69158
218.93/219.89 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
218.93/219.89 c Primal Heuristics : ExecTime SetupTime Calls Found Best
218.93/219.89 c LP solutions : 0.00 - - 0 0
218.93/219.89 c relax solutions : 0.00 - - 0 0
218.93/219.89 c pseudo solutions : 0.00 - - 0 0
218.93/219.89 c strong branching : 0.00 - - 0 0
218.93/219.89 c actconsdiving : 0.00 0.00 0 0 0
218.93/219.89 c adaptivediving : 0.57 0.00 32 0 0
218.93/219.89 c alns : 0.42 0.00 7 0 0
218.93/219.89 c bound : 0.00 0.00 0 0 0
218.93/219.89 c clique : 0.02 0.00 1 0 0
218.93/219.89 c coefdiving : 0.00 0.00 0 0 0
218.93/219.89 c completesol : 0.00 0.00 0 0 0
218.93/219.89 c conflictdiving : 0.67 0.00 110 0 0
218.93/219.90 c crossover : 0.01 0.00 0 0 0
218.93/219.90 c dins : 0.00 0.00 0 0 0
218.93/219.90 c distributiondivin: 1.55 0.00 110 0 0
218.93/219.90 c dps : 0.00 0.00 0 0 0
218.93/219.90 c dualval : 0.00 0.00 0 0 0
218.93/219.90 c farkasdiving : 0.00 0.00 0 0 0
218.93/219.90 c feasjump : 0.03 0.00 2 0 0
218.93/219.90 c feaspump : 1.39 0.00 27 0 0
218.93/219.90 c fixandinfer : 0.00 0.00 0 0 0
218.93/219.90 c fracdiving : 0.49 0.00 113 0 0
218.93/219.90 c gins : 0.01 0.00 0 0 0
218.93/219.90 c guideddiving : 0.00 0.00 0 0 0
218.93/219.90 c indcoefdiving : 0.00 0.00 0 0 0
218.93/219.90 c indicator : 0.02 0.00 0 0 0
218.93/219.90 c indicatordiving : 0.00 0.00 0 0 0
218.93/219.90 c indoneopt : 0.01 0.00 0 0 0
218.93/219.90 c indrounding : 0.00 0.00 0 0 0
218.93/219.90 c indtwoopt : 0.00 0.00 0 0 0
218.93/219.90 c intdiving : 0.00 0.00 0 0 0
218.93/219.90 c intshifting : 0.00 0.00 0 0 0
218.93/219.90 c linesearchdiving : 0.63 0.00 113 0 0
218.93/219.90 c localbranching : 0.00 0.00 0 0 0
218.93/219.90 c locks : 0.00 0.00 1 0 0
218.93/219.90 c lpface : 0.22 0.00 0 0 0
218.93/219.90 c mpec : 0.00 0.00 0 0 0
218.93/219.90 c multistart : 0.00 0.00 0 0 0
218.93/219.90 c mutation : 0.00 0.00 0 0 0
218.93/219.90 c nlpdiving : 0.00 0.00 0 0 0
218.93/219.90 c objpscostdiving : 3.18 0.00 10 0 0
218.93/219.90 c octane : 0.00 0.00 0 0 0
218.93/219.90 c ofins : 0.01 0.00 0 0 0
218.93/219.90 c oneopt : 0.02 0.00 0 0 0
218.93/219.90 c padm : 0.00 0.00 0 0 0
218.93/219.90 c proximity : 0.00 0.00 0 0 0
218.93/219.90 c pscostdiving : 1.00 0.00 114 0 0
218.93/219.90 c randrounding : 0.34 0.00 3504 0 0
218.93/219.90 c rens : 0.00 0.00 0 0 0
218.93/219.90 c reoptsols : 0.00 0.00 0 0 0
218.93/219.90 c repair : 0.00 0.00 0 0 0
218.93/219.90 c rins : 0.01 0.00 0 0 0
218.93/219.90 c rootsoldiving : 1.12 0.00 18 0 0
218.93/219.90 c rounding : 0.24 0.00 2757 0 0
218.93/219.90 c scheduler : 0.00 0.00 0 0 0
218.93/219.90 c shiftandpropagate: 0.01 0.00 2 0 0
218.93/219.90 c shifting : 0.56 0.00 1067 0 0
218.93/219.90 c simplerounding : 0.02 0.00 0 0 0
218.93/219.90 c smallcard : 0.00 0.00 0 0 0
218.93/219.90 c subnlp : 0.02 0.00 0 0 0
218.93/219.90 c trivial : 0.00 0.00 4 0 0
218.93/219.90 c trivialnegation : 0.00 0.00 0 0 0
218.93/219.90 c trustregion : 0.00 0.00 0 0 0
218.93/219.90 c trysol : 0.01 0.00 0 0 0
218.93/219.90 c twoopt : 0.00 0.00 0 0 0
218.93/219.90 c undercover : 0.00 0.00 0 0 0
218.93/219.90 c vbounds : 0.01 0.00 2 0 0
218.93/219.90 c veclendiving : 0.54 0.00 113 0 0
218.93/219.90 c zeroobj : 0.00 0.00 0 0 0
218.93/219.90 c zirounding : 0.05 0.00 1000 0 0
218.93/219.90 c other solutions : - - - 0 -
218.93/219.90 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
218.93/219.90 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
218.93/219.90 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
218.93/219.90 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
218.93/219.90 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
218.93/219.90 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
218.93/219.90 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
218.93/219.90 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
218.93/219.90 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
218.93/219.90 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
218.93/219.90 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
218.93/219.90 c primal LP : 1.50 2071 0 0.00 0.00 1.50 2071
218.93/219.90 c dual LP : 90.77 40620 1221653 30.34 13459.02 0.21 352
218.93/219.90 c lex dual LP : 0.00 0 0 0.00 -
218.93/219.90 c barrier LP : 0.00 0 0 0.00 - 0.00 0
218.93/219.90 c resolve instable : 0.00 0 0 0.00 -
218.93/219.90 c diving/probing LP: 8.39 1587 154243 97.19 18376.49
218.93/219.90 c strong branching : 0.45 32 6915 216.09 15498.96 - - 3
218.93/219.90 c (at root node) : - 32 6915 216.09 -
218.93/219.90 c conflict analysis: 0.00 0 0 0.00 -
218.93/219.90 c B&B Tree :
218.93/219.90 c number of runs : 2
218.93/219.90 c nodes : 49588 (33365 internal, 16223 leaves)
218.93/219.90 c feasible leaves : 0
218.93/219.90 c infeas. leaves : 16223
218.93/219.90 c objective leaves : 0
218.93/219.90 c nodes (total) : 51476 (34579 internal, 16897 leaves)
218.93/219.90 c nodes left : 0
218.93/219.90 c max depth : 42
218.93/219.90 c max depth (total): 48
218.93/219.90 c backtracks : 14379 (29.0%)
218.93/219.90 c early backtracks : 0 (0.0%)
218.93/219.90 c nodes exc. ref. : 0 (0.0%)
218.93/219.90 c delayed cutoffs : 17143
218.93/219.90 c repropagations : 43440 (2528735 domain reductions, 12642 cutoffs)
218.93/219.90 c avg switch length: 3.54
218.93/219.90 c switching time : 15.06
218.93/219.90 c Root Node :
218.93/219.90 c First LP value : +0.00000000000000e+00
218.93/219.90 c First LP Iters : 1818 (74606.04 Iter/sec)
218.93/219.90 c First LP Time : 0.02
218.93/219.90 c Final Dual Bound : -
218.93/219.90 c Final Root Iters : 10695
218.93/219.90 c Root LP Estimate : +6.60277215943195e-02
218.93/219.90 c Solution :
218.93/219.90 c Solutions found : 0 (0 improvements)
218.93/219.90 c Primal Bound : infeasible
218.93/219.90 c Dual Bound : -
218.93/219.90 c Gap : 0.00 %
218.93/219.90 c Integrals : Total Avg%
218.93/219.90 c primal-dual : - - (problem infeasible)
218.93/219.90 c primal-ref : - - (problem infeasible)
218.93/219.90 c dual-ref : - - (problem infeasible)
219.03/219.92 c Time complete: 219.063.
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 (61354 MiB free)
memory of node 1: 64510 MiB (62238 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451525-1721428839/watcher-4451525-1721428839 -o /tmp/evaluation-result-4451525-1721428839/solver-4451525-1721428839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721421618-1052159 --watchdog 3760 pbscip -f HOME/instance-4451525-1721428839.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1057381, runsolver pid=1057378
[startup+0.100143 s]*
/proc/loadavg: 4.03 4.10 4.14 5/258 1057382
/proc/meminfo: memFree=126531132/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=83076 memory=41372 CPUtime=0.09 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 7153 0 0 0 8 1 0 0 20 0 1 0 195045734 85069824 10343 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 20769 10343 3819 3540 0 9026 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83076 KiB
Current children cumulated memory: 41372 KiB
[startup+0.206143 s]*
/proc/loadavg: 4.03 4.10 4.14 5/258 1057382
/proc/meminfo: memFree=126527100/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=86824 memory=45732 CPUtime=0.19 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 8112 0 0 0 18 1 0 0 20 0 1 0 195045734 88907776 11433 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 21706 11433 3931 3540 0 9963 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 86824 KiB
Current children cumulated memory: 45732 KiB
[startup+0.305426 s]*
/proc/loadavg: 4.03 4.10 4.14 5/258 1057382
/proc/meminfo: memFree=126526820/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=86824 memory=45732 CPUtime=0.29 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 8122 0 0 0 28 1 0 0 20 0 1 0 195045734 88907776 11433 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 21706 11433 3931 3540 0 9963 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 86824 KiB
Current children cumulated memory: 45732 KiB
[startup+0.700224 s]
/proc/loadavg: 4.03 4.10 4.14 5/258 1057382
/proc/meminfo: memFree=126506152/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=108444 memory=65440 CPUtime=0.68 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 13229 0 0 0 66 2 0 0 20 0 1 0 195045734 111046656 16360 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 27111 16360 3994 3540 0 15368 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108444 KiB
Current children cumulated memory: 65440 KiB
[startup+1.50017 s]
/proc/loadavg: 4.03 4.10 4.14 5/258 1057383
/proc/meminfo: memFree=126506772/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=108788 memory=67284 CPUtime=1.48 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 13710 0 0 0 146 2 0 0 20 0 1 0 195045734 111398912 16821 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 27197 16821 3994 3540 0 15454 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 108788 KiB
Current children cumulated memory: 67284 KiB
[startup+3.10541 s]
/proc/loadavg: 4.03 4.10 4.14 5/258 1057383
/proc/meminfo: memFree=126480392/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=131860 memory=90028 CPUtime=3.08 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 19916 0 0 0 305 3 0 0 20 0 1 0 195045734 135024640 22507 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 32965 22507 3994 3540 0 21222 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 131860 KiB
Current children cumulated memory: 90028 KiB
[startup+6.3002 s]
/proc/loadavg: 4.03 4.10 4.14 5/258 1057383
/proc/meminfo: memFree=126467448/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=144152 memory=102472 CPUtime=6.25 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 24159 0 0 0 622 3 0 0 20 0 1 0 195045734 147611648 25618 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 36038 25618 3994 3540 0 24295 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 144152 KiB
Current children cumulated memory: 102472 KiB
[startup+12.7002 s]
/proc/loadavg: 4.03 4.10 4.14 5/258 1057385
/proc/meminfo: memFree=126450740/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=146260 memory=104388 CPUtime=12.63 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 27514 0 0 0 1259 4 0 0 20 0 1 0 195045734 149770240 26097 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 36565 26097 3994 3540 0 24822 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 146260 KiB
Current children cumulated memory: 104388 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.14 5/258 1057386
/proc/meminfo: memFree=126398096/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=161884 memory=110192 CPUtime=25.38 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 28965 0 0 0 2534 4 0 0 20 0 1 0 195045734 165769216 27548 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 40471 27548 3994 3540 0 28728 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 161884 KiB
Current children cumulated memory: 110192 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.10 4.14 5/258 1057391
/proc/meminfo: memFree=126314568/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=184652 memory=119304 CPUtime=50.89 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 31593 0 0 0 5084 5 0 0 20 0 1 0 195045734 189083648 29826 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 46163 29826 3994 3540 0 34420 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 119304 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/258 1057399
/proc/meminfo: memFree=126084664/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=222196 memory=154372 CPUtime=101.88 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 40411 0 0 0 10181 7 0 0 20 0 1 0 195045734 227528704 38593 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 55549 38593 3994 3540 0 43806 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 222196 KiB
Current children cumulated memory: 154372 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/257 1057409
/proc/meminfo: memFree=125893580/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=253724 memory=184008 CPUtime=161.65 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 48071 0 0 0 16156 9 0 0 20 0 1 0 195045734 259813376 46002 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 63431 46002 3994 3540 0 51688 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 253724 KiB
Current children cumulated memory: 184008 KiB
[startup+219.933 s]
# the end of solver process 1057381 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=218.96 s, system=0.112555 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 4.09 4.10 4.13 5/257 1057411
/proc/meminfo: memFree=125845472/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=257332 memory=187508 CPUtime=178.48 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 48890 0 0 0 17839 9 0 0 20 0 1 0 195045734 263507968 46877 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 64333 46877 3994 3540 0 52590 0
Current children cumulated CPU time: 178.48 s
Current children cumulated vsize: 257332 KiB
Current children cumulated memory: 187508 KiB
[startup+204.8 s]
/proc/loadavg: 4.06 4.09 4.12 5/257 1057418
/proc/meminfo: memFree=125753340/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=261652 memory=190520 CPUtime=203.99 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 49688 0 0 0 20389 10 0 0 20 0 1 0 195045734 267931648 47630 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 65413 47630 3994 3540 0 53670 0
Current children cumulated CPU time: 203.99 s
Current children cumulated vsize: 261652 KiB
Current children cumulated memory: 190520 KiB
[startup+211.2 s]
/proc/loadavg: 4.06 4.09 4.12 5/257 1057420
/proc/meminfo: memFree=125739680/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=261652 memory=190780 CPUtime=210.36 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 49723 0 0 0 21026 10 0 0 20 0 1 0 195045734 267931648 47695 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 65413 47695 3994 3540 0 53670 0
Current children cumulated CPU time: 210.36 s
Current children cumulated vsize: 261652 KiB
Current children cumulated memory: 190780 KiB
[startup+214.4 s]
/proc/loadavg: 4.05 4.09 4.12 5/257 1057420
/proc/meminfo: memFree=125732140/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=261652 memory=190780 CPUtime=213.55 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 49759 0 0 0 21345 10 0 0 20 0 1 0 195045734 267931648 47695 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 65413 47695 3994 3540 0 53670 0
Current children cumulated CPU time: 213.55 s
Current children cumulated vsize: 261652 KiB
Current children cumulated memory: 190780 KiB
[startup+217.6 s]
/proc/loadavg: 4.05 4.09 4.12 5/257 1057420
/proc/meminfo: memFree=125723940/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=261652 memory=190780 CPUtime=216.74 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 49762 0 0 0 21664 10 0 0 20 0 1 0 195045734 267931648 47695 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 65413 47695 3994 3540 0 53670 0
Current children cumulated CPU time: 216.74 s
Current children cumulated vsize: 261652 KiB
Current children cumulated memory: 190780 KiB
[startup+219.2 s]
/proc/loadavg: 4.05 4.09 4.12 5/257 1057420
/proc/meminfo: memFree=125717224/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=261652 memory=190780 CPUtime=218.33 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 49762 0 0 0 21823 10 0 0 20 0 1 0 195045734 267931648 47695 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 65413 47695 3994 3540 0 53670 0
Current children cumulated CPU time: 218.33 s
Current children cumulated vsize: 261652 KiB
Current children cumulated memory: 190780 KiB
[startup+219.6 s]
/proc/loadavg: 4.05 4.09 4.12 5/257 1057420
/proc/meminfo: memFree=125717224/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=261652 memory=190780 CPUtime=218.73 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 49762 0 0 0 21863 10 0 0 20 0 1 0 195045734 267931648 47695 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 65413 47695 3994 3540 0 53670 0
Current children cumulated CPU time: 218.73 s
Current children cumulated vsize: 261652 KiB
Current children cumulated memory: 190780 KiB
[startup+219.8 s]
/proc/loadavg: 4.05 4.09 4.12 5/257 1057420
/proc/meminfo: memFree=125717224/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=261652 memory=190780 CPUtime=218.93 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 49762 0 0 0 21883 10 0 0 20 0 1 0 195045734 267931648 47695 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 65413 47695 3994 3540 0 53670 0
Current children cumulated CPU time: 218.93 s
Current children cumulated vsize: 261652 KiB
Current children cumulated memory: 190780 KiB
[startup+219.9 s]
/proc/loadavg: 4.05 4.09 4.12 5/257 1057420
/proc/meminfo: memFree=125717224/131524600 swapFree=131071996/131071996
[pid=1057381] ppid=1057378 vsize=261652 memory=190780 CPUtime=219.03 cores=0,2
/proc/1057381/stat : 1057381 (pbscip) R 1057378 1057381 1052149 0 -1 4194304 49763 0 0 0 21893 10 0 0 20 0 1 0 195045734 267931648 47695 134679101440 4194304 18693293 140724602056176 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35491840 140724602061826 140724602061925 140724602061925 140724602068942 0
/proc/1057381/statm: 65413 47695 3994 3540 0 53670 0
Current children cumulated CPU time: 219.03 s
Current children cumulated vsize: 261652 KiB
Current children cumulated memory: 190780 KiB
Child status: 0
Real time (s): 219.933
CPU time (s): 219.073
CPU user time (s): 218.96
CPU system time (s): 0.112555
CPU usage (%): 99.6087
Max. virtual memory (cumulated for all children) (KiB): 261652
Max. memory (cumulated for all children) (KiB): 190780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 218.96
system time used= 0.112555
maximum resident set size= 191020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50066
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= 1545
# summary of solver processes directly reported to runsolver:
# pid: 1057381
# total CPU time (s): 219.073
# total CPU user time (s): 218.96
# total CPU system time (s): 0.112555
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.397672 second user time and 1.07694 second system time
The end