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-4450115-1721406784.opb>
0.00/0.02 c original problem has 4257 variables (4257 bin, 0 int, 0 impl, 0 cont) and 13413 constraints
0.00/0.02 c problem read in 0.02
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.04 c presolving:
0.00/0.07 c (0.1s) running MILP presolver
0.00/0.08 c (0.1s) MILP presolver found nothing
0.10/0.11 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13413 upgd conss, 0 impls, 11994 clqs
0.10/0.12 c (round 2, exhaustive) 0 del vars, 5676 del conss, 1419 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13413 upgd conss, 0 impls, 11994 clqs
0.10/0.13 c (0.1s) running MILP presolver
0.10/0.14 c (0.1s) MILP presolver found nothing
0.10/0.19 c (0.2s) probing: 51/4257 (1.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.19 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.10/0.20 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.20/0.22 c (0.2s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
0.20/0.23 c dynamic symmetry handling statistics:
0.20/0.23 c orbitopal reduction: no components
0.20/0.23 c orbital reduction: no components
0.20/0.23 c lexicographic reduction: no permutations
0.20/0.23 c handled 1 out of 1 symmetry components
0.20/0.23 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
0.20/0.23 c 2 deleted vars, 5676 deleted constraints, 1421 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.20/0.23 c 0 implications, 13385 cliques
0.20/0.23 c presolved problem has 4255 variables (4255 bin, 0 int, 0 impl, 0 cont) and 9158 constraints
0.20/0.23 c 9156 constraints of type <setppc>
0.20/0.23 c 2 constraints of type <orbitope>
0.20/0.23 c transformed objective value is always integral (scale: 1)
0.20/0.23 c Presolving Time: 0.19
0.20/0.23 c - non default parameters ----------------------------------------------------------------------
0.20/0.23 c # SCIP version 10.0.0
0.20/0.23 c
0.20/0.23 c # maximal time in seconds to run
0.20/0.23 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.20/0.23 c limits/time = 3596.998007
0.20/0.23 c
0.20/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.20/0.23 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.20/0.23 c limits/memory = 27900
0.20/0.23 c
0.20/0.23 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.20/0.23 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.20/0.23 c limits/solutions = 1
0.20/0.23 c
0.20/0.23 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.20/0.23 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.20/0.23 c misc/usesymmetry = 3
0.20/0.23 c
0.20/0.23 c # belongs reading time to solving time?
0.20/0.23 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.20/0.23 c timing/reading = TRUE
0.20/0.23 c
0.20/0.23 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.20/0.23 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.20/0.23 c propagating/symmetry/detectdoublelex = FALSE
0.20/0.23 c
0.20/0.23 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.20/0.23 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.20/0.23 c propagating/symmetry/detectsubgroups = FALSE
0.20/0.23 c
0.20/0.23 c # Type of symmetries that shall be computed?
0.20/0.23 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.20/0.23 c propagating/symmetry/symtype = 1
0.20/0.23 c
0.20/0.23 c # Should components consisting of a single full reflection be handled?
0.20/0.23 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.20/0.23 c propagating/symmetry/usesimplesgncomp = FALSE
0.20/0.23 c
0.20/0.23 c -----------------------------------------------------------------------------------------------
0.20/0.23 c start solving
0.20/0.23 c
0.39/0.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.39/0.46 c 0.5s| 1 | 0 | 3155 | - | 61M | 0 |4255 |9118 |9088 | 0 | 0 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
1.68/1.74 c 1.7s| 1 | 0 | 9954 | - | 66M | 0 |4255 |9229 |9302 | 214 | 1 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
1.89/1.96 c 2.0s| 1 | 0 | 10890 | - | 68M | 0 |4255 |9230 |9527 | 439 | 2 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
2.09/2.19 c 2.2s| 1 | 0 | 11616 | - | 69M | 0 |4255 |9231 |9707 | 619 | 3 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
2.28/2.35 c 2.4s| 1 | 0 | 12218 | - | 70M | 0 |4255 |9232 |9831 | 743 | 4 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
2.68/2.77 c 2.8s| 1 | 0 | 12711 | - | 72M | 0 |4255 |9233 |9902 | 814 | 5 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
2.88/2.99 c 3.0s| 1 | 0 | 13238 | - | 73M | 0 |4255 |9234 |9929 | 841 | 6 | 33 | 0 | 0.000000e+00 | -- | Inf | unknown
3.18/3.25 c 3.2s| 1 | 0 | 13723 | - | 76M | 0 |4255 |9235 |9956 | 868 | 7 | 34 | 0 | 0.000000e+00 | -- | Inf | unknown
3.38/3.46 c 3.5s| 1 | 0 | 13928 | - | 77M | 0 |4255 |9236 |9981 | 893 | 8 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
3.68/3.75 c 3.7s| 1 | 0 | 14095 | - | 80M | 0 |4255 |9237 |9998 | 910 | 9 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
3.98/4.02 c 4.0s| 1 | 0 | 14266 | - | 82M | 0 |4255 |9238 | 10k| 924 | 10 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
4.08/4.14 c 4.1s| 1 | 0 | 14471 | - | 83M | 0 |4255 |9239 |9937 | 946 | 11 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
4.18/4.24 c 4.2s| 1 | 0 | 14644 | - | 86M | 0 |4255 |9240 |9954 | 963 | 12 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
5.08/5.14 c 5.1s| 1 | 2 | 17198 | - | 86M | 0 |4255 |9245 |9954 | 963 | 12 | 44 | 11 | 0.000000e+00 | -- | Inf | unknown
7.97/8.07 c 8.1s| 100 | 83 | 30951 | 164.7 | 92M | 56 |4255 |9315 |9684 |1403 | 0 | 114 | 11 | 0.000000e+00 | -- | Inf | unknown
10.65/10.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.65/10.77 c 10.8s| 200 | 61 | 39588 | 125.3 | 101M | 70 |4255 |9389 |9436 |2418 | 1 | 188 | 11 | 0.000000e+00 | -- | Inf | unknown
14.55/14.67 c 14.7s| 300 | 109 | 49356 | 116.1 | 102M | 70 |4255 |9446 |9469 |3118 | 1 | 245 | 11 | 0.000000e+00 | -- | Inf | unknown
16.74/16.87 c 16.9s| 400 | 161 | 59123 | 111.5 | 105M | 70 |4255 |9524 |9598 |3574 | 2 | 323 | 11 | 0.000000e+00 | -- | Inf | unknown
17.94/18.05 c 18.0s| 500 | 151 | 64170 | 99.3 | 109M | 70 |4255 |9620 |9561 |4038 | 1 | 419 | 11 | 0.000000e+00 | -- | Inf | unknown
19.43/19.53 c 19.5s| 600 | 169 | 69895 | 92.2 | 110M | 70 |4255 |9694 |9552 |4655 | 2 | 497 | 11 | 0.000000e+00 | -- | Inf | unknown
21.52/21.65 c 21.6s| 700 | 158 | 77429 | 89.8 | 112M | 70 |4255 |9807 | 0 |5523 | 0 | 610 | 11 | 0.000000e+00 | -- | Inf | unknown
22.72/22.82 c 22.8s| 800 | 170 | 81049 | 83.1 | 114M | 70 |4255 |9866 |9584 |6097 | 1 | 670 | 11 | 0.000000e+00 | -- | Inf | unknown
26.31/26.47 c 26.5s| 900 | 161 | 93482 | 87.7 | 115M | 70 |4255 |9944 |9435 |7829 | 1 | 757 | 11 | 0.000000e+00 | -- | Inf | unknown
28.70/28.86 c 28.9s| 1000 | 178 |102102 | 87.5 | 116M | 70 |4255 | 10k|9581 |8932 | 0 | 829 | 11 | 0.000000e+00 | -- | Inf | unknown
29.60/29.72 c 29.7s| 1100 | 208 |106694 | 83.8 | 117M | 70 |4255 | 10k|9593 |9502 | 1 | 896 | 11 | 0.000000e+00 | -- | Inf | unknown
30.49/30.63 c 30.6s| 1200 | 199 |114169 | 83.0 | 117M | 70 |4255 | 10k|9531 | 10k| 1 |1046 | 11 | 0.000000e+00 | -- | Inf | unknown
31.29/31.49 c 31.5s| 1300 | 205 |122222 | 82.8 | 118M | 70 |4255 | 10k|9435 | 11k| 1 |1190 | 11 | 0.000000e+00 | -- | Inf | unknown
32.10/32.24 c 32.2s| 1400 | 199 |128685 | 81.5 | 118M | 70 |4255 | 10k|9438 | 12k| 1 |1340 | 11 | 0.000000e+00 | -- | Inf | unknown
33.00/33.10 c 33.1s| 1500 | 195 |135574 | 80.7 | 120M | 70 |4255 | 10k|9570 | 13k| 1 |1485 | 11 | 0.000000e+00 | -- | Inf | unknown
33.99/34.13 c 34.1s| 1600 | 194 |144991 | 81.5 | 120M | 70 |4255 | 10k|9536 | 14k| 1 |1649 | 11 | 0.000000e+00 | -- | Inf | unknown
34.29/34.45 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
34.29/34.45 c (run 1, node 1645) performing user restart
34.29/34.45 c
34.29/34.45 c (restart) converted 407 cuts from the global cut pool into linear constraints
34.29/34.45 c
34.29/34.47 c presolving:
34.29/34.47 c (round 1, fast) 26 del vars, 260 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 23 chg coeffs, 0 upgd conss, 0 impls, 13627 clqs
34.29/34.49 c (round 2, exhaustive) 27 del vars, 440 del conss, 45 add conss, 0 chg bounds, 3 chg sides, 23 chg coeffs, 0 upgd conss, 0 impls, 13625 clqs
34.39/34.51 c (round 3, exhaustive) 27 del vars, 444 del conss, 45 add conss, 0 chg bounds, 4 chg sides, 23 chg coeffs, 517 upgd conss, 0 impls, 13661 clqs
34.39/34.51 c (round 4, fast) 27 del vars, 453 del conss, 45 add conss, 0 chg bounds, 4 chg sides, 23 chg coeffs, 517 upgd conss, 0 impls, 13662 clqs
34.39/34.52 c (round 5, medium) 27 del vars, 458 del conss, 49 add conss, 0 chg bounds, 8 chg sides, 33 chg coeffs, 517 upgd conss, 0 impls, 13663 clqs
34.39/34.53 c (round 6, exhaustive) 27 del vars, 478 del conss, 54 add conss, 0 chg bounds, 8 chg sides, 33 chg coeffs, 517 upgd conss, 0 impls, 13663 clqs
34.39/34.55 c (round 7, exhaustive) 27 del vars, 512 del conss, 54 add conss, 0 chg bounds, 8 chg sides, 54 chg coeffs, 518 upgd conss, 0 impls, 13667 clqs
34.39/34.57 c presolving (8 rounds: 8 fast, 6 medium, 5 exhaustive):
34.39/34.57 c 27 deleted vars, 512 deleted constraints, 54 added constraints, 0 tightened bounds, 0 added holes, 8 changed sides, 57 changed coefficients
34.39/34.57 c 0 implications, 13668 cliques
34.39/34.57 c presolved problem has 4228 variables (4228 bin, 0 int, 0 impl, 0 cont) and 10332 constraints
34.39/34.57 c 47 constraints of type <knapsack>
34.39/34.57 c 9302 constraints of type <setppc>
34.39/34.57 c 2 constraints of type <orbitope>
34.39/34.57 c 981 constraints of type <logicor>
34.39/34.57 c transformed objective value is always integral (scale: 1)
34.39/34.57 c Presolving Time: 0.29
34.39/34.57 c
34.58/34.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.58/34.72 c 34.7s| 1 | 0 |151005 | - | 122M | 0 |4228 | 10k|9371 | 0 | 0 |1726 | 11 | 0.000000e+00 | -- | Inf | unknown
34.99/35.16 c 35.2s| 1 | 0 |151666 | - | 125M | 0 |4228 | 10k|9517 | 146 | 1 |1727 | 11 | 0.000000e+00 | -- | Inf | unknown
35.38/35.57 c 35.6s| 1 | 0 |152091 | - | 126M | 0 |4228 | 10k|9591 | 220 | 2 |1728 | 11 | 0.000000e+00 | -- | Inf | unknown
35.58/35.74 c 35.7s| 1 | 0 |152310 | - | 127M | 0 |4228 | 10k|9631 | 260 | 3 |1729 | 11 | 0.000000e+00 | -- | Inf | unknown
35.88/36.01 c 36.0s| 1 | 0 |152511 | - | 129M | 0 |4228 | 10k|9653 | 282 | 4 |1730 | 11 | 0.000000e+00 | -- | Inf | unknown
36.08/36.23 c 36.2s| 1 | 0 |152629 | - | 130M | 0 |4228 | 10k|9666 | 295 | 5 |1731 | 11 | 0.000000e+00 | -- | Inf | unknown
36.28/36.40 c 36.4s| 1 | 0 |152811 | - | 132M | 0 |4228 | 10k|9684 | 313 | 6 |1733 | 11 | 0.000000e+00 | -- | Inf | unknown
36.48/36.63 c 36.6s| 1 | 0 |152999 | - | 132M | 0 |4228 | 10k|9715 | 344 | 7 |1734 | 11 | 0.000000e+00 | -- | Inf | unknown
36.58/36.76 c 36.8s| 1 | 0 |153153 | - | 133M | 0 |4228 | 10k|9738 | 367 | 8 |1735 | 11 | 0.000000e+00 | -- | Inf | unknown
36.78/36.95 c 37.0s| 1 | 0 |153274 | - | 135M | 0 |4228 | 10k|9756 | 385 | 9 |1736 | 11 | 0.000000e+00 | -- | Inf | unknown
37.07/37.22 c 37.2s| 1 | 0 |153395 | - | 138M | 0 |4228 | 10k|9623 | 400 | 10 |1737 | 11 | 0.000000e+00 | -- | Inf | unknown
37.17/37.31 c 37.3s| 1 | 0 |153493 | - | 139M | 0 |4228 | 10k|9635 | 412 | 11 |1739 | 11 | 0.000000e+00 | -- | Inf | unknown
37.27/37.41 c 37.4s| 1 | 0 |153587 | - | 140M | 0 |4228 | 10k|9652 | 429 | 12 |1740 | 11 | 0.000000e+00 | -- | Inf | unknown
38.27/38.48 c 38.5s| 1 | 2 |156416 | - | 140M | 0 |4228 | 10k|9652 | 429 | 12 |1745 | 30 | 0.000000e+00 | -- | Inf | unknown
39.07/39.27 c 39.3s| 100 | 36 |159803 | 79.6 | 145M | 40 |4228 | 10k|9417 | 683 | 1 |1785 | 30 | 0.000000e+00 | -- | Inf | unknown
39.66/39.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.66/39.81 c 39.8s| 200 | 29 |161135 | 76.0 | 147M | 40 |4228 | 10k|9427 | 884 | 0 |1841 | 30 | 0.000000e+00 | -- | Inf | unknown
40.67/40.87 c 40.9s| 300 | 27 |169541 | 76.4 | 149M | 40 |4228 | 10k|9441 |1410 | 2 |1904 | 30 | 0.000000e+00 | -- | Inf | unknown
41.67/41.84 c 41.8s| 400 | 40 |174640 | 75.2 | 152M | 40 |4228 | 10k|9422 |1709 | 1 |2028 | 30 | 0.000000e+00 | -- | Inf | unknown
42.56/42.78 c 42.8s| 500 | 53 |180799 | 74.5 | 154M | 40 |4228 | 10k|9466 |1922 | 1 |2109 | 30 | 0.000000e+00 | -- | Inf | unknown
43.26/43.40 c 43.4s| 600 | 31 |183734 | 72.5 | 155M | 40 |4228 | 10k|9466 |2286 | 0 |2208 | 30 | 0.000000e+00 | -- | Inf | unknown
43.86/44.09 c 44.1s| 700 | 41 |187362 | 71.0 | 157M | 40 |4228 | 10k|9495 |2645 | 1 |2301 | 30 | 0.000000e+00 | -- | Inf | unknown
44.86/45.01 c 45.0s| 800 | 38 |195137 | 71.2 | 160M | 40 |4228 | 10k|9462 |3202 | 1 |2426 | 30 | 0.000000e+00 | -- | Inf | 0.65%
45.55/45.75 c 45.8s| 900 | 35 |198827 | 69.9 | 161M | 40 |4228 | 11k|9436 |3476 | 1 |2524 | 30 | 0.000000e+00 | -- | Inf | 0.74%
46.15/46.30 c 46.3s| 1000 | 30 |201655 | 68.3 | 161M | 40 |4228 | 11k|9436 |3643 | 1 |2674 | 30 | 0.000000e+00 | -- | Inf | 0.80%
46.85/47.00 c 47.0s| 1100 | 30 |206254 | 67.5 | 164M | 40 |4228 | 11k|9425 |4132 | 1 |2773 | 30 | 0.000000e+00 | -- | Inf | 1.04%
47.44/47.60 c 47.6s| 1200 | 33 |208693 | 66.0 | 165M | 40 |4228 | 11k|9469 |4372 | 1 |2870 | 30 | 0.000000e+00 | -- | Inf | 1.04%
48.14/48.30 c 48.3s| 1300 | 22 |211122 | 64.6 | 167M | 40 |4228 | 11k|9270 |4674 | 1 |2971 | 30 | 0.000000e+00 | -- | Inf | 1.25%
48.95/49.14 c 49.1s| 1400 | 38 |216830 | 64.3 | 168M | 40 |4228 | 11k|9498 |5261 | 1 |3069 | 30 | 0.000000e+00 | -- | Inf | 1.32%
49.74/50.00 c 50.0s| 1500 | 23 |223365 | 64.4 | 170M | 40 |4228 | 11k|9449 |5664 | 1 |3202 | 30 | 0.000000e+00 | -- | Inf | 1.44%
50.74/50.91 c 50.9s| 1600 | 22 |231726 | 64.9 | 170M | 40 |4228 | 11k|9408 |6286 | 1 |3379 | 30 | 0.000000e+00 | -- | Inf | 1.67%
51.34/51.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
51.34/51.57 c 51.6s| 1700 | 23 |236703 | 64.5 | 171M | 40 |4228 | 11k| 0 |6637 | 0 |3514 | 30 | 0.000000e+00 | -- | Inf | 1.89%
52.33/52.56 c 52.6s| 1800 | 35 |242950 | 64.4 | 175M | 40 |4228 | 11k|9415 |7318 | 1 |3633 | 30 | 0.000000e+00 | -- | Inf | 2.31%
53.23/53.47 c 53.5s| 1900 | 29 |248887 | 64.3 | 178M | 40 |4228 | 11k|9476 |8093 | 0 |3781 | 30 | 0.000000e+00 | -- | Inf | 2.67%
54.13/54.31 c 54.3s| 2000 | 26 |253980 | 63.9 | 181M | 40 |4228 | 11k|9522 |8466 | 1 |3912 | 30 | 0.000000e+00 | -- | Inf | 2.93%
54.72/54.97 c 55.0s| 2100 | 24 |258063 | 63.3 | 182M | 40 |4228 | 11k|9428 |8840 | 1 |4056 | 30 | 0.000000e+00 | -- | Inf | 3.14%
55.63/55.82 c 55.8s| 2200 | 23 |264187 | 63.3 | 183M | 40 |4228 | 12k| 0 |9457 | 0 |4234 | 30 | 0.000000e+00 | -- | Inf | 3.42%
56.63/56.89 c 56.9s| 2300 | 23 |273139 | 63.9 | 186M | 40 |4228 | 12k| 0 | 10k| 0 |4386 | 30 | 0.000000e+00 | -- | Inf | 3.71%
57.42/57.62 c 57.6s| 2400 | 18 |277867 | 63.5 | 188M | 40 |4228 | 12k|9517 | 11k| 1 |4535 | 30 | 0.000000e+00 | -- | Inf | 4.14%
58.32/58.58 c 58.6s| 2500 | 19 |286886 | 64.2 | 189M | 40 |4228 | 12k| 0 | 12k| 0 |4704 | 30 | 0.000000e+00 | -- | Inf | 4.71%
60.01/60.22 c 60.2s| 2600 | 23 |298546 | 65.4 | 189M | 40 |4228 | 12k|9270 | 14k| 1 |4853 | 30 | 0.000000e+00 | -- | Inf | 5.86%
67.10/67.30 c 67.3s| 2700 | 55 |322128 | 69.3 | 190M | 40 |4228 | 12k|9423 | 14k| 1 |4981 | 30 | 0.000000e+00 | -- | Inf | 6.18%
68.59/68.83 c 68.8s| 2800 | 71 |336836 | 71.1 | 193M | 40 |4228 | 12k| 0 | 16k| 0 |5101 | 30 | 0.000000e+00 | -- | Inf | 6.42%
69.69/69.99 c 70.0s| 2900 | 133 |343599 | 71.0 | 193M | 40 |4228 | 12k|9560 | 17k| 1 |5306 | 30 | 0.000000e+00 | -- | Inf | 6.42%
70.58/70.86 c 70.9s| 3000 | 69 |349717 | 70.8 | 195M | 40 |4228 | 12k|9517 | 17k| 1 |5433 | 30 | 0.000000e+00 | -- | Inf | 6.53%
71.28/71.53 c 71.5s| 3100 | 49 |352302 | 69.8 | 195M | 40 |4228 | 12k|9521 | 17k| 1 |5576 | 30 | 0.000000e+00 | -- | Inf | 6.66%
72.09/72.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
72.09/72.37 c 72.4s| 3200 | 48 |358373 | 69.6 | 196M | 40 |4228 | 12k| 0 | 18k| 0 |5688 | 30 | 0.000000e+00 | -- | Inf | 6.80%
73.28/73.51 c 73.5s| 3300 | 53 |367555 | 70.1 | 197M | 40 |4228 | 12k|9427 | 19k| 1 |5828 | 30 | 0.000000e+00 | -- | Inf | 7.37%
76.57/76.85 c 76.8s| 3400 | 93 |392522 | 73.7 | 203M | 40 |4228 | 12k|9457 | 20k| 1 |5992 | 30 | 0.000000e+00 | -- | Inf | 7.48%
78.37/78.66 c 78.7s| 3500 | 106 |406490 | 74.9 | 204M | 40 |4228 | 12k|9434 | 20k| 1 |6151 | 30 | 0.000000e+00 | -- | Inf | 8.06%
79.37/79.67 c 79.7s| 3600 | 114 |413403 | 74.8 | 204M | 40 |4228 | 12k|9481 | 21k| 0 |6271 | 30 | 0.000000e+00 | -- | Inf | 8.18%
80.17/80.46 c 80.5s| 3700 | 113 |418424 | 74.4 | 206M | 40 |4228 | 12k|9429 | 21k| 1 |6405 | 30 | 0.000000e+00 | -- | Inf | 8.20%
82.55/82.89 c 82.9s| 3800 | 131 |433833 | 75.8 | 208M | 40 |4228 | 12k|9487 | 22k| 3 |6536 | 30 | 0.000000e+00 | -- | Inf | 8.48%
83.56/83.81 c 83.8s| 3900 | 128 |441000 | 75.8 | 210M | 40 |4228 | 12k|9424 | 23k| 1 |6685 | 30 | 0.000000e+00 | -- | Inf | 8.98%
84.65/84.91 c 84.9s| 4000 | 140 |448910 | 75.8 | 211M | 40 |4228 | 12k|9526 | 24k| 1 |6799 | 30 | 0.000000e+00 | -- | Inf | 9.30%
85.45/85.78 c 85.8s| 4100 | 143 |453327 | 75.3 | 213M | 40 |4228 | 12k|9506 | 24k| 1 |6915 | 30 | 0.000000e+00 | -- | Inf | 9.36%
86.15/86.46 c 86.5s| 4200 | 137 |458014 | 74.8 | 213M | 40 |4228 | 13k|9452 | 24k| 1 |7054 | 30 | 0.000000e+00 | -- | Inf | 9.45%
86.95/87.29 c 87.3s| 4300 | 130 |463779 | 74.5 | 213M | 40 |4228 | 13k|9485 | 25k| 0 |7228 | 30 | 0.000000e+00 | -- | Inf | 9.82%
87.94/88.20 c 88.2s| 4400 | 132 |470602 | 74.4 | 214M | 40 |4228 | 13k|9271 | 26k| 1 |7386 | 30 | 0.000000e+00 | -- | Inf | 10.26%
88.74/89.06 c 89.1s| 4500 | 136 |476853 | 74.2 | 214M | 40 |4228 | 13k|9408 | 26k| 1 |7512 | 30 | 0.000000e+00 | -- | Inf | 10.51%
89.74/90.04 c 90.0s| 4600 | 131 |485635 | 74.4 | 215M | 40 |4228 | 13k|9482 | 27k| 1 |7656 | 30 | 0.000000e+00 | -- | Inf | 11.09%
90.43/90.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
90.43/90.76 c 90.8s| 4700 | 132 |491213 | 74.1 | 215M | 40 |4228 | 13k| 0 | 28k| 0 |7808 | 30 | 0.000000e+00 | -- | Inf | 11.52%
91.43/91.72 c 91.7s| 4800 | 129 |498972 | 74.2 | 215M | 40 |4228 | 13k| 0 | 29k| 0 |7965 | 30 | 0.000000e+00 | -- | Inf | 12.10%
92.43/92.70 c 92.7s| 4900 | 127 |508381 | 74.5 | 217M | 40 |4228 | 13k| 0 | 30k| 0 |8112 | 30 | 0.000000e+00 | -- | Inf | 12.95%
93.13/93.42 c 93.4s| 5000 | 128 |514287 | 74.2 | 217M | 40 |4228 | 13k|9508 | 31k| 1 |8295 | 30 | 0.000000e+00 | -- | Inf | 13.22%
94.63/94.91 c 94.9s| 5100 | 135 |523975 | 74.6 | 218M | 40 |4228 | 13k|9508 | 31k| 1 |8435 | 30 | 0.000000e+00 | -- | Inf | 13.32%
96.22/96.54 c 96.5s| 5200 | 133 |536301 | 75.3 | 222M | 40 |4228 | 13k| 0 | 32k| 0 |8626 | 30 | 0.000000e+00 | -- | Inf | 13.74%
97.11/97.46 c 97.5s| 5300 | 142 |543459 | 75.2 | 222M | 40 |4228 | 13k|9540 | 33k| 1 |8804 | 30 | 0.000000e+00 | -- | Inf | 13.99%
98.11/98.44 c 98.4s| 5400 | 136 |551121 | 75.3 | 222M | 40 |4228 | 13k|9458 | 34k| 1 |8945 | 30 | 0.000000e+00 | -- | Inf | 14.13%
98.91/99.24 c 99.2s| 5500 | 136 |557962 | 75.2 | 223M | 40 |4228 | 13k|9421 | 34k| 0 |9087 | 30 | 0.000000e+00 | -- | Inf | 14.22%
99.71/100.10 c 100s| 5600 | 140 |565861 | 75.2 | 224M | 40 |4228 | 14k|9438 | 34k| 2 |9239 | 30 | 0.000000e+00 | -- | Inf | 14.24%
100.82/101.19 c 101s| 5700 | 140 |576356 | 75.6 | 225M | 40 |4228 | 14k| 0 | 36k| 0 |9373 | 30 | 0.000000e+00 | -- | Inf | 14.44%
102.01/102.39 c 102s| 5800 | 139 |583969 | 75.6 | 226M | 40 |4228 | 14k|9306 | 36k| 1 |9498 | 30 | 0.000000e+00 | -- | Inf | 14.92%
103.60/103.92 c 104s| 5900 | 154 |594110 | 76.0 | 228M | 40 |4228 | 14k| 0 | 37k| 0 |9648 | 30 | 0.000000e+00 | -- | Inf | 15.18%
104.40/104.74 c 105s| 6000 | 146 |599288 | 75.6 | 228M | 40 |4228 | 14k|9429 | 37k| 1 |9779 | 30 | 0.000000e+00 | -- | Inf | 15.36%
105.29/105.61 c 106s| 6100 | 145 |606014 | 75.5 | 229M | 40 |4228 | 14k|9438 | 38k| 0 |9905 | 30 | 0.000000e+00 | -- | Inf | 15.68%
105.89/106.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
105.89/106.21 c 106s| 6200 | 148 |608864 | 74.9 | 229M | 40 |4228 | 14k|9445 | 38k| 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 15.81%
106.79/107.17 c 107s| 6300 | 144 |617124 | 75.0 | 229M | 40 |4228 | 14k|9437 | 39k| 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 16.42%
108.08/108.45 c 108s| 6400 | 152 |627654 | 75.4 | 230M | 40 |4228 | 14k|9443 | 41k| 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 17.05%
108.79/109.16 c 109s| 6500 | 151 |631542 | 75.0 | 230M | 40 |4228 | 14k| 0 | 41k| 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 17.14%
109.69/110.07 c 110s| 6600 | 150 |636953 | 74.7 | 230M | 40 |4228 | 14k|9414 | 41k| 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 17.20%
110.48/110.89 c 111s| 6700 | 150 |643669 | 74.6 | 230M | 40 |4228 | 14k|9414 | 42k| 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 17.22%
111.28/111.67 c 112s| 6800 | 154 |649167 | 74.4 | 230M | 40 |4228 | 14k|9526 | 43k| 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 17.39%
112.18/112.58 c 113s| 6900 | 148 |656384 | 74.4 | 230M | 40 |4228 | 14k|9433 | 43k| 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 17.42%
113.07/113.41 c 113s| 7000 | 141 |662186 | 74.2 | 230M | 40 |4228 | 14k|9429 | 44k| 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 17.49%
114.17/114.51 c 115s| 7100 | 147 |671608 | 74.4 | 230M | 40 |4228 | 14k|9524 | 45k| 2 | 11k| 30 | 0.000000e+00 | -- | Inf | 17.50%
114.97/115.39 c 115s| 7200 | 143 |678644 | 74.4 | 230M | 40 |4228 | 14k| 0 | 46k| 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 17.51%
115.86/116.29 c 116s| 7300 | 139 |685989 | 74.3 | 231M | 40 |4228 | 15k|9424 | 46k| 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 17.54%
117.16/117.55 c 118s| 7400 | 148 |693287 | 74.3 | 232M | 40 |4228 | 15k| 0 | 47k| 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 17.56%
118.46/118.82 c 119s| 7500 | 145 |701079 | 74.4 | 233M | 40 |4228 | 15k|9421 | 47k| 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 17.70%
119.16/119.57 c 120s| 7600 | 147 |705008 | 74.0 | 233M | 40 |4228 | 15k|9444 | 48k| 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 17.92%
119.66/120.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
119.66/120.05 c 120s| 7700 | 146 |706414 | 73.4 | 233M | 40 |4228 | 15k|9444 | 48k| 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 18.01%
121.35/121.70 c 122s| 7800 | 153 |717143 | 73.7 | 235M | 40 |4228 | 15k| 0 | 49k| 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 18.24%
122.34/122.72 c 123s| 7900 | 152 |725763 | 73.8 | 237M | 40 |4228 | 15k|9477 | 50k| 2 | 12k| 30 | 0.000000e+00 | -- | Inf | 18.26%
123.24/123.62 c 124s| 8000 | 152 |733725 | 73.9 | 237M | 40 |4228 | 15k|9408 | 50k| 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 18.29%
124.05/124.42 c 124s| 8100 | 153 |739185 | 73.7 | 237M | 40 |4228 | 15k| 0 | 51k| 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 18.37%
126.24/126.69 c 127s| 8200 | 153 |753010 | 74.4 | 239M | 40 |4228 | 15k|9485 | 52k| 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 18.97%
127.33/127.73 c 128s| 8300 | 154 |762572 | 74.6 | 239M | 40 |4228 | 15k|9442 | 53k| 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 19.28%
128.03/128.46 c 128s| 8400 | 150 |766597 | 74.2 | 240M | 40 |4228 | 15k|9419 | 53k| 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 19.54%
128.73/129.15 c 129s| 8500 | 158 |770420 | 73.9 | 240M | 40 |4228 | 15k|9428 | 53k| 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 19.66%
129.43/129.89 c 130s| 8600 | 152 |775014 | 73.6 | 241M | 40 |4228 | 15k| 0 | 54k| 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 19.92%
130.12/130.53 c 131s| 8700 | 157 |778161 | 73.2 | 241M | 40 |4228 | 15k|9432 | 54k| 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 19.98%
130.82/131.21 c 131s| 8800 | 149 |781411 | 72.8 | 241M | 40 |4228 | 15k| 0 | 55k| 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 20.15%
131.62/132.06 c 132s| 8900 | 151 |786544 | 72.6 | 241M | 40 |4228 | 15k|9481 | 55k| 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 20.34%
133.21/133.67 c 134s| 9000 | 161 |798369 | 73.0 | 242M | 40 |4228 | 15k|9422 | 56k| 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 20.51%
133.91/134.38 c 134s| 9100 | 157 |802508 | 72.7 | 243M | 40 |4228 | 15k|9315 | 56k| 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 20.56%
134.82/135.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
134.82/135.24 c 135s| 9200 | 156 |808873 | 72.7 | 243M | 40 |4228 | 15k| 0 | 56k| 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 20.73%
135.72/136.17 c 136s| 9300 | 156 |816840 | 72.7 | 244M | 40 |4228 | 16k|9405 | 57k| 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 20.74%
137.01/137.48 c 137s| 9400 | 160 |824803 | 72.8 | 244M | 40 |4228 | 16k| 0 | 58k| 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 20.79%
137.90/138.38 c 138s| 9500 | 157 |831915 | 72.8 | 244M | 40 |4228 | 16k|9415 | 59k| 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 21.16%
139.40/139.85 c 140s| 9600 | 159 |841744 | 73.0 | 245M | 40 |4228 | 16k| 0 | 60k| 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 21.41%
144.49/144.97 c 145s| 9700 | 164 |864686 | 74.4 | 246M | 40 |4228 | 16k|9429 | 61k| 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 21.93%
146.78/147.22 c 147s| 9800 | 167 |882706 | 75.3 | 248M | 40 |4228 | 15k|9401 | 62k| 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 22.27%
147.68/148.14 c 148s| 9900 | 166 |889367 | 75.2 | 249M | 40 |4228 | 16k| 0 | 63k| 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 22.43%
148.68/149.13 c 149s| 10000 | 166 |898243 | 75.3 | 249M | 40 |4228 | 16k|9470 | 64k| 2 | 16k| 30 | 0.000000e+00 | -- | Inf | 22.97%
149.58/150.02 c 150s| 10100 | 171 |904507 | 75.2 | 250M | 40 |4228 | 16k|9465 | 64k| 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 23.38%
150.67/151.17 c 151s| 10200 | 171 |912814 | 75.3 | 251M | 40 |4228 | 16k| 0 | 65k| 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 23.59%
151.36/151.83 c 152s| 10300 | 175 |915967 | 74.9 | 251M | 40 |4228 | 16k|9468 | 65k| 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 23.70%
152.47/152.90 c 153s| 10400 | 169 |923798 | 75.0 | 252M | 40 |4228 | 16k|9509 | 66k| 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 24.22%
153.46/153.97 c 154s| 10500 | 177 |933143 | 75.1 | 252M | 40 |4228 | 16k|9427 | 68k| 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 24.61%
154.16/154.60 c 155s| 10600 | 174 |936283 | 74.8 | 252M | 40 |4228 | 16k| 0 | 68k| 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 24.75%
154.86/155.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
154.86/155.37 c 155s| 10700 | 173 |942202 | 74.6 | 252M | 40 |4228 | 16k|9441 | 68k| 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 25.06%
155.56/156.09 c 156s| 10800 | 169 |947125 | 74.4 | 252M | 40 |4228 | 16k| 0 | 69k| 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 25.20%
156.45/156.92 c 157s| 10900 | 174 |953442 | 74.3 | 253M | 40 |4228 | 16k|9427 | 69k| 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 25.28%
157.15/157.63 c 158s| 11000 | 173 |958215 | 74.1 | 253M | 40 |4228 | 16k|9432 | 69k| 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 25.37%
158.75/159.22 c 159s| 11100 | 181 |971951 | 74.6 | 255M | 40 |4228 | 16k|9439 | 70k| 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 25.58%
159.65/160.16 c 160s| 11200 | 178 |978412 | 74.5 | 256M | 40 |4228 | 16k|9465 | 71k| 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 25.88%
160.55/161.03 c 161s| 11300 | 179 |984714 | 74.5 | 256M | 40 |4228 | 16k|9441 | 72k| 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 26.06%
161.44/161.94 c 162s| 11400 | 170 |991291 | 74.4 | 257M | 40 |4228 | 16k| 0 | 72k| 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 27.18%
163.03/163.56 c 164s| 11500 | 173 | 1004k| 74.8 | 258M | 40 |4228 | 16k|9414 | 73k| 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 27.40%
164.63/165.12 c 165s| 11600 | 176 | 1017k| 75.3 | 260M | 40 |4228 | 16k|9437 | 74k| 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 27.69%
166.02/166.57 c 167s| 11700 | 172 | 1033k| 75.9 | 260M | 40 |4228 | 16k| 0 | 75k| 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 28.36%
167.53/168.06 c 168s| 11800 | 174 | 1043k| 76.1 | 262M | 40 |4228 | 16k|9270 | 76k| 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 28.84%
168.82/169.36 c 169s| 11900 | 176 | 1055k| 76.4 | 262M | 40 |4228 | 16k| 0 | 77k| 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 29.48%
170.02/170.50 c 171s| 12000 | 182 | 1068k| 76.8 | 262M | 40 |4228 | 16k|9409 | 78k| 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 29.75%
171.31/171.86 c 172s| 12100 | 180 | 1081k| 77.1 | 262M | 40 |4228 | 16k|9411 | 78k| 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 29.89%
171.91/172.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
171.91/172.49 c 172s| 12200 | 178 | 1085k| 76.9 | 262M | 40 |4228 | 16k| 0 | 79k| 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 29.93%
173.11/173.63 c 174s| 12300 | 181 | 1097k| 77.2 | 263M | 40 |4228 | 16k| 0 | 80k| 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 30.24%
173.80/174.38 c 174s| 12400 | 175 | 1103k| 77.1 | 263M | 40 |4228 | 16k| 0 | 80k| 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 30.38%
174.90/175.43 c 175s| 12500 | 178 | 1112k| 77.2 | 263M | 40 |4228 | 16k|9434 | 82k| 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 30.55%
175.70/176.27 c 176s| 12600 | 183 | 1119k| 77.1 | 264M | 40 |4228 | 16k|9481 | 82k| 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 30.78%
176.30/176.86 c 177s| 12700 | 180 | 1122k| 76.8 | 264M | 40 |4228 | 16k| 0 | 83k| 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 30.92%
177.30/177.87 c 178s| 12800 | 177 | 1126k| 76.6 | 266M | 40 |4228 | 16k|9460 | 83k| 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 31.03%
178.50/179.05 c 179s| 12900 | 176 | 1137k| 76.8 | 266M | 40 |4228 | 16k|9411 | 84k| 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 31.29%
179.39/179.92 c 180s| 13000 | 175 | 1145k| 76.8 | 266M | 40 |4228 | 16k|9448 | 85k| 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 31.78%
180.29/180.83 c 181s| 13100 | 179 | 1152k| 76.7 | 266M | 40 |4228 | 17k|9423 | 85k| 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 31.89%
181.08/181.67 c 182s| 13200 | 177 | 1158k| 76.6 | 266M | 40 |4228 | 17k|9411 | 86k| 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 31.98%
182.08/182.69 c 183s| 13300 | 187 | 1167k| 76.7 | 266M | 40 |4228 | 17k|9411 | 87k| 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 31.99%
182.98/183.57 c 184s| 13400 | 177 | 1174k| 76.7 | 266M | 40 |4228 | 17k|9499 | 88k| 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 32.00%
183.77/184.35 c 184s| 13500 | 174 | 1179k| 76.5 | 267M | 40 |4228 | 17k| 0 | 88k| 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 32.01%
184.68/185.28 c 185s| 13600 | 173 | 1186k| 76.5 | 267M | 40 |4228 | 17k|9506 | 90k| 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 32.02%
186.27/186.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
186.27/186.80 c 187s| 13700 | 179 | 1198k| 76.7 | 267M | 40 |4228 | 17k|9413 | 91k| 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 32.42%
187.27/187.85 c 188s| 13800 | 180 | 1206k| 76.8 | 267M | 40 |4228 | 17k|9408 | 92k| 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 32.91%
188.37/188.94 c 189s| 13900 | 178 | 1215k| 76.8 | 267M | 40 |4228 | 17k|9428 | 93k| 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 33.46%
189.36/189.95 c 190s| 14000 | 185 | 1222k| 76.8 | 267M | 40 |4228 | 17k|9487 | 93k| 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 33.97%
190.26/190.82 c 191s| 14100 | 181 | 1227k| 76.6 | 267M | 40 |4228 | 17k| 0 | 94k| 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 34.43%
191.36/191.97 c 192s| 14200 | 192 | 1236k| 76.7 | 267M | 40 |4228 | 17k|9436 | 96k| 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 34.90%
192.15/192.74 c 193s| 14300 | 190 | 1241k| 76.5 | 267M | 40 |4228 | 17k|9436 | 96k| 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 35.09%
192.75/193.33 c 193s| 14400 | 188 | 1244k| 76.2 | 267M | 40 |4228 | 17k|9436 | 96k| 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 35.19%
193.35/193.92 c 194s| 14500 | 182 | 1246k| 75.9 | 267M | 40 |4228 | 17k|9490 | 96k| 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 35.31%
193.85/194.44 c 194s| 14600 | 178 | 1248k| 75.6 | 267M | 40 |4228 | 17k|9426 | 96k| 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 35.45%
196.15/196.72 c 197s| 14700 | 196 | 1267k| 76.3 | 267M | 40 |4228 | 17k|9492 | 98k| 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 35.72%
196.84/197.44 c 197s| 14800 | 197 | 1271k| 76.0 | 267M | 40 |4228 | 17k|9492 | 98k| 1 | 23k| 30 | 0.000000e+00 | -- | Inf | 35.80%
197.64/198.21 c 198s| 14900 | 201 | 1275k| 75.8 | 267M | 40 |4228 | 17k|9529 | 99k| 2 | 23k| 30 | 0.000000e+00 | -- | Inf | 35.85%
198.34/198.93 c 199s| 15000 | 191 | 1280k| 75.7 | 267M | 40 |4228 | 17k| 0 | 99k| 0 | 23k| 30 | 0.000000e+00 | -- | Inf | 35.95%
199.33/199.94 c 200s| 15100 | 188 | 1288k| 75.7 | 268M | 40 |4228 | 17k| 0 | 100k| 0 | 23k| 30 | 0.000000e+00 | -- | Inf | 36.37%
200.53/201.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
200.53/201.10 c 201s| 15200 | 194 | 1298k| 75.8 | 269M | 40 |4228 | 17k|9440 | 101k| 1 | 23k| 30 | 0.000000e+00 | -- | Inf | 36.58%
201.43/202.04 c 202s| 15300 | 200 | 1305k| 75.8 | 269M | 40 |4228 | 17k|9504 | 101k| 1 | 23k| 30 | 0.000000e+00 | -- | Inf | 36.66%
202.32/202.92 c 203s| 15400 | 193 | 1311k| 75.7 | 269M | 40 |4228 | 17k| 0 | 102k| 0 | 24k| 30 | 0.000000e+00 | -- | Inf | 36.67%
203.22/203.81 c 204s| 15500 | 191 | 1318k| 75.7 | 269M | 40 |4228 | 17k|9396 | 103k| 1 | 24k| 30 | 0.000000e+00 | -- | Inf | 37.11%
204.02/204.68 c 205s| 15600 | 191 | 1325k| 75.7 | 270M | 40 |4228 | 17k| 0 | 104k| 0 | 24k| 30 | 0.000000e+00 | -- | Inf | 37.13%
205.12/205.70 c 206s| 15700 | 193 | 1332k| 75.6 | 270M | 40 |4228 | 17k|9511 | 105k| 1 | 24k| 30 | 0.000000e+00 | -- | Inf | 37.19%
206.22/206.85 c 207s| 15800 | 199 | 1341k| 75.7 | 270M | 40 |4228 | 18k|9437 | 105k| 1 | 24k| 30 | 0.000000e+00 | -- | Inf | 37.28%
207.02/207.61 c 208s| 15900 | 197 | 1346k| 75.5 | 270M | 40 |4228 | 18k| 0 | 106k| 0 | 25k| 30 | 0.000000e+00 | -- | Inf | 37.30%
208.42/209.04 c 209s| 16000 | 194 | 1357k| 75.7 | 271M | 40 |4228 | 18k|9437 | 107k| 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 37.81%
209.41/210.04 c 210s| 16100 | 194 | 1365k| 75.8 | 271M | 40 |4228 | 18k|9445 | 109k| 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 37.89%
210.30/210.92 c 211s| 16200 | 194 | 1372k| 75.7 | 271M | 40 |4228 | 18k|9437 | 110k| 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 38.22%
211.20/211.89 c 212s| 16300 | 190 | 1379k| 75.7 | 271M | 40 |4228 | 18k| 0 | 111k| 0 | 25k| 30 | 0.000000e+00 | -- | Inf | 38.41%
213.29/213.96 c 214s| 16400 | 188 | 1396k| 76.2 | 273M | 40 |4228 | 18k|9465 | 113k| 1 | 26k| 30 | 0.000000e+00 | -- | Inf | 39.74%
214.39/215.02 c 215s| 16500 | 192 | 1405k| 76.3 | 273M | 40 |4228 | 18k| 0 | 114k| 0 | 26k| 30 | 0.000000e+00 | -- | Inf | 40.08%
215.40/216.09 c 216s| 16600 | 190 | 1413k| 76.3 | 273M | 40 |4228 | 18k|9432 | 115k| 1 | 26k| 30 | 0.000000e+00 | -- | Inf | 40.36%
216.69/217.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
216.69/217.37 c 217s| 16700 | 195 | 1422k| 76.4 | 275M | 40 |4228 | 18k|9438 | 116k| 1 | 26k| 30 | 0.000000e+00 | -- | Inf | 40.74%
217.69/218.36 c 218s| 16800 | 187 | 1430k| 76.4 | 277M | 40 |4228 | 17k| 0 | 116k| 0 | 26k| 30 | 0.000000e+00 | -- | Inf | 41.06%
219.39/220.08 c 220s| 16900 | 188 | 1444k| 76.7 | 277M | 40 |4228 | 17k|9414 | 118k| 1 | 27k| 30 | 0.000000e+00 | -- | Inf | 41.80%
220.78/221.49 c 221s| 17000 | 189 | 1456k| 77.0 | 277M | 40 |4228 | 17k|9425 | 119k| 1 | 27k| 30 | 0.000000e+00 | -- | Inf | 41.83%
221.87/222.57 c 223s| 17100 | 191 | 1465k| 77.1 | 279M | 40 |4228 | 17k|9425 | 119k| 1 | 27k| 30 | 0.000000e+00 | -- | Inf | 41.88%
223.07/223.74 c 224s| 17200 | 193 | 1478k| 77.3 | 281M | 40 |4228 | 17k| 0 | 120k| 0 | 27k| 30 | 0.000000e+00 | -- | Inf | 42.09%
224.06/224.70 c 225s| 17300 | 192 | 1487k| 77.4 | 281M | 40 |4228 | 17k| 0 | 121k| 0 | 27k| 30 | 0.000000e+00 | -- | Inf | 42.14%
224.86/225.58 c 226s| 17400 | 198 | 1493k| 77.3 | 281M | 40 |4228 | 17k|9417 | 122k| 1 | 27k| 30 | 0.000000e+00 | -- | Inf | 42.20%
225.67/226.36 c 226s| 17500 | 188 | 1498k| 77.2 | 281M | 40 |4228 | 17k|9427 | 122k| 1 | 28k| 30 | 0.000000e+00 | -- | Inf | 42.23%
226.66/227.39 c 227s| 17600 | 189 | 1507k| 77.2 | 281M | 40 |4228 | 17k|9528 | 123k| 1 | 28k| 30 | 0.000000e+00 | -- | Inf | 42.68%
227.66/228.35 c 228s| 17700 | 192 | 1515k| 77.3 | 281M | 40 |4228 | 17k| 0 | 125k| 0 | 28k| 30 | 0.000000e+00 | -- | Inf | 42.69%
228.55/229.25 c 229s| 17800 | 184 | 1522k| 77.2 | 281M | 40 |4228 | 18k|9410 | 126k| 1 | 28k| 30 | 0.000000e+00 | -- | Inf | 42.71%
230.15/230.82 c 231s| 17900 | 182 | 1536k| 77.5 | 281M | 40 |4228 | 17k| 0 | 127k| 0 | 28k| 30 | 0.000000e+00 | -- | Inf | 42.99%
231.15/231.83 c 232s| 18000 | 186 | 1542k| 77.4 | 281M | 40 |4228 | 17k|9426 | 128k| 1 | 28k| 30 | 0.000000e+00 | -- | Inf | 43.16%
232.45/233.19 c 233s| 18100 | 186 | 1554k| 77.7 | 282M | 40 |4228 | 17k|9432 | 129k| 1 | 29k| 30 | 0.000000e+00 | -- | Inf | 45.21%
233.84/234.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
233.84/234.56 c 235s| 18200 | 200 | 1563k| 77.7 | 282M | 40 |4228 | 17k|9516 | 130k| 2 | 29k| 30 | 0.000000e+00 | -- | Inf | 46.65%
234.83/235.58 c 236s| 18300 | 194 | 1571k| 77.8 | 282M | 40 |4228 | 17k|9414 | 132k| 1 | 29k| 30 | 0.000000e+00 | -- | Inf | 46.73%
236.14/236.84 c 237s| 18400 | 198 | 1580k| 77.8 | 284M | 40 |4228 | 17k| 0 | 133k| 0 | 29k| 30 | 0.000000e+00 | -- | Inf | 47.39%
237.03/237.79 c 238s| 18500 | 202 | 1586k| 77.7 | 284M | 40 |4228 | 18k| 0 | 135k| 0 | 29k| 30 | 0.000000e+00 | -- | Inf | 47.88%
237.93/238.65 c 239s| 18600 | 205 | 1591k| 77.6 | 285M | 40 |4228 | 18k|9471 | 135k| 1 | 30k| 30 | 0.000000e+00 | -- | Inf | 48.19%
238.93/239.67 c 240s| 18700 | 198 | 1599k| 77.6 | 286M | 40 |4228 | 18k|9431 | 137k| 1 | 30k| 30 | 0.000000e+00 | -- | Inf | 48.94%
239.73/240.48 c 240s| 18800 | 183 | 1604k| 77.5 | 286M | 40 |4228 | 18k|9485 | 138k| 1 | 30k| 30 | 0.000000e+00 | -- | Inf | 49.58%
241.02/241.73 c 242s| 18900 | 188 | 1612k| 77.5 | 286M | 40 |4228 | 18k| 0 | 139k| 0 | 30k| 30 | 0.000000e+00 | -- | Inf | 50.13%
242.02/242.77 c 243s| 19000 | 185 | 1621k| 77.5 | 289M | 40 |4228 | 18k| 0 | 139k| 0 | 30k| 30 | 0.000000e+00 | -- | Inf | 50.21%
243.32/244.08 c 244s| 19100 | 187 | 1631k| 77.6 | 291M | 40 |4228 | 18k|9439 | 140k| 1 | 30k| 30 | 0.000000e+00 | -- | Inf | 50.49%
244.01/244.72 c 245s| 19200 | 193 | 1635k| 77.5 | 291M | 40 |4228 | 18k|9400 | 140k| 1 | 31k| 30 | 0.000000e+00 | -- | Inf | 50.58%
244.81/245.50 c 245s| 19300 | 187 | 1641k| 77.4 | 291M | 40 |4228 | 18k| 0 | 140k| 0 | 31k| 30 | 0.000000e+00 | -- | Inf | 50.62%
245.71/246.44 c 246s| 19400 | 183 | 1647k| 77.3 | 292M | 40 |4228 | 18k| 0 | 141k| 0 | 31k| 30 | 0.000000e+00 | -- | Inf | 50.74%
248.20/248.92 c 249s| 19500 | 193 | 1659k| 77.5 | 292M | 40 |4228 | 18k|9472 | 142k| 1 | 31k| 30 | 0.000000e+00 | -- | Inf | 51.28%
249.41/250.19 c 250s| 19600 | 187 | 1669k| 77.6 | 295M | 40 |4228 | 18k|9417 | 144k| 1 | 31k| 30 | 0.000000e+00 | -- | Inf | 52.03%
250.40/251.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
250.40/251.20 c 251s| 19700 | 187 | 1676k| 77.5 | 296M | 40 |4228 | 18k| 0 | 144k| 0 | 31k| 30 | 0.000000e+00 | -- | Inf | 52.40%
251.59/252.37 c 252s| 19800 | 183 | 1684k| 77.6 | 297M | 40 |4228 | 18k|9418 | 145k| 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 52.56%
252.59/253.35 c 253s| 19900 | 186 | 1692k| 77.6 | 297M | 40 |4228 | 18k|9472 | 146k| 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 52.64%
253.39/254.14 c 254s| 20000 | 188 | 1697k| 77.5 | 297M | 40 |4228 | 18k| 0 | 146k| 0 | 32k| 30 | 0.000000e+00 | -- | Inf | 52.82%
254.68/255.43 c 255s| 20100 | 188 | 1707k| 77.5 | 297M | 40 |4228 | 18k| 0 | 147k| 0 | 32k| 30 | 0.000000e+00 | -- | Inf | 53.12%
255.48/256.27 c 256s| 20200 | 187 | 1714k| 77.5 | 297M | 40 |4228 | 18k|9451 | 148k| 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 53.20%
256.39/257.12 c 257s| 20300 | 185 | 1720k| 77.5 | 297M | 40 |4228 | 18k|9451 | 148k| 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 53.22%
257.18/257.98 c 258s| 20400 | 182 | 1727k| 77.4 | 297M | 40 |4228 | 18k|9451 | 149k| 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 53.24%
258.48/259.21 c 259s| 20500 | 181 | 1738k| 77.6 | 297M | 40 |4228 | 18k|9530 | 150k| 3 | 33k| 30 | 0.000000e+00 | -- | Inf | 53.47%
259.57/260.35 c 260s| 20600 | 196 | 1747k| 77.6 | 299M | 40 |4228 | 17k|9432 | 151k| 1 | 33k| 30 | 0.000000e+00 | -- | Inf | 53.93%
260.37/261.15 c 261s| 20700 | 186 | 1753k| 77.5 | 299M | 40 |4228 | 17k| 0 | 152k| 0 | 33k| 30 | 0.000000e+00 | -- | Inf | 54.88%
262.06/262.81 c 263s| 20800 | 193 | 1767k| 77.8 | 299M | 40 |4228 | 17k| 0 | 153k| 0 | 33k| 30 | 0.000000e+00 | -- | Inf | 55.32%
263.06/263.82 c 264s| 20900 | 189 | 1773k| 77.8 | 300M | 40 |4228 | 17k| 0 | 154k| 0 | 33k| 30 | 0.000000e+00 | -- | Inf | 55.63%
264.06/264.87 c 265s| 21000 | 189 | 1782k| 77.8 | 300M | 40 |4228 | 17k| 0 | 155k| 0 | 33k| 30 | 0.000000e+00 | -- | Inf | 56.59%
265.15/265.91 c 266s| 21100 | 187 | 1792k| 77.9 | 300M | 40 |4228 | 17k|9475 | 157k| 1 | 33k| 30 | 0.000000e+00 | -- | Inf | 57.22%
266.36/267.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
266.36/267.19 c 267s| 21200 | 185 | 1802k| 78.0 | 301M | 40 |4228 | 17k|9403 | 157k| 1 | 34k| 30 | 0.000000e+00 | -- | Inf | 57.80%
267.65/268.45 c 268s| 21300 | 182 | 1815k| 78.2 | 301M | 40 |4228 | 17k|9425 | 159k| 1 | 34k| 30 | 0.000000e+00 | -- | Inf | 58.59%
268.65/269.49 c 269s| 21400 | 182 | 1822k| 78.2 | 301M | 40 |4228 | 17k|9414 | 159k| 1 | 34k| 30 | 0.000000e+00 | -- | Inf | 59.09%
269.64/270.41 c 270s| 21500 | 184 | 1829k| 78.1 | 301M | 40 |4228 | 17k| 0 | 160k| 0 | 34k| 30 | 0.000000e+00 | -- | Inf | 59.39%
270.35/271.11 c 271s| 21600 | 178 | 1833k| 78.0 | 301M | 40 |4228 | 17k| 0 | 160k| 0 | 34k| 30 | 0.000000e+00 | -- | Inf | 59.51%
271.94/272.75 c 273s| 21700 | 179 | 1846k| 78.2 | 304M | 40 |4228 | 17k|9439 | 162k| 1 | 35k| 30 | 0.000000e+00 | -- | Inf | 60.30%
273.03/273.82 c 274s| 21800 | 180 | 1854k| 78.2 | 305M | 40 |4228 | 17k|9440 | 163k| 1 | 35k| 30 | 0.000000e+00 | -- | Inf | 61.07%
273.73/274.59 c 275s| 21900 | 185 | 1859k| 78.1 | 305M | 40 |4228 | 17k|9426 | 164k| 0 | 35k| 30 | 0.000000e+00 | -- | Inf | 61.27%
274.53/275.36 c 275s| 22000 | 186 | 1864k| 78.0 | 305M | 40 |4228 | 17k|9468 | 164k| 1 | 35k| 30 | 0.000000e+00 | -- | Inf | 61.40%
275.23/276.07 c 276s| 22100 | 185 | 1869k| 77.8 | 305M | 40 |4228 | 17k|9400 | 164k| 1 | 35k| 30 | 0.000000e+00 | -- | Inf | 61.45%
276.03/276.83 c 277s| 22200 | 185 | 1873k| 77.7 | 305M | 40 |4228 | 17k| 0 | 165k| 0 | 35k| 30 | 0.000000e+00 | -- | Inf | 61.47%
276.93/277.75 c 278s| 22300 | 185 | 1880k| 77.7 | 305M | 40 |4228 | 17k| 0 | 166k| 0 | 35k| 30 | 0.000000e+00 | -- | Inf | 61.72%
277.82/278.60 c 279s| 22400 | 181 | 1884k| 77.5 | 305M | 40 |4228 | 17k|9484 | 166k| 1 | 35k| 30 | 0.000000e+00 | -- | Inf | 61.89%
278.72/279.55 c 280s| 22500 | 178 | 1891k| 77.5 | 305M | 40 |4228 | 17k|9470 | 167k| 2 | 36k| 30 | 0.000000e+00 | -- | Inf | 62.16%
279.22/280.08 c 280s| 22600 | 184 | 1893k| 77.2 | 305M | 40 |4228 | 17k|9439 | 167k| 1 | 36k| 30 | 0.000000e+00 | -- | Inf | 62.21%
280.02/280.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
280.02/280.81 c 281s| 22700 | 180 | 1897k| 77.1 | 305M | 40 |4228 | 17k|9422 | 167k| 1 | 36k| 30 | 0.000000e+00 | -- | Inf | 62.34%
281.01/281.82 c 282s| 22800 | 177 | 1905k| 77.1 | 307M | 40 |4228 | 18k|9540 | 168k| 3 | 36k| 30 | 0.000000e+00 | -- | Inf | 62.45%
281.61/282.47 c 282s| 22900 | 188 | 1909k| 76.9 | 307M | 40 |4228 | 17k|9482 | 168k| 1 | 36k| 30 | 0.000000e+00 | -- | Inf | 62.55%
283.60/284.49 c 284s| 23000 | 189 | 1921k| 77.1 | 307M | 40 |4228 | 17k| 0 | 169k| 0 | 36k| 30 | 0.000000e+00 | -- | Inf | 62.62%
284.41/285.29 c 285s| 23100 | 187 | 1927k| 77.0 | 307M | 40 |4228 | 18k|9554 | 170k| 1 | 37k| 30 | 0.000000e+00 | -- | Inf | 62.64%
285.31/286.16 c 286s| 23200 | 186 | 1934k| 77.0 | 307M | 40 |4228 | 18k| 0 | 171k| 0 | 37k| 30 | 0.000000e+00 | -- | Inf | 62.66%
286.10/287.00 c 287s| 23300 | 190 | 1941k| 77.0 | 307M | 40 |4228 | 18k|9463 | 172k| 1 | 37k| 30 | 0.000000e+00 | -- | Inf | 62.68%
287.50/288.32 c 288s| 23400 | 181 | 1951k| 77.1 | 307M | 40 |4228 | 18k|9406 | 173k| 1 | 37k| 30 | 0.000000e+00 | -- | Inf | 62.89%
288.79/289.69 c 290s| 23500 | 185 | 1961k| 77.2 | 310M | 40 |4228 | 17k| 0 | 174k| 0 | 37k| 30 | 0.000000e+00 | -- | Inf | 63.96%
290.19/291.07 c 291s| 23600 | 186 | 1974k| 77.4 | 310M | 40 |4228 | 17k| 0 | 175k| 0 | 37k| 30 | 0.000000e+00 | -- | Inf | 64.14%
291.19/292.01 c 292s| 23700 | 185 | 1981k| 77.3 | 310M | 40 |4228 | 17k| 0 | 175k| 0 | 37k| 30 | 0.000000e+00 | -- | Inf | 64.18%
291.98/292.80 c 293s| 23800 | 191 | 1987k| 77.3 | 311M | 40 |4228 | 17k|9414 | 176k| 1 | 38k| 30 | 0.000000e+00 | -- | Inf | 64.19%
292.78/293.62 c 294s| 23900 | 186 | 1993k| 77.2 | 311M | 40 |4228 | 17k|9569 | 177k| 3 | 38k| 30 | 0.000000e+00 | -- | Inf | 64.21%
293.68/294.55 c 295s| 24000 | 183 | 2000k| 77.2 | 313M | 40 |4228 | 17k|9420 | 177k| 1 | 38k| 30 | 0.000000e+00 | -- | Inf | 64.25%
294.77/295.61 c 296s| 24100 | 178 | 2008k| 77.2 | 313M | 40 |4228 | 17k| 0 | 178k| 0 | 38k| 30 | 0.000000e+00 | -- | Inf | 64.29%
295.97/296.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
295.97/296.87 c 297s| 24200 | 181 | 2019k| 77.3 | 315M | 40 |4228 | 17k| 0 | 179k| 0 | 38k| 30 | 0.000000e+00 | -- | Inf | 64.78%
297.37/298.27 c 298s| 24300 | 183 | 2032k| 77.5 | 315M | 40 |4228 | 17k|9450 | 181k| 1 | 38k| 30 | 0.000000e+00 | -- | Inf | 65.32%
298.67/299.56 c 300s| 24400 | 182 | 2044k| 77.7 | 316M | 40 |4228 | 17k| 0 | 183k| 0 | 39k| 30 | 0.000000e+00 | -- | Inf | 65.91%
299.96/300.82 c 301s| 24500 | 180 | 2055k| 77.8 | 317M | 40 |4228 | 17k|9483 | 184k| 1 | 39k| 30 | 0.000000e+00 | -- | Inf | 66.57%
300.96/301.87 c 302s| 24600 | 181 | 2065k| 77.9 | 317M | 40 |4228 | 17k|9426 | 185k| 1 | 39k| 30 | 0.000000e+00 | -- | Inf | 66.64%
301.95/302.80 c 303s| 24700 | 186 | 2074k| 77.9 | 317M | 40 |4228 | 17k|9426 | 185k| 1 | 39k| 30 | 0.000000e+00 | -- | Inf | 66.70%
302.86/303.77 c 304s| 24800 | 175 | 2082k| 78.0 | 317M | 40 |4228 | 17k| 0 | 186k| 0 | 39k| 30 | 0.000000e+00 | -- | Inf | 66.74%
304.05/304.90 c 305s| 24900 | 179 | 2092k| 78.0 | 317M | 40 |4228 | 17k|9411 | 187k| 1 | 39k| 30 | 0.000000e+00 | -- | Inf | 66.80%
305.15/306.10 c 306s| 25000 | 175 | 2102k| 78.1 | 317M | 40 |4228 | 17k| 0 | 188k| 0 | 40k| 30 | 0.000000e+00 | -- | Inf | 66.82%
306.34/307.22 c 307s| 25100 | 189 | 2111k| 78.2 | 317M | 40 |4228 | 17k| 0 | 189k| 0 | 40k| 30 | 0.000000e+00 | -- | Inf | 66.96%
307.64/308.59 c 309s| 25200 | 180 | 2120k| 78.2 | 319M | 40 |4228 | 17k| 0 | 189k| 0 | 40k| 30 | 0.000000e+00 | -- | Inf | 67.19%
308.63/309.50 c 309s| 25300 | 181 | 2127k| 78.2 | 319M | 40 |4228 | 17k|9458 | 190k| 1 | 40k| 30 | 0.000000e+00 | -- | Inf | 67.27%
309.34/310.20 c 310s| 25400 | 184 | 2132k| 78.1 | 319M | 40 |4228 | 17k| 0 | 190k| 0 | 40k| 30 | 0.000000e+00 | -- | Inf | 67.35%
310.24/311.12 c 311s| 25500 | 178 | 2140k| 78.1 | 319M | 40 |4228 | 17k|9270 | 190k| 1 | 40k| 30 | 0.000000e+00 | -- | Inf | 67.45%
311.33/312.25 c 312s| 25600 | 179 | 2149k| 78.1 | 319M | 40 |4228 | 17k| 0 | 191k| 0 | 40k| 30 | 0.000000e+00 | -- | Inf | 67.67%
312.43/313.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
312.43/313.37 c 313s| 25700 | 184 | 2160k| 78.2 | 319M | 40 |4228 | 16k|9419 | 192k| 1 | 41k| 30 | 0.000000e+00 | -- | Inf | 68.56%
313.92/314.87 c 315s| 25800 | 180 | 2172k| 78.4 | 320M | 40 |4228 | 16k|9430 | 193k| 1 | 41k| 30 | 0.000000e+00 | -- | Inf | 69.12%
314.53/315.46 c 315s| 25900 | 182 | 2174k| 78.2 | 320M | 40 |4228 | 17k|9425 | 193k| 1 | 41k| 30 | 0.000000e+00 | -- | Inf | 69.22%
315.13/316.01 c 316s| 26000 | 177 | 2177k| 78.0 | 320M | 40 |4228 | 17k|9430 | 193k| 1 | 41k| 30 | 0.000000e+00 | -- | Inf | 69.31%
316.13/317.04 c 317s| 26100 | 180 | 2185k| 78.0 | 321M | 40 |4228 | 17k|9427 | 194k| 1 | 41k| 30 | 0.000000e+00 | -- | Inf | 69.58%
316.92/317.83 c 318s| 26200 | 182 | 2191k| 77.9 | 321M | 40 |4228 | 17k| 0 | 194k| 0 | 42k| 30 | 0.000000e+00 | -- | Inf | 69.64%
317.91/318.88 c 319s| 26300 | 177 | 2200k| 78.0 | 321M | 40 |4228 | 17k|9418 | 195k| 1 | 42k| 30 | 0.000000e+00 | -- | Inf | 69.74%
318.91/319.83 c 320s| 26400 | 180 | 2205k| 77.9 | 321M | 40 |4228 | 17k|9435 | 196k| 1 | 42k| 30 | 0.000000e+00 | -- | Inf | 69.87%
319.80/320.72 c 321s| 26500 | 183 | 2212k| 77.9 | 321M | 40 |4228 | 17k| 0 | 196k| 0 | 42k| 30 | 0.000000e+00 | -- | Inf | 69.97%
320.70/321.67 c 322s| 26600 | 180 | 2221k| 77.9 | 321M | 40 |4228 | 17k|9425 | 196k| 1 | 42k| 30 | 0.000000e+00 | -- | Inf | 70.13%
321.61/322.54 c 323s| 26700 | 177 | 2227k| 77.8 | 321M | 40 |4228 | 17k| 0 | 197k| 0 | 42k| 30 | 0.000000e+00 | -- | Inf | 70.53%
322.30/323.26 c 323s| 26800 | 175 | 2232k| 77.7 | 321M | 40 |4228 | 17k|9402 | 197k| 1 | 43k| 30 | 0.000000e+00 | -- | Inf | 70.69%
323.20/324.18 c 324s| 26900 | 182 | 2239k| 77.7 | 321M | 40 |4228 | 17k| 0 | 198k| 0 | 43k| 30 | 0.000000e+00 | -- | Inf | 70.85%
323.99/324.94 c 325s| 27000 | 179 | 2244k| 77.6 | 322M | 40 |4228 | 17k| 0 | 199k| 0 | 43k| 30 | 0.000000e+00 | -- | Inf | 70.92%
324.69/325.66 c 326s| 27100 | 177 | 2249k| 77.5 | 322M | 40 |4228 | 17k| 0 | 199k| 0 | 43k| 30 | 0.000000e+00 | -- | Inf | 71.12%
325.49/326.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
325.49/326.44 c 326s| 27200 | 180 | 2255k| 77.5 | 322M | 40 |4228 | 17k| 0 | 200k| 0 | 43k| 30 | 0.000000e+00 | -- | Inf | 71.21%
326.69/327.60 c 328s| 27300 | 172 | 2265k| 77.5 | 322M | 40 |4228 | 17k|9419 | 202k| 1 | 43k| 30 | 0.000000e+00 | -- | Inf | 71.24%
328.98/329.93 c 330s| 27400 | 171 | 2278k| 77.7 | 322M | 40 |4228 | 17k|9271 | 202k| 1 | 43k| 30 | 0.000000e+00 | -- | Inf | 71.34%
330.68/331.66 c 332s| 27500 | 184 | 2291k| 77.9 | 322M | 40 |4228 | 17k| 0 | 203k| 0 | 44k| 30 | 0.000000e+00 | -- | Inf | 71.55%
331.47/332.41 c 332s| 27600 | 178 | 2297k| 77.8 | 322M | 40 |4228 | 17k| 0 | 204k| 0 | 44k| 30 | 0.000000e+00 | -- | Inf | 71.59%
332.48/333.48 c 333s| 27700 | 179 | 2306k| 77.9 | 322M | 40 |4228 | 17k| 0 | 204k| 0 | 44k| 30 | 0.000000e+00 | -- | Inf | 71.68%
333.57/334.55 c 335s| 27800 | 180 | 2315k| 77.9 | 322M | 40 |4228 | 17k|9428 | 205k| 1 | 44k| 30 | 0.000000e+00 | -- | Inf | 71.82%
334.57/335.57 c 336s| 27900 | 182 | 2323k| 77.9 | 323M | 40 |4228 | 17k| 0 | 205k| 0 | 44k| 30 | 0.000000e+00 | -- | Inf | 71.96%
335.57/336.59 c 337s| 28000 | 182 | 2332k| 78.0 | 323M | 40 |4228 | 16k|9418 | 206k| 1 | 44k| 30 | 0.000000e+00 | -- | Inf | 72.27%
336.66/337.62 c 338s| 28100 | 186 | 2341k| 78.0 | 323M | 40 |4228 | 16k|9419 | 206k| 1 | 44k| 30 | 0.000000e+00 | -- | Inf | 72.45%
337.46/338.44 c 338s| 28200 | 180 | 2347k| 78.0 | 323M | 40 |4228 | 17k| 0 | 206k| 0 | 45k| 30 | 0.000000e+00 | -- | Inf | 72.58%
338.46/339.42 c 339s| 28300 | 178 | 2355k| 78.0 | 323M | 40 |4228 | 17k|9520 | 208k| 3 | 45k| 30 | 0.000000e+00 | -- | Inf | 72.79%
339.96/340.97 c 341s| 28400 | 188 | 2368k| 78.1 | 323M | 40 |4228 | 16k|9546 | 209k| 2 | 45k| 30 | 0.000000e+00 | -- | Inf | 73.20%
341.16/342.15 c 342s| 28500 | 184 | 2377k| 78.2 | 324M | 40 |4228 | 16k|9451 | 210k| 1 | 45k| 30 | 0.000000e+00 | -- | Inf | 73.93%
342.15/343.15 c 343s| 28600 | 187 | 2386k| 78.2 | 324M | 40 |4228 | 17k| 0 | 211k| 0 | 45k| 30 | 0.000000e+00 | -- | Inf | 74.12%
342.94/343.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
342.94/343.92 c 344s| 28700 | 183 | 2393k| 78.2 | 324M | 40 |4228 | 17k|9433 | 211k| 1 | 45k| 30 | 0.000000e+00 | -- | Inf | 74.23%
344.14/345.17 c 345s| 28800 | 184 | 2404k| 78.3 | 325M | 40 |4228 | 16k|9410 | 212k| 1 | 45k| 30 | 0.000000e+00 | -- | Inf | 74.76%
345.33/346.37 c 346s| 28900 | 183 | 2410k| 78.2 | 325M | 40 |4228 | 17k|9403 | 212k| 1 | 46k| 30 | 0.000000e+00 | -- | Inf | 74.88%
346.34/347.37 c 347s| 29000 | 183 | 2419k| 78.3 | 325M | 40 |4228 | 17k| 0 | 214k| 0 | 46k| 30 | 0.000000e+00 | -- | Inf | 74.97%
347.43/348.46 c 348s| 29100 | 180 | 2429k| 78.3 | 325M | 40 |4228 | 17k|9440 | 215k| 1 | 46k| 30 | 0.000000e+00 | -- | Inf | 75.57%
348.53/349.54 c 350s| 29200 | 178 | 2440k| 78.4 | 325M | 40 |4228 | 17k| 0 | 216k| 0 | 46k| 30 | 0.000000e+00 | -- | Inf | 75.70%
349.93/350.92 c 351s| 29300 | 177 | 2450k| 78.5 | 326M | 40 |4228 | 17k|9433 | 216k| 2 | 46k| 30 | 0.000000e+00 | -- | Inf | 76.08%
351.52/352.57 c 353s| 29400 | 175 | 2464k| 78.7 | 327M | 40 |4228 | 17k|9441 | 217k| 1 | 46k| 30 | 0.000000e+00 | -- | Inf | 76.44%
352.62/353.68 c 354s| 29500 | 182 | 2474k| 78.8 | 327M | 40 |4228 | 16k|9463 | 218k| 1 | 47k| 30 | 0.000000e+00 | -- | Inf | 77.10%
353.52/354.56 c 355s| 29600 | 186 | 2481k| 78.8 | 327M | 40 |4228 | 16k|9439 | 219k| 1 | 47k| 30 | 0.000000e+00 | -- | Inf | 77.37%
354.12/355.15 c 355s| 29700 | 183 | 2484k| 78.6 | 327M | 40 |4228 | 17k| 0 | 219k| 0 | 47k| 30 | 0.000000e+00 | -- | Inf | 77.51%
354.71/355.76 c 356s| 29800 | 182 | 2487k| 78.4 | 327M | 40 |4228 | 17k|9418 | 219k| 1 | 47k| 30 | 0.000000e+00 | -- | Inf | 77.70%
355.61/356.63 c 357s| 29900 | 175 | 2495k| 78.4 | 327M | 40 |4228 | 17k|9390 | 221k| 1 | 47k| 30 | 0.000000e+00 | -- | Inf | 77.71%
356.71/357.72 c 358s| 30000 | 177 | 2506k| 78.5 | 327M | 40 |4228 | 17k|9422 | 221k| 1 | 47k| 30 | 0.000000e+00 | -- | Inf | 77.89%
357.41/358.48 c 358s| 30100 | 181 | 2512k| 78.5 | 327M | 40 |4228 | 17k|9442 | 222k| 1 | 47k| 30 | 0.000000e+00 | -- | Inf | 77.94%
358.20/359.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
358.20/359.27 c 359s| 30200 | 179 | 2518k| 78.4 | 327M | 40 |4228 | 17k|9442 | 222k| 1 | 48k| 30 | 0.000000e+00 | -- | Inf | 78.01%
359.40/360.45 c 360s| 30300 | 172 | 2527k| 78.5 | 327M | 40 |4228 | 17k| 0 | 223k| 0 | 48k| 30 | 0.000000e+00 | -- | Inf | 78.24%
360.60/361.62 c 362s| 30400 | 174 | 2537k| 78.5 | 327M | 40 |4228 | 17k|9412 | 224k| 1 | 48k| 30 | 0.000000e+00 | -- | Inf | 78.88%
361.59/362.68 c 363s| 30500 | 179 | 2546k| 78.6 | 328M | 40 |4228 | 17k|9412 | 224k| 1 | 48k| 30 | 0.000000e+00 | -- | Inf | 79.21%
362.79/363.82 c 364s| 30600 | 176 | 2557k| 78.7 | 328M | 40 |4228 | 17k|9404 | 225k| 1 | 48k| 30 | 0.000000e+00 | -- | Inf | 79.42%
363.49/364.51 c 365s| 30700 | 174 | 2562k| 78.6 | 328M | 40 |4228 | 17k|9404 | 225k| 1 | 48k| 30 | 0.000000e+00 | -- | Inf | 79.46%
364.18/365.21 c 365s| 30800 | 172 | 2567k| 78.5 | 328M | 40 |4228 | 17k|9404 | 226k| 1 | 49k| 30 | 0.000000e+00 | -- | Inf | 79.49%
365.09/366.16 c 366s| 30900 | 179 | 2575k| 78.5 | 328M | 40 |4228 | 17k| 0 | 227k| 0 | 49k| 30 | 0.000000e+00 | -- | Inf | 79.51%
366.08/367.12 c 367s| 31000 | 172 | 2582k| 78.5 | 328M | 40 |4228 | 17k|9484 | 228k| 1 | 49k| 30 | 0.000000e+00 | -- | Inf | 79.57%
366.98/368.10 c 368s| 31100 | 170 | 2592k| 78.5 | 328M | 40 |4228 | 17k|9409 | 229k| 1 | 49k| 30 | 0.000000e+00 | -- | Inf | 79.98%
367.87/368.99 c 369s| 31200 | 167 | 2599k| 78.5 | 328M | 40 |4228 | 17k|9390 | 229k| 1 | 49k| 30 | 0.000000e+00 | -- | Inf | 80.13%
370.86/371.93 c 372s| 31300 | 176 | 2610k| 78.6 | 328M | 40 |4228 | 17k|9505 | 230k| 1 | 49k| 30 | 0.000000e+00 | -- | Inf | 80.33%
371.66/372.78 c 373s| 31400 | 168 | 2616k| 78.5 | 328M | 40 |4228 | 17k|9450 | 231k| 2 | 49k| 30 | 0.000000e+00 | -- | Inf | 80.85%
372.96/374.03 c 374s| 31500 | 170 | 2625k| 78.6 | 328M | 40 |4228 | 17k|9424 | 232k| 1 | 50k| 30 | 0.000000e+00 | -- | Inf | 83.45%
374.85/375.98 c 376s| 31600 | 175 | 2642k| 78.8 | 328M | 40 |4228 | 17k|9427 | 233k| 1 | 50k| 30 | 0.000000e+00 | -- | Inf | 83.67%
375.75/376.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
375.75/376.85 c 377s| 31700 | 174 | 2647k| 78.8 | 330M | 40 |4228 | 17k|9424 | 233k| 1 | 50k| 30 | 0.000000e+00 | -- | Inf | 83.96%
377.15/378.20 c 378s| 31800 | 167 | 2661k| 78.9 | 332M | 40 |4228 | 17k|9402 | 235k| 1 | 50k| 30 | 0.000000e+00 | -- | Inf | 84.48%
377.74/378.85 c 379s| 31900 | 171 | 2665k| 78.8 | 332M | 40 |4228 | 17k|9469 | 235k| 1 | 50k| 30 | 0.000000e+00 | -- | Inf | 84.52%
379.05/380.15 c 380s| 32000 | 166 | 2674k| 78.9 | 332M | 40 |4228 | 17k|9417 | 236k| 1 | 50k| 30 | 0.000000e+00 | -- | Inf | 84.74%
380.04/381.19 c 381s| 32100 | 170 | 2683k| 78.9 | 332M | 40 |4228 | 17k|9417 | 237k| 1 | 51k| 30 | 0.000000e+00 | -- | Inf | 85.60%
380.94/382.09 c 382s| 32200 | 166 | 2688k| 78.8 | 332M | 40 |4228 | 17k|9398 | 238k| 1 | 51k| 30 | 0.000000e+00 | -- | Inf | 85.86%
382.04/383.12 c 383s| 32300 | 168 | 2697k| 78.9 | 332M | 40 |4228 | 17k| 0 | 239k| 0 | 51k| 30 | 0.000000e+00 | -- | Inf | 85.97%
382.63/383.75 c 384s| 32400 | 163 | 2701k| 78.7 | 332M | 40 |4228 | 17k|9398 | 239k| 1 | 51k| 30 | 0.000000e+00 | -- | Inf | 86.03%
383.43/384.57 c 385s| 32500 | 162 | 2706k| 78.7 | 332M | 40 |4228 | 17k|9490 | 240k| 1 | 51k| 30 | 0.000000e+00 | -- | Inf | 86.25%
384.32/385.46 c 385s| 32600 | 159 | 2713k| 78.6 | 332M | 40 |4228 | 17k|9484 | 241k| 1 | 51k| 30 | 0.000000e+00 | -- | Inf | 86.51%
385.32/386.49 c 386s| 32700 | 156 | 2722k| 78.7 | 332M | 40 |4228 | 17k|9390 | 241k| 1 | 52k| 30 | 0.000000e+00 | -- | Inf | 86.73%
386.32/387.49 c 387s| 32800 | 156 | 2730k| 78.7 | 332M | 40 |4228 | 17k|9390 | 241k| 1 | 52k| 30 | 0.000000e+00 | -- | Inf | 86.81%
387.21/388.38 c 388s| 32900 | 155 | 2737k| 78.6 | 332M | 40 |4228 | 17k| 0 | 242k| 0 | 52k| 30 | 0.000000e+00 | -- | Inf | 86.89%
388.21/389.32 c 389s| 33000 | 157 | 2744k| 78.6 | 333M | 40 |4228 | 17k|9404 | 243k| 1 | 52k| 30 | 0.000000e+00 | -- | Inf | 87.05%
389.11/390.21 c 390s| 33100 | 157 | 2751k| 78.6 | 333M | 40 |4228 | 17k|9425 | 243k| 1 | 52k| 30 | 0.000000e+00 | -- | Inf | 87.21%
389.71/390.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
389.71/390.88 c 391s| 33200 | 154 | 2754k| 78.5 | 333M | 40 |4228 | 17k|9427 | 244k| 1 | 53k| 30 | 0.000000e+00 | -- | Inf | 87.37%
390.50/391.67 c 392s| 33300 | 160 | 2760k| 78.4 | 333M | 40 |4228 | 17k|9404 | 244k| 1 | 53k| 30 | 0.000000e+00 | -- | Inf | 87.59%
391.30/392.46 c 392s| 33400 | 153 | 2765k| 78.3 | 334M | 40 |4228 | 17k|9407 | 245k| 1 | 53k| 30 | 0.000000e+00 | -- | Inf | 87.74%
392.01/393.18 c 393s| 33500 | 150 | 2770k| 78.2 | 334M | 40 |4228 | 17k|9390 | 245k| 1 | 53k| 30 | 0.000000e+00 | -- | Inf | 87.92%
392.90/394.09 c 394s| 33600 | 163 | 2777k| 78.2 | 334M | 40 |4228 | 17k| 0 | 246k| 0 | 53k| 30 | 0.000000e+00 | -- | Inf | 88.00%
393.70/394.88 c 395s| 33700 | 162 | 2783k| 78.2 | 334M | 40 |4228 | 17k| 0 | 247k| 0 | 53k| 30 | 0.000000e+00 | -- | Inf | 88.03%
394.49/395.66 c 396s| 33800 | 156 | 2789k| 78.1 | 334M | 40 |4228 | 17k|9465 | 248k| 1 | 54k| 30 | 0.000000e+00 | -- | Inf | 88.05%
395.29/396.49 c 396s| 33900 | 164 | 2795k| 78.1 | 334M | 40 |4228 | 17k|9411 | 248k| 1 | 54k| 30 | 0.000000e+00 | -- | Inf | 88.10%
396.09/397.25 c 397s| 34000 | 152 | 2801k| 78.0 | 334M | 40 |4228 | 17k| 0 | 248k| 0 | 54k| 30 | 0.000000e+00 | -- | Inf | 88.15%
396.99/398.11 c 398s| 34100 | 149 | 2809k| 78.0 | 334M | 40 |4228 | 17k| 0 | 249k| 0 | 54k| 30 | 0.000000e+00 | -- | Inf | 88.36%
398.08/399.29 c 399s| 34200 | 153 | 2821k| 78.1 | 334M | 40 |4228 | 17k| 0 | 250k| 0 | 54k| 30 | 0.000000e+00 | -- | Inf | 88.37%
399.08/400.20 c 400s| 34300 | 149 | 2829k| 78.1 | 334M | 40 |4228 | 17k|9378 | 251k| 1 | 54k| 30 | 0.000000e+00 | -- | Inf | 88.39%
399.78/400.95 c 401s| 34400 | 148 | 2834k| 78.1 | 334M | 40 |4228 | 17k|9401 | 251k| 1 | 54k| 30 | 0.000000e+00 | -- | Inf | 88.44%
400.57/401.79 c 402s| 34500 | 152 | 2840k| 78.0 | 334M | 40 |4228 | 17k|9481 | 252k| 2 | 55k| 30 | 0.000000e+00 | -- | Inf | 88.51%
401.77/402.92 c 403s| 34600 | 149 | 2849k| 78.0 | 334M | 40 |4228 | 17k|9378 | 253k| 1 | 55k| 30 | 0.000000e+00 | -- | Inf | 88.55%
402.57/403.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
402.57/403.75 c 404s| 34700 | 149 | 2856k| 78.0 | 334M | 40 |4228 | 17k| 0 | 254k| 0 | 55k| 30 | 0.000000e+00 | -- | Inf | 88.59%
403.87/405.01 c 405s| 34800 | 144 | 2867k| 78.1 | 334M | 40 |4228 | 17k| 0 | 255k| 0 | 55k| 30 | 0.000000e+00 | -- | Inf | 88.83%
406.06/407.20 c 407s| 34900 | 145 | 2876k| 78.1 | 334M | 40 |4228 | 17k|9423 | 256k| 1 | 55k| 30 | 0.000000e+00 | -- | Inf | 89.08%
406.76/407.96 c 408s| 35000 | 140 | 2880k| 78.0 | 334M | 40 |4228 | 17k|9426 | 256k| 1 | 56k| 30 | 0.000000e+00 | -- | Inf | 89.17%
407.96/409.17 c 409s| 35100 | 147 | 2887k| 78.0 | 334M | 40 |4228 | 17k| 0 | 256k| 0 | 56k| 30 | 0.000000e+00 | -- | Inf | 89.30%
408.76/409.94 c 410s| 35200 | 146 | 2892k| 77.9 | 334M | 40 |4228 | 17k| 0 | 257k| 0 | 56k| 30 | 0.000000e+00 | -- | Inf | 89.48%
409.35/410.56 c 411s| 35300 | 150 | 2895k| 77.8 | 334M | 40 |4228 | 17k|9485 | 257k| 2 | 56k| 30 | 0.000000e+00 | -- | Inf | 89.53%
410.15/411.34 c 411s| 35400 | 139 | 2900k| 77.7 | 334M | 40 |4228 | 17k|9411 | 258k| 1 | 56k| 30 | 0.000000e+00 | -- | Inf | 89.56%
410.96/412.19 c 412s| 35500 | 138 | 2905k| 77.6 | 334M | 40 |4228 | 17k|9395 | 258k| 1 | 56k| 30 | 0.000000e+00 | -- | Inf | 89.66%
411.85/413.04 c 413s| 35600 | 136 | 2911k| 77.6 | 334M | 40 |4228 | 17k| 0 | 258k| 0 | 56k| 30 | 0.000000e+00 | -- | Inf | 89.80%
412.75/413.94 c 414s| 35700 | 137 | 2919k| 77.6 | 334M | 40 |4228 | 18k|9381 | 260k| 1 | 57k| 30 | 0.000000e+00 | -- | Inf | 89.85%
413.85/415.02 c 415s| 35800 | 139 | 2928k| 77.6 | 334M | 40 |4228 | 18k|9430 | 261k| 1 | 57k| 30 | 0.000000e+00 | -- | Inf | 90.00%
414.34/415.58 c 416s| 35900 | 135 | 2931k| 77.5 | 334M | 40 |4228 | 18k|9461 | 261k| 1 | 57k| 30 | 0.000000e+00 | -- | Inf | 90.05%
415.24/416.45 c 416s| 36000 | 132 | 2937k| 77.5 | 335M | 40 |4228 | 18k|9415 | 261k| 1 | 57k| 30 | 0.000000e+00 | -- | Inf | 90.29%
416.04/417.27 c 417s| 36100 | 150 | 2944k| 77.5 | 335M | 40 |4228 | 18k| 0 | 262k| 0 | 57k| 30 | 0.000000e+00 | -- | Inf | 90.36%
417.13/418.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
417.13/418.32 c 418s| 36200 | 147 | 2953k| 77.5 | 335M | 40 |4228 | 18k|9553 | 263k| 1 | 57k| 30 | 0.000000e+00 | -- | Inf | 90.39%
417.94/419.11 c 419s| 36300 | 133 | 2959k| 77.4 | 335M | 40 |4228 | 18k|9515 | 263k| 2 | 58k| 30 | 0.000000e+00 | -- | Inf | 90.44%
418.83/420.05 c 420s| 36400 | 133 | 2968k| 77.5 | 336M | 40 |4228 | 18k| 0 | 264k| 0 | 58k| 30 | 0.000000e+00 | -- | Inf | 90.62%
419.73/421.00 c 421s| 36500 | 135 | 2975k| 77.5 | 336M | 40 |4228 | 18k| 0 | 265k| 0 | 58k| 30 | 0.000000e+00 | -- | Inf | 91.10%
420.83/422.03 c 422s| 36600 | 133 | 2984k| 77.5 | 336M | 40 |4228 | 18k|9414 | 266k| 1 | 58k| 30 | 0.000000e+00 | -- | Inf | 91.48%
421.62/422.89 c 423s| 36700 | 135 | 2991k| 77.5 | 336M | 40 |4228 | 18k|9429 | 266k| 1 | 58k| 30 | 0.000000e+00 | -- | Inf | 91.73%
422.42/423.60 c 424s| 36800 | 134 | 2995k| 77.4 | 336M | 40 |4228 | 18k|9436 | 267k| 1 | 58k| 30 | 0.000000e+00 | -- | Inf | 91.81%
423.12/424.32 c 424s| 36900 | 130 | 3001k| 77.3 | 336M | 40 |4228 | 18k| 0 | 267k| 0 | 58k| 30 | 0.000000e+00 | -- | Inf | 92.00%
423.71/425.00 c 425s| 37000 | 132 | 3005k| 77.2 | 336M | 40 |4228 | 18k|9436 | 267k| 1 | 59k| 30 | 0.000000e+00 | -- | Inf | 92.07%
424.71/425.91 c 426s| 37100 | 125 | 3010k| 77.2 | 336M | 40 |4228 | 18k|9433 | 268k| 1 | 59k| 30 | 0.000000e+00 | -- | Inf | 92.25%
425.31/426.53 c 427s| 37200 | 128 | 3014k| 77.1 | 336M | 40 |4228 | 18k| 0 | 268k| 0 | 59k| 30 | 0.000000e+00 | -- | Inf | 92.31%
426.31/427.52 c 428s| 37300 | 124 | 3021k| 77.0 | 336M | 40 |4228 | 18k|9392 | 269k| 1 | 59k| 30 | 0.000000e+00 | -- | Inf | 92.44%
427.01/428.29 c 428s| 37400 | 127 | 3026k| 77.0 | 336M | 40 |4228 | 18k|9428 | 269k| 1 | 59k| 30 | 0.000000e+00 | -- | Inf | 92.73%
427.81/429.09 c 429s| 37500 | 124 | 3033k| 77.0 | 336M | 40 |4228 | 18k|9425 | 270k| 1 | 59k| 30 | 0.000000e+00 | -- | Inf | 92.82%
428.81/430.05 c 430s| 37600 | 123 | 3042k| 77.0 | 336M | 40 |4228 | 18k|9410 | 270k| 1 | 60k| 30 | 0.000000e+00 | -- | Inf | 92.95%
430.20/431.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
430.20/431.45 c 431s| 37700 | 126 | 3054k| 77.1 | 336M | 40 |4228 | 18k| 0 | 271k| 0 | 60k| 30 | 0.000000e+00 | -- | Inf | 93.07%
430.99/432.22 c 432s| 37800 | 129 | 3058k| 77.0 | 336M | 40 |4228 | 18k| 0 | 272k| 0 | 60k| 30 | 0.000000e+00 | -- | Inf | 93.18%
431.59/432.89 c 433s| 37900 | 121 | 3063k| 76.9 | 336M | 40 |4228 | 18k| 0 | 272k| 0 | 60k| 30 | 0.000000e+00 | -- | Inf | 93.26%
432.39/433.63 c 434s| 38000 | 122 | 3068k| 76.9 | 336M | 40 |4228 | 18k|9402 | 273k| 1 | 60k| 30 | 0.000000e+00 | -- | Inf | 93.32%
433.19/434.46 c 434s| 38100 | 117 | 3074k| 76.8 | 336M | 40 |4228 | 18k| 0 | 274k| 0 | 60k| 30 | 0.000000e+00 | -- | Inf | 93.34%
434.18/435.49 c 435s| 38200 | 110 | 3083k| 76.9 | 336M | 40 |4228 | 18k|9405 | 275k| 1 | 61k| 30 | 0.000000e+00 | -- | Inf | 93.56%
435.18/436.46 c 436s| 38300 | 106 | 3091k| 76.9 | 336M | 40 |4228 | 18k|9432 | 276k| 1 | 61k| 30 | 0.000000e+00 | -- | Inf | 93.78%
436.28/437.53 c 438s| 38400 | 106 | 3100k| 76.9 | 336M | 40 |4228 | 18k|9415 | 277k| 1 | 61k| 30 | 0.000000e+00 | -- | Inf | 94.01%
437.08/438.33 c 438s| 38500 | 108 | 3106k| 76.9 | 336M | 40 |4228 | 18k| 0 | 277k| 0 | 61k| 30 | 0.000000e+00 | -- | Inf | 94.15%
437.97/439.28 c 439s| 38600 | 102 | 3115k| 76.9 | 336M | 40 |4228 | 18k| 0 | 278k| 0 | 61k| 30 | 0.000000e+00 | -- | Inf | 94.44%
439.07/440.33 c 440s| 38700 | 102 | 3124k| 76.9 | 336M | 40 |4228 | 18k| 0 | 279k| 0 | 61k| 30 | 0.000000e+00 | -- | Inf | 94.88%
439.97/441.28 c 441s| 38800 | 94 | 3132k| 76.9 | 336M | 40 |4228 | 18k|9429 | 280k| 1 | 61k| 30 | 0.000000e+00 | -- | Inf | 94.96%
441.07/442.36 c 442s| 38900 | 97 | 3140k| 76.9 | 336M | 40 |4228 | 18k| 0 | 280k| 0 | 62k| 30 | 0.000000e+00 | -- | Inf | 95.02%
442.06/443.32 c 443s| 39000 | 95 | 3147k| 76.9 | 337M | 40 |4228 | 18k| 0 | 281k| 0 | 62k| 30 | 0.000000e+00 | -- | Inf | 95.05%
442.77/444.08 c 444s| 39100 | 95 | 3153k| 76.9 | 337M | 40 |4228 | 18k|9395 | 281k| 1 | 62k| 30 | 0.000000e+00 | -- | Inf | 95.09%
443.56/444.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
443.56/444.82 c 445s| 39200 | 94 | 3159k| 76.8 | 337M | 40 |4228 | 18k|9395 | 282k| 1 | 62k| 30 | 0.000000e+00 | -- | Inf | 95.11%
444.36/445.68 c 446s| 39300 | 91 | 3166k| 76.8 | 337M | 40 |4228 | 18k| 0 | 283k| 0 | 62k| 30 | 0.000000e+00 | -- | Inf | 95.19%
445.55/446.88 c 447s| 39400 | 86 | 3176k| 76.9 | 337M | 40 |4228 | 18k| 0 | 283k| 0 | 62k| 30 | 0.000000e+00 | -- | Inf | 95.39%
446.45/447.76 c 448s| 39500 | 84 | 3184k| 76.9 | 337M | 40 |4228 | 18k| 0 | 283k| 0 | 63k| 30 | 0.000000e+00 | -- | Inf | 95.66%
447.35/448.63 c 449s| 39600 | 84 | 3191k| 76.9 | 337M | 40 |4228 | 18k|9416 | 284k| 1 | 63k| 30 | 0.000000e+00 | -- | Inf | 95.81%
448.05/449.32 c 449s| 39700 | 79 | 3196k| 76.8 | 337M | 40 |4228 | 18k| 0 | 284k| 0 | 63k| 30 | 0.000000e+00 | -- | Inf | 95.86%
449.04/450.33 c 450s| 39800 | 76 | 3205k| 76.8 | 337M | 40 |4228 | 18k|9422 | 285k| 1 | 63k| 30 | 0.000000e+00 | -- | Inf | 96.11%
449.75/451.07 c 451s| 39900 | 78 | 3210k| 76.8 | 337M | 40 |4228 | 18k|9437 | 285k| 1 | 63k| 30 | 0.000000e+00 | -- | Inf | 96.22%
450.64/451.92 c 452s| 40000 | 72 | 3218k| 76.8 | 337M | 40 |4228 | 18k|9437 | 285k| 1 | 63k| 30 | 0.000000e+00 | -- | Inf | 96.28%
451.44/452.74 c 453s| 40100 | 74 | 3225k| 76.8 | 337M | 40 |4228 | 17k| 0 | 286k| 0 | 63k| 30 | 0.000000e+00 | -- | Inf | 96.32%
452.13/453.40 c 453s| 40200 | 71 | 3229k| 76.7 | 337M | 40 |4228 | 18k|9413 | 286k| 1 | 64k| 30 | 0.000000e+00 | -- | Inf | 96.35%
452.93/454.25 c 454s| 40300 | 74 | 3236k| 76.7 | 337M | 40 |4228 | 18k|9413 | 287k| 1 | 64k| 30 | 0.000000e+00 | -- | Inf | 96.38%
455.03/456.30 c 456s| 40400 | 70 | 3248k| 76.8 | 337M | 40 |4228 | 18k|9443 | 288k| 1 | 64k| 30 | 0.000000e+00 | -- | Inf | 96.62%
455.73/457.01 c 457s| 40500 | 68 | 3253k| 76.7 | 337M | 40 |4228 | 18k|9443 | 288k| 1 | 64k| 30 | 0.000000e+00 | -- | Inf | 96.66%
456.52/457.83 c 458s| 40600 | 67 | 3261k| 76.7 | 337M | 40 |4228 | 17k|9520 | 288k| 2 | 64k| 30 | 0.000000e+00 | -- | Inf | 96.80%
457.22/458.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
457.22/458.54 c 459s| 40700 | 60 | 3266k| 76.6 | 337M | 40 |4228 | 18k| 0 | 289k| 0 | 65k| 30 | 0.000000e+00 | -- | Inf | 96.83%
458.12/459.47 c 459s| 40800 | 58 | 3275k| 76.7 | 337M | 40 |4228 | 18k|9441 | 290k| 1 | 65k| 30 | 0.000000e+00 | -- | Inf | 96.98%
458.82/460.14 c 460s| 40900 | 53 | 3280k| 76.6 | 337M | 40 |4228 | 18k| 0 | 290k| 0 | 65k| 30 | 0.000000e+00 | -- | Inf | 97.12%
459.82/461.17 c 461s| 41000 | 51 | 3288k| 76.6 | 337M | 40 |4228 | 17k|9435 | 291k| 1 | 65k| 30 | 0.000000e+00 | -- | Inf | 97.34%
460.82/462.12 c 462s| 41100 | 53 | 3295k| 76.6 | 337M | 40 |4228 | 17k| 0 | 292k| 0 | 65k| 30 | 0.000000e+00 | -- | Inf | 97.41%
461.71/463.02 c 463s| 41200 | 48 | 3302k| 76.6 | 337M | 40 |4228 | 17k|9390 | 293k| 1 | 65k| 30 | 0.000000e+00 | -- | Inf | 97.43%
462.61/463.91 c 464s| 41300 | 46 | 3309k| 76.6 | 337M | 40 |4228 | 17k|9451 | 293k| 2 | 65k| 30 | 0.000000e+00 | -- | Inf | 97.56%
463.50/464.84 c 465s| 41400 | 54 | 3317k| 76.6 | 337M | 40 |4228 | 18k| 0 | 294k| 0 | 66k| 30 | 0.000000e+00 | -- | Inf | 97.71%
464.20/465.55 c 466s| 41500 | 59 | 3321k| 76.5 | 337M | 40 |4228 | 18k|9398 | 294k| 1 | 66k| 30 | 0.000000e+00 | -- | Inf | 97.72%
464.80/466.14 c 466s| 41600 | 44 | 3324k| 76.4 | 337M | 40 |4228 | 18k|9486 | 294k| 1 | 66k| 30 | 0.000000e+00 | -- | Inf | 97.81%
465.50/466.88 c 467s| 41700 | 50 | 3328k| 76.3 | 337M | 40 |4228 | 18k|9492 | 295k| 1 | 66k| 30 | 0.000000e+00 | -- | Inf | 97.85%
466.20/467.52 c 468s| 41800 | 47 | 3332k| 76.2 | 337M | 40 |4228 | 18k|9403 | 296k| 1 | 66k| 30 | 0.000000e+00 | -- | Inf | 97.88%
466.89/468.21 c 468s| 41900 | 45 | 3337k| 76.2 | 337M | 40 |4228 | 18k|9403 | 296k| 1 | 66k| 30 | 0.000000e+00 | -- | Inf | 97.92%
467.59/468.92 c 469s| 42000 | 44 | 3341k| 76.1 | 337M | 40 |4228 | 18k| 0 | 297k| 0 | 67k| 30 | 0.000000e+00 | -- | Inf | 98.04%
468.39/469.74 c 470s| 42100 | 44 | 3347k| 76.1 | 337M | 40 |4228 | 18k|9489 | 298k| 2 | 67k| 30 | 0.000000e+00 | -- | Inf | 98.06%
469.69/471.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
469.69/471.07 c 471s| 42200 | 49 | 3356k| 76.1 | 338M | 40 |4228 | 18k| 0 | 299k| 0 | 67k| 30 | 0.000000e+00 | -- | Inf | 98.24%
470.69/472.04 c 472s| 42300 | 40 | 3364k| 76.1 | 338M | 40 |4228 | 18k|9411 | 299k| 1 | 67k| 30 | 0.000000e+00 | -- | Inf | 98.29%
471.68/473.04 c 473s| 42400 | 29 | 3374k| 76.1 | 338M | 40 |4228 | 18k| 0 | 300k| 0 | 67k| 30 | 0.000000e+00 | -- | Inf | 98.46%
472.68/474.02 c 474s| 42500 | 20 | 3384k| 76.2 | 338M | 40 |4228 | 18k| 0 | 300k| 0 | 67k| 30 | 0.000000e+00 | -- | Inf | 98.65%
473.78/475.15 c 475s| 42600 | 17 | 3393k| 76.2 | 338M | 40 |4228 | 18k|9426 | 301k| 1 | 67k| 30 | 0.000000e+00 | -- | Inf | 98.95%
474.57/475.92 c 476s| 42700 | 14 | 3400k| 76.2 | 338M | 40 |4228 | 18k| 0 | 301k| 0 | 68k| 30 | 0.000000e+00 | -- | Inf | 99.03%
475.27/476.64 c 477s| 42800 | 7 | 3406k| 76.2 | 338M | 40 |4228 | 18k|9393 | 302k| 1 | 68k| 30 | 0.000000e+00 | -- | Inf | 99.13%
476.27/477.69 c 478s| 42900 | 6 | 3414k| 76.2 | 338M | 40 |4228 | 18k|9470 | 302k| 2 | 68k| 30 | 0.000000e+00 | -- | Inf | 99.28%
477.36/478.79 c 479s| 43000 | 6 | 3422k| 76.2 | 338M | 40 |4228 | 18k|9444 | 303k| 1 | 68k| 30 | 0.000000e+00 | -- | Inf | 99.57%
478.36/479.77 c 480s| 43100 | 9 | 3431k| 76.2 | 339M | 40 |4228 | 18k|9445 | 303k| 1 | 68k| 30 | 0.000000e+00 | -- | Inf | 99.66%
479.36/480.71 c 481s| 43200 | 15 | 3438k| 76.2 | 340M | 40 |4228 | 18k|9409 | 304k| 1 | 68k| 30 | 0.000000e+00 | -- | Inf | 99.68%
480.36/481.79 c 482s| 43300 | 12 | 3446k| 76.2 | 340M | 40 |4228 | 18k| 0 | 305k| 0 | 68k| 30 | 0.000000e+00 | -- | Inf | 99.73%
481.45/482.86 c 483s| 43400 | 7 | 3452k| 76.2 | 340M | 40 |4228 | 18k|9469 | 305k| 1 | 69k| 30 | 0.000000e+00 | -- | Inf | 99.86%
482.35/483.73 c 484s| 43500 | 5 | 3457k| 76.1 | 340M | 40 |4228 | 18k|9443 | 306k| 1 | 69k| 30 | 0.000000e+00 | -- | Inf | 99.91%
483.05/484.47 c 484s| 43600 | 3 | 3463k| 76.1 | 340M | 40 |4228 | 14k|9443 | 306k| 1 | 69k| 30 | 0.000000e+00 | -- | Inf | 99.96%
483.75/485.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
483.75/485.17 c 485s| 43700 | 4 | 3468k| 76.0 | 340M | 40 |4228 | 13k| 0 | 306k| 0 | 69k| 30 | 0.000000e+00 | -- | Inf | 100.00%
484.04/485.41 c
484.04/485.41 c SCIP Status : problem is solved [infeasible]
484.04/485.41 c Solving Time (sec) : 485.41
484.04/485.41 c Solving Nodes : 43729 (total of 45374 nodes in 2 runs)
484.04/485.41 c Primal Bound : +1.00000000000000e+20 (0 solutions)
484.04/485.41 c Dual Bound : +1.00000000000000e+20
484.04/485.41 c Gap : 0.00 %
484.04/485.41 s UNSATISFIABLE
484.04/485.41 c SCIP Status : problem is solved [infeasible]
484.04/485.41 c Total Time : 485.41
484.04/485.41 c solving : 485.41
484.04/485.41 c presolving : 0.29 (included in solving)
484.04/485.41 c reading : 0.02 (included in solving)
484.04/485.41 c copying : 1.58 (96 #copies) (minimal 0.01, maximal 0.03, average 0.02)
484.04/485.41 c Original Problem :
484.04/485.41 c Problem name : HOME/instance-4450115-1721406784.opb
484.04/485.41 c Variables : 4257 (4257 binary, 0 integer, 0 implicit integer, 0 continuous)
484.04/485.41 c Constraints : 13413 initial, 13413 maximal
484.04/485.41 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
484.04/485.41 c Presolved Problem :
484.04/485.41 c Problem name : t_HOME/instance-4450115-1721406784.opb
484.04/485.41 c Variables : 4228 (4228 binary, 0 integer, 0 implicit integer, 0 continuous)
484.04/485.41 c Constraints : 10332 initial, 18957 maximal
484.04/485.41 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
484.04/485.41 c Nonzeros : 34385 constraint, 25056 clique table
484.04/485.41 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
484.04/485.41 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
484.04/485.41 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
484.04/485.41 c gateextraction : 0.04 0.00 6 0 0 0 0 0 5876 1469 0 0
484.04/485.41 c implics : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
484.04/485.41 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c milp : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
484.04/485.41 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
484.04/485.41 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c trivial : 0.00 0.00 11 14 0 0 0 0 0 0 0 0
484.04/485.41 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
484.04/485.41 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c probing : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
484.04/485.41 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
484.04/485.41 c symmetry : 0.03 0.00 1 2 0 0 0 0 0 2 0 0
484.04/485.41 c vbounds : 0.01 0.00 3 0 1 0 0 0 0 0 0 0
484.04/485.41 c knapsack : 0.00 0.00 17 0 0 0 0 0 2 4 5 27
484.04/485.41 c setppc : 0.05 0.00 22 0 12 0 0 0 31 0 0 0
484.04/485.41 c linear : 0.04 0.00 11 0 0 0 0 0 2 0 3 8
484.04/485.41 c orbitope : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
484.04/485.41 c logicor : 0.02 0.00 18 0 0 0 0 0 277 0 0 22
484.04/485.41 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
484.04/485.41 c root node : - - - 1088 - - 1088 - - - - -
484.04/485.41 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
484.04/485.41 c benderslp : 0 0 0 0 30544 0 0 4723 0 0 0 0 0 0 0
484.04/485.41 c integral : 0 0 0 0 30544 0 0 4723 0 0 0 0 0 0 61088
484.04/485.41 c knapsack : 47+ 54 12 590360 0 0 0 0 5747 63 23017 0 0 0 0
484.04/485.41 c setppc : 9302+ 9321 24 603401 0 0 0 4719 1929743 14098 6800374 0 0 0 0
484.04/485.41 c linear : 0+ 20 12 579863 0 0 0 2 10458 142 26109 13 8 0 0
484.04/485.41 c orbitope : 2 2 0 589061 0 0 0 0 939 42 2552 0 0 0 0
484.04/485.41 c logicor : 981+ 9575 24 474661 0 0 0 0 858368 11866 1718492 57 34 0 0
484.04/485.41 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
484.04/485.41 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
484.04/485.41 c integral : 9.28 0.00 0.00 0.00 9.28 0.00 0.00 0.00 0.00 0.00
484.04/485.41 c knapsack : 0.61 0.00 0.00 0.60 0.00 0.00 0.00 0.00 0.01 0.00
484.04/485.41 c setppc : 13.00 0.00 0.01 12.40 0.00 0.00 0.00 0.02 0.55 0.00
484.04/485.41 c linear : 0.26 0.00 0.00 0.24 0.00 0.00 0.00 0.00 0.02 0.00
484.04/485.41 c orbitope : 15.32 0.00 0.00 15.32 0.00 0.00 0.00 0.00 0.00 0.00
484.04/485.41 c logicor : 11.88 0.00 0.00 11.25 0.00 0.00 0.00 0.00 0.63 0.00
484.04/485.41 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
484.04/485.41 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
484.04/485.41 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
484.04/485.41 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
484.04/485.41 c Propagators : #Propagate #ResProp Cutoffs DomReds
484.04/485.41 c dualfix : 3 0 0 0
484.04/485.41 c genvbounds : 0 0 0 0
484.04/485.41 c nlobbt : 0 0 0 0
484.04/485.41 c obbt : 0 0 0 0
484.04/485.41 c probing : 0 0 0 0
484.04/485.41 c pseudoobj : 0 0 0 0
484.04/485.41 c redcost : 0 0 0 0
484.04/485.41 c rootredcost : 0 0 0 0
484.04/485.41 c symmetry : 0 0 0 0
484.04/485.41 c vbounds : 542763 0 0 0
484.04/485.41 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
484.04/485.41 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
484.04/485.41 c genvbounds : 0.07 0.00 0.00 0.07 0.00 0.00
484.04/485.41 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
484.04/485.41 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
484.04/485.41 c probing : 0.04 0.00 0.04 0.00 0.00 0.00
484.04/485.41 c pseudoobj : 0.06 0.00 0.00 0.06 0.00 0.00
484.04/485.41 c redcost : 0.03 0.00 0.00 0.03 0.00 0.00
484.04/485.41 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.00
484.04/485.41 c symmetry : 0.12 0.00 0.03 0.09 0.00 0.00
484.04/485.41 c vbounds : 8.03 0.00 0.01 8.03 0.00 0.00
484.04/485.41 c Symmetry :
484.04/485.41 c orbitopal red. : 0 reductions applied, 0 cutoffs
484.04/485.41 c orbital reduction: 0 reductions applied, 0 cutoffs
484.04/485.41 c lexicographic red: 0 reductions applied, 0 cutoffs
484.04/485.41 c shadow tree time : 0.00 s
484.04/485.41 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
484.04/485.41 c propagation : 2.06 26197 24799 - 128800 27.2 2239 14.8 - - -
484.04/485.41 c infeasible LP : 0.66 1196 1192 - 4446 15.6 544 12.2 1192 6.2 0
484.04/485.41 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
484.04/485.41 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
484.04/485.41 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
484.04/485.41 c applied globally : 1.32 - - 0 68205 14.9 - - 1178 - -
484.04/485.41 c applied locally : - - - 0 49 28.5 - - 14 - -
484.04/485.41 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
484.04/485.41 c cut pool : 2.84 - 6324 46 - - 51322 909814 - - - - - (maximal pool size: 3785)
484.04/485.41 c aggregation : 1.03 0.00 819 24 0 0 5 6 2 4 3 1 0
484.04/485.41 c > cmir : - - - - - - - 6 0 3 3 0 -
484.04/485.41 c > flowcover : - - - - - - - 0 0 0 0 0 -
484.04/485.41 c > knapsackcover : - - - - - - - 0 2 1 0 1 -
484.04/485.41 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c clique : 0.88 0.00 24 24 0 0 144 3026 0 2401 2401 0 0
484.04/485.41 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c gomory : 33.44 0.00 815 20 0 0 43833 616001 1134 112616 112591 25 0
484.04/485.41 c > gomorymi : - - - - - - - 23468 567 391 375 16 -
484.04/485.41 c > strongcg : - - - - - - - 592533 567 112225 112216 9 -
484.04/485.41 c impliedbounds : 0.28 0.00 819 24 0 160 57 680 0 539 539 0 0
484.04/485.41 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c mcf : 0.03 0.00 2 2 0 0 0 0 0 0 0 0 0
484.04/485.41 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c multilinear : 0.00 0.00 3439 24 0 0 0 0 0 0 0 0 0
484.04/485.41 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
484.04/485.41 c rapidlearning : 11.45 0.00 89 1 0 8603 0 0 0 0 0 0 243
484.04/485.41 c rlt : 0.00 0.00 650 20 0 0 0 0 0 0 0 0 0
484.04/485.41 c zerohalf : 6.41 0.00 819 24 0 0 14380 290101 5961 206081 204816 1265 0
484.04/485.41 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
484.04/485.41 c hybrid : 1.09 0.00 5441 24 321877 4 594395 1392 0 6267
484.04/485.41 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c Pricers : ExecTime SetupTime Calls Vars
484.04/485.41 c problem variables: 0.00 - 0 0
484.04/485.41 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
484.04/485.41 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c random : 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c relpscost : 9.25 0.00 30544 0 0 0 0 0 0 61088
484.04/485.41 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
484.04/485.41 c Primal Heuristics : ExecTime SetupTime Calls Found Best
484.04/485.41 c LP solutions : 0.00 - - 0 0
484.04/485.41 c relax solutions : 0.00 - - 0 0
484.04/485.41 c pseudo solutions : 0.00 - - 0 0
484.04/485.41 c strong branching : 0.00 - - 0 0
484.04/485.41 c actconsdiving : 0.00 0.00 0 0 0
484.04/485.41 c adaptivediving : 2.09 0.00 53 0 0
484.04/485.41 c alns : 0.61 0.00 7 0 0
484.04/485.41 c bound : 0.00 0.00 0 0 0
484.04/485.41 c clique : 0.03 0.00 1 0 0
484.04/485.41 c coefdiving : 0.00 0.00 0 0 0
484.04/485.41 c completesol : 0.00 0.00 0 0 0
484.04/485.41 c conflictdiving : 3.27 0.00 106 0 0
484.04/485.41 c crossover : 0.01 0.00 0 0 0
484.04/485.41 c dins : 0.00 0.00 0 0 0
484.04/485.41 c distributiondivin: 3.71 0.00 105 0 0
484.04/485.41 c dps : 0.00 0.00 0 0 0
484.04/485.41 c dualval : 0.00 0.00 0 0 0
484.04/485.41 c farkasdiving : 0.00 0.00 0 0 0
484.04/485.41 c feasjump : 0.04 0.00 2 0 0
484.04/485.41 c feaspump : 5.16 0.00 22 0 0
484.04/485.41 c fixandinfer : 0.00 0.00 0 0 0
484.04/485.41 c fracdiving : 1.72 0.00 105 0 0
484.04/485.41 c gins : 0.01 0.00 0 0 0
484.04/485.41 c guideddiving : 0.00 0.00 0 0 0
484.04/485.41 c indcoefdiving : 0.00 0.00 0 0 0
484.04/485.41 c indicator : 0.02 0.00 0 0 0
484.04/485.41 c indicatordiving : 0.00 0.00 0 0 0
484.04/485.41 c indoneopt : 0.02 0.00 0 0 0
484.04/485.41 c indrounding : 0.00 0.00 0 0 0
484.04/485.41 c indtwoopt : 0.00 0.00 0 0 0
484.04/485.41 c intdiving : 0.00 0.00 0 0 0
484.04/485.41 c intshifting : 0.00 0.00 0 0 0
484.04/485.41 c linesearchdiving : 2.15 0.00 105 0 0
484.04/485.41 c localbranching : 0.00 0.00 0 0 0
484.04/485.41 c locks : 0.01 0.00 1 0 0
484.04/485.41 c lpface : 0.34 0.00 0 0 0
484.04/485.41 c mpec : 0.00 0.00 0 0 0
484.04/485.41 c multistart : 0.00 0.00 0 0 0
484.04/485.41 c mutation : 0.00 0.00 0 0 0
484.04/485.41 c nlpdiving : 0.00 0.00 0 0 0
484.04/485.41 c objpscostdiving : 18.13 0.00 14 0 0
484.04/485.41 c octane : 0.00 0.00 0 0 0
484.04/485.41 c ofins : 0.01 0.00 0 0 0
484.04/485.41 c oneopt : 0.02 0.00 0 0 0
484.04/485.41 c padm : 0.00 0.00 0 0 0
484.04/485.41 c proximity : 0.00 0.00 0 0 0
484.04/485.41 c pscostdiving : 2.82 0.00 106 0 0
484.04/485.41 c randrounding : 1.09 0.00 4738 0 0
484.04/485.41 c rens : 0.00 0.00 0 0 0
484.04/485.41 c reoptsols : 0.00 0.00 0 0 0
484.04/485.41 c repair : 0.00 0.00 0 0 0
484.04/485.41 c rins : 0.01 0.00 0 0 0
484.04/485.41 c rootsoldiving : 4.48 0.00 17 0 0
484.04/485.41 c rounding : 0.43 0.00 2628 0 0
484.04/485.41 c scheduler : 0.00 0.00 0 0 0
484.04/485.41 c shiftandpropagate: 0.04 0.00 2 0 0
484.04/485.41 c shifting : 1.64 0.00 1192 0 0
484.04/485.41 c simplerounding : 0.02 0.00 0 0 0
484.04/485.41 c smallcard : 0.00 0.00 0 0 0
484.04/485.41 c subnlp : 0.02 0.00 0 0 0
484.04/485.41 c trivial : 0.00 0.00 4 0 0
484.04/485.41 c trivialnegation : 0.00 0.00 0 0 0
484.04/485.41 c trustregion : 0.00 0.00 0 0 0
484.04/485.41 c trysol : 0.01 0.00 0 0 0
484.04/485.41 c twoopt : 0.00 0.00 0 0 0
484.04/485.41 c undercover : 0.00 0.00 0 0 0
484.04/485.41 c vbounds : 0.08 0.00 2 0 0
484.04/485.41 c veclendiving : 1.53 0.00 105 0 0
484.04/485.41 c zeroobj : 0.00 0.00 0 0 0
484.04/485.41 c zirounding : 0.12 0.00 1000 0 0
484.04/485.41 c other solutions : - - - 0 -
484.04/485.41 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
484.04/485.41 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
484.04/485.41 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
484.04/485.41 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
484.04/485.41 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
484.04/485.41 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
484.04/485.41 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
484.04/485.41 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
484.04/485.41 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
484.04/485.41 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
484.04/485.41 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
484.04/485.41 c primal LP : 4.01 2592 0 0.00 0.00 4.01 2592
484.04/485.41 c dual LP : 250.26 37250 3170907 85.62 12670.36 0.28 214
484.04/485.41 c lex dual LP : 0.00 0 0 0.00 -
484.04/485.41 c barrier LP : 0.00 0 0 0.00 - 0.00 0
484.04/485.41 c resolve instable : 0.00 0 0 0.00 -
484.04/485.41 c diving/probing LP: 39.50 1905 299271 157.10 7576.24
484.04/485.41 c strong branching : 0.69 30 6890 229.67 9960.35 - - 7
484.04/485.41 c (at root node) : - 30 6890 229.67 -
484.04/485.41 c conflict analysis: 0.00 0 0 0.00 -
484.04/485.41 c B&B Tree :
484.04/485.41 c number of runs : 2
484.04/485.41 c nodes : 43729 (29310 internal, 14419 leaves)
484.04/485.41 c feasible leaves : 0
484.04/485.41 c infeas. leaves : 14419
484.04/485.41 c objective leaves : 0
484.04/485.41 c nodes (total) : 45374 (30544 internal, 14830 leaves)
484.04/485.41 c nodes left : 0
484.04/485.41 c max depth : 40
484.04/485.41 c max depth (total): 70
484.04/485.41 c backtracks : 12409 (28.4%)
484.04/485.41 c early backtracks : 0 (0.0%)
484.04/485.41 c nodes exc. ref. : 0 (0.0%)
484.04/485.41 c delayed cutoffs : 14892
484.04/485.41 c repropagations : 42599 (3497193 domain reductions, 11022 cutoffs)
484.04/485.41 c avg switch length: 3.71
484.04/485.41 c switching time : 20.61
484.04/485.41 c Root Node :
484.04/485.41 c First LP value : +0.00000000000000e+00
484.04/485.41 c First LP Iters : 3155 (43986.23 Iter/sec)
484.04/485.41 c First LP Time : 0.07
484.04/485.41 c Final Dual Bound : -
484.04/485.41 c Final Root Iters : 21029
484.04/485.41 c Root LP Estimate : +9.95348745797941e-02
484.04/485.41 c Solution :
484.04/485.41 c Solutions found : 0 (0 improvements)
484.04/485.41 c Primal Bound : infeasible
484.04/485.41 c Dual Bound : -
484.04/485.41 c Gap : 0.00 %
484.04/485.41 c Integrals : Total Avg%
484.04/485.41 c primal-dual : - - (problem infeasible)
484.04/485.41 c primal-ref : - - (problem infeasible)
484.04/485.41 c dual-ref : - - (problem infeasible)
484.04/485.45 c Time complete: 484.111.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59169 MiB free)
memory of node 1: 64473 MiB (61806 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450115-1721406784/watcher-4450115-1721406784 -o /tmp/evaluation-result-4450115-1721406784/solver-4450115-1721406784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721403126-1020634 --watchdog 3760 pbscip -f HOME/instance-4450115-1721406784.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=1023114, runsolver pid=1023111
[startup+0.105255 s]*
/proc/loadavg: 4.08 4.11 4.06 5/258 1023115
/proc/meminfo: memFree=123840236/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=92600 memory=53504 CPUtime=0.1 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 11304 0 0 0 9 1 0 0 20 0 1 0 192849245 94822400 13376 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 23150 13376 3726 3540 0 11407 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 92600 KiB
Current children cumulated memory: 53504 KiB
[startup+0.205909 s]*
/proc/loadavg: 4.08 4.11 4.06 5/258 1023115
/proc/meminfo: memFree=123835616/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=107284 memory=59524 CPUtime=0.2 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 13750 0 0 0 19 1 0 0 20 0 1 0 192849245 109858816 14881 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 26821 14881 3790 3540 0 15078 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107284 KiB
Current children cumulated memory: 59524 KiB
[startup+0.305797 s]*
/proc/loadavg: 4.08 4.11 4.06 5/258 1023115
/proc/meminfo: memFree=123820796/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=119640 memory=72892 CPUtime=0.3 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 17019 0 0 0 29 1 0 0 20 0 1 0 192849245 122511360 18223 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 29910 18223 3870 3540 0 18167 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119640 KiB
Current children cumulated memory: 72892 KiB
[startup+0.700261 s]
/proc/loadavg: 4.08 4.11 4.06 5/258 1023115
/proc/meminfo: memFree=123815180/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=125856 memory=79348 CPUtime=0.68 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 18530 0 0 0 67 1 0 0 20 0 1 0 192849245 128876544 19837 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 31464 19837 3982 3540 0 19721 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 125856 KiB
Current children cumulated memory: 79348 KiB
[startup+1.50026 s]
/proc/loadavg: 4.08 4.11 4.06 5/258 1023115
/proc/meminfo: memFree=123811816/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=167276 memory=117668 CPUtime=1.49 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 28085 0 0 0 146 3 0 0 20 0 1 0 192849245 171290624 29417 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 41819 29417 3993 3540 0 30076 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 167276 KiB
Current children cumulated memory: 117668 KiB
[startup+3.1058 s]
/proc/loadavg: 4.08 4.11 4.06 5/258 1023115
/proc/meminfo: memFree=123777164/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=161636 memory=112572 CPUtime=3.09 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 28175 0 0 0 306 3 0 0 20 0 1 0 192849245 165515264 28143 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 40409 28143 4009 3540 0 28666 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 161636 KiB
Current children cumulated memory: 112572 KiB
[startup+6.30023 s]
/proc/loadavg: 4.08 4.11 4.06 5/258 1023117
/proc/meminfo: memFree=123728548/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=188708 memory=140960 CPUtime=6.27 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 37236 0 0 0 623 4 0 0 20 0 1 0 192849245 193236992 35240 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 47177 35240 4009 3540 0 35434 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 188708 KiB
Current children cumulated memory: 140960 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.11 4.06 6/257 1023117
/proc/meminfo: memFree=123698300/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=199380 memory=151860 CPUtime=12.66 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 44224 0 0 0 1260 6 0 0 20 0 1 0 192849245 204165120 37965 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 49845 37965 4009 3540 0 38102 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 199380 KiB
Current children cumulated memory: 151860 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.12 4.06 5/257 1023118
/proc/meminfo: memFree=123655384/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=214004 memory=166756 CPUtime=25.42 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 56450 0 0 0 2533 9 0 0 20 0 1 0 192849245 219140096 41689 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 53501 41689 4009 3540 0 41758 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 214004 KiB
Current children cumulated memory: 166756 KiB
[startup+51.1059 s]
/proc/loadavg: 4.08 4.11 4.06 5/258 1023170
/proc/meminfo: memFree=126444568/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=236536 memory=171000 CPUtime=50.95 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 58063 0 0 0 5083 12 0 0 20 0 1 0 192849245 242212864 42750 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 59134 42750 4009 3540 0 47391 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 236536 KiB
Current children cumulated memory: 171000 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.17 4.08 5/258 1023180
/proc/meminfo: memFree=126257580/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=291720 memory=203412 CPUtime=102.01 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 66256 0 0 0 10182 19 0 0 20 0 1 0 192849245 298721280 50853 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 72930 50853 4009 3540 0 61187 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 291720 KiB
Current children cumulated memory: 203412 KiB
[startup+162.3 s]
/proc/loadavg: 4.47 4.27 4.12 5/256 1023190
/proc/meminfo: memFree=126156712/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=323440 memory=226608 CPUtime=161.84 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 72172 0 0 0 16158 26 0 0 20 0 1 0 192849245 331202560 56652 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 80860 56652 4009 3540 0 69117 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 323440 KiB
Current children cumulated memory: 226608 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.25 4.12 5/256 1023201
/proc/meminfo: memFree=126006444/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=371488 memory=270920 CPUtime=221.67 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 83224 0 0 0 22134 33 0 0 20 0 1 0 192849245 380403712 67730 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 92872 67730 4009 3540 0 81129 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 371488 KiB
Current children cumulated memory: 270920 KiB
[startup+282.3 s]
/proc/loadavg: 4.27 4.25 4.13 5/256 1023212
/proc/meminfo: memFree=125916540/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=377504 memory=278288 CPUtime=281.51 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 85046 0 0 0 28112 39 0 0 20 0 1 0 192849245 386564096 69572 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 94376 69572 4009 3540 0 82633 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 377504 KiB
Current children cumulated memory: 278288 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.21 4.12 5/256 1023223
/proc/meminfo: memFree=125767716/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=415968 memory=314392 CPUtime=341.35 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 94124 0 0 0 34085 50 0 0 20 0 1 0 192849245 425951232 78598 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 103992 78598 4009 3540 0 92249 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 415968 KiB
Current children cumulated memory: 314392 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.17 4.11 5/255 1023233
/proc/meminfo: memFree=125688012/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=418988 memory=319040 CPUtime=401.17 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 94837 0 0 0 40066 51 0 0 20 0 1 0 192849245 429043712 79760 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 104747 79760 4009 3540 0 93004 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 418988 KiB
Current children cumulated memory: 319040 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.17 4.11 5/257 1023249
/proc/meminfo: memFree=125559880/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=437208 memory=374328 CPUtime=461.01 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 99896 0 0 0 46049 52 0 0 20 0 1 0 192849245 447700992 93582 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 109302 93582 4009 3540 0 97559 0
Current children cumulated CPU time: 461.01 s
Current children cumulated vsize: 437208 KiB
Current children cumulated memory: 374328 KiB
[startup+485.465 s]
# the end of solver process 1023114 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=483.587 s, system=0.531439 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+473.6 s]
/proc/loadavg: 4.10 4.16 4.11 5/257 1023250
/proc/meminfo: memFree=125525020/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=437208 memory=379632 CPUtime=472.28 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 99993 0 0 0 47176 52 0 0 20 0 1 0 192849245 447700992 94908 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 109302 94908 4009 3540 0 97559 0
Current children cumulated CPU time: 472.28 s
Current children cumulated vsize: 437208 KiB
Current children cumulated memory: 379632 KiB
[startup+480 s]*
/proc/loadavg: 4.08 4.16 4.10 5/257 1023252
/proc/meminfo: memFree=125512900/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=437912 memory=384196 CPUtime=478.66 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 100188 0 0 0 47814 52 0 0 20 0 1 0 192849245 448421888 96049 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 109478 96049 4009 3540 0 97735 0
Current children cumulated CPU time: 478.66 s
Current children cumulated vsize: 437912 KiB
Current children cumulated memory: 384196 KiB
[startup+483.2 s]
/proc/loadavg: 4.08 4.16 4.10 5/257 1023252
/proc/meminfo: memFree=125502772/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=437912 memory=384196 CPUtime=481.85 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 100193 0 0 0 48133 52 0 0 20 0 1 0 192849245 448421888 96049 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 109478 96049 4009 3540 0 97735 0
Current children cumulated CPU time: 481.85 s
Current children cumulated vsize: 437912 KiB
Current children cumulated memory: 384196 KiB
[startup+484.8 s]
/proc/loadavg: 4.08 4.15 4.10 5/257 1023252
/proc/meminfo: memFree=125502128/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=437912 memory=384196 CPUtime=483.45 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 100193 0 0 0 48293 52 0 0 20 0 1 0 192849245 448421888 96049 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 109478 96049 4009 3540 0 97735 0
Current children cumulated CPU time: 483.45 s
Current children cumulated vsize: 437912 KiB
Current children cumulated memory: 384196 KiB
[startup+485.2 s]
/proc/loadavg: 4.08 4.15 4.10 5/257 1023252
/proc/meminfo: memFree=125500160/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=437912 memory=384196 CPUtime=483.84 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 100193 0 0 0 48332 52 0 0 20 0 1 0 192849245 448421888 96049 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 109478 96049 4009 3540 0 97735 0
Current children cumulated CPU time: 483.84 s
Current children cumulated vsize: 437912 KiB
Current children cumulated memory: 384196 KiB
[startup+485.4 s]
/proc/loadavg: 4.08 4.15 4.10 5/257 1023252
/proc/meminfo: memFree=125500160/131524600 swapFree=131071996/131071996
[pid=1023114] ppid=1023111 vsize=437912 memory=384196 CPUtime=484.04 cores=4,6
/proc/1023114/stat : 1023114 (pbscip) R 1023111 1023114 1018507 0 -1 4194304 100193 0 0 0 48352 52 0 0 20 0 1 0 192849245 448421888 96049 134679101440 4194304 18693293 140721194768688 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38641664 140721194775554 140721194775653 140721194775653 140721194782670 0
/proc/1023114/statm: 109478 96049 4009 3540 0 97735 0
Current children cumulated CPU time: 484.04 s
Current children cumulated vsize: 437912 KiB
Current children cumulated memory: 384196 KiB
Child status: 0
Real time (s): 485.465
CPU time (s): 484.119
CPU user time (s): 483.587
CPU system time (s): 0.531439
CPU usage (%): 99.7227
Max. virtual memory (cumulated for all children) (KiB): 437912
Max. memory (cumulated for all children) (KiB): 384196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 483.587
system time used= 0.531439
maximum resident set size= 384196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100274
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= 42
involuntary context switches= 464
# summary of solver processes directly reported to runsolver:
# pid: 1023114
# total CPU time (s): 484.119
# total CPU user time (s): 483.587
# total CPU system time (s): 0.531439
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.938916 second user time and 2.41256 second system time
The end