0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666657-1276658949.opb>
0.49/0.54 c original problem has 38647 variables (38647 bin, 0 int, 0 impl, 0 cont) and 38647 constraints
0.49/0.54 c problem read
0.49/0.54 c presolving settings loaded
1.00/1.05 o 0
1.00/1.05 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.00/1.05 c presolving:
2.49/2.53 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.39/3.43 c (2.6s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.39/3.43 c (2.6s) probing aborted: 100/100 successive totally useless probings
3.39/3.43 c presolving (2 rounds):
3.39/3.43 c 37647 deleted vars, 1000 deleted constraints, 37647 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.39/3.43 c 225882 implications, 0 cliques
3.39/3.43 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37647 constraints
3.39/3.43 c 37647 constraints of type <logicor>
3.39/3.43 c transformed objective value is always integral (scale: 1)
3.39/3.43 c Presolving Time: 2.44
3.39/3.43 c - non default parameters ----------------------------------------------------------------------
3.39/3.43 c # SCIP version 1.2.1.2
3.39/3.43 c
3.39/3.43 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: -1]
3.39/3.43 c conflict/interconss = 0
3.39/3.43 c
3.39/3.43 c # should binary conflicts be preferred?
3.39/3.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.43 c conflict/preferbinary = TRUE
3.39/3.43 c
3.39/3.43 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 0]
3.39/3.43 c constraints/agelimit = 1
3.39/3.43 c
3.39/3.43 c # should enforcement of pseudo solution be disabled?
3.39/3.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.43 c constraints/disableenfops = TRUE
3.39/3.43 c
3.39/3.43 c # frequency for displaying node information lines
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 100]
3.39/3.43 c display/freq = 10000
3.39/3.43 c
3.39/3.43 c # maximal time in seconds to run
3.39/3.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.39/3.43 c limits/time = 1799.47
3.39/3.43 c
3.39/3.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.39/3.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.39/3.43 c limits/memory = 1620
3.39/3.43 c
3.39/3.43 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.43 c lp/solvefreq = 0
3.39/3.43 c
3.39/3.43 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.39/3.43 c # [type: char, range: {lafpsqd}, default: l]
3.39/3.43 c lp/pricing = a
3.39/3.43 c
3.39/3.43 c # should presolving try to simplify inequalities
3.39/3.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.43 c constraints/linear/simplifyinequalities = TRUE
3.39/3.43 c
3.39/3.43 c # should presolving try to simplify knapsacks
3.39/3.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.43 c constraints/knapsack/simplifyinequalities = TRUE
3.39/3.43 c
3.39/3.43 c # priority of node selection rule <dfs> in standard mode
3.39/3.43 c # [type: int, range: [-536870912,536870911], default: 0]
3.39/3.43 c nodeselection/dfs/stdpriority = 1000000
3.39/3.43 c
3.39/3.43 c -----------------------------------------------------------------------------------------------
3.39/3.43 c start solving
3.39/3.44 c
5.29/5.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.29/5.38 c t 4.5s| 1 | 0 | 1061 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
5.39/5.48 o -1
5.39/5.48 c R 4.6s| 1 | 0 | 1061 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
5.59/5.60 o -2
5.59/5.60 c s 4.8s| 1 | 0 | 1061 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
7.78/7.82 c 6.7s| 1 | 0 | 1184 | - | 101M| 0 | 992 |1000 | 37k|1000 | 37k| 6 | 0 | 0 |-4.960000e+02 |-2.000000e+00 | 99.60%
7.78/7.85 o -51
7.78/7.85 c b 6.7s| 1 | 0 | 1184 | - | 101M| 0 | 992 |1000 | 37k|1000 | 37k| 6 | 0 | 0 |-4.960000e+02 |-5.100000e+01 | 89.72%
10.08/10.14 c 8.7s| 1 | 0 | 1284 | - | 101M| 0 | 984 |1000 | 37k|1000 | 37k| 12 | 0 | 0 |-4.920000e+02 |-5.100000e+01 | 89.63%
12.88/12.97 c 11.4s| 1 | 0 | 1454 | - | 101M| 0 | 977 |1000 | 37k|1000 | 37k| 20 | 0 | 0 |-4.885000e+02 |-5.100000e+01 | 89.56%
15.68/15.70 c 13.8s| 1 | 0 | 1609 | - | 101M| 0 | 969 |1000 | 37k|1000 | 37k| 26 | 0 | 0 |-4.845000e+02 |-5.100000e+01 | 89.47%
18.38/18.44 c 16.3s| 1 | 0 | 1752 | - | 101M| 0 | 960 |1000 | 37k|1000 | 37k| 34 | 0 | 0 |-4.800000e+02 |-5.100000e+01 | 89.38%
21.48/21.55 c 19.2s| 1 | 0 | 1959 | - | 101M| 0 | 952 |1000 | 37k|1000 | 37k| 44 | 0 | 0 |-4.760000e+02 |-5.100000e+01 | 89.29%
24.87/24.98 c 22.3s| 1 | 0 | 2175 | - | 101M| 0 | 945 |1000 | 37k|1000 | 37k| 51 | 0 | 0 |-4.725000e+02 |-5.100000e+01 | 89.21%
28.59/28.68 c 25.8s| 1 | 0 | 2427 | - | 101M| 0 | 937 |1000 | 37k|1000 | 37k| 58 | 0 | 0 |-4.685000e+02 |-5.100000e+01 | 89.11%
31.68/31.78 c 28.6s| 1 | 0 | 2564 | - | 101M| 0 | 932 |1000 | 37k|1000 | 37k| 61 | 0 | 0 |-4.660000e+02 |-5.100000e+01 | 89.06%
34.86/34.99 c 31.6s| 1 | 0 | 2745 | - | 101M| 0 | 926 |1000 | 37k|1000 | 37k| 69 | 0 | 0 |-4.630000e+02 |-5.100000e+01 | 88.98%
37.57/37.67 c 34.0s| 1 | 0 | 2936 | - | 101M| 0 | 919 |1000 | 37k|1000 |1303 | 76 | 0 | 0 |-4.595000e+02 |-5.100000e+01 | 88.90%
37.97/38.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.97/38.05 c 34.4s| 1 | 0 | 3184 | - | 101M| 0 | 868 |1000 | 37k|1000 |1312 | 85 | 0 | 0 |-4.570000e+02 |-5.100000e+01 | 88.84%
38.67/38.79 c 35.1s| 1 | 0 | 3620 | - | 102M| 0 | 882 |1000 | 37k|1000 |2713 |1486 | 0 | 0 |-4.530000e+02 |-5.100000e+01 | 88.74%
39.36/39.44 c 35.8s| 1 | 0 | 4118 | - | 102M| 0 | 889 |1000 | 37k|1000 |3499 |2272 | 0 | 0 |-4.495000e+02 |-5.100000e+01 | 88.65%
40.26/40.36 c 36.7s| 1 | 0 | 4777 | - | 102M| 0 | 887 |1000 | 37k|1000 |3827 |2600 | 0 | 0 |-4.465000e+02 |-5.100000e+01 | 88.58%
40.86/40.95 c 37.2s| 1 | 0 | 5117 | - | 102M| 0 | 878 |1000 | 37k|1000 |4005 |2778 | 0 | 0 |-4.450000e+02 |-5.100000e+01 | 88.54%
41.87/41.96 c 38.2s| 1 | 0 | 5879 | - | 103M| 0 | 881 |1000 | 37k|1000 |3978 |3129 | 0 | 0 |-4.420000e+02 |-5.100000e+01 | 88.46%
42.56/42.63 c 38.9s| 1 | 0 | 6374 | - | 103M| 0 | 911 |1000 | 37k|1000 |4085 |3236 | 0 | 0 |-4.396667e+02 |-5.100000e+01 | 88.40%
46.27/46.34 c 42.6s| 1 | 0 | 6738 | - | 103M| 0 | 876 |1000 | 37k|1000 |6085 |5236 | 0 | 0 |-4.380000e+02 |-5.100000e+01 | 88.36%
47.06/47.19 c 43.4s| 1 | 0 | 7176 | - | 103M| 0 | 870 |1000 | 37k|1000 |6092 |5243 | 0 | 0 |-4.350000e+02 |-5.100000e+01 | 88.28%
48.06/48.13 c 44.4s| 1 | 0 | 7738 | - | 103M| 0 | 861 |1000 | 37k|1000 |6098 |5249 | 0 | 0 |-4.325000e+02 |-5.100000e+01 | 88.21%
49.07/49.12 c 45.3s| 1 | 0 | 8317 | - | 103M| 0 | 864 |1000 | 37k|1000 |6211 |5362 | 0 | 0 |-4.305000e+02 |-5.100000e+01 | 88.15%
50.06/50.18 c 46.4s| 1 | 0 | 9056 | - | 103M| 0 | 859 |1000 | 37k|1000 |4741 |5369 | 0 | 0 |-4.280000e+02 |-5.100000e+01 | 88.08%
50.86/50.96 c 47.2s| 1 | 0 | 9635 | - | 103M| 0 | 852 |1000 | 37k|1000 |4800 |5428 | 0 | 0 |-4.250000e+02 |-5.100000e+01 | 88.00%
51.96/52.01 c 48.2s| 1 | 0 | 10626 | - | 103M| 0 | 836 |1000 | 37k|1000 |4849 |5477 | 0 | 0 |-4.240000e+02 |-5.100000e+01 | 87.97%
52.67/52.79 c 49.0s| 1 | 0 | 11087 | - | 103M| 0 | 846 |1000 | 37k|1000 |5168 |5796 | 0 | 0 |-4.235000e+02 |-5.100000e+01 | 87.96%
53.26/53.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.26/53.36 c 49.5s| 1 | 0 | 11434 | - | 103M| 0 | 845 |1000 | 37k|1000 |5234 |5862 | 0 | 0 |-4.222500e+02 |-5.100000e+01 | 87.92%
54.46/54.53 c 50.7s| 1 | 0 | 12538 | - | 103M| 0 | 847 |1000 | 37k|1000 |5343 |5971 | 0 | 0 |-4.201000e+02 |-5.100000e+01 | 87.86%
55.76/55.82 c 52.0s| 1 | 0 | 13558 | - | 103M| 0 | 830 |1000 | 37k|1000 |3866 |6312 | 0 | 0 |-4.160000e+02 |-5.100000e+01 | 87.74%
56.26/56.38 c 52.5s| 1 | 0 | 14010 | - | 104M| 0 | 811 |1000 | 37k|1000 |4038 |6484 | 0 | 0 |-4.140000e+02 |-5.100000e+01 | 87.68%
57.07/57.20 c 53.4s| 1 | 0 | 14613 | - | 104M| 0 | 819 |1000 | 37k|1000 |4652 |7098 | 0 | 0 |-4.115000e+02 |-5.100000e+01 | 87.61%
57.76/57.87 c 54.0s| 1 | 0 | 15083 | - | 104M| 0 | 818 |1000 | 37k|1000 |4753 |7199 | 0 | 0 |-4.110000e+02 |-5.100000e+01 | 87.59%
58.76/58.86 c 55.0s| 1 | 0 | 16174 | - | 104M| 0 | 807 |1000 | 37k|1000 |4890 |7336 | 0 | 0 |-4.095000e+02 |-5.100000e+01 | 87.55%
59.76/59.87 c 56.0s| 1 | 0 | 16968 | - | 104M| 0 | 805 |1000 | 37k|1000 |5285 |7731 | 0 | 0 |-4.085000e+02 |-5.100000e+01 | 87.52%
60.76/60.88 c 57.0s| 1 | 0 | 17826 | - | 104M| 0 | 804 |1000 | 37k|1000 |5227 |8059 | 0 | 0 |-4.070000e+02 |-5.100000e+01 | 87.47%
61.76/61.85 c 58.0s| 1 | 0 | 18793 | - | 104M| 0 | 812 |1000 | 37k|1000 |5525 |8357 | 0 | 0 |-4.060000e+02 |-5.100000e+01 | 87.44%
62.75/62.85 c 58.9s| 1 | 0 | 19750 | - | 105M| 0 | 855 |1000 | 37k|1000 |5531 |8363 | 0 | 0 |-4.031429e+02 |-5.100000e+01 | 87.35%
66.16/66.27 c 62.4s| 1 | 0 | 19951 | - | 105M| 0 | 806 |1000 | 37k|1000 |7531 | 10k| 0 | 0 |-4.030000e+02 |-5.100000e+01 | 87.34%
67.35/67.49 c 63.6s| 1 | 0 | 20545 | - | 105M| 0 | 809 |1000 | 37k|1000 |7537 | 10k| 0 | 0 |-4.020000e+02 |-5.100000e+01 | 87.31%
68.56/68.67 c 64.7s| 1 | 0 | 21186 | - | 105M| 0 | 799 |1000 | 37k|1000 |7542 | 10k| 0 | 0 |-3.995000e+02 |-5.100000e+01 | 87.23%
70.05/70.14 c 66.2s| 1 | 0 | 21912 | - | 105M| 0 | 798 |1000 | 37k|1000 |5941 | 10k| 0 | 0 |-3.985000e+02 |-5.100000e+01 | 87.20%
71.15/71.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.15/71.26 c 67.3s| 1 | 0 | 22571 | - | 105M| 0 | 789 |1000 | 37k|1000 |5996 | 10k| 0 | 0 |-3.965000e+02 |-5.100000e+01 | 87.14%
72.25/72.33 c 68.3s| 1 | 0 | 23428 | - | 105M| 0 | 788 |1000 | 37k|1000 |6101 | 10k| 0 | 0 |-3.950000e+02 |-5.100000e+01 | 87.09%
73.46/73.50 c 69.5s| 1 | 0 | 24138 | - | 105M| 0 | 789 |1000 | 37k|1000 |6166 | 10k| 0 | 0 |-3.925000e+02 |-5.100000e+01 | 87.01%
74.25/74.35 c 70.4s| 1 | 0 | 24544 | - | 105M| 0 | 778 |1000 | 37k|1000 |6426 | 10k| 0 | 0 |-3.920000e+02 |-5.100000e+01 | 86.99%
75.26/75.34 c 71.3s| 1 | 0 | 25104 | - | 105M| 0 | 782 |1000 | 37k|1000 |6598 | 11k| 0 | 0 |-3.910000e+02 |-5.100000e+01 | 86.96%
76.46/76.50 c 72.5s| 1 | 0 | 25882 | - | 105M| 0 | 774 |1000 | 37k|1000 |5342 | 11k| 0 | 0 |-3.900000e+02 |-5.100000e+01 | 86.92%
77.35/77.47 c 73.5s| 1 | 0 | 26614 | - | 105M| 0 | 762 |1000 | 37k|1000 |5500 | 11k| 0 | 0 |-3.880000e+02 |-5.100000e+01 | 86.86%
78.55/78.66 c 74.6s| 1 | 0 | 27725 | - | 105M| 0 | 796 |1000 | 37k|1000 |5869 | 11k| 0 | 0 |-3.851250e+02 |-5.100000e+01 | 86.76%
79.66/79.80 c 75.8s| 1 | 0 | 28340 | - | 106M| 0 | 767 |1000 | 37k|1000 |6793 | 12k| 0 | 0 |-3.835000e+02 |-5.100000e+01 | 86.70%
80.86/80.98 c 76.9s| 1 | 0 | 29066 | - | 106M| 0 | 763 |1000 | 37k|1000 |6800 | 12k| 0 | 0 |-3.815000e+02 |-5.100000e+01 | 86.63%
82.05/82.16 c 78.1s| 1 | 0 | 29746 | - | 106M| 0 | 757 |1000 | 37k|1000 |6811 | 12k| 0 | 0 |-3.805000e+02 |-5.100000e+01 | 86.60%
83.05/83.12 c 79.1s| 1 | 0 | 30295 | - | 106M| 0 | 755 |1000 | 37k|1000 |6610 | 12k| 0 | 0 |-3.785000e+02 |-5.100000e+01 | 86.53%
84.35/84.42 c 80.3s| 1 | 0 | 31290 | - | 106M| 0 | 766 |1000 | 37k|1000 |6660 | 12k| 0 | 0 |-3.772500e+02 |-5.100000e+01 | 86.48%
85.35/85.47 c 81.4s| 1 | 0 | 32055 | - | 106M| 0 | 752 |1000 | 37k|1000 |6822 | 12k| 0 | 0 |-3.760000e+02 |-5.100000e+01 | 86.44%
87.06/87.10 c 83.0s| 1 | 0 | 33100 | - | 106M| 0 | 732 |1000 | 37k|1000 |6831 | 12k| 0 | 0 |-3.740000e+02 |-5.100000e+01 | 86.36%
88.05/88.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.05/88.12 c 84.0s| 1 | 0 | 33775 | - | 106M| 0 | 744 |1000 | 37k|1000 |7221 | 13k| 0 | 0 |-3.720000e+02 |-5.100000e+01 | 86.29%
88.96/89.03 c 84.9s| 1 | 0 | 34390 | - | 106M| 0 | 731 |1000 | 37k|1000 |7228 | 13k| 0 | 0 |-3.705000e+02 |-5.100000e+01 | 86.23%
90.16/90.24 c 86.1s| 1 | 0 | 35164 | - | 106M| 0 | 739 |1000 | 37k|1000 |6632 | 13k| 0 | 0 |-3.695000e+02 |-5.100000e+01 | 86.20%
91.05/91.17 c 87.0s| 1 | 0 | 35701 | - | 106M| 0 | 736 |1000 | 37k|1000 |6640 | 13k| 0 | 0 |-3.690000e+02 |-5.100000e+01 | 86.18%
92.26/92.36 c 88.2s| 1 | 0 | 36499 | - | 106M| 0 | 735 |1000 | 37k|1000 |6701 | 13k| 0 | 0 |-3.685000e+02 |-5.100000e+01 | 86.16%
93.85/93.96 c 89.8s| 1 | 0 | 37588 | - | 106M| 0 | 733 |1000 | 37k|1000 |6753 | 13k| 0 | 0 |-3.675000e+02 |-5.100000e+01 | 86.12%
95.66/95.79 c 91.6s| 1 | 0 | 39106 | - | 106M| 0 | 724 |1000 | 37k|1000 |6810 | 13k| 0 | 0 |-3.660000e+02 |-5.100000e+01 | 86.07%
97.05/97.17 c 93.0s| 1 | 0 | 40091 | - | 106M| 0 | 760 |1000 | 37k|1000 |7019 | 13k| 0 | 0 |-3.640000e+02 |-5.100000e+01 | 85.99%
98.35/98.47 c 94.3s| 1 | 0 | 40859 | - | 107M| 0 | 727 |1000 | 37k|1000 |6230 | 14k| 0 | 0 |-3.635000e+02 |-5.100000e+01 | 85.97%
99.05/99.16 c 95.0s| 1 | 0 | 41210 | - | 107M| 0 | 726 |1000 | 37k|1000 |6237 | 14k| 0 | 0 |-3.630000e+02 |-5.100000e+01 | 85.95%
100.45/100.57 c 96.3s| 1 | 0 | 42128 | - | 107M| 0 | 722 |1000 | 37k|1000 |6242 | 14k| 0 | 0 |-3.620000e+02 |-5.100000e+01 | 85.91%
101.55/101.66 c 97.4s| 1 | 0 | 42922 | - | 107M| 0 | 722 |1000 | 37k|1000 |6286 | 14k| 0 | 0 |-3.612500e+02 |-5.100000e+01 | 85.88%
103.25/103.32 c 99.1s| 1 | 0 | 44075 | - | 107M| 0 | 728 |1000 | 37k|1000 |6512 | 14k| 0 | 0 |-3.595000e+02 |-5.100000e+01 | 85.81%
104.35/104.49 c 100s| 1 | 0 | 44837 | - | 107M| 0 | 717 |1000 | 37k|1000 |6520 | 14k| 0 | 0 |-3.585000e+02 |-5.100000e+01 | 85.77%
105.85/105.91 c 102s| 1 | 0 | 45727 | - | 107M| 0 | 719 |1000 | 37k|1000 |5924 | 14k| 0 | 0 |-3.570000e+02 |-5.100000e+01 | 85.71%
106.65/106.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.65/106.76 c 102s| 1 | 0 | 46303 | - | 107M| 0 | 713 |1000 | 37k|1000 |5931 | 14k| 0 | 0 |-3.565000e+02 |-5.100000e+01 | 85.69%
108.15/108.23 c 104s| 1 | 0 | 47249 | - | 107M| 0 | 712 |1000 | 37k|1000 |5943 | 14k| 0 | 0 |-3.560000e+02 |-5.100000e+01 | 85.67%
109.45/109.59 c 105s| 1 | 0 | 48262 | - | 107M| 0 | 709 |1000 | 37k|1000 |5957 | 14k| 0 | 0 |-3.555000e+02 |-5.100000e+01 | 85.65%
110.85/110.91 c 107s| 1 | 0 | 49176 | - | 107M| 0 | 739 |1000 | 37k|1000 |6010 | 14k| 0 | 0 |-3.550000e+02 |-5.100000e+01 | 85.63%
113.04/113.12 c 109s| 1 | 0 | 51018 | - | 107M| 0 | 707 |1000 | 37k|1000 |6337 | 14k| 0 | 0 |-3.545000e+02 |-5.100000e+01 | 85.61%
114.25/114.30 c 110s| 1 | 0 | 51747 | - | 107M| 0 | 734 |1000 | 37k|1000 |5782 | 14k| 0 | 0 |-3.540000e+02 |-5.100000e+01 | 85.59%
115.94/116.05 c 112s| 1 | 0 | 53063 | - | 107M| 0 | 690 |1000 | 37k|1000 |5846 | 14k| 0 | 0 |-3.540000e+02 |-5.100000e+01 | 85.59%
117.66/117.72 c 113s| 1 | 0 | 54215 | - | 108M| 0 | 733 |1000 | 37k|1000 |6280 | 15k| 0 | 0 |-3.526667e+02 |-5.100000e+01 | 85.54%
118.95/119.07 c 115s| 1 | 0 | 55162 | - | 108M| 0 | 727 |1000 | 37k|1000 |6439 | 15k| 0 | 0 |-3.522708e+02 |-5.100000e+01 | 85.52%
122.74/122.86 c 118s| 1 | 0 | 57789 | - | 109M| 0 | 733 |1000 | 37k|1000 |6611 | 15k| 0 | 0 |-3.512500e+02 |-5.100000e+01 | 85.48%
125.94/126.03 c 122s| 1 | 0 | 60131 | - | 109M| 0 | 755 |1000 | 37k|1000 |6686 | 15k| 0 | 0 |-3.492697e+02 |-5.100000e+01 | 85.40%
128.65/128.77 c 124s| 1 | 0 | 61892 | - | 110M| 0 | 743 |1000 | 37k|1000 |7084 | 16k| 0 | 0 |-3.475476e+02 |-5.100000e+01 | 85.33%
130.75/130.88 c 126s| 1 | 0 | 63427 | - | 110M| 0 | 704 |1000 | 37k|1000 |7171 | 16k| 0 | 0 |-3.457500e+02 |-5.100000e+01 | 85.25%
133.04/133.13 c 129s| 1 | 0 | 64889 | - | 111M| 0 | 783 |1000 | 37k|1000 |7184 | 16k| 0 | 0 |-3.448571e+02 |-5.100000e+01 | 85.21%
135.25/135.36 c 131s| 1 | 0 | 66235 | - | 111M| 0 | 742 |1000 | 37k|1000 |7519 | 16k| 0 | 0 |-3.430500e+02 |-5.100000e+01 | 85.13%
137.54/137.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.54/137.64 c 133s| 1 | 0 | 67673 | - | 111M| 0 | 760 |1000 | 37k|1000 |7682 | 17k| 0 | 0 |-3.418519e+02 |-5.100000e+01 | 85.08%
140.24/140.32 c 136s| 1 | 0 | 69406 | - | 112M| 0 | 753 |1000 | 37k|1000 |7810 | 17k| 0 | 0 |-3.403929e+02 |-5.100000e+01 | 85.02%
142.53/142.60 c 138s| 1 | 0 | 70675 | - | 112M| 0 | 778 |1000 | 37k|1000 |7290 | 17k| 0 | 0 |-3.396288e+02 |-5.100000e+01 | 84.98%
144.23/144.35 c 140s| 1 | 0 | 71535 | - | 114M| 0 | 777 |1000 | 37k|1000 |7373 | 17k| 0 | 0 |-3.389972e+02 |-5.100000e+01 | 84.96%
147.13/147.27 c 143s| 1 | 0 | 73066 | - | 114M| 0 | 778 |1000 | 37k|1000 |7490 | 17k| 0 | 0 |-3.377284e+02 |-5.100000e+01 | 84.90%
149.03/149.18 c 145s| 1 | 0 | 73975 | - | 115M| 0 | 779 |1000 | 37k|1000 |7556 | 17k| 0 | 0 |-3.369972e+02 |-5.100000e+01 | 84.87%
151.34/151.47 c 147s| 1 | 0 | 75112 | - | 116M| 0 | 772 |1000 | 37k|1000 |7669 | 17k| 0 | 0 |-3.357808e+02 |-5.100000e+01 | 84.81%
154.74/154.81 c 150s| 1 | 0 | 76875 | - | 117M| 0 | 765 |1000 | 37k|1000 |7738 | 17k| 0 | 0 |-3.343547e+02 |-5.100000e+01 | 84.75%
157.63/157.71 c 153s| 1 | 0 | 78377 | - | 119M| 0 | 770 |1000 | 37k|1000 |7021 | 17k| 0 | 0 |-3.330812e+02 |-5.100000e+01 | 84.69%
160.03/160.18 c 155s| 1 | 0 | 79618 | - | 120M| 0 | 779 |1000 | 37k|1000 |7061 | 17k| 0 | 0 |-3.321854e+02 |-5.100000e+01 | 84.65%
162.13/162.24 c 157s| 1 | 0 | 80624 | - | 122M| 0 | 774 |1000 | 37k|1000 |7155 | 18k| 0 | 0 |-3.315519e+02 |-5.100000e+01 | 84.62%
164.53/164.64 c 160s| 1 | 0 | 81975 | - | 123M| 0 | 771 |1000 | 37k|1000 |7250 | 18k| 0 | 0 |-3.303311e+02 |-5.100000e+01 | 84.56%
166.83/166.98 c 162s| 1 | 0 | 83069 | - | 125M| 0 | 786 |1000 | 37k|1000 |7262 | 18k| 0 | 0 |-3.293913e+02 |-5.100000e+01 | 84.52%
169.93/170.03 c 165s| 1 | 0 | 84387 | - | 126M| 0 | 783 |1000 | 37k|1000 |7271 | 18k| 0 | 0 |-3.283970e+02 |-5.100000e+01 | 84.47%
173.33/173.48 c 169s| 1 | 0 | 85770 | - | 126M| 0 | 775 |1000 | 37k|1000 |6766 | 18k| 0 | 0 |-3.274330e+02 |-5.100000e+01 | 84.42%
176.72/176.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.72/176.87 c 172s| 1 | 0 | 87578 | - | 126M| 0 | 774 |1000 | 37k|1000 |6821 | 18k| 0 | 0 |-3.256540e+02 |-5.100000e+01 | 84.34%
180.63/180.72 c 176s| 1 | 0 | 89495 | - | 126M| 0 | 802 |1000 | 37k|1000 |6865 | 18k| 0 | 0 |-3.240537e+02 |-5.100000e+01 | 84.26%
185.02/185.16 c 180s| 1 | 0 | 91110 | - | 126M| 0 | 780 |1000 | 37k|1000 |7209 | 18k| 0 | 0 |-3.229022e+02 |-5.100000e+01 | 84.21%
189.13/189.25 c 184s| 1 | 0 | 92842 | - | 126M| 0 | 792 |1000 | 37k|1000 |7302 | 18k| 0 | 0 |-3.217990e+02 |-5.100000e+01 | 84.15%
192.92/193.06 c 188s| 1 | 0 | 94469 | - | 127M| 0 | 793 |1000 | 37k|1000 |7370 | 18k| 0 | 0 |-3.212981e+02 |-5.100000e+01 | 84.13%
197.42/197.50 c 192s| 1 | 0 | 96358 | - | 127M| 0 | 806 |1000 | 37k|1000 |7097 | 19k| 0 | 0 |-3.197800e+02 |-5.100000e+01 | 84.05%
202.42/202.54 c 197s| 1 | 0 | 98132 | - | 127M| 0 | 781 |1000 | 37k|1000 |7510 | 19k| 0 | 0 |-3.180311e+02 |-5.100000e+01 | 83.96%
206.41/206.54 c 201s| 1 | 0 | 99804 | - | 127M| 0 | 782 |1000 | 37k|1000 |7675 | 19k| 0 | 0 |-3.164700e+02 |-5.100000e+01 | 83.88%
209.61/209.78 c 205s| 1 | 0 |101191 | - | 129M| 0 | 781 |1000 | 37k|1000 |7942 | 19k| 0 | 0 |-3.157680e+02 |-5.100000e+01 | 83.85%
214.22/214.35 c 209s| 1 | 0 |103075 | - | 129M| 0 | 777 |1000 | 37k|1000 |8019 | 19k| 0 | 0 |-3.143995e+02 |-5.100000e+01 | 83.78%
218.21/218.33 c 213s| 1 | 0 |104531 | - | 129M| 0 | 783 |1000 | 37k|1000 |8030 | 19k| 0 | 0 |-3.137877e+02 |-5.100000e+01 | 83.75%
224.51/224.68 c 219s| 1 | 0 |107023 | - | 129M| 0 | 778 |1000 | 37k|1000 |7939 | 20k| 0 | 0 |-3.122073e+02 |-5.100000e+01 | 83.66%
230.92/231.09 c 226s| 1 | 0 |108497 | - | 130M| 0 | 812 |1000 | 37k|1000 |7980 | 20k| 0 | 0 |-3.112976e+02 |-5.100000e+01 | 83.62%
237.20/237.39 c 232s| 1 | 0 |110800 | - | 130M| 0 | 788 |1000 | 37k|1000 |7995 | 20k| 0 | 0 |-3.100708e+02 |-5.100000e+01 | 83.55%
244.02/244.12 c 239s| 1 | 0 |113611 | - | 131M| 0 | 796 |1000 | 37k|1000 |8176 | 20k| 0 | 0 |-3.076976e+02 |-5.100000e+01 | 83.43%
250.50/250.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.50/250.66 c 245s| 1 | 0 |116189 | - | 131M| 0 | 811 |1000 | 37k|1000 |8301 | 20k| 0 | 0 |-3.060385e+02 |-5.100000e+01 | 83.34%
256.40/256.58 c 251s| 1 | 0 |118162 | - | 131M| 0 | 812 |1000 | 37k|1000 |8559 | 20k| 0 | 0 |-3.051054e+02 |-5.100000e+01 | 83.28%
261.71/261.89 c 256s| 1 | 0 |119603 | - | 131M| 0 | 812 |1000 | 37k|1000 |7951 | 20k| 0 | 0 |-3.046193e+02 |-5.100000e+01 | 83.26%
268.00/268.14 c 263s| 1 | 0 |121812 | - | 131M| 0 | 801 |1000 | 37k|1000 |8091 | 20k| 0 | 0 |-3.026657e+02 |-5.100000e+01 | 83.15%
274.20/274.33 c 269s| 1 | 0 |124025 | - | 131M| 0 | 827 |1000 | 37k|1000 |8124 | 21k| 0 | 0 |-3.015467e+02 |-5.100000e+01 | 83.09%
281.69/281.81 c 276s| 1 | 0 |126235 | - | 131M| 0 | 810 |1000 | 37k|1000 |8299 | 21k| 0 | 0 |-3.005430e+02 |-5.100000e+01 | 83.03%
288.90/289.07 c 283s| 1 | 0 |128697 | - | 131M| 0 | 819 |1000 | 37k|1000 |8339 | 21k| 0 | 0 |-2.986167e+02 |-5.100000e+01 | 82.92%
294.60/294.73 c 289s| 1 | 0 |130083 | - | 131M| 0 | 830 |1000 | 37k|1000 |8398 | 21k| 0 | 0 |-2.981048e+02 |-5.100000e+01 | 82.89%
300.89/301.07 c 295s| 1 | 0 |131640 | - | 131M| 0 | 839 |1000 | 37k|1000 |8064 | 21k| 0 | 0 |-2.972069e+02 |-5.100000e+01 | 82.84%
308.19/308.37 c 303s| 1 | 0 |133699 | - | 131M| 0 | 822 |1000 | 37k|1000 |8132 | 21k| 0 | 0 |-2.959385e+02 |-5.100000e+01 | 82.77%
314.88/315.01 c 309s| 1 | 0 |135546 | - | 131M| 0 | 828 |1000 | 37k|1000 |8297 | 21k| 0 | 0 |-2.953155e+02 |-5.100000e+01 | 82.73%
323.38/323.59 c 318s| 1 | 0 |138196 | - | 131M| 0 | 831 |1000 | 37k|1000 |8354 | 21k| 0 | 0 |-2.936872e+02 |-5.100000e+01 | 82.63%
329.79/329.97 c 324s| 1 | 0 |140103 | - | 131M| 0 | 831 |1000 | 37k|1000 |8398 | 21k| 0 | 0 |-2.925936e+02 |-5.100000e+01 | 82.57%
337.59/337.72 c 332s| 1 | 0 |142203 | - | 130M| 0 | 838 |1000 | 37k|1000 |8546 | 21k| 0 | 0 |-2.915933e+02 |-5.100000e+01 | 82.51%
344.48/344.60 c 339s| 1 | 0 |143881 | - | 130M| 0 | 825 |1000 | 37k|1000 |8135 | 21k| 0 | 0 |-2.907187e+02 |-5.100000e+01 | 82.46%
350.57/350.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.57/350.73 c 345s| 1 | 0 |145427 | - | 130M| 0 | 840 |1000 | 37k|1000 |8183 | 21k| 0 | 0 |-2.899897e+02 |-5.100000e+01 | 82.41%
357.07/357.22 c 351s| 1 | 0 |146879 | - | 130M| 0 | 839 |1000 | 37k|1000 |8284 | 22k| 0 | 0 |-2.891754e+02 |-5.100000e+01 | 82.36%
364.27/364.45 c 358s| 1 | 0 |148571 | - | 130M| 0 | 847 |1000 | 37k|1000 |8429 | 22k| 0 | 0 |-2.883374e+02 |-5.100000e+01 | 82.31%
371.28/371.47 c 365s| 1 | 0 |150215 | - | 130M| 0 | 856 |1000 | 37k|1000 |8458 | 22k| 0 | 0 |-2.874428e+02 |-5.100000e+01 | 82.26%
378.56/378.75 c 373s| 1 | 0 |151845 | - | 130M| 0 | 848 |1000 | 37k|1000 |8499 | 22k| 0 | 0 |-2.867083e+02 |-5.100000e+01 | 82.21%
386.56/386.75 c 381s| 1 | 0 |153845 | - | 130M| 0 | 842 |1000 | 37k|1000 |8217 | 22k| 0 | 0 |-2.858506e+02 |-5.100000e+01 | 82.16%
395.36/395.52 c 389s| 1 | 0 |156232 | - | 130M| 0 | 850 |1000 | 37k|1000 |8320 | 22k| 0 | 0 |-2.847126e+02 |-5.100000e+01 | 82.09%
403.57/403.79 c 397s| 1 | 0 |158055 | - | 130M| 0 | 851 |1000 | 37k|1000 |8366 | 22k| 0 | 0 |-2.838488e+02 |-5.100000e+01 | 82.03%
411.56/411.77 c 405s| 1 | 0 |159898 | - | 130M| 0 | 863 |1000 | 37k|1000 |8426 | 22k| 0 | 0 |-2.833019e+02 |-5.100000e+01 | 82.00%
422.06/422.30 c 416s| 1 | 0 |162182 | - | 130M| 0 | 861 |1000 | 37k|1000 |8505 | 22k| 0 | 0 |-2.822268e+02 |-5.100000e+01 | 81.93%
431.25/431.40 c 425s| 1 | 0 |163583 | - | 130M| 0 | 861 |1000 | 37k|1000 |8594 | 22k| 0 | 0 |-2.817846e+02 |-5.100000e+01 | 81.90%
443.16/443.33 c 437s| 1 | 0 |166052 | - | 130M| 0 | 880 |1000 | 37k|1000 |8365 | 22k| 0 | 0 |-2.806371e+02 |-5.100000e+01 | 81.83%
453.54/453.75 c 447s| 1 | 0 |167674 | - | 130M| 0 | 870 |1000 | 37k|1000 |8418 | 22k| 0 | 0 |-2.800688e+02 |-5.100000e+01 | 81.79%
465.84/466.06 c 459s| 1 | 0 |170011 | - | 130M| 0 | 876 |1000 | 37k|1000 |8493 | 22k| 0 | 0 |-2.790966e+02 |-5.100000e+01 | 81.73%
476.53/476.70 c 470s| 1 | 0 |171758 | - | 130M| 0 | 872 |1000 | 37k|1000 |8532 | 22k| 0 | 0 |-2.786367e+02 |-5.100000e+01 | 81.70%
487.13/487.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.13/487.36 c 481s| 1 | 0 |173398 | - | 130M| 0 | 884 |1000 | 37k|1000 |8556 | 23k| 0 | 0 |-2.781497e+02 |-5.100000e+01 | 81.66%
498.42/498.60 c 492s| 1 | 0 |174698 | - | 130M| 0 | 875 |1000 | 37k|1000 |8916 | 23k| 0 | 0 |-2.777540e+02 |-5.100000e+01 | 81.64%
509.43/509.61 c 503s| 1 | 0 |176395 | - | 130M| 0 | 869 |1000 | 37k|1000 |8635 | 23k| 0 | 0 |-2.771495e+02 |-5.100000e+01 | 81.60%
521.02/521.28 c 514s| 1 | 0 |178417 | - | 130M| 0 | 882 |1000 | 37k|1000 |8656 | 23k| 0 | 0 |-2.762736e+02 |-5.100000e+01 | 81.54%
533.81/534.04 c 527s| 1 | 0 |180691 | - | 130M| 0 | 876 |1000 | 37k|1000 |8684 | 23k| 0 | 0 |-2.756439e+02 |-5.100000e+01 | 81.50%
546.82/547.04 c 540s| 1 | 0 |182956 | - | 130M| 0 | 888 |1000 | 37k|1000 |8747 | 23k| 0 | 0 |-2.745271e+02 |-5.100000e+01 | 81.42%
561.51/561.71 c 555s| 1 | 0 |185732 | - | 130M| 0 | 882 |1000 | 37k|1000 |8892 | 23k| 0 | 0 |-2.732636e+02 |-5.100000e+01 | 81.34%
573.80/574.03 c 567s| 1 | 0 |187439 | - | 129M| 0 | 884 |1000 | 37k|1000 |8963 | 23k| 0 | 0 |-2.726987e+02 |-5.100000e+01 | 81.30%
587.80/588.06 c 581s| 1 | 0 |189674 | - | 129M| 0 | 892 |1000 | 37k|1000 |8816 | 23k| 0 | 0 |-2.718939e+02 |-5.100000e+01 | 81.24%
603.30/603.55 c 596s| 1 | 0 |192517 | - | 129M| 0 | 884 |1000 | 37k|1000 |8894 | 23k| 0 | 0 |-2.709410e+02 |-5.100000e+01 | 81.18%
616.80/617.08 c 610s| 1 | 0 |194500 | - | 130M| 0 | 889 |1000 | 37k|1000 |9036 | 24k| 0 | 0 |-2.704325e+02 |-5.100000e+01 | 81.14%
629.99/630.20 c 623s| 1 | 0 |196230 | - | 130M| 0 | 892 |1000 | 37k|1000 |9063 | 24k| 0 | 0 |-2.700159e+02 |-5.100000e+01 | 81.11%
644.08/644.31 c 637s| 1 | 0 |198111 | - | 130M| 0 | 898 |1000 | 37k|1000 |9135 | 24k| 0 | 0 |-2.694725e+02 |-5.100000e+01 | 81.07%
658.87/659.18 c 651s| 1 | 0 |200220 | - | 129M| 0 | 891 |1000 | 37k|1000 |9186 | 24k| 0 | 0 |-2.688395e+02 |-5.100000e+01 | 81.03%
673.27/673.52 c 666s| 1 | 0 |202158 | - | 129M| 0 | 913 |1000 | 37k|1000 |8977 | 24k| 0 | 0 |-2.683427e+02 |-5.100000e+01 | 80.99%
686.97/687.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.97/687.24 c 679s| 1 | 0 |203860 | - | 129M| 0 | 905 |1000 | 37k|1000 |9098 | 24k| 0 | 0 |-2.677848e+02 |-5.100000e+01 | 80.95%
700.56/700.85 c 693s| 1 | 0 |205435 | - | 129M| 0 | 913 |1000 | 37k|1000 |9143 | 24k| 0 | 0 |-2.674082e+02 |-5.100000e+01 | 80.93%
715.46/715.73 c 708s| 1 | 0 |207335 | - | 129M| 0 | 913 |1000 | 37k|1000 |9223 | 24k| 0 | 0 |-2.668063e+02 |-5.100000e+01 | 80.89%
730.46/730.72 c 723s| 1 | 0 |209129 | - | 129M| 0 | 912 |1000 | 37k|1000 |9267 | 24k| 0 | 0 |-2.663977e+02 |-5.100000e+01 | 80.86%
745.15/745.44 c 737s| 1 | 0 |210874 | - | 129M| 0 | 915 |1000 | 37k|1000 |9317 | 24k| 0 | 0 |-2.659013e+02 |-5.100000e+01 | 80.82%
759.25/759.55 c 751s| 1 | 0 |212211 | - | 129M| 0 | 921 |1000 | 37k|1000 |9075 | 24k| 0 | 0 |-2.655213e+02 |-5.100000e+01 | 80.79%
775.14/775.44 c 767s| 1 | 0 |214258 | - | 129M| 0 | 922 |1000 | 37k|1000 |9132 | 24k| 0 | 0 |-2.648661e+02 |-5.100000e+01 | 80.74%
791.44/791.79 c 783s| 1 | 0 |216332 | - | 129M| 0 | 931 |1000 | 37k|1000 |9216 | 24k| 0 | 0 |-2.643048e+02 |-5.100000e+01 | 80.70%
806.33/806.68 c 798s| 1 | 0 |217844 | - | 129M| 0 | 936 |1000 | 37k|1000 |9284 | 24k| 0 | 0 |-2.639409e+02 |-5.100000e+01 | 80.68%
822.23/822.59 c 814s| 1 | 0 |219546 | - | 129M| 0 | 938 |1000 | 37k|1000 |9364 | 24k| 0 | 0 |-2.634165e+02 |-5.100000e+01 | 80.64%
836.72/837.08 c 828s| 1 | 0 |220752 | - | 128M| 0 | 935 |1000 | 37k|1000 |9403 | 24k| 0 | 0 |-2.631386e+02 |-5.100000e+01 | 80.62%
850.41/850.78 c 842s| 1 | 0 |221686 | - | 128M| 0 | 939 |1000 | 37k|1000 |9205 | 25k| 0 | 0 |-2.629858e+02 |-5.100000e+01 | 80.61%
865.11/865.43 c 857s| 1 | 0 |223181 | - | 128M| 0 | 930 |1000 | 37k|1000 |9245 | 25k| 0 | 0 |-2.625647e+02 |-5.100000e+01 | 80.58%
879.71/880.05 c 871s| 1 | 0 |224542 | - | 128M| 0 | 928 |1000 | 37k|1000 |9270 | 25k| 0 | 0 |-2.622529e+02 |-5.100000e+01 | 80.55%
894.50/894.83 c 886s| 1 | 0 |225971 | - | 128M| 0 | 929 |1000 | 37k|1000 |9324 | 25k| 0 | 0 |-2.618379e+02 |-5.100000e+01 | 80.52%
911.50/911.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
911.50/911.82 c 903s| 1 | 0 |227923 | - | 128M| 0 | 928 |1000 | 37k|1000 |9354 | 25k| 0 | 0 |-2.611711e+02 |-5.100000e+01 | 80.47%
926.50/926.88 c 918s| 1 | 0 |229249 | - | 128M| 0 | 933 |1000 | 37k|1000 |9397 | 25k| 0 | 0 |-2.607941e+02 |-5.100000e+01 | 80.44%
942.29/942.66 c 934s| 1 | 0 |230824 | - | 128M| 0 | 929 |1000 | 37k|1000 |9250 | 25k| 0 | 0 |-2.603566e+02 |-5.100000e+01 | 80.41%
957.79/958.20 c 949s| 1 | 0 |232326 | - | 128M| 0 | 936 |1000 | 37k|1000 |9273 | 25k| 0 | 0 |-2.599145e+02 |-5.100000e+01 | 80.38%
972.98/973.39 c 964s| 1 | 0 |233782 | - | 128M| 0 | 936 |1000 | 37k|1000 |9305 | 25k| 0 | 0 |-2.594472e+02 |-5.100000e+01 | 80.34%
988.37/988.76 c 979s| 1 | 0 |235022 | - | 127M| 0 | 944 |1000 | 37k|1000 |9364 | 25k| 0 | 0 |-2.590602e+02 |-5.100000e+01 | 80.31%
1004.47/1004.87 c 995s| 1 | 0 |236516 | - | 127M| 0 | 940 |1000 | 37k|1000 |9408 | 25k| 0 | 0 |-2.585948e+02 |-5.100000e+01 | 80.28%
1018.17/1018.51 c 1009s| 1 | 0 |237296 | - | 127M| 0 | 949 |1000 | 37k|1000 |9438 | 25k| 0 | 0 |-2.584323e+02 |-5.100000e+01 | 80.27%
1034.96/1035.37 c 1026s| 1 | 0 |238848 | - | 126M| 0 | 949 |1000 | 37k|1000 |9325 | 25k| 0 | 0 |-2.580341e+02 |-5.100000e+01 | 80.24%
1050.06/1050.41 c 1041s| 1 | 0 |239946 | - | 126M| 0 | 954 |1000 | 37k|1000 |9356 | 25k| 0 | 0 |-2.577461e+02 |-5.100000e+01 | 80.21%
1064.65/1065.04 c 1055s| 1 | 0 |241047 | - | 126M| 0 | 943 |1000 | 37k|1000 |9384 | 25k| 0 | 0 |-2.574318e+02 |-5.100000e+01 | 80.19%
1080.95/1081.34 c 1072s| 1 | 0 |242457 | - | 126M| 0 | 953 |1000 | 37k|1000 |9404 | 25k| 0 | 0 |-2.570196e+02 |-5.100000e+01 | 80.16%
1097.14/1097.57 c 1088s| 1 | 0 |243841 | - | 125M| 0 | 946 |1000 | 37k|1000 |9442 | 25k| 0 | 0 |-2.566550e+02 |-5.100000e+01 | 80.13%
1112.24/1112.65 c 1103s| 1 | 0 |244729 | - | 124M| 0 | 947 |1000 | 37k|1000 |9477 | 25k| 0 | 0 |-2.564866e+02 |-5.100000e+01 | 80.12%
1128.24/1128.69 c 1119s| 1 | 0 |245901 | - | 124M| 0 | 947 |1000 | 37k|1000 |9393 | 25k| 0 | 0 |-2.562365e+02 |-5.100000e+01 | 80.10%
1143.23/1143.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.23/1143.63 c 1134s| 1 | 0 |246993 | - | 122M| 0 | 953 |1000 | 37k|1000 |9406 | 25k| 0 | 0 |-2.559477e+02 |-5.100000e+01 | 80.07%
1159.02/1159.43 c 1149s| 1 | 0 |248379 | - | 122M| 0 | 959 |1000 | 37k|1000 |9428 | 25k| 0 | 0 |-2.555756e+02 |-5.100000e+01 | 80.05%
1174.32/1174.72 c 1165s| 1 | 0 |249226 | - | 121M| 0 | 955 |1000 | 37k|1000 |9452 | 25k| 0 | 0 |-2.553523e+02 |-5.100000e+01 | 80.03%
1190.81/1191.29 c 1181s| 1 | 0 |250361 | - | 120M| 0 | 957 |1000 | 37k|1000 |9493 | 25k| 0 | 0 |-2.550706e+02 |-5.100000e+01 | 80.01%
1206.90/1207.34 c 1197s| 1 | 0 |251452 | - | 119M| 0 | 955 |1000 | 37k|1000 |9510 | 25k| 0 | 0 |-2.548276e+02 |-5.100000e+01 | 79.99%
1223.40/1223.88 c 1213s| 1 | 0 |252692 | - | 118M| 0 | 959 |1000 | 37k|1000 |9423 | 25k| 0 | 0 |-2.545271e+02 |-5.100000e+01 | 79.96%
1239.30/1239.72 c 1229s| 1 | 0 |253690 | - | 117M| 0 | 957 |1000 | 37k|1000 |9445 | 25k| 0 | 0 |-2.542632e+02 |-5.100000e+01 | 79.94%
1256.29/1256.80 c 1246s| 1 | 0 |255025 | - | 115M| 0 | 961 |1000 | 37k|1000 |9472 | 25k| 0 | 0 |-2.539885e+02 |-5.100000e+01 | 79.92%
1273.08/1273.59 c 1263s| 1 | 0 |256425 | - | 113M| 0 | 954 |1000 | 37k|1000 |9506 | 25k| 0 | 0 |-2.536448e+02 |-5.100000e+01 | 79.89%
1288.28/1288.70 c 1278s| 1 | 0 |257238 | - | 111M| 0 | 962 |1000 | 37k|1000 |9527 | 25k| 0 | 0 |-2.535296e+02 |-5.100000e+01 | 79.88%
1304.08/1304.53 c 1294s| 1 | 0 |258180 | - | 111M| 0 | 954 |1000 | 37k|1000 |9545 | 25k| 0 | 0 |-2.533123e+02 |-5.100000e+01 | 79.87%
1320.07/1320.52 c 1310s| 1 | 0 |259158 | - | 111M| 0 | 960 |1000 | 37k|1000 |9480 | 25k| 0 | 0 |-2.531303e+02 |-5.100000e+01 | 79.85%
1335.77/1336.23 c 1325s| 1 | 0 |260156 | - | 110M| 0 | 965 |1000 | 37k|1000 |9498 | 25k| 0 | 0 |-2.528743e+02 |-5.100000e+01 | 79.83%
1352.16/1352.65 c 1342s| 1 | 0 |261237 | - | 110M| 0 | 971 |1000 | 37k|1000 |9528 | 26k| 0 | 0 |-2.526733e+02 |-5.100000e+01 | 79.82%
1368.26/1368.78 c 1358s| 1 | 0 |262222 | - | 110M| 0 | 969 |1000 | 37k|1000 |9548 | 26k| 0 | 0 |-2.525072e+02 |-5.100000e+01 | 79.80%
1386.95/1387.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.95/1387.48 c 1376s| 1 | 0 |263807 | - | 110M| 0 | 975 |1000 | 37k|1000 |9571 | 26k| 0 | 0 |-2.521058e+02 |-5.100000e+01 | 79.77%
1402.35/1402.88 c 1392s| 1 | 0 |264398 | - | 110M| 0 | 973 |1000 | 37k|1000 |9587 | 26k| 0 | 0 |-2.519637e+02 |-5.100000e+01 | 79.76%
1417.55/1418.00 c 1407s| 1 | 0 |264928 | - | 110M| 0 | 977 |1000 | 37k|1000 |9528 | 26k| 0 | 0 |-2.518384e+02 |-5.100000e+01 | 79.75%
1433.04/1433.58 c 1422s| 1 | 0 |265771 | - | 110M| 0 | 969 |1000 | 37k|1000 |9543 | 26k| 0 | 0 |-2.516807e+02 |-5.100000e+01 | 79.74%
1449.24/1449.73 c 1438s| 1 | 0 |266704 | - | 109M| 0 | 972 |1000 | 37k|1000 |9561 | 26k| 0 | 0 |-2.515088e+02 |-5.100000e+01 | 79.72%
1463.73/1464.27 c 1453s| 1 | 0 |267103 | - | 108M| 0 | 970 |1000 | 37k|1000 |9577 | 26k| 0 | 0 |-2.514250e+02 |-5.100000e+01 | 79.72%
1478.12/1478.62 c 1467s| 1 | 0 |267524 | - | 108M| 0 | 971 |1000 | 37k|1000 |9595 | 26k| 0 | 0 |-2.513628e+02 |-5.100000e+01 | 79.71%
1493.92/1494.45 c 1483s| 1 | 0 |268241 | - | 108M| 0 | 972 |1000 | 37k|1000 |9610 | 26k| 0 | 0 |-2.512198e+02 |-5.100000e+01 | 79.70%
1510.22/1510.73 c 1499s| 1 | 0 |269101 | - | 108M| 0 | 973 |1000 | 37k|1000 |9539 | 26k| 0 | 0 |-2.510445e+02 |-5.100000e+01 | 79.68%
1525.02/1525.51 c 1514s| 1 | 0 |269820 | - | 107M| 0 | 966 |1000 | 37k|1000 |9554 | 26k| 0 | 0 |-2.508867e+02 |-5.100000e+01 | 79.67%
1539.42/1540.00 c 1528s| 1 | 0 |270400 | - | 107M| 0 | 977 |1000 | 37k|1000 |9577 | 26k| 0 | 0 |-2.507941e+02 |-5.100000e+01 | 79.66%
1555.31/1555.84 c 1544s| 1 | 0 |271138 | - | 106M| 0 | 973 |1000 | 37k|1000 |9593 | 26k| 0 | 0 |-2.506628e+02 |-5.100000e+01 | 79.65%
1571.20/1571.73 c 1560s| 1 | 0 |271829 | - | 106M| 0 | 975 |1000 | 37k|1000 |9601 | 26k| 0 | 0 |-2.505412e+02 |-5.100000e+01 | 79.64%
1586.49/1587.08 c 1575s| 1 | 0 |272376 | - | 106M| 0 | 974 |1000 | 37k|1000 |9622 | 26k| 0 | 0 |-2.504460e+02 |-5.100000e+01 | 79.64%
1603.20/1603.80 c 1592s| 1 | 0 |273313 | - | 106M| 0 | 979 |1000 | 37k|1000 |9576 | 26k| 0 | 0 |-2.501875e+02 |-5.100000e+01 | 79.62%
1618.09/1618.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1618.09/1618.61 c 1606s| 1 | 0 |273871 | - | 106M| 0 | 979 |1000 | 37k|1000 |9588 | 26k| 0 | 0 |-2.500579e+02 |-5.100000e+01 | 79.60%
1634.48/1635.01 c 1623s| 1 | 0 |274495 | - | 106M| 0 | 974 |1000 | 37k|1000 |9603 | 26k| 0 | 0 |-2.499054e+02 |-5.100000e+01 | 79.59%
1650.37/1650.99 c 1639s| 1 | 0 |275188 | - | 106M| 0 | 977 |1000 | 37k|1000 |9625 | 26k| 0 | 0 |-2.497631e+02 |-5.100000e+01 | 79.58%
1666.87/1667.47 c 1655s| 1 | 0 |275817 | - | 106M| 0 | 982 |1000 | 37k|1000 |9637 | 26k| 0 | 0 |-2.496257e+02 |-5.100000e+01 | 79.57%
1682.97/1683.56 c 1671s| 1 | 0 |276405 | - | 106M| 0 | 984 |1000 | 37k|1000 |9651 | 26k| 0 | 0 |-2.495043e+02 |-5.100000e+01 | 79.56%
1698.66/1699.23 c 1687s| 1 | 0 |276898 | - | 106M| 0 | 985 |1000 | 37k|1000 |9621 | 26k| 0 | 0 |-2.494093e+02 |-5.100000e+01 | 79.55%
1714.46/1715.09 c 1702s| 1 | 0 |277432 | - | 106M| 0 | 983 |1000 | 37k|1000 |9637 | 26k| 0 | 0 |-2.493074e+02 |-5.100000e+01 | 79.54%
1729.45/1730.06 c 1717s| 1 | 0 |277770 | - | 106M| 0 | 986 |1000 | 37k|1000 |9647 | 26k| 0 | 0 |-2.492509e+02 |-5.100000e+01 | 79.54%
1744.94/1745.54 c 1733s| 1 | 0 |278134 | - | 106M| 0 | 987 |1000 | 37k|1000 |9654 | 26k| 0 | 0 |-2.491948e+02 |-5.100000e+01 | 79.53%
1760.04/1760.62 c 1748s| 1 | 0 |278587 | - | 106M| 0 | 987 |1000 | 37k|1000 |9667 | 26k| 0 | 0 |-2.490998e+02 |-5.100000e+01 | 79.53%
1775.64/1776.29 c 1763s| 1 | 0 |279090 | - | 106M| 0 | 983 |1000 | 37k|1000 |9677 | 26k| 0 | 0 |-2.489899e+02 |-5.100000e+01 | 79.52%
1791.53/1792.13 c 1779s| 1 | 0 |279583 | - | 106M| 0 | 986 |1000 | 37k|1000 |9630 | 26k| 0 | 0 |-2.488684e+02 |-5.100000e+01 | 79.51%
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.43/1801.08 c 1788s| 1 | 0 |279695 | - | 106M| 0 | 988 |1000 | 37k|1000 |9638 | 26k| 0 | 0 |-2.488594e+02 |-5.100000e+01 | 79.51%
1800.63/1801.24 c 1788s| 1 | 2 |279695 | - | 106M| 0 | 988 |1000 | 37k|1000 |9638 | 26k| 0 | 0 |-2.488594e+02 |-5.100000e+01 | 79.51%
1800.63/1801.24 c
1800.63/1801.24 c SCIP Status : solving was interrupted [user interrupt]
1800.63/1801.24 c Solving Time (sec) : 1788.22
1800.63/1801.24 c Solving Nodes : 1
1800.63/1801.24 c Primal Bound : -5.10000000000000e+01 (38 solutions)
1800.63/1801.24 c Dual Bound : -2.48859389011888e+02
1800.63/1801.24 c Gap : 79.51 %
1800.73/1801.33 s SATISFIABLE
1800.73/1801.33 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.73/1801.33 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.73/1801.33 v -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.73/1801.33 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1800.73/1801.33 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1800.73/1801.33 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1800.73/1801.33 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1800.73/1801.33 v -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1800.73/1801.33 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1800.73/1801.33 v -x811 -x810 -x809 -x808 -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791
1800.73/1801.33 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1800.73/1801.33 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1800.73/1801.33 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728
1800.73/1801.33 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1800.73/1801.33 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1800.73/1801.33 v -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1800.73/1801.33 v -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1800.73/1801.33 v x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1800.73/1801.33 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602
1800.73/1801.33 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1800.73/1801.33 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561
1800.73/1801.33 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540
1800.73/1801.33 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1800.73/1801.33 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498
1800.73/1801.33 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1800.73/1801.33 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456
1800.73/1801.33 v -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1800.73/1801.33 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
1800.73/1801.33 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1800.73/1801.33 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1800.73/1801.33 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1800.73/1801.33 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1800.73/1801.33 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1800.73/1801.33 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1800.73/1801.33 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1800.73/1801.33 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247
1800.73/1801.33 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1800.73/1801.33 v -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1800.73/1801.33 v -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1800.73/1801.33 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1800.73/1801.33 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 x147 -x146 -x145 -x144 -x143 -x142
1800.73/1801.33 v -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1800.73/1801.33 v -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1800.73/1801.33 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.73/1801.33 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.73/1801.33 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.73/1801.33 v -x22 -x21 x20 x19 -x18 -x17 -x16 x15 -x14 x13 x12 -x11 x10 x9 x8 -x7 x6 x5 x4 x3 -x2 x1
1800.73/1801.33 c SCIP Status : solving was interrupted [user interrupt]
1800.73/1801.33 c Solving Time : 1788.22
1800.73/1801.33 c Original Problem :
1800.73/1801.33 c Problem name : HOME/instance-2666657-1276658949.opb
1800.73/1801.33 c Variables : 38647 (38647 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.73/1801.33 c Constraints : 38647 initial, 38647 maximal
1800.73/1801.33 c Presolved Problem :
1800.73/1801.33 c Problem name : t_HOME/instance-2666657-1276658949.opb
1800.73/1801.33 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.73/1801.33 c Constraints : 37647 initial, 37647 maximal
1800.73/1801.33 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.73/1801.33 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.73/1801.33 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.73/1801.33 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.73/1801.33 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.73/1801.33 c implics : 0.00 0 0 0 0 0 0 0 0
1800.73/1801.33 c probing : 0.54 0 0 0 0 0 0 0 0
1800.73/1801.33 c linear : 0.26 37647 0 0 37647 0 1000 0 0
1800.73/1801.33 c logicor : 0.10 0 0 0 0 0 0 0 0
1800.73/1801.33 c root node : - 0 - - 0 - - - -
1800.73/1801.33 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.73/1801.33 c integral : 0 0 0 1 0 0 0 0 0 2
1800.73/1801.33 c logicor : 37647 234 201 0 0 0 0 33731 0 0
1800.73/1801.33 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.73/1801.33 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.73/1801.33 c integral : 0.00 0.00 0.00 0.00 0.00
1800.73/1801.33 c logicor : 2.38 2.06 0.32 0.00 0.00
1800.73/1801.33 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.73/1801.33 c Propagators : Time Calls Cutoffs DomReds
1800.73/1801.33 c vbounds : 0.00 2 0 0
1800.73/1801.33 c rootredcost : 0.00 0 0 0
1800.73/1801.33 c pseudoobj : 0.00 234 0 0
1800.73/1801.33 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.73/1801.33 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.73/1801.33 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.73/1801.33 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.73/1801.33 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.73/1801.33 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.73/1801.33 c applied globally : - - - 0 0.0 - - -
1800.73/1801.33 c applied locally : - - - 0 0.0 - - -
1800.73/1801.33 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.73/1801.33 c cut pool : 1.34 233 - - 4499 - (maximal pool size: 16851)
1800.73/1801.33 c redcost : 0.02 234 0 0 0 0
1800.73/1801.33 c impliedbounds : 0.85 232 0 0 28376 0
1800.73/1801.33 c intobj : 0.00 0 0 0 0 0
1800.73/1801.33 c cgmip : 0.00 0 0 0 0 0
1800.73/1801.33 c gomory : 1105.61 232 0 0 80449 0
1800.73/1801.33 c strongcg : 4.82 20 0 0 10000 0
1800.73/1801.33 c cmir : 3.34 10 0 0 0 0
1800.73/1801.33 c flowcover : 2.84 10 0 0 0 0
1800.73/1801.33 c clique : 12.75 231 0 0 2098 0
1800.73/1801.33 c zerohalf : 0.00 0 0 0 0 0
1800.73/1801.33 c mcf : 0.05 1 0 0 0 0
1800.73/1801.33 c rapidlearning : 0.00 0 0 0 0 0
1800.73/1801.33 c Pricers : Time Calls Vars
1800.73/1801.33 c problem variables: 0.00 0 0
1800.73/1801.33 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.73/1801.33 c relpscost : 0.00 1 0 0 0 0 2
1800.73/1801.33 c pscost : 0.00 0 0 0 0 0 0
1800.73/1801.33 c inference : 0.00 0 0 0 0 0 0
1800.73/1801.33 c mostinf : 0.00 0 0 0 0 0 0
1800.73/1801.33 c leastinf : 0.00 0 0 0 0 0 0
1800.73/1801.33 c fullstrong : 0.00 0 0 0 0 0 0
1800.73/1801.33 c allfullstrong : 0.00 0 0 0 0 0 0
1800.73/1801.33 c random : 0.00 0 0 0 0 0 0
1800.73/1801.33 c Primal Heuristics : Time Calls Found
1800.73/1801.33 c LP solutions : 0.00 - 0
1800.73/1801.33 c pseudo solutions : 0.00 - 0
1800.73/1801.33 c crossover : 0.00 0 0
1800.73/1801.33 c oneopt : 0.03 2 1
1800.73/1801.33 c trivial : 0.11 2 2
1800.73/1801.33 c simplerounding : 0.38 235 33
1800.73/1801.33 c zirounding : 0.00 1 0
1800.73/1801.33 c rounding : 13.62 235 1
1800.73/1801.33 c shifting : 14.65 235 1
1800.73/1801.33 c intshifting : 0.00 0 0
1800.73/1801.33 c twoopt : 0.00 0 0
1800.73/1801.33 c fixandinfer : 0.00 0 0
1800.73/1801.33 c feaspump : 0.00 0 0
1800.73/1801.33 c coefdiving : 0.00 0 0
1800.73/1801.33 c pscostdiving : 0.00 0 0
1800.73/1801.33 c fracdiving : 0.00 0 0
1800.73/1801.33 c veclendiving : 0.00 0 0
1800.73/1801.33 c intdiving : 0.00 0 0
1800.73/1801.33 c actconsdiving : 0.00 0 0
1800.73/1801.33 c objpscostdiving : 0.00 0 0
1800.73/1801.33 c rootsoldiving : 0.00 0 0
1800.73/1801.33 c linesearchdiving : 0.00 0 0
1800.73/1801.33 c guideddiving : 0.00 0 0
1800.73/1801.33 c octane : 0.00 0 0
1800.73/1801.33 c rens : 0.00 0 0
1800.73/1801.33 c rins : 0.00 0 0
1800.73/1801.33 c localbranching : 0.00 0 0
1800.73/1801.33 c mutation : 0.00 0 0
1800.73/1801.33 c dins : 0.00 0 0
1800.73/1801.33 c undercover : 0.00 0 0
1800.73/1801.33 c nlp : 0.00 0 0
1800.73/1801.33 c trysol : 0.00 0 0
1800.73/1801.33 c LP : Time Calls Iterations Iter/call Iter/sec
1800.73/1801.33 c primal LP : 0.89 0 0 0.00 0.00
1800.73/1801.33 c dual LP : 612.80 235 279695 1190.19 456.42
1800.73/1801.33 c lex dual LP : 0.00 0 0 0.00 -
1800.73/1801.33 c barrier LP : 0.00 0 0 0.00 -
1800.73/1801.33 c diving/probing LP: 0.00 0 0 0.00 -
1800.73/1801.33 c strong branching : 0.00 0 0 0.00 -
1800.73/1801.33 c (at root node) : - 0 0 0.00 -
1800.73/1801.33 c conflict analysis: 0.00 0 0 0.00 -
1800.73/1801.33 c B&B Tree :
1800.73/1801.33 c number of runs : 1
1800.73/1801.33 c nodes : 1
1800.73/1801.33 c nodes (total) : 1
1800.73/1801.33 c nodes left : 2
1800.73/1801.33 c max depth : 0
1800.73/1801.33 c max depth (total): 0
1800.73/1801.33 c backtracks : 0 (0.0%)
1800.73/1801.33 c delayed cutoffs : 0
1800.73/1801.33 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.73/1801.33 c avg switch length: 1.00
1800.73/1801.33 c switching time : 0.00
1800.73/1801.33 c Solution :
1800.73/1801.33 c Solutions found : 38 (4 improvements)
1800.73/1801.33 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.35 seconds, depth 0, found by <trivial>)
1800.73/1801.33 c Primal Bound : -5.10000000000000e+01 (in run 1, after 1 nodes, 6.68 seconds, depth 0, found by <oneopt>)
1800.73/1801.33 c Dual Bound : -2.48859389011888e+02
1800.73/1801.33 c Gap : 79.51 %
1800.73/1801.33 c Root Dual Bound : -2.48859389011888e+02
1800.73/1801.33 c Root Iterations : 279695
1801.03/1801.65 c Time complete: 1801.08.