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-2664783-1276593580.opb>
0.03/0.04 c original problem has 1076 variables (1076 bin, 0 int, 0 impl, 0 cont) and 1030 constraints
0.03/0.04 c problem read
0.03/0.04 c presolving settings loaded
0.03/0.04 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.03/0.06 o 1076
0.03/0.06 c feasible solution found by trivial heuristic, objective value 1.076000e+03
0.03/0.06 c presolving:
0.03/0.09 c (round 1) 0 del vars, 343 del conss, 0 chg bounds, 315 chg sides, 0 chg coeffs, 0 upgd conss, 78 impls, 0 clqs
0.03/0.10 c (round 2) 75 del vars, 346 del conss, 0 chg bounds, 315 chg sides, 0 chg coeffs, 0 upgd conss, 78 impls, 0 clqs
0.09/0.10 c (round 3) 78 del vars, 356 del conss, 0 chg bounds, 315 chg sides, 0 chg coeffs, 0 upgd conss, 78 impls, 0 clqs
0.09/0.12 c (round 4) 78 del vars, 356 del conss, 0 chg bounds, 315 chg sides, 0 chg coeffs, 674 upgd conss, 78 impls, 0 clqs
0.09/0.13 c (0.1s) probing: 101/998 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.13 c presolving (5 rounds):
0.09/0.13 c 78 deleted vars, 356 deleted constraints, 0 tightened bounds, 0 added holes, 315 changed sides, 0 changed coefficients
0.09/0.13 c 78 implications, 0 cliques
0.09/0.13 c presolved problem has 998 variables (998 bin, 0 int, 0 impl, 0 cont) and 674 constraints
0.09/0.13 c 674 constraints of type <logicor>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.07
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c # SCIP version 1.2.1.2
0.09/0.13 c
0.09/0.13 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c conflict/interconss = 0
0.09/0.13 c
0.09/0.13 c # should binary conflicts be preferred?
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c conflict/preferbinary = TRUE
0.09/0.13 c
0.09/0.13 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.13 c constraints/agelimit = 1
0.09/0.13 c
0.09/0.13 c # should enforcement of pseudo solution be disabled?
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/disableenfops = TRUE
0.09/0.13 c
0.09/0.13 c # frequency for displaying node information lines
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13 c display/freq = 10000
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = 1799.96
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = 1620
0.09/0.13 c
0.09/0.13 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c lp/solvefreq = -1
0.09/0.13 c
0.09/0.13 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.09/0.13 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.13 c lp/pricing = a
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify inequalities
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/linear/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify knapsacks
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # priority of node selection rule <dfs> in standard mode
0.09/0.13 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.13 c nodeselection/dfs/stdpriority = 1000000
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving
0.09/0.13 c
0.09/0.14 o 1001
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c t 0.1s| 1 | 0 | 0 | - |2732k| 0 | - | 998 | 674 | 0 | 0 | 0 | 0 | 0 | -- | 1.001000e+03 | Inf
0.09/0.14 c 0.1s| 1 | 2 | 0 | - |2704k| 0 | - | 998 | 674 | 0 | 0 | 0 | 0 | 0 | 3.000000e+00 | 1.001000e+03 | Large
0.19/0.28 o 180
0.19/0.28 c * 0.2s| 822 | 809 | 0 | 0.0 |3165k| 821 | - | 998 | 674 | 0 | 0 | 0 | 0 | 0 | 4.000000e+00 | 1.800000e+02 |4400.00%
0.29/0.34 o 179
0.29/0.34 c * 0.3s| 954 | 798 | 0 | 0.0 |3278k| 821 | - | 998 | 674 | 0 | 0 | 0 | 79 | 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
4.79/4.81 c 4.5s| 10000 | 789 | 0 | 0.0 |3288k| 821 | - | 998 | 674 | 0 | 0 | 0 |5294 | 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
9.69/9.77 c 9.3s| 20000 | 785 | 0 | 0.0 |3287k| 821 | - | 998 | 674 | 0 | 0 | 0 | 11k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
14.88/14.93 c 14.2s| 30000 | 783 | 0 | 0.0 |3300k| 821 | - | 998 | 674 | 0 | 0 | 0 | 17k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
19.48/19.56 c 18.6s| 40000 | 785 | 0 | 0.0 |3297k| 821 | - | 998 | 674 | 0 | 0 | 0 | 22k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
24.28/24.35 c 23.2s| 50000 | 780 | 0 | 0.0 |3300k| 821 | - | 998 | 674 | 0 | 0 | 0 | 28k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
29.48/29.51 c 28.1s| 60000 | 776 | 0 | 0.0 |3301k| 821 | - | 998 | 674 | 0 | 0 | 0 | 34k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
34.38/34.48 c 32.9s| 70000 | 777 | 0 | 0.0 |3308k| 821 | - | 998 | 674 | 0 | 0 | 0 | 39k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
39.67/39.73 c 37.9s| 80000 | 778 | 0 | 0.0 |3309k| 821 | - | 998 | 674 | 0 | 0 | 0 | 45k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
44.97/45.10 c 43.1s| 90000 | 777 | 0 | 0.0 |3305k| 821 | - | 998 | 674 | 0 | 0 | 0 | 51k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
50.47/50.50 c 48.2s|100000 | 771 | 0 | 0.0 |3305k| 821 | - | 998 | 674 | 0 | 0 | 0 | 58k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
55.56/55.68 c 53.2s|110000 | 772 | 0 | 0.0 |3304k| 821 | - | 998 | 674 | 0 | 0 | 0 | 64k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
61.07/61.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.07/61.12 c 58.4s|120000 | 771 | 0 | 0.0 |3305k| 821 | - | 998 | 674 | 0 | 0 | 0 | 70k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
66.27/66.30 c 63.4s|130000 | 767 | 0 | 0.0 |3313k| 821 | - | 998 | 674 | 0 | 0 | 0 | 76k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
71.16/71.28 c 68.2s|140000 | 772 | 0 | 0.0 |3309k| 821 | - | 998 | 674 | 0 | 0 | 0 | 81k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
76.46/76.51 c 73.1s|150000 | 769 | 0 | 0.0 |3308k| 821 | - | 998 | 674 | 0 | 0 | 0 | 87k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
81.66/81.79 c 78.2s|160000 | 768 | 0 | 0.0 |3310k| 821 | - | 998 | 674 | 0 | 0 | 0 | 93k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
87.15/87.21 c 83.4s|170000 | 771 | 0 | 0.0 |3308k| 821 | - | 998 | 674 | 0 | 0 | 0 | 99k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
92.36/92.41 c 88.4s|180000 | 771 | 0 | 0.0 |3316k| 821 | - | 998 | 674 | 0 | 0 | 0 | 104k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
97.56/97.61 c 93.3s|190000 | 771 | 0 | 0.0 |3312k| 821 | - | 998 | 674 | 0 | 0 | 0 | 110k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
102.95/103.06 c 98.6s|200000 | 765 | 0 | 0.0 |3308k| 821 | - | 998 | 674 | 0 | 0 | 0 | 116k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
108.35/108.42 c 104s|210000 | 767 | 0 | 0.0 |3312k| 821 | - | 998 | 674 | 0 | 0 | 0 | 122k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
113.55/113.68 c 109s|220000 | 772 | 0 | 0.0 |3314k| 821 | - | 998 | 674 | 0 | 0 | 0 | 128k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
118.65/118.76 c 114s|230000 | 764 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 134k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
123.45/123.57 c 118s|240000 | 765 | 0 | 0.0 |3315k| 821 | - | 998 | 674 | 0 | 0 | 0 | 139k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
128.45/128.57 c 123s|250000 | 768 | 0 | 0.0 |3314k| 821 | - | 998 | 674 | 0 | 0 | 0 | 145k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
133.64/133.71 c 128s|260000 | 770 | 0 | 0.0 |3314k| 821 | - | 998 | 674 | 0 | 0 | 0 | 150k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
138.64/138.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.64/138.79 c 133s|270000 | 769 | 0 | 0.0 |3314k| 821 | - | 998 | 674 | 0 | 0 | 0 | 156k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
143.74/143.84 c 138s|280000 | 767 | 0 | 0.0 |3316k| 821 | - | 998 | 674 | 0 | 0 | 0 | 161k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
148.84/148.94 c 142s|290000 | 765 | 0 | 0.0 |3311k| 821 | - | 998 | 674 | 0 | 0 | 0 | 167k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
153.63/153.78 c 147s|300000 | 767 | 0 | 0.0 |3313k| 821 | - | 998 | 674 | 0 | 0 | 0 | 172k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
158.64/158.70 c 152s|310000 | 764 | 0 | 0.0 |3311k| 821 | - | 998 | 674 | 0 | 0 | 0 | 178k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
163.84/163.98 c 157s|320000 | 772 | 0 | 0.0 |3318k| 821 | - | 998 | 674 | 0 | 0 | 0 | 184k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
168.83/168.95 c 162s|330000 | 765 | 0 | 0.0 |3315k| 821 | - | 998 | 674 | 0 | 0 | 0 | 189k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
174.03/174.11 c 166s|340000 | 766 | 0 | 0.0 |3316k| 821 | - | 998 | 674 | 0 | 0 | 0 | 195k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
179.33/179.47 c 172s|350000 | 767 | 0 | 0.0 |3314k| 821 | - | 998 | 674 | 0 | 0 | 0 | 201k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
184.64/184.76 c 177s|360000 | 769 | 0 | 0.0 |3319k| 821 | - | 998 | 674 | 0 | 0 | 0 | 206k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
189.83/189.90 c 182s|370000 | 767 | 0 | 0.0 |3318k| 821 | - | 998 | 674 | 0 | 0 | 0 | 212k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
195.03/195.17 c 187s|380000 | 766 | 0 | 0.0 |3317k| 821 | - | 998 | 674 | 0 | 0 | 0 | 218k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
200.03/200.19 c 191s|390000 | 767 | 0 | 0.0 |3315k| 821 | - | 998 | 674 | 0 | 0 | 0 | 224k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
205.32/205.46 c 197s|400000 | 766 | 0 | 0.0 |3317k| 821 | - | 998 | 674 | 0 | 0 | 0 | 230k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
210.42/210.59 c 201s|410000 | 763 | 0 | 0.0 |3318k| 821 | - | 998 | 674 | 0 | 0 | 0 | 236k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
215.72/215.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.72/215.80 c 206s|420000 | 766 | 0 | 0.0 |3317k| 821 | - | 998 | 674 | 0 | 0 | 0 | 241k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
220.62/220.73 c 211s|430000 | 763 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 247k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
225.42/225.51 c 216s|440000 | 765 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 252k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
230.42/230.51 c 221s|450000 | 766 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 258k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
235.32/235.46 c 225s|460000 | 770 | 0 | 0.0 |3318k| 821 | - | 998 | 674 | 0 | 0 | 0 | 264k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
240.21/240.36 c 230s|470000 | 766 | 0 | 0.0 |3315k| 821 | - | 998 | 674 | 0 | 0 | 0 | 269k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
245.22/245.32 c 235s|480000 | 764 | 0 | 0.0 |3317k| 821 | - | 998 | 674 | 0 | 0 | 0 | 275k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
250.51/250.65 c 240s|490000 | 764 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 281k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
256.00/256.13 c 245s|500000 | 765 | 0 | 0.0 |3315k| 821 | - | 998 | 674 | 0 | 0 | 0 | 287k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
261.30/261.40 c 250s|510000 | 762 | 0 | 0.0 |3317k| 821 | - | 998 | 674 | 0 | 0 | 0 | 293k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
266.50/266.70 c 255s|520000 | 762 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 299k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
271.70/271.80 c 260s|530000 | 766 | 0 | 0.0 |3318k| 821 | - | 998 | 674 | 0 | 0 | 0 | 304k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
276.60/276.79 c 265s|540000 | 761 | 0 | 0.0 |3314k| 821 | - | 998 | 674 | 0 | 0 | 0 | 310k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
281.70/281.88 c 270s|550000 | 763 | 0 | 0.0 |3315k| 821 | - | 998 | 674 | 0 | 0 | 0 | 315k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
286.90/287.00 c 275s|560000 | 766 | 0 | 0.0 |3319k| 821 | - | 998 | 674 | 0 | 0 | 0 | 321k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
291.99/292.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.99/292.14 c 280s|570000 | 764 | 0 | 0.0 |3317k| 821 | - | 998 | 674 | 0 | 0 | 0 | 327k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
297.09/297.24 c 285s|580000 | 766 | 0 | 0.0 |3317k| 821 | - | 998 | 674 | 0 | 0 | 0 | 332k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
302.19/302.39 c 290s|590000 | 762 | 0 | 0.0 |3318k| 821 | - | 998 | 674 | 0 | 0 | 0 | 338k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
307.19/307.30 c 294s|600000 | 764 | 0 | 0.0 |3319k| 821 | - | 998 | 674 | 0 | 0 | 0 | 344k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
312.20/312.32 c 299s|610000 | 760 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 349k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
317.29/317.45 c 304s|620000 | 760 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 355k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
322.59/322.72 c 309s|630000 | 762 | 0 | 0.0 |3315k| 821 | - | 998 | 674 | 0 | 0 | 0 | 361k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
327.59/327.76 c 314s|640000 | 762 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 366k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
332.78/332.95 c 319s|650000 | 764 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 | 372k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
338.18/338.37 c 324s|660000 | 759 | 0 | 0.0 |3318k| 821 | - | 998 | 674 | 0 | 0 | 0 | 378k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
343.48/343.69 c 329s|670000 | 766 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 384k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
348.78/348.95 c 334s|680000 | 759 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 390k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
353.78/353.98 c 339s|690000 | 762 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 395k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
358.88/359.05 c 344s|700000 | 764 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 | 401k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
364.08/364.20 c 349s|710000 | 763 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 407k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
369.17/369.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.17/369.34 c 354s|720000 | 762 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 412k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
374.27/374.47 c 359s|730000 | 759 | 0 | 0.0 |3318k| 821 | - | 998 | 674 | 0 | 0 | 0 | 418k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
379.38/379.51 c 363s|740000 | 765 | 0 | 0.0 |3319k| 821 | - | 998 | 674 | 0 | 0 | 0 | 423k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
384.57/384.71 c 368s|750000 | 771 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 429k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
389.77/389.91 c 373s|760000 | 762 | 0 | 0.0 |3318k| 821 | - | 998 | 674 | 0 | 0 | 0 | 435k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
394.97/395.18 c 379s|770000 | 760 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 | 441k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
400.17/400.35 c 383s|780000 | 761 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 446k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
405.36/405.53 c 388s|790000 | 756 | 0 | 0.0 |3315k| 821 | - | 998 | 674 | 0 | 0 | 0 | 452k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
410.36/410.58 c 393s|800000 | 760 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 | 458k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
415.67/415.82 c 398s|810000 | 762 | 0 | 0.0 |3318k| 821 | - | 998 | 674 | 0 | 0 | 0 | 464k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
420.65/420.88 c 403s|820000 | 762 | 0 | 0.0 |3330k| 821 | - | 998 | 674 | 0 | 0 | 0 | 469k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
425.76/425.91 c 408s|830000 | 765 | 0 | 0.0 |3319k| 821 | - | 998 | 674 | 0 | 0 | 0 | 475k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
430.75/430.91 c 413s|840000 | 763 | 0 | 0.0 |3318k| 821 | - | 998 | 674 | 0 | 0 | 0 | 480k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
435.65/435.85 c 418s|850000 | 765 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 486k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
440.55/440.76 c 422s|860000 | 761 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 | 491k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
445.55/445.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.55/445.76 c 427s|870000 | 760 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 | 497k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
450.25/450.42 c 432s|880000 | 763 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 502k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
455.05/455.27 c 436s|890000 | 760 | 0 | 0.0 |3318k| 821 | - | 998 | 674 | 0 | 0 | 0 | 507k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
459.84/460.09 c 441s|900000 | 760 | 0 | 0.0 |3330k| 821 | - | 998 | 674 | 0 | 0 | 0 | 513k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
464.45/464.65 c 445s|910000 | 762 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 | 518k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
468.95/469.12 c 449s|920000 | 762 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 523k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
473.55/473.75 c 454s|930000 | 763 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 528k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
478.44/478.60 c 459s|940000 | 762 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 | 534k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
483.14/483.31 c 463s|950000 | 763 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 539k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
488.04/488.29 c 468s|960000 | 763 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 | 545k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
493.43/493.67 c 473s|970000 | 762 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 551k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
498.73/498.90 c 478s|980000 | 763 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 | 557k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
503.93/504.12 c 483s|990000 | 764 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 562k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
509.23/509.41 c 488s| 1000k| 756 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 | 568k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
514.43/514.65 c 493s| 1010k| 764 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 574k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
519.53/519.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.53/519.77 c 498s| 1020k| 761 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 | 580k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
524.73/524.94 c 503s| 1030k| 765 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 586k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
530.12/530.34 c 508s| 1040k| 759 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 592k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
535.22/535.49 c 513s| 1050k| 772 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 | 597k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
540.42/540.60 c 518s| 1060k| 761 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 603k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
545.52/545.75 c 523s| 1070k| 758 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 | 608k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
550.62/550.86 c 528s| 1080k| 757 | 0 | 0.0 |3318k| 821 | - | 998 | 674 | 0 | 0 | 0 | 614k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
555.72/555.95 c 533s| 1090k| 761 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 | 619k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
560.91/561.15 c 538s| 1100k| 764 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 625k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
566.12/566.34 c 543s| 1110k| 762 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 631k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
571.21/571.43 c 547s| 1120k| 761 | 0 | 0.0 |3332k| 821 | - | 998 | 674 | 0 | 0 | 0 | 636k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
576.41/576.65 c 552s| 1130k| 760 | 0 | 0.0 |3319k| 821 | - | 998 | 674 | 0 | 0 | 0 | 642k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
581.41/581.60 c 557s| 1140k| 769 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 | 647k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
586.41/586.64 c 562s| 1150k| 761 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 653k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
591.52/591.78 c 567s| 1160k| 761 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 | 659k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
596.61/596.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.61/596.84 c 572s| 1170k| 760 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 | 664k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
601.61/601.89 c 577s| 1180k| 760 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 670k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
606.80/607.00 c 582s| 1190k| 762 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 676k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
612.10/612.34 c 587s| 1200k| 759 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 | 681k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
617.60/617.81 c 592s| 1210k| 759 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 | 687k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
622.79/623.05 c 597s| 1220k| 761 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 693k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
627.91/628.18 c 602s| 1230k| 760 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 699k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
633.10/633.31 c 607s| 1240k| 757 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 705k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
637.99/638.28 c 611s| 1250k| 763 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 | 710k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
643.09/643.34 c 616s| 1260k| 761 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 716k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
648.39/648.67 c 621s| 1270k| 757 | 0 | 0.0 |3334k| 821 | - | 998 | 674 | 0 | 0 | 0 | 722k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
653.79/654.02 c 627s| 1280k| 757 | 0 | 0.0 |3332k| 821 | - | 998 | 674 | 0 | 0 | 0 | 728k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
658.89/659.18 c 632s| 1290k| 759 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 733k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
663.99/664.23 c 636s| 1300k| 758 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 | 739k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
669.38/669.67 c 642s| 1310k| 759 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 | 745k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
674.38/674.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.38/674.69 c 646s| 1320k| 763 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 | 750k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
679.58/679.89 c 651s| 1330k| 760 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 | 756k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
684.68/684.96 c 656s| 1340k| 761 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 762k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
690.17/690.45 c 661s| 1350k| 762 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 | 768k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
695.57/695.80 c 667s| 1360k| 760 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 773k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
700.67/700.98 c 672s| 1370k| 761 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 779k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
705.88/706.11 c 676s| 1380k| 758 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 785k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
710.87/711.20 c 681s| 1390k| 757 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 | 791k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
716.37/716.68 c 687s| 1400k| 757 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 | 797k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
721.77/722.01 c 692s| 1410k| 760 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 803k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
727.27/727.52 c 697s| 1420k| 761 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 | 809k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
732.46/732.79 c 702s| 1430k| 758 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 | 814k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
737.67/737.93 c 707s| 1440k| 759 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 | 820k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
742.77/743.03 c 712s| 1450k| 756 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 | 826k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
747.86/748.15 c 717s| 1460k| 762 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 | 831k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
753.16/753.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.16/753.49 c 722s| 1470k| 758 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 | 837k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
758.56/758.80 c 727s| 1480k| 759 | 0 | 0.0 |3330k| 821 | - | 998 | 674 | 0 | 0 | 0 | 843k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
763.76/764.05 c 732s| 1490k| 760 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 | 849k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
769.15/769.42 c 737s| 1500k| 758 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 | 855k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
774.55/774.83 c 742s| 1510k| 759 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 | 861k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
779.96/780.22 c 748s| 1520k| 757 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 867k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
785.16/785.45 c 753s| 1530k| 764 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 | 873k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
790.85/791.13 c 758s| 1540k| 760 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 | 879k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
796.05/796.32 c 763s| 1550k| 757 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 885k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
801.44/801.74 c 768s| 1560k| 761 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 | 890k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
806.75/807.07 c 773s| 1570k| 755 | 0 | 0.0 |3320k| 821 | - | 998 | 674 | 0 | 0 | 0 | 896k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
812.04/812.34 c 778s| 1580k| 757 | 0 | 0.0 |3333k| 821 | - | 998 | 674 | 0 | 0 | 0 | 902k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
817.44/817.73 c 783s| 1590k| 756 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 | 908k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
822.64/822.90 c 788s| 1600k| 758 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 914k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
827.84/828.14 c 793s| 1610k| 760 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 | 920k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
833.23/833.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.23/833.52 c 799s| 1620k| 756 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 | 925k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
838.63/838.99 c 804s| 1630k| 757 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 | 931k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
844.13/844.42 c 809s| 1640k| 756 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 | 937k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
849.24/849.55 c 814s| 1650k| 761 | 0 | 0.0 |3330k| 821 | - | 998 | 674 | 0 | 0 | 0 | 943k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
854.53/854.84 c 819s| 1660k| 758 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 | 948k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
860.02/860.31 c 824s| 1670k| 761 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 | 954k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
865.23/865.56 c 829s| 1680k| 759 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 | 960k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
870.42/870.76 c 834s| 1690k| 767 | 0 | 0.0 |3333k| 821 | - | 998 | 674 | 0 | 0 | 0 | 966k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
875.63/875.93 c 839s| 1700k| 762 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 | 971k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
880.73/881.09 c 844s| 1710k| 759 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 | 977k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
885.92/886.25 c 849s| 1720k| 760 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 | 983k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
891.12/891.46 c 854s| 1730k| 759 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 | 989k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
896.32/896.66 c 859s| 1740k| 760 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 | 994k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
901.51/901.86 c 864s| 1750k| 762 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1000k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
906.92/907.27 c 869s| 1760k| 757 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 |1006k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
912.41/912.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.41/912.70 c 875s| 1770k| 758 | 0 | 0.0 |3330k| 821 | - | 998 | 674 | 0 | 0 | 0 |1012k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
917.52/917.88 c 880s| 1780k| 758 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1018k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
922.81/923.19 c 885s| 1790k| 766 | 0 | 0.0 |3331k| 821 | - | 998 | 674 | 0 | 0 | 0 |1023k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
928.02/928.39 c 890s| 1800k| 758 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1029k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
933.21/933.59 c 895s| 1810k| 758 | 0 | 0.0 |3338k| 821 | - | 998 | 674 | 0 | 0 | 0 |1035k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
938.50/938.82 c 900s| 1820k| 757 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 |1041k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
943.61/943.93 c 905s| 1830k| 757 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 |1046k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
948.61/948.99 c 909s| 1840k| 762 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1052k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
953.90/954.26 c 914s| 1850k| 760 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1058k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
959.20/959.51 c 920s| 1860k| 757 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1064k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
964.19/964.56 c 924s| 1870k| 762 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1069k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
969.49/969.83 c 929s| 1880k| 760 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1075k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
975.09/975.41 c 935s| 1890k| 761 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1081k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
980.39/980.74 c 940s| 1900k| 761 | 0 | 0.0 |3332k| 821 | - | 998 | 674 | 0 | 0 | 0 |1087k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
985.59/985.99 c 945s| 1910k| 759 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 |1093k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
990.89/991.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.89/991.24 c 950s| 1920k| 758 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1099k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
996.09/996.49 c 955s| 1930k| 763 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1105k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1001.39/1001.72 c 960s| 1940k| 759 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1110k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1006.49/1006.82 c 965s| 1950k| 758 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1116k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1011.69/1012.06 c 970s| 1960k| 761 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1122k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1016.98/1017.30 c 975s| 1970k| 762 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1128k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1022.18/1022.51 c 980s| 1980k| 756 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1133k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1027.38/1027.73 c 985s| 1990k| 761 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1139k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1032.87/1033.25 c 990s| 2000k| 757 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 |1145k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1038.48/1038.84 c 996s| 2010k| 756 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1151k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1043.68/1044.01 c 1001s| 2020k| 760 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1157k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1048.87/1049.20 c 1006s| 2030k| 758 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1163k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1054.07/1054.43 c 1011s| 2040k| 756 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 |1168k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1059.37/1059.72 c 1016s| 2050k| 760 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1174k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1064.48/1064.81 c 1021s| 2060k| 758 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 |1180k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1069.47/1069.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.47/1069.82 c 1025s| 2070k| 759 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1185k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1074.66/1075.00 c 1030s| 2080k| 759 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1191k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1079.77/1080.16 c 1035s| 2090k| 759 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1197k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1084.96/1085.32 c 1040s| 2100k| 756 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1203k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1089.96/1090.39 c 1045s| 2110k| 765 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1208k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1095.06/1095.49 c 1050s| 2120k| 757 | 0 | 0.0 |3334k| 821 | - | 998 | 674 | 0 | 0 | 0 |1214k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1100.06/1100.47 c 1055s| 2130k| 757 | 0 | 0.0 |3334k| 821 | - | 998 | 674 | 0 | 0 | 0 |1220k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1105.06/1105.48 c 1060s| 2140k| 758 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1225k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1109.66/1110.09 c 1064s| 2150k| 757 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 |1230k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1114.76/1115.12 c 1069s| 2160k| 754 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 |1236k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1119.45/1119.82 c 1073s| 2170k| 763 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1241k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1124.35/1124.72 c 1078s| 2180k| 759 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1246k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1129.05/1129.43 c 1083s| 2190k| 761 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1251k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1133.65/1134.01 c 1087s| 2200k| 761 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1256k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1138.24/1138.66 c 1091s| 2210k| 758 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1262k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1142.75/1143.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1142.75/1143.19 c 1096s| 2220k| 755 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 |1267k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1147.85/1148.29 c 1101s| 2230k| 759 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1272k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1152.64/1153.02 c 1105s| 2240k| 762 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1278k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1157.44/1157.81 c 1110s| 2250k| 755 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 |1283k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1162.25/1162.61 c 1114s| 2260k| 758 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 |1288k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1166.94/1167.37 c 1119s| 2270k| 755 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 |1293k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1171.84/1172.28 c 1124s| 2280k| 753 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1299k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1176.73/1177.19 c 1128s| 2290k| 761 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1304k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1181.74/1182.10 c 1133s| 2300k| 760 | 0 | 0.0 |3331k| 821 | - | 998 | 674 | 0 | 0 | 0 |1310k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1186.74/1187.18 c 1138s| 2310k| 759 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1315k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1191.43/1191.84 c 1142s| 2320k| 760 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1320k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1196.34/1196.79 c 1147s| 2330k| 757 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 |1326k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1201.22/1201.64 c 1152s| 2340k| 759 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1331k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1206.24/1206.70 c 1157s| 2350k| 757 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 |1337k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1210.92/1211.35 c 1161s| 2360k| 756 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1342k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1215.22/1215.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.22/1215.66 c 1165s| 2370k| 757 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1347k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1219.82/1220.24 c 1170s| 2380k| 762 | 0 | 0.0 |3333k| 821 | - | 998 | 674 | 0 | 0 | 0 |1352k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1224.72/1225.13 c 1174s| 2390k| 757 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1358k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1229.62/1230.01 c 1179s| 2400k| 756 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1363k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1234.42/1234.81 c 1183s| 2410k| 760 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1368k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1239.22/1239.65 c 1188s| 2420k| 760 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1374k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1244.22/1244.65 c 1193s| 2430k| 754 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1379k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1249.01/1249.48 c 1198s| 2440k| 756 | 0 | 0.0 |3322k| 821 | - | 998 | 674 | 0 | 0 | 0 |1384k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1253.91/1254.33 c 1202s| 2450k| 755 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1390k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1259.12/1259.51 c 1207s| 2460k| 761 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1395k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1264.11/1264.57 c 1212s| 2470k| 762 | 0 | 0.0 |3333k| 821 | - | 998 | 674 | 0 | 0 | 0 |1401k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1269.21/1269.60 c 1217s| 2480k| 759 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 |1406k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1274.51/1274.91 c 1222s| 2490k| 756 | 0 | 0.0 |3330k| 821 | - | 998 | 674 | 0 | 0 | 0 |1412k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1279.41/1279.84 c 1227s| 2500k| 757 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1418k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1284.80/1285.20 c 1232s| 2510k| 753 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 |1424k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1290.10/1290.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1290.10/1290.52 c 1237s| 2520k| 760 | 0 | 0.0 |3333k| 821 | - | 998 | 674 | 0 | 0 | 0 |1429k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1295.40/1295.82 c 1242s| 2530k| 757 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1435k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1300.30/1300.71 c 1247s| 2540k| 758 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1441k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1305.30/1305.78 c 1252s| 2550k| 759 | 0 | 0.0 |3332k| 821 | - | 998 | 674 | 0 | 0 | 0 |1446k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1310.29/1310.78 c 1256s| 2560k| 758 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1452k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1315.50/1315.97 c 1261s| 2570k| 757 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1458k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1320.60/1321.10 c 1266s| 2580k| 756 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1463k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1326.10/1326.54 c 1272s| 2590k| 757 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1469k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1331.19/1331.69 c 1276s| 2600k| 758 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1475k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1336.29/1336.79 c 1281s| 2610k| 764 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1480k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1341.88/1342.32 c 1287s| 2620k| 756 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1486k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1347.28/1347.71 c 1292s| 2630k| 758 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1492k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1352.38/1352.80 c 1297s| 2640k| 755 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1498k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1357.58/1358.00 c 1302s| 2650k| 761 | 0 | 0.0 |3330k| 821 | - | 998 | 674 | 0 | 0 | 0 |1504k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1362.78/1363.23 c 1307s| 2660k| 761 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 |1509k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1367.99/1368.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.99/1368.47 c 1312s| 2670k| 759 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1515k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1373.39/1373.82 c 1317s| 2680k| 763 | 0 | 0.0 |3334k| 821 | - | 998 | 674 | 0 | 0 | 0 |1520k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1378.78/1379.26 c 1322s| 2690k| 754 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1526k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1384.08/1384.58 c 1327s| 2700k| 757 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1532k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1389.37/1389.88 c 1332s| 2710k| 757 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1538k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1395.07/1395.59 c 1338s| 2720k| 758 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 |1544k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1400.57/1401.02 c 1343s| 2730k| 760 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1550k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1405.87/1406.40 c 1348s| 2740k| 756 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1556k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1411.26/1411.76 c 1353s| 2750k| 754 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1562k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1416.66/1417.10 c 1358s| 2760k| 761 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 |1568k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1421.96/1422.45 c 1364s| 2770k| 755 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1574k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1427.06/1427.51 c 1368s| 2780k| 760 | 0 | 0.0 |3333k| 821 | - | 998 | 674 | 0 | 0 | 0 |1579k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1432.16/1432.65 c 1373s| 2790k| 757 | 0 | 0.0 |3331k| 821 | - | 998 | 674 | 0 | 0 | 0 |1585k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1437.36/1437.85 c 1378s| 2800k| 758 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1591k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1442.55/1443.06 c 1383s| 2810k| 755 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1597k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1447.56/1448.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.56/1448.01 c 1388s| 2820k| 755 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1602k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1452.56/1453.05 c 1393s| 2830k| 750 | 0 | 0.0 |3321k| 821 | - | 998 | 674 | 0 | 0 | 0 |1608k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1457.85/1458.34 c 1398s| 2840k| 755 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1614k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1463.15/1463.62 c 1403s| 2850k| 759 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1619k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1468.25/1468.75 c 1408s| 2860k| 756 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1625k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1473.34/1473.84 c 1413s| 2870k| 760 | 0 | 0.0 |3331k| 821 | - | 998 | 674 | 0 | 0 | 0 |1631k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1478.55/1479.02 c 1418s| 2880k| 758 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1636k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1483.64/1484.17 c 1423s| 2890k| 756 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1642k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1488.95/1489.43 c 1428s| 2900k| 759 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1647k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1493.94/1494.47 c 1433s| 2910k| 764 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1653k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1499.14/1499.60 c 1438s| 2920k| 756 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1658k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1504.14/1504.65 c 1442s| 2930k| 757 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1664k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1509.13/1509.65 c 1447s| 2940k| 756 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1670k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1514.53/1515.03 c 1452s| 2950k| 757 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 |1676k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1519.84/1520.37 c 1458s| 2960k| 755 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1682k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1524.93/1525.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.93/1525.42 c 1462s| 2970k| 756 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1687k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1530.23/1530.71 c 1468s| 2980k| 758 | 0 | 0.0 |3331k| 821 | - | 998 | 674 | 0 | 0 | 0 |1693k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1535.33/1535.80 c 1472s| 2990k| 756 | 0 | 0.0 |3330k| 821 | - | 998 | 674 | 0 | 0 | 0 |1699k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1540.43/1540.93 c 1477s| 3000k| 760 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1704k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1545.62/1546.19 c 1482s| 3010k| 757 | 0 | 0.0 |3331k| 821 | - | 998 | 674 | 0 | 0 | 0 |1710k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1550.82/1551.32 c 1487s| 3020k| 756 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1715k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1556.03/1556.59 c 1492s| 3030k| 756 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1721k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1561.33/1561.82 c 1497s| 3040k| 757 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1727k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1566.62/1567.10 c 1502s| 3050k| 754 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1732k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1571.82/1572.35 c 1508s| 3060k| 756 | 0 | 0.0 |3335k| 821 | - | 998 | 674 | 0 | 0 | 0 |1738k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1577.12/1577.69 c 1513s| 3070k| 759 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1744k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1582.52/1583.02 c 1518s| 3080k| 757 | 0 | 0.0 |3330k| 821 | - | 998 | 674 | 0 | 0 | 0 |1750k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1588.11/1588.65 c 1523s| 3090k| 757 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1756k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1593.21/1593.79 c 1528s| 3100k| 753 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1762k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1598.51/1599.08 c 1533s| 3110k| 757 | 0 | 0.0 |3333k| 821 | - | 998 | 674 | 0 | 0 | 0 |1767k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1603.91/1604.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.91/1604.41 c 1538s| 3120k| 757 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1773k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1609.11/1609.66 c 1543s| 3130k| 753 | 0 | 0.0 |3336k| 821 | - | 998 | 674 | 0 | 0 | 0 |1779k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1614.31/1614.88 c 1548s| 3140k| 753 | 0 | 0.0 |3332k| 821 | - | 998 | 674 | 0 | 0 | 0 |1785k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1619.71/1620.28 c 1554s| 3150k| 750 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1791k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1625.50/1626.08 c 1559s| 3160k| 757 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1797k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1631.00/1631.50 c 1564s| 3170k| 756 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1802k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1636.40/1636.90 c 1570s| 3180k| 755 | 0 | 0.0 |3325k| 821 | - | 998 | 674 | 0 | 0 | 0 |1808k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1641.60/1642.14 c 1575s| 3190k| 756 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1814k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1646.80/1647.36 c 1580s| 3200k| 757 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1819k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1651.99/1652.57 c 1585s| 3210k| 755 | 0 | 0.0 |3331k| 821 | - | 998 | 674 | 0 | 0 | 0 |1825k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1657.30/1657.85 c 1590s| 3220k| 755 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 |1831k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1662.49/1663.05 c 1595s| 3230k| 756 | 0 | 0.0 |3334k| 821 | - | 998 | 674 | 0 | 0 | 0 |1836k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1667.58/1668.19 c 1600s| 3240k| 754 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1842k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1672.79/1673.38 c 1605s| 3250k| 758 | 0 | 0.0 |3330k| 821 | - | 998 | 674 | 0 | 0 | 0 |1847k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1678.10/1678.61 c 1610s| 3260k| 754 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1853k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1683.38/1683.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.38/1683.96 c 1615s| 3270k| 759 | 0 | 0.0 |3332k| 821 | - | 998 | 674 | 0 | 0 | 0 |1859k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1688.68/1689.22 c 1620s| 3280k| 754 | 0 | 0.0 |3326k| 821 | - | 998 | 674 | 0 | 0 | 0 |1864k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1693.88/1694.47 c 1625s| 3290k| 758 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1870k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1699.28/1699.86 c 1630s| 3300k| 756 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1876k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1704.39/1704.96 c 1635s| 3310k| 756 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1881k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1709.68/1710.24 c 1640s| 3320k| 753 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1887k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1715.08/1715.67 c 1645s| 3330k| 752 | 0 | 0.0 |3331k| 821 | - | 998 | 674 | 0 | 0 | 0 |1893k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1720.47/1721.08 c 1650s| 3340k| 756 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1899k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1725.87/1726.41 c 1655s| 3350k| 755 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1905k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1730.88/1731.47 c 1660s| 3360k| 755 | 0 | 0.0 |3324k| 821 | - | 998 | 674 | 0 | 0 | 0 |1910k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1736.17/1736.76 c 1665s| 3370k| 751 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1916k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1741.17/1741.78 c 1670s| 3380k| 753 | 0 | 0.0 |3323k| 821 | - | 998 | 674 | 0 | 0 | 0 |1922k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1746.56/1747.19 c 1675s| 3390k| 754 | 0 | 0.0 |3332k| 821 | - | 998 | 674 | 0 | 0 | 0 |1927k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1752.06/1752.60 c 1681s| 3400k| 756 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1933k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1757.27/1757.85 c 1686s| 3410k| 756 | 0 | 0.0 |3330k| 821 | - | 998 | 674 | 0 | 0 | 0 |1939k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1762.37/1762.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.37/1762.97 c 1691s| 3420k| 758 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 |1945k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1767.87/1768.41 c 1696s| 3430k| 755 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1950k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1773.16/1773.72 c 1701s| 3440k| 758 | 0 | 0.0 |3330k| 821 | - | 998 | 674 | 0 | 0 | 0 |1956k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1778.25/1778.81 c 1706s| 3450k| 755 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 |1962k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1783.46/1784.08 c 1711s| 3460k| 755 | 0 | 0.0 |3329k| 821 | - | 998 | 674 | 0 | 0 | 0 |1968k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1788.56/1789.13 c 1716s| 3470k| 755 | 0 | 0.0 |3327k| 821 | - | 998 | 674 | 0 | 0 | 0 |1973k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1793.85/1794.42 c 1721s| 3480k| 758 | 0 | 0.0 |3328k| 821 | - | 998 | 674 | 0 | 0 | 0 |1979k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1799.06/1799.66 c 1726s| 3490k| 754 | 0 | 0.0 |3333k| 821 | - | 998 | 674 | 0 | 0 | 0 |1985k| 0 | 4.000000e+00 | 1.790000e+02 |4375.00%
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1726.72
1800.07/1800.61 c Solving Nodes : 3491851
1800.07/1800.61 c Primal Bound : +1.79000000000000e+02 (5 solutions)
1800.07/1800.61 c Dual Bound : +4.00000000000000e+00
1800.07/1800.61 c Gap : 4375.00 %
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 v -x1076 x1075 x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 x1066 x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058
1800.07/1800.61 v -x1057 x1056 -x1055 x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 x1041 -x1040 -x1039
1800.07/1800.61 v -x1038 -x1037 -x1036 x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021
1800.07/1800.61 v -x1020 x1019 -x1018 -x1017 -x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003
1800.07/1800.61 v -x1002 x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 x985 -x984 -x983 -x982
1800.07/1800.61 v -x981 -x980 -x979 -x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 x962 -x961
1800.07/1800.61 v -x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940
1800.07/1800.61 v -x939 x938 -x937 -x936 -x935 -x934 x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919
1800.07/1800.61 v -x918 -x917 -x916 -x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897
1800.07/1800.61 v -x896 -x895 -x894 x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 x876
1800.07/1800.61 v -x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855
1800.07/1800.61 v -x854 x853 -x852 x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834
1800.07/1800.61 v -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813
1800.07/1800.61 v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 -x794 -x793 -x792
1800.07/1800.61 v -x791 -x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
1800.07/1800.61 v -x770 -x769 -x768 -x767 -x766 x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 x751 -x750
1800.07/1800.61 v x749 x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 x732 -x731 x730 x729 -x728
1800.07/1800.61 v -x727 x726 -x725 -x724 -x723 x722 -x721 -x720 x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706
1800.07/1800.61 v -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685
1800.07/1800.61 v -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 x667 x666 -x665 x664
1800.07/1800.61 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 -x646 x645 -x644 -x643 -x642
1800.07/1800.61 v -x641 x640 x639 x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 x621
1800.07/1800.61 v -x620 x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599
1800.07/1800.61 v -x598 x597 -x596 -x595 -x594 -x593 -x592 x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 x578
1800.07/1800.61 v -x577 -x576 -x575 x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556
1800.07/1800.61 v -x555 -x554 x553 x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535
1800.07/1800.61 v -x534 -x533 -x532 x531 -x530 -x529 -x528 x527 -x526 x525 -x524 x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 x513
1800.07/1800.61 v x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491
1800.07/1800.61 v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
1800.07/1800.61 v x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 x450 x449
1800.07/1800.61 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 x430 -x429 -x428 -x427
1800.07/1800.61 v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 x408 -x407 -x406
1800.07/1800.61 v -x405 -x404 x403 -x402 x401 x400 -x399 -x398 -x397 x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 x384
1800.07/1800.61 v -x383 -x382 -x381 -x380 x379 -x378 -x377 x376 -x375 -x374 x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362
1800.07/1800.61 v -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 x342 x341
1800.07/1800.61 v -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320
1800.07/1800.61 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298
1800.07/1800.61 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 x286 x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277
1800.07/1800.61 v -x276 -x275 -x274 x273 x272 x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 x257 -x256 x255
1800.07/1800.61 v x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 x238 -x237 -x236 -x235 x234 -x233
1800.07/1800.61 v -x232 x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 x219 -x218 -x217 x216 -x215 -x214 -x213 -x212
1800.07/1800.61 v x211 -x210 -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190
1800.07/1800.61 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1800.07/1800.61 v -x168 -x167 x166 -x165 -x164 x163 -x162 -x161 -x160 x159 x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.07/1800.61 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 x129 -x128 -x127 -x126
1800.07/1800.61 v x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 x107 x106 -x105
1800.07/1800.61 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
1800.07/1800.61 v x79 -x78 x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.07/1800.62 v -x53 -x52 -x51 -x50 x49 x48 -x47 x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28
1800.07/1800.62 v -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 -x1
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time : 1726.72
1800.07/1800.62 c Original Problem :
1800.07/1800.62 c Problem name : HOME/instance-2664783-1276593580.opb
1800.07/1800.62 c Variables : 1076 (1076 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 1030 initial, 1030 maximal
1800.07/1800.62 c Presolved Problem :
1800.07/1800.62 c Problem name : t_HOME/instance-2664783-1276593580.opb
1800.07/1800.62 c Variables : 998 (998 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 674 initial, 674 maximal
1800.07/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c dualfix : 0.00 75 0 0 0 0 0 0 0
1800.07/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.62 c linear : 0.04 0 3 0 0 0 356 315 0
1800.07/1800.62 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.62 c root node : - 0 - - 0 - - - -
1800.07/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.62 c logicor : 674+ 0 5112320 0 2 1135247 4363718 0 0 0
1800.07/1800.62 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.07/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.62 c logicor : 601.62 0.00 601.62 0.00 0.00
1800.07/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.62 c vbounds : 5.52 2 0 0
1800.07/1800.62 c rootredcost : 4.96 0 0 0
1800.07/1800.62 c pseudoobj : 865.64 11548961 905957 44820898
1800.07/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.62 c propagation : 940.45 1974010 1974010 1974010 257.1 2451 251.9 -
1800.07/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c pseudo solution : 6.97 12361 12361 12361 254.3 291 250.6 -
1800.07/1800.62 c applied globally : - - - 0 0.0 - - -
1800.07/1800.62 c applied locally : - - - 1986371 257.0 - - -
1800.07/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.62 c redcost : 0.00 0 0 0 0 0
1800.07/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.62 c intobj : 0.00 0 0 0 0 0
1800.07/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.62 c gomory : 0.00 0 0 0 0 0
1800.07/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.62 c cmir : 0.00 0 0 0 0 0
1800.07/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.62 c clique : 0.00 0 0 0 0 0
1800.07/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.62 c mcf : 0.00 0 0 0 0 0
1800.07/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.62 c Pricers : Time Calls Vars
1800.07/1800.62 c problem variables: 0.00 0 0
1800.07/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.62 c inference : 35.70 2399693 0 0 0 0 4799386
1800.07/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c random : 0.00 0 0 0 0 0 0
1800.07/1800.62 c Primal Heuristics : Time Calls Found
1800.07/1800.62 c LP solutions : 0.00 - 0
1800.07/1800.62 c pseudo solutions : 0.00 - 2
1800.07/1800.62 c oneopt : 2.34 0 0
1800.07/1800.62 c trivial : 0.01 2 3
1800.07/1800.62 c simplerounding : 0.00 0 0
1800.07/1800.62 c zirounding : 0.00 0 0
1800.07/1800.62 c rounding : 0.00 0 0
1800.07/1800.62 c shifting : 0.00 0 0
1800.07/1800.62 c intshifting : 0.00 0 0
1800.07/1800.62 c twoopt : 0.00 0 0
1800.07/1800.62 c fixandinfer : 0.00 0 0
1800.07/1800.62 c feaspump : 0.00 0 0
1800.07/1800.62 c coefdiving : 0.00 0 0
1800.07/1800.62 c pscostdiving : 0.00 0 0
1800.07/1800.62 c fracdiving : 0.00 0 0
1800.07/1800.62 c veclendiving : 0.00 0 0
1800.07/1800.62 c intdiving : 0.00 0 0
1800.07/1800.62 c actconsdiving : 0.00 0 0
1800.07/1800.62 c objpscostdiving : 0.00 0 0
1800.07/1800.62 c rootsoldiving : 0.00 0 0
1800.07/1800.62 c linesearchdiving : 0.00 0 0
1800.07/1800.62 c guideddiving : 0.00 0 0
1800.07/1800.62 c octane : 0.00 0 0
1800.07/1800.62 c rens : 0.00 0 0
1800.07/1800.62 c rins : 0.00 0 0
1800.07/1800.62 c localbranching : 0.00 0 0
1800.07/1800.62 c mutation : 0.00 0 0
1800.07/1800.62 c crossover : 0.00 0 0
1800.07/1800.62 c dins : 0.00 0 0
1800.07/1800.62 c undercover : 0.00 0 0
1800.07/1800.62 c nlp : 1.52 0 0
1800.07/1800.62 c trysol : 1.43 0 0
1800.07/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.62 c (at root node) : - 0 0 0.00 -
1800.07/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.62 c B&B Tree :
1800.07/1800.62 c number of runs : 1
1800.07/1800.62 c nodes : 3491851
1800.07/1800.62 c nodes (total) : 3491851
1800.07/1800.62 c nodes left : 757
1800.07/1800.62 c max depth : 821
1800.07/1800.62 c max depth (total): 821
1800.07/1800.62 c backtracks : 1178962 (33.8%)
1800.07/1800.62 c delayed cutoffs : 1018065
1800.07/1800.62 c repropagations : 1987545 (19527938 domain reductions, 961409 cutoffs)
1800.07/1800.62 c avg switch length: 2.21
1800.07/1800.62 c switching time : 48.02
1800.07/1800.62 c Solution :
1800.07/1800.62 c Solutions found : 5 (4 improvements)
1800.07/1800.62 c First Solution : +1.07600000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.07/1800.62 c Primal Bound : +1.79000000000000e+02 (in run 1, after 954 nodes, 0.27 seconds, depth 803, found by <relaxation>)
1800.07/1800.62 c Dual Bound : +4.00000000000000e+00
1800.07/1800.62 c Gap : 4375.00 %
1800.07/1800.62 c Root Dual Bound : +3.00000000000000e+00
1800.07/1800.62 c Root Iterations : 0
1800.07/1800.63 c Time complete: 1800.08.