0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665227-1276658915.opb>
0.39/0.42 c original problem has 38647 variables (38647 bin, 0 int, 0 impl, 0 cont) and 38647 constraints
0.39/0.42 c problem read
0.39/0.42 c presolving settings loaded
0.89/0.93 o 0
0.89/0.93 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.89/0.93 c presolving:
2.30/2.33 c (round 1) 37647 del vars, 1000 del conss, 37647 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150588 impls, 0 clqs
3.20/3.22 c (2.5s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.20/3.22 c (2.5s) probing aborted: 100/100 successive totally useless probings
3.20/3.22 c presolving (2 rounds):
3.20/3.22 c 37647 deleted vars, 1000 deleted constraints, 37647 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.20/3.22 c 225882 implications, 0 cliques
3.20/3.22 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37647 constraints
3.20/3.22 c 37647 constraints of type <logicor>
3.20/3.22 c transformed objective value is always integral (scale: 1)
3.20/3.22 c Presolving Time: 2.35
3.20/3.22 c - non default parameters ----------------------------------------------------------------------
3.20/3.22 c # SCIP version 1.2.1.2
3.20/3.22 c
3.20/3.22 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.20/3.22 c # [type: int, range: [-1,2147483647], default: -1]
3.20/3.22 c conflict/interconss = 0
3.20/3.22 c
3.20/3.22 c # should binary conflicts be preferred?
3.20/3.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.22 c conflict/preferbinary = TRUE
3.20/3.22 c
3.20/3.22 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.20/3.22 c # [type: int, range: [-1,2147483647], default: 0]
3.20/3.22 c constraints/agelimit = 1
3.20/3.22 c
3.20/3.22 c # should enforcement of pseudo solution be disabled?
3.20/3.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.22 c constraints/disableenfops = TRUE
3.20/3.22 c
3.20/3.22 c # frequency for displaying node information lines
3.20/3.22 c # [type: int, range: [-1,2147483647], default: 100]
3.20/3.22 c display/freq = 10000
3.20/3.22 c
3.20/3.22 c # maximal time in seconds to run
3.20/3.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.20/3.22 c limits/time = 1799.59
3.20/3.22 c
3.20/3.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.20/3.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.20/3.22 c limits/memory = 1620
3.20/3.22 c
3.20/3.22 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.20/3.22 c # [type: int, range: [-1,2147483647], default: 1]
3.20/3.22 c lp/solvefreq = 0
3.20/3.22 c
3.20/3.22 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)
3.20/3.22 c # [type: char, range: {lafpsqd}, default: l]
3.20/3.22 c lp/pricing = a
3.20/3.22 c
3.20/3.22 c # should presolving try to simplify inequalities
3.20/3.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.22 c constraints/linear/simplifyinequalities = TRUE
3.20/3.22 c
3.20/3.22 c # should presolving try to simplify knapsacks
3.20/3.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.22 c constraints/knapsack/simplifyinequalities = TRUE
3.20/3.22 c
3.20/3.22 c # priority of node selection rule <dfs> in standard mode
3.20/3.22 c # [type: int, range: [-536870912,536870911], default: 0]
3.20/3.22 c nodeselection/dfs/stdpriority = 1000000
3.20/3.22 c
3.20/3.22 c -----------------------------------------------------------------------------------------------
3.20/3.22 c start solving
3.20/3.23 c
3.79/3.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.79/3.84 c t 3.1s| 1 | 0 | 1125 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
3.89/3.94 o -1
3.89/3.94 c R 3.2s| 1 | 0 | 1125 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
3.99/4.05 o -2
3.99/4.05 c s 3.3s| 1 | 0 | 1125 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
5.69/5.71 c 4.9s| 1 | 0 | 1262 | - | 101M| 0 | 989 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.945000e+02 |-2.000000e+00 | 99.60%
5.69/5.75 o -51
5.69/5.75 c b 4.9s| 1 | 0 | 1262 | - | 101M| 0 | 989 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.945000e+02 |-5.100000e+01 | 89.69%
7.29/7.34 c 6.5s| 1 | 0 | 1358 | - | 101M| 0 | 984 |1000 | 37k|1000 | 37k| 13 | 0 | 0 |-4.920000e+02 |-5.100000e+01 | 89.63%
9.69/9.75 c 8.9s| 1 | 0 | 1571 | - | 101M| 0 | 974 |1000 | 37k|1000 | 37k| 21 | 0 | 0 |-4.870000e+02 |-5.100000e+01 | 89.53%
12.10/12.16 c 11.2s| 1 | 0 | 1765 | - | 101M| 0 | 969 |1000 | 37k|1000 | 37k| 26 | 0 | 0 |-4.845000e+02 |-5.100000e+01 | 89.47%
13.49/13.58 c 12.6s| 1 | 0 | 1808 | - | 101M| 0 | 965 |1000 | 37k|1000 | 37k| 31 | 0 | 0 |-4.825000e+02 |-5.100000e+01 | 89.43%
16.50/16.57 c 15.6s| 1 | 0 | 2086 | - | 101M| 0 | 955 |1000 | 37k|1000 | 37k| 42 | 0 | 0 |-4.775000e+02 |-5.100000e+01 | 89.32%
19.09/19.19 c 18.2s| 1 | 0 | 2274 | - | 101M| 0 | 948 |1000 | 37k|1000 | 37k| 49 | 0 | 0 |-4.740000e+02 |-5.100000e+01 | 89.24%
22.19/22.28 c 21.2s| 1 | 0 | 2520 | - | 101M| 0 | 941 |1000 | 37k|1000 | 37k| 56 | 0 | 0 |-4.705000e+02 |-5.100000e+01 | 89.16%
26.79/26.83 c 25.8s| 1 | 0 | 2872 | - | 101M| 0 | 936 |1000 | 37k|1000 | 37k| 62 | 0 | 0 |-4.680000e+02 |-5.100000e+01 | 89.10%
30.28/30.33 c 29.2s| 1 | 0 | 3120 | - | 101M| 0 | 929 |1000 | 37k|1000 | 37k| 68 | 0 | 0 |-4.645000e+02 |-5.100000e+01 | 89.02%
35.58/35.61 c 34.4s| 1 | 0 | 3639 | - | 102M| 0 | 923 |1000 | 37k|1000 |1361 | 76 | 0 | 0 |-4.615000e+02 |-5.100000e+01 | 88.95%
36.08/36.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.08/36.13 c 35.0s| 1 | 0 | 4056 | - | 102M| 0 | 896 |1000 | 37k|1000 |1370 | 85 | 0 | 0 |-4.600000e+02 |-5.100000e+01 | 88.91%
36.88/36.90 c 35.7s| 1 | 0 | 4603 | - | 102M| 0 | 915 |1000 | 37k|1000 |2219 | 934 | 0 | 0 |-4.551667e+02 |-5.100000e+01 | 88.80%
38.59/38.65 c 37.5s| 1 | 0 | 5110 | - | 102M| 0 | 907 |1000 | 37k|1000 |4219 |2934 | 0 | 0 |-4.535000e+02 |-5.100000e+01 | 88.75%
39.18/39.24 c 38.0s| 1 | 0 | 5422 | - | 102M| 0 | 907 |1000 | 37k|1000 |4226 |2941 | 0 | 0 |-4.525000e+02 |-5.100000e+01 | 88.73%
40.38/40.40 c 39.2s| 1 | 0 | 6344 | - | 102M| 0 | 895 |1000 | 37k|1000 |4234 |2949 | 0 | 0 |-4.495000e+02 |-5.100000e+01 | 88.65%
41.58/41.65 c 40.4s| 1 | 0 | 7194 | - | 103M| 0 | 895 |1000 | 37k|1000 |3959 |3067 | 0 | 0 |-4.475000e+02 |-5.100000e+01 | 88.60%
42.59/42.60 c 41.4s| 1 | 0 | 7965 | - | 103M| 0 | 893 |1000 | 37k|1000 |3966 |3074 | 0 | 0 |-4.465000e+02 |-5.100000e+01 | 88.58%
43.28/43.38 c 42.1s| 1 | 0 | 8620 | - | 103M| 0 | 915 |1000 | 37k|1000 |3974 |3082 | 0 | 0 |-4.435000e+02 |-5.100000e+01 | 88.50%
46.78/46.81 c 45.6s| 1 | 0 | 8812 | - | 103M| 0 | 888 |1000 | 37k|1000 |5974 |5082 | 0 | 0 |-4.435000e+02 |-5.100000e+01 | 88.50%
47.78/47.89 c 46.6s| 1 | 0 | 9385 | - | 103M| 0 | 881 |1000 | 37k|1000 |6031 |5139 | 0 | 0 |-4.415000e+02 |-5.100000e+01 | 88.45%
48.88/48.90 c 47.6s| 1 | 0 | 9993 | - | 103M| 0 | 879 |1000 | 37k|1000 |6108 |5216 | 0 | 0 |-4.395000e+02 |-5.100000e+01 | 88.40%
50.98/51.01 c 49.7s| 1 | 0 | 11699 | - | 103M| 0 | 885 |1000 | 37k|1000 |5084 |5224 | 0 | 0 |-4.372500e+02 |-5.100000e+01 | 88.34%
52.18/52.20 c 50.9s| 1 | 0 | 12691 | - | 103M| 0 | 863 |1000 | 37k|1000 |5389 |5529 | 0 | 0 |-4.345000e+02 |-5.100000e+01 | 88.26%
53.08/53.18 c 51.9s| 1 | 0 | 13466 | - | 103M| 0 | 865 |1000 | 37k|1000 |5554 |5694 | 0 | 0 |-4.325000e+02 |-5.100000e+01 | 88.21%
54.68/54.70 c 53.4s| 1 | 0 | 14808 | - | 103M| 0 | 862 |1000 | 37k|1000 |5560 |5700 | 0 | 0 |-4.310000e+02 |-5.100000e+01 | 88.17%
56.18/56.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.18/56.22 c 54.9s| 1 | 0 | 16003 | - | 103M| 0 | 859 |1000 | 37k|1000 |5566 |5706 | 0 | 0 |-4.285000e+02 |-5.100000e+01 | 88.10%
57.27/57.37 c 56.0s| 1 | 0 | 16882 | - | 104M| 0 | 848 |1000 | 37k|1000 |5681 |5821 | 0 | 0 |-4.270000e+02 |-5.100000e+01 | 88.06%
58.88/58.95 c 57.6s| 1 | 0 | 18003 | - | 104M| 0 | 854 |1000 | 37k|1000 |5518 |6018 | 0 | 0 |-4.250000e+02 |-5.100000e+01 | 88.00%
60.07/60.13 c 58.8s| 1 | 0 | 19031 | - | 104M| 0 | 837 |1000 | 37k|1000 |5527 |6027 | 0 | 0 |-4.225000e+02 |-5.100000e+01 | 87.93%
61.68/61.70 c 60.3s| 1 | 0 | 20283 | - | 104M| 0 | 836 |1000 | 37k|1000 |5762 |6262 | 0 | 0 |-4.190000e+02 |-5.100000e+01 | 87.83%
63.08/63.10 c 61.7s| 1 | 0 | 21539 | - | 104M| 0 | 831 |1000 | 37k|1000 |5877 |6377 | 0 | 0 |-4.173333e+02 |-5.100000e+01 | 87.78%
64.08/64.10 c 62.7s| 1 | 0 | 22570 | - | 104M| 0 | 829 |1000 | 37k|1000 |6002 |6502 | 0 | 0 |-4.143333e+02 |-5.100000e+01 | 87.69%
65.18/65.28 c 63.9s| 1 | 0 | 23617 | - | 104M| 0 | 823 |1000 | 37k|1000 |6012 |6512 | 0 | 0 |-4.120000e+02 |-5.100000e+01 | 87.62%
66.67/66.70 c 65.3s| 1 | 0 | 24674 | - | 104M| 0 | 816 |1000 | 37k|1000 |5435 |6584 | 0 | 0 |-4.100000e+02 |-5.100000e+01 | 87.56%
68.08/68.20 c 66.8s| 1 | 0 | 25869 | - | 105M| 0 | 813 |1000 | 37k|1000 |5543 |6692 | 0 | 0 |-4.085000e+02 |-5.100000e+01 | 87.52%
69.18/69.28 c 67.8s| 1 | 0 | 26935 | - | 105M| 0 | 860 |1000 | 37k|1000 |5638 |6787 | 0 | 0 |-4.065714e+02 |-5.100000e+01 | 87.46%
71.97/72.05 c 70.6s| 1 | 0 | 27063 | - | 105M| 0 | 831 |1000 | 37k|1000 |7638 |8787 | 0 | 0 |-4.065000e+02 |-5.100000e+01 | 87.45%
73.07/73.16 c 71.7s| 1 | 0 | 27800 | - | 105M| 0 | 810 |1000 | 37k|1000 |7651 |8800 | 0 | 0 |-4.035000e+02 |-5.100000e+01 | 87.36%
74.57/74.62 c 73.2s| 1 | 0 | 28770 | - | 105M| 0 | 803 |1000 | 37k|1000 |7717 |8866 | 0 | 0 |-4.015000e+02 |-5.100000e+01 | 87.30%
76.27/76.30 c 74.8s| 1 | 0 | 29705 | - | 105M| 0 | 805 |1000 | 37k|1000 |7120 |8874 | 0 | 0 |-3.997500e+02 |-5.100000e+01 | 87.24%
78.67/78.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.67/78.79 c 77.3s| 1 | 0 | 31105 | - | 105M| 0 | 796 |1000 | 37k|1000 |7196 |8950 | 0 | 0 |-3.990000e+02 |-5.100000e+01 | 87.22%
80.18/80.28 c 78.8s| 1 | 0 | 31882 | - | 105M| 0 | 812 |1000 | 37k|1000 |7322 |9076 | 0 | 0 |-3.978333e+02 |-5.100000e+01 | 87.18%
81.87/81.98 c 80.4s| 1 | 0 | 32845 | - | 105M| 0 | 803 |1000 | 37k|1000 |7331 |9085 | 0 | 0 |-3.965000e+02 |-5.100000e+01 | 87.14%
85.87/85.97 c 84.4s| 1 | 0 | 35019 | - | 105M| 0 | 786 |1000 | 37k|1000 |7340 |9094 | 0 | 0 |-3.940000e+02 |-5.100000e+01 | 87.06%
87.67/87.71 c 86.1s| 1 | 0 | 35981 | - | 106M| 0 | 795 |1000 | 37k|1000 |7459 |9213 | 0 | 0 |-3.935000e+02 |-5.100000e+01 | 87.04%
92.07/92.12 c 90.5s| 1 | 0 | 38172 | - | 106M| 0 | 781 |1000 | 37k|1000 |7054 |9377 | 0 | 0 |-3.900000e+02 |-5.100000e+01 | 86.92%
94.86/94.99 c 93.3s| 1 | 0 | 39765 | - | 106M| 0 | 778 |1000 | 37k|1000 |7115 |9438 | 0 | 0 |-3.880000e+02 |-5.100000e+01 | 86.86%
98.17/98.22 c 96.5s| 1 | 0 | 41535 | - | 106M| 0 | 778 |1000 | 37k|1000 |7192 |9515 | 0 | 0 |-3.870000e+02 |-5.100000e+01 | 86.82%
100.86/100.90 c 99.2s| 1 | 0 | 43079 | - | 106M| 0 | 775 |1000 | 37k|1000 |7327 |9650 | 0 | 0 |-3.860000e+02 |-5.100000e+01 | 86.79%
104.37/104.49 c 103s| 1 | 0 | 44926 | - | 107M| 0 | 775 |1000 | 37k|1000 |7335 |9658 | 0 | 0 |-3.855000e+02 |-5.100000e+01 | 86.77%
106.67/106.78 c 105s| 1 | 0 | 46145 | - | 107M| 0 | 785 |1000 | 37k|1000 |7390 |9713 | 0 | 0 |-3.845000e+02 |-5.100000e+01 | 86.74%
109.56/109.60 c 108s| 1 | 0 | 47520 | - | 107M| 0 | 779 |1000 | 37k|1000 |7030 |9725 | 0 | 0 |-3.840000e+02 |-5.100000e+01 | 86.72%
111.77/111.81 c 110s| 1 | 0 | 48873 | - | 107M| 0 | 785 |1000 | 37k|1000 |7040 |9735 | 0 | 0 |-3.832500e+02 |-5.100000e+01 | 86.69%
114.07/114.18 c 112s| 1 | 0 | 50201 | - | 107M| 0 | 766 |1000 | 37k|1000 |7091 |9786 | 0 | 0 |-3.825000e+02 |-5.100000e+01 | 86.67%
116.47/116.54 c 115s| 1 | 0 | 51483 | - | 107M| 0 | 762 |1000 | 37k|1000 |7098 |9793 | 0 | 0 |-3.815000e+02 |-5.100000e+01 | 86.63%
119.06/119.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.06/119.12 c 117s| 1 | 0 | 52819 | - | 108M| 0 | 773 |1000 | 37k|1000 |7150 |9845 | 0 | 0 |-3.805000e+02 |-5.100000e+01 | 86.60%
121.66/121.76 c 120s| 1 | 0 | 54241 | - | 108M| 0 | 769 |1000 | 37k|1000 |7224 |9919 | 0 | 0 |-3.800000e+02 |-5.100000e+01 | 86.58%
126.06/126.10 c 124s| 1 | 0 | 56575 | - | 108M| 0 | 757 |1000 | 37k|1000 |6859 |9973 | 0 | 0 |-3.790000e+02 |-5.100000e+01 | 86.54%
127.26/127.31 c 125s| 1 | 0 | 57296 | - | 108M| 0 | 757 |1000 | 37k|1000 |6904 | 10k| 0 | 0 |-3.780000e+02 |-5.100000e+01 | 86.51%
129.67/129.73 c 128s| 1 | 0 | 58663 | - | 108M| 0 | 762 |1000 | 37k|1000 |6959 | 10k| 0 | 0 |-3.771667e+02 |-5.100000e+01 | 86.48%
131.87/131.92 c 130s| 1 | 0 | 60338 | - | 108M| 0 | 777 |1000 | 37k|1000 |7011 | 10k| 0 | 0 |-3.757917e+02 |-5.100000e+01 | 86.43%
133.56/133.60 c 132s| 1 | 0 | 61373 | - | 108M| 0 | 746 |1000 | 37k|1000 |7311 | 10k| 0 | 0 |-3.750000e+02 |-5.100000e+01 | 86.40%
135.36/135.48 c 133s| 1 | 0 | 62555 | - | 108M| 0 | 758 |1000 | 37k|1000 |7445 | 10k| 0 | 0 |-3.743333e+02 |-5.100000e+01 | 86.38%
137.15/137.29 c 135s| 1 | 0 | 63679 | - | 109M| 0 | 749 |1000 | 37k|1000 |7194 | 10k| 0 | 0 |-3.738000e+02 |-5.100000e+01 | 86.36%
138.57/138.63 c 137s| 1 | 0 | 64585 | - | 109M| 0 | 764 |1000 | 37k|1000 |7201 | 10k| 0 | 0 |-3.730000e+02 |-5.100000e+01 | 86.33%
141.96/142.04 c 140s| 1 | 0 | 66263 | - | 109M| 0 | 766 |1000 | 37k|1000 |7212 | 10k| 0 | 0 |-3.720000e+02 |-5.100000e+01 | 86.29%
145.36/145.42 c 143s| 1 | 0 | 68224 | - | 109M| 0 | 741 |1000 | 37k|1000 |7226 | 10k| 0 | 0 |-3.715000e+02 |-5.100000e+01 | 86.27%
147.96/148.01 c 146s| 1 | 0 | 69675 | - | 109M| 0 | 772 |1000 | 37k|1000 |7288 | 10k| 0 | 0 |-3.702500e+02 |-5.100000e+01 | 86.23%
150.56/150.69 c 148s| 1 | 0 | 71310 | - | 109M| 0 | 761 |1000 | 37k|1000 |7417 | 10k| 0 | 0 |-3.690000e+02 |-5.100000e+01 | 86.18%
153.96/154.02 c 152s| 1 | 0 | 73412 | - | 110M| 0 | 741 |1000 | 37k|1000 |7267 | 10k| 0 | 0 |-3.680000e+02 |-5.100000e+01 | 86.14%
157.35/157.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.35/157.45 c 155s| 1 | 0 | 75502 | - | 110M| 0 | 742 |1000 | 37k|1000 |7281 | 10k| 0 | 0 |-3.675000e+02 |-5.100000e+01 | 86.12%
161.66/161.79 c 159s| 1 | 0 | 78258 | - | 110M| 0 | 761 |1000 | 37k|1000 |7289 | 10k| 0 | 0 |-3.655000e+02 |-5.100000e+01 | 86.05%
166.25/166.35 c 164s| 1 | 0 | 81099 | - | 110M| 0 | 741 |1000 | 37k|1000 |7338 | 10k| 0 | 0 |-3.645000e+02 |-5.100000e+01 | 86.01%
170.85/170.96 c 169s| 1 | 0 | 83645 | - | 110M| 0 | 787 |1000 | 37k|1000 |7393 | 10k| 0 | 0 |-3.635333e+02 |-5.100000e+01 | 85.97%
176.45/176.55 c 174s| 1 | 0 | 86504 | - | 111M| 0 | 720 |1000 | 37k|1000 |7932 | 11k| 0 | 0 |-3.610000e+02 |-5.100000e+01 | 85.87%
178.55/178.61 c 176s| 1 | 0 | 87706 | - | 111M| 0 | 750 |1000 | 37k|1000 |7538 | 11k| 0 | 0 |-3.592500e+02 |-5.100000e+01 | 85.80%
180.05/180.18 c 178s| 1 | 0 | 88876 | - | 112M| 0 | 723 |1000 | 37k|1000 |7550 | 11k| 0 | 0 |-3.588091e+02 |-5.100000e+01 | 85.79%
181.95/182.01 c 179s| 1 | 0 | 90342 | - | 112M| 0 | 753 |1000 | 37k|1000 |7559 | 11k| 0 | 0 |-3.584539e+02 |-5.100000e+01 | 85.77%
183.34/183.45 c 181s| 1 | 0 | 91238 | - | 112M| 0 | 767 |1000 | 37k|1000 |7680 | 11k| 0 | 0 |-3.578750e+02 |-5.100000e+01 | 85.75%
185.14/185.26 c 183s| 1 | 0 | 92323 | - | 112M| 0 | 718 |1000 | 37k|1000 |7690 | 11k| 0 | 0 |-3.565000e+02 |-5.100000e+01 | 85.69%
189.65/189.73 c 187s| 1 | 0 | 94940 | - | 112M| 0 | 711 |1000 | 37k|1000 |7741 | 11k| 0 | 0 |-3.555000e+02 |-5.100000e+01 | 85.65%
192.75/192.84 c 190s| 1 | 0 | 97142 | - | 112M| 0 | 727 |1000 | 37k|1000 |7528 | 11k| 0 | 0 |-3.546739e+02 |-5.100000e+01 | 85.62%
194.75/194.85 c 192s| 1 | 0 | 98648 | - | 113M| 0 | 717 |1000 | 37k|1000 |7742 | 11k| 0 | 0 |-3.527500e+02 |-5.100000e+01 | 85.54%
200.15/200.28 c 198s| 1 | 0 |101801 | - | 113M| 0 | 842 |1000 | 37k|1000 |7792 | 12k| 0 | 0 |-3.513881e+02 |-5.100000e+01 | 85.49%
205.25/205.37 c 203s| 1 | 0 |102656 | - | 114M| 0 | 778 |1000 | 37k|1000 |9792 | 14k| 0 | 0 |-3.511250e+02 |-5.100000e+01 | 85.48%
207.15/207.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.15/207.25 c 204s| 1 | 0 |103573 | - | 115M| 0 | 768 |1000 | 37k|1000 |9803 | 14k| 0 | 0 |-3.505357e+02 |-5.100000e+01 | 85.45%
209.04/209.13 c 206s| 1 | 0 |104525 | - | 115M| 0 | 760 |1000 | 37k|1000 |9813 | 14k| 0 | 0 |-3.500833e+02 |-5.100000e+01 | 85.43%
212.25/212.39 c 210s| 1 | 0 |106241 | - | 116M| 0 | 748 |1000 | 37k|1000 |9263 | 14k| 0 | 0 |-3.492206e+02 |-5.100000e+01 | 85.40%
214.54/214.68 c 212s| 1 | 0 |107536 | - | 116M| 0 | 748 |1000 | 37k|1000 |9274 | 14k| 0 | 0 |-3.480000e+02 |-5.100000e+01 | 85.34%
220.64/220.80 c 218s| 1 | 0 |110186 | - | 116M| 0 | 772 |1000 | 37k|1000 |9315 | 14k| 0 | 0 |-3.475000e+02 |-5.100000e+01 | 85.32%
225.44/225.56 c 223s| 1 | 0 |112196 | - | 117M| 0 | 742 |1000 | 37k|1000 |9329 | 14k| 0 | 0 |-3.460000e+02 |-5.100000e+01 | 85.26%
232.62/232.79 c 230s| 1 | 0 |115161 | - | 118M| 0 | 758 |1000 | 37k|1000 |9388 | 14k| 0 | 0 |-3.457647e+02 |-5.100000e+01 | 85.25%
240.63/240.80 c 238s| 1 | 0 |118420 | - | 118M| 0 | 745 |1000 | 37k|1000 |9397 | 14k| 0 | 0 |-3.449500e+02 |-5.100000e+01 | 85.22%
243.23/243.37 c 240s| 1 | 0 |119651 | - | 119M| 0 | 781 |1000 | 37k|1000 |9010 | 14k| 0 | 0 |-3.438261e+02 |-5.100000e+01 | 85.17%
245.53/245.62 c 242s| 1 | 0 |120853 | - | 120M| 0 | 771 |1000 | 37k|1000 |9161 | 14k| 0 | 0 |-3.422705e+02 |-5.100000e+01 | 85.10%
247.93/248.06 c 245s| 1 | 0 |122074 | - | 121M| 0 | 727 |1000 | 37k|1000 |9208 | 14k| 0 | 0 |-3.407500e+02 |-5.100000e+01 | 85.03%
251.62/251.78 c 249s| 1 | 0 |123786 | - | 121M| 0 | 736 |1000 | 37k|1000 |9216 | 14k| 0 | 0 |-3.398750e+02 |-5.100000e+01 | 84.99%
254.22/254.35 c 251s| 1 | 0 |124969 | - | 122M| 0 | 710 |1000 | 37k|1000 |9228 | 14k| 0 | 0 |-3.395000e+02 |-5.100000e+01 | 84.98%
256.82/256.97 c 254s| 1 | 0 |126421 | - | 122M| 0 | 748 |1000 | 37k|1000 |9238 | 14k| 0 | 0 |-3.386667e+02 |-5.100000e+01 | 84.94%
259.82/259.94 c 257s| 1 | 0 |127815 | - | 122M| 0 | 724 |1000 | 37k|1000 |7603 | 14k| 0 | 0 |-3.378333e+02 |-5.100000e+01 | 84.90%
261.73/261.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.73/261.85 c 259s| 1 | 0 |129085 | - | 123M| 0 | 747 |1000 | 37k|1000 |7615 | 14k| 0 | 0 |-3.364706e+02 |-5.100000e+01 | 84.84%
263.93/264.06 c 261s| 1 | 0 |130474 | - | 123M| 0 | 710 |1000 | 37k|1000 |7626 | 14k| 0 | 0 |-3.353333e+02 |-5.100000e+01 | 84.79%
269.82/269.90 c 266s| 1 | 0 |133538 | - | 123M| 0 | 698 |1000 | 37k|1000 |7638 | 14k| 0 | 0 |-3.342500e+02 |-5.100000e+01 | 84.74%
271.53/271.65 c 268s| 1 | 0 |134494 | - | 125M| 0 | 724 |1000 | 37k|1000 |7650 | 14k| 0 | 0 |-3.337210e+02 |-5.100000e+01 | 84.72%
273.62/273.76 c 270s| 1 | 0 |135773 | - | 126M| 0 | 733 |1000 | 37k|1000 |7658 | 14k| 0 | 0 |-3.329060e+02 |-5.100000e+01 | 84.68%
276.42/276.57 c 273s| 1 | 0 |137297 | - | 126M| 0 | 742 |1000 | 37k|1000 |7445 | 14k| 0 | 0 |-3.319036e+02 |-5.100000e+01 | 84.63%
279.22/279.36 c 276s| 1 | 0 |139024 | - | 127M| 0 | 770 |1000 | 37k|1000 |7568 | 14k| 0 | 0 |-3.306923e+02 |-5.100000e+01 | 84.58%
281.91/282.04 c 278s| 1 | 0 |140430 | - | 128M| 0 | 780 |1000 | 37k|1000 |7682 | 14k| 0 | 0 |-3.299597e+02 |-5.100000e+01 | 84.54%
284.61/284.73 c 281s| 1 | 0 |141999 | - | 130M| 0 | 782 |1000 | 37k|1000 |7788 | 15k| 0 | 0 |-3.288812e+02 |-5.100000e+01 | 84.49%
287.92/288.09 c 284s| 1 | 0 |143919 | - | 131M| 0 | 777 |1000 | 37k|1000 |7961 | 15k| 0 | 0 |-3.269372e+02 |-5.100000e+01 | 84.40%
290.91/291.02 c 287s| 1 | 0 |145446 | - | 132M| 0 | 778 |1000 | 37k|1000 |8071 | 15k| 0 | 0 |-3.257376e+02 |-5.100000e+01 | 84.34%
294.01/294.12 c 290s| 1 | 0 |147314 | - | 134M| 0 | 788 |1000 | 37k|1000 |7993 | 15k| 0 | 0 |-3.239955e+02 |-5.100000e+01 | 84.26%
296.41/296.50 c 293s| 1 | 0 |148687 | - | 135M| 0 | 799 |1000 | 37k|1000 |8131 | 15k| 0 | 0 |-3.230767e+02 |-5.100000e+01 | 84.21%
298.61/298.71 c 295s| 1 | 0 |149786 | - | 136M| 0 | 782 |1000 | 37k|1000 |8284 | 15k| 0 | 0 |-3.223845e+02 |-5.100000e+01 | 84.18%
301.41/301.55 c 298s| 1 | 0 |151406 | - | 137M| 0 | 787 |1000 | 37k|1000 |8363 | 15k| 0 | 0 |-3.214063e+02 |-5.100000e+01 | 84.13%
304.11/304.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.11/304.24 c 300s| 1 | 0 |152888 | - | 139M| 0 | 811 |1000 | 37k|1000 |8377 | 15k| 0 | 0 |-3.203753e+02 |-5.100000e+01 | 84.08%
307.71/307.84 c 304s| 1 | 0 |154348 | - | 138M| 0 | 795 |1000 | 37k|1000 |8570 | 15k| 0 | 0 |-3.195379e+02 |-5.100000e+01 | 84.04%
311.51/311.68 c 308s| 1 | 0 |155940 | - | 138M| 0 | 818 |1000 | 37k|1000 |8371 | 15k| 0 | 0 |-3.185076e+02 |-5.100000e+01 | 83.99%
316.40/316.54 c 313s| 1 | 0 |157914 | - | 139M| 0 | 796 |1000 | 37k|1000 |8533 | 16k| 0 | 0 |-3.169299e+02 |-5.100000e+01 | 83.91%
319.80/319.99 c 316s| 1 | 0 |159476 | - | 139M| 0 | 802 |1000 | 37k|1000 |8604 | 16k| 0 | 0 |-3.160100e+02 |-5.100000e+01 | 83.86%
324.80/324.92 c 321s| 1 | 0 |161623 | - | 139M| 0 | 807 |1000 | 37k|1000 |8692 | 16k| 0 | 0 |-3.145682e+02 |-5.100000e+01 | 83.79%
329.50/329.61 c 326s| 1 | 0 |163539 | - | 139M| 0 | 815 |1000 | 37k|1000 |8751 | 16k| 0 | 0 |-3.139877e+02 |-5.100000e+01 | 83.76%
333.90/334.05 c 330s| 1 | 0 |165557 | - | 138M| 0 | 843 |1000 | 37k|1000 |8793 | 16k| 0 | 0 |-3.129395e+02 |-5.100000e+01 | 83.70%
339.50/339.60 c 335s| 1 | 0 |167693 | - | 138M| 0 | 806 |1000 | 37k|1000 |8716 | 16k| 0 | 0 |-3.119340e+02 |-5.100000e+01 | 83.65%
342.70/342.88 c 339s| 1 | 0 |169031 | - | 139M| 0 | 823 |1000 | 37k|1000 |8729 | 16k| 0 | 0 |-3.111991e+02 |-5.100000e+01 | 83.61%
347.10/347.25 c 343s| 1 | 0 |170827 | - | 139M| 0 | 808 |1000 | 37k|1000 |8777 | 16k| 0 | 0 |-3.103279e+02 |-5.100000e+01 | 83.57%
351.00/351.12 c 347s| 1 | 0 |172510 | - | 139M| 0 | 835 |1000 | 37k|1000 |8819 | 16k| 0 | 0 |-3.092677e+02 |-5.100000e+01 | 83.51%
356.00/356.10 c 352s| 1 | 0 |174326 | - | 139M| 0 | 833 |1000 | 37k|1000 |8916 | 16k| 0 | 0 |-3.083364e+02 |-5.100000e+01 | 83.46%
361.20/361.39 c 357s| 1 | 0 |176432 | - | 138M| 0 | 836 |1000 | 37k|1000 |9034 | 16k| 0 | 0 |-3.074355e+02 |-5.100000e+01 | 83.41%
366.10/366.26 c 362s| 1 | 0 |178190 | - | 138M| 0 | 841 |1000 | 37k|1000 |8672 | 16k| 0 | 0 |-3.068982e+02 |-5.100000e+01 | 83.38%
372.19/372.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.19/372.34 c 368s| 1 | 0 |180787 | - | 138M| 0 | 839 |1000 | 37k|1000 |8767 | 17k| 0 | 0 |-3.045349e+02 |-5.100000e+01 | 83.25%
378.20/378.39 c 374s| 1 | 0 |183103 | - | 138M| 0 | 838 |1000 | 37k|1000 |8987 | 17k| 0 | 0 |-3.033844e+02 |-5.100000e+01 | 83.19%
384.29/384.47 c 380s| 1 | 0 |185419 | - | 138M| 0 | 842 |1000 | 37k|1000 |9090 | 17k| 0 | 0 |-3.023141e+02 |-5.100000e+01 | 83.13%
389.69/389.84 c 385s| 1 | 0 |187348 | - | 138M| 0 | 850 |1000 | 37k|1000 |9123 | 17k| 0 | 0 |-3.015236e+02 |-5.100000e+01 | 83.09%
396.78/396.98 c 392s| 1 | 0 |189965 | - | 138M| 0 | 852 |1000 | 37k|1000 |9221 | 17k| 0 | 0 |-3.004505e+02 |-5.100000e+01 | 83.03%
403.60/403.71 c 399s| 1 | 0 |192308 | - | 138M| 0 | 862 |1000 | 37k|1000 |9003 | 17k| 0 | 0 |-2.994177e+02 |-5.100000e+01 | 82.97%
410.78/410.96 c 406s| 1 | 0 |194831 | - | 138M| 0 | 832 |1000 | 37k|1000 |9095 | 17k| 0 | 0 |-2.981303e+02 |-5.100000e+01 | 82.89%
416.19/416.39 c 412s| 1 | 0 |196894 | - | 138M| 0 | 845 |1000 | 37k|1000 |9123 | 17k| 0 | 0 |-2.970473e+02 |-5.100000e+01 | 82.83%
422.58/422.77 c 418s| 1 | 0 |199296 | - | 138M| 0 | 846 |1000 | 37k|1000 |9213 | 17k| 0 | 0 |-2.959328e+02 |-5.100000e+01 | 82.77%
427.88/428.06 c 423s| 1 | 0 |201296 | - | 138M| 0 | 835 |1000 | 37k|1000 |9223 | 17k| 0 | 0 |-2.952204e+02 |-5.100000e+01 | 82.72%
433.38/433.57 c 429s| 1 | 0 |203503 | - | 138M| 0 | 849 |1000 | 37k|1000 |9262 | 17k| 0 | 0 |-2.945774e+02 |-5.100000e+01 | 82.69%
439.79/439.92 c 435s| 1 | 0 |205791 | - | 138M| 0 | 843 |1000 | 37k|1000 |9021 | 17k| 0 | 0 |-2.936400e+02 |-5.100000e+01 | 82.63%
446.58/446.80 c 442s| 1 | 0 |208259 | - | 138M| 0 | 840 |1000 | 37k|1000 |9129 | 18k| 0 | 0 |-2.925136e+02 |-5.100000e+01 | 82.56%
453.18/453.33 c 448s| 1 | 0 |210676 | - | 138M| 0 | 868 |1000 | 37k|1000 |9186 | 18k| 0 | 0 |-2.916497e+02 |-5.100000e+01 | 82.51%
464.77/464.93 c 460s| 1 | 0 |213271 | - | 138M| 0 | 858 |1000 | 37k|1000 |9665 | 18k| 0 | 0 |-2.905676e+02 |-5.100000e+01 | 82.45%
471.47/471.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.47/471.60 c 466s| 1 | 0 |215221 | - | 138M| 0 | 859 |1000 | 37k|1000 |9741 | 18k| 0 | 0 |-2.893142e+02 |-5.100000e+01 | 82.37%
479.97/480.19 c 475s| 1 | 0 |218078 | - | 137M| 0 | 847 |1000 | 37k|1000 |9835 | 18k| 0 | 0 |-2.880202e+02 |-5.100000e+01 | 82.29%
485.36/485.57 c 480s| 1 | 0 |219549 | - | 137M| 0 | 860 |1000 | 37k|1000 |9589 | 18k| 0 | 0 |-2.876989e+02 |-5.100000e+01 | 82.27%
491.47/491.70 c 486s| 1 | 0 |221218 | - | 137M| 0 | 864 |1000 | 37k|1000 |9625 | 18k| 0 | 0 |-2.872400e+02 |-5.100000e+01 | 82.24%
499.06/499.23 c 494s| 1 | 0 |223220 | - | 137M| 0 | 854 |1000 | 37k|1000 |9637 | 18k| 0 | 0 |-2.860778e+02 |-5.100000e+01 | 82.17%
506.87/507.03 c 502s| 1 | 0 |225415 | - | 137M| 0 | 847 |1000 | 37k|1000 |9690 | 18k| 0 | 0 |-2.849883e+02 |-5.100000e+01 | 82.10%
513.86/514.00 c 509s| 1 | 0 |227220 | - | 137M| 0 | 858 |1000 | 37k|1000 |9755 | 18k| 0 | 0 |-2.843153e+02 |-5.100000e+01 | 82.06%
522.36/522.57 c 517s| 1 | 0 |229550 | - | 136M| 0 | 855 |1000 | 37k|1000 |9817 | 18k| 0 | 0 |-2.832001e+02 |-5.100000e+01 | 81.99%
530.45/530.69 c 525s| 1 | 0 |231565 | - | 136M| 0 | 849 |1000 | 37k|1000 |9682 | 18k| 0 | 0 |-2.826166e+02 |-5.100000e+01 | 81.95%
539.86/540.09 c 534s| 1 | 0 |234118 | - | 136M| 0 | 857 |1000 | 37k|1000 |9702 | 19k| 0 | 0 |-2.815646e+02 |-5.100000e+01 | 81.89%
548.66/548.83 c 543s| 1 | 0 |236417 | - | 136M| 0 | 863 |1000 | 37k|1000 |9767 | 19k| 0 | 0 |-2.804364e+02 |-5.100000e+01 | 81.81%
558.75/558.93 c 553s| 1 | 0 |239043 | - | 136M| 0 | 849 |1000 | 37k|1000 |9829 | 19k| 0 | 0 |-2.795349e+02 |-5.100000e+01 | 81.76%
566.85/567.02 c 561s| 1 | 0 |241158 | - | 136M| 0 | 870 |1000 | 37k|1000 |9850 | 19k| 0 | 0 |-2.788569e+02 |-5.100000e+01 | 81.71%
578.35/578.53 c 573s| 1 | 0 |243524 | - | 136M| 0 | 870 |1000 | 37k|1000 |9962 | 19k| 0 | 0 |-2.777898e+02 |-5.100000e+01 | 81.64%
590.25/590.41 c 584s| 1 | 0 |245837 | - | 136M| 0 | 864 |1000 | 37k|1000 |9883 | 19k| 0 | 0 |-2.769546e+02 |-5.100000e+01 | 81.59%
600.24/600.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.24/600.47 c 594s| 1 | 0 |248205 | - | 136M| 0 | 881 |1000 | 37k|1000 |9924 | 19k| 0 | 0 |-2.760950e+02 |-5.100000e+01 | 81.53%
609.63/609.88 c 604s| 1 | 0 |249653 | - | 136M| 0 | 891 |1000 | 37k|1000 |9980 | 19k| 0 | 0 |-2.755566e+02 |-5.100000e+01 | 81.49%
620.84/621.02 c 615s| 1 | 0 |251259 | - | 136M| 0 | 887 |1000 | 37k|1000 | 10k| 19k| 0 | 0 |-2.750129e+02 |-5.100000e+01 | 81.46%
636.23/636.48 c 630s| 1 | 0 |253763 | - | 135M| 0 | 882 |1000 | 37k|1000 | 10k| 19k| 0 | 0 |-2.741856e+02 |-5.100000e+01 | 81.40%
649.93/650.16 c 644s| 1 | 0 |255603 | - | 135M| 0 | 892 |1000 | 37k|1000 | 10k| 19k| 0 | 0 |-2.737143e+02 |-5.100000e+01 | 81.37%
664.63/664.82 c 658s| 1 | 0 |257734 | - | 135M| 0 | 897 |1000 | 37k|1000 |9990 | 19k| 0 | 0 |-2.730539e+02 |-5.100000e+01 | 81.32%
679.93/680.11 c 674s| 1 | 0 |260068 | - | 135M| 0 | 896 |1000 | 37k|1000 | 10k| 19k| 0 | 0 |-2.721810e+02 |-5.100000e+01 | 81.26%
694.32/694.56 c 688s| 1 | 0 |262050 | - | 135M| 0 | 900 |1000 | 37k|1000 | 10k| 19k| 0 | 0 |-2.715222e+02 |-5.100000e+01 | 81.22%
708.52/708.74 c 702s| 1 | 0 |264054 | - | 135M| 0 | 913 |1000 | 37k|1000 | 10k| 19k| 0 | 0 |-2.708741e+02 |-5.100000e+01 | 81.17%
722.01/722.27 c 716s| 1 | 0 |265413 | - | 135M| 0 | 923 |1000 | 37k|1000 | 10k| 19k| 0 | 0 |-2.705650e+02 |-5.100000e+01 | 81.15%
738.41/738.62 c 732s| 1 | 0 |267838 | - | 134M| 0 | 909 |1000 | 37k|1000 | 10k| 19k| 0 | 0 |-2.695266e+02 |-5.100000e+01 | 81.08%
753.91/754.18 c 747s| 1 | 0 |269941 | - | 134M| 0 | 919 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.689091e+02 |-5.100000e+01 | 81.03%
766.60/766.84 c 760s| 1 | 0 |270869 | - | 134M| 0 | 917 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.686500e+02 |-5.100000e+01 | 81.02%
781.09/781.36 c 774s| 1 | 0 |272531 | - | 134M| 0 | 910 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.681768e+02 |-5.100000e+01 | 80.98%
796.70/796.92 c 790s| 1 | 0 |274600 | - | 134M| 0 | 906 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.674524e+02 |-5.100000e+01 | 80.93%
812.09/812.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.09/812.37 c 805s| 1 | 0 |276577 | - | 133M| 0 | 911 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.668232e+02 |-5.100000e+01 | 80.89%
826.79/827.07 c 820s| 1 | 0 |278247 | - | 133M| 0 | 920 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.663988e+02 |-5.100000e+01 | 80.86%
843.68/843.91 c 837s| 1 | 0 |280403 | - | 133M| 0 | 924 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.657315e+02 |-5.100000e+01 | 80.81%
857.38/857.69 c 850s| 1 | 0 |281555 | - | 133M| 0 | 923 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.654893e+02 |-5.100000e+01 | 80.79%
872.37/872.64 c 865s| 1 | 0 |283207 | - | 132M| 0 | 916 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.649816e+02 |-5.100000e+01 | 80.75%
888.27/888.55 c 881s| 1 | 0 |285230 | - | 132M| 0 | 927 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.643222e+02 |-5.100000e+01 | 80.71%
904.67/904.96 c 897s| 1 | 0 |287004 | - | 132M| 0 | 924 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.637097e+02 |-5.100000e+01 | 80.66%
920.47/920.73 c 913s| 1 | 0 |288527 | - | 132M| 0 | 929 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.632615e+02 |-5.100000e+01 | 80.63%
936.75/937.00 c 929s| 1 | 0 |290277 | - | 132M| 0 | 931 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.628528e+02 |-5.100000e+01 | 80.60%
951.85/952.19 c 944s| 1 | 0 |291647 | - | 132M| 0 | 933 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.625307e+02 |-5.100000e+01 | 80.57%
967.55/967.84 c 960s| 1 | 0 |293109 | - | 131M| 0 | 937 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.621627e+02 |-5.100000e+01 | 80.55%
984.16/984.44 c 977s| 1 | 0 |294878 | - | 131M| 0 | 928 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.616492e+02 |-5.100000e+01 | 80.51%
999.84/1000.13 c 992s| 1 | 0 |296277 | - | 131M| 0 | 930 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.613185e+02 |-5.100000e+01 | 80.48%
1017.84/1018.14 c 1010s| 1 | 0 |298482 | - | 130M| 0 | 934 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.607869e+02 |-5.100000e+01 | 80.44%
1034.13/1034.43 c 1026s| 1 | 0 |299897 | - | 129M| 0 | 939 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.603991e+02 |-5.100000e+01 | 80.41%
1049.63/1049.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1049.63/1049.94 c 1042s| 1 | 0 |301088 | - | 129M| 0 | 937 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.601632e+02 |-5.100000e+01 | 80.40%
1064.12/1064.42 c 1056s| 1 | 0 |302000 | - | 129M| 0 | 937 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.599925e+02 |-5.100000e+01 | 80.38%
1080.73/1081.01 c 1073s| 1 | 0 |303522 | - | 128M| 0 | 942 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.596702e+02 |-5.100000e+01 | 80.36%
1096.02/1096.34 c 1088s| 1 | 0 |304534 | - | 127M| 0 | 941 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.594879e+02 |-5.100000e+01 | 80.35%
1113.02/1113.39 c 1105s| 1 | 0 |306030 | - | 127M| 0 | 934 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.590767e+02 |-5.100000e+01 | 80.31%
1127.81/1128.16 c 1120s| 1 | 0 |306838 | - | 126M| 0 | 928 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.589028e+02 |-5.100000e+01 | 80.30%
1143.31/1143.62 c 1135s| 1 | 0 |308054 | - | 126M| 0 | 944 |1000 | 37k|1000 | 10k| 20k| 0 | 0 |-2.585759e+02 |-5.100000e+01 | 80.28%
1161.32/1161.68 c 1153s| 1 | 0 |309875 | - | 125M| 0 | 938 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.579894e+02 |-5.100000e+01 | 80.23%
1177.20/1177.52 c 1169s| 1 | 0 |311067 | - | 124M| 0 | 945 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.577509e+02 |-5.100000e+01 | 80.21%
1194.89/1195.29 c 1186s| 1 | 0 |312966 | - | 124M| 0 | 949 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.573222e+02 |-5.100000e+01 | 80.18%
1211.99/1212.35 c 1203s| 1 | 0 |314476 | - | 123M| 0 | 951 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.569730e+02 |-5.100000e+01 | 80.15%
1229.58/1229.92 c 1221s| 1 | 0 |316138 | - | 123M| 0 | 950 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.565654e+02 |-5.100000e+01 | 80.12%
1247.38/1247.71 c 1239s| 1 | 0 |317915 | - | 122M| 0 | 953 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.560945e+02 |-5.100000e+01 | 80.09%
1263.08/1263.45 c 1254s| 1 | 0 |318920 | - | 122M| 0 | 948 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.559289e+02 |-5.100000e+01 | 80.07%
1280.28/1280.67 c 1271s| 1 | 0 |320508 | - | 122M| 0 | 946 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.555766e+02 |-5.100000e+01 | 80.05%
1296.68/1297.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1296.68/1297.08 c 1288s| 1 | 0 |321678 | - | 120M| 0 | 956 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.553106e+02 |-5.100000e+01 | 80.02%
1316.28/1316.60 c 1307s| 1 | 0 |323678 | - | 120M| 0 | 949 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.549650e+02 |-5.100000e+01 | 80.00%
1332.16/1332.51 c 1323s| 1 | 0 |324690 | - | 119M| 0 | 954 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.547638e+02 |-5.100000e+01 | 79.98%
1349.96/1350.38 c 1341s| 1 | 0 |326178 | - | 118M| 0 | 954 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.544597e+02 |-5.100000e+01 | 79.96%
1367.36/1367.72 c 1358s| 1 | 0 |327570 | - | 117M| 0 | 960 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.541773e+02 |-5.100000e+01 | 79.94%
1384.65/1385.09 c 1375s| 1 | 0 |328974 | - | 115M| 0 | 956 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.538594e+02 |-5.100000e+01 | 79.91%
1401.25/1401.65 c 1392s| 1 | 0 |330065 | - | 114M| 0 | 957 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.536330e+02 |-5.100000e+01 | 79.89%
1418.35/1418.72 c 1409s| 1 | 0 |331360 | - | 113M| 0 | 946 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.533993e+02 |-5.100000e+01 | 79.87%
1433.44/1433.88 c 1424s| 1 | 0 |332013 | - | 111M| 0 | 962 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.533054e+02 |-5.100000e+01 | 79.87%
1450.44/1450.81 c 1441s| 1 | 0 |333234 | - | 109M| 0 | 964 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.531261e+02 |-5.100000e+01 | 79.85%
1466.73/1467.12 c 1457s| 1 | 0 |334133 | - | 109M| 0 | 959 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.529646e+02 |-5.100000e+01 | 79.84%
1481.93/1482.34 c 1472s| 1 | 0 |334639 | - | 107M| 0 | 968 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.528694e+02 |-5.100000e+01 | 79.83%
1498.63/1499.08 c 1489s| 1 | 0 |335548 | - | 106M| 0 | 966 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.527117e+02 |-5.100000e+01 | 79.82%
1516.32/1516.74 c 1506s| 1 | 0 |336659 | - | 106M| 0 | 975 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.525141e+02 |-5.100000e+01 | 79.80%
1532.02/1532.44 c 1522s| 1 | 0 |337277 | - | 106M| 0 | 974 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.523746e+02 |-5.100000e+01 | 79.79%
1548.11/1548.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.11/1548.55 c 1538s| 1 | 0 |337917 | - | 106M| 0 | 970 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.522519e+02 |-5.100000e+01 | 79.78%
1563.71/1564.17 c 1554s| 1 | 0 |338562 | - | 106M| 0 | 974 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.521120e+02 |-5.100000e+01 | 79.77%
1580.71/1581.17 c 1571s| 1 | 0 |339623 | - | 106M| 0 | 971 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.518511e+02 |-5.100000e+01 | 79.75%
1598.50/1598.97 c 1588s| 1 | 0 |340856 | - | 106M| 0 | 969 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.515231e+02 |-5.100000e+01 | 79.72%
1616.30/1616.79 c 1606s| 1 | 0 |342028 | - | 106M| 0 | 968 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.512454e+02 |-5.100000e+01 | 79.70%
1634.20/1634.65 c 1624s| 1 | 0 |343063 | - | 106M| 0 | 977 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.510453e+02 |-5.100000e+01 | 79.68%
1651.19/1651.60 c 1641s| 1 | 0 |343888 | - | 106M| 0 | 976 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.508599e+02 |-5.100000e+01 | 79.67%
1667.38/1667.89 c 1657s| 1 | 0 |344517 | - | 105M| 0 | 976 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.507327e+02 |-5.100000e+01 | 79.66%
1684.08/1684.57 c 1674s| 1 | 0 |345224 | - | 105M| 0 | 979 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.505792e+02 |-5.100000e+01 | 79.65%
1700.77/1701.21 c 1690s| 1 | 0 |345918 | - | 105M| 0 | 976 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.504401e+02 |-5.100000e+01 | 79.64%
1717.97/1718.40 c 1707s| 1 | 0 |346705 | - | 105M| 0 | 976 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.502082e+02 |-5.100000e+01 | 79.62%
1735.28/1735.75 c 1725s| 1 | 0 |347526 | - | 105M| 0 | 979 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.500460e+02 |-5.100000e+01 | 79.60%
1753.16/1753.66 c 1743s| 1 | 0 |348415 | - | 105M| 0 | 981 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.498190e+02 |-5.100000e+01 | 79.59%
1768.76/1769.25 c 1758s| 1 | 0 |348802 | - | 105M| 0 | 981 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.497597e+02 |-5.100000e+01 | 79.58%
1785.65/1786.17 c 1775s| 1 | 0 |349526 | - | 105M| 0 | 981 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.495831e+02 |-5.100000e+01 | 79.57%
1800.06/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.65/1801.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1800.65/1801.10 c 1790s| 1 | 0 |349678 | - | 105M| 0 | 980 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.495737e+02 |-5.100000e+01 | 79.57%
1800.75/1801.27 c 1790s| 1 | 2 |349678 | - | 105M| 0 | 980 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-2.495737e+02 |-5.100000e+01 | 79.57%
1800.75/1801.27 c
1800.75/1801.27 c SCIP Status : solving was interrupted [user interrupt]
1800.75/1801.27 c Solving Time (sec) : 1789.99
1800.75/1801.27 c Solving Nodes : 1
1800.75/1801.27 c Primal Bound : -5.10000000000000e+01 (41 solutions)
1800.75/1801.27 c Dual Bound : -2.49573657487786e+02
1800.75/1801.27 c Gap : 79.57 %
1800.85/1801.35 s SATISFIABLE
1800.85/1801.35 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.85/1801.35 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.85/1801.35 v -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.85/1801.35 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1800.85/1801.35 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1800.85/1801.35 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1800.85/1801.35 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1800.85/1801.35 v -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1800.85/1801.35 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1800.85/1801.35 v -x811 -x810 -x809 -x808 -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791
1800.85/1801.35 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1800.85/1801.35 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1800.85/1801.35 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728
1800.85/1801.35 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1800.85/1801.35 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1800.85/1801.35 v -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1800.85/1801.35 v -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1800.85/1801.35 v x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1800.85/1801.35 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602
1800.85/1801.35 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1800.85/1801.35 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561
1800.85/1801.35 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540
1800.85/1801.35 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1800.85/1801.35 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498
1800.85/1801.35 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1800.85/1801.35 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456
1800.85/1801.35 v -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1800.85/1801.35 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
1800.85/1801.35 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1800.85/1801.35 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1800.85/1801.35 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1800.85/1801.35 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1800.85/1801.35 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1800.85/1801.35 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1800.85/1801.35 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1800.85/1801.35 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247
1800.85/1801.35 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1800.85/1801.35 v -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1800.85/1801.35 v -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1800.85/1801.35 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1800.85/1801.35 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 x147 -x146 -x145 -x144 -x143 -x142
1800.85/1801.35 v -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1800.85/1801.35 v -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1800.85/1801.35 v -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
1800.85/1801.35 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49
1800.85/1801.35 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 x27 -x26 x25 -x24 -x23
1800.85/1801.35 v -x22 -x21 x20 x19 -x18 -x17 -x16 x15 -x14 x13 x12 -x11 x10 x9 x8 -x7 x6 x5 x4 x3 -x2 x1
1800.85/1801.35 c SCIP Status : solving was interrupted [user interrupt]
1800.85/1801.35 c Solving Time : 1789.99
1800.85/1801.35 c Original Problem :
1800.85/1801.35 c Problem name : HOME/instance-2665227-1276658915.opb
1800.85/1801.35 c Variables : 38647 (38647 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.85/1801.35 c Constraints : 38647 initial, 38647 maximal
1800.85/1801.35 c Presolved Problem :
1800.85/1801.35 c Problem name : t_HOME/instance-2665227-1276658915.opb
1800.85/1801.35 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.85/1801.35 c Constraints : 37647 initial, 37647 maximal
1800.85/1801.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.85/1801.35 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.85/1801.35 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.85/1801.35 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.85/1801.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.85/1801.35 c implics : 0.00 0 0 0 0 0 0 0 0
1800.85/1801.35 c probing : 0.53 0 0 0 0 0 0 0 0
1800.85/1801.35 c linear : 0.26 37647 0 0 37647 0 1000 0 0
1800.85/1801.35 c logicor : 0.10 0 0 0 0 0 0 0 0
1800.85/1801.35 c root node : - 0 - - 0 - - - -
1800.85/1801.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.85/1801.35 c integral : 0 0 0 1 0 0 0 0 0 2
1800.85/1801.35 c logicor : 37647 237 201 0 0 0 0 31559 0 0
1800.85/1801.35 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.85/1801.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.85/1801.35 c integral : 0.00 0.00 0.00 0.00 0.00
1800.85/1801.35 c logicor : 2.49 2.13 0.36 0.00 0.00
1800.85/1801.35 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.85/1801.35 c Propagators : Time Calls Cutoffs DomReds
1800.85/1801.35 c vbounds : 0.01 2 0 0
1800.85/1801.35 c rootredcost : 0.00 0 0 0
1800.85/1801.35 c pseudoobj : 0.02 237 0 0
1800.85/1801.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.85/1801.35 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.85/1801.35 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.85/1801.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.85/1801.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.85/1801.35 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.85/1801.35 c applied globally : - - - 0 0.0 - - -
1800.85/1801.35 c applied locally : - - - 0 0.0 - - -
1800.85/1801.35 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.85/1801.35 c cut pool : 1.50 236 - - 3277 - (maximal pool size: 12996)
1800.85/1801.35 c redcost : 0.01 237 0 0 0 0
1800.85/1801.35 c impliedbounds : 0.82 234 0 0 22583 0
1800.85/1801.35 c intobj : 0.00 0 0 0 0 0
1800.85/1801.35 c cgmip : 0.00 0 0 0 0 0
1800.85/1801.35 c gomory : 1007.38 233 0 0 85867 0
1800.85/1801.35 c strongcg : 2.14 20 0 0 10000 0
1800.85/1801.35 c cmir : 3.15 10 0 0 0 0
1800.85/1801.35 c flowcover : 2.68 10 0 0 0 0
1800.85/1801.35 c clique : 13.42 232 0 0 2067 0
1800.85/1801.35 c zerohalf : 0.00 0 0 0 0 0
1800.85/1801.35 c mcf : 0.05 1 0 0 0 0
1800.85/1801.35 c rapidlearning : 0.00 0 0 0 0 0
1800.85/1801.35 c Pricers : Time Calls Vars
1800.85/1801.35 c problem variables: 0.00 0 0
1800.85/1801.35 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.85/1801.35 c relpscost : 0.00 1 0 0 0 0 2
1800.85/1801.35 c pscost : 0.00 0 0 0 0 0 0
1800.85/1801.35 c inference : 0.00 0 0 0 0 0 0
1800.85/1801.35 c mostinf : 0.00 0 0 0 0 0 0
1800.85/1801.35 c leastinf : 0.00 0 0 0 0 0 0
1800.85/1801.35 c fullstrong : 0.00 0 0 0 0 0 0
1800.85/1801.35 c allfullstrong : 0.00 0 0 0 0 0 0
1800.85/1801.35 c random : 0.00 0 0 0 0 0 0
1800.85/1801.35 c Primal Heuristics : Time Calls Found
1800.85/1801.35 c LP solutions : 0.00 - 0
1800.85/1801.35 c pseudo solutions : 0.00 - 0
1800.85/1801.35 c crossover : 0.00 0 0
1800.85/1801.35 c oneopt : 0.05 2 1
1800.85/1801.35 c trivial : 0.11 2 2
1800.85/1801.35 c simplerounding : 0.35 238 36
1800.85/1801.35 c zirounding : 0.01 1 0
1800.85/1801.35 c rounding : 13.80 238 1
1800.85/1801.35 c shifting : 14.94 238 1
1800.85/1801.35 c intshifting : 0.00 0 0
1800.85/1801.35 c twoopt : 0.00 0 0
1800.85/1801.35 c fixandinfer : 0.00 0 0
1800.85/1801.35 c feaspump : 0.00 0 0
1800.85/1801.35 c coefdiving : 0.00 0 0
1800.85/1801.35 c pscostdiving : 0.00 0 0
1800.85/1801.35 c fracdiving : 0.00 0 0
1800.85/1801.35 c veclendiving : 0.00 0 0
1800.85/1801.35 c intdiving : 0.00 0 0
1800.85/1801.35 c actconsdiving : 0.00 0 0
1800.85/1801.35 c objpscostdiving : 0.00 0 0
1800.85/1801.35 c rootsoldiving : 0.00 0 0
1800.85/1801.35 c linesearchdiving : 0.00 0 0
1800.85/1801.35 c guideddiving : 0.00 0 0
1800.85/1801.35 c octane : 0.00 0 0
1800.85/1801.35 c rens : 0.00 0 0
1800.85/1801.35 c rins : 0.00 0 0
1800.85/1801.35 c localbranching : 0.00 0 0
1800.85/1801.35 c mutation : 0.00 0 0
1800.85/1801.35 c dins : 0.00 0 0
1800.85/1801.35 c undercover : 0.00 0 0
1800.85/1801.35 c nlp : 0.00 0 0
1800.85/1801.35 c trysol : 0.00 0 0
1800.85/1801.35 c LP : Time Calls Iterations Iter/call Iter/sec
1800.85/1801.35 c primal LP : 0.57 0 0 0.00 0.00
1800.85/1801.35 c dual LP : 711.79 238 349678 1469.24 491.27
1800.85/1801.35 c lex dual LP : 0.00 0 0 0.00 -
1800.85/1801.35 c barrier LP : 0.00 0 0 0.00 -
1800.85/1801.35 c diving/probing LP: 0.00 0 0 0.00 -
1800.85/1801.35 c strong branching : 0.00 0 0 0.00 -
1800.85/1801.35 c (at root node) : - 0 0 0.00 -
1800.85/1801.35 c conflict analysis: 0.00 0 0 0.00 -
1800.85/1801.35 c B&B Tree :
1800.85/1801.35 c number of runs : 1
1800.85/1801.35 c nodes : 1
1800.85/1801.35 c nodes (total) : 1
1800.85/1801.35 c nodes left : 2
1800.85/1801.35 c max depth : 0
1800.85/1801.35 c max depth (total): 0
1800.85/1801.35 c backtracks : 0 (0.0%)
1800.85/1801.35 c delayed cutoffs : 0
1800.85/1801.35 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.85/1801.35 c avg switch length: 1.00
1800.85/1801.35 c switching time : 0.00
1800.85/1801.35 c Solution :
1800.85/1801.35 c Solutions found : 41 (4 improvements)
1800.85/1801.35 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.36 seconds, depth 0, found by <trivial>)
1800.85/1801.35 c Primal Bound : -5.10000000000000e+01 (in run 1, after 1 nodes, 4.91 seconds, depth 0, found by <oneopt>)
1800.85/1801.35 c Dual Bound : -2.49573657487786e+02
1800.85/1801.35 c Gap : 79.57 %
1800.85/1801.35 c Root Dual Bound : -2.49573657487786e+02
1800.85/1801.35 c Root Iterations : 349678
1801.16/1801.62 c Time complete: 1801.18.