0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik 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-2693802-1277893402.wbo>
0.00/0.00 c original problem has 118 variables (114 bin, 0 int, 0 impl, 4 cont) and 26 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 8 clqs
0.00/0.00 c (round 2) 0 del vars, 1 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 8 clqs
0.00/0.00 c (round 3) 0 del vars, 1 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 9 upgd conss, 4 impls, 8 clqs
0.00/0.00 c (round 4) 0 del vars, 1 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 17 upgd conss, 4 impls, 8 clqs
0.00/0.01 c (0.0s) probing: 101/114 (88.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (5 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 4 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 4 implications, 8 cliques
0.00/0.01 c presolved problem has 118 variables (114 bin, 0 int, 0 impl, 4 cont) and 25 constraints
0.00/0.01 c 4 constraints of type <indicator>
0.00/0.01 c 8 constraints of type <setppc>
0.00/0.01 c 4 constraints of type <linear>
0.00/0.01 c 9 constraints of type <logicor>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = -1
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 2 | 0 | - | 369k| 0 | - | 118 | 25 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.01 o 1
0.00/0.01 c * 0.0s| 146 | 137 | 0 | 0.0 | 420k| 89 | - | 118 | 26 | 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
0.39/0.46 c 0.4s| 10000 | 8880 | 0 | 0.0 |3868k| 89 | - | 118 | 865 | 0 | 0 | 0 |2852 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
0.88/0.97 c 0.8s| 20000 | 17437 | 0 | 0.0 |6973k| 89 | - | 118 |1040 | 0 | 0 | 0 |5735 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1.49/1.57 c 1.3s| 30000 | 25386 | 0 | 0.0 | 10M| 89 | - | 118 |1215 | 0 | 0 | 0 |9262 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
2.39/2.46 c 2.1s| 40000 | 31492 | 0 | 0.0 | 13M| 89 | - | 118 |1336 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
2.99/3.02 c 2.6s| 50000 | 40203 | 0 | 0.0 | 16M| 89 | - | 118 |1731 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
3.48/3.59 c 3.1s| 60000 | 48853 | 0 | 0.0 | 19M| 89 | - | 118 |1954 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
4.09/4.18 c 3.7s| 70000 | 57456 | 0 | 0.0 | 22M| 89 | - | 118 |2082 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
4.69/4.79 c 4.2s| 80000 | 65998 | 0 | 0.0 | 26M| 89 | - | 118 |2095 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
5.40/5.42 c 4.8s| 90000 | 74454 | 0 | 0.0 | 29M| 89 | - | 118 |2250 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
5.99/6.07 c 5.3s|100000 | 82854 | 0 | 0.0 | 32M| 89 | - | 118 |2313 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
6.69/6.74 c 5.9s|110000 | 91166 | 0 | 0.0 | 35M| 89 | - | 118 |2322 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
7.39/7.41 c 6.5s|120000 | 99429 | 0 | 0.0 | 38M| 89 | - | 118 |2344 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
7.98/8.09 c 7.2s|130000 |107663 | 0 | 0.0 | 41M| 89 | - | 118 |2488 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
8.70/8.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.70/8.77 c 7.8s|140000 |115869 | 0 | 0.0 | 44M| 89 | - | 118 |2523 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
9.39/9.49 c 8.4s|150000 |123927 | 0 | 0.0 | 47M| 89 | - | 118 |2534 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
10.19/10.22 c 9.1s|160000 |132040 | 0 | 0.0 | 50M| 89 | - | 118 |2588 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
10.90/10.96 c 9.7s|170000 |139999 | 0 | 0.0 | 54M| 89 | - | 118 |2711 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
11.69/11.74 c 10.4s|180000 |147921 | 0 | 0.0 | 57M| 89 | - | 118 |2731 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
12.49/12.52 c 11.1s|190000 |155814 | 0 | 0.0 | 60M| 89 | - | 118 |2848 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
13.29/13.32 c 11.9s|200000 |163597 | 0 | 0.0 | 63M| 89 | - | 118 |2801 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
14.09/14.15 c 12.6s|210000 |171309 | 0 | 0.0 | 66M| 89 | - | 118 |2923 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
14.99/15.00 c 13.4s|220000 |178892 | 0 | 0.0 | 70M| 89 | - | 118 |2976 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
15.79/15.87 c 14.2s|230000 |186414 | 0 | 0.0 | 73M| 89 | - | 118 |3114 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
16.69/16.79 c 15.1s|240000 |193759 | 0 | 0.0 | 76M| 89 | - | 118 |3085 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
17.69/17.73 c 15.9s|250000 |201068 | 0 | 0.0 | 79M| 89 | - | 118 |3151 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
18.70/18.73 c 16.8s|260000 |208176 | 0 | 0.0 | 82M| 89 | - | 118 |3238 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
19.69/19.74 c 17.8s|270000 |215264 | 0 | 0.0 | 86M| 89 | - | 118 |3197 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
20.79/20.80 c 18.7s|280000 |222180 | 0 | 0.0 | 89M| 89 | - | 118 |3396 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
21.79/21.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.79/21.88 c 19.7s|290000 |228897 | 0 | 0.0 | 92M| 89 | - | 118 |3361 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
22.99/23.02 c 20.8s|300000 |235391 | 0 | 0.0 | 96M| 89 | - | 118 |3469 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
24.20/24.22 c 21.9s|310000 |241650 | 0 | 0.0 | 99M| 89 | - | 118 |3620 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
25.39/25.49 c 23.1s|320000 |247695 | 0 | 0.0 | 102M| 89 | - | 118 |3699 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
26.80/26.83 c 24.3s|330000 |253491 | 0 | 0.0 | 106M| 89 | - | 118 |3868 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
28.19/28.21 c 25.6s|340000 |259121 | 0 | 0.0 | 109M| 89 | - | 118 |3771 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
29.70/29.74 c 27.1s|350000 |264191 | 0 | 0.0 | 113M| 89 | - | 118 |4138 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
31.29/31.33 c 28.6s|360000 |269063 | 0 | 0.0 | 116M| 89 | - | 118 |4279 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
33.00/33.05 c 30.2s|370000 |273452 | 0 | 0.0 | 120M| 89 | - | 118 |4452 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
34.89/34.96 c 32.0s|380000 |277120 | 0 | 0.0 | 123M| 89 | - | 118 |4564 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
37.09/37.16 c 34.1s|390000 |279660 | 0 | 0.0 | 126M| 89 | - | 118 |4535 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
39.39/39.44 c 36.2s|400000 |281915 | 0 | 0.0 | 128M| 89 | - | 118 |3554 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
40.29/40.34 c 37.0s|410000 |290181 | 0 | 0.0 | 131M| 89 | - | 118 |3355 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
41.09/41.19 c 37.8s|420000 |298508 | 0 | 0.0 | 135M| 89 | - | 118 |3513 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
41.99/42.01 c 38.5s|430000 |306849 | 0 | 0.0 | 138M| 89 | - | 118 |3763 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
42.80/42.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.80/42.86 c 39.3s|440000 |315176 | 0 | 0.0 | 141M| 89 | - | 118 |3973 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
43.69/43.74 c 40.1s|450000 |323437 | 0 | 0.0 | 144M| 89 | - | 118 |4075 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
44.59/44.65 c 41.0s|460000 |331653 | 0 | 0.0 | 147M| 89 | - | 118 |4186 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
45.49/45.59 c 41.8s|470000 |339847 | 0 | 0.0 | 151M| 89 | - | 118 |4740 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
46.49/46.51 c 42.7s|480000 |348088 | 0 | 0.0 | 154M| 89 | - | 118 |4658 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
47.39/47.49 c 43.6s|490000 |356216 | 0 | 0.0 | 157M| 89 | - | 118 |5041 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
48.40/48.44 c 44.4s|500000 |364373 | 0 | 0.0 | 160M| 89 | - | 118 |5023 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
49.39/49.44 c 45.4s|510000 |372478 | 0 | 0.0 | 163M| 89 | - | 118 |5396 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
50.39/50.45 c 46.3s|520000 |380567 | 0 | 0.0 | 166M| 89 | - | 118 |5294 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
51.39/51.45 c 47.2s|530000 |388713 | 0 | 0.0 | 169M| 89 | - | 118 |5494 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
52.49/52.55 c 48.3s|540000 |396722 | 0 | 0.0 | 173M| 89 | - | 118 |5565 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
53.49/53.56 c 49.2s|550000 |404819 | 0 | 0.0 | 176M| 89 | - | 118 |5752 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
54.59/54.61 c 50.2s|560000 |412888 | 0 | 0.0 | 179M| 89 | - | 118 |5821 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
55.69/55.72 c 51.3s|570000 |420868 | 0 | 0.0 | 182M| 89 | - | 118 |6111 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
56.69/56.77 c 52.2s|580000 |428922 | 0 | 0.0 | 185M| 89 | - | 118 |6151 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
57.79/57.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.79/57.89 c 53.3s|590000 |436955 | 0 | 0.0 | 188M| 89 | - | 118 |6097 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
58.99/59.04 c 54.3s|600000 |444827 | 0 | 0.0 | 191M| 89 | - | 118 |6123 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
60.19/60.20 c 55.4s|610000 |452730 | 0 | 0.0 | 195M| 89 | - | 118 |6255 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
61.29/61.30 c 56.5s|620000 |460695 | 0 | 0.0 | 198M| 89 | - | 118 |6304 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
62.39/62.43 c 57.5s|630000 |468687 | 0 | 0.0 | 201M| 89 | - | 118 |6305 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
63.60/63.62 c 58.6s|640000 |476584 | 0 | 0.0 | 204M| 89 | - | 118 |6312 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
64.79/64.80 c 59.7s|650000 |484461 | 0 | 0.0 | 207M| 89 | - | 118 |6620 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
66.00/66.03 c 60.9s|660000 |492260 | 0 | 0.0 | 210M| 89 | - | 118 |6856 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
67.20/67.29 c 62.0s|670000 |500100 | 0 | 0.0 | 214M| 89 | - | 118 |6671 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
68.50/68.50 c 63.2s|680000 |507913 | 0 | 0.0 | 217M| 89 | - | 118 |6650 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
69.80/69.81 c 64.4s|690000 |515677 | 0 | 0.0 | 220M| 89 | - | 118 |6727 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
70.99/71.06 c 65.6s|700000 |523436 | 0 | 0.0 | 223M| 89 | - | 118 |6949 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
72.29/72.33 c 66.8s|710000 |531257 | 0 | 0.0 | 226M| 89 | - | 118 |6942 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
73.60/73.65 c 68.1s|720000 |538983 | 0 | 0.0 | 229M| 89 | - | 118 |7001 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
74.89/74.94 c 69.3s|730000 |546715 | 0 | 0.0 | 232M| 89 | - | 118 |7170 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
76.19/76.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.19/76.24 c 70.5s|740000 |554499 | 0 | 0.0 | 235M| 89 | - | 118 |6989 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
77.49/77.58 c 71.8s|750000 |562191 | 0 | 0.0 | 239M| 89 | - | 118 |7293 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
78.89/78.95 c 73.0s|760000 |569909 | 0 | 0.0 | 242M| 89 | - | 118 |7154 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
80.29/80.37 c 74.4s|770000 |577478 | 0 | 0.0 | 245M| 89 | - | 118 |7340 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
81.69/81.75 c 75.7s|780000 |585157 | 0 | 0.0 | 248M| 89 | - | 118 |7418 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
82.99/83.09 c 77.0s|790000 |592896 | 0 | 0.0 | 251M| 89 | - | 118 |7317 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
84.39/84.43 c 78.2s|800000 |600659 | 0 | 0.0 | 254M| 89 | - | 118 |7298 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
85.80/85.86 c 79.6s|810000 |608258 | 0 | 0.0 | 258M| 89 | - | 118 |7470 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
87.29/87.35 c 81.0s|820000 |615746 | 0 | 0.0 | 261M| 89 | - | 118 |7759 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
88.79/88.83 c 82.4s|830000 |623278 | 0 | 0.0 | 264M| 89 | - | 118 |7820 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
90.20/90.28 c 83.7s|840000 |630881 | 0 | 0.0 | 267M| 89 | - | 118 |7646 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
91.59/91.65 c 85.0s|850000 |638548 | 0 | 0.0 | 270M| 89 | - | 118 |7584 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
92.99/93.07 c 86.4s|860000 |646146 | 0 | 0.0 | 273M| 89 | - | 118 |7674 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
94.59/94.64 c 87.9s|870000 |653577 | 0 | 0.0 | 277M| 89 | - | 118 |7883 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
96.19/96.26 c 89.4s|880000 |660962 | 0 | 0.0 | 280M| 89 | - | 118 |8005 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
97.89/97.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.89/97.91 c 91.0s|890000 |668351 | 0 | 0.0 | 283M| 89 | - | 118 |7979 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
99.39/99.45 c 92.4s|900000 |675936 | 0 | 0.0 | 286M| 89 | - | 118 |7979 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
100.89/100.92 c 93.8s|910000 |683523 | 0 | 0.0 | 289M| 89 | - | 118 |7805 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
102.30/102.37 c 95.2s|920000 |691151 | 0 | 0.0 | 292M| 89 | - | 118 |7515 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
103.99/104.01 c 96.8s|930000 |698447 | 0 | 0.0 | 296M| 89 | - | 118 |8050 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
105.70/105.72 c 98.4s|940000 |705680 | 0 | 0.0 | 299M| 89 | - | 118 |8345 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
107.29/107.34 c 100s|950000 |713002 | 0 | 0.0 | 302M| 89 | - | 118 |8428 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
108.90/108.95 c 101s|960000 |720457 | 0 | 0.0 | 306M| 89 | - | 118 |8185 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
110.40/110.49 c 103s|970000 |727932 | 0 | 0.0 | 309M| 89 | - | 118 |8334 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
111.99/112.09 c 104s|980000 |735430 | 0 | 0.0 | 312M| 89 | - | 118 |8067 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
113.79/113.83 c 106s|990000 |742726 | 0 | 0.0 | 315M| 89 | - | 118 |8057 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
115.70/115.73 c 108s| 1000k|749720 | 0 | 0.0 | 318M| 89 | - | 118 |8727 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
117.60/117.61 c 110s| 1010k|756826 | 0 | 0.0 | 322M| 89 | - | 118 |8953 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
119.29/119.37 c 111s| 1020k|764121 | 0 | 0.0 | 325M| 89 | - | 118 |8734 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
120.99/121.01 c 113s| 1030k|771515 | 0 | 0.0 | 328M| 89 | - | 118 |8603 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
122.69/122.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.69/122.73 c 115s| 1040k|778897 | 0 | 0.0 | 331M| 89 | - | 118 |8635 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
124.39/124.48 c 116s| 1050k|786217 | 0 | 0.0 | 334M| 89 | - | 118 |8577 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
126.19/126.25 c 118s| 1060k|793490 | 0 | 0.0 | 338M| 89 | - | 118 |8426 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
128.09/128.12 c 120s| 1070k|800558 | 0 | 0.0 | 341M| 89 | - | 118 |8848 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
130.09/130.10 c 122s| 1080k|807506 | 0 | 0.0 | 344M| 89 | - | 118 |9547 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
132.00/132.05 c 124s| 1090k|814606 | 0 | 0.0 | 348M| 89 | - | 118 |9186 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
133.89/133.90 c 125s| 1100k|821766 | 0 | 0.0 | 351M| 89 | - | 118 |8976 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
135.70/135.79 c 127s| 1110k|828911 | 0 | 0.0 | 354M| 89 | - | 118 |9027 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
137.70/137.74 c 129s| 1120k|836113 | 0 | 0.0 | 357M| 89 | - | 118 |8815 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
139.49/139.57 c 131s| 1130k|843304 | 0 | 0.0 | 360M| 89 | - | 118 |8607 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
141.29/141.39 c 132s| 1140k|850463 | 0 | 0.0 | 363M| 89 | - | 118 |8647 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
143.29/143.33 c 134s| 1150k|857466 | 0 | 0.0 | 367M| 89 | - | 118 |8831 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
145.39/145.46 c 136s| 1160k|864216 | 0 | 0.0 | 370M| 89 | - | 118 |9421 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
147.49/147.55 c 138s| 1170k|871063 | 0 | 0.0 | 373M| 89 | - | 118 |9249 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
149.50/149.56 c 140s| 1180k|877992 | 0 | 0.0 | 377M| 89 | - | 118 |9254 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
151.49/151.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.49/151.51 c 142s| 1190k|884974 | 0 | 0.0 | 380M| 89 | - | 118 |9010 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
153.30/153.39 c 144s| 1200k|892042 | 0 | 0.0 | 383M| 89 | - | 118 |8976 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
155.29/155.38 c 146s| 1210k|899047 | 0 | 0.0 | 386M| 89 | - | 118 |8828 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
157.30/157.39 c 148s| 1220k|905984 | 0 | 0.0 | 390M| 89 | - | 118 |8895 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
159.29/159.33 c 150s| 1230k|912952 | 0 | 0.0 | 393M| 89 | - | 118 |8870 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
161.50/161.56 c 152s| 1240k|919549 | 0 | 0.0 | 396M| 89 | - | 118 |9557 | 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
163.69/163.77 c 154s| 1250k|926234 | 0 | 0.0 | 400M| 89 | - | 118 |9408 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
165.90/165.94 c 156s| 1260k|933045 | 0 | 0.0 | 403M| 89 | - | 118 |9574 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
167.99/168.09 c 158s| 1270k|939814 | 0 | 0.0 | 406M| 89 | - | 118 |9293 | 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
170.19/170.20 c 160s| 1280k|946728 | 0 | 0.0 | 409M| 89 | - | 118 |9201 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
172.29/172.37 c 162s| 1290k|953478 | 0 | 0.0 | 413M| 89 | - | 118 |9624 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
174.39/174.42 c 164s| 1300k|960380 | 0 | 0.0 | 416M| 89 | - | 118 |9284 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
176.50/176.59 c 166s| 1310k|967223 | 0 | 0.0 | 419M| 89 | - | 118 |9070 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
178.60/178.67 c 168s| 1320k|973946 | 0 | 0.0 | 422M| 89 | - | 118 |9547 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
180.79/180.88 c 170s| 1330k|980576 | 0 | 0.0 | 426M| 89 | - | 118 |9489 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
183.20/183.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.20/183.28 c 173s| 1340k|987122 | 0 | 0.0 | 429M| 89 | - | 118 |9489 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
185.50/185.55 c 175s| 1350k|993797 | 0 | 0.0 | 432M| 89 | - | 118 |9562 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
187.80/187.80 c 177s| 1360k| 1000k| 0 | 0.0 | 436M| 89 | - | 118 |9672 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
190.09/190.17 c 179s| 1370k| 1006k| 0 | 0.0 | 439M| 89 | - | 118 |9706 | 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
192.50/192.53 c 182s| 1380k| 1013k| 0 | 0.0 | 442M| 89 | - | 118 |9450 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
194.80/194.80 c 184s| 1390k| 1020k| 0 | 0.0 | 445M| 89 | - | 118 |9228 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
197.00/197.06 c 186s| 1400k| 1026k| 0 | 0.0 | 448M| 89 | - | 118 |9157 | 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
199.29/199.37 c 188s| 1410k| 1033k| 0 | 0.0 | 452M| 89 | - | 118 |9735 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
201.80/201.81 c 191s| 1420k| 1039k| 0 | 0.0 | 455M| 89 | - | 118 |9728 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
204.19/204.26 c 193s| 1430k| 1045k| 0 | 0.0 | 459M| 89 | - | 118 |9741 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
206.60/206.68 c 195s| 1440k| 1052k| 0 | 0.0 | 462M| 89 | - | 118 |9675 | 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
209.10/209.19 c 198s| 1450k| 1058k| 0 | 0.0 | 465M| 89 | - | 118 |9912 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
211.59/211.65 c 200s| 1460k| 1065k| 0 | 0.0 | 469M| 89 | - | 118 |9757 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
214.10/214.10 c 203s| 1470k| 1071k| 0 | 0.0 | 472M| 89 | - | 118 |9872 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
216.49/216.51 c 205s| 1480k| 1078k| 0 | 0.0 | 475M| 89 | - | 118 |9733 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
218.80/218.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.80/218.89 c 207s| 1490k| 1084k| 0 | 0.0 | 478M| 89 | - | 118 |9507 | 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
221.40/221.42 c 210s| 1500k| 1090k| 0 | 0.0 | 482M| 89 | - | 118 | 10k| 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
224.09/224.12 c 212s| 1510k| 1096k| 0 | 0.0 | 485M| 89 | - | 118 | 10k| 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
226.70/226.70 c 215s| 1520k| 1103k| 0 | 0.0 | 489M| 89 | - | 118 | 10k| 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
229.39/229.43 c 217s| 1530k| 1109k| 0 | 0.0 | 492M| 89 | - | 118 | 10k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
232.00/232.09 c 220s| 1540k| 1115k| 0 | 0.0 | 495M| 89 | - | 118 |9999 | 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
234.70/234.72 c 222s| 1550k| 1121k| 0 | 0.0 | 499M| 89 | - | 118 |9866 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
237.19/237.29 c 225s| 1560k| 1127k| 0 | 0.0 | 502M| 89 | - | 118 |9825 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
239.90/239.91 c 227s| 1570k| 1134k| 0 | 0.0 | 505M| 89 | - | 118 |9787 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
242.40/242.46 c 230s| 1580k| 1140k| 0 | 0.0 | 509M| 89 | - | 118 |9453 | 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
245.20/245.24 c 233s| 1590k| 1146k| 0 | 0.0 | 512M| 89 | - | 118 | 10k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
248.09/248.17 c 235s| 1600k| 1152k| 0 | 0.0 | 516M| 89 | - | 118 | 10k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
250.80/250.89 c 238s| 1610k| 1158k| 0 | 0.0 | 519M| 89 | - | 118 | 10k| 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
253.70/253.77 c 241s| 1620k| 1164k| 0 | 0.0 | 522M| 89 | - | 118 | 10k| 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
256.60/256.60 c 244s| 1630k| 1170k| 0 | 0.0 | 526M| 89 | - | 118 | 10k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
259.51/259.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.51/259.52 c 246s| 1640k| 1176k| 0 | 0.0 | 529M| 89 | - | 118 | 10k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
262.19/262.25 c 249s| 1650k| 1182k| 0 | 0.0 | 532M| 89 | - | 118 |9848 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
264.80/264.88 c 252s| 1660k| 1188k| 0 | 0.0 | 535M| 89 | - | 118 |9687 | 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
267.39/267.49 c 254s| 1670k| 1194k| 0 | 0.0 | 539M| 89 | - | 118 |9751 | 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
270.50/270.56 c 257s| 1680k| 1199k| 0 | 0.0 | 542M| 89 | - | 118 | 10k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
273.69/273.71 c 260s| 1690k| 1205k| 0 | 0.0 | 546M| 89 | - | 118 | 10k| 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
276.69/276.79 c 263s| 1700k| 1211k| 0 | 0.0 | 549M| 89 | - | 118 | 10k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
280.00/280.01 c 266s| 1710k| 1216k| 0 | 0.0 | 553M| 89 | - | 118 | 10k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
283.09/283.11 c 269s| 1720k| 1222k| 0 | 0.0 | 556M| 89 | - | 118 | 10k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
286.09/286.14 c 272s| 1730k| 1228k| 0 | 0.0 | 559M| 89 | - | 118 | 10k| 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
289.00/289.01 c 275s| 1740k| 1233k| 0 | 0.0 | 562M| 89 | - | 118 |9941 | 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
291.69/291.77 c 278s| 1750k| 1239k| 0 | 0.0 | 566M| 89 | - | 118 |9813 | 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
294.81/294.83 c 281s| 1760k| 1245k| 0 | 0.0 | 569M| 89 | - | 118 | 10k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
298.00/298.04 c 284s| 1770k| 1250k| 0 | 0.0 | 573M| 89 | - | 118 | 10k| 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
301.40/301.42 c 287s| 1780k| 1256k| 0 | 0.0 | 576M| 89 | - | 118 | 10k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
304.60/304.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.60/304.70 c 290s| 1790k| 1261k| 0 | 0.0 | 580M| 89 | - | 118 | 10k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
308.00/308.01 c 294s| 1800k| 1266k| 0 | 0.0 | 583M| 89 | - | 118 | 10k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
311.10/311.16 c 297s| 1810k| 1272k| 0 | 0.0 | 586M| 89 | - | 118 | 10k| 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
314.10/314.18 c 300s| 1820k| 1278k| 0 | 0.0 | 589M| 89 | - | 118 | 10k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
317.00/317.08 c 302s| 1830k| 1283k| 0 | 0.0 | 593M| 89 | - | 118 |9979 | 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
320.00/320.04 c 305s| 1840k| 1289k| 0 | 0.0 | 596M| 89 | - | 118 |9747 | 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
323.31/323.36 c 308s| 1850k| 1294k| 0 | 0.0 | 600M| 89 | - | 118 | 10k| 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
327.10/327.12 c 312s| 1860k| 1299k| 0 | 0.0 | 603M| 89 | - | 118 | 11k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
330.50/330.53 c 315s| 1870k| 1304k| 0 | 0.0 | 607M| 89 | - | 118 | 10k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
334.10/334.18 c 319s| 1880k| 1309k| 0 | 0.0 | 610M| 89 | - | 118 | 11k| 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
337.50/337.50 c 322s| 1890k| 1314k| 0 | 0.0 | 613M| 89 | - | 118 | 10k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
340.80/340.88 c 325s| 1900k| 1320k| 0 | 0.0 | 616M| 89 | - | 118 | 10k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
344.00/344.07 c 329s| 1910k| 1325k| 0 | 0.0 | 620M| 89 | - | 118 | 10k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
347.20/347.21 c 332s| 1920k| 1331k| 0 | 0.0 | 623M| 89 | - | 118 | 10k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
350.60/350.63 c 335s| 1930k| 1336k| 0 | 0.0 | 627M| 89 | - | 118 | 10k| 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
354.50/354.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.50/354.51 c 339s| 1940k| 1340k| 0 | 0.0 | 630M| 89 | - | 118 | 11k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
358.40/358.45 c 343s| 1950k| 1345k| 0 | 0.0 | 633M| 89 | - | 118 | 11k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
362.10/362.16 c 346s| 1960k| 1350k| 0 | 0.0 | 637M| 89 | - | 118 | 11k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
365.60/365.61 c 350s| 1970k| 1355k| 0 | 0.0 | 640M| 89 | - | 118 | 10k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
369.00/369.08 c 353s| 1980k| 1360k| 0 | 0.0 | 643M| 89 | - | 118 | 10k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
372.49/372.58 c 356s| 1990k| 1365k| 0 | 0.0 | 647M| 89 | - | 118 | 10k| 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
375.70/375.71 c 359s| 2000k| 1370k| 0 | 0.0 | 650M| 89 | - | 118 | 10k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
379.30/379.30 c 363s| 2010k| 1375k| 0 | 0.0 | 654M| 89 | - | 118 | 10k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
383.40/383.47 c 367s| 2020k| 1379k| 0 | 0.0 | 657M| 89 | - | 118 | 11k| 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
387.50/387.54 c 371s| 2030k| 1383k| 0 | 0.0 | 660M| 89 | - | 118 | 11k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
391.51/391.55 c 375s| 2040k| 1388k| 0 | 0.0 | 664M| 89 | - | 118 | 11k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
395.20/395.28 c 379s| 2050k| 1392k| 0 | 0.0 | 667M| 89 | - | 118 | 10k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
399.00/399.00 c 382s| 2060k| 1397k| 0 | 0.0 | 670M| 89 | - | 118 | 10k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
402.40/402.44 c 385s| 2070k| 1402k| 0 | 0.0 | 674M| 89 | - | 118 | 10k| 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
405.90/405.96 c 389s| 2080k| 1407k| 0 | 0.0 | 677M| 89 | - | 118 | 10k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
410.21/410.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.21/410.26 c 393s| 2090k| 1411k| 0 | 0.0 | 681M| 89 | - | 118 | 11k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
414.80/414.88 c 398s| 2100k| 1415k| 0 | 0.0 | 684M| 89 | - | 118 | 11k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
419.30/419.34 c 402s| 2110k| 1419k| 0 | 0.0 | 687M| 89 | - | 118 | 10k| 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
423.20/423.28 c 406s| 2120k| 1423k| 0 | 0.0 | 691M| 89 | - | 118 | 10k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
427.10/427.13 c 410s| 2130k| 1428k| 0 | 0.0 | 694M| 89 | - | 118 | 10k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
430.90/430.94 c 413s| 2140k| 1432k| 0 | 0.0 | 697M| 89 | - | 118 | 10k| 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
434.60/434.63 c 417s| 2150k| 1437k| 0 | 0.0 | 701M| 89 | - | 118 | 10k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
438.81/438.84 c 421s| 2160k| 1440k| 0 | 0.0 | 704M| 89 | - | 118 | 11k| 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
443.50/443.59 c 426s| 2170k| 1444k| 0 | 0.0 | 707M| 89 | - | 118 | 11k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
448.00/448.04 c 430s| 2180k| 1448k| 0 | 0.0 | 710M| 89 | - | 118 | 11k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
452.30/452.40 c 434s| 2190k| 1452k| 0 | 0.0 | 714M| 89 | - | 118 | 10k| 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
456.41/456.43 c 438s| 2200k| 1456k| 0 | 0.0 | 717M| 89 | - | 118 | 10k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
460.50/460.59 c 442s| 2210k| 1460k| 0 | 0.0 | 720M| 89 | - | 118 | 10k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
464.50/464.50 c 446s| 2220k| 1464k| 0 | 0.0 | 724M| 89 | - | 118 | 10k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
469.20/469.28 c 451s| 2230k| 1467k| 0 | 0.0 | 727M| 89 | - | 118 | 11k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
474.00/474.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.00/474.07 c 455s| 2240k| 1470k| 0 | 0.0 | 730M| 89 | - | 118 | 11k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
478.51/478.56 c 460s| 2250k| 1474k| 0 | 0.0 | 733M| 89 | - | 118 | 10k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
482.70/482.80 c 464s| 2260k| 1478k| 0 | 0.0 | 737M| 89 | - | 118 | 10k| 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
486.90/486.95 c 468s| 2270k| 1482k| 0 | 0.0 | 740M| 89 | - | 118 | 10k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
491.01/491.01 c 472s| 2280k| 1486k| 0 | 0.0 | 743M| 89 | - | 118 | 10k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
496.20/496.23 c 477s| 2290k| 1488k| 0 | 0.0 | 746M| 89 | - | 118 | 11k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
501.20/501.23 c 482s| 2300k| 1491k| 0 | 0.0 | 749M| 89 | - | 118 | 11k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
505.91/505.91 c 486s| 2310k| 1494k| 0 | 0.0 | 753M| 89 | - | 118 | 10k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
510.31/510.32 c 491s| 2320k| 1498k| 0 | 0.0 | 756M| 89 | - | 118 | 10k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
514.51/514.59 c 495s| 2330k| 1501k| 0 | 0.0 | 759M| 89 | - | 118 | 10k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
519.30/519.34 c 500s| 2340k| 1504k| 0 | 0.0 | 763M| 89 | - | 118 | 11k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
524.61/524.68 c 505s| 2350k| 1506k| 0 | 0.0 | 765M| 89 | - | 118 | 11k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
529.71/529.77 c 510s| 2360k| 1509k| 0 | 0.0 | 768M| 89 | - | 118 | 10k| 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
534.40/534.50 c 514s| 2370k| 1512k| 0 | 0.0 | 772M| 89 | - | 118 | 10k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
538.80/538.84 c 519s| 2380k| 1515k| 0 | 0.0 | 775M| 89 | - | 118 | 10k| 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
543.71/543.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.71/543.73 c 523s| 2390k| 1518k| 0 | 0.0 | 778M| 89 | - | 118 | 11k| 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
549.50/549.52 c 529s| 2400k| 1520k| 0 | 0.0 | 781M| 89 | - | 118 | 11k| 0 | 0 | 0 |1723k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
554.80/554.89 c 534s| 2410k| 1522k| 0 | 0.0 | 784M| 89 | - | 118 | 10k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
559.71/559.75 c 539s| 2420k| 1525k| 0 | 0.0 | 787M| 89 | - | 118 | 10k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
564.40/564.43 c 544s| 2430k| 1528k| 0 | 0.0 | 790M| 89 | - | 118 | 10k| 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
570.30/570.32 c 549s| 2440k| 1529k| 0 | 0.0 | 793M| 89 | - | 118 | 11k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
575.90/575.97 c 555s| 2450k| 1530k| 0 | 0.0 | 796M| 89 | - | 118 | 10k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
581.00/581.09 c 560s| 2460k| 1533k| 0 | 0.0 | 799M| 89 | - | 118 | 10k| 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
585.90/585.97 c 565s| 2470k| 1535k| 0 | 0.0 | 802M| 89 | - | 118 | 10k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
591.91/591.98 c 571s| 2480k| 1536k| 0 | 0.0 | 804M| 89 | - | 118 | 10k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
597.50/597.59 c 576s| 2490k| 1537k| 0 | 0.0 | 807M| 89 | - | 118 | 10k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
602.61/602.68 c 581s| 2500k| 1539k| 0 | 0.0 | 810M| 89 | - | 118 | 10k| 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
608.51/608.52 c 587s| 2510k| 1540k| 0 | 0.0 | 812M| 89 | - | 118 | 11k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
614.31/614.30 c 593s| 2520k| 1541k| 0 | 0.0 | 815M| 89 | - | 118 | 10k| 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
619.51/619.55 c 598s| 2530k| 1543k| 0 | 0.0 | 818M| 89 | - | 118 | 10k| 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
625.81/625.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.81/625.88 c 604s| 2540k| 1542k| 0 | 0.0 | 820M| 89 | - | 118 | 10k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
631.51/631.50 c 609s| 2550k| 1543k| 0 | 0.0 | 823M| 89 | - | 118 | 10k| 0 | 0 | 0 |1912k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
637.61/637.66 c 615s| 2560k| 1543k| 0 | 0.0 | 824M| 89 | - | 118 | 10k| 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
643.10/643.18 c 621s| 2570k| 1544k| 0 | 0.0 | 827M| 89 | - | 118 | 10k| 0 | 0 | 0 |1938k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
650.02/650.09 c 628s| 2580k| 1543k| 0 | 0.0 | 829M| 89 | - | 118 | 10k| 0 | 0 | 0 |1954k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
656.71/656.76 c 634s| 2590k| 1542k| 0 | 0.0 | 830M| 89 | - | 118 | 10k| 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
662.90/662.98 c 640s| 2600k| 1541k| 0 | 0.0 | 832M| 89 | - | 118 | 10k| 0 | 0 | 0 |1982k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
669.60/669.64 c 647s| 2610k| 1538k| 0 | 0.0 | 831M| 89 | - | 118 | 10k| 0 | 0 | 0 |1997k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
675.20/675.28 c 652s| 2620k| 1538k| 0 | 0.0 | 830M| 89 | - | 118 |9274 | 0 | 0 | 0 |2010k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
677.71/677.70 c 655s| 2630k| 1545k| 0 | 0.0 | 833M| 89 | - | 118 |8347 | 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
680.00/680.09 c 657s| 2640k| 1553k| 0 | 0.0 | 836M| 89 | - | 118 |8256 | 0 | 0 | 0 |2026k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
682.41/682.40 c 659s| 2650k| 1560k| 0 | 0.0 | 839M| 89 | - | 118 |8371 | 0 | 0 | 0 |2033k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
684.70/684.76 c 661s| 2660k| 1568k| 0 | 0.0 | 843M| 89 | - | 118 |8339 | 0 | 0 | 0 |2040k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
687.11/687.18 c 664s| 2670k| 1575k| 0 | 0.0 | 846M| 89 | - | 118 |8793 | 0 | 0 | 0 |2048k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
689.41/689.45 c 666s| 2680k| 1583k| 0 | 0.0 | 849M| 89 | - | 118 |8915 | 0 | 0 | 0 |2055k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
691.71/691.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
691.71/691.71 c 668s| 2690k| 1590k| 0 | 0.0 | 852M| 89 | - | 118 |9256 | 0 | 0 | 0 |2062k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
694.02/694.03 c 670s| 2700k| 1598k| 0 | 0.0 | 856M| 89 | - | 118 |9118 | 0 | 0 | 0 |2069k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
696.21/696.25 c 673s| 2710k| 1605k| 0 | 0.0 | 859M| 89 | - | 118 |9558 | 0 | 0 | 0 |2076k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
698.61/698.66 c 675s| 2720k| 1613k| 0 | 0.0 | 862M| 89 | - | 118 | 10k| 0 | 0 | 0 |2083k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
701.00/701.00 c 677s| 2730k| 1620k| 0 | 0.0 | 865M| 89 | - | 118 |9995 | 0 | 0 | 0 |2090k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
703.11/703.19 c 679s| 2740k| 1628k| 0 | 0.0 | 869M| 89 | - | 118 | 10k| 0 | 0 | 0 |2097k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
705.51/705.56 c 682s| 2750k| 1636k| 0 | 0.0 | 872M| 89 | - | 118 | 10k| 0 | 0 | 0 |2103k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
708.42/708.41 c 684s| 2760k| 1643k| 0 | 0.0 | 875M| 89 | - | 118 | 11k| 0 | 0 | 0 |2112k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
710.80/710.88 c 687s| 2770k| 1650k| 0 | 0.0 | 878M| 89 | - | 118 | 10k| 0 | 0 | 0 |2119k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
713.30/713.33 c 689s| 2780k| 1658k| 0 | 0.0 | 882M| 89 | - | 118 | 11k| 0 | 0 | 0 |2126k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
715.71/715.74 c 691s| 2790k| 1665k| 0 | 0.0 | 885M| 89 | - | 118 | 11k| 0 | 0 | 0 |2132k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
718.21/718.23 c 694s| 2800k| 1673k| 0 | 0.0 | 888M| 89 | - | 118 | 11k| 0 | 0 | 0 |2139k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
721.30/721.31 c 697s| 2810k| 1680k| 0 | 0.0 | 892M| 89 | - | 118 | 12k| 0 | 0 | 0 |2147k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
724.00/724.07 c 700s| 2820k| 1687k| 0 | 0.0 | 895M| 89 | - | 118 | 12k| 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
726.51/726.56 c 702s| 2830k| 1695k| 0 | 0.0 | 898M| 89 | - | 118 | 12k| 0 | 0 | 0 |2161k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
729.10/729.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
729.10/729.19 c 705s| 2840k| 1702k| 0 | 0.0 | 901M| 89 | - | 118 | 12k| 0 | 0 | 0 |2168k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
731.91/731.90 c 707s| 2850k| 1710k| 0 | 0.0 | 905M| 89 | - | 118 | 13k| 0 | 0 | 0 |2175k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
734.61/734.65 c 710s| 2860k| 1717k| 0 | 0.0 | 908M| 89 | - | 118 | 13k| 0 | 0 | 0 |2181k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
738.21/738.21 c 713s| 2870k| 1724k| 0 | 0.0 | 912M| 89 | - | 118 | 14k| 0 | 0 | 0 |2190k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
741.41/741.42 c 716s| 2880k| 1731k| 0 | 0.0 | 915M| 89 | - | 118 | 13k| 0 | 0 | 0 |2197k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
744.41/744.43 c 719s| 2890k| 1738k| 0 | 0.0 | 918M| 89 | - | 118 | 14k| 0 | 0 | 0 |2204k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
747.41/747.41 c 722s| 2900k| 1746k| 0 | 0.0 | 921M| 89 | - | 118 | 14k| 0 | 0 | 0 |2211k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
750.41/750.45 c 725s| 2910k| 1753k| 0 | 0.0 | 924M| 89 | - | 118 | 14k| 0 | 0 | 0 |2218k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
753.31/753.35 c 728s| 2920k| 1761k| 0 | 0.0 | 927M| 89 | - | 118 | 14k| 0 | 0 | 0 |2224k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
756.31/756.35 c 731s| 2930k| 1768k| 0 | 0.0 | 931M| 89 | - | 118 | 14k| 0 | 0 | 0 |2231k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
759.81/759.82 c 734s| 2940k| 1775k| 0 | 0.0 | 934M| 89 | - | 118 | 15k| 0 | 0 | 0 |2239k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
763.71/763.75 c 738s| 2950k| 1782k| 0 | 0.0 | 938M| 89 | - | 118 | 15k| 0 | 0 | 0 |2248k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
767.21/767.25 c 742s| 2960k| 1789k| 0 | 0.0 | 941M| 89 | - | 118 | 15k| 0 | 0 | 0 |2255k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
770.61/770.64 c 745s| 2970k| 1797k| 0 | 0.0 | 944M| 89 | - | 118 | 15k| 0 | 0 | 0 |2262k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
774.01/774.02 c 748s| 2980k| 1804k| 0 | 0.0 | 947M| 89 | - | 118 | 15k| 0 | 0 | 0 |2270k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
777.31/777.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
777.31/777.35 c 752s| 2990k| 1811k| 0 | 0.0 | 951M| 89 | - | 118 | 15k| 0 | 0 | 0 |2276k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
780.51/780.57 c 755s| 3000k| 1819k| 0 | 0.0 | 954M| 89 | - | 118 | 15k| 0 | 0 | 0 |2283k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
783.81/783.81 c 758s| 3010k| 1826k| 0 | 0.0 | 957M| 89 | - | 118 | 16k| 0 | 0 | 0 |2290k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
787.01/787.05 c 761s| 3020k| 1834k| 0 | 0.0 | 960M| 89 | - | 118 | 16k| 0 | 0 | 0 |2297k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
791.21/791.29 c 765s| 3030k| 1840k| 0 | 0.0 | 964M| 89 | - | 118 | 17k| 0 | 0 | 0 |2306k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
795.81/795.86 c 770s| 3040k| 1847k| 0 | 0.0 | 967M| 89 | - | 118 | 17k| 0 | 0 | 0 |2315k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
799.61/799.61 c 773s| 3050k| 1854k| 0 | 0.0 | 971M| 89 | - | 118 | 17k| 0 | 0 | 0 |2322k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
803.31/803.35 c 777s| 3060k| 1861k| 0 | 0.0 | 974M| 89 | - | 118 | 17k| 0 | 0 | 0 |2330k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
807.21/807.27 c 781s| 3070k| 1868k| 0 | 0.0 | 977M| 89 | - | 118 | 17k| 0 | 0 | 0 |2337k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
810.91/810.97 c 784s| 3080k| 1876k| 0 | 0.0 | 980M| 89 | - | 118 | 17k| 0 | 0 | 0 |2344k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
814.51/814.51 c 788s| 3090k| 1883k| 0 | 0.0 | 984M| 89 | - | 118 | 18k| 0 | 0 | 0 |2350k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
818.31/818.30 c 792s| 3100k| 1890k| 0 | 0.0 | 987M| 89 | - | 118 | 17k| 0 | 0 | 0 |2358k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
821.81/821.88 c 795s| 3110k| 1898k| 0 | 0.0 | 990M| 89 | - | 118 | 18k| 0 | 0 | 0 |2365k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
825.71/825.71 c 799s| 3120k| 1905k| 0 | 0.0 | 993M| 89 | - | 118 | 18k| 0 | 0 | 0 |2372k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
829.41/829.42 c 802s| 3130k| 1912k| 0 | 0.0 | 997M| 89 | - | 118 | 18k| 0 | 0 | 0 |2379k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
835.31/835.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.31/835.37 c 808s| 3140k| 1918k| 0 | 0.0 |1001M| 89 | - | 118 | 20k| 0 | 0 | 0 |2390k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
840.01/840.00 c 813s| 3150k| 1925k| 0 | 0.0 |1004M| 89 | - | 118 | 19k| 0 | 0 | 0 |2399k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
844.61/844.62 c 817s| 3160k| 1932k| 0 | 0.0 |1007M| 89 | - | 118 | 20k| 0 | 0 | 0 |2406k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
848.81/848.87 c 822s| 3170k| 1939k| 0 | 0.0 |1010M| 89 | - | 118 | 20k| 0 | 0 | 0 |2414k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
852.91/852.99 c 826s| 3180k| 1946k| 0 | 0.0 |1014M| 89 | - | 118 | 20k| 0 | 0 | 0 |2421k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
856.92/856.94 c 829s| 3190k| 1954k| 0 | 0.0 |1017M| 89 | - | 118 | 20k| 0 | 0 | 0 |2428k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
861.32/861.38 c 834s| 3200k| 1961k| 0 | 0.0 |1020M| 89 | - | 118 | 20k| 0 | 0 | 0 |2435k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
865.81/865.81 c 838s| 3210k| 1968k| 0 | 0.0 |1023M| 89 | - | 118 | 19k| 0 | 0 | 0 |2443k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
869.72/869.73 c 842s| 3220k| 1975k| 0 | 0.0 |1027M| 89 | - | 118 | 20k| 0 | 0 | 0 |2450k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
874.21/874.21 c 846s| 3230k| 1982k| 0 | 0.0 |1030M| 89 | - | 118 | 20k| 0 | 0 | 0 |2458k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
878.41/878.44 c 851s| 3240k| 1989k| 0 | 0.0 |1033M| 89 | - | 118 | 20k| 0 | 0 | 0 |2465k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
882.81/882.87 c 855s| 3250k| 1996k| 0 | 0.0 |1036M| 89 | - | 118 | 20k| 0 | 0 | 0 |2473k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
890.11/890.11 c 862s| 3260k| 2002k| 0 | 0.0 |1040M| 89 | - | 118 | 22k| 0 | 0 | 0 |2484k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
895.72/895.72 c 868s| 3270k| 2009k| 0 | 0.0 |1044M| 89 | - | 118 | 22k| 0 | 0 | 0 |2493k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
900.92/900.91 c 873s| 3280k| 2016k| 0 | 0.0 |1047M| 89 | - | 118 | 22k| 0 | 0 | 0 |2501k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
906.01/906.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
906.01/906.00 c 878s| 3290k| 2023k| 0 | 0.0 |1050M| 89 | - | 118 | 21k| 0 | 0 | 0 |2509k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
911.01/911.09 c 883s| 3300k| 2029k| 0 | 0.0 |1053M| 89 | - | 118 | 22k| 0 | 0 | 0 |2516k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
915.81/915.86 c 887s| 3310k| 2036k| 0 | 0.0 |1057M| 89 | - | 118 | 22k| 0 | 0 | 0 |2524k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
920.62/920.61 c 892s| 3320k| 2043k| 0 | 0.0 |1060M| 89 | - | 118 | 22k| 0 | 0 | 0 |2531k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
925.81/925.84 c 897s| 3330k| 2050k| 0 | 0.0 |1063M| 89 | - | 118 | 22k| 0 | 0 | 0 |2539k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
930.51/930.55 c 902s| 3340k| 2057k| 0 | 0.0 |1067M| 89 | - | 118 | 22k| 0 | 0 | 0 |2547k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
935.51/935.59 c 907s| 3350k| 2064k| 0 | 0.0 |1070M| 89 | - | 118 | 22k| 0 | 0 | 0 |2555k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
940.42/940.46 c 912s| 3360k| 2071k| 0 | 0.0 |1073M| 89 | - | 118 | 22k| 0 | 0 | 0 |2562k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
945.71/945.75 c 917s| 3370k| 2078k| 0 | 0.0 |1076M| 89 | - | 118 | 22k| 0 | 0 | 0 |2570k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
950.71/950.76 c 922s| 3380k| 2085k| 0 | 0.0 |1080M| 89 | - | 118 | 22k| 0 | 0 | 0 |2578k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
956.41/956.41 c 927s| 3390k| 2092k| 0 | 0.0 |1083M| 89 | - | 118 | 23k| 0 | 0 | 0 |2587k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
964.22/964.21 c 935s| 3400k| 2098k| 0 | 0.0 |1087M| 89 | - | 118 | 24k| 0 | 0 | 0 |2598k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
970.22/970.28 c 941s| 3410k| 2104k| 0 | 0.0 |1090M| 89 | - | 118 | 24k| 0 | 0 | 0 |2607k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
976.72/976.72 c 947s| 3420k| 2111k| 0 | 0.0 |1093M| 89 | - | 118 | 24k| 0 | 0 | 0 |2615k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
982.32/982.34 c 953s| 3430k| 2118k| 0 | 0.0 |1097M| 89 | - | 118 | 24k| 0 | 0 | 0 |2623k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
987.72/987.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.72/987.76 c 958s| 3440k| 2125k| 0 | 0.0 |1100M| 89 | - | 118 | 24k| 0 | 0 | 0 |2631k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
993.62/993.63 c 964s| 3450k| 2131k| 0 | 0.0 |1103M| 89 | - | 118 | 24k| 0 | 0 | 0 |2639k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
999.32/999.36 c 970s| 3460k| 2138k| 0 | 0.0 |1107M| 89 | - | 118 | 24k| 0 | 0 | 0 |2647k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1004.52/1004.52 c 975s| 3470k| 2145k| 0 | 0.0 |1110M| 89 | - | 118 | 24k| 0 | 0 | 0 |2655k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1010.22/1010.26 c 980s| 3480k| 2152k| 0 | 0.0 |1113M| 89 | - | 118 | 24k| 0 | 0 | 0 |2663k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1015.62/1015.66 c 986s| 3490k| 2159k| 0 | 0.0 |1116M| 89 | - | 118 | 24k| 0 | 0 | 0 |2670k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1021.31/1021.32 c 991s| 3500k| 2166k| 0 | 0.0 |1120M| 89 | - | 118 | 24k| 0 | 0 | 0 |2678k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1026.82/1026.85 c 997s| 3510k| 2173k| 0 | 0.0 |1123M| 89 | - | 118 | 25k| 0 | 0 | 0 |2685k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1032.22/1032.22 c 1002s| 3520k| 2180k| 0 | 0.0 |1126M| 89 | - | 118 | 25k| 0 | 0 | 0 |2693k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1038.32/1038.30 c 1008s| 3530k| 2187k| 0 | 0.0 |1129M| 89 | - | 118 | 24k| 0 | 0 | 0 |2701k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1043.92/1043.93 c 1014s| 3540k| 2193k| 0 | 0.0 |1132M| 89 | - | 118 | 25k| 0 | 0 | 0 |2709k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1049.72/1049.75 c 1019s| 3550k| 2200k| 0 | 0.0 |1136M| 89 | - | 118 | 24k| 0 | 0 | 0 |2717k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1058.51/1058.58 c 1028s| 3560k| 2206k| 0 | 0.0 |1140M| 89 | - | 118 | 27k| 0 | 0 | 0 |2728k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1066.32/1066.37 c 1036s| 3570k| 2212k| 0 | 0.0 |1143M| 89 | - | 118 | 27k| 0 | 0 | 0 |2738k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1073.32/1073.33 c 1043s| 3580k| 2218k| 0 | 0.0 |1146M| 89 | - | 118 | 26k| 0 | 0 | 0 |2747k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1080.31/1080.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.31/1080.39 c 1050s| 3590k| 2225k| 0 | 0.0 |1150M| 89 | - | 118 | 26k| 0 | 0 | 0 |2756k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1086.83/1086.82 c 1056s| 3600k| 2231k| 0 | 0.0 |1153M| 89 | - | 118 | 26k| 0 | 0 | 0 |2764k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1093.61/1093.64 c 1063s| 3610k| 2238k| 0 | 0.0 |1156M| 89 | - | 118 | 26k| 0 | 0 | 0 |2773k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1100.12/1100.12 c 1069s| 3620k| 2245k| 0 | 0.0 |1160M| 89 | - | 118 | 26k| 0 | 0 | 0 |2781k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1105.82/1105.87 c 1075s| 3630k| 2252k| 0 | 0.0 |1163M| 89 | - | 118 | 26k| 0 | 0 | 0 |2789k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1112.42/1112.43 c 1081s| 3640k| 2258k| 0 | 0.0 |1166M| 89 | - | 118 | 27k| 0 | 0 | 0 |2797k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1118.32/1118.39 c 1087s| 3650k| 2265k| 0 | 0.0 |1169M| 89 | - | 118 | 27k| 0 | 0 | 0 |2805k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1124.91/1124.90 c 1094s| 3660k| 2272k| 0 | 0.0 |1173M| 89 | - | 118 | 27k| 0 | 0 | 0 |2813k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1131.02/1131.09 c 1100s| 3670k| 2279k| 0 | 0.0 |1176M| 89 | - | 118 | 27k| 0 | 0 | 0 |2820k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1137.52/1137.55 c 1106s| 3680k| 2285k| 0 | 0.0 |1179M| 89 | - | 118 | 27k| 0 | 0 | 0 |2828k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1144.12/1144.11 c 1112s| 3690k| 2292k| 0 | 0.0 |1183M| 89 | - | 118 | 27k| 0 | 0 | 0 |2837k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1150.12/1150.10 c 1118s| 3700k| 2299k| 0 | 0.0 |1186M| 89 | - | 118 | 27k| 0 | 0 | 0 |2844k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1156.72/1156.78 c 1125s| 3710k| 2306k| 0 | 0.0 |1189M| 89 | - | 118 | 27k| 0 | 0 | 0 |2852k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1163.12/1163.13 c 1131s| 3720k| 2312k| 0 | 0.0 |1192M| 89 | - | 118 | 26k| 0 | 0 | 0 |2860k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1169.22/1169.23 c 1137s| 3730k| 2319k| 0 | 0.0 |1195M| 89 | - | 118 | 26k| 0 | 0 | 0 |2868k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1176.22/1176.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1176.22/1176.24 c 1144s| 3740k| 2326k| 0 | 0.0 |1199M| 89 | - | 118 | 27k| 0 | 0 | 0 |2876k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1182.72/1182.76 c 1151s| 3750k| 2333k| 0 | 0.0 |1202M| 89 | - | 118 | 26k| 0 | 0 | 0 |2884k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1189.32/1189.37 c 1157s| 3760k| 2339k| 0 | 0.0 |1205M| 89 | - | 118 | 26k| 0 | 0 | 0 |2893k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1198.92/1198.93 c 1167s| 3770k| 2345k| 0 | 0.0 |1209M| 89 | - | 118 | 29k| 0 | 0 | 0 |2905k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1207.73/1207.78 c 1175s| 3780k| 2351k| 0 | 0.0 |1213M| 89 | - | 118 | 28k| 0 | 0 | 0 |2915k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1216.42/1216.45 c 1184s| 3790k| 2357k| 0 | 0.0 |1216M| 89 | - | 118 | 29k| 0 | 0 | 0 |2925k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1224.23/1224.29 c 1192s| 3800k| 2363k| 0 | 0.0 |1219M| 89 | - | 118 | 29k| 0 | 0 | 0 |2934k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1232.03/1232.06 c 1199s| 3810k| 2369k| 0 | 0.0 |1223M| 89 | - | 118 | 28k| 0 | 0 | 0 |2943k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1238.72/1238.77 c 1206s| 3820k| 2376k| 0 | 0.0 |1226M| 89 | - | 118 | 28k| 0 | 0 | 0 |2951k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1246.52/1246.56 c 1214s| 3830k| 2382k| 0 | 0.0 |1229M| 89 | - | 118 | 28k| 0 | 0 | 0 |2960k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1253.72/1253.75 c 1221s| 3840k| 2389k| 0 | 0.0 |1233M| 89 | - | 118 | 28k| 0 | 0 | 0 |2969k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1260.43/1260.49 c 1228s| 3850k| 2395k| 0 | 0.0 |1236M| 89 | - | 118 | 28k| 0 | 0 | 0 |2977k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1267.72/1267.74 c 1235s| 3860k| 2402k| 0 | 0.0 |1239M| 89 | - | 118 | 28k| 0 | 0 | 0 |2985k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1274.72/1274.74 c 1242s| 3870k| 2409k| 0 | 0.0 |1242M| 89 | - | 118 | 29k| 0 | 0 | 0 |2993k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1281.92/1281.93 c 1249s| 3880k| 2415k| 0 | 0.0 |1246M| 89 | - | 118 | 28k| 0 | 0 | 0 |3001k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1288.82/1288.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.82/1288.82 c 1255s| 3890k| 2422k| 0 | 0.0 |1249M| 89 | - | 118 | 28k| 0 | 0 | 0 |3009k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1295.63/1295.60 c 1262s| 3900k| 2428k| 0 | 0.0 |1252M| 89 | - | 118 | 29k| 0 | 0 | 0 |3017k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1302.82/1302.84 c 1269s| 3910k| 2435k| 0 | 0.0 |1255M| 89 | - | 118 | 28k| 0 | 0 | 0 |3025k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1309.72/1309.78 c 1276s| 3920k| 2442k| 0 | 0.0 |1259M| 89 | - | 118 | 28k| 0 | 0 | 0 |3034k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1317.32/1317.32 c 1284s| 3930k| 2448k| 0 | 0.0 |1262M| 89 | - | 118 | 28k| 0 | 0 | 0 |3042k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1324.43/1324.46 c 1291s| 3940k| 2455k| 0 | 0.0 |1265M| 89 | - | 118 | 28k| 0 | 0 | 0 |3050k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1331.63/1331.68 c 1298s| 3950k| 2461k| 0 | 0.0 |1269M| 89 | - | 118 | 28k| 0 | 0 | 0 |3058k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1339.32/1339.30 c 1305s| 3960k| 2468k| 0 | 0.0 |1272M| 89 | - | 118 | 28k| 0 | 0 | 0 |3067k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1347.12/1347.14 c 1313s| 3970k| 2474k| 0 | 0.0 |1275M| 89 | - | 118 | 29k| 0 | 0 | 0 |3077k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1355.23/1355.26 c 1321s| 3980k| 2480k| 0 | 0.0 |1278M| 89 | - | 118 | 28k| 0 | 0 | 0 |3086k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1362.94/1362.92 c 1329s| 3990k| 2486k| 0 | 0.0 |1282M| 89 | - | 118 | 28k| 0 | 0 | 0 |3095k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1370.82/1370.86 c 1337s| 4000k| 2493k| 0 | 0.0 |1285M| 89 | - | 118 | 29k| 0 | 0 | 0 |3104k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1381.03/1381.10 c 1347s| 4010k| 2498k| 0 | 0.0 |1289M| 89 | - | 118 | 30k| 0 | 0 | 0 |3115k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1390.12/1390.13 c 1356s| 4020k| 2504k| 0 | 0.0 |1292M| 89 | - | 118 | 30k| 0 | 0 | 0 |3125k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1398.82/1398.87 c 1364s| 4030k| 2510k| 0 | 0.0 |1296M| 89 | - | 118 | 30k| 0 | 0 | 0 |3134k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1407.43/1407.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.43/1407.43 c 1373s| 4040k| 2516k| 0 | 0.0 |1299M| 89 | - | 118 | 30k| 0 | 0 | 0 |3144k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1416.03/1416.08 c 1381s| 4050k| 2522k| 0 | 0.0 |1302M| 89 | - | 118 | 30k| 0 | 0 | 0 |3153k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1423.83/1423.87 c 1389s| 4060k| 2529k| 0 | 0.0 |1306M| 89 | - | 118 | 30k| 0 | 0 | 0 |3162k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1431.73/1431.79 c 1397s| 4070k| 2535k| 0 | 0.0 |1309M| 89 | - | 118 | 30k| 0 | 0 | 0 |3171k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1439.83/1439.84 c 1405s| 4080k| 2541k| 0 | 0.0 |1312M| 89 | - | 118 | 30k| 0 | 0 | 0 |3180k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1447.53/1447.60 c 1413s| 4090k| 2548k| 0 | 0.0 |1316M| 89 | - | 118 | 30k| 0 | 0 | 0 |3189k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1455.73/1455.72 c 1421s| 4100k| 2554k| 0 | 0.0 |1319M| 89 | - | 118 | 30k| 0 | 0 | 0 |3198k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1463.22/1463.26 c 1428s| 4110k| 2561k| 0 | 0.0 |1322M| 89 | - | 118 | 30k| 0 | 0 | 0 |3206k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1471.23/1471.29 c 1436s| 4120k| 2567k| 0 | 0.0 |1326M| 89 | - | 118 | 30k| 0 | 0 | 0 |3215k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1479.12/1479.17 c 1444s| 4130k| 2573k| 0 | 0.0 |1329M| 89 | - | 118 | 30k| 0 | 0 | 0 |3223k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1486.83/1486.82 c 1451s| 4140k| 2580k| 0 | 0.0 |1332M| 89 | - | 118 | 30k| 0 | 0 | 0 |3231k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1494.63/1494.68 c 1459s| 4150k| 2586k| 0 | 0.0 |1335M| 89 | - | 118 | 30k| 0 | 0 | 0 |3240k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1502.93/1502.96 c 1467s| 4160k| 2592k| 0 | 0.0 |1339M| 89 | - | 118 | 30k| 0 | 0 | 0 |3249k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1510.83/1510.85 c 1475s| 4170k| 2599k| 0 | 0.0 |1342M| 89 | - | 118 | 30k| 0 | 0 | 0 |3257k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1519.93/1519.90 c 1484s| 4180k| 2605k| 0 | 0.0 |1345M| 89 | - | 118 | 30k| 0 | 0 | 0 |3267k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1528.94/1528.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.94/1528.97 c 1493s| 4190k| 2611k| 0 | 0.0 |1349M| 89 | - | 118 | 31k| 0 | 0 | 0 |3276k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1537.63/1537.63 c 1502s| 4200k| 2617k| 0 | 0.0 |1352M| 89 | - | 118 | 30k| 0 | 0 | 0 |3285k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1545.73/1545.79 c 1510s| 4210k| 2623k| 0 | 0.0 |1355M| 89 | - | 118 | 30k| 0 | 0 | 0 |3294k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1555.13/1555.17 c 1519s| 4220k| 2629k| 0 | 0.0 |1359M| 89 | - | 118 | 30k| 0 | 0 | 0 |3304k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1563.73/1563.71 c 1528s| 4230k| 2636k| 0 | 0.0 |1362M| 89 | - | 118 | 31k| 0 | 0 | 0 |3313k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1572.43/1572.41 c 1536s| 4240k| 2642k| 0 | 0.0 |1365M| 89 | - | 118 | 30k| 0 | 0 | 0 |3321k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1580.83/1580.80 c 1544s| 4250k| 2648k| 0 | 0.0 |1368M| 89 | - | 118 | 30k| 0 | 0 | 0 |3330k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1590.43/1590.40 c 1554s| 4260k| 2654k| 0 | 0.0 |1372M| 89 | - | 118 | 30k| 0 | 0 | 0 |3341k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1600.74/1600.78 c 1564s| 4270k| 2660k| 0 | 0.0 |1375M| 89 | - | 118 | 31k| 0 | 0 | 0 |3351k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1610.63/1610.62 c 1574s| 4280k| 2665k| 0 | 0.0 |1379M| 89 | - | 118 | 31k| 0 | 0 | 0 |3361k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1619.64/1619.65 c 1583s| 4290k| 2671k| 0 | 0.0 |1382M| 89 | - | 118 | 31k| 0 | 0 | 0 |3371k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1629.23/1629.26 c 1592s| 4300k| 2677k| 0 | 0.0 |1385M| 89 | - | 118 | 31k| 0 | 0 | 0 |3380k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1638.64/1638.61 c 1602s| 4310k| 2683k| 0 | 0.0 |1389M| 89 | - | 118 | 32k| 0 | 0 | 0 |3390k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1647.34/1647.32 c 1610s| 4320k| 2689k| 0 | 0.0 |1392M| 89 | - | 118 | 32k| 0 | 0 | 0 |3399k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1656.13/1656.19 c 1619s| 4330k| 2696k| 0 | 0.0 |1396M| 89 | - | 118 | 32k| 0 | 0 | 0 |3408k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1664.83/1664.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.83/1664.87 c 1628s| 4340k| 2702k| 0 | 0.0 |1399M| 89 | - | 118 | 31k| 0 | 0 | 0 |3418k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1673.94/1673.93 c 1637s| 4350k| 2708k| 0 | 0.0 |1402M| 89 | - | 118 | 32k| 0 | 0 | 0 |3426k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1682.64/1682.65 c 1645s| 4360k| 2714k| 0 | 0.0 |1406M| 89 | - | 118 | 32k| 0 | 0 | 0 |3435k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1691.64/1691.66 c 1654s| 4370k| 2720k| 0 | 0.0 |1409M| 89 | - | 118 | 31k| 0 | 0 | 0 |3444k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1700.23/1700.23 c 1663s| 4380k| 2727k| 0 | 0.0 |1412M| 89 | - | 118 | 31k| 0 | 0 | 0 |3453k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1709.83/1709.83 c 1672s| 4390k| 2732k| 0 | 0.0 |1415M| 89 | - | 118 | 32k| 0 | 0 | 0 |3462k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1718.94/1718.96 c 1681s| 4400k| 2738k| 0 | 0.0 |1419M| 89 | - | 118 | 32k| 0 | 0 | 0 |3471k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1727.83/1727.80 c 1690s| 4410k| 2745k| 0 | 0.0 |1422M| 89 | - | 118 | 32k| 0 | 0 | 0 |3480k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1737.94/1737.98 c 1700s| 4420k| 2750k| 0 | 0.0 |1425M| 89 | - | 118 | 32k| 0 | 0 | 0 |3490k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1747.23/1747.28 c 1709s| 4430k| 2756k| 0 | 0.0 |1429M| 89 | - | 118 | 32k| 0 | 0 | 0 |3499k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1756.74/1756.76 c 1719s| 4440k| 2762k| 0 | 0.0 |1432M| 89 | - | 118 | 32k| 0 | 0 | 0 |3509k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1767.04/1767.00 c 1729s| 4450k| 2768k| 0 | 0.0 |1436M| 89 | - | 118 | 33k| 0 | 0 | 0 |3519k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1776.94/1776.98 c 1739s| 4460k| 2774k| 0 | 0.0 |1439M| 89 | - | 118 | 32k| 0 | 0 | 0 |3529k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1786.64/1786.64 c 1748s| 4470k| 2780k| 0 | 0.0 |1442M| 89 | - | 118 | 32k| 0 | 0 | 0 |3538k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1795.64/1795.62 c 1757s| 4480k| 2786k| 0 | 0.0 |1445M| 89 | - | 118 | 32k| 0 | 0 | 0 |3547k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1761.55
1800.04/1800.01 c Solving Nodes : 4484641
1800.04/1800.01 c Primal Bound : +1.00000000000000e+00 (1 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87
1800.04/1800.01 v -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61
1800.04/1800.01 v -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36
1800.04/1800.01 v -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11
1800.04/1800.01 v -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1761.55
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2693802-1277893402.wbo
1800.04/1800.01 c Variables : 118 (114 binary, 0 integer, 0 implicit integer, 4 continuous)
1800.04/1800.01 c Constraints : 26 initial, 26 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2693802-1277893402.wbo
1800.04/1800.01 c Variables : 118 (114 binary, 0 integer, 0 implicit integer, 4 continuous)
1800.04/1800.01 c Constraints : 25 initial, 33316 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.00 0 0 0 4 0 1 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 4 0 500 0 142 0 132 0 0 0
1800.04/1800.01 c setppc : 8 0 9970946 0 3899422 558293 14241213 0 0 0
1800.04/1800.01 c linear : 4 0 8446989 0 3633796 88113 2257751 0 0 0
1800.04/1800.01 c logicor : 9+ 0 6505904 0 3901180 400632 5800061 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 3901178 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c setppc : 51.34 0.00 47.39 0.00 3.95
1800.04/1800.01 c linear : 19.22 0.00 17.83 0.00 1.39
1800.04/1800.01 c logicor : 808.84 0.00 804.64 0.00 4.20
1800.04/1800.01 c countsols : 0.74 0.00 0.00 0.00 0.74
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 2.65 2 0 0
1800.04/1800.01 c rootredcost : 2.43 0 0 0
1800.04/1800.01 c pseudoobj : 4.06 9988869 0 128
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 40.45 1047037 1047026 6122675 30.5 505270 9.0 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 3364929 20.0 - - -
1800.04/1800.01 c applied locally : - - - 187127 36.4 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.01 c redcost : 0.00 0 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.01 c cmir : 0.00 0 0 0 0 0
1800.04/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.01 c clique : 0.00 0 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 17.28 3901176 0 0 0 0 7802352
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 1
1800.04/1800.01 c oneopt : 1.36 0 0
1800.04/1800.01 c trivial : 0.00 2 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.00 0 0
1800.04/1800.01 c rounding : 0.00 0 0
1800.04/1800.01 c shifting : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 1.13 0 0
1800.04/1800.01 c trysol : 1.09 1 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.01 c (at root node) : - 0 0 0.00 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 4484641
1800.04/1800.01 c nodes (total) : 4484641
1800.04/1800.01 c nodes left : 2789490
1800.04/1800.01 c max depth : 89
1800.04/1800.01 c max depth (total): 89
1800.04/1800.01 c backtracks : 520481 (11.6%)
1800.04/1800.01 c delayed cutoffs : 528220
1800.04/1800.01 c repropagations : 1173490 (7864908 domain reductions, 463575 cutoffs)
1800.04/1800.01 c avg switch length: 8.87
1800.04/1800.01 c switching time : 600.13
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 1 (1 improvements)
1800.04/1800.01 c First Solution : +1.00000000000000e+00 (in run 1, after 146 nodes, 0.01 seconds, depth 58, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +1.00000000000000e+00 (in run 1, after 146 nodes, 0.01 seconds, depth 58, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0