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-2665271-1276664183.opb>
0.39/0.43 c original problem has 38742 variables (38742 bin, 0 int, 0 impl, 0 cont) and 38742 constraints
0.39/0.43 c problem read
0.39/0.43 c presolving settings loaded
0.89/0.94 o 0
0.89/0.94 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.89/0.94 c presolving:
2.29/2.36 c (round 1) 37742 del vars, 1000 del conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150968 impls, 0 clqs
3.20/3.25 c (2.5s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.20/3.25 c (2.5s) probing aborted: 100/100 successive totally useless probings
3.20/3.25 c presolving (2 rounds):
3.20/3.25 c 37742 deleted vars, 1000 deleted constraints, 37742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.20/3.25 c 226452 implications, 0 cliques
3.20/3.25 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37742 constraints
3.20/3.25 c 37742 constraints of type <logicor>
3.20/3.25 c transformed objective value is always integral (scale: 1)
3.20/3.25 c Presolving Time: 2.36
3.20/3.25 c - non default parameters ----------------------------------------------------------------------
3.20/3.25 c # SCIP version 1.2.1.2
3.20/3.25 c
3.20/3.25 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.20/3.25 c # [type: int, range: [-1,2147483647], default: -1]
3.20/3.25 c conflict/interconss = 0
3.20/3.25 c
3.20/3.25 c # should binary conflicts be preferred?
3.20/3.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.25 c conflict/preferbinary = TRUE
3.20/3.25 c
3.20/3.25 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.20/3.25 c # [type: int, range: [-1,2147483647], default: 0]
3.20/3.25 c constraints/agelimit = 1
3.20/3.25 c
3.20/3.25 c # should enforcement of pseudo solution be disabled?
3.20/3.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.25 c constraints/disableenfops = TRUE
3.20/3.25 c
3.20/3.25 c # frequency for displaying node information lines
3.20/3.25 c # [type: int, range: [-1,2147483647], default: 100]
3.20/3.25 c display/freq = 10000
3.20/3.25 c
3.20/3.25 c # maximal time in seconds to run
3.20/3.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.20/3.25 c limits/time = 1799.58
3.20/3.25 c
3.20/3.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.20/3.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.20/3.25 c limits/memory = 1620
3.20/3.25 c
3.20/3.25 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.20/3.25 c # [type: int, range: [-1,2147483647], default: 1]
3.20/3.25 c lp/solvefreq = 0
3.20/3.25 c
3.20/3.25 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.25 c # [type: char, range: {lafpsqd}, default: l]
3.20/3.25 c lp/pricing = a
3.20/3.25 c
3.20/3.25 c # should presolving try to simplify inequalities
3.20/3.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.25 c constraints/linear/simplifyinequalities = TRUE
3.20/3.25 c
3.20/3.25 c # should presolving try to simplify knapsacks
3.20/3.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.25 c constraints/knapsack/simplifyinequalities = TRUE
3.20/3.25 c
3.20/3.25 c # priority of node selection rule <dfs> in standard mode
3.20/3.25 c # [type: int, range: [-536870912,536870911], default: 0]
3.20/3.25 c nodeselection/dfs/stdpriority = 1000000
3.20/3.25 c
3.20/3.25 c -----------------------------------------------------------------------------------------------
3.20/3.25 c start solving
3.20/3.26 c
3.79/3.88 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.88 c t 3.1s| 1 | 0 | 1111 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
3.89/3.98 o -1
3.89/3.98 c R 3.2s| 1 | 0 | 1111 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
3.99/4.09 o -2
3.99/4.09 c s 3.3s| 1 | 0 | 1111 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
5.59/5.66 c 4.8s| 1 | 0 | 1225 | - | 101M| 0 | 990 |1000 | 37k|1000 | 37k| 9 | 0 | 0 |-4.950000e+02 |-2.000000e+00 | 99.60%
5.69/5.70 o -53
5.69/5.70 c b 4.9s| 1 | 0 | 1225 | - | 101M| 0 | 990 |1000 | 37k|1000 | 37k| 9 | 0 | 0 |-4.950000e+02 |-5.300000e+01 | 89.29%
7.49/7.57 c 6.7s| 1 | 0 | 1364 | - | 101M| 0 | 984 |1000 | 37k|1000 | 37k| 14 | 0 | 0 |-4.920000e+02 |-5.300000e+01 | 89.23%
9.59/9.68 c 8.8s| 1 | 0 | 1531 | - | 101M| 0 | 977 |1000 | 37k|1000 | 37k| 19 | 0 | 0 |-4.885000e+02 |-5.300000e+01 | 89.15%
11.39/11.42 c 10.5s| 1 | 0 | 1636 | - | 101M| 0 | 972 |1000 | 37k|1000 | 37k| 25 | 0 | 0 |-4.860000e+02 |-5.300000e+01 | 89.09%
13.49/13.56 c 12.6s| 1 | 0 | 1792 | - | 101M| 0 | 964 |1000 | 37k|1000 | 37k| 31 | 0 | 0 |-4.820000e+02 |-5.300000e+01 | 89.00%
15.89/15.99 c 15.0s| 1 | 0 | 2004 | - | 101M| 0 | 951 |1000 | 37k|1000 | 37k| 42 | 0 | 0 |-4.755000e+02 |-5.300000e+01 | 88.85%
18.59/18.68 c 17.7s| 1 | 0 | 2219 | - | 101M| 0 | 943 |1000 | 37k|1000 | 37k| 49 | 0 | 0 |-4.715000e+02 |-5.300000e+01 | 88.76%
21.49/21.51 c 20.5s| 1 | 0 | 2444 | - | 101M| 0 | 932 |1000 | 37k|1000 | 37k| 61 | 0 | 0 |-4.660000e+02 |-5.300000e+01 | 88.63%
24.99/25.02 c 23.9s| 1 | 0 | 2754 | - | 101M| 0 | 924 |1000 | 37k|1000 | 37k| 69 | 0 | 0 |-4.620000e+02 |-5.300000e+01 | 88.53%
29.78/29.82 c 28.7s| 1 | 0 | 3158 | - | 101M| 0 | 921 |1000 | 37k|1000 | 37k| 73 | 0 | 0 |-4.600000e+02 |-5.300000e+01 | 88.48%
36.08/36.12 c 34.9s| 1 | 0 | 3886 | - | 101M| 0 | 913 |1000 | 37k|1000 |1352 | 83 | 0 | 0 |-4.565000e+02 |-5.300000e+01 | 88.39%
36.57/36.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.57/36.69 c 35.5s| 1 | 0 | 4303 | - | 101M| 0 | 864 |1000 | 37k|1000 |1357 | 88 | 0 | 0 |-4.556667e+02 |-5.300000e+01 | 88.37%
39.78/39.87 c 38.7s| 1 | 0 | 4652 | - | 103M| 0 | 906 |1000 | 37k|1000 |3357 |2088 | 0 | 0 |-4.550000e+02 |-5.300000e+01 | 88.35%
40.98/41.04 c 39.8s| 1 | 0 | 5466 | - | 103M| 0 | 903 |1000 | 37k|1000 |3498 |2229 | 0 | 0 |-4.515000e+02 |-5.300000e+01 | 88.26%
42.08/42.10 c 40.9s| 1 | 0 | 6377 | - | 103M| 0 | 900 |1000 | 37k|1000 |3505 |2236 | 0 | 0 |-4.500000e+02 |-5.300000e+01 | 88.22%
43.07/43.18 c 42.0s| 1 | 0 | 7340 | - | 103M| 0 | 891 |1000 | 37k|1000 |3511 |2242 | 0 | 0 |-4.475000e+02 |-5.300000e+01 | 88.16%
43.88/43.90 c 42.7s| 1 | 0 | 7928 | - | 104M| 0 | 891 |1000 | 37k|1000 |3263 |2379 | 0 | 0 |-4.455000e+02 |-5.300000e+01 | 88.10%
44.67/44.79 c 43.5s| 1 | 0 | 8577 | - | 104M| 0 | 881 |1000 | 37k|1000 |3269 |2385 | 0 | 0 |-4.445000e+02 |-5.300000e+01 | 88.08%
45.67/45.70 c 44.5s| 1 | 0 | 9391 | - | 104M| 0 | 913 |1000 | 37k|1000 |3502 |2618 | 0 | 0 |-4.424000e+02 |-5.300000e+01 | 88.02%
49.48/49.52 c 48.3s| 1 | 0 | 9929 | - | 104M| 0 | 883 |1000 | 37k|1000 |5502 |4618 | 0 | 0 |-4.415000e+02 |-5.300000e+01 | 88.00%
50.58/50.63 c 49.4s| 1 | 0 | 10578 | - | 104M| 0 | 877 |1000 | 37k|1000 |5510 |4626 | 0 | 0 |-4.395000e+02 |-5.300000e+01 | 87.94%
52.07/52.14 c 50.9s| 1 | 0 | 11379 | - | 104M| 0 | 877 |1000 | 37k|1000 |5577 |4693 | 0 | 0 |-4.375000e+02 |-5.300000e+01 | 87.89%
54.28/54.30 c 53.0s| 1 | 0 | 12758 | - | 104M| 0 | 870 |1000 | 37k|1000 |3569 |4700 | 0 | 0 |-4.360000e+02 |-5.300000e+01 | 87.84%
55.77/55.83 c 54.5s| 1 | 0 | 14075 | - | 104M| 0 | 875 |1000 | 37k|1000 |3641 |4772 | 0 | 0 |-4.337500e+02 |-5.300000e+01 | 87.78%
56.67/56.79 c 55.5s| 1 | 0 | 14886 | - | 104M| 0 | 851 |1000 | 37k|1000 |4130 |5261 | 0 | 0 |-4.295000e+02 |-5.300000e+01 | 87.66%
57.87/57.98 c 56.6s| 1 | 0 | 15845 | - | 105M| 0 | 850 |1000 | 37k|1000 |4372 |5503 | 0 | 0 |-4.270000e+02 |-5.300000e+01 | 87.59%
59.77/59.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.77/59.86 c 58.5s| 1 | 0 | 17510 | - | 105M| 0 | 849 |1000 | 37k|1000 |4498 |5629 | 0 | 0 |-4.250000e+02 |-5.300000e+01 | 87.53%
61.37/61.45 c 60.1s| 1 | 0 | 18796 | - | 105M| 0 | 837 |1000 | 37k|1000 |4841 |5972 | 0 | 0 |-4.235000e+02 |-5.300000e+01 | 87.49%
62.87/62.94 c 61.5s| 1 | 0 | 20092 | - | 105M| 0 | 829 |1000 | 37k|1000 |4436 |6273 | 0 | 0 |-4.205000e+02 |-5.300000e+01 | 87.40%
64.67/64.75 c 63.3s| 1 | 0 | 21963 | - | 105M| 0 | 836 |1000 | 37k|1000 |4781 |6618 | 0 | 0 |-4.171667e+02 |-5.300000e+01 | 87.30%
65.77/65.88 c 64.5s| 1 | 0 | 22348 | - | 106M| 0 | 833 |1000 | 37k|1000 |6506 |8343 | 0 | 0 |-4.165000e+02 |-5.300000e+01 | 87.27%
66.87/66.98 c 65.6s| 1 | 0 | 23166 | - | 106M| 0 | 826 |1000 | 37k|1000 |6516 |8353 | 0 | 0 |-4.150000e+02 |-5.300000e+01 | 87.23%
70.07/70.12 c 68.7s| 1 | 0 | 25585 | - | 106M| 0 | 817 |1000 | 37k|1000 |6639 |8476 | 0 | 0 |-4.115000e+02 |-5.300000e+01 | 87.12%
71.87/71.96 c 70.5s| 1 | 0 | 26802 | - | 106M| 0 | 820 |1000 | 37k|1000 |6802 |8639 | 0 | 0 |-4.100000e+02 |-5.300000e+01 | 87.07%
75.46/75.58 c 74.1s| 1 | 0 | 29519 | - | 106M| 0 | 879 |1000 | 37k|1000 |5957 |8647 | 0 | 0 |-4.080833e+02 |-5.300000e+01 | 87.01%
80.27/80.31 c 78.8s| 1 | 0 | 30587 | - | 106M| 0 | 819 |1000 | 37k|1000 |7957 | 10k| 0 | 0 |-4.080000e+02 |-5.300000e+01 | 87.01%
82.07/82.13 c 80.6s| 1 | 0 | 31514 | - | 106M| 0 | 810 |1000 | 37k|1000 |7967 | 10k| 0 | 0 |-4.060000e+02 |-5.300000e+01 | 86.95%
83.26/83.33 c 81.8s| 1 | 0 | 32006 | - | 107M| 0 | 808 |1000 | 37k|1000 |8014 | 10k| 0 | 0 |-4.050000e+02 |-5.300000e+01 | 86.91%
86.07/86.17 c 84.6s| 1 | 0 | 32873 | - | 107M| 0 | 813 |1000 | 37k|1000 |8073 | 10k| 0 | 0 |-4.040000e+02 |-5.300000e+01 | 86.88%
87.76/87.86 c 86.3s| 1 | 0 | 33734 | - | 107M| 0 | 804 |1000 | 37k|1000 |8137 | 10k| 0 | 0 |-4.030000e+02 |-5.300000e+01 | 86.85%
89.07/89.12 c 87.5s| 1 | 0 | 34494 | - | 107M| 0 | 803 |1000 | 37k|1000 |5210 | 10k| 0 | 0 |-4.015000e+02 |-5.300000e+01 | 86.80%
90.07/90.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.07/90.15 c 88.5s| 1 | 0 | 35207 | - | 107M| 0 | 785 |1000 | 37k|1000 |5219 | 10k| 0 | 0 |-4.005000e+02 |-5.300000e+01 | 86.77%
91.47/91.56 c 89.9s| 1 | 0 | 36388 | - | 107M| 0 | 794 |1000 | 37k|1000 |5661 | 11k| 0 | 0 |-3.980000e+02 |-5.300000e+01 | 86.68%
92.67/92.78 c 91.1s| 1 | 0 | 37300 | - | 107M| 0 | 787 |1000 | 37k|1000 |5704 | 11k| 0 | 0 |-3.965000e+02 |-5.300000e+01 | 86.63%
94.76/94.82 c 93.1s| 1 | 0 | 38554 | - | 107M| 0 | 788 |1000 | 37k|1000 |5876 | 11k| 0 | 0 |-3.950000e+02 |-5.300000e+01 | 86.58%
95.57/95.62 c 93.9s| 1 | 0 | 39074 | - | 107M| 0 | 785 |1000 | 37k|1000 |5945 | 11k| 0 | 0 |-3.945000e+02 |-5.300000e+01 | 86.57%
97.06/97.17 c 95.5s| 1 | 0 | 40351 | - | 107M| 0 | 782 |1000 | 37k|1000 |5452 | 11k| 0 | 0 |-3.910000e+02 |-5.300000e+01 | 86.45%
98.16/98.22 c 96.5s| 1 | 0 | 41342 | - | 107M| 0 | 771 |1000 | 37k|1000 |5459 | 11k| 0 | 0 |-3.905000e+02 |-5.300000e+01 | 86.43%
99.16/99.22 c 97.5s| 1 | 0 | 42058 | - | 108M| 0 | 774 |1000 | 37k|1000 |5704 | 11k| 0 | 0 |-3.890000e+02 |-5.300000e+01 | 86.38%
100.46/100.53 c 98.8s| 1 | 0 | 43060 | - | 108M| 0 | 768 |1000 | 37k|1000 |5807 | 12k| 0 | 0 |-3.880000e+02 |-5.300000e+01 | 86.34%
102.16/102.27 c 101s| 1 | 0 | 44216 | - | 108M| 0 | 768 |1000 | 37k|1000 |6030 | 12k| 0 | 0 |-3.870000e+02 |-5.300000e+01 | 86.30%
104.15/104.27 c 102s| 1 | 0 | 45970 | - | 108M| 0 | 795 |1000 | 37k|1000 |6196 | 12k| 0 | 0 |-3.848750e+02 |-5.300000e+01 | 86.23%
106.05/106.18 c 104s| 1 | 0 | 47398 | - | 108M| 0 | 761 |1000 | 37k|1000 |5991 | 12k| 0 | 0 |-3.805000e+02 |-5.300000e+01 | 86.07%
109.35/109.45 c 108s| 1 | 0 | 49777 | - | 108M| 0 | 734 |1000 | 37k|1000 |6000 | 12k| 0 | 0 |-3.780000e+02 |-5.300000e+01 | 85.98%
111.26/111.36 c 110s| 1 | 0 | 51325 | - | 108M| 0 | 756 |1000 | 37k|1000 |6548 | 13k| 0 | 0 |-3.770000e+02 |-5.300000e+01 | 85.94%
113.55/113.65 c 112s| 1 | 0 | 52816 | - | 109M| 0 | 753 |1000 | 37k|1000 |6880 | 13k| 0 | 0 |-3.760000e+02 |-5.300000e+01 | 85.90%
116.66/116.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.66/116.79 c 115s| 1 | 0 | 54969 | - | 109M| 0 | 756 |1000 | 37k|1000 |6932 | 13k| 0 | 0 |-3.750000e+02 |-5.300000e+01 | 85.87%
119.76/119.83 c 118s| 1 | 0 | 57050 | - | 109M| 0 | 747 |1000 | 37k|1000 |6946 | 13k| 0 | 0 |-3.735000e+02 |-5.300000e+01 | 85.81%
121.75/121.85 c 120s| 1 | 0 | 58364 | - | 109M| 0 | 743 |1000 | 37k|1000 |6331 | 13k| 0 | 0 |-3.723333e+02 |-5.300000e+01 | 85.77%
124.26/124.38 c 122s| 1 | 0 | 60167 | - | 109M| 0 | 766 |1000 | 37k|1000 |6391 | 13k| 0 | 0 |-3.717778e+02 |-5.300000e+01 | 85.74%
127.15/127.24 c 125s| 1 | 0 | 62198 | - | 110M| 0 | 736 |1000 | 37k|1000 |6896 | 14k| 0 | 0 |-3.700000e+02 |-5.300000e+01 | 85.68%
129.24/129.35 c 127s| 1 | 0 | 63608 | - | 110M| 0 | 744 |1000 | 37k|1000 |7016 | 14k| 0 | 0 |-3.695000e+02 |-5.300000e+01 | 85.66%
134.44/134.59 c 132s| 1 | 0 | 66740 | - | 110M| 0 | 738 |1000 | 37k|1000 |7029 | 14k| 0 | 0 |-3.675000e+02 |-5.300000e+01 | 85.58%
137.25/137.31 c 135s| 1 | 0 | 68620 | - | 110M| 0 | 739 |1000 | 37k|1000 |7037 | 14k| 0 | 0 |-3.672500e+02 |-5.300000e+01 | 85.57%
139.45/139.55 c 137s| 1 | 0 | 70019 | - | 110M| 0 | 734 |1000 | 37k|1000 |5844 | 14k| 0 | 0 |-3.657500e+02 |-5.300000e+01 | 85.51%
142.95/143.03 c 141s| 1 | 0 | 72203 | - | 110M| 0 | 733 |1000 | 37k|1000 |5853 | 14k| 0 | 0 |-3.647500e+02 |-5.300000e+01 | 85.47%
144.84/144.91 c 143s| 1 | 0 | 73559 | - | 110M| 0 | 790 |1000 | 37k|1000 |5922 | 14k| 0 | 0 |-3.642500e+02 |-5.300000e+01 | 85.45%
148.14/148.26 c 146s| 1 | 0 | 75736 | - | 110M| 0 | 724 |1000 | 37k|1000 |6605 | 15k| 0 | 0 |-3.617500e+02 |-5.300000e+01 | 85.35%
151.15/151.26 c 149s| 1 | 0 | 77674 | - | 110M| 0 | 753 |1000 | 37k|1000 |6731 | 15k| 0 | 0 |-3.596250e+02 |-5.300000e+01 | 85.26%
155.44/155.52 c 153s| 1 | 0 | 80657 | - | 110M| 0 | 753 |1000 | 37k|1000 |6785 | 15k| 0 | 0 |-3.567500e+02 |-5.300000e+01 | 85.14%
159.94/160.07 c 158s| 1 | 0 | 83392 | - | 111M| 0 | 739 |1000 | 37k|1000 |5993 | 15k| 0 | 0 |-3.557500e+02 |-5.300000e+01 | 85.10%
163.84/163.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.84/163.91 c 162s| 1 | 0 | 85824 | - | 111M| 0 | 747 |1000 | 37k|1000 |6001 | 15k| 0 | 0 |-3.550000e+02 |-5.300000e+01 | 85.07%
168.74/168.89 c 166s| 1 | 0 | 89253 | - | 111M| 0 | 851 |1000 | 37k|1000 |6024 | 15k| 0 | 0 |-3.545455e+02 |-5.300000e+01 | 85.05%
173.54/173.62 c 171s| 1 | 0 | 90711 | - | 112M| 0 | 768 |1000 | 37k|1000 |8024 | 17k| 0 | 0 |-3.540833e+02 |-5.300000e+01 | 85.03%
176.13/176.23 c 174s| 1 | 0 | 92153 | - | 112M| 0 | 772 |1000 | 37k|1000 |8038 | 17k| 0 | 0 |-3.535556e+02 |-5.300000e+01 | 85.01%
179.43/179.57 c 177s| 1 | 0 | 94066 | - | 112M| 0 | 760 |1000 | 37k|1000 |8095 | 17k| 0 | 0 |-3.530135e+02 |-5.300000e+01 | 84.99%
182.44/182.57 c 180s| 1 | 0 | 95975 | - | 113M| 0 | 719 |1000 | 37k|1000 |7886 | 17k| 0 | 0 |-3.517000e+02 |-5.300000e+01 | 84.93%
185.43/185.58 c 183s| 1 | 0 | 97720 | - | 113M| 0 | 710 |1000 | 37k|1000 |7948 | 17k| 0 | 0 |-3.510000e+02 |-5.300000e+01 | 84.90%
189.73/189.83 c 187s| 1 | 0 | 99881 | - | 113M| 0 | 731 |1000 | 37k|1000 |8038 | 17k| 0 | 0 |-3.497500e+02 |-5.300000e+01 | 84.85%
195.83/195.98 c 193s| 1 | 0 |102818 | - | 113M| 0 | 760 |1000 | 37k|1000 |8108 | 17k| 0 | 0 |-3.490000e+02 |-5.300000e+01 | 84.81%
202.24/202.33 c 200s| 1 | 0 |105864 | - | 115M| 0 | 712 |1000 | 37k|1000 |8175 | 18k| 0 | 0 |-3.486250e+02 |-5.300000e+01 | 84.80%
204.53/204.62 c 202s| 1 | 0 |107136 | - | 115M| 0 | 718 |1000 | 37k|1000 |8238 | 18k| 0 | 0 |-3.471667e+02 |-5.300000e+01 | 84.73%
206.43/206.55 c 204s| 1 | 0 |108136 | - | 115M| 0 | 709 |1000 | 37k|1000 |7634 | 18k| 0 | 0 |-3.467500e+02 |-5.300000e+01 | 84.72%
212.13/212.23 c 209s| 1 | 0 |110866 | - | 115M| 0 | 688 |1000 | 37k|1000 |7697 | 18k| 0 | 0 |-3.460000e+02 |-5.300000e+01 | 84.68%
218.73/218.84 c 216s| 1 | 0 |114044 | - | 115M| 0 | 763 |1000 | 37k|1000 |7811 | 18k| 0 | 0 |-3.446471e+02 |-5.300000e+01 | 84.62%
221.12/221.23 c 218s| 1 | 0 |115414 | - | 116M| 0 | 749 |1000 | 37k|1000 |8114 | 18k| 0 | 0 |-3.440862e+02 |-5.300000e+01 | 84.60%
224.11/224.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.11/224.23 c 221s| 1 | 0 |117200 | - | 117M| 0 | 730 |1000 | 37k|1000 |8129 | 18k| 0 | 0 |-3.424000e+02 |-5.300000e+01 | 84.52%
226.53/226.64 c 224s| 1 | 0 |118463 | - | 117M| 0 | 782 |1000 | 37k|1000 |8197 | 18k| 0 | 0 |-3.412350e+02 |-5.300000e+01 | 84.47%
229.02/229.10 c 226s| 1 | 0 |119677 | - | 118M| 0 | 772 |1000 | 37k|1000 |6809 | 18k| 0 | 0 |-3.406000e+02 |-5.300000e+01 | 84.44%
231.02/231.14 c 228s| 1 | 0 |120899 | - | 119M| 0 | 742 |1000 | 37k|1000 |6821 | 18k| 0 | 0 |-3.394375e+02 |-5.300000e+01 | 84.39%
233.02/233.17 c 230s| 1 | 0 |122132 | - | 119M| 0 | 762 |1000 | 37k|1000 |6881 | 18k| 0 | 0 |-3.380833e+02 |-5.300000e+01 | 84.32%
235.12/235.27 c 232s| 1 | 0 |123305 | - | 120M| 0 | 772 |1000 | 37k|1000 |6890 | 18k| 0 | 0 |-3.370385e+02 |-5.300000e+01 | 84.27%
237.11/237.20 c 234s| 1 | 0 |124334 | - | 121M| 0 | 729 |1000 | 37k|1000 |7051 | 18k| 0 | 0 |-3.361250e+02 |-5.300000e+01 | 84.23%
239.72/239.84 c 237s| 1 | 0 |125819 | - | 121M| 0 | 757 |1000 | 37k|1000 |7108 | 19k| 0 | 0 |-3.351379e+02 |-5.300000e+01 | 84.19%
243.21/243.32 c 240s| 1 | 0 |127928 | - | 121M| 0 | 668 |1000 | 37k|1000 |7120 | 19k| 0 | 0 |-3.327500e+02 |-5.300000e+01 | 84.07%
245.22/245.37 c 242s| 1 | 0 |129310 | - | 123M| 0 | 740 |1000 | 37k|1000 |7128 | 19k| 0 | 0 |-3.321250e+02 |-5.300000e+01 | 84.04%
248.02/248.10 c 245s| 1 | 0 |130950 | - | 123M| 0 | 783 |1000 | 37k|1000 |7172 | 19k| 0 | 0 |-3.319172e+02 |-5.300000e+01 | 84.03%
250.41/250.58 c 247s| 1 | 0 |132501 | - | 125M| 0 | 794 |1000 | 37k|1000 |7211 | 19k| 0 | 0 |-3.311051e+02 |-5.300000e+01 | 83.99%
253.41/253.57 c 250s| 1 | 0 |134341 | - | 126M| 0 | 763 |1000 | 37k|1000 |7363 | 19k| 0 | 0 |-3.293681e+02 |-5.300000e+01 | 83.91%
255.51/255.63 c 252s| 1 | 0 |135491 | - | 127M| 0 | 756 |1000 | 37k|1000 |7400 | 19k| 0 | 0 |-3.285451e+02 |-5.300000e+01 | 83.87%
258.51/258.65 c 255s| 1 | 0 |137264 | - | 129M| 0 | 761 |1000 | 37k|1000 |7021 | 19k| 0 | 0 |-3.271012e+02 |-5.300000e+01 | 83.80%
260.91/261.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.91/261.05 c 258s| 1 | 0 |138708 | - | 130M| 0 | 706 |1000 | 37k|1000 |7265 | 20k| 0 | 0 |-3.255937e+02 |-5.300000e+01 | 83.72%
263.81/263.93 c 260s| 1 | 0 |140409 | - | 132M| 0 | 770 |1000 | 37k|1000 |7361 | 20k| 0 | 0 |-3.250591e+02 |-5.300000e+01 | 83.70%
265.90/266.02 c 263s| 1 | 0 |141647 | - | 134M| 0 | 782 |1000 | 37k|1000 |7378 | 20k| 0 | 0 |-3.244354e+02 |-5.300000e+01 | 83.66%
269.31/269.44 c 266s| 1 | 0 |143582 | - | 137M| 0 | 774 |1000 | 37k|1000 |7494 | 20k| 0 | 0 |-3.228077e+02 |-5.300000e+01 | 83.58%
272.91/273.00 c 269s| 1 | 0 |145721 | - | 138M| 0 | 752 |1000 | 37k|1000 |7573 | 20k| 0 | 0 |-3.203375e+02 |-5.300000e+01 | 83.45%
275.70/275.83 c 272s| 1 | 0 |147303 | - | 138M| 0 | 779 |1000 | 37k|1000 |7072 | 20k| 0 | 0 |-3.194913e+02 |-5.300000e+01 | 83.41%
278.00/278.19 c 275s| 1 | 0 |148737 | - | 140M| 0 | 727 |1000 | 37k|1000 |7209 | 20k| 0 | 0 |-3.185000e+02 |-5.300000e+01 | 83.36%
281.20/281.37 c 278s| 1 | 0 |150599 | - | 141M| 0 | 787 |1000 | 37k|1000 |7244 | 20k| 0 | 0 |-3.174896e+02 |-5.300000e+01 | 83.31%
283.30/283.48 c 280s| 1 | 0 |151826 | - | 143M| 0 | 790 |1000 | 37k|1000 |7256 | 20k| 0 | 0 |-3.167950e+02 |-5.300000e+01 | 83.27%
286.79/286.92 c 283s| 1 | 0 |153599 | - | 143M| 0 | 786 |1000 | 37k|1000 |7424 | 20k| 0 | 0 |-3.157381e+02 |-5.300000e+01 | 83.21%
289.79/289.93 c 286s| 1 | 0 |155118 | - | 143M| 0 | 769 |1000 | 37k|1000 |7555 | 20k| 0 | 0 |-3.145317e+02 |-5.300000e+01 | 83.15%
294.08/294.20 c 290s| 1 | 0 |157356 | - | 143M| 0 | 785 |1000 | 37k|1000 |7198 | 21k| 0 | 0 |-3.127642e+02 |-5.300000e+01 | 83.05%
297.29/297.50 c 294s| 1 | 0 |159154 | - | 143M| 0 | 780 |1000 | 37k|1000 |7286 | 21k| 0 | 0 |-3.117638e+02 |-5.300000e+01 | 83.00%
300.78/300.96 c 297s| 1 | 0 |161229 | - | 146M| 0 | 803 |1000 | 37k|1000 |7398 | 21k| 0 | 0 |-3.095210e+02 |-5.300000e+01 | 82.88%
304.89/305.09 c 301s| 1 | 0 |163341 | - | 146M| 0 | 780 |1000 | 37k|1000 |7720 | 21k| 0 | 0 |-3.078296e+02 |-5.300000e+01 | 82.78%
307.48/307.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.48/307.60 c 304s| 1 | 0 |164678 | - | 147M| 0 | 796 |1000 | 37k|1000 |7801 | 21k| 0 | 0 |-3.074745e+02 |-5.300000e+01 | 82.76%
309.68/309.89 c 306s| 1 | 0 |165615 | - | 147M| 0 | 790 |1000 | 37k|1000 |7928 | 21k| 0 | 0 |-3.071315e+02 |-5.300000e+01 | 82.74%
313.29/313.44 c 310s| 1 | 0 |167447 | - | 147M| 0 | 809 |1000 | 37k|1000 |7786 | 21k| 0 | 0 |-3.061274e+02 |-5.300000e+01 | 82.69%
318.38/318.51 c 315s| 1 | 0 |170198 | - | 147M| 0 | 810 |1000 | 37k|1000 |7939 | 22k| 0 | 0 |-3.045980e+02 |-5.300000e+01 | 82.60%
322.19/322.38 c 318s| 1 | 0 |172052 | - | 147M| 0 | 811 |1000 | 37k|1000 |8018 | 22k| 0 | 0 |-3.039222e+02 |-5.300000e+01 | 82.56%
326.28/326.48 c 322s| 1 | 0 |173920 | - | 147M| 0 | 819 |1000 | 37k|1000 |8155 | 22k| 0 | 0 |-3.029523e+02 |-5.300000e+01 | 82.51%
330.99/331.16 c 327s| 1 | 0 |176039 | - | 147M| 0 | 815 |1000 | 37k|1000 |8178 | 22k| 0 | 0 |-3.020423e+02 |-5.300000e+01 | 82.45%
335.28/335.44 c 331s| 1 | 0 |177936 | - | 147M| 0 | 816 |1000 | 37k|1000 |8215 | 22k| 0 | 0 |-3.011095e+02 |-5.300000e+01 | 82.40%
340.67/340.80 c 337s| 1 | 0 |180200 | - | 147M| 0 | 816 |1000 | 37k|1000 |7830 | 22k| 0 | 0 |-2.998827e+02 |-5.300000e+01 | 82.33%
344.67/344.80 c 341s| 1 | 0 |181847 | - | 147M| 0 | 823 |1000 | 37k|1000 |8002 | 22k| 0 | 0 |-2.988216e+02 |-5.300000e+01 | 82.26%
349.97/350.17 c 346s| 1 | 0 |184394 | - | 147M| 0 | 840 |1000 | 37k|1000 |8074 | 22k| 0 | 0 |-2.977083e+02 |-5.300000e+01 | 82.20%
354.86/355.04 c 351s| 1 | 0 |186152 | - | 147M| 0 | 837 |1000 | 37k|1000 |8180 | 22k| 0 | 0 |-2.968553e+02 |-5.300000e+01 | 82.15%
360.58/360.78 c 356s| 1 | 0 |188558 | - | 147M| 0 | 834 |1000 | 37k|1000 |8266 | 22k| 0 | 0 |-2.953567e+02 |-5.300000e+01 | 82.06%
365.08/365.29 c 361s| 1 | 0 |190267 | - | 147M| 0 | 838 |1000 | 37k|1000 |8303 | 22k| 0 | 0 |-2.945294e+02 |-5.300000e+01 | 82.01%
370.37/370.53 c 366s| 1 | 0 |192425 | - | 147M| 0 | 825 |1000 | 37k|1000 |7891 | 23k| 0 | 0 |-2.937676e+02 |-5.300000e+01 | 81.96%
374.17/374.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.17/374.34 c 370s| 1 | 0 |193881 | - | 147M| 0 | 824 |1000 | 37k|1000 |7942 | 23k| 0 | 0 |-2.932326e+02 |-5.300000e+01 | 81.93%
378.36/378.52 c 374s| 1 | 0 |195565 | - | 147M| 0 | 835 |1000 | 37k|1000 |7988 | 23k| 0 | 0 |-2.928016e+02 |-5.300000e+01 | 81.90%
383.36/383.57 c 379s| 1 | 0 |197431 | - | 147M| 0 | 828 |1000 | 37k|1000 |8099 | 23k| 0 | 0 |-2.922367e+02 |-5.300000e+01 | 81.86%
388.17/388.31 c 384s| 1 | 0 |199218 | - | 147M| 0 | 836 |1000 | 37k|1000 |8146 | 23k| 0 | 0 |-2.916144e+02 |-5.300000e+01 | 81.83%
393.36/393.53 c 389s| 1 | 0 |201051 | - | 147M| 0 | 839 |1000 | 37k|1000 |8212 | 23k| 0 | 0 |-2.911079e+02 |-5.300000e+01 | 81.79%
398.35/398.59 c 394s| 1 | 0 |202684 | - | 146M| 0 | 844 |1000 | 37k|1000 |7836 | 23k| 0 | 0 |-2.904740e+02 |-5.300000e+01 | 81.75%
403.95/404.10 c 399s| 1 | 0 |204667 | - | 146M| 0 | 842 |1000 | 37k|1000 |7884 | 23k| 0 | 0 |-2.897204e+02 |-5.300000e+01 | 81.71%
410.25/410.44 c 406s| 1 | 0 |207013 | - | 146M| 0 | 848 |1000 | 37k|1000 |7930 | 23k| 0 | 0 |-2.885131e+02 |-5.300000e+01 | 81.63%
416.55/416.75 c 412s| 1 | 0 |209271 | - | 146M| 0 | 851 |1000 | 37k|1000 |7977 | 23k| 0 | 0 |-2.874318e+02 |-5.300000e+01 | 81.56%
424.54/424.78 c 420s| 1 | 0 |212258 | - | 146M| 0 | 854 |1000 | 37k|1000 |8104 | 23k| 0 | 0 |-2.862500e+02 |-5.300000e+01 | 81.48%
431.84/432.08 c 427s| 1 | 0 |215002 | - | 145M| 0 | 862 |1000 | 37k|1000 |8165 | 23k| 0 | 0 |-2.851568e+02 |-5.300000e+01 | 81.41%
440.14/440.31 c 435s| 1 | 0 |216985 | - | 145M| 0 | 855 |1000 | 37k|1000 |8190 | 24k| 0 | 0 |-2.844540e+02 |-5.300000e+01 | 81.37%
446.54/446.75 c 442s| 1 | 0 |218812 | - | 145M| 0 | 865 |1000 | 37k|1000 |8223 | 24k| 0 | 0 |-2.838245e+02 |-5.300000e+01 | 81.33%
454.14/454.34 c 449s| 1 | 0 |221057 | - | 145M| 0 | 863 |1000 | 37k|1000 |8267 | 24k| 0 | 0 |-2.825211e+02 |-5.300000e+01 | 81.24%
462.04/462.24 c 457s| 1 | 0 |223369 | - | 145M| 0 | 854 |1000 | 37k|1000 |8383 | 24k| 0 | 0 |-2.818037e+02 |-5.300000e+01 | 81.19%
470.23/470.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.23/470.49 c 465s| 1 | 0 |225862 | - | 145M| 0 | 866 |1000 | 37k|1000 |8455 | 24k| 0 | 0 |-2.809828e+02 |-5.300000e+01 | 81.14%
479.03/479.26 c 474s| 1 | 0 |228534 | - | 145M| 0 | 854 |1000 | 37k|1000 |8485 | 24k| 0 | 0 |-2.800486e+02 |-5.300000e+01 | 81.07%
485.42/485.61 c 480s| 1 | 0 |229939 | - | 145M| 0 | 870 |1000 | 37k|1000 |8364 | 24k| 0 | 0 |-2.797669e+02 |-5.300000e+01 | 81.06%
492.82/493.09 c 488s| 1 | 0 |231429 | - | 145M| 0 | 871 |1000 | 37k|1000 |8459 | 24k| 0 | 0 |-2.793167e+02 |-5.300000e+01 | 81.03%
502.22/502.46 c 497s| 1 | 0 |233506 | - | 145M| 0 | 871 |1000 | 37k|1000 |8488 | 24k| 0 | 0 |-2.782927e+02 |-5.300000e+01 | 80.96%
511.82/512.00 c 507s| 1 | 0 |235663 | - | 145M| 0 | 871 |1000 | 37k|1000 |8550 | 24k| 0 | 0 |-2.775093e+02 |-5.300000e+01 | 80.90%
522.02/522.24 c 517s| 1 | 0 |237696 | - | 145M| 0 | 881 |1000 | 37k|1000 |8624 | 24k| 0 | 0 |-2.769186e+02 |-5.300000e+01 | 80.86%
532.41/532.64 c 527s| 1 | 0 |239451 | - | 145M| 0 | 876 |1000 | 37k|1000 |8738 | 24k| 0 | 0 |-2.765458e+02 |-5.300000e+01 | 80.83%
542.71/542.91 c 537s| 1 | 0 |241410 | - | 145M| 0 | 877 |1000 | 37k|1000 |8518 | 24k| 0 | 0 |-2.759955e+02 |-5.300000e+01 | 80.80%
552.40/552.68 c 547s| 1 | 0 |243279 | - | 145M| 0 | 873 |1000 | 37k|1000 |8555 | 24k| 0 | 0 |-2.755515e+02 |-5.300000e+01 | 80.77%
562.20/562.46 c 557s| 1 | 0 |245190 | - | 144M| 0 | 878 |1000 | 37k|1000 |8619 | 24k| 0 | 0 |-2.750659e+02 |-5.300000e+01 | 80.73%
573.50/573.76 c 568s| 1 | 0 |247207 | - | 144M| 0 | 886 |1000 | 37k|1000 |8659 | 25k| 0 | 0 |-2.744538e+02 |-5.300000e+01 | 80.69%
584.19/584.48 c 579s| 1 | 0 |248843 | - | 144M| 0 | 889 |1000 | 37k|1000 |8690 | 25k| 0 | 0 |-2.741387e+02 |-5.300000e+01 | 80.67%
597.20/597.47 c 591s| 1 | 0 |251511 | - | 144M| 0 | 891 |1000 | 37k|1000 |8708 | 25k| 0 | 0 |-2.734777e+02 |-5.300000e+01 | 80.62%
608.39/608.63 c 603s| 1 | 0 |253372 | - | 144M| 0 | 887 |1000 | 37k|1000 |8540 | 25k| 0 | 0 |-2.729735e+02 |-5.300000e+01 | 80.58%
621.18/621.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.18/621.48 c 615s| 1 | 0 |255959 | - | 144M| 0 | 885 |1000 | 37k|1000 |8604 | 25k| 0 | 0 |-2.721554e+02 |-5.300000e+01 | 80.53%
633.48/633.76 c 628s| 1 | 0 |258271 | - | 144M| 0 | 890 |1000 | 37k|1000 |8654 | 25k| 0 | 0 |-2.713665e+02 |-5.300000e+01 | 80.47%
643.88/644.13 c 638s| 1 | 0 |259632 | - | 144M| 0 | 889 |1000 | 37k|1000 |8686 | 25k| 0 | 0 |-2.710515e+02 |-5.300000e+01 | 80.45%
657.07/657.32 c 651s| 1 | 0 |262333 | - | 144M| 0 | 900 |1000 | 37k|1000 |8727 | 25k| 0 | 0 |-2.701780e+02 |-5.300000e+01 | 80.38%
670.77/671.04 c 665s| 1 | 0 |265022 | - | 143M| 0 | 896 |1000 | 37k|1000 |8862 | 25k| 0 | 0 |-2.690626e+02 |-5.300000e+01 | 80.30%
683.66/683.93 c 677s| 1 | 0 |267213 | - | 143M| 0 | 901 |1000 | 37k|1000 |8720 | 25k| 0 | 0 |-2.683456e+02 |-5.300000e+01 | 80.25%
695.26/695.57 c 689s| 1 | 0 |269005 | - | 143M| 0 | 897 |1000 | 37k|1000 |8841 | 25k| 0 | 0 |-2.676088e+02 |-5.300000e+01 | 80.19%
707.16/707.42 c 701s| 1 | 0 |270703 | - | 143M| 0 | 898 |1000 | 37k|1000 |8866 | 25k| 0 | 0 |-2.671307e+02 |-5.300000e+01 | 80.16%
718.55/718.83 c 712s| 1 | 0 |272102 | - | 143M| 0 | 899 |1000 | 37k|1000 |8910 | 25k| 0 | 0 |-2.667129e+02 |-5.300000e+01 | 80.13%
732.15/732.41 c 726s| 1 | 0 |274369 | - | 143M| 0 | 913 |1000 | 37k|1000 |8953 | 25k| 0 | 0 |-2.660314e+02 |-5.300000e+01 | 80.08%
743.94/744.25 c 737s| 1 | 0 |275618 | - | 143M| 0 | 911 |1000 | 37k|1000 |9069 | 25k| 0 | 0 |-2.658321e+02 |-5.300000e+01 | 80.06%
756.54/756.81 c 750s| 1 | 0 |277154 | - | 143M| 0 | 913 |1000 | 37k|1000 |8997 | 25k| 0 | 0 |-2.654860e+02 |-5.300000e+01 | 80.04%
771.84/772.12 c 765s| 1 | 0 |279802 | - | 143M| 0 | 909 |1000 | 37k|1000 |9011 | 25k| 0 | 0 |-2.646768e+02 |-5.300000e+01 | 79.98%
784.43/784.72 c 778s| 1 | 0 |281263 | - | 142M| 0 | 913 |1000 | 37k|1000 |9091 | 26k| 0 | 0 |-2.641695e+02 |-5.300000e+01 | 79.94%
797.52/797.89 c 791s| 1 | 0 |282920 | - | 142M| 0 | 916 |1000 | 37k|1000 |9123 | 26k| 0 | 0 |-2.637053e+02 |-5.300000e+01 | 79.90%
810.12/810.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.12/810.42 c 803s| 1 | 0 |284164 | - | 142M| 0 | 913 |1000 | 37k|1000 |9223 | 26k| 0 | 0 |-2.633999e+02 |-5.300000e+01 | 79.88%
823.63/823.91 c 817s| 1 | 0 |285800 | - | 142M| 0 | 930 |1000 | 37k|1000 |9248 | 26k| 0 | 0 |-2.630122e+02 |-5.300000e+01 | 79.85%
837.51/837.82 c 830s| 1 | 0 |287361 | - | 141M| 0 | 921 |1000 | 37k|1000 |9092 | 26k| 0 | 0 |-2.626643e+02 |-5.300000e+01 | 79.82%
851.02/851.30 c 844s| 1 | 0 |288949 | - | 141M| 0 | 917 |1000 | 37k|1000 |9127 | 26k| 0 | 0 |-2.622163e+02 |-5.300000e+01 | 79.79%
864.21/864.55 c 857s| 1 | 0 |290455 | - | 141M| 0 | 931 |1000 | 37k|1000 |9204 | 26k| 0 | 0 |-2.618604e+02 |-5.300000e+01 | 79.76%
877.80/878.18 c 871s| 1 | 0 |291986 | - | 141M| 0 | 933 |1000 | 37k|1000 |9250 | 26k| 0 | 0 |-2.615108e+02 |-5.300000e+01 | 79.73%
891.60/891.93 c 884s| 1 | 0 |293568 | - | 140M| 0 | 929 |1000 | 37k|1000 |9296 | 26k| 0 | 0 |-2.610872e+02 |-5.300000e+01 | 79.70%
906.39/906.70 c 899s| 1 | 0 |295309 | - | 139M| 0 | 923 |1000 | 37k|1000 |9322 | 26k| 0 | 0 |-2.606238e+02 |-5.300000e+01 | 79.66%
919.19/919.52 c 912s| 1 | 0 |296415 | - | 139M| 0 | 929 |1000 | 37k|1000 |9182 | 26k| 0 | 0 |-2.603895e+02 |-5.300000e+01 | 79.65%
933.98/934.37 c 927s| 1 | 0 |298206 | - | 139M| 0 | 934 |1000 | 37k|1000 |9211 | 26k| 0 | 0 |-2.598581e+02 |-5.300000e+01 | 79.60%
945.17/945.52 c 938s| 1 | 0 |298692 | - | 139M| 0 | 931 |1000 | 37k|1000 |9262 | 26k| 0 | 0 |-2.598036e+02 |-5.300000e+01 | 79.60%
960.47/960.84 c 953s| 1 | 0 |300565 | - | 138M| 0 | 941 |1000 | 37k|1000 |9275 | 26k| 0 | 0 |-2.593215e+02 |-5.300000e+01 | 79.56%
973.97/974.38 c 966s| 1 | 0 |301645 | - | 138M| 0 | 941 |1000 | 37k|1000 |9304 | 26k| 0 | 0 |-2.590890e+02 |-5.300000e+01 | 79.54%
987.47/987.86 c 980s| 1 | 0 |302845 | - | 137M| 0 | 943 |1000 | 37k|1000 |9332 | 26k| 0 | 0 |-2.586820e+02 |-5.300000e+01 | 79.51%
999.96/1000.36 c 992s| 1 | 0 |303565 | - | 136M| 0 | 944 |1000 | 37k|1000 |9194 | 26k| 0 | 0 |-2.584969e+02 |-5.300000e+01 | 79.50%
1011.96/1012.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.96/1012.39 c 1004s| 1 | 0 |304312 | - | 135M| 0 | 945 |1000 | 37k|1000 |9214 | 26k| 0 | 0 |-2.583267e+02 |-5.300000e+01 | 79.48%
1024.95/1025.38 c 1017s| 1 | 0 |305285 | - | 135M| 0 | 945 |1000 | 37k|1000 |9222 | 26k| 0 | 0 |-2.581225e+02 |-5.300000e+01 | 79.47%
1038.44/1038.85 c 1031s| 1 | 0 |306435 | - | 134M| 0 | 950 |1000 | 37k|1000 |9251 | 26k| 0 | 0 |-2.578206e+02 |-5.300000e+01 | 79.44%
1053.55/1053.92 c 1046s| 1 | 0 |308062 | - | 134M| 0 | 953 |1000 | 37k|1000 |9287 | 26k| 0 | 0 |-2.574575e+02 |-5.300000e+01 | 79.41%
1066.94/1067.37 c 1059s| 1 | 0 |309081 | - | 133M| 0 | 948 |1000 | 37k|1000 |9313 | 26k| 0 | 0 |-2.571472e+02 |-5.300000e+01 | 79.39%
1081.73/1082.14 c 1074s| 1 | 0 |310578 | - | 133M| 0 | 946 |1000 | 37k|1000 |9240 | 26k| 0 | 0 |-2.568570e+02 |-5.300000e+01 | 79.37%
1097.83/1098.23 c 1090s| 1 | 0 |312488 | - | 132M| 0 | 954 |1000 | 37k|1000 |9273 | 26k| 0 | 0 |-2.563690e+02 |-5.300000e+01 | 79.33%
1112.12/1112.56 c 1104s| 1 | 0 |313702 | - | 131M| 0 | 957 |1000 | 37k|1000 |9324 | 26k| 0 | 0 |-2.561602e+02 |-5.300000e+01 | 79.31%
1126.52/1126.91 c 1118s| 1 | 0 |314754 | - | 129M| 0 | 959 |1000 | 37k|1000 |9352 | 26k| 0 | 0 |-2.559144e+02 |-5.300000e+01 | 79.29%
1141.32/1141.75 c 1133s| 1 | 0 |315999 | - | 128M| 0 | 961 |1000 | 37k|1000 |9393 | 26k| 0 | 0 |-2.556259e+02 |-5.300000e+01 | 79.27%
1156.61/1157.03 c 1148s| 1 | 0 |317413 | - | 127M| 0 | 955 |1000 | 37k|1000 |9420 | 26k| 0 | 0 |-2.553483e+02 |-5.300000e+01 | 79.24%
1170.51/1170.97 c 1162s| 1 | 0 |318241 | - | 126M| 0 | 956 |1000 | 37k|1000 |9360 | 27k| 0 | 0 |-2.552247e+02 |-5.300000e+01 | 79.23%
1185.10/1185.54 c 1177s| 1 | 0 |319328 | - | 124M| 0 | 959 |1000 | 37k|1000 |9382 | 27k| 0 | 0 |-2.550087e+02 |-5.300000e+01 | 79.22%
1199.79/1200.22 c 1191s| 1 | 0 |320429 | - | 123M| 0 | 953 |1000 | 37k|1000 |9407 | 27k| 0 | 0 |-2.547732e+02 |-5.300000e+01 | 79.20%
1214.09/1214.53 c 1205s| 1 | 0 |321350 | - | 121M| 0 | 959 |1000 | 37k|1000 |9424 | 27k| 0 | 0 |-2.545719e+02 |-5.300000e+01 | 79.18%
1229.39/1229.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1229.39/1229.82 c 1221s| 1 | 0 |322727 | - | 118M| 0 | 960 |1000 | 37k|1000 |9455 | 27k| 0 | 0 |-2.542839e+02 |-5.300000e+01 | 79.16%
1244.69/1245.10 c 1236s| 1 | 0 |323904 | - | 117M| 0 | 957 |1000 | 37k|1000 |9482 | 27k| 0 | 0 |-2.540318e+02 |-5.300000e+01 | 79.14%
1259.38/1259.81 c 1250s| 1 | 0 |324975 | - | 117M| 0 | 960 |1000 | 37k|1000 |9387 | 27k| 0 | 0 |-2.538445e+02 |-5.300000e+01 | 79.12%
1273.57/1274.01 c 1265s| 1 | 0 |325825 | - | 115M| 0 | 967 |1000 | 37k|1000 |9397 | 27k| 0 | 0 |-2.536238e+02 |-5.300000e+01 | 79.10%
1288.37/1288.86 c 1279s| 1 | 0 |326784 | - | 113M| 0 | 965 |1000 | 37k|1000 |9409 | 27k| 0 | 0 |-2.533476e+02 |-5.300000e+01 | 79.08%
1304.07/1304.55 c 1295s| 1 | 0 |328028 | - | 112M| 0 | 962 |1000 | 37k|1000 |9429 | 27k| 0 | 0 |-2.530087e+02 |-5.300000e+01 | 79.05%
1320.36/1320.89 c 1311s| 1 | 0 |329552 | - | 112M| 0 | 958 |1000 | 37k|1000 |9459 | 27k| 0 | 0 |-2.525903e+02 |-5.300000e+01 | 79.02%
1335.25/1335.72 c 1326s| 1 | 0 |330444 | - | 112M| 0 | 962 |1000 | 37k|1000 |9489 | 27k| 0 | 0 |-2.524089e+02 |-5.300000e+01 | 79.00%
1350.75/1351.24 c 1341s| 1 | 0 |331566 | - | 111M| 0 | 961 |1000 | 37k|1000 |9425 | 27k| 0 | 0 |-2.521956e+02 |-5.300000e+01 | 78.98%
1366.45/1366.97 c 1357s| 1 | 0 |332744 | - | 111M| 0 | 963 |1000 | 37k|1000 |9445 | 27k| 0 | 0 |-2.519195e+02 |-5.300000e+01 | 78.96%
1381.84/1382.33 c 1372s| 1 | 0 |333858 | - | 108M| 0 | 973 |1000 | 37k|1000 |9472 | 27k| 0 | 0 |-2.516672e+02 |-5.300000e+01 | 78.94%
1395.83/1396.39 c 1386s| 1 | 0 |334458 | - | 108M| 0 | 972 |1000 | 37k|1000 |9480 | 27k| 0 | 0 |-2.515594e+02 |-5.300000e+01 | 78.93%
1411.22/1411.75 c 1402s| 1 | 0 |335403 | - | 107M| 0 | 971 |1000 | 37k|1000 |9498 | 27k| 0 | 0 |-2.513679e+02 |-5.300000e+01 | 78.92%
1427.62/1428.11 c 1418s| 1 | 0 |336712 | - | 107M| 0 | 969 |1000 | 37k|1000 |9514 | 27k| 0 | 0 |-2.511000e+02 |-5.300000e+01 | 78.89%
1441.22/1441.75 c 1432s| 1 | 0 |337347 | - | 107M| 0 | 974 |1000 | 37k|1000 |9474 | 27k| 0 | 0 |-2.509764e+02 |-5.300000e+01 | 78.88%
1456.21/1456.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.21/1456.78 c 1446s| 1 | 0 |338281 | - | 107M| 0 | 967 |1000 | 37k|1000 |9487 | 27k| 0 | 0 |-2.507809e+02 |-5.300000e+01 | 78.87%
1470.51/1471.04 c 1461s| 1 | 0 |339055 | - | 107M| 0 | 968 |1000 | 37k|1000 |9503 | 27k| 0 | 0 |-2.505965e+02 |-5.300000e+01 | 78.85%
1485.71/1486.27 c 1476s| 1 | 0 |340047 | - | 107M| 0 | 970 |1000 | 37k|1000 |9532 | 27k| 0 | 0 |-2.503581e+02 |-5.300000e+01 | 78.83%
1500.50/1501.08 c 1491s| 1 | 0 |340864 | - | 107M| 0 | 973 |1000 | 37k|1000 |9548 | 27k| 0 | 0 |-2.501832e+02 |-5.300000e+01 | 78.82%
1514.59/1515.13 c 1505s| 1 | 0 |341381 | - | 106M| 0 | 975 |1000 | 37k|1000 |9561 | 27k| 0 | 0 |-2.500875e+02 |-5.300000e+01 | 78.81%
1530.09/1530.66 c 1520s| 1 | 0 |342317 | - | 106M| 0 | 971 |1000 | 37k|1000 |9492 | 27k| 0 | 0 |-2.498523e+02 |-5.300000e+01 | 78.79%
1544.18/1544.76 c 1534s| 1 | 0 |342834 | - | 106M| 0 | 979 |1000 | 37k|1000 |9506 | 27k| 0 | 0 |-2.497619e+02 |-5.300000e+01 | 78.78%
1559.58/1560.15 c 1549s| 1 | 0 |343521 | - | 106M| 0 | 979 |1000 | 37k|1000 |9519 | 27k| 0 | 0 |-2.496070e+02 |-5.300000e+01 | 78.77%
1573.67/1574.29 c 1564s| 1 | 0 |343921 | - | 106M| 0 | 980 |1000 | 37k|1000 |9535 | 27k| 0 | 0 |-2.495345e+02 |-5.300000e+01 | 78.76%
1588.67/1589.24 c 1578s| 1 | 0 |344691 | - | 106M| 0 | 979 |1000 | 37k|1000 |9547 | 27k| 0 | 0 |-2.493871e+02 |-5.300000e+01 | 78.75%
1603.76/1604.36 c 1593s| 1 | 0 |345478 | - | 106M| 0 | 984 |1000 | 37k|1000 |9562 | 27k| 0 | 0 |-2.492150e+02 |-5.300000e+01 | 78.73%
1618.36/1618.94 c 1608s| 1 | 0 |346011 | - | 106M| 0 | 984 |1000 | 37k|1000 |9506 | 27k| 0 | 0 |-2.490999e+02 |-5.300000e+01 | 78.72%
1633.55/1634.19 c 1623s| 1 | 0 |346781 | - | 106M| 0 | 982 |1000 | 37k|1000 |9515 | 27k| 0 | 0 |-2.489307e+02 |-5.300000e+01 | 78.71%
1648.85/1649.45 c 1638s| 1 | 0 |347437 | - | 106M| 0 | 981 |1000 | 37k|1000 |9527 | 27k| 0 | 0 |-2.487887e+02 |-5.300000e+01 | 78.70%
1663.85/1664.42 c 1653s| 1 | 0 |348039 | - | 106M| 0 | 982 |1000 | 37k|1000 |9545 | 27k| 0 | 0 |-2.486585e+02 |-5.300000e+01 | 78.69%
1679.74/1680.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.74/1680.31 c 1669s| 1 | 0 |348849 | - | 106M| 0 | 987 |1000 | 37k|1000 |9564 | 27k| 0 | 0 |-2.484955e+02 |-5.300000e+01 | 78.67%
1694.13/1694.75 c 1683s| 1 | 0 |349296 | - | 106M| 0 | 989 |1000 | 37k|1000 |9573 | 27k| 0 | 0 |-2.483904e+02 |-5.300000e+01 | 78.66%
1709.43/1710.07 c 1699s| 1 | 0 |349914 | - | 106M| 0 | 984 |1000 | 37k|1000 |9540 | 27k| 0 | 0 |-2.482617e+02 |-5.300000e+01 | 78.65%
1725.43/1726.07 c 1715s| 1 | 0 |350687 | - | 106M| 0 | 979 |1000 | 37k|1000 |9549 | 27k| 0 | 0 |-2.480751e+02 |-5.300000e+01 | 78.64%
1740.91/1741.50 c 1730s| 1 | 0 |351429 | - | 106M| 0 | 990 |1000 | 37k|1000 |9570 | 27k| 0 | 0 |-2.479087e+02 |-5.300000e+01 | 78.62%
1755.51/1756.16 c 1745s| 1 | 0 |351854 | - | 106M| 0 | 989 |1000 | 37k|1000 |9583 | 27k| 0 | 0 |-2.478204e+02 |-5.300000e+01 | 78.61%
1771.11/1771.73 c 1760s| 1 | 0 |352395 | - | 106M| 0 | 984 |1000 | 37k|1000 |9589 | 27k| 0 | 0 |-2.477023e+02 |-5.300000e+01 | 78.60%
1785.40/1786.05 c 1774s| 1 | 0 |352782 | - | 106M| 0 | 991 |1000 | 37k|1000 |9602 | 27k| 0 | 0 |-2.476195e+02 |-5.300000e+01 | 78.60%
1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1801.20/1801.84 c 1790s| 1 | 0 |353479 | - | 106M| 0 | 988 |1000 | 37k|1000 |9563 | 27k| 0 | 0 |-2.474659e+02 |-5.300000e+01 | 78.58%
1801.40/1802.01 c 1790s| 1 | 2 |353479 | - | 106M| 0 | 988 |1000 | 37k|1000 |9563 | 27k| 0 | 0 |-2.474659e+02 |-5.300000e+01 | 78.58%
1801.40/1802.01 c
1801.40/1802.01 c SCIP Status : solving was interrupted [user interrupt]
1801.40/1802.01 c Solving Time (sec) : 1790.38
1801.40/1802.01 c Solving Nodes : 1
1801.40/1802.01 c Primal Bound : -5.30000000000000e+01 (44 solutions)
1801.40/1802.01 c Dual Bound : -2.47465868131379e+02
1801.40/1802.01 c Gap : 78.58 %
1801.40/1802.10 s SATISFIABLE
1801.40/1802.10 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1801.40/1802.10 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1801.40/1802.10 v -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1801.40/1802.10 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1801.40/1802.10 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1801.40/1802.10 v -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1801.40/1802.10 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1801.40/1802.10 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833
1801.40/1802.10 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1801.40/1802.10 v -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1801.40/1802.10 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770
1801.40/1802.10 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1801.40/1802.10 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1801.40/1802.10 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707
1801.40/1802.10 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1801.40/1802.10 v -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1801.40/1802.10 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1801.40/1802.10 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1801.40/1802.10 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602
1801.40/1802.10 v -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
1801.40/1802.10 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
1801.40/1802.10 v -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
1801.40/1802.10 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 x520 -x519 -x518
1801.40/1802.10 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
1801.40/1802.10 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
1801.40/1802.10 v -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455
1801.40/1802.10 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
1801.40/1802.10 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
1801.40/1802.10 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1801.40/1802.10 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1801.40/1802.10 v -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351
1801.40/1802.10 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1801.40/1802.10 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1801.40/1802.10 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1801.40/1802.10 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1801.40/1802.10 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1801.40/1802.10 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1801.40/1802.10 v -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1801.40/1802.10 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1801.40/1802.10 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 x165 -x164 -x163 -x162
1801.40/1802.10 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 x144 -x143 -x142 -x141
1801.40/1802.10 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1801.40/1802.10 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1801.40/1802.10 v -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1801.40/1802.10 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 -x48 -x47
1801.40/1802.10 v -x46 -x45 x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22
1801.40/1802.10 v -x21 -x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 x3 x2 x1
1801.40/1802.10 c SCIP Status : solving was interrupted [user interrupt]
1801.40/1802.10 c Solving Time : 1790.38
1801.40/1802.10 c Original Problem :
1801.40/1802.10 c Problem name : HOME/instance-2665271-1276664183.opb
1801.40/1802.10 c Variables : 38742 (38742 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.40/1802.10 c Constraints : 38742 initial, 38742 maximal
1801.40/1802.10 c Presolved Problem :
1801.40/1802.10 c Problem name : t_HOME/instance-2665271-1276664183.opb
1801.40/1802.10 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.40/1802.10 c Constraints : 37742 initial, 37742 maximal
1801.40/1802.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.40/1802.10 c trivial : 0.01 0 0 0 0 0 0 0 0
1801.40/1802.10 c dualfix : 0.01 0 0 0 0 0 0 0 0
1801.40/1802.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.40/1802.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.40/1802.10 c implics : 0.00 0 0 0 0 0 0 0 0
1801.40/1802.10 c probing : 0.54 0 0 0 0 0 0 0 0
1801.40/1802.10 c linear : 0.26 37742 0 0 37742 0 1000 0 0
1801.40/1802.10 c logicor : 0.10 0 0 0 0 0 0 0 0
1801.40/1802.10 c root node : - 0 - - 0 - - - -
1801.40/1802.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.40/1802.10 c integral : 0 0 0 1 0 0 0 0 0 2
1801.40/1802.10 c logicor : 37742 245 201 0 0 0 0 36211 0 0
1801.40/1802.10 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.40/1802.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.40/1802.10 c integral : 0.00 0.00 0.00 0.00 0.00
1801.40/1802.10 c logicor : 2.49 2.28 0.21 0.00 0.00
1801.40/1802.10 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.40/1802.10 c Propagators : Time Calls Cutoffs DomReds
1801.40/1802.10 c vbounds : 0.00 2 0 0
1801.40/1802.10 c rootredcost : 0.00 0 0 0
1801.40/1802.10 c pseudoobj : 0.01 246 0 0
1801.40/1802.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.40/1802.10 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.40/1802.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.40/1802.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.40/1802.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.40/1802.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.40/1802.10 c applied globally : - - - 0 0.0 - - -
1801.40/1802.10 c applied locally : - - - 0 0.0 - - -
1801.40/1802.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.40/1802.10 c cut pool : 1.78 244 - - 6177 - (maximal pool size: 19630)
1801.40/1802.10 c redcost : 0.01 245 0 0 0 0
1801.40/1802.10 c impliedbounds : 1.14 243 0 0 36808 0
1801.40/1802.10 c intobj : 0.00 0 0 0 0 0
1801.40/1802.10 c cgmip : 0.00 0 0 0 0 0
1801.40/1802.10 c gomory : 1054.83 240 0 0 82385 0
1801.40/1802.10 c strongcg : 2.04 20 0 0 10000 0
1801.40/1802.10 c cmir : 3.23 10 0 0 0 0
1801.40/1802.10 c flowcover : 2.73 10 0 0 0 0
1801.40/1802.10 c clique : 13.79 240 0 0 2176 0
1801.40/1802.10 c zerohalf : 0.00 0 0 0 0 0
1801.40/1802.10 c mcf : 0.05 1 0 0 0 0
1801.40/1802.10 c rapidlearning : 0.00 0 0 0 0 0
1801.40/1802.10 c Pricers : Time Calls Vars
1801.40/1802.10 c problem variables: 0.00 0 0
1801.40/1802.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.40/1802.10 c relpscost : 0.00 1 0 0 0 0 2
1801.40/1802.10 c pscost : 0.00 0 0 0 0 0 0
1801.40/1802.10 c inference : 0.00 0 0 0 0 0 0
1801.40/1802.10 c mostinf : 0.00 0 0 0 0 0 0
1801.40/1802.10 c leastinf : 0.00 0 0 0 0 0 0
1801.40/1802.10 c fullstrong : 0.00 0 0 0 0 0 0
1801.40/1802.10 c allfullstrong : 0.00 0 0 0 0 0 0
1801.40/1802.10 c random : 0.00 0 0 0 0 0 0
1801.40/1802.10 c Primal Heuristics : Time Calls Found
1801.40/1802.10 c LP solutions : 0.00 - 0
1801.40/1802.10 c pseudo solutions : 0.00 - 0
1801.40/1802.10 c crossover : 0.00 0 0
1801.40/1802.10 c oneopt : 0.03 2 1
1801.40/1802.10 c trivial : 0.11 2 2
1801.40/1802.10 c simplerounding : 0.45 246 39
1801.40/1802.10 c zirounding : 0.01 1 0
1801.40/1802.10 c rounding : 14.37 246 1
1801.40/1802.10 c shifting : 15.41 246 1
1801.40/1802.10 c intshifting : 0.00 0 0
1801.40/1802.10 c twoopt : 0.00 0 0
1801.40/1802.10 c fixandinfer : 0.00 0 0
1801.40/1802.10 c feaspump : 0.00 0 0
1801.40/1802.10 c coefdiving : 0.00 0 0
1801.40/1802.10 c pscostdiving : 0.00 0 0
1801.40/1802.10 c fracdiving : 0.00 0 0
1801.40/1802.10 c veclendiving : 0.00 0 0
1801.40/1802.10 c intdiving : 0.00 0 0
1801.40/1802.10 c actconsdiving : 0.00 0 0
1801.40/1802.10 c objpscostdiving : 0.00 0 0
1801.40/1802.10 c rootsoldiving : 0.00 0 0
1801.40/1802.10 c linesearchdiving : 0.00 0 0
1801.40/1802.10 c guideddiving : 0.00 0 0
1801.40/1802.10 c octane : 0.00 0 0
1801.40/1802.10 c rens : 0.00 0 0
1801.40/1802.10 c rins : 0.00 0 0
1801.40/1802.10 c localbranching : 0.00 0 0
1801.40/1802.10 c mutation : 0.00 0 0
1801.40/1802.10 c dins : 0.00 0 0
1801.40/1802.10 c undercover : 0.00 0 0
1801.40/1802.10 c nlp : 0.00 0 0
1801.40/1802.10 c trysol : 0.01 0 0
1801.40/1802.10 c LP : Time Calls Iterations Iter/call Iter/sec
1801.40/1802.10 c primal LP : 0.58 0 0 0.00 0.00
1801.40/1802.10 c dual LP : 660.70 246 353479 1436.91 535.01
1801.40/1802.10 c lex dual LP : 0.00 0 0 0.00 -
1801.40/1802.10 c barrier LP : 0.00 0 0 0.00 -
1801.40/1802.10 c diving/probing LP: 0.00 0 0 0.00 -
1801.40/1802.10 c strong branching : 0.00 0 0 0.00 -
1801.40/1802.10 c (at root node) : - 0 0 0.00 -
1801.40/1802.10 c conflict analysis: 0.00 0 0 0.00 -
1801.40/1802.10 c B&B Tree :
1801.40/1802.10 c number of runs : 1
1801.40/1802.10 c nodes : 1
1801.40/1802.10 c nodes (total) : 1
1801.40/1802.10 c nodes left : 2
1801.40/1802.10 c max depth : 0
1801.40/1802.10 c max depth (total): 0
1801.40/1802.10 c backtracks : 0 (0.0%)
1801.40/1802.10 c delayed cutoffs : 0
1801.40/1802.10 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.40/1802.10 c avg switch length: 1.00
1801.40/1802.10 c switching time : 0.00
1801.40/1802.10 c Solution :
1801.40/1802.10 c Solutions found : 44 (4 improvements)
1801.40/1802.10 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.35 seconds, depth 0, found by <trivial>)
1801.40/1802.10 c Primal Bound : -5.30000000000000e+01 (in run 1, after 1 nodes, 4.84 seconds, depth 0, found by <oneopt>)
1801.40/1802.10 c Dual Bound : -2.47465868131379e+02
1801.40/1802.10 c Gap : 78.58 %
1801.40/1802.10 c Root Dual Bound : -2.47465868131379e+02
1801.40/1802.10 c Root Iterations : 353479
1801.70/1802.38 c Time complete: 1801.78.