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-2663687-1276650047.opb>
0.00/0.01 c original problem has 864 variables (864 bin, 0 int, 0 impl, 0 cont) and 665 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.02 c presolving:
0.19/0.20 c (round 1) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 63 chg coeffs, 0 upgd conss, 3712 impls, 0 clqs
0.19/0.20 c (round 2) 26 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 79 chg coeffs, 9 upgd conss, 5728 impls, 0 clqs
0.19/0.21 c (round 3) 44 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 95 chg coeffs, 9 upgd conss, 7456 impls, 0 clqs
0.19/0.22 c (round 4) 62 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 111 chg coeffs, 9 upgd conss, 8896 impls, 0 clqs
0.19/0.22 c (round 5) 80 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 127 chg coeffs, 9 upgd conss, 10048 impls, 0 clqs
0.19/0.23 c (round 6) 98 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 143 chg coeffs, 9 upgd conss, 10912 impls, 0 clqs
0.19/0.23 c (round 7) 116 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 159 chg coeffs, 9 upgd conss, 11488 impls, 0 clqs
0.19/0.24 c (round 8) 134 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 175 chg coeffs, 9 upgd conss, 11776 impls, 0 clqs
0.19/0.24 c (round 9) 152 del vars, 128 del conss, 0 chg bounds, 0 chg sides, 191 chg coeffs, 9 upgd conss, 11776 impls, 0 clqs
0.29/0.31 c (0.2s) probing: 222/712 (31.2%) - 0 fixings, 0 aggregations, 16 implications, 0 bound changes
0.29/0.31 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.31 c presolving (10 rounds):
0.29/0.31 c 152 deleted vars, 128 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 191 changed coefficients
0.29/0.31 c 11808 implications, 0 cliques
0.29/0.31 c presolved problem has 712 variables (712 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.29/0.31 c 512 constraints of type <and>
0.29/0.31 c 8 constraints of type <linear>
0.29/0.31 c 9 constraints of type <logicor>
0.29/0.31 c transformed objective value is always integral (scale: 2)
0.29/0.31 c Presolving Time: 0.15
0.29/0.31 c - non default parameters ----------------------------------------------------------------------
0.29/0.31 c # SCIP version 1.2.1.2
0.29/0.31 c
0.29/0.31 c # frequency for displaying node information lines
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.31 c display/freq = 10000
0.29/0.31 c
0.29/0.31 c # maximal time in seconds to run
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/time = 1800
0.29/0.31 c
0.29/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/memory = 1620
0.29/0.31 c
0.29/0.31 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31 c lp/solvefreq = -1
0.29/0.31 c
0.29/0.31 c # should presolving try to simplify inequalities
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c constraints/linear/simplifyinequalities = TRUE
0.29/0.31 c
0.29/0.31 c # should presolving try to simplify knapsacks
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c heuristics/undercover/freq = 0
0.29/0.31 c
0.29/0.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c separating/rapidlearning/freq = 0
0.29/0.31 c
0.29/0.31 c -----------------------------------------------------------------------------------------------
0.29/0.31 c start solving
0.29/0.31 c
0.29/0.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.31 c 0.2s| 1 | 2 | 0 | - |2268k| 0 | - | 712 | 529 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.20/3.25 c 2.9s| 10000 | 8312 | 0 | 0.0 |8286k| 469 | - | 712 | 715 | 0 | 0 | 0 |1181 | 0 | 1.000000e+00 | -- | Inf
6.50/6.57 c 6.0s| 20000 | 16077 | 0 | 0.0 | 13M| 469 | - | 712 | 755 | 0 | 0 | 0 |2750 | 0 | 1.000000e+00 | -- | Inf
9.59/9.68 c 8.8s| 30000 | 23938 | 0 | 0.0 | 19M| 469 | - | 712 | 857 | 0 | 0 | 0 |4262 | 0 | 1.000000e+00 | -- | Inf
12.89/12.94 c 11.8s| 40000 | 31421 | 0 | 0.0 | 24M| 469 | - | 712 | 710 | 0 | 0 | 0 |6053 | 0 | 1.000000e+00 | -- | Inf
16.08/16.15 c 14.8s| 50000 | 38649 | 0 | 0.0 | 28M| 469 | - | 712 | 802 | 0 | 0 | 0 |7885 | 0 | 1.000000e+00 | -- | Inf
19.68/19.71 c 18.1s| 60000 | 45352 | 0 | 0.0 | 33M| 469 | - | 712 | 779 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
23.17/23.21 c 21.4s| 70000 | 52110 | 0 | 0.0 | 37M| 469 | - | 712 | 811 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
26.67/26.73 c 24.6s| 80000 | 58906 | 0 | 0.0 | 42M| 469 | - | 712 | 865 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | -- | Inf
30.17/30.23 c 27.9s| 90000 | 65426 | 0 | 0.0 | 47M| 469 | - | 712 |1027 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | -- | Inf
33.66/33.71 c 31.1s|100000 | 71824 | 0 | 0.0 | 51M| 469 | - | 712 | 928 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | -- | Inf
37.27/37.35 c 34.5s|110000 | 79161 | 0 | 0.0 | 56M| 469 | - | 712 | 842 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
40.76/40.84 c 37.8s|120000 | 86832 | 0 | 0.0 | 61M| 469 | - | 712 | 889 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
44.16/44.22 c 40.9s|130000 | 94482 | 0 | 0.0 | 67M| 469 | - | 712 | 837 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | -- | Inf
47.66/47.79 c 44.2s|140000 |101957 | 0 | 0.0 | 72M| 469 | - | 712 | 886 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
51.36/51.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.36/51.44 c 47.6s|150000 |109263 | 0 | 0.0 | 77M| 469 | - | 712 | 895 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
54.96/55.02 c 51.0s|160000 |116602 | 0 | 0.0 | 82M| 469 | - | 712 | 926 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | -- | Inf
58.36/58.49 c 54.2s|170000 |124208 | 0 | 0.0 | 87M| 469 | - | 712 | 872 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
61.86/61.98 c 57.4s|180000 |131737 | 0 | 0.0 | 92M| 469 | - | 712 | 896 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | -- | Inf
65.36/65.41 c 60.6s|190000 |139439 | 0 | 0.0 | 98M| 469 | - | 712 | 827 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | -- | Inf
68.65/68.72 c 63.6s|200000 |147278 | 0 | 0.0 | 103M| 469 | - | 712 | 844 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | -- | Inf
72.05/72.10 c 66.8s|210000 |155014 | 0 | 0.0 | 109M| 469 | - | 712 | 926 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | -- | Inf
75.45/75.51 c 70.0s|220000 |162645 | 0 | 0.0 | 114M| 469 | - | 712 | 938 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | -- | Inf
78.85/78.95 c 73.2s|230000 |170234 | 0 | 0.0 | 119M| 469 | - | 712 | 971 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | -- | Inf
82.35/82.46 c 76.5s|240000 |177663 | 0 | 0.0 | 125M| 469 | - | 712 |1036 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | -- | Inf
85.85/85.97 c 79.7s|250000 |185016 | 0 | 0.0 | 130M| 469 | - | 712 |1046 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
89.55/89.68 c 83.2s|260000 |191987 | 0 | 0.0 | 135M| 469 | - | 712 |1033 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
93.25/93.31 c 86.5s|270000 |199015 | 0 | 0.0 | 140M| 469 | - | 712 |1153 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | -- | Inf
97.24/97.32 c 90.3s|280000 |205354 | 0 | 0.0 | 144M| 469 | - | 712 | 920 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
100.94/101.05 c 93.8s|290000 |212329 | 0 | 0.0 | 149M| 469 | - | 712 | 879 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | -- | Inf
104.54/104.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.54/104.64 c 97.1s|300000 |219424 | 0 | 0.0 | 153M| 469 | - | 712 | 858 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | -- | Inf
108.14/108.30 c 100s|310000 |226221 | 0 | 0.0 | 158M| 469 | - | 712 |1030 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | -- | Inf
111.84/111.95 c 104s|320000 |232951 | 0 | 0.0 | 162M| 469 | - | 712 | 903 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | -- | Inf
115.64/115.73 c 107s|330000 |239408 | 0 | 0.0 | 166M| 469 | - | 712 |1049 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | -- | Inf
119.34/119.49 c 111s|340000 |245890 | 0 | 0.0 | 170M| 469 | - | 712 | 917 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
123.33/123.46 c 115s|350000 |252220 | 0 | 0.0 | 174M| 469 | - | 712 |1108 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | -- | Inf
127.54/127.67 c 119s|360000 |258275 | 0 | 0.0 | 178M| 469 | - | 712 |1252 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | -- | Inf
131.84/132.00 c 123s|370000 |264060 | 0 | 0.0 | 183M| 469 | - | 712 |1494 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | -- | Inf
136.24/136.34 c 127s|380000 |270077 | 0 | 0.0 | 187M| 469 | - | 712 |1756 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | -- | Inf
140.53/140.62 c 131s|390000 |276354 | 0 | 0.0 | 191M| 469 | - | 712 |1678 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | -- | Inf
144.83/144.99 c 135s|400000 |282384 | 0 | 0.0 | 195M| 469 | - | 712 |1502 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | -- | Inf
149.02/149.12 c 139s|410000 |288518 | 0 | 0.0 | 200M| 469 | - | 712 |1260 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | -- | Inf
153.03/153.13 c 143s|420000 |294571 | 0 | 0.0 | 204M| 469 | - | 712 |1345 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | -- | Inf
157.13/157.21 c 146s|430000 |301129 | 0 | 0.0 | 209M| 469 | - | 712 |1401 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | -- | Inf
161.22/161.32 c 150s|440000 |307419 | 0 | 0.0 | 213M| 469 | - | 712 |1475 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | -- | Inf
165.22/165.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.22/165.39 c 154s|450000 |313663 | 0 | 0.0 | 218M| 469 | - | 712 |1504 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | -- | Inf
169.33/169.48 c 158s|460000 |319868 | 0 | 0.0 | 222M| 469 | - | 712 |1472 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | -- | Inf
173.52/173.66 c 162s|470000 |326068 | 0 | 0.0 | 227M| 469 | - | 712 |1530 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | -- | Inf
177.61/177.78 c 166s|480000 |332325 | 0 | 0.0 | 232M| 469 | - | 712 |1615 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | -- | Inf
181.91/182.05 c 170s|490000 |338323 | 0 | 0.0 | 236M| 469 | - | 712 |1536 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | -- | Inf
186.21/186.38 c 174s|500000 |344096 | 0 | 0.0 | 240M| 469 | - | 712 |1416 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | -- | Inf
190.51/190.62 c 178s|510000 |349818 | 0 | 0.0 | 244M| 469 | - | 712 |1910 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | -- | Inf
194.91/195.06 c 182s|520000 |355085 | 0 | 0.0 | 248M| 469 | - | 712 |2397 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | -- | Inf
199.41/199.51 c 186s|530000 |360508 | 0 | 0.0 | 252M| 469 | - | 712 |2120 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | -- | Inf
204.11/204.20 c 191s|540000 |366341 | 0 | 0.0 | 256M| 469 | - | 712 |1392 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
208.31/208.44 c 195s|550000 |373608 | 0 | 0.0 | 261M| 469 | - | 712 |1643 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | -- | Inf
213.01/213.18 c 199s|560000 |380280 | 0 | 0.0 | 266M| 469 | - | 712 |1958 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | -- | Inf
217.80/217.95 c 204s|570000 |386963 | 0 | 0.0 | 272M| 469 | - | 712 |2200 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | -- | Inf
223.21/223.33 c 209s|580000 |392221 | 0 | 0.0 | 276M| 469 | - | 712 |2202 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | -- | Inf
228.30/228.41 c 214s|590000 |398591 | 0 | 0.0 | 281M| 469 | - | 712 |2212 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
232.19/232.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.19/232.37 c 217s|600000 |406106 | 0 | 0.0 | 286M| 469 | - | 712 |1209 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | -- | Inf
235.90/236.09 c 221s|610000 |413686 | 0 | 0.0 | 291M| 469 | - | 712 |1241 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | -- | Inf
239.70/239.84 o 11
239.70/239.84 c * 224s|618643 |240560 | 0 | 0.0 | 197M| 469 | - | 712 |1114 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
240.29/240.47 c 225s|620000 |241325 | 0 | 0.0 | 197M| 469 | - | 712 |1314 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
245.20/245.31 c 230s|630000 |247394 | 0 | 0.0 | 204M| 469 | - | 712 |1480 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
249.89/250.00 c 234s|640000 |253343 | 0 | 0.0 | 209M| 469 | - | 712 |1715 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
254.39/254.59 c 238s|650000 |259351 | 0 | 0.0 | 215M| 469 | - | 712 | 671 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
258.69/258.89 c 242s|660000 |265082 | 0 | 0.0 | 220M| 469 | - | 712 |1074 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
262.89/263.02 c 246s|670000 |271189 | 0 | 0.0 | 225M| 469 | - | 712 | 933 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
267.09/267.24 c 250s|680000 |277084 | 0 | 0.0 | 230M| 469 | - | 712 |1070 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
271.39/271.56 c 254s|690000 |282789 | 0 | 0.0 | 235M| 469 | - | 712 |1018 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
275.88/276.04 c 258s|700000 |288100 | 0 | 0.0 | 240M| 469 | - | 712 | 989 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
280.39/280.58 c 263s|710000 |293286 | 0 | 0.0 | 245M| 469 | - | 712 |1134 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
284.98/285.19 c 267s|720000 |298711 | 0 | 0.0 | 250M| 469 | - | 712 | 970 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
289.58/289.70 c 271s|730000 |303734 | 0 | 0.0 | 254M| 469 | - | 712 |1112 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
293.78/293.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.78/293.98 c 275s|740000 |309846 | 0 | 0.0 | 260M| 469 | - | 712 | 958 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
298.27/298.45 c 279s|750000 |315501 | 0 | 0.0 | 265M| 469 | - | 712 | 867 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
302.57/302.70 c 283s|760000 |321293 | 0 | 0.0 | 270M| 469 | - | 712 | 848 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
306.28/306.43 c 287s|770000 |328049 | 0 | 0.0 | 274M| 469 | - | 712 | 783 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
309.87/310.02 c 290s|780000 |335074 | 0 | 0.0 | 279M| 469 | - | 712 | 921 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
314.07/314.25 c 294s|790000 |341006 | 0 | 0.0 | 284M| 469 | - | 712 |1017 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
318.27/318.45 c 298s|800000 |346951 | 0 | 0.0 | 289M| 469 | - | 712 |1011 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
322.67/322.84 c 302s|810000 |352037 | 0 | 0.0 | 294M| 469 | - | 712 |1044 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
326.97/327.11 c 306s|820000 |357418 | 0 | 0.0 | 298M| 469 | - | 712 | 884 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
331.17/331.31 c 310s|830000 |362947 | 0 | 0.0 | 303M| 469 | - | 712 | 931 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
335.46/335.60 c 314s|840000 |368294 | 0 | 0.0 | 308M| 469 | - | 712 | 916 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
339.77/339.97 c 318s|850000 |373260 | 0 | 0.0 | 312M| 469 | - | 712 | 906 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
343.96/344.17 c 322s|860000 |378617 | 0 | 0.0 | 317M| 469 | - | 712 | 895 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
348.37/348.54 c 326s|870000 |383604 | 0 | 0.0 | 321M| 469 | - | 712 | 947 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
352.76/352.91 c 330s|880000 |388545 | 0 | 0.0 | 326M| 469 | - | 712 |1014 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
356.96/357.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
356.96/357.17 c 334s|890000 |393543 | 0 | 0.0 | 330M| 469 | - | 712 | 880 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
361.06/361.22 c 338s|900000 |398975 | 0 | 0.0 | 334M| 469 | - | 712 | 877 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
365.66/365.85 c 343s|910000 |403003 | 0 | 0.0 | 338M| 469 | - | 712 | 895 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
370.35/370.55 c 347s|920000 |406972 | 0 | 0.0 | 342M| 469 | - | 712 | 893 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
375.15/375.37 c 351s|930000 |410393 | 0 | 0.0 | 345M| 469 | - | 712 |1020 | 0 | 0 | 0 | 216k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
380.05/380.28 c 356s|940000 |413476 | 0 | 0.0 | 348M| 469 | - | 712 |1083 | 0 | 0 | 0 | 219k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
385.05/385.22 c 361s|950000 |416588 | 0 | 0.0 | 351M| 469 | - | 712 |1105 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
390.05/390.27 c 365s|960000 |419235 | 0 | 0.0 | 354M| 469 | - | 712 |1125 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
395.15/395.39 c 370s|970000 |421643 | 0 | 0.0 | 356M| 469 | - | 712 |1095 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
400.04/400.25 c 375s|980000 |425234 | 0 | 0.0 | 359M| 469 | - | 712 | 964 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
404.95/405.16 c 380s|990000 |428541 | 0 | 0.0 | 362M| 469 | - | 712 | 906 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
409.64/409.83 c 384s| 1000k|433036 | 0 | 0.0 | 366M| 469 | - | 712 | 966 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
414.24/414.40 c 388s| 1010k|437952 | 0 | 0.0 | 371M| 469 | - | 712 | 974 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
418.94/419.15 c 393s| 1020k|442023 | 0 | 0.0 | 375M| 469 | - | 712 |1087 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
423.73/423.98 c 397s| 1030k|445302 | 0 | 0.0 | 379M| 469 | - | 712 |1061 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
428.53/428.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.53/428.71 c 402s| 1040k|448463 | 0 | 0.0 | 383M| 469 | - | 712 |1042 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
433.24/433.44 c 406s| 1050k|451148 | 0 | 0.0 | 388M| 469 | - | 712 |1043 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
438.03/438.20 c 411s| 1060k|452799 | 0 | 0.0 | 391M| 469 | - | 712 |1179 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
442.63/442.84 c 415s| 1070k|455991 | 0 | 0.0 | 394M| 469 | - | 712 |1535 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
447.33/447.53 c 419s| 1080k|459355 | 0 | 0.0 | 397M| 469 | - | 712 |1504 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
451.93/452.15 c 424s| 1090k|464136 | 0 | 0.0 | 402M| 469 | - | 712 |1387 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
456.73/456.92 c 428s| 1100k|468134 | 0 | 0.0 | 406M| 469 | - | 712 |1419 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
461.22/461.40 c 432s| 1110k|473364 | 0 | 0.0 | 411M| 469 | - | 712 |1586 | 0 | 0 | 0 | 269k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
465.72/465.96 c 437s| 1120k|478665 | 0 | 0.0 | 416M| 469 | - | 712 |1396 | 0 | 0 | 0 | 272k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
470.02/470.22 c 441s| 1130k|484641 | 0 | 0.0 | 421M| 469 | - | 712 |1510 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
474.62/474.87 c 445s| 1140k|488317 | 0 | 0.0 | 424M| 469 | - | 712 |1537 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
478.92/479.16 c 449s| 1150k|494221 | 0 | 0.0 | 430M| 469 | - | 712 |1305 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
483.22/483.49 c 453s| 1160k|500030 | 0 | 0.0 | 435M| 469 | - | 712 |1478 | 0 | 0 | 0 | 282k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
487.52/487.79 c 457s| 1170k|506030 | 0 | 0.0 | 440M| 469 | - | 712 |1363 | 0 | 0 | 0 | 284k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
491.81/492.03 c 461s| 1180k|511959 | 0 | 0.0 | 445M| 469 | - | 712 |1219 | 0 | 0 | 0 | 287k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
496.02/496.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.02/496.25 c 465s| 1190k|517962 | 0 | 0.0 | 451M| 469 | - | 712 |1267 | 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
500.32/500.53 c 469s| 1200k|523756 | 0 | 0.0 | 456M| 469 | - | 712 |1263 | 0 | 0 | 0 | 292k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
504.72/504.96 c 473s| 1210k|528893 | 0 | 0.0 | 461M| 469 | - | 712 |1249 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
509.31/509.55 c 478s| 1220k|533951 | 0 | 0.0 | 466M| 469 | - | 712 |1501 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
514.11/514.36 c 482s| 1230k|539118 | 0 | 0.0 | 471M| 469 | - | 712 |1651 | 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
519.61/519.86 c 487s| 1240k|542353 | 0 | 0.0 | 475M| 469 | - | 712 |1447 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
526.10/526.35 c 493s| 1250k|541492 | 0 | 0.0 | 478M| 469 | - | 712 |1905 | 0 | 0 | 0 | 308k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
532.91/533.13 c 500s| 1260k|541845 | 0 | 0.0 | 480M| 469 | - | 712 | 997 | 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
537.21/537.45 c 504s| 1270k|548096 | 0 | 0.0 | 485M| 469 | - | 712 |1426 | 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
541.80/542.09 c 508s| 1280k|553447 | 0 | 0.0 | 489M| 469 | - | 712 |1719 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
546.30/546.54 c 513s| 1290k|558992 | 0 | 0.0 | 493M| 469 | - | 712 |1537 | 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
550.60/550.80 c 517s| 1300k|565429 | 0 | 0.0 | 499M| 469 | - | 712 |1488 | 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
554.90/555.12 c 521s| 1310k|571824 | 0 | 0.0 | 504M| 469 | - | 712 |1615 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
559.39/559.68 c 525s| 1320k|578159 | 0 | 0.0 | 509M| 469 | - | 712 |1815 | 0 | 0 | 0 | 326k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
564.89/565.10 c 530s| 1330k|583917 | 0 | 0.0 | 514M| 469 | - | 712 |2331 | 0 | 0 | 0 | 329k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
570.29/570.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.29/570.57 c 535s| 1340k|589861 | 0 | 0.0 | 519M| 469 | - | 712 |2482 | 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
575.59/575.86 c 540s| 1350k|596152 | 0 | 0.0 | 525M| 469 | - | 712 |2459 | 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
580.78/581.09 c 545s| 1360k|602094 | 0 | 0.0 | 529M| 469 | - | 712 |2499 | 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
585.89/586.17 c 550s| 1370k|607481 | 0 | 0.0 | 533M| 469 | - | 712 |1847 | 0 | 0 | 0 | 340k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
589.48/589.78 c 553s| 1380k|614737 | 0 | 0.0 | 538M| 469 | - | 712 |1838 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
593.48/593.77 c 557s| 1390k|621913 | 0 | 0.0 | 545M| 469 | - | 712 |1853 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
598.38/598.67 c 562s| 1400k|627944 | 0 | 0.0 | 551M| 469 | - | 712 |2225 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
602.98/603.25 c 566s| 1410k|634255 | 0 | 0.0 | 556M| 469 | - | 712 |1905 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
607.38/607.62 c 570s| 1420k|640786 | 0 | 0.0 | 560M| 469 | - | 712 |1970 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
612.39/612.69 c 575s| 1430k|646754 | 0 | 0.0 | 565M| 469 | - | 712 |2409 | 0 | 0 | 0 | 355k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
618.08/618.32 c 580s| 1440k|652592 | 0 | 0.0 | 570M| 469 | - | 712 |2829 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
623.57/623.88 c 586s| 1450k|658428 | 0 | 0.0 | 575M| 469 | - | 712 |2856 | 0 | 0 | 0 | 361k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
629.48/629.70 c 591s| 1460k|664121 | 0 | 0.0 | 580M| 469 | - | 712 |2931 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
635.17/635.40 c 597s| 1470k|670042 | 0 | 0.0 | 585M| 469 | - | 712 |3296 | 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
640.77/641.02 c 602s| 1480k|675609 | 0 | 0.0 | 590M| 469 | - | 712 |3409 | 0 | 0 | 0 | 372k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
647.17/647.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.17/647.43 c 608s| 1490k|680601 | 0 | 0.0 | 594M| 469 | - | 712 |3040 | 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
652.77/653.02 c 613s| 1500k|686531 | 0 | 0.0 | 598M| 469 | - | 712 |2804 | 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
657.07/657.35 c 617s| 1510k|693396 | 0 | 0.0 | 603M| 469 | - | 712 | 953 | 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
660.97/661.21 c 621s| 1520k|700840 | 0 | 0.0 | 609M| 469 | - | 712 |1255 | 0 | 0 | 0 | 383k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
665.06/665.36 c 625s| 1530k|707813 | 0 | 0.0 | 615M| 469 | - | 712 |1370 | 0 | 0 | 0 | 385k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
669.16/669.49 c 629s| 1540k|714456 | 0 | 0.0 | 620M| 469 | - | 712 |1015 | 0 | 0 | 0 | 388k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
673.47/673.70 c 633s| 1550k|720903 | 0 | 0.0 | 626M| 469 | - | 712 |1163 | 0 | 0 | 0 | 390k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
677.76/678.07 c 637s| 1560k|727012 | 0 | 0.0 | 631M| 469 | - | 712 |1323 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
682.16/682.46 c 641s| 1570k|733027 | 0 | 0.0 | 636M| 469 | - | 712 |1031 | 0 | 0 | 0 | 395k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
686.56/686.89 c 645s| 1580k|738849 | 0 | 0.0 | 642M| 469 | - | 712 |1179 | 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
691.06/691.34 c 649s| 1590k|744779 | 0 | 0.0 | 647M| 469 | - | 712 |1277 | 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
695.75/696.01 c 654s| 1600k|750398 | 0 | 0.0 | 652M| 469 | - | 712 |1327 | 0 | 0 | 0 | 403k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
700.36/700.67 c 658s| 1610k|756145 | 0 | 0.0 | 657M| 469 | - | 712 |1269 | 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
705.15/705.44 c 663s| 1620k|761797 | 0 | 0.0 | 662M| 469 | - | 712 |1474 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
709.95/710.23 c 667s| 1630k|767417 | 0 | 0.0 | 667M| 469 | - | 712 |1497 | 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
714.35/714.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.35/714.66 c 671s| 1640k|773517 | 0 | 0.0 | 672M| 469 | - | 712 |1075 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
718.95/719.22 c 676s| 1650k|779212 | 0 | 0.0 | 677M| 469 | - | 712 |1160 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
723.56/723.87 c 680s| 1660k|784835 | 0 | 0.0 | 682M| 469 | - | 712 |1302 | 0 | 0 | 0 | 420k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
728.34/728.66 c 685s| 1670k|790419 | 0 | 0.0 | 686M| 469 | - | 712 |1331 | 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
732.84/733.16 c 689s| 1680k|796296 | 0 | 0.0 | 691M| 469 | - | 712 |1238 | 0 | 0 | 0 | 425k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
737.14/737.49 c 693s| 1690k|802732 | 0 | 0.0 | 697M| 469 | - | 712 |1272 | 0 | 0 | 0 | 428k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
741.84/742.10 c 697s| 1700k|808596 | 0 | 0.0 | 702M| 469 | - | 712 |1169 | 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
746.14/746.43 c 701s| 1710k|814971 | 0 | 0.0 | 707M| 469 | - | 712 |1072 | 0 | 0 | 0 | 433k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
750.34/750.60 c 705s| 1720k|821381 | 0 | 0.0 | 712M| 469 | - | 712 |1058 | 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
754.54/754.87 c 709s| 1730k|827517 | 0 | 0.0 | 717M| 469 | - | 712 | 954 | 0 | 0 | 0 | 438k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
759.03/759.36 c 713s| 1740k|833306 | 0 | 0.0 | 722M| 469 | - | 712 |1108 | 0 | 0 | 0 | 440k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
763.63/763.97 c 718s| 1750k|838642 | 0 | 0.0 | 726M| 469 | - | 712 |1093 | 0 | 0 | 0 | 443k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
768.13/768.42 c 722s| 1760k|844601 | 0 | 0.0 | 731M| 469 | - | 712 |1117 | 0 | 0 | 0 | 446k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
772.83/773.16 c 726s| 1770k|849875 | 0 | 0.0 | 735M| 469 | - | 712 |1156 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
777.63/777.91 c 731s| 1780k|855578 | 0 | 0.0 | 740M| 469 | - | 712 |1188 | 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
782.33/782.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
782.33/782.67 c 735s| 1790k|860695 | 0 | 0.0 | 745M| 469 | - | 712 |1134 | 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
787.02/787.39 c 740s| 1800k|866098 | 0 | 0.0 | 750M| 469 | - | 712 |1421 | 0 | 0 | 0 | 457k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
792.33/792.63 c 745s| 1810k|870384 | 0 | 0.0 | 754M| 469 | - | 712 |1234 | 0 | 0 | 0 | 460k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
797.13/797.45 c 749s| 1820k|875848 | 0 | 0.0 | 759M| 469 | - | 712 |1118 | 0 | 0 | 0 | 463k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
802.32/802.64 c 754s| 1830k|879745 | 0 | 0.0 | 763M| 469 | - | 712 |1530 | 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
806.92/807.20 c 759s| 1840k|885632 | 0 | 0.0 | 768M| 469 | - | 712 |1106 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
812.12/812.45 c 764s| 1850k|889616 | 0 | 0.0 | 772M| 469 | - | 712 |1234 | 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
816.72/817.02 c 768s| 1860k|895130 | 0 | 0.0 | 777M| 469 | - | 712 |1121 | 0 | 0 | 0 | 475k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
821.92/822.25 c 773s| 1870k|899178 | 0 | 0.0 | 781M| 469 | - | 712 |1214 | 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
826.72/827.00 c 777s| 1880k|904550 | 0 | 0.0 | 786M| 469 | - | 712 |1148 | 0 | 0 | 0 | 482k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
832.02/832.33 c 782s| 1890k|908666 | 0 | 0.0 | 789M| 469 | - | 712 |1189 | 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
836.82/837.13 c 787s| 1900k|913857 | 0 | 0.0 | 794M| 469 | - | 712 |1311 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
841.61/841.97 c 791s| 1910k|918888 | 0 | 0.0 | 798M| 469 | - | 712 |1175 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
846.81/847.18 c 796s| 1920k|922984 | 0 | 0.0 | 802M| 469 | - | 712 |1246 | 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
851.51/851.82 c 801s| 1930k|928341 | 0 | 0.0 | 807M| 469 | - | 712 |1131 | 0 | 0 | 0 | 498k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
856.71/857.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.71/857.06 c 806s| 1940k|932259 | 0 | 0.0 | 811M| 469 | - | 712 |1164 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
861.70/862.09 c 811s| 1950k|936863 | 0 | 0.0 | 815M| 469 | - | 712 |1221 | 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
866.41/866.73 c 815s| 1960k|942235 | 0 | 0.0 | 820M| 469 | - | 712 | 996 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
871.91/872.26 c 820s| 1970k|945610 | 0 | 0.0 | 823M| 469 | - | 712 |1276 | 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
876.80/877.10 c 825s| 1980k|950642 | 0 | 0.0 | 828M| 469 | - | 712 |1142 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
882.09/882.41 c 830s| 1990k|954563 | 0 | 0.0 | 831M| 469 | - | 712 |1356 | 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
887.09/887.48 c 835s| 2000k|959086 | 0 | 0.0 | 835M| 469 | - | 712 |1335 | 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
892.00/892.37 c 839s| 2010k|964122 | 0 | 0.0 | 840M| 469 | - | 712 |1098 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
897.30/897.63 c 844s| 2020k|968071 | 0 | 0.0 | 843M| 469 | - | 712 |1309 | 0 | 0 | 0 | 527k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
902.19/902.52 c 849s| 2030k|972967 | 0 | 0.0 | 848M| 469 | - | 712 |1176 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
907.49/907.85 c 854s| 2040k|977038 | 0 | 0.0 | 851M| 469 | - | 712 |1195 | 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
912.60/912.94 c 859s| 2050k|981323 | 0 | 0.0 | 856M| 469 | - | 712 |1228 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
918.09/918.50 c 864s| 2060k|984597 | 0 | 0.0 | 859M| 469 | - | 712 |1169 | 0 | 0 | 0 | 541k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
923.49/923.81 c 869s| 2070k|988613 | 0 | 0.0 | 863M| 469 | - | 712 |1323 | 0 | 0 | 0 | 544k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
928.98/929.34 c 874s| 2080k|992177 | 0 | 0.0 | 866M| 469 | - | 712 |1219 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
935.08/935.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.08/935.40 c 880s| 2090k|994834 | 0 | 0.0 | 869M| 469 | - | 712 |1266 | 0 | 0 | 0 | 552k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
940.98/941.32 c 886s| 2100k|997454 | 0 | 0.0 | 872M| 469 | - | 712 |1291 | 0 | 0 | 0 | 556k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
946.98/947.35 c 892s| 2110k|999706 | 0 | 0.0 | 875M| 469 | - | 712 |1226 | 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
952.88/953.21 c 897s| 2120k| 1002k| 0 | 0.0 | 878M| 469 | - | 712 |1176 | 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
958.28/958.65 c 902s| 2130k| 1006k| 0 | 0.0 | 882M| 469 | - | 712 |1291 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
963.48/963.86 c 907s| 2140k| 1011k| 0 | 0.0 | 887M| 469 | - | 712 |1476 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
968.47/968.88 c 912s| 2150k| 1016k| 0 | 0.0 | 892M| 469 | - | 712 |1388 | 0 | 0 | 0 | 573k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
973.37/973.74 c 917s| 2160k| 1022k| 0 | 0.0 | 897M| 469 | - | 712 |1042 | 0 | 0 | 0 | 576k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
978.27/978.62 c 921s| 2170k| 1027k| 0 | 0.0 | 901M| 469 | - | 712 |1413 | 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
982.97/983.32 c 926s| 2180k| 1033k| 0 | 0.0 | 907M| 469 | - | 712 |1563 | 0 | 0 | 0 | 582k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
987.76/988.15 c 930s| 2190k| 1038k| 0 | 0.0 | 912M| 469 | - | 712 |1467 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
992.77/993.12 c 935s| 2200k| 1043k| 0 | 0.0 | 917M| 469 | - | 712 |1583 | 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
997.86/998.21 c 940s| 2210k| 1049k| 0 | 0.0 | 922M| 469 | - | 712 |1813 | 0 | 0 | 0 | 590k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1002.87/1003.28 c 945s| 2220k| 1055k| 0 | 0.0 | 927M| 469 | - | 712 |1891 | 0 | 0 | 0 | 593k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1007.76/1008.19 c 949s| 2230k| 1061k| 0 | 0.0 | 932M| 469 | - | 712 |1962 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1012.76/1013.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.76/1013.18 c 954s| 2240k| 1066k| 0 | 0.0 | 937M| 469 | - | 712 |2041 | 0 | 0 | 0 | 598k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1018.06/1018.44 c 959s| 2250k| 1072k| 0 | 0.0 | 942M| 469 | - | 712 |2083 | 0 | 0 | 0 | 601k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1023.25/1023.62 c 964s| 2260k| 1077k| 0 | 0.0 | 947M| 469 | - | 712 |1992 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1028.45/1028.87 c 969s| 2270k| 1083k| 0 | 0.0 | 952M| 469 | - | 712 |1996 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1034.05/1034.46 c 974s| 2280k| 1088k| 0 | 0.0 | 957M| 469 | - | 712 |2376 | 0 | 0 | 0 | 609k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1039.55/1040.00 c 979s| 2290k| 1092k| 0 | 0.0 | 962M| 469 | - | 712 |1820 | 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1044.75/1045.19 c 984s| 2300k| 1096k| 0 | 0.0 | 967M| 469 | - | 712 |2101 | 0 | 0 | 0 | 614k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1050.15/1050.56 c 990s| 2310k| 1100k| 0 | 0.0 | 971M| 469 | - | 712 |2197 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1055.66/1056.09 c 995s| 2320k| 1104k| 0 | 0.0 | 976M| 469 | - | 712 |2422 | 0 | 0 | 0 | 619k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1061.34/1061.75 c 1000s| 2330k| 1109k| 0 | 0.0 | 981M| 469 | - | 712 |2389 | 0 | 0 | 0 | 622k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1066.74/1067.18 c 1005s| 2340k| 1115k| 0 | 0.0 | 986M| 469 | - | 712 |2526 | 0 | 0 | 0 | 624k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1072.44/1072.83 c 1011s| 2350k| 1120k| 0 | 0.0 | 991M| 469 | - | 712 |2289 | 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1078.34/1078.72 c 1016s| 2360k| 1124k| 0 | 0.0 | 996M| 469 | - | 712 |1456 | 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1083.73/1084.11 c 1021s| 2370k| 1127k| 0 | 0.0 |1000M| 469 | - | 712 |1663 | 0 | 0 | 0 | 633k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1088.44/1088.89 c 1026s| 2380k| 1134k| 0 | 0.0 |1005M| 469 | - | 712 |1826 | 0 | 0 | 0 | 636k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1093.44/1093.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.44/1093.85 c 1031s| 2390k| 1139k| 0 | 0.0 |1011M| 469 | - | 712 |2109 | 0 | 0 | 0 | 638k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1098.73/1099.13 c 1036s| 2400k| 1144k| 0 | 0.0 |1016M| 469 | - | 712 |2345 | 0 | 0 | 0 | 641k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1103.33/1103.71 c 1040s| 2410k| 1150k| 0 | 0.0 |1021M| 469 | - | 712 |1264 | 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1108.13/1108.53 c 1045s| 2420k| 1155k| 0 | 0.0 |1027M| 469 | - | 712 |2011 | 0 | 0 | 0 | 646k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1113.12/1113.56 c 1049s| 2430k| 1161k| 0 | 0.0 |1032M| 469 | - | 712 |2058 | 0 | 0 | 0 | 649k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1118.12/1118.52 c 1054s| 2440k| 1166k| 0 | 0.0 |1037M| 469 | - | 712 |2321 | 0 | 0 | 0 | 652k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1123.32/1123.74 c 1059s| 2450k| 1172k| 0 | 0.0 |1043M| 469 | - | 712 |2442 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1128.82/1129.24 c 1064s| 2460k| 1177k| 0 | 0.0 |1048M| 469 | - | 712 |2358 | 0 | 0 | 0 | 657k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1133.92/1134.36 c 1069s| 2470k| 1183k| 0 | 0.0 |1053M| 469 | - | 712 |2078 | 0 | 0 | 0 | 660k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1138.82/1139.24 c 1074s| 2480k| 1188k| 0 | 0.0 |1058M| 469 | - | 712 |2248 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1145.62/1146.02 c 1080s| 2490k| 1192k| 0 | 0.0 |1062M| 469 | - | 712 |1798 | 0 | 0 | 0 | 666k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1152.42/1152.80 c 1087s| 2500k| 1195k| 0 | 0.0 |1066M| 469 | - | 712 |1638 | 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1160.12/1160.57 c 1094s| 2510k| 1197k| 0 | 0.0 |1069M| 469 | - | 712 |1363 | 0 | 0 | 0 | 675k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1164.61/1165.02 c 1098s| 2520k| 1204k| 0 | 0.0 |1075M| 469 | - | 712 |1915 | 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1169.61/1170.02 c 1103s| 2530k| 1210k| 0 | 0.0 |1080M| 469 | - | 712 |2550 | 0 | 0 | 0 | 680k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1174.60/1175.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1174.60/1175.03 c 1108s| 2540k| 1217k| 0 | 0.0 |1086M| 469 | - | 712 |2424 | 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1179.51/1179.90 c 1113s| 2550k| 1224k| 0 | 0.0 |1091M| 469 | - | 712 |2735 | 0 | 0 | 0 | 684k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1184.60/1185.07 c 1117s| 2560k| 1231k| 0 | 0.0 |1097M| 469 | - | 712 |2928 | 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1189.71/1190.13 c 1122s| 2570k| 1238k| 0 | 0.0 |1102M| 469 | - | 712 |3105 | 0 | 0 | 0 | 689k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1194.80/1195.27 c 1127s| 2580k| 1244k| 0 | 0.0 |1107M| 469 | - | 712 |2944 | 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1199.90/1200.39 c 1132s| 2590k| 1251k| 0 | 0.0 |1113M| 469 | - | 712 |2893 | 0 | 0 | 0 | 694k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1205.40/1205.88 c 1137s| 2600k| 1258k| 0 | 0.0 |1118M| 469 | - | 712 |2779 | 0 | 0 | 0 | 697k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1210.71/1211.12 c 1142s| 2610k| 1264k| 0 | 0.0 |1123M| 469 | - | 712 |2256 | 0 | 0 | 0 | 700k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1215.59/1216.01 c 1147s| 2620k| 1271k| 0 | 0.0 |1128M| 469 | - | 712 |2014 | 0 | 0 | 0 | 703k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1220.29/1220.70 c 1151s| 2630k| 1278k| 0 | 0.0 |1133M| 469 | - | 712 |1645 | 0 | 0 | 0 | 705k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1224.90/1225.39 c 1156s| 2640k| 1284k| 0 | 0.0 |1139M| 469 | - | 712 |1794 | 0 | 0 | 0 | 708k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1229.59/1230.07 c 1160s| 2650k| 1291k| 0 | 0.0 |1144M| 469 | - | 712 |1928 | 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1234.49/1234.93 c 1165s| 2660k| 1298k| 0 | 0.0 |1149M| 469 | - | 712 |2108 | 0 | 0 | 0 | 713k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1239.49/1239.94 c 1169s| 2670k| 1304k| 0 | 0.0 |1154M| 469 | - | 712 |1925 | 0 | 0 | 0 | 715k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1244.39/1244.84 c 1174s| 2680k| 1311k| 0 | 0.0 |1160M| 469 | - | 712 |2135 | 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1249.38/1249.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1249.38/1249.82 c 1179s| 2690k| 1317k| 0 | 0.0 |1165M| 469 | - | 712 |2611 | 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1254.48/1254.92 c 1184s| 2700k| 1324k| 0 | 0.0 |1171M| 469 | - | 712 |2777 | 0 | 0 | 0 | 723k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1259.48/1259.90 c 1188s| 2710k| 1331k| 0 | 0.0 |1176M| 469 | - | 712 |2594 | 0 | 0 | 0 | 725k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1264.59/1265.07 c 1193s| 2720k| 1337k| 0 | 0.0 |1182M| 469 | - | 712 |2569 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1269.68/1270.15 c 1198s| 2730k| 1344k| 0 | 0.0 |1187M| 469 | - | 712 |2385 | 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1274.87/1275.34 c 1203s| 2740k| 1351k| 0 | 0.0 |1192M| 469 | - | 712 |2363 | 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1279.88/1280.34 c 1208s| 2750k| 1357k| 0 | 0.0 |1198M| 469 | - | 712 |2490 | 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1285.17/1285.68 c 1213s| 2760k| 1364k| 0 | 0.0 |1203M| 469 | - | 712 |2778 | 0 | 0 | 0 | 738k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1290.76/1291.21 c 1218s| 2770k| 1370k| 0 | 0.0 |1208M| 469 | - | 712 |3019 | 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1296.38/1296.88 c 1224s| 2780k| 1376k| 0 | 0.0 |1213M| 469 | - | 712 |2861 | 0 | 0 | 0 | 744k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1301.87/1302.31 c 1229s| 2790k| 1383k| 0 | 0.0 |1218M| 469 | - | 712 |2839 | 0 | 0 | 0 | 746k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1307.27/1307.71 c 1234s| 2800k| 1389k| 0 | 0.0 |1224M| 469 | - | 712 |2932 | 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1312.76/1313.22 c 1239s| 2810k| 1396k| 0 | 0.0 |1229M| 469 | - | 712 |3058 | 0 | 0 | 0 | 751k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1318.47/1318.96 c 1245s| 2820k| 1402k| 0 | 0.0 |1234M| 469 | - | 712 |3132 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1323.96/1324.42 c 1250s| 2830k| 1408k| 0 | 0.0 |1239M| 469 | - | 712 |2857 | 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1329.56/1330.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1329.56/1330.00 c 1255s| 2840k| 1415k| 0 | 0.0 |1244M| 469 | - | 712 |3022 | 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1335.15/1335.61 c 1260s| 2850k| 1421k| 0 | 0.0 |1250M| 469 | - | 712 |3066 | 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1340.85/1341.35 c 1266s| 2860k| 1427k| 0 | 0.0 |1255M| 469 | - | 712 |3325 | 0 | 0 | 0 | 765k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1346.65/1347.14 c 1271s| 2870k| 1434k| 0 | 0.0 |1260M| 469 | - | 712 |3326 | 0 | 0 | 0 | 768k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1352.34/1352.83 c 1277s| 2880k| 1440k| 0 | 0.0 |1265M| 469 | - | 712 |3491 | 0 | 0 | 0 | 771k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
1360.44/1360.91 o 3
1360.44/1360.91 c *1285s| 2881k|418774 | 0 | 0.0 | 399M| 469 | - | 712 |3486 | 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
1368.04/1368.52 c
1368.04/1368.52 c SCIP Status : problem is solved [optimal solution found]
1368.04/1368.52 c Solving Time (sec) : 1292.02
1368.04/1368.52 c Solving Nodes : 2881763
1368.04/1368.52 c Primal Bound : +3.00000000000000e+00 (2 solutions)
1368.04/1368.52 c Dual Bound : +3.00000000000000e+00
1368.04/1368.52 c Gap : 0.00 %
1368.04/1368.52 s OPTIMUM FOUND
1368.04/1368.52 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 x204 -x203 -x202 -x201 -x200 x199 -x144 -x143 -x142 -x141
1368.04/1368.52 v -x140 -x139 -x138 -x137 x136 -x198 -x197 -x196 -x195 x194 -x193 x192 x191 -x190 x135 x134 -x133 -x132 -x131 -x130 -x129 -x128
1368.04/1368.52 v x127 -x189 -x188 -x187 -x186 x185 -x184 x183 -x182 -x181 x126 -x125 x124 x123 -x122 -x121 -x120 -x119 x118 -x180 -x179 -x178
1368.04/1368.52 v x177 -x176 -x175 -x174 -x173 -x172 x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 x109 -x171 -x170 -x169 -x168 -x167 -x166
1368.04/1368.52 v -x165 -x164 -x163 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x162 -x161 -x160 -x159 -x158 x157 x156 x155 -x154 -x99
1368.04/1368.52 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x90 -x89 x88 -x87 -x86 -x85 -x84
1368.04/1368.52 v x83 x82 -x81 x80 x79 x78 x77 x76 x75 -x74 x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 x60 -x59 -x58 -x57
1368.04/1368.52 v -x56 x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 x37 x36 -x35 -x34 -x33 -x32 -x31 -x30
1368.04/1368.52 v -x29 x28 -x27 -x26 x25 x24 -x23 x22 -x21 x20 x19 -x18 x17 x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2
1368.04/1368.52 v x1
1368.04/1368.52 c SCIP Status : problem is solved [optimal solution found]
1368.04/1368.52 c Solving Time : 1292.02
1368.04/1368.52 c Original Problem :
1368.04/1368.52 c Problem name : HOME/instance-2663687-1276650047.opb
1368.04/1368.52 c Variables : 864 (864 binary, 0 integer, 0 implicit integer, 0 continuous)
1368.04/1368.52 c Constraints : 665 initial, 665 maximal
1368.04/1368.52 c Presolved Problem :
1368.04/1368.52 c Problem name : t_HOME/instance-2663687-1276650047.opb
1368.04/1368.52 c Variables : 712 (712 binary, 0 integer, 0 implicit integer, 0 continuous)
1368.04/1368.52 c Constraints : 529 initial, 3738 maximal
1368.04/1368.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1368.04/1368.52 c trivial : 0.00 0 0 0 0 0 0 0 0
1368.04/1368.52 c dualfix : 0.00 0 0 0 0 0 0 0 0
1368.04/1368.52 c boundshift : 0.00 0 0 0 0 0 0 0 0
1368.04/1368.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1368.04/1368.52 c implics : 0.00 0 0 0 0 0 0 0 0
1368.04/1368.52 c probing : 0.03 0 0 0 0 0 0 0 0
1368.04/1368.52 c and : 0.10 16 128 0 0 0 128 0 128
1368.04/1368.52 c linear : 0.02 1 7 0 0 0 0 0 63
1368.04/1368.52 c logicor : 0.00 0 0 0 0 0 0 0 0
1368.04/1368.52 c root node : - 82 - - 82 - - - -
1368.04/1368.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1368.04/1368.52 c integral : 0 0 0 0 0 0 0 0 0 0
1368.04/1368.52 c and : 512 0 7143599 0 2482236 58996 15736264 0 0 0
1368.04/1368.52 c linear : 8 0 7084601 0 2482236 542840 5271197 0 0 0
1368.04/1368.52 c logicor : 9+ 0 3033980 0 2482078 44413 1086392 0 0 0
1368.04/1368.52 c countsols : 0 0 0 0 2482238 0 0 0 0 0
1368.04/1368.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1368.04/1368.52 c integral : 0.00 0.00 0.00 0.00 0.00
1368.04/1368.52 c and : 192.94 0.00 120.12 0.00 72.82
1368.04/1368.52 c linear : 353.96 0.00 351.76 0.00 2.20
1368.04/1368.52 c logicor : 111.62 0.00 106.17 0.00 5.45
1368.04/1368.52 c countsols : 1.11 0.00 0.00 0.00 1.11
1368.04/1368.52 c Propagators : Time Calls Cutoffs DomReds
1368.04/1368.52 c vbounds : 4.05 2 0 0
1368.04/1368.52 c rootredcost : 3.62 0 0 0
1368.04/1368.52 c pseudoobj : 10.04 7143642 500 64234
1368.04/1368.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1368.04/1368.52 c propagation : 192.03 646749 633723 7261064 64.6 18562 52.7 -
1368.04/1368.52 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1368.04/1368.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1368.04/1368.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1368.04/1368.52 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1368.04/1368.52 c applied globally : - - - 762077 31.0 - - -
1368.04/1368.52 c applied locally : - - - 9942 89.6 - - -
1368.04/1368.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1368.04/1368.52 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1368.04/1368.52 c redcost : 0.00 0 0 0 0 0
1368.04/1368.52 c impliedbounds : 0.00 0 0 0 0 0
1368.04/1368.52 c intobj : 0.00 0 0 0 0 0
1368.04/1368.52 c cgmip : 0.00 0 0 0 0 0
1368.04/1368.52 c gomory : 0.00 0 0 0 0 0
1368.04/1368.52 c strongcg : 0.00 0 0 0 0 0
1368.04/1368.52 c cmir : 0.00 0 0 0 0 0
1368.04/1368.52 c flowcover : 0.00 0 0 0 0 0
1368.04/1368.52 c clique : 0.00 0 0 0 0 0
1368.04/1368.52 c zerohalf : 0.00 0 0 0 0 0
1368.04/1368.52 c mcf : 0.00 0 0 0 0 0
1368.04/1368.52 c rapidlearning : 0.00 0 0 0 0 0
1368.04/1368.52 c Pricers : Time Calls Vars
1368.04/1368.52 c problem variables: 0.00 0 0
1368.04/1368.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1368.04/1368.52 c relpscost : 0.00 0 0 0 0 0 0
1368.04/1368.52 c pscost : 0.00 0 0 0 0 0 0
1368.04/1368.52 c inference : 206.71 2482236 0 0 0 0 4964472
1368.04/1368.52 c mostinf : 0.00 0 0 0 0 0 0
1368.04/1368.52 c leastinf : 0.00 0 0 0 0 0 0
1368.04/1368.52 c fullstrong : 0.00 0 0 0 0 0 0
1368.04/1368.52 c allfullstrong : 0.00 0 0 0 0 0 0
1368.04/1368.52 c random : 0.00 0 0 0 0 0 0
1368.04/1368.52 c Primal Heuristics : Time Calls Found
1368.04/1368.52 c LP solutions : 0.00 - 0
1368.04/1368.52 c pseudo solutions : 7.48 - 2
1368.04/1368.52 c oneopt : 2.09 0 0
1368.04/1368.52 c trivial : 0.00 2 0
1368.04/1368.52 c simplerounding : 0.00 0 0
1368.04/1368.52 c zirounding : 0.00 0 0
1368.04/1368.52 c rounding : 0.00 0 0
1368.04/1368.52 c shifting : 0.00 0 0
1368.04/1368.52 c intshifting : 0.00 0 0
1368.04/1368.52 c twoopt : 0.00 0 0
1368.04/1368.52 c fixandinfer : 0.00 0 0
1368.04/1368.52 c feaspump : 0.00 0 0
1368.04/1368.52 c coefdiving : 0.00 0 0
1368.04/1368.52 c pscostdiving : 0.00 0 0
1368.04/1368.52 c fracdiving : 0.00 0 0
1368.04/1368.52 c veclendiving : 0.00 0 0
1368.04/1368.52 c intdiving : 0.00 0 0
1368.04/1368.52 c actconsdiving : 0.00 0 0
1368.04/1368.52 c objpscostdiving : 0.00 0 0
1368.04/1368.52 c rootsoldiving : 0.00 0 0
1368.04/1368.52 c linesearchdiving : 0.00 0 0
1368.04/1368.52 c guideddiving : 0.00 0 0
1368.04/1368.52 c octane : 0.00 0 0
1368.04/1368.52 c rens : 0.00 0 0
1368.04/1368.52 c rins : 0.00 0 0
1368.04/1368.52 c localbranching : 0.00 0 0
1368.04/1368.52 c mutation : 0.00 0 0
1368.04/1368.52 c crossover : 0.00 0 0
1368.04/1368.52 c dins : 0.00 0 0
1368.04/1368.52 c undercover : 0.00 0 0
1368.04/1368.52 c nlp : 1.21 0 0
1368.04/1368.52 c trysol : 1.43 0 0
1368.04/1368.52 c LP : Time Calls Iterations Iter/call Iter/sec
1368.04/1368.52 c primal LP : 0.00 0 0 0.00 -
1368.04/1368.52 c dual LP : 0.00 0 0 0.00 -
1368.04/1368.52 c lex dual LP : 0.00 0 0 0.00 -
1368.04/1368.52 c barrier LP : 0.00 0 0 0.00 -
1368.04/1368.52 c diving/probing LP: 0.00 0 0 0.00 -
1368.04/1368.52 c strong branching : 0.00 0 0 0.00 -
1368.04/1368.52 c (at root node) : - 0 0 0.00 -
1368.04/1368.52 c conflict analysis: 0.00 0 0 0.00 -
1368.04/1368.52 c B&B Tree :
1368.04/1368.52 c number of runs : 1
1368.04/1368.52 c nodes : 2881763
1368.04/1368.52 c nodes (total) : 2881763
1368.04/1368.52 c nodes left : 0
1368.04/1368.52 c max depth : 469
1368.04/1368.52 c max depth (total): 469
1368.04/1368.52 c backtracks : 311463 (10.8%)
1368.04/1368.52 c delayed cutoffs : 880073
1368.04/1368.52 c repropagations : 729518 (3600402 domain reductions, 247224 cutoffs)
1368.04/1368.52 c avg switch length: 8.68
1368.04/1368.52 c switching time : 269.28
1368.04/1368.52 c Solution :
1368.04/1368.52 c Solutions found : 2 (2 improvements)
1368.04/1368.52 c First Solution : +1.10000000000000e+01 (in run 1, after 618643 nodes, 223.84 seconds, depth 164, found by <relaxation>)
1368.04/1368.52 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2881762 nodes, 1277.95 seconds, depth 96, found by <relaxation>)
1368.04/1368.52 c Dual Bound : +3.00000000000000e+00
1368.04/1368.52 c Gap : 0.00 %
1368.04/1368.52 c Root Dual Bound : +1.00000000000000e+00
1368.04/1368.52 c Root Iterations : 0
1368.14/1368.64 c Time complete: 1368.18.