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-2664060-1276422251.opb>
0.09/0.14 c original problem has 1900 variables (1900 bin, 0 int, 0 impl, 0 cont) and 7639 constraints
0.09/0.14 c problem read
0.09/0.14 c presolving settings loaded
0.09/0.14 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.09/0.17 c presolving:
0.19/0.24 c (round 1) 20 del vars, 20 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 49060 impls, 0 clqs
0.29/0.31 c (round 2) 20 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6789 upgd conss, 49060 impls, 0 clqs
0.29/0.35 c (round 3) 20 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7579 upgd conss, 49060 impls, 0 clqs
0.39/0.44 c (0.2s) probing: 101/1880 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.44 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.44 c presolving (4 rounds):
0.39/0.44 c 20 deleted vars, 60 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.44 c 49060 implications, 0 cliques
0.39/0.44 c presolved problem has 1880 variables (1880 bin, 0 int, 0 impl, 0 cont) and 7579 constraints
0.39/0.44 c 7579 constraints of type <logicor>
0.39/0.44 c transformed objective value is always integral (scale: 1)
0.39/0.44 c Presolving Time: 0.24
0.39/0.44 c - non default parameters ----------------------------------------------------------------------
0.39/0.44 c # SCIP version 1.2.1.2
0.39/0.44 c
0.39/0.44 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c conflict/interconss = 0
0.39/0.44 c
0.39/0.44 c # should binary conflicts be preferred?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c conflict/preferbinary = TRUE
0.39/0.44 c
0.39/0.44 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.44 c constraints/agelimit = 1
0.39/0.44 c
0.39/0.44 c # should enforcement of pseudo solution be disabled?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/disableenfops = TRUE
0.39/0.44 c
0.39/0.44 c # frequency for displaying node information lines
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.44 c display/freq = 10000
0.39/0.44 c
0.39/0.44 c # maximal time in seconds to run
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/time = 1799.87
0.39/0.44 c
0.39/0.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/memory = 1620
0.39/0.44 c
0.39/0.44 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.44 c lp/solvefreq = -1
0.39/0.44 c
0.39/0.44 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.39/0.44 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.44 c lp/pricing = a
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify inequalities
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/linear/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify knapsacks
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # priority of node selection rule <dfs> in standard mode
0.39/0.44 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.44 c nodeselection/dfs/stdpriority = 1000000
0.39/0.44 c
0.39/0.44 c -----------------------------------------------------------------------------------------------
0.39/0.44 c start solving
0.39/0.45 c
0.39/0.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.45 c 0.3s| 1 | 2 | 0 | - | 11M| 0 | - |1880 |7579 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.73 o 882
0.69/0.73 c * 0.5s| 303 | 194 | 0 | 0.0 | 11M| 204 | - |1880 |7583 | 0 | 0 | 0 | 53 | 0 | 1.000000e+00 | 8.820000e+02 | Large
1.29/1.34 o 880
1.29/1.34 c * 1.1s| 889 | 148 | 0 | 0.0 | 11M| 204 | - |1880 |7586 | 0 | 0 | 0 | 123 | 0 | 1.000000e+00 | 8.800000e+02 | Large
1.99/2.05 o 878
1.99/2.05 c * 1.8s| 1605 | 147 | 0 | 0.0 | 11M| 206 | - |1880 |7587 | 0 | 0 | 0 | 203 | 0 | 1.000000e+00 | 8.780000e+02 | Large
3.49/3.51 o 876
3.49/3.51 c * 3.2s| 2974 | 144 | 0 | 0.0 | 11M| 209 | - |1880 |7588 | 0 | 0 | 0 | 411 | 0 | 1.000000e+00 | 8.760000e+02 | Large
4.99/5.06 o 874
4.99/5.06 c * 4.8s| 4610 | 143 | 0 | 0.0 | 11M| 211 | - |1880 |7594 | 0 | 0 | 0 | 621 | 0 | 1.000000e+00 | 8.740000e+02 | Large
6.59/6.62 o 872
6.59/6.62 c * 6.3s| 6313 | 140 | 0 | 0.0 | 11M| 215 | - |1880 |7602 | 0 | 0 | 0 | 848 | 0 | 1.000000e+00 | 8.720000e+02 | Large
8.49/8.53 o 870
8.49/8.53 c * 8.2s| 8531 | 138 | 0 | 0.0 | 11M| 218 | - |1880 |7612 | 0 | 0 | 0 |1105 | 0 | 1.000000e+00 | 8.700000e+02 | Large
9.90/9.93 c 9.5s| 10000 | 141 | 0 | 0.0 | 11M| 218 | - |1880 |7598 | 0 | 0 | 0 |1305 | 0 | 1.000000e+00 | 8.700000e+02 | Large
10.19/10.25 o 868
10.19/10.25 c * 9.8s| 10389 | 137 | 0 | 0.0 | 11M| 221 | - |1880 |7611 | 0 | 0 | 0 |1359 | 0 | 1.000000e+00 | 8.680000e+02 | Large
20.38/20.49 c 19.9s| 20000 | 135 | 0 | 0.0 | 11M| 221 | - |1880 |7597 | 0 | 0 | 0 |3129 | 0 | 1.000000e+00 | 8.680000e+02 | Large
32.48/32.53 c 31.7s| 30000 | 134 | 0 | 0.0 | 11M| 221 | - |1880 |7605 | 0 | 0 | 0 |5456 | 0 | 1.000000e+00 | 8.680000e+02 | Large
45.58/45.67 c 44.6s| 40000 | 135 | 0 | 0.0 | 11M| 221 | - |1880 |7605 | 0 | 0 | 0 |8213 | 0 | 1.000000e+00 | 8.680000e+02 | Large
59.08/59.14 c 57.9s| 50000 | 133 | 0 | 0.0 | 11M| 221 | - |1880 |7621 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 8.680000e+02 | Large
71.07/71.19 c 69.7s| 60000 | 133 | 0 | 0.0 | 11M| 221 | - |1880 |7606 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 8.680000e+02 | Large
83.17/83.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.17/83.29 c 81.6s| 70000 | 130 | 0 | 0.0 | 11M| 221 | - |1880 |7620 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 8.680000e+02 | Large
94.97/95.01 c 93.1s| 80000 | 132 | 0 | 0.0 | 11M| 221 | - |1880 |7601 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 8.680000e+02 | Large
108.56/108.60 c 106s| 90000 | 132 | 0 | 0.0 | 11M| 221 | - |1880 |7619 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 8.680000e+02 | Large
120.75/120.87 c 118s|100000 | 132 | 0 | 0.0 | 11M| 221 | - |1880 |7599 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 8.680000e+02 | Large
132.55/132.64 c 130s|110000 | 138 | 0 | 0.0 | 11M| 221 | - |1880 |7624 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 8.680000e+02 | Large
146.16/146.29 c 143s|120000 | 127 | 0 | 0.0 | 11M| 221 | - |1880 |7613 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 8.680000e+02 | Large
159.24/159.37 c 156s|130000 | 129 | 0 | 0.0 | 11M| 221 | - |1880 |7621 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 8.680000e+02 | Large
172.74/172.89 c 170s|140000 | 131 | 0 | 0.0 | 11M| 221 | - |1880 |7630 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 8.680000e+02 | Large
186.04/186.14 c 183s|150000 | 131 | 0 | 0.0 | 11M| 221 | - |1880 |7610 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 8.680000e+02 | Large
200.14/200.29 c 197s|160000 | 130 | 0 | 0.0 | 11M| 221 | - |1880 |7599 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 8.680000e+02 | Large
214.03/214.15 c 210s|170000 | 133 | 0 | 0.0 | 11M| 221 | - |1880 |7604 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 8.680000e+02 | Large
226.63/226.71 c 223s|180000 | 134 | 0 | 0.0 | 11M| 221 | - |1880 |7618 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 8.680000e+02 | Large
240.02/240.17 c 236s|190000 | 132 | 0 | 0.0 | 11M| 221 | - |1880 |7602 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 8.680000e+02 | Large
252.52/252.63 c 248s|200000 | 129 | 0 | 0.0 | 11M| 221 | - |1880 |7614 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 8.680000e+02 | Large
266.32/266.41 c 262s|210000 | 128 | 0 | 0.0 | 11M| 221 | - |1880 |7604 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 8.680000e+02 | Large
278.81/278.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.81/278.90 c 274s|220000 | 128 | 0 | 0.0 | 11M| 221 | - |1880 |7605 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 8.680000e+02 | Large
292.71/292.88 c 288s|230000 | 130 | 0 | 0.0 | 11M| 221 | - |1880 |7590 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 8.680000e+02 | Large
307.01/307.11 c 301s|240000 | 127 | 0 | 0.0 | 11M| 221 | - |1880 |7599 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 8.680000e+02 | Large
320.50/320.66 c 315s|250000 | 132 | 0 | 0.0 | 11M| 221 | - |1880 |7597 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 8.680000e+02 | Large
334.99/335.11 c 329s|260000 | 127 | 0 | 0.0 | 11M| 221 | - |1880 |7609 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 8.680000e+02 | Large
349.70/349.84 c 344s|270000 | 130 | 0 | 0.0 | 11M| 221 | - |1880 |7617 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 8.680000e+02 | Large
362.29/362.42 c 356s|280000 | 124 | 0 | 0.0 | 11M| 221 | - |1880 |7608 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 8.680000e+02 | Large
375.38/375.52 c 369s|290000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7616 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | 8.680000e+02 | Large
387.58/387.74 c 381s|300000 | 126 | 0 | 0.0 | 11M| 221 | - |1880 |7622 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 8.680000e+02 | Large
400.88/401.05 c 394s|310000 | 129 | 0 | 0.0 | 11M| 221 | - |1880 |7621 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 8.680000e+02 | Large
415.07/415.25 c 408s|320000 | 127 | 0 | 0.0 | 11M| 221 | - |1880 |7622 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 8.680000e+02 | Large
428.88/429.09 c 421s|330000 | 124 | 0 | 0.0 | 11M| 221 | - |1880 |7598 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 8.680000e+02 | Large
441.86/442.06 c 434s|340000 | 130 | 0 | 0.0 | 11M| 221 | - |1880 |7599 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 8.680000e+02 | Large
455.46/455.62 c 448s|350000 | 126 | 0 | 0.0 | 11M| 221 | - |1880 |7618 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 8.680000e+02 | Large
469.15/469.39 c 461s|360000 | 122 | 0 | 0.0 | 11M| 221 | - |1880 |7639 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 8.680000e+02 | Large
483.65/483.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.65/483.80 c 475s|370000 | 127 | 0 | 0.0 | 11M| 221 | - |1880 |7597 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 8.680000e+02 | Large
497.74/497.94 c 489s|380000 | 129 | 0 | 0.0 | 11M| 221 | - |1880 |7606 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 8.680000e+02 | Large
512.04/512.20 c 503s|390000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7589 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 8.680000e+02 | Large
528.14/528.34 c 519s|400000 | 130 | 0 | 0.0 | 11M| 221 | - |1880 |7604 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | 8.680000e+02 | Large
542.05/542.21 c 533s|410000 | 126 | 0 | 0.0 | 11M| 221 | - |1880 |7599 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | 8.680000e+02 | Large
557.83/558.07 c 548s|420000 | 124 | 0 | 0.0 | 11M| 221 | - |1880 |7615 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 8.680000e+02 | Large
572.33/572.57 c 563s|430000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7610 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | 8.680000e+02 | Large
587.62/587.81 c 578s|440000 | 129 | 0 | 0.0 | 11M| 221 | - |1880 |7619 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 8.680000e+02 | Large
602.92/603.16 c 593s|450000 | 128 | 0 | 0.0 | 11M| 221 | - |1880 |7624 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 8.680000e+02 | Large
618.02/618.25 c 608s|460000 | 122 | 0 | 0.0 | 11M| 221 | - |1880 |7635 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 8.680000e+02 | Large
633.42/633.69 c 623s|470000 | 126 | 0 | 0.0 | 11M| 221 | - |1880 |7614 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 8.680000e+02 | Large
646.40/646.66 c 635s|480000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7613 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 8.680000e+02 | Large
662.01/662.27 c 651s|490000 | 127 | 0 | 0.0 | 11M| 221 | - |1880 |7636 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 8.680000e+02 | Large
675.80/676.07 c 664s|500000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7623 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 8.680000e+02 | Large
689.69/689.92 c 678s|510000 | 126 | 0 | 0.0 | 11M| 221 | - |1880 |7616 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 8.680000e+02 | Large
703.79/704.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
703.79/704.02 c 692s|520000 | 127 | 0 | 0.0 | 11M| 221 | - |1880 |7621 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | 8.680000e+02 | Large
718.09/718.38 c 706s|530000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7632 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 8.680000e+02 | Large
733.17/733.47 c 721s|540000 | 121 | 0 | 0.0 | 11M| 221 | - |1880 |7655 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | 8.680000e+02 | Large
747.17/747.40 c 735s|550000 | 129 | 0 | 0.0 | 11M| 221 | - |1880 |7622 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 8.680000e+02 | Large
760.27/760.53 c 747s|560000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7607 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 8.680000e+02 | Large
773.26/773.58 c 760s|570000 | 130 | 0 | 0.0 | 11M| 221 | - |1880 |7607 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 8.680000e+02 | Large
786.56/786.82 c 773s|580000 | 122 | 0 | 0.0 | 11M| 221 | - |1880 |7642 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 8.680000e+02 | Large
799.65/799.94 c 786s|590000 | 126 | 0 | 0.0 | 11M| 221 | - |1880 |7634 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 8.680000e+02 | Large
812.55/812.81 c 799s|600000 | 130 | 0 | 0.0 | 11M| 221 | - |1880 |7621 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 8.680000e+02 | Large
825.44/825.76 c 812s|610000 | 124 | 0 | 0.0 | 11M| 221 | - |1880 |7604 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 8.680000e+02 | Large
837.34/837.68 c 823s|620000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7602 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 8.680000e+02 | Large
848.74/849.01 c 834s|630000 | 124 | 0 | 0.0 | 11M| 221 | - |1880 |7618 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 8.680000e+02 | Large
861.93/862.20 c 847s|640000 | 124 | 0 | 0.0 | 11M| 221 | - |1880 |7599 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 8.680000e+02 | Large
874.83/875.14 c 860s|650000 | 121 | 0 | 0.0 | 11M| 221 | - |1880 |7610 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | 8.680000e+02 | Large
887.33/887.62 c 872s|660000 | 122 | 0 | 0.0 | 11M| 221 | - |1880 |7620 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 8.680000e+02 | Large
898.43/898.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.43/898.71 c 883s|670000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7605 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 8.680000e+02 | Large
911.32/911.69 c 896s|680000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7622 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 8.680000e+02 | Large
923.31/923.70 c 908s|690000 | 121 | 0 | 0.0 | 11M| 221 | - |1880 |7624 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 8.680000e+02 | Large
936.11/936.44 c 920s|700000 | 127 | 0 | 0.0 | 11M| 221 | - |1880 |7591 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 8.680000e+02 | Large
950.20/950.59 c 934s|710000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7603 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | 8.680000e+02 | Large
965.10/965.44 c 949s|720000 | 127 | 0 | 0.0 | 11M| 221 | - |1880 |7594 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 8.680000e+02 | Large
980.50/980.86 c 964s|730000 | 123 | 0 | 0.0 | 11M| 221 | - |1880 |7596 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 8.680000e+02 | Large
995.59/995.90 c 979s|740000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7604 | 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1010.68/1011.05 c 994s|750000 | 126 | 0 | 0.0 | 11M| 221 | - |1880 |7641 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1025.57/1025.91 c 1008s|760000 | 123 | 0 | 0.0 | 11M| 221 | - |1880 |7618 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1040.36/1040.79 c 1023s|770000 | 123 | 0 | 0.0 | 11M| 221 | - |1880 |7626 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1055.15/1055.53 c 1038s|780000 | 120 | 0 | 0.0 | 11M| 221 | - |1880 |7658 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1069.55/1069.90 c 1052s|790000 | 124 | 0 | 0.0 | 11M| 221 | - |1880 |7600 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1083.75/1084.13 c 1066s|800000 | 126 | 0 | 0.0 | 11M| 221 | - |1880 |7611 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1099.24/1099.64 c 1081s|810000 | 126 | 0 | 0.0 | 11M| 221 | - |1880 |7600 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1112.94/1113.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.94/1113.39 c 1095s|820000 | 123 | 0 | 0.0 | 11M| 221 | - |1880 |7606 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1126.43/1126.89 c 1108s|830000 | 122 | 0 | 0.0 | 11M| 221 | - |1880 |7609 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1141.93/1142.33 c 1123s|840000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7609 | 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1156.92/1157.39 c 1138s|850000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7641 | 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1170.92/1171.37 c 1152s|860000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7637 | 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1185.42/1185.86 c 1166s|870000 | 124 | 0 | 0.0 | 11M| 221 | - |1880 |7617 | 0 | 0 | 0 | 255k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1199.91/1200.34 c 1180s|880000 | 128 | 0 | 0.0 | 11M| 221 | - |1880 |7594 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1214.81/1215.29 c 1195s|890000 | 124 | 0 | 0.0 | 11M| 221 | - |1880 |7602 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1228.50/1228.96 c 1208s|900000 | 124 | 0 | 0.0 | 11M| 221 | - |1880 |7597 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1241.60/1242.06 c 1221s|910000 | 123 | 0 | 0.0 | 11M| 221 | - |1880 |7625 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1255.49/1255.91 c 1235s|920000 | 125 | 0 | 0.0 | 11M| 221 | - |1880 |7612 | 0 | 0 | 0 | 269k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1270.99/1271.47 c 1250s|930000 | 122 | 0 | 0.0 | 11M| 221 | - |1880 |7601 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1285.08/1285.55 c 1264s|940000 | 124 | 0 | 0.0 | 11M| 221 | - |1880 |7638 | 0 | 0 | 0 | 276k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1298.39/1298.82 c 1277s|950000 | 122 | 0 | 0.0 | 11M| 221 | - |1880 |7622 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1313.18/1313.60 c 1292s|960000 | 131 | 0 | 0.0 | 11M| 221 | - |1880 |7615 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1328.08/1328.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1328.08/1328.53 c 1306s|970000 | 128 | 0 | 0.0 | 11M| 221 | - |1880 |7613 | 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1344.67/1345.10 c 1323s|980000 | 124 | 0 | 0.0 | 11M| 221 | - |1880 |7628 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1358.86/1359.39 c 1337s|990000 | 123 | 0 | 0.0 | 11M| 221 | - |1880 |7614 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1373.96/1374.48 c 1352s| 1000k| 126 | 0 | 0.0 | 11M| 221 | - |1880 |7635 | 0 | 0 | 0 | 296k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1388.76/1389.27 c 1366s| 1010k| 123 | 0 | 0.0 | 11M| 221 | - |1880 |7622 | 0 | 0 | 0 | 299k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1404.06/1404.59 c 1381s| 1020k| 121 | 0 | 0.0 | 11M| 221 | - |1880 |7626 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1418.64/1419.19 c 1396s| 1030k| 128 | 0 | 0.0 | 11M| 221 | - |1880 |7635 | 0 | 0 | 0 | 305k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1433.85/1434.34 c 1410s| 1040k| 124 | 0 | 0.0 | 11M| 221 | - |1880 |7631 | 0 | 0 | 0 | 308k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1447.64/1448.15 c 1424s| 1050k| 125 | 0 | 0.0 | 11M| 221 | - |1880 |7613 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1463.03/1463.50 c 1439s| 1060k| 126 | 0 | 0.0 | 11M| 221 | - |1880 |7619 | 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1477.84/1478.37 c 1454s| 1070k| 129 | 0 | 0.0 | 11M| 221 | - |1880 |7590 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1492.23/1492.75 c 1468s| 1080k| 124 | 0 | 0.0 | 11M| 221 | - |1880 |7591 | 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1505.12/1505.61 c 1481s| 1090k| 126 | 0 | 0.0 | 11M| 221 | - |1880 |7599 | 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1518.42/1518.97 c 1494s| 1100k| 129 | 0 | 0.0 | 11M| 221 | - |1880 |7603 | 0 | 0 | 0 | 326k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1533.42/1533.97 c 1508s| 1110k| 128 | 0 | 0.0 | 11M| 221 | - |1880 |7602 | 0 | 0 | 0 | 329k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1548.22/1548.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.22/1548.75 c 1523s| 1120k| 124 | 0 | 0.0 | 11M| 221 | - |1880 |7621 | 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1561.81/1562.38 c 1536s| 1130k| 126 | 0 | 0.0 | 11M| 221 | - |1880 |7610 | 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1577.80/1578.33 c 1552s| 1140k| 123 | 0 | 0.0 | 11M| 221 | - |1880 |7633 | 0 | 0 | 0 | 339k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1591.71/1592.27 c 1566s| 1150k| 129 | 0 | 0.0 | 11M| 221 | - |1880 |7612 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1606.89/1607.40 c 1581s| 1160k| 126 | 0 | 0.0 | 11M| 221 | - |1880 |7606 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1620.90/1621.47 c 1595s| 1170k| 123 | 0 | 0.0 | 11M| 221 | - |1880 |7619 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1635.78/1636.37 c 1609s| 1180k| 125 | 0 | 0.0 | 11M| 221 | - |1880 |7600 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1650.59/1651.17 c 1624s| 1190k| 124 | 0 | 0.0 | 11M| 221 | - |1880 |7613 | 0 | 0 | 0 | 355k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1664.18/1664.71 c 1637s| 1200k| 127 | 0 | 0.0 | 11M| 221 | - |1880 |7615 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1679.08/1679.62 c 1652s| 1210k| 125 | 0 | 0.0 | 11M| 221 | - |1880 |7617 | 0 | 0 | 0 | 361k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1694.58/1695.19 c 1667s| 1220k| 124 | 0 | 0.0 | 11M| 221 | - |1880 |7625 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1710.57/1711.10 c 1683s| 1230k| 129 | 0 | 0.0 | 11M| 221 | - |1880 |7615 | 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1725.27/1725.81 c 1697s| 1240k| 125 | 0 | 0.0 | 11M| 221 | - |1880 |7621 | 0 | 0 | 0 | 372k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1739.36/1739.90 c 1711s| 1250k| 126 | 0 | 0.0 | 11M| 221 | - |1880 |7620 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1753.36/1753.99 c 1725s| 1260k| 129 | 0 | 0.0 | 11M| 221 | - |1880 |7628 | 0 | 0 | 0 | 378k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1769.55/1770.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.55/1770.10 c 1741s| 1270k| 124 | 0 | 0.0 | 11M| 221 | - |1880 |7639 | 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1783.94/1784.58 c 1755s| 1280k| 126 | 0 | 0.0 | 11M| 221 | - |1880 |7650 | 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1798.25/1798.83 c 1769s| 1290k| 123 | 0 | 0.0 | 11M| 221 | - |1880 |7651 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 8.680000e+02 | Large
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1770.98
1800.05/1800.61 c Solving Nodes : 1291292
1800.05/1800.61 c Primal Bound : +8.68000000000000e+02 (8 solutions)
1800.05/1800.61 c Dual Bound : +1.00000000000000e+00
1800.05/1800.61 c Gap : 86700.00 %
1800.05/1800.62 s SATISFIABLE
1800.05/1800.62 v x1900 -x1899 -x1898 x1897 x1896 -x1895 x1894 -x1893 x1892 -x1891 x1890 -x1889 x1888 -x1887 x1886 -x1885 x1884 -x1883 x1882 -x1881
1800.05/1800.62 v x1880 -x1879 -x1878 x1877 x1876 -x1875 x1874 -x1873 x1872 -x1871 x1870 -x1869 x1868 -x1867 x1866 -x1865 x1864 -x1863 x1862
1800.05/1800.62 v -x1861 x1860 -x1859 -x1858 x1857 x1856 -x1855 x1854 -x1853 x1852 -x1851 x1850 -x1849 x1848 -x1847 x1846 -x1845 x1844 -x1843
1800.05/1800.62 v x1842 -x1841 x1840 -x1839 -x1838 x1837 x1836 -x1835 x1834 -x1833 x1832 -x1831 x1830 -x1829 x1828 -x1827 x1826 -x1825 x1824 -x1823
1800.05/1800.62 v x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805
1800.05/1800.62 v -x1804 -x1803 -x1802 x1801 x1800 -x1799 -x1798 x1797 x1796 -x1795 x1794 -x1793 x1792 -x1791 x1790 -x1789 x1788 -x1787 x1786
1800.05/1800.62 v -x1785 x1784 -x1783 x1782 -x1781 -x1780 -x1779 -x1778 x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768
1800.05/1800.62 v -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 x1760 -x1759 x1758 -x1757 x1756 -x1755 x1754 -x1753 x1752 -x1751 x1750 -x1749
1800.05/1800.62 v x1748 -x1747 x1746 -x1745 x1744 -x1743 -x1742 x1741 x1740 -x1739 -x1738 x1737 x1736 -x1735 x1734 -x1733 x1732 -x1731 x1730
1800.05/1800.62 v -x1729 x1728 -x1727 x1726 -x1725 x1724 -x1723 x1722 -x1721 x1720 -x1719 x1718 -x1717 x1716 -x1715 x1714 -x1713 x1712 -x1711
1800.05/1800.62 v x1710 -x1709 x1708 -x1707 x1706 -x1705 x1704 -x1703 -x1702 x1701 x1700 -x1699 x1698 -x1697 x1696 -x1695 x1694 -x1693 -x1692
1800.05/1800.62 v x1691 x1690 -x1689 x1688 -x1687 x1686 -x1685 x1684 -x1683 x1682 -x1681 x1680 -x1679 x1678 -x1677 x1676 -x1675 x1674 -x1673 x1672
1800.05/1800.62 v -x1671 x1670 -x1669 x1668 -x1667 x1666 -x1665 x1664 -x1663 -x1662 x1661 x1660 -x1659 x1658 -x1657 x1656 -x1655 x1654 -x1653
1800.05/1800.62 v x1652 -x1651 x1650 -x1649 x1648 -x1647 x1646 -x1645 x1644 -x1643 -x1642 x1641 x1640 -x1639 x1638 -x1637 x1636 -x1635 x1634
1800.05/1800.62 v -x1633 x1632 -x1631 x1630 -x1629 x1628 -x1627 x1626 -x1625 x1624 -x1623 -x1622 x1621 x1620 -x1619 -x1618 x1617 x1616 -x1615
1800.05/1800.62 v x1614 -x1613 x1612 -x1611 x1610 -x1609 x1608 -x1607 x1606 -x1605 x1604 -x1603 x1602 -x1601 x1600 -x1599 -x1598 -x1597 x1596 -x1595
1800.05/1800.62 v x1594 -x1593 -x1592 x1591 x1590 -x1589 x1588 -x1587 x1586 -x1585 x1584 -x1583 x1582 -x1581 x1580 -x1579 x1578 -x1577 x1576
1800.05/1800.62 v -x1575 x1574 -x1573 x1572 -x1571 x1570 -x1569 x1568 -x1567 x1566 -x1565 x1564 -x1563 -x1562 x1561 x1560 -x1559 -x1558 -x1557
1800.05/1800.62 v x1556 -x1555 x1554 -x1553 x1552 -x1551 x1550 -x1549 x1548 -x1547 x1546 -x1545 x1544 -x1543 -x1542 x1541 x1540 -x1539 -x1538
1800.05/1800.62 v x1537 x1536 -x1535 x1534 -x1533 x1532 -x1531 x1530 -x1529 x1528 -x1527 x1526 -x1525 x1524 -x1523 x1522 -x1521 x1520 -x1519
1800.05/1800.62 v x1518 -x1517 x1516 -x1515 x1514 -x1513 x1512 -x1511 x1510 -x1509 x1508 -x1507 x1506 -x1505 x1504 -x1503 -x1502 x1501 x1500 -x1499
1800.05/1800.62 v x1498 -x1497 x1496 -x1495 x1494 -x1493 x1492 -x1491 x1490 -x1489 x1488 -x1487 x1486 -x1485 x1484 -x1483 -x1482 x1481 x1480
1800.05/1800.62 v -x1479 -x1478 x1477 x1476 -x1475 x1474 -x1473 -x1472 -x1471 x1470 -x1469 x1468 -x1467 x1466 -x1465 x1464 -x1463 x1462 -x1461
1800.05/1800.62 v x1460 -x1459 -x1458 x1457 x1456 -x1455 x1454 -x1453 x1452 -x1451 x1450 -x1449 x1448 -x1447 x1446 -x1445 x1444 -x1443 x1442
1800.05/1800.62 v -x1441 x1440 -x1439 -x1438 x1437 x1436 -x1435 x1434 -x1433 x1432 -x1431 x1430 -x1429 x1428 -x1427 x1426 -x1425 x1424 -x1423
1800.05/1800.62 v x1422 -x1421 x1420 -x1419 -x1418 -x1417 x1416 -x1415 x1414 -x1413 -x1412 x1411 x1410 -x1409 x1408 -x1407 x1406 -x1405 x1404
1800.05/1800.62 v -x1403 -x1402 -x1401 x1400 -x1399 -x1398 -x1397 x1396 -x1395 x1394 -x1393 -x1392 x1391 x1390 -x1389 x1388 -x1387 x1386 -x1385
1800.05/1800.62 v x1384 -x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 x1376 -x1375 x1374 -x1373 -x1372 x1371 x1370 -x1369 x1368 -x1367 x1366
1800.05/1800.62 v -x1365 x1364 -x1363 x1362 -x1361 x1360 -x1359 -x1358 x1357 x1356 -x1355 x1354 -x1353 x1352 -x1351 x1350 -x1349 x1348 -x1347
1800.05/1800.62 v x1346 -x1345 x1344 -x1343 x1342 -x1341 x1340 -x1339 x1338 -x1337 x1336 -x1335 x1334 -x1333 x1332 -x1331 x1330 -x1329 x1328 -x1327
1800.05/1800.62 v x1326 -x1325 x1324 -x1323 -x1322 x1321 x1320 -x1319 -x1318 x1317 x1316 -x1315 x1314 -x1313 x1312 -x1311 x1310 -x1309 x1308
1800.05/1800.62 v -x1307 x1306 -x1305 x1304 -x1303 x1302 -x1301 x1300 -x1299 x1298 -x1297 x1296 -x1295 x1294 -x1293 -x1292 x1291 x1290 -x1289
1800.05/1800.62 v x1288 -x1287 x1286 -x1285 x1284 -x1283 -x1282 -x1281 x1280 -x1279 -x1278 -x1277 x1276 -x1275 x1274 -x1273 -x1272 -x1271 x1270
1800.05/1800.62 v -x1269 x1268 -x1267 x1266 -x1265 x1264 -x1263 -x1262 x1261 x1260 -x1259 x1258 -x1257 x1256 -x1255 x1254 -x1253 x1252 -x1251
1800.05/1800.62 v x1250 -x1249 x1248 -x1247 x1246 -x1245 x1244 -x1243 -x1242 x1241 x1240 -x1239 -x1238 -x1237 x1236 -x1235 x1234 -x1233 x1232
1800.05/1800.62 v -x1231 x1230 -x1229 x1228 -x1227 x1226 -x1225 x1224 -x1223 -x1222 x1221 x1220 -x1219 -x1218 -x1217 x1216 -x1215 x1214 -x1213
1800.05/1800.62 v -x1212 -x1211 x1210 -x1209 x1208 -x1207 x1206 -x1205 x1204 -x1203 -x1202 x1201 x1200 -x1199 -x1198 x1197 x1196 -x1195 x1194
1800.05/1800.62 v -x1193 -x1192 -x1191 x1190 -x1189 x1188 -x1187 x1186 -x1185 x1184 -x1183 x1182 -x1181 x1180 -x1179 -x1178 x1177 x1176 -x1175
1800.05/1800.62 v x1174 -x1173 x1172 -x1171 x1170 -x1169 x1168 -x1167 x1166 -x1165 x1164 -x1163 x1162 -x1161 x1160 -x1159 x1158 -x1157 x1156 -x1155
1800.05/1800.62 v x1154 -x1153 -x1152 x1151 x1150 -x1149 x1148 -x1147 x1146 -x1145 x1144 -x1143 -x1142 -x1141 x1140 -x1139 -x1138 -x1137 x1136
1800.05/1800.62 v -x1135 x1134 -x1133 x1132 -x1131 x1130 -x1129 x1128 -x1127 x1126 -x1125 x1124 -x1123 -x1122 x1121 x1120 -x1119 x1118 -x1117
1800.05/1800.62 v x1116 -x1115 x1114 -x1113 x1112 -x1111 x1110 -x1109 x1108 -x1107 x1106 -x1105 x1104 -x1103 -x1102 x1101 x1100 -x1099 -x1098
1800.05/1800.62 v -x1097 x1096 -x1095 x1094 -x1093 x1092 -x1091 x1090 -x1089 x1088 -x1087 x1086 -x1085 x1084 -x1083 -x1082 x1081 x1080 -x1079
1800.05/1800.62 v -x1078 -x1077 x1076 -x1075 x1074 -x1073 x1072 -x1071 x1070 -x1069 x1068 -x1067 x1066 -x1065 x1064 -x1063 -x1062 x1061 x1060
1800.05/1800.62 v -x1059 -x1058 x1057 x1056 -x1055 x1054 -x1053 -x1052 -x1051 x1050 -x1049 x1048 -x1047 x1046 -x1045 x1044 -x1043 x1042 -x1041
1800.05/1800.62 v x1040 -x1039 -x1038 -x1037 x1036 -x1035 x1034 -x1033 x1032 -x1031 x1030 -x1029 x1028 -x1027 x1026 -x1025 x1024 -x1023 -x1022
1800.05/1800.62 v x1021 x1020 -x1019 -x1018 -x1017 x1016 -x1015 x1014 -x1013 x1012 -x1011 x1010 -x1009 x1008 -x1007 x1006 -x1005 x1004 -x1003
1800.05/1800.62 v -x1002 x1001 x1000 -x999 -x998 x997 x996 -x995 x994 -x993 x992 -x991 x990 -x989 x988 -x987 x986 -x985 x984 -x983 x982 -x981 x980
1800.05/1800.62 v -x979 -x978 x977 x976 -x975 x974 -x973 x972 -x971 x970 -x969 x968 -x967 x966 -x965 x964 -x963 -x962 -x961 x960 -x959 -x958
1800.05/1800.62 v -x957 x956 -x955 x954 -x953 -x952 x951 x950 -x949 x948 -x947 x946 -x945 x944 -x943 x942 -x941 x940 -x939 -x938 x937 x936 -x935
1800.05/1800.62 v x934 -x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925 x924 -x923 x922 -x921 x920 -x919 x918 -x917 x916 -x915 x914 -x913
1800.05/1800.62 v x912 -x911 x910 -x909 x908 -x907 x906 -x905 x904 -x903 -x902 x901 x900 -x899 -x898 x897 x896 -x895 x894 -x893 -x892 -x891 x890
1800.05/1800.62 v -x889 x888 -x887 x886 -x885 x884 -x883 x882 -x881 x880 -x879 -x878 x877 x876 -x875 x874 -x873 x872 -x871 x870 -x869 x868 -x867
1800.05/1800.62 v x866 -x865 x864 -x863 x862 -x861 x860 -x859 -x858 x857 x856 -x855 x854 -x853 x852 -x851 x850 -x849 x848 -x847 x846 -x845
1800.05/1800.62 v x844 -x843 x842 -x841 x840 -x839 -x838 -x837 x836 -x835 x834 -x833 x832 -x831 x830 -x829 x828 -x827 x826 -x825 x824 -x823 -x822
1800.05/1800.62 v x821 x820 -x819 -x818 x817 x816 -x815 x814 -x813 x812 -x811 x810 -x809 x808 -x807 x806 -x805 x804 -x803 x802 -x801 x800 -x799
1800.05/1800.62 v -x798 x797 x796 -x795 x794 -x793 x792 -x791 x790 -x789 x788 -x787 x786 -x785 x784 -x783 -x782 -x781 x780 -x779 -x778 -x777
1800.05/1800.62 v x776 -x775 x774 -x773 -x772 x771 x770 -x769 x768 -x767 x766 -x765 x764 -x763 x762 -x761 x760 -x759 x758 -x757 x756 -x755 x754
1800.05/1800.62 v -x753 x752 -x751 x750 -x749 x748 -x747 x746 -x745 x744 -x743 -x742 x741 x740 -x739 -x738 x737 x736 -x735 x734 -x733 x732 -x731
1800.05/1800.62 v x730 -x729 x728 -x727 x726 -x725 x724 -x723 x722 -x721 x720 -x719 x718 -x717 x716 -x715 x714 -x713 x712 -x711 x710 -x709
1800.05/1800.62 v x708 -x707 x706 -x705 x704 -x703 -x702 x701 x700 -x699 x698 -x697 x696 -x695 x694 -x693 x692 -x691 x690 -x689 x688 -x687 x686
1800.05/1800.62 v -x685 x684 -x683 -x682 x681 x680 -x679 x678 -x677 x676 -x675 x674 -x673 x672 -x671 x670 -x669 x668 -x667 x666 -x665 x664 -x663
1800.05/1800.62 v -x662 x661 x660 -x659 -x658 -x657 x656 -x655 x654 -x653 x652 -x651 x650 -x649 x648 -x647 x646 -x645 x644 -x643 -x642 x641
1800.05/1800.62 v x640 -x639 x638 -x637 x636 -x635 x634 -x633 x632 -x631 x630 -x629 x628 -x627 x626 -x625 x624 -x623 -x622 x621 x620 -x619 x618
1800.05/1800.62 v -x617 x616 -x615 x614 -x613 x612 -x611 x610 -x609 x608 -x607 x606 -x605 x604 -x603 -x602 x601 x600 -x599 -x598 x597 x596 -x595
1800.05/1800.62 v x594 -x593 x592 -x591 x590 -x589 x588 -x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 -x578 x577 x576 -x575 x574 -x573
1800.05/1800.62 v x572 -x571 x570 -x569 x568 -x567 x566 -x565 x564 -x563 x562 -x561 x560 -x559 x558 -x557 x556 -x555 x554 -x553 -x552 x551 x550
1800.05/1800.62 v -x549 x548 -x547 x546 -x545 x544 -x543 -x542 -x541 x540 -x539 -x538 x537 x536 -x535 x534 -x533 x532 -x531 x530 -x529 x528 -x527
1800.05/1800.62 v x526 -x525 x524 -x523 x522 -x521 x520 -x519 -x518 -x517 x516 -x515 x514 -x513 x512 -x511 x510 -x509 x508 -x507 x506 -x505
1800.05/1800.62 v x504 -x503 -x502 x501 x500 -x499 -x498 -x497 x496 -x495 x494 -x493 -x492 x491 x490 -x489 x488 -x487 x486 -x485 x484 -x483 x482
1800.05/1800.62 v -x481 x480 -x479 -x478 x477 x476 -x475 x474 -x473 x472 -x471 x470 -x469 x468 -x467 x466 -x465 x464 -x463 x462 -x461 x460 -x459
1800.05/1800.62 v -x458 x457 x456 -x455 x454 -x453 x452 -x451 x450 -x449 x448 -x447 x446 -x445 x444 -x443 -x442 -x441 x440 -x439 -x438 x437
1800.05/1800.62 v x436 -x435 x434 -x433 x432 -x431 x430 -x429 x428 -x427 x426 -x425 x424 -x423 x422 -x421 x420 -x419 x418 -x417 x416 -x415 x414
1800.05/1800.62 v -x413 -x412 x411 x410 -x409 x408 -x407 x406 -x405 x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 x396 -x395 x394 -x393 -x392
1800.05/1800.62 v x391 x390 -x389 x388 -x387 x386 -x385 x384 -x383 -x382 -x381 x380 -x379 -x378 x377 x376 -x375 x374 -x373 x372 -x371 x370 -x369
1800.05/1800.62 v x368 -x367 x366 -x365 x364 -x363 x362 -x361 x360 -x359 x358 -x357 x356 -x355 x354 -x353 x352 -x351 x350 -x349 x348 -x347
1800.05/1800.62 v x346 -x345 x344 -x343 -x342 x341 x340 -x339 -x338 x337 x336 -x335 x334 -x333 x332 -x331 x330 -x329 x328 -x327 x326 -x325 x324
1800.05/1800.62 v -x323 x322 -x321 -x320 -x319 -x318 x317 -x316 x315 -x314 -x313 -x312 x311 x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302
1800.05/1800.62 v x301 -x300 x299 x298 -x297 x296 -x295 -x294 x293 x292 -x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279
1800.05/1800.62 v -x278 x277 -x276 x275 x274 -x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256
1800.05/1800.62 v -x255 -x254 x253 -x252 x251 -x250 -x249 -x248 x247 x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 x235 x234
1800.05/1800.62 v -x233 x232 -x231 -x230 x229 x228 -x227 -x226 x225 -x224 -x223 -x222 x221 -x220 x219 -x218 -x217 -x216 x215 x214 -x213 -x212
1800.05/1800.62 v x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 x203 x202 -x201 x200 -x199 -x198 x197 x196 -x195 -x194 x193 x192 -x191 -x190
1800.05/1800.62 v x189 -x188 x187 -x186 x185 -x184 x183 x182 -x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167
1800.05/1800.62 v -x166 x165 -x164 x163 -x162 x161 -x160 -x159 -x158 x157 -x156 x155 -x154 -x153 -x152 x151 x150 -x149 -x148 x147 -x146 -x145
1800.05/1800.62 v -x144 -x143 -x142 x141 -x140 x139 x138 -x137 x136 -x135 -x134 x133 x132 -x131 -x130 x129 -x128 -x127 -x126 x125 -x124 x123 -x122
1800.05/1800.62 v -x121 -x120 x119 x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 x107 x106 -x105 x104 -x103 -x102 x101 x100
1800.05/1800.62 v -x99 -x98 x97 -x96 -x95 -x94 x93 -x92 x91 -x90 -x89 -x88 x87 x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 x75 x74 -x73
1800.05/1800.62 v x72 -x71 -x70 x69 x68 -x67 -x66 x65 -x64 -x63 -x62 x61 -x60 x59 -x58 -x57 -x56 x55 x54 -x53 -x52 x51 -x50 -x49 -x48 -x47
1800.05/1800.62 v -x46 x45 -x44 x43 x42 -x41 x40 -x39 -x38 x37 x36 -x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 x26 -x25 -x24 x23 -x22 x21 -x20 x19
1800.05/1800.62 v -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time : 1770.98
1800.05/1800.62 c Original Problem :
1800.05/1800.62 c Problem name : HOME/instance-2664060-1276422251.opb
1800.05/1800.62 c Variables : 1900 (1900 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 7639 initial, 7639 maximal
1800.05/1800.62 c Presolved Problem :
1800.05/1800.62 c Problem name : t_HOME/instance-2664060-1276422251.opb
1800.05/1800.62 c Variables : 1880 (1880 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 7579 initial, 7688 maximal
1800.05/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c dualfix : 0.00 20 0 0 0 0 0 0 0
1800.05/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c probing : 0.06 0 0 0 0 0 0 0 0
1800.05/1800.62 c linear : 0.11 0 0 0 0 0 60 0 0
1800.05/1800.62 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.05/1800.62 c root node : - 0 - - 0 - - - -
1800.05/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.62 c logicor : 7579+ 0 1903483 0 8 387843 2440580 0 0 0
1800.05/1800.62 c countsols : 0 0 0 0 8 0 0 0 0 0
1800.05/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c logicor : 1075.81 0.00 1075.81 0.00 0.00
1800.05/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.62 c vbounds : 2.15 2 0 0
1800.05/1800.62 c rootredcost : 2.21 0 0 0
1800.05/1800.62 c pseudoobj : 504.50 4356838 310552 10470769
1800.05/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.62 c propagation : 1036.80 387843 387843 387843 122.7 67 128.0 -
1800.05/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c pseudo solution : 33.52 23186 0 0 0.0 0 0.0 -
1800.05/1800.62 c applied globally : - - - 387910 122.7 - - -
1800.05/1800.62 c applied locally : - - - 0 0.0 - - -
1800.05/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.62 c redcost : 0.00 0 0 0 0 0
1800.05/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.62 c intobj : 0.00 0 0 0 0 0
1800.05/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.62 c gomory : 0.00 0 0 0 0 0
1800.05/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.62 c cmir : 0.00 0 0 0 0 0
1800.05/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.62 c clique : 0.00 0 0 0 0 0
1800.05/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.62 c mcf : 0.00 0 0 0 0 0
1800.05/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.62 c Pricers : Time Calls Vars
1800.05/1800.62 c problem variables: 0.00 0 0
1800.05/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c inference : 20.40 745561 0 0 0 0 1491122
1800.05/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c random : 0.00 0 0 0 0 0 0
1800.05/1800.62 c Primal Heuristics : Time Calls Found
1800.05/1800.62 c LP solutions : 0.00 - 0
1800.05/1800.62 c pseudo solutions : 0.00 - 8
1800.05/1800.62 c oneopt : 1.26 0 0
1800.05/1800.62 c trivial : 0.00 2 0
1800.05/1800.62 c simplerounding : 0.00 0 0
1800.05/1800.62 c zirounding : 0.00 0 0
1800.05/1800.62 c rounding : 0.00 0 0
1800.05/1800.62 c shifting : 0.00 0 0
1800.05/1800.62 c intshifting : 0.00 0 0
1800.05/1800.62 c twoopt : 0.00 0 0
1800.05/1800.62 c fixandinfer : 0.00 0 0
1800.05/1800.62 c feaspump : 0.00 0 0
1800.05/1800.62 c coefdiving : 0.00 0 0
1800.05/1800.62 c pscostdiving : 0.00 0 0
1800.05/1800.62 c fracdiving : 0.00 0 0
1800.05/1800.62 c veclendiving : 0.00 0 0
1800.05/1800.62 c intdiving : 0.00 0 0
1800.05/1800.62 c actconsdiving : 0.00 0 0
1800.05/1800.62 c objpscostdiving : 0.00 0 0
1800.05/1800.62 c rootsoldiving : 0.00 0 0
1800.05/1800.62 c linesearchdiving : 0.00 0 0
1800.05/1800.62 c guideddiving : 0.00 0 0
1800.05/1800.62 c octane : 0.00 0 0
1800.05/1800.62 c rens : 0.00 0 0
1800.05/1800.62 c rins : 0.00 0 0
1800.05/1800.62 c localbranching : 0.00 0 0
1800.05/1800.62 c mutation : 0.00 0 0
1800.05/1800.62 c crossover : 0.00 0 0
1800.05/1800.62 c dins : 0.00 0 0
1800.05/1800.62 c undercover : 0.00 0 0
1800.05/1800.62 c nlp : 0.93 0 0
1800.05/1800.62 c trysol : 0.53 0 0
1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.62 c (at root node) : - 0 0 0.00 -
1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.62 c B&B Tree :
1800.05/1800.62 c number of runs : 1
1800.05/1800.62 c nodes : 1291292
1800.05/1800.62 c nodes (total) : 1291292
1800.05/1800.62 c nodes left : 122
1800.05/1800.62 c max depth : 221
1800.05/1800.62 c max depth (total): 221
1800.05/1800.62 c backtracks : 381373 (29.5%)
1800.05/1800.62 c delayed cutoffs : 192043
1800.05/1800.62 c repropagations : 303293 (2016930 domain reductions, 175858 cutoffs)
1800.05/1800.62 c avg switch length: 2.08
1800.05/1800.62 c switching time : 50.16
1800.05/1800.62 c Solution :
1800.05/1800.62 c Solutions found : 8 (8 improvements)
1800.05/1800.62 c First Solution : +8.82000000000000e+02 (in run 1, after 303 nodes, 0.53 seconds, depth 204, found by <relaxation>)
1800.05/1800.62 c Primal Bound : +8.68000000000000e+02 (in run 1, after 10389 nodes, 9.83 seconds, depth 221, found by <relaxation>)
1800.05/1800.62 c Dual Bound : +1.00000000000000e+00
1800.05/1800.62 c Gap : 86700.00 %
1800.05/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Root Iterations : 0
1800.05/1800.66 c Time complete: 1800.1.