0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703270-1278570161.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.09/2.10 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
2.89/2.90 c (2.5s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.89/2.90 c (2.5s) probing aborted: 100/100 successive totally useless probings
2.89/2.90 c presolving (2 rounds):
2.89/2.90 c 37742 deleted vars, 1000 deleted constraints, 37742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.89/2.90 c 226452 implications, 0 cliques
2.89/2.90 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37742 constraints
2.89/2.90 c 37742 constraints of type <logicor>
2.89/2.90 c transformed objective value is always integral (scale: 1)
2.89/2.90 c Presolving Time: 2.22
2.89/2.90 c - non default parameters ----------------------------------------------------------------------
2.89/2.90 c # SCIP version 1.2.1.3
2.89/2.90 c
2.89/2.90 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.89/2.90 c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.90 c conflict/interconss = 0
2.89/2.90 c
2.89/2.90 c # should binary conflicts be preferred?
2.89/2.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.90 c conflict/preferbinary = TRUE
2.89/2.90 c
2.89/2.90 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.89/2.90 c # [type: int, range: [-1,2147483647], default: 0]
2.89/2.90 c constraints/agelimit = 1
2.89/2.90 c
2.89/2.90 c # should enforcement of pseudo solution be disabled?
2.89/2.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.90 c constraints/disableenfops = TRUE
2.89/2.90 c
2.89/2.90 c # frequency for displaying node information lines
2.89/2.90 c # [type: int, range: [-1,2147483647], default: 100]
2.89/2.90 c display/freq = 10000
2.89/2.90 c
2.89/2.90 c # maximal time in seconds to run
2.89/2.90 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.90 c limits/time = 1789.58
2.89/2.90 c
2.89/2.90 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.89/2.90 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.90 c limits/memory = 1620
2.89/2.90 c
2.89/2.90 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.89/2.90 c # [type: int, range: [-1,2147483647], default: 1]
2.89/2.90 c lp/solvefreq = 0
2.89/2.90 c
2.89/2.90 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)
2.89/2.90 c # [type: char, range: {lafpsqd}, default: l]
2.89/2.90 c lp/pricing = a
2.89/2.90 c
2.89/2.90 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.89/2.90 c # [type: int, range: [1,2], default: 1]
2.89/2.90 c timing/clocktype = 2
2.89/2.90 c
2.89/2.90 c # should presolving try to simplify inequalities
2.89/2.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.90 c constraints/linear/simplifyinequalities = TRUE
2.89/2.90 c
2.89/2.90 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.89/2.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.90 c constraints/indicator/addCouplingCons = TRUE
2.89/2.90 c
2.89/2.90 c # should presolving try to simplify knapsacks
2.89/2.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.90 c constraints/knapsack/simplifyinequalities = TRUE
2.89/2.90 c
2.89/2.90 c # priority of node selection rule <dfs> in standard mode
2.89/2.90 c # [type: int, range: [-536870912,536870911], default: 0]
2.89/2.90 c nodeselection/dfs/stdpriority = 1000000
2.89/2.90 c
2.89/2.90 c -----------------------------------------------------------------------------------------------
2.89/2.90 c start solving
2.89/2.91 c
4.69/4.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.69/4.70 c t 4.3s| 1 | 0 | 1036 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
4.69/4.79 o -1
4.69/4.79 c R 4.4s| 1 | 0 | 1036 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
4.79/4.90 o -2
4.79/4.90 c s 4.5s| 1 | 0 | 1036 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
7.18/7.22 c 6.8s| 1 | 0 | 1215 | - | 101M| 0 | 991 |1000 | 37k|1000 | 37k| 7 | 0 | 0 |-4.955000e+02 |-2.000000e+00 | 99.60%
7.18/7.25 o -53
7.18/7.25 c b 6.8s| 1 | 0 | 1215 | - | 101M| 0 | 991 |1000 | 37k|1000 | 37k| 7 | 0 | 0 |-4.955000e+02 |-5.300000e+01 | 89.30%
9.49/9.52 c 9.1s| 1 | 0 | 1323 | - | 101M| 0 | 982 |1000 | 37k|1000 | 37k| 14 | 0 | 0 |-4.910000e+02 |-5.300000e+01 | 89.21%
11.89/11.96 c 11.5s| 1 | 0 | 1442 | - | 101M| 0 | 976 |1000 | 37k|1000 | 37k| 19 | 0 | 0 |-4.880000e+02 |-5.300000e+01 | 89.14%
14.58/14.66 c 14.2s| 1 | 0 | 1625 | - | 101M| 0 | 966 |1000 | 37k|1000 | 37k| 30 | 0 | 0 |-4.830000e+02 |-5.300000e+01 | 89.03%
17.29/17.35 c 16.9s| 1 | 0 | 1771 | - | 101M| 0 | 959 |1000 | 37k|1000 | 37k| 37 | 0 | 0 |-4.795000e+02 |-5.300000e+01 | 88.95%
20.48/20.56 c 20.1s| 1 | 0 | 1956 | - | 101M| 0 | 946 |1000 | 37k|1000 | 37k| 53 | 0 | 0 |-4.730000e+02 |-5.300000e+01 | 88.79%
24.09/24.16 c 23.7s| 1 | 0 | 2158 | - | 102M| 0 | 938 |1000 | 37k|1000 | 37k| 61 | 0 | 0 |-4.690000e+02 |-5.300000e+01 | 88.70%
27.98/28.02 c 27.6s| 1 | 0 | 2430 | - | 102M| 0 | 931 |1000 | 37k|1000 | 37k| 67 | 0 | 0 |-4.655000e+02 |-5.300000e+01 | 88.61%
31.88/32.00 c 31.6s| 1 | 0 | 2685 | - | 102M| 0 | 926 |1000 | 37k|1000 | 37k| 73 | 0 | 0 |-4.630000e+02 |-5.300000e+01 | 88.55%
36.18/36.21 c 35.8s| 1 | 0 | 2992 | - | 102M| 0 | 922 |1000 | 37k|1000 | 37k| 79 | 0 | 0 |-4.605000e+02 |-5.300000e+01 | 88.49%
41.17/41.27 c 40.8s| 1 | 0 | 3544 | - | 102M| 0 | 915 |1000 | 37k|1000 |1394 | 87 | 0 | 0 |-4.575000e+02 |-5.300000e+01 | 88.42%
41.68/41.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.68/41.73 c 41.3s| 1 | 0 | 3843 | - | 102M| 0 | 856 |1000 | 37k|1000 |1400 | 93 | 0 | 0 |-4.560000e+02 |-5.300000e+01 | 88.38%
42.37/42.44 c 42.0s| 1 | 0 | 4082 | - | 103M| 0 | 911 |1000 | 37k|1000 |3183 |1876 | 0 | 0 |-4.555000e+02 |-5.300000e+01 | 88.36%
42.97/43.07 c 42.6s| 1 | 0 | 4577 | - | 103M| 0 | 901 |1000 | 37k|1000 |3188 |1881 | 0 | 0 |-4.525000e+02 |-5.300000e+01 | 88.29%
43.48/43.57 c 43.1s| 1 | 0 | 4864 | - | 103M| 0 | 882 |1000 | 37k|1000 |3302 |1995 | 0 | 0 |-4.500000e+02 |-5.300000e+01 | 88.22%
44.17/44.20 c 43.8s| 1 | 0 | 5240 | - | 103M| 0 | 894 |1000 | 37k|1000 |3857 |2550 | 0 | 0 |-4.470000e+02 |-5.300000e+01 | 88.14%
44.67/44.75 c 44.3s| 1 | 0 | 5633 | - | 103M| 0 | 892 |1000 | 37k|1000 |3408 |2557 | 0 | 0 |-4.456667e+02 |-5.300000e+01 | 88.11%
45.17/45.20 c 44.8s| 1 | 0 | 5800 | - | 103M| 0 | 888 |1000 | 37k|1000 |3414 |2563 | 0 | 0 |-4.450000e+02 |-5.300000e+01 | 88.09%
45.67/45.76 c 45.3s| 1 | 0 | 6100 | - | 103M| 0 | 886 |1000 | 37k|1000 |3471 |2620 | 0 | 0 |-4.440000e+02 |-5.300000e+01 | 88.06%
46.27/46.34 c 45.9s| 1 | 0 | 6549 | - | 103M| 0 | 880 |1000 | 37k|1000 |3527 |2676 | 0 | 0 |-4.420000e+02 |-5.300000e+01 | 88.01%
47.07/47.13 c 46.7s| 1 | 0 | 7274 | - | 103M| 0 | 903 |1000 | 37k|1000 |3720 |2869 | 0 | 0 |-4.387857e+02 |-5.300000e+01 | 87.92%
52.47/52.56 c 52.1s| 1 | 0 | 7748 | - | 103M| 0 | 875 |1000 | 37k|1000 |5720 |4869 | 0 | 0 |-4.367500e+02 |-5.300000e+01 | 87.86%
53.16/53.25 c 52.8s| 1 | 0 | 8240 | - | 103M| 0 | 870 |1000 | 37k|1000 |3925 |4879 | 0 | 0 |-4.342500e+02 |-5.300000e+01 | 87.80%
53.67/53.73 c 53.3s| 1 | 0 | 8541 | - | 103M| 0 | 868 |1000 | 37k|1000 |3977 |4931 | 0 | 0 |-4.327500e+02 |-5.300000e+01 | 87.75%
54.27/54.35 c 53.9s| 1 | 0 | 9081 | - | 103M| 0 | 854 |1000 | 37k|1000 |4095 |5049 | 0 | 0 |-4.307500e+02 |-5.300000e+01 | 87.70%
54.88/55.00 c 54.6s| 1 | 0 | 9590 | - | 104M| 0 | 843 |1000 | 37k|1000 |4430 |5384 | 0 | 0 |-4.287500e+02 |-5.300000e+01 | 87.64%
55.77/55.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.77/55.81 c 55.4s| 1 | 0 | 10149 | - | 104M| 0 | 851 |1000 | 37k|1000 |4907 |5861 | 0 | 0 |-4.262500e+02 |-5.300000e+01 | 87.57%
56.66/56.75 c 56.3s| 1 | 0 | 11004 | - | 104M| 0 | 839 |1000 | 37k|1000 |5021 |5975 | 0 | 0 |-4.242500e+02 |-5.300000e+01 | 87.51%
57.77/57.83 c 57.4s| 1 | 0 | 11968 | - | 104M| 0 | 845 |1000 | 37k|1000 |4572 |6359 | 0 | 0 |-4.222500e+02 |-5.300000e+01 | 87.45%
58.67/58.74 c 58.3s| 1 | 0 | 13020 | - | 104M| 0 | 840 |1000 | 37k|1000 |4797 |6584 | 0 | 0 |-4.187500e+02 |-5.300000e+01 | 87.34%
59.87/59.93 c 59.5s| 1 | 0 | 14301 | - | 105M| 0 | 867 |1000 | 37k|1000 |5080 |6867 | 0 | 0 |-4.165000e+02 |-5.300000e+01 | 87.27%
63.36/63.49 c 63.1s| 1 | 0 | 14728 | - | 105M| 0 | 831 |1000 | 37k|1000 |7080 |8867 | 0 | 0 |-4.155000e+02 |-5.300000e+01 | 87.24%
64.66/64.74 c 64.3s| 1 | 0 | 15506 | - | 105M| 0 | 826 |1000 | 37k|1000 |7086 |8873 | 0 | 0 |-4.130000e+02 |-5.300000e+01 | 87.17%
65.37/65.49 c 65.1s| 1 | 0 | 15895 | - | 105M| 0 | 820 |1000 | 37k|1000 |7091 |8878 | 0 | 0 |-4.112500e+02 |-5.300000e+01 | 87.11%
66.26/66.34 c 65.9s| 1 | 0 | 16434 | - | 105M| 0 | 817 |1000 | 37k|1000 |6675 |9051 | 0 | 0 |-4.077500e+02 |-5.300000e+01 | 87.00%
67.76/67.89 c 67.5s| 1 | 0 | 17493 | - | 105M| 0 | 815 |1000 | 37k|1000 |6854 |9230 | 0 | 0 |-4.047500e+02 |-5.300000e+01 | 86.91%
68.46/68.57 c 68.1s| 1 | 0 | 17832 | - | 105M| 0 | 805 |1000 | 37k|1000 |6861 |9237 | 0 | 0 |-4.035000e+02 |-5.300000e+01 | 86.86%
69.77/69.89 c 69.5s| 1 | 0 | 18652 | - | 105M| 0 | 800 |1000 | 37k|1000 |6936 |9312 | 0 | 0 |-4.010000e+02 |-5.300000e+01 | 86.78%
71.47/71.52 c 71.1s| 1 | 0 | 19775 | - | 105M| 0 | 802 |1000 | 37k|1000 |6997 |9373 | 0 | 0 |-3.982500e+02 |-5.300000e+01 | 86.69%
72.46/72.56 c 72.1s| 1 | 0 | 20414 | - | 105M| 0 | 806 |1000 | 37k|1000 |7045 |9421 | 0 | 0 |-3.965000e+02 |-5.300000e+01 | 86.63%
74.16/74.24 c 73.8s| 1 | 0 | 21462 | - | 105M| 0 | 783 |1000 | 37k|1000 |5763 |9937 | 0 | 0 |-3.935000e+02 |-5.300000e+01 | 86.53%
75.25/75.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.25/75.35 c 74.9s| 1 | 0 | 22317 | - | 105M| 0 | 809 |1000 | 37k|1000 |5885 | 10k| 0 | 0 |-3.918000e+02 |-5.300000e+01 | 86.47%
76.25/76.32 c 75.9s| 1 | 0 | 22473 | - | 106M| 0 | 783 |1000 | 37k|1000 |7614 | 11k| 0 | 0 |-3.915000e+02 |-5.300000e+01 | 86.46%
77.35/77.44 c 77.0s| 1 | 0 | 23048 | - | 106M| 0 | 778 |1000 | 37k|1000 |7623 | 11k| 0 | 0 |-3.890000e+02 |-5.300000e+01 | 86.38%
78.16/78.26 c 77.8s| 1 | 0 | 23488 | - | 106M| 0 | 774 |1000 | 37k|1000 |7628 | 11k| 0 | 0 |-3.880000e+02 |-5.300000e+01 | 86.34%
79.16/79.29 c 78.9s| 1 | 0 | 24063 | - | 106M| 0 | 771 |1000 | 37k|1000 |7691 | 11k| 0 | 0 |-3.855000e+02 |-5.300000e+01 | 86.25%
80.05/80.19 c 79.8s| 1 | 0 | 24584 | - | 106M| 0 | 768 |1000 | 37k|1000 |7171 | 11k| 0 | 0 |-3.840000e+02 |-5.300000e+01 | 86.20%
80.96/81.00 c 80.6s| 1 | 0 | 25063 | - | 106M| 0 | 763 |1000 | 37k|1000 |7177 | 11k| 0 | 0 |-3.815000e+02 |-5.300000e+01 | 86.11%
81.75/81.84 c 81.4s| 1 | 0 | 25558 | - | 106M| 0 | 754 |1000 | 37k|1000 |7182 | 11k| 0 | 0 |-3.800000e+02 |-5.300000e+01 | 86.05%
82.66/82.73 c 82.3s| 1 | 0 | 26039 | - | 106M| 0 | 753 |1000 | 37k|1000 |7354 | 12k| 0 | 0 |-3.775000e+02 |-5.300000e+01 | 85.96%
83.25/83.37 c 82.9s| 1 | 0 | 26355 | - | 106M| 0 | 752 |1000 | 37k|1000 |7409 | 12k| 0 | 0 |-3.770000e+02 |-5.300000e+01 | 85.94%
84.05/84.16 c 83.7s| 1 | 0 | 26869 | - | 106M| 0 | 745 |1000 | 37k|1000 |7468 | 12k| 0 | 0 |-3.755000e+02 |-5.300000e+01 | 85.89%
85.06/85.18 c 84.7s| 1 | 0 | 27545 | - | 106M| 0 | 741 |1000 | 37k|1000 |5262 | 12k| 0 | 0 |-3.725000e+02 |-5.300000e+01 | 85.77%
85.66/85.70 c 85.3s| 1 | 0 | 27880 | - | 106M| 0 | 738 |1000 | 37k|1000 |5379 | 12k| 0 | 0 |-3.720000e+02 |-5.300000e+01 | 85.75%
86.35/86.45 c 86.0s| 1 | 0 | 28313 | - | 107M| 0 | 734 |1000 | 37k|1000 |5545 | 12k| 0 | 0 |-3.715000e+02 |-5.300000e+01 | 85.73%
87.25/87.30 c 86.9s| 1 | 0 | 28856 | - | 107M| 0 | 740 |1000 | 37k|1000 |5932 | 12k| 0 | 0 |-3.700000e+02 |-5.300000e+01 | 85.68%
88.05/88.19 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.19 c 87.8s| 1 | 0 | 29475 | - | 107M| 0 | 734 |1000 | 37k|1000 |5938 | 12k| 0 | 0 |-3.695000e+02 |-5.300000e+01 | 85.66%
89.35/89.45 c 89.0s| 1 | 0 | 30334 | - | 107M| 0 | 728 |1000 | 37k|1000 |6097 | 13k| 0 | 0 |-3.690000e+02 |-5.300000e+01 | 85.64%
90.45/90.54 c 90.1s| 1 | 0 | 31205 | - | 107M| 0 | 730 |1000 | 37k|1000 |6190 | 13k| 0 | 0 |-3.670000e+02 |-5.300000e+01 | 85.56%
91.75/91.82 c 91.4s| 1 | 0 | 32183 | - | 107M| 0 | 729 |1000 | 37k|1000 |6282 | 13k| 0 | 0 |-3.655000e+02 |-5.300000e+01 | 85.50%
92.75/92.86 c 92.4s| 1 | 0 | 32950 | - | 107M| 0 | 741 |1000 | 37k|1000 |6367 | 13k| 0 | 0 |-3.650000e+02 |-5.300000e+01 | 85.48%
94.25/94.30 c 93.9s| 1 | 0 | 33972 | - | 107M| 0 | 725 |1000 | 37k|1000 |6646 | 13k| 0 | 0 |-3.635000e+02 |-5.300000e+01 | 85.42%
95.75/95.82 c 95.4s| 1 | 0 | 34971 | - | 107M| 0 | 722 |1000 | 37k|1000 |6697 | 13k| 0 | 0 |-3.625000e+02 |-5.300000e+01 | 85.38%
97.04/97.16 c 96.7s| 1 | 0 | 35820 | - | 108M| 0 | 721 |1000 | 37k|1000 |6840 | 14k| 0 | 0 |-3.615000e+02 |-5.300000e+01 | 85.34%
99.55/99.60 c 99.2s| 1 | 0 | 37343 | - | 108M| 0 | 719 |1000 | 37k|1000 |6365 | 14k| 0 | 0 |-3.595000e+02 |-5.300000e+01 | 85.26%
100.45/100.54 c 100s| 1 | 0 | 37913 | - | 108M| 0 | 714 |1000 | 37k|1000 |6376 | 14k| 0 | 0 |-3.590000e+02 |-5.300000e+01 | 85.24%
101.44/101.59 c 101s| 1 | 0 | 38625 | - | 108M| 0 | 720 |1000 | 37k|1000 |6484 | 14k| 0 | 0 |-3.582500e+02 |-5.300000e+01 | 85.21%
102.04/102.15 c 102s| 1 | 0 | 38937 | - | 108M| 0 | 715 |1000 | 37k|1000 |6492 | 14k| 0 | 0 |-3.577500e+02 |-5.300000e+01 | 85.19%
103.35/103.44 c 103s| 1 | 0 | 39740 | - | 108M| 0 | 717 |1000 | 37k|1000 |6611 | 14k| 0 | 0 |-3.567500e+02 |-5.300000e+01 | 85.14%
104.94/105.05 c 105s| 1 | 0 | 40911 | - | 108M| 0 | 719 |1000 | 37k|1000 |6729 | 14k| 0 | 0 |-3.552500e+02 |-5.300000e+01 | 85.08%
106.15/106.26 c 106s| 1 | 0 | 41783 | - | 108M| 0 | 709 |1000 | 37k|1000 |5972 | 14k| 0 | 0 |-3.537500e+02 |-5.300000e+01 | 85.02%
107.44/107.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.44/107.58 c 107s| 1 | 0 | 43064 | - | 108M| 0 | 726 |1000 | 37k|1000 |6027 | 14k| 0 | 0 |-3.527500e+02 |-5.300000e+01 | 84.98%
108.94/109.06 c 109s| 1 | 0 | 44301 | - | 108M| 0 | 700 |1000 | 37k|1000 |6246 | 14k| 0 | 0 |-3.510000e+02 |-5.300000e+01 | 84.90%
110.04/110.16 c 110s| 1 | 0 | 45109 | - | 108M| 0 | 692 |1000 | 37k|1000 |6389 | 14k| 0 | 0 |-3.500000e+02 |-5.300000e+01 | 84.86%
111.34/111.43 c 111s| 1 | 0 | 46031 | - | 108M| 0 | 706 |1000 | 37k|1000 |6571 | 15k| 0 | 0 |-3.495000e+02 |-5.300000e+01 | 84.84%
113.05/113.10 c 113s| 1 | 0 | 47143 | - | 108M| 0 | 691 |1000 | 37k|1000 |6801 | 15k| 0 | 0 |-3.475000e+02 |-5.300000e+01 | 84.75%
114.34/114.47 c 114s| 1 | 0 | 47939 | - | 108M| 0 | 696 |1000 | 37k|1000 |6378 | 15k| 0 | 0 |-3.470000e+02 |-5.300000e+01 | 84.73%
115.84/115.95 c 116s| 1 | 0 | 49043 | - | 108M| 0 | 721 |1000 | 37k|1000 |6429 | 15k| 0 | 0 |-3.466667e+02 |-5.300000e+01 | 84.71%
117.64/117.72 c 117s| 1 | 0 | 50340 | - | 109M| 0 | 693 |1000 | 37k|1000 |6637 | 15k| 0 | 0 |-3.440000e+02 |-5.300000e+01 | 84.59%
118.84/118.98 c 119s| 1 | 0 | 51266 | - | 109M| 0 | 705 |1000 | 37k|1000 |6648 | 15k| 0 | 0 |-3.435000e+02 |-5.300000e+01 | 84.57%
120.34/120.42 c 120s| 1 | 0 | 52166 | - | 109M| 0 | 682 |1000 | 37k|1000 |6661 | 15k| 0 | 0 |-3.425000e+02 |-5.300000e+01 | 84.53%
122.34/122.43 c 122s| 1 | 0 | 53679 | - | 109M| 0 | 744 |1000 | 37k|1000 |6777 | 15k| 0 | 0 |-3.411000e+02 |-5.300000e+01 | 84.46%
123.94/124.01 c 124s| 1 | 0 | 54569 | - | 110M| 0 | 719 |1000 | 37k|1000 |7378 | 17k| 0 | 0 |-3.399375e+02 |-5.300000e+01 | 84.41%
125.74/125.89 c 125s| 1 | 0 | 55886 | - | 110M| 0 | 677 |1000 | 37k|1000 |7439 | 17k| 0 | 0 |-3.382500e+02 |-5.300000e+01 | 84.33%
126.94/127.05 c 127s| 1 | 0 | 56615 | - | 110M| 0 | 700 |1000 | 37k|1000 |7453 | 17k| 0 | 0 |-3.373333e+02 |-5.300000e+01 | 84.29%
128.44/128.57 c 128s| 1 | 0 | 57543 | - | 110M| 0 | 673 |1000 | 37k|1000 |7608 | 17k| 0 | 0 |-3.365000e+02 |-5.300000e+01 | 84.25%
129.65/129.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.65/129.72 c 129s| 1 | 0 | 58167 | - | 110M| 0 | 672 |1000 | 37k|1000 |7618 | 17k| 0 | 0 |-3.360000e+02 |-5.300000e+01 | 84.23%
131.43/131.52 c 131s| 1 | 0 | 59268 | - | 110M| 0 | 705 |1000 | 37k|1000 |7626 | 17k| 0 | 0 |-3.358333e+02 |-5.300000e+01 | 84.22%
133.23/133.33 c 133s| 1 | 0 | 60508 | - | 110M| 0 | 722 |1000 | 37k|1000 |7067 | 17k| 0 | 0 |-3.344600e+02 |-5.300000e+01 | 84.15%
135.24/135.34 c 135s| 1 | 0 | 61966 | - | 110M| 0 | 763 |1000 | 37k|1000 |7168 | 17k| 0 | 0 |-3.331875e+02 |-5.300000e+01 | 84.09%
137.04/137.17 c 137s| 1 | 0 | 63089 | - | 111M| 0 | 738 |1000 | 37k|1000 |7877 | 18k| 0 | 0 |-3.318462e+02 |-5.300000e+01 | 84.03%
140.34/140.47 c 140s| 1 | 0 | 64892 | - | 111M| 0 | 732 |1000 | 37k|1000 |8022 | 18k| 0 | 0 |-3.308000e+02 |-5.300000e+01 | 83.98%
142.64/142.76 c 142s| 1 | 0 | 66107 | - | 112M| 0 | 681 |1000 | 37k|1000 |8073 | 18k| 0 | 0 |-3.301000e+02 |-5.300000e+01 | 83.94%
144.93/145.04 c 145s| 1 | 0 | 67810 | - | 112M| 0 | 709 |1000 | 37k|1000 |8084 | 18k| 0 | 0 |-3.287917e+02 |-5.300000e+01 | 83.88%
146.93/147.07 c 147s| 1 | 0 | 69098 | - | 113M| 0 | 712 |1000 | 37k|1000 |7122 | 18k| 0 | 0 |-3.283333e+02 |-5.300000e+01 | 83.86%
149.83/149.96 c 150s| 1 | 0 | 70928 | - | 113M| 0 | 745 |1000 | 37k|1000 |7159 | 18k| 0 | 0 |-3.274000e+02 |-5.300000e+01 | 83.81%
154.13/154.29 c 154s| 1 | 0 | 73507 | - | 113M| 0 | 720 |1000 | 37k|1000 |7449 | 18k| 0 | 0 |-3.265000e+02 |-5.300000e+01 | 83.77%
160.33/160.49 c 160s| 1 | 0 | 76772 | - | 113M| 0 | 774 |1000 | 37k|1000 |7566 | 19k| 0 | 0 |-3.259170e+02 |-5.300000e+01 | 83.74%
163.53/163.66 c 163s| 1 | 0 | 78366 | - | 114M| 0 | 759 |1000 | 37k|1000 |7754 | 19k| 0 | 0 |-3.252772e+02 |-5.300000e+01 | 83.71%
166.22/166.33 c 166s| 1 | 0 | 79951 | - | 115M| 0 | 777 |1000 | 37k|1000 |7800 | 19k| 0 | 0 |-3.244839e+02 |-5.300000e+01 | 83.67%
169.34/169.48 c 169s| 1 | 0 | 81550 | - | 115M| 0 | 763 |1000 | 37k|1000 |7186 | 19k| 0 | 0 |-3.234377e+02 |-5.300000e+01 | 83.61%
171.23/171.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.23/171.35 c 171s| 1 | 0 | 82599 | - | 116M| 0 | 768 |1000 | 37k|1000 |7232 | 19k| 0 | 0 |-3.231248e+02 |-5.300000e+01 | 83.60%
174.23/174.35 c 174s| 1 | 0 | 84245 | - | 117M| 0 | 728 |1000 | 37k|1000 |7309 | 19k| 0 | 0 |-3.222024e+02 |-5.300000e+01 | 83.55%
177.32/177.49 c 177s| 1 | 0 | 86124 | - | 118M| 0 | 753 |1000 | 37k|1000 |7364 | 19k| 0 | 0 |-3.212240e+02 |-5.300000e+01 | 83.50%
180.43/180.59 c 180s| 1 | 0 | 88182 | - | 119M| 0 | 730 |1000 | 37k|1000 |7487 | 19k| 0 | 0 |-3.201354e+02 |-5.300000e+01 | 83.44%
183.92/184.03 c 184s| 1 | 0 | 90011 | - | 120M| 0 | 768 |1000 | 37k|1000 |7578 | 19k| 0 | 0 |-3.196493e+02 |-5.300000e+01 | 83.42%
188.43/188.55 c 188s| 1 | 0 | 92289 | - | 120M| 0 | 755 |1000 | 37k|1000 |7244 | 19k| 0 | 0 |-3.170712e+02 |-5.300000e+01 | 83.28%
191.82/191.94 c 192s| 1 | 0 | 94262 | - | 121M| 0 | 830 |1000 | 37k|1000 |7306 | 19k| 0 | 0 |-3.159636e+02 |-5.300000e+01 | 83.23%
198.22/198.36 c 198s| 1 | 0 | 96101 | - | 121M| 0 | 792 |1000 | 37k|1000 |9137 | 21k| 0 | 0 |-3.143432e+02 |-5.300000e+01 | 83.14%
201.23/201.35 c 201s| 1 | 0 | 97121 | - | 121M| 0 | 787 |1000 | 37k|1000 |9184 | 21k| 0 | 0 |-3.141400e+02 |-5.300000e+01 | 83.13%
205.41/205.56 c 205s| 1 | 0 | 98596 | - | 121M| 0 | 794 |1000 | 37k|1000 |9197 | 21k| 0 | 0 |-3.132438e+02 |-5.300000e+01 | 83.08%
210.31/210.44 c 210s| 1 | 0 |100362 | - | 121M| 0 | 800 |1000 | 37k|1000 |9215 | 21k| 0 | 0 |-3.123547e+02 |-5.300000e+01 | 83.03%
216.21/216.33 c 216s| 1 | 0 |102534 | - | 121M| 0 | 801 |1000 | 37k|1000 |9037 | 22k| 0 | 0 |-3.113276e+02 |-5.300000e+01 | 82.98%
220.51/220.64 c 220s| 1 | 0 |104127 | - | 121M| 0 | 800 |1000 | 37k|1000 |9107 | 22k| 0 | 0 |-3.109750e+02 |-5.300000e+01 | 82.96%
226.71/226.89 c 226s| 1 | 0 |106730 | - | 121M| 0 | 793 |1000 | 37k|1000 |9251 | 22k| 0 | 0 |-3.096642e+02 |-5.300000e+01 | 82.88%
231.70/231.85 c 231s| 1 | 0 |108686 | - | 121M| 0 | 803 |1000 | 37k|1000 |9319 | 22k| 0 | 0 |-3.085332e+02 |-5.300000e+01 | 82.82%
237.42/237.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.42/237.51 c 237s| 1 | 0 |110718 | - | 122M| 0 | 813 |1000 | 37k|1000 |9355 | 22k| 0 | 0 |-3.076040e+02 |-5.300000e+01 | 82.77%
243.51/243.61 c 243s| 1 | 0 |112510 | - | 122M| 0 | 821 |1000 | 37k|1000 |9446 | 22k| 0 | 0 |-3.069256e+02 |-5.300000e+01 | 82.73%
249.40/249.56 c 249s| 1 | 0 |114284 | - | 122M| 0 | 827 |1000 | 37k|1000 |9024 | 22k| 0 | 0 |-3.059461e+02 |-5.300000e+01 | 82.68%
255.60/255.79 c 255s| 1 | 0 |116178 | - | 122M| 0 | 820 |1000 | 37k|1000 |9086 | 22k| 0 | 0 |-3.042536e+02 |-5.300000e+01 | 82.58%
260.61/260.72 c 260s| 1 | 0 |117505 | - | 122M| 0 | 817 |1000 | 37k|1000 |9214 | 22k| 0 | 0 |-3.036645e+02 |-5.300000e+01 | 82.55%
266.60/266.71 c 266s| 1 | 0 |119226 | - | 122M| 0 | 823 |1000 | 37k|1000 |9277 | 22k| 0 | 0 |-3.024881e+02 |-5.300000e+01 | 82.48%
272.50/272.65 c 272s| 1 | 0 |120910 | - | 122M| 0 | 829 |1000 | 37k|1000 |9323 | 22k| 0 | 0 |-3.011536e+02 |-5.300000e+01 | 82.40%
279.60/279.79 c 279s| 1 | 0 |122853 | - | 121M| 0 | 830 |1000 | 37k|1000 |9381 | 22k| 0 | 0 |-3.001408e+02 |-5.300000e+01 | 82.34%
287.00/287.17 c 287s| 1 | 0 |125222 | - | 121M| 0 | 822 |1000 | 37k|1000 |9198 | 22k| 0 | 0 |-2.988570e+02 |-5.300000e+01 | 82.27%
293.49/293.66 c 293s| 1 | 0 |127006 | - | 121M| 0 | 832 |1000 | 37k|1000 |9323 | 23k| 0 | 0 |-2.978313e+02 |-5.300000e+01 | 82.20%
301.09/301.21 c 301s| 1 | 0 |128972 | - | 121M| 0 | 835 |1000 | 37k|1000 |9506 | 23k| 0 | 0 |-2.963798e+02 |-5.300000e+01 | 82.12%
306.39/306.58 c 306s| 1 | 0 |130200 | - | 121M| 0 | 841 |1000 | 37k|1000 |9651 | 23k| 0 | 0 |-2.956937e+02 |-5.300000e+01 | 82.08%
313.39/313.57 c 313s| 1 | 0 |132246 | - | 121M| 0 | 827 |1000 | 37k|1000 |9715 | 23k| 0 | 0 |-2.947310e+02 |-5.300000e+01 | 82.02%
320.38/320.52 c 320s| 1 | 0 |134230 | - | 121M| 0 | 844 |1000 | 37k|1000 |9826 | 23k| 0 | 0 |-2.939596e+02 |-5.300000e+01 | 81.97%
327.48/327.61 c 327s| 1 | 0 |135951 | - | 121M| 0 | 835 |1000 | 37k|1000 |9477 | 23k| 0 | 0 |-2.931826e+02 |-5.300000e+01 | 81.92%
333.78/333.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.78/333.95 c 334s| 1 | 0 |137509 | - | 121M| 0 | 838 |1000 | 37k|1000 |9546 | 23k| 0 | 0 |-2.923576e+02 |-5.300000e+01 | 81.87%
339.47/339.60 c 339s| 1 | 0 |138750 | - | 121M| 0 | 856 |1000 | 37k|1000 |9559 | 23k| 0 | 0 |-2.919351e+02 |-5.300000e+01 | 81.85%
347.38/347.53 c 347s| 1 | 0 |140710 | - | 121M| 0 | 850 |1000 | 37k|1000 |9584 | 23k| 0 | 0 |-2.911895e+02 |-5.300000e+01 | 81.80%
355.38/355.51 c 355s| 1 | 0 |142632 | - | 121M| 0 | 833 |1000 | 37k|1000 |9669 | 23k| 0 | 0 |-2.903362e+02 |-5.300000e+01 | 81.75%
362.96/363.17 c 363s| 1 | 0 |144806 | - | 121M| 0 | 827 |1000 | 37k|1000 |9697 | 23k| 0 | 0 |-2.893653e+02 |-5.300000e+01 | 81.68%
370.87/371.05 c 371s| 1 | 0 |146856 | - | 121M| 0 | 846 |1000 | 37k|1000 |9469 | 23k| 0 | 0 |-2.885295e+02 |-5.300000e+01 | 81.63%
380.37/380.51 c 380s| 1 | 0 |149103 | - | 121M| 0 | 847 |1000 | 37k|1000 |9540 | 24k| 0 | 0 |-2.875818e+02 |-5.300000e+01 | 81.57%
388.56/388.72 c 388s| 1 | 0 |151193 | - | 121M| 0 | 840 |1000 | 37k|1000 |9606 | 24k| 0 | 0 |-2.868549e+02 |-5.300000e+01 | 81.52%
397.75/397.95 c 398s| 1 | 0 |153547 | - | 121M| 0 | 847 |1000 | 37k|1000 |9617 | 24k| 0 | 0 |-2.860084e+02 |-5.300000e+01 | 81.47%
405.56/405.77 c 405s| 1 | 0 |155262 | - | 121M| 0 | 857 |1000 | 37k|1000 |9697 | 24k| 0 | 0 |-2.852706e+02 |-5.300000e+01 | 81.42%
416.55/416.75 c 416s| 1 | 0 |157809 | - | 120M| 0 | 858 |1000 | 37k|1000 |9737 | 24k| 0 | 0 |-2.839939e+02 |-5.300000e+01 | 81.34%
425.75/425.93 c 425s| 1 | 0 |159591 | - | 120M| 0 | 868 |1000 | 37k|1000 |9537 | 24k| 0 | 0 |-2.834491e+02 |-5.300000e+01 | 81.30%
437.45/437.61 c 437s| 1 | 0 |162234 | - | 120M| 0 | 854 |1000 | 37k|1000 |9569 | 24k| 0 | 0 |-2.817357e+02 |-5.300000e+01 | 81.19%
446.75/446.90 c 446s| 1 | 0 |163789 | - | 120M| 0 | 869 |1000 | 37k|1000 |9664 | 24k| 0 | 0 |-2.812492e+02 |-5.300000e+01 | 81.16%
456.44/456.60 c 456s| 1 | 0 |165374 | - | 120M| 0 | 871 |1000 | 37k|1000 |9721 | 24k| 0 | 0 |-2.807875e+02 |-5.300000e+01 | 81.12%
469.03/469.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.03/469.28 c 469s| 1 | 0 |168079 | - | 120M| 0 | 865 |1000 | 37k|1000 |9753 | 24k| 0 | 0 |-2.798976e+02 |-5.300000e+01 | 81.06%
480.73/480.93 c 480s| 1 | 0 |170603 | - | 120M| 0 | 872 |1000 | 37k|1000 |9804 | 24k| 0 | 0 |-2.789538e+02 |-5.300000e+01 | 81.00%
494.53/494.73 c 494s| 1 | 0 |173506 | - | 120M| 0 | 874 |1000 | 37k|1000 |9655 | 24k| 0 | 0 |-2.777220e+02 |-5.300000e+01 | 80.92%
507.83/508.02 c 508s| 1 | 0 |175913 | - | 120M| 0 | 867 |1000 | 37k|1000 |9800 | 24k| 0 | 0 |-2.768901e+02 |-5.300000e+01 | 80.86%
519.72/519.95 c 520s| 1 | 0 |177837 | - | 120M| 0 | 858 |1000 | 37k|1000 |9851 | 24k| 0 | 0 |-2.761883e+02 |-5.300000e+01 | 80.81%
531.32/531.57 c 531s| 1 | 0 |179987 | - | 120M| 0 | 864 |1000 | 37k|1000 |9861 | 24k| 0 | 0 |-2.753773e+02 |-5.300000e+01 | 80.75%
545.51/545.74 c 545s| 1 | 0 |182676 | - | 120M| 0 | 878 |1000 | 37k|1000 |9880 | 24k| 0 | 0 |-2.742867e+02 |-5.300000e+01 | 80.68%
559.21/559.49 c 559s| 1 | 0 |184795 | - | 120M| 0 | 866 |1000 | 37k|1000 |9987 | 24k| 0 | 0 |-2.737850e+02 |-5.300000e+01 | 80.64%
571.61/571.88 c 571s| 1 | 0 |186697 | - | 120M| 0 | 880 |1000 | 37k|1000 |9842 | 24k| 0 | 0 |-2.734564e+02 |-5.300000e+01 | 80.62%
583.91/584.14 c 584s| 1 | 0 |188374 | - | 119M| 0 | 886 |1000 | 37k|1000 |9973 | 25k| 0 | 0 |-2.731814e+02 |-5.300000e+01 | 80.60%
599.30/599.58 c 599s| 1 | 0 |191004 | - | 119M| 0 | 873 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.721848e+02 |-5.300000e+01 | 80.53%
614.70/614.94 c 615s| 1 | 0 |193436 | - | 119M| 0 | 878 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.715617e+02 |-5.300000e+01 | 80.48%
630.10/630.31 c 630s| 1 | 0 |195818 | - | 119M| 0 | 880 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.709227e+02 |-5.300000e+01 | 80.44%
644.69/644.99 c 645s| 1 | 0 |197953 | - | 119M| 0 | 895 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.703680e+02 |-5.300000e+01 | 80.40%
663.38/663.62 c 663s| 1 | 0 |201094 | - | 119M| 0 | 887 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.693929e+02 |-5.300000e+01 | 80.33%
677.78/678.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
677.78/678.01 c 678s| 1 | 0 |203054 | - | 119M| 0 | 887 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.688480e+02 |-5.300000e+01 | 80.29%
695.17/695.42 c 695s| 1 | 0 |206035 | - | 119M| 0 | 899 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.680915e+02 |-5.300000e+01 | 80.23%
710.17/710.49 c 710s| 1 | 0 |207921 | - | 119M| 0 | 898 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.676370e+02 |-5.300000e+01 | 80.20%
725.86/726.14 c 726s| 1 | 0 |209824 | - | 119M| 0 | 886 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.671596e+02 |-5.300000e+01 | 80.16%
741.76/742.09 c 742s| 1 | 0 |211920 | - | 119M| 0 | 893 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.664660e+02 |-5.300000e+01 | 80.11%
756.45/756.70 c 756s| 1 | 0 |213138 | - | 119M| 0 | 887 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.662728e+02 |-5.300000e+01 | 80.10%
772.35/772.60 c 772s| 1 | 0 |215290 | - | 119M| 0 | 892 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.657447e+02 |-5.300000e+01 | 80.06%
788.24/788.58 c 788s| 1 | 0 |217057 | - | 119M| 0 | 899 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.651839e+02 |-5.300000e+01 | 80.01%
802.53/802.83 c 802s| 1 | 0 |218373 | - | 119M| 0 | 894 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.649639e+02 |-5.300000e+01 | 80.00%
819.73/820.00 c 820s| 1 | 0 |220728 | - | 119M| 0 | 902 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.642790e+02 |-5.300000e+01 | 79.95%
834.73/835.09 c 835s| 1 | 0 |222144 | - | 119M| 0 | 907 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.640596e+02 |-5.300000e+01 | 79.93%
851.03/851.30 c 851s| 1 | 0 |223764 | - | 119M| 0 | 915 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.638134e+02 |-5.300000e+01 | 79.91%
867.42/867.76 c 867s| 1 | 0 |225600 | - | 119M| 0 | 913 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.633152e+02 |-5.300000e+01 | 79.87%
881.62/881.94 c 882s| 1 | 0 |226581 | - | 119M| 0 | 912 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.631642e+02 |-5.300000e+01 | 79.86%
897.60/898.00 c 898s| 1 | 0 |228314 | - | 119M| 0 | 908 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.627573e+02 |-5.300000e+01 | 79.83%
912.61/912.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.61/912.92 c 912s| 1 | 0 |229499 | - | 119M| 0 | 917 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.625097e+02 |-5.300000e+01 | 79.81%
928.30/928.64 c 928s| 1 | 0 |230751 | - | 119M| 0 | 923 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.622151e+02 |-5.300000e+01 | 79.79%
944.79/945.12 c 945s| 1 | 0 |232276 | - | 119M| 0 | 923 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.618846e+02 |-5.300000e+01 | 79.76%
959.69/960.02 c 960s| 1 | 0 |233347 | - | 119M| 0 | 932 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.616960e+02 |-5.300000e+01 | 79.75%
975.09/975.44 c 975s| 1 | 0 |234541 | - | 119M| 0 | 930 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.614131e+02 |-5.300000e+01 | 79.73%
992.08/992.49 c 992s| 1 | 0 |236233 | - | 119M| 0 | 928 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.609984e+02 |-5.300000e+01 | 79.69%
1008.57/1008.97 c 1009s| 1 | 0 |237615 | - | 118M| 0 | 927 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.606885e+02 |-5.300000e+01 | 79.67%
1025.37/1025.77 c 1025s| 1 | 0 |239089 | - | 118M| 0 | 929 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.604673e+02 |-5.300000e+01 | 79.65%
1043.26/1043.66 c 1043s| 1 | 0 |240767 | - | 118M| 0 | 929 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.600826e+02 |-5.300000e+01 | 79.62%
1060.56/1060.91 c 1060s| 1 | 0 |242364 | - | 118M| 0 | 929 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.596924e+02 |-5.300000e+01 | 79.59%
1077.95/1078.33 c 1078s| 1 | 0 |243989 | - | 118M| 0 | 933 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.593631e+02 |-5.300000e+01 | 79.57%
1094.55/1094.91 c 1094s| 1 | 0 |245207 | - | 118M| 0 | 933 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.590923e+02 |-5.300000e+01 | 79.54%
1110.14/1110.55 c 1110s| 1 | 0 |246099 | - | 118M| 0 | 926 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.589160e+02 |-5.300000e+01 | 79.53%
1127.34/1127.75 c 1127s| 1 | 0 |247399 | - | 118M| 0 | 933 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.585295e+02 |-5.300000e+01 | 79.50%
1142.13/1142.55 c 1142s| 1 | 0 |248053 | - | 117M| 0 | 938 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.584136e+02 |-5.300000e+01 | 79.49%
1158.02/1158.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.02/1158.45 c 1158s| 1 | 0 |249145 | - | 117M| 0 | 942 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.581793e+02 |-5.300000e+01 | 79.47%
1174.82/1175.21 c 1175s| 1 | 0 |250431 | - | 117M| 0 | 934 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.578428e+02 |-5.300000e+01 | 79.44%
1195.22/1195.63 c 1195s| 1 | 0 |252561 | - | 117M| 0 | 936 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.573305e+02 |-5.300000e+01 | 79.40%
1211.91/1212.31 c 1212s| 1 | 0 |253791 | - | 116M| 0 | 940 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.570339e+02 |-5.300000e+01 | 79.38%
1230.51/1230.92 c 1230s| 1 | 0 |255539 | - | 116M| 0 | 934 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.563989e+02 |-5.300000e+01 | 79.33%
1248.00/1248.44 c 1248s| 1 | 0 |256752 | - | 115M| 0 | 952 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.560656e+02 |-5.300000e+01 | 79.30%
1264.19/1264.63 c 1264s| 1 | 0 |257863 | - | 115M| 0 | 943 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.558118e+02 |-5.300000e+01 | 79.28%
1282.29/1282.74 c 1282s| 1 | 0 |259299 | - | 115M| 0 | 946 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.555590e+02 |-5.300000e+01 | 79.26%
1300.09/1300.58 c 1300s| 1 | 0 |260531 | - | 115M| 0 | 941 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.553054e+02 |-5.300000e+01 | 79.24%
1318.58/1319.01 c 1319s| 1 | 0 |262077 | - | 114M| 0 | 942 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.549955e+02 |-5.300000e+01 | 79.22%
1336.78/1337.23 c 1337s| 1 | 0 |263492 | - | 113M| 0 | 943 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.546846e+02 |-5.300000e+01 | 79.19%
1352.58/1353.05 c 1353s| 1 | 0 |264209 | - | 113M| 0 | 940 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.545663e+02 |-5.300000e+01 | 79.18%
1368.16/1368.69 c 1368s| 1 | 0 |265108 | - | 111M| 0 | 946 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.544397e+02 |-5.300000e+01 | 79.17%
1384.85/1385.35 c 1385s| 1 | 0 |266158 | - | 111M| 0 | 952 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.542743e+02 |-5.300000e+01 | 79.16%
1401.36/1401.82 c 1401s| 1 | 0 |266956 | - | 110M| 0 | 952 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.540679e+02 |-5.300000e+01 | 79.14%
1418.45/1418.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1418.45/1418.94 c 1419s| 1 | 0 |267938 | - | 109M| 0 | 954 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.538715e+02 |-5.300000e+01 | 79.12%
1435.24/1435.78 c 1435s| 1 | 0 |268771 | - | 108M| 0 | 960 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.536441e+02 |-5.300000e+01 | 79.10%
1453.23/1453.74 c 1453s| 1 | 0 |269776 | - | 108M| 0 | 964 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.534682e+02 |-5.300000e+01 | 79.09%
1470.24/1470.72 c 1470s| 1 | 0 |270702 | - | 106M| 0 | 960 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.533212e+02 |-5.300000e+01 | 79.08%
1488.43/1488.90 c 1488s| 1 | 0 |271708 | - | 106M| 0 | 960 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.531304e+02 |-5.300000e+01 | 79.06%
1507.82/1508.31 c 1508s| 1 | 0 |273184 | - | 106M| 0 | 962 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.527696e+02 |-5.300000e+01 | 79.03%
1524.91/1525.41 c 1525s| 1 | 0 |274034 | - | 106M| 0 | 969 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.525778e+02 |-5.300000e+01 | 79.02%
1543.00/1543.56 c 1543s| 1 | 0 |274967 | - | 106M| 0 | 965 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.522828e+02 |-5.300000e+01 | 78.99%
1561.30/1561.84 c 1561s| 1 | 0 |275906 | - | 106M| 0 | 966 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.520542e+02 |-5.300000e+01 | 78.97%
1579.40/1579.99 c 1580s| 1 | 0 |277051 | - | 106M| 0 | 965 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.517821e+02 |-5.300000e+01 | 78.95%
1597.09/1597.67 c 1597s| 1 | 0 |278050 | - | 106M| 0 | 965 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.515380e+02 |-5.300000e+01 | 78.93%
1615.69/1616.25 c 1616s| 1 | 0 |279158 | - | 106M| 0 | 968 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.512940e+02 |-5.300000e+01 | 78.91%
1633.89/1634.44 c 1634s| 1 | 0 |280068 | - | 106M| 0 | 977 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.511485e+02 |-5.300000e+01 | 78.90%
1652.48/1653.09 c 1653s| 1 | 0 |280953 | - | 106M| 0 | 975 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.510412e+02 |-5.300000e+01 | 78.89%
1672.77/1673.35 c 1673s| 1 | 0 |282219 | - | 106M| 0 | 974 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.508229e+02 |-5.300000e+01 | 78.87%
1691.57/1692.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1691.57/1692.17 c 1692s| 1 | 0 |283114 | - | 106M| 0 | 977 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.506441e+02 |-5.300000e+01 | 78.85%
1710.37/1710.96 c 1711s| 1 | 0 |284173 | - | 106M| 0 | 976 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.504231e+02 |-5.300000e+01 | 78.84%
1727.57/1728.15 c 1728s| 1 | 0 |284654 | - | 106M| 0 | 975 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.503323e+02 |-5.300000e+01 | 78.83%
1746.16/1746.78 c 1746s| 1 | 0 |285497 | - | 106M| 0 | 978 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.501640e+02 |-5.300000e+01 | 78.81%
1763.65/1764.25 c 1764s| 1 | 0 |286070 | - | 106M| 0 | 980 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.500429e+02 |-5.300000e+01 | 78.80%
1781.04/1781.68 c 1781s| 1 | 0 |286587 | - | 106M| 0 | 980 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.499646e+02 |-5.300000e+01 | 78.80%
1789.45/1790.01 c 1790s| 1 | 0 |286587 | - | 106M| 0 | - |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.499646e+02 |-5.300000e+01 | 78.80%
1789.45/1790.01 c 1790s| 1 | 2 |286587 | - | 106M| 0 | - |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.499646e+02 |-5.300000e+01 | 78.80%
1789.45/1790.01 c
1789.45/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.45/1790.01 c Solving Time (sec) : 1789.58
1789.45/1790.01 c Solving Nodes : 1
1789.45/1790.01 c Primal Bound : -5.30000000000000e+01 (55 solutions)
1789.45/1790.01 c Dual Bound : -2.49964647667731e+02
1789.45/1790.01 c Gap : 78.80 %
1789.55/1790.10 s SATISFIABLE
1789.55/1790.10 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1789.55/1790.10 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1789.55/1790.10 v -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1789.55/1790.10 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1789.55/1790.10 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1789.55/1790.10 v -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1789.55/1790.10 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1789.55/1790.10 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833
1789.55/1790.10 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1789.55/1790.10 v -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1789.55/1790.10 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770
1789.55/1790.10 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1789.55/1790.10 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1789.55/1790.10 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707
1789.55/1790.10 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1789.55/1790.10 v -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1789.55/1790.10 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1789.55/1790.10 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1789.55/1790.10 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602
1789.55/1790.10 v -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
1789.55/1790.10 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
1789.55/1790.10 v -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
1789.55/1790.10 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 x520 -x519 -x518
1789.55/1790.10 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
1789.55/1790.10 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
1789.55/1790.10 v -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455
1789.55/1790.10 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
1789.55/1790.10 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
1789.55/1790.10 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1789.55/1790.10 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1789.55/1790.10 v -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351
1789.55/1790.10 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1789.55/1790.10 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1789.55/1790.10 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1789.55/1790.10 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1789.55/1790.10 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1789.55/1790.10 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1789.55/1790.10 v -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1789.55/1790.10 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1789.55/1790.10 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 x165 -x164 -x163 -x162
1789.55/1790.10 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 x144 -x143 -x142 -x141
1789.55/1790.10 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1789.55/1790.10 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1789.55/1790.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
1789.55/1790.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
1789.55/1790.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
1789.55/1790.10 v -x21 -x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 x3 x2 x1
1789.55/1790.10 c SCIP Status : solving was interrupted [time limit reached]
1789.55/1790.10 c Solving Time : 1789.58
1789.55/1790.10 c Original Problem :
1789.55/1790.10 c Problem name : HOME/instance-2703270-1278570161.opb
1789.55/1790.10 c Variables : 38742 (38742 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.10 c Constraints : 38742 initial, 38742 maximal
1789.55/1790.10 c Presolved Problem :
1789.55/1790.10 c Problem name : t_HOME/instance-2703270-1278570161.opb
1789.55/1790.10 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.10 c Constraints : 37742 initial, 37742 maximal
1789.55/1790.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.55/1790.10 c trivial : 0.01 0 0 0 0 0 0 0 0
1789.55/1790.10 c dualfix : 0.01 0 0 0 0 0 0 0 0
1789.55/1790.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.10 c implics : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.10 c probing : 0.54 0 0 0 0 0 0 0 0
1789.55/1790.10 c linear : 0.26 37742 0 0 37742 0 1000 0 0
1789.55/1790.10 c logicor : 0.10 0 0 0 0 0 0 0 0
1789.55/1790.10 c root node : - 0 - - 0 - - - -
1789.55/1790.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.55/1790.10 c integral : 0 0 0 0 0 0 0 0 0 0
1789.55/1790.10 c logicor : 37742 228 201 0 0 0 0 38108 0 0
1789.55/1790.10 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.55/1790.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.55/1790.10 c integral : 0.00 0.00 0.00 0.00 0.00
1789.55/1790.10 c logicor : 2.39 2.09 0.30 0.00 0.00
1789.55/1790.10 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.55/1790.10 c Propagators : Time Calls Cutoffs DomReds
1789.55/1790.10 c vbounds : 0.00 2 0 0
1789.55/1790.10 c rootredcost : 0.00 0 0 0
1789.55/1790.10 c pseudoobj : 0.01 229 0 0
1789.55/1790.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.55/1790.10 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.55/1790.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.55/1790.10 c applied globally : - - - 0 0.0 - - -
1789.55/1790.10 c applied locally : - - - 0 0.0 - - -
1789.55/1790.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.55/1790.10 c cut pool : 0.97 227 - - 4368 - (maximal pool size: 16399)
1789.55/1790.10 c redcost : 0.02 228 0 0 0 0
1789.55/1790.10 c impliedbounds : 0.95 226 0 0 28826 0
1789.55/1790.10 c intobj : 0.00 0 0 0 0 0
1789.55/1790.10 c cgmip : 0.00 0 0 0 0 0
1789.55/1790.10 c gomory : 1068.71 225 0 0 83336 0
1789.55/1790.10 c strongcg : 5.72 20 0 0 10000 0
1789.55/1790.10 c cmir : 4.04 10 0 0 0 0
1789.55/1790.10 c flowcover : 3.61 10 0 0 0 0
1789.55/1790.10 c clique : 11.22 222 0 0 2009 0
1789.55/1790.10 c zerohalf : 0.00 0 0 0 0 0
1789.55/1790.10 c mcf : 0.06 1 0 0 0 0
1789.55/1790.10 c rapidlearning : 0.00 0 0 0 0 0
1789.55/1790.10 c Pricers : Time Calls Vars
1789.55/1790.10 c problem variables: 0.00 0 0
1789.55/1790.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.55/1790.10 c relpscost : 0.00 0 0 0 0 0 0
1789.55/1790.10 c pscost : 0.00 0 0 0 0 0 0
1789.55/1790.10 c inference : 0.00 1 0 0 0 0 2
1789.55/1790.10 c mostinf : 0.00 0 0 0 0 0 0
1789.55/1790.10 c leastinf : 0.00 0 0 0 0 0 0
1789.55/1790.10 c fullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.10 c allfullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.10 c random : 0.00 0 0 0 0 0 0
1789.55/1790.10 c Primal Heuristics : Time Calls Found
1789.55/1790.10 c LP solutions : 0.00 - 0
1789.55/1790.10 c pseudo solutions : 0.00 - 0
1789.55/1790.10 c oneopt : 0.04 2 1
1789.55/1790.10 c trivial : 0.11 2 2
1789.55/1790.10 c simplerounding : 0.55 228 50
1789.55/1790.10 c zirounding : 0.00 0 0
1789.55/1790.10 c rounding : 11.56 228 1
1789.55/1790.10 c shifting : 12.88 228 1
1789.55/1790.10 c intshifting : 0.00 0 0
1789.55/1790.10 c twoopt : 0.00 0 0
1789.55/1790.10 c fixandinfer : 0.00 0 0
1789.55/1790.10 c feaspump : 0.00 0 0
1789.55/1790.10 c coefdiving : 0.00 0 0
1789.55/1790.10 c pscostdiving : 0.00 0 0
1789.55/1790.10 c fracdiving : 0.00 0 0
1789.55/1790.10 c veclendiving : 0.00 0 0
1789.55/1790.10 c intdiving : 0.00 0 0
1789.55/1790.10 c actconsdiving : 0.00 0 0
1789.55/1790.10 c objpscostdiving : 0.00 0 0
1789.55/1790.10 c rootsoldiving : 0.00 0 0
1789.55/1790.10 c linesearchdiving : 0.00 0 0
1789.55/1790.10 c guideddiving : 0.00 0 0
1789.55/1790.10 c octane : 0.00 0 0
1789.55/1790.10 c rens : 0.00 0 0
1789.55/1790.10 c rins : 0.00 0 0
1789.55/1790.10 c localbranching : 0.00 0 0
1789.55/1790.10 c mutation : 0.00 0 0
1789.55/1790.10 c crossover : 0.00 0 0
1789.55/1790.10 c dins : 0.00 0 0
1789.55/1790.10 c undercover : 0.00 0 0
1789.55/1790.10 c nlp : 0.00 0 0
1789.55/1790.10 c trysol : 0.00 0 0
1789.55/1790.10 c LP : Time Calls Iterations Iter/call Iter/sec
1789.55/1790.10 c primal LP : 0.66 0 0 0.00 0.00
1789.55/1790.10 c dual LP : 652.09 228 286587 1256.96 439.49
1789.55/1790.10 c lex dual LP : 0.00 0 0 0.00 -
1789.55/1790.10 c barrier LP : 0.00 0 0 0.00 -
1789.55/1790.10 c diving/probing LP: 0.00 0 0 0.00 -
1789.55/1790.10 c strong branching : 0.00 0 0 0.00 -
1789.55/1790.10 c (at root node) : - 0 0 0.00 -
1789.55/1790.10 c conflict analysis: 0.00 0 0 0.00 -
1789.55/1790.10 c B&B Tree :
1789.55/1790.10 c number of runs : 1
1789.55/1790.10 c nodes : 1
1789.55/1790.10 c nodes (total) : 1
1789.55/1790.10 c nodes left : 2
1789.55/1790.10 c max depth : 0
1789.55/1790.10 c max depth (total): 0
1789.55/1790.10 c backtracks : 0 (0.0%)
1789.55/1790.10 c delayed cutoffs : 0
1789.55/1790.10 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.55/1790.10 c avg switch length: 1.00
1789.55/1790.10 c switching time : 0.00
1789.55/1790.10 c Solution :
1789.55/1790.10 c Solutions found : 55 (4 improvements)
1789.55/1790.10 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.41 seconds, depth 0, found by <trivial>)
1789.55/1790.10 c Primal Bound : -5.30000000000000e+01 (in run 1, after 1 nodes, 6.79 seconds, depth 0, found by <oneopt>)
1789.55/1790.10 c Dual Bound : -2.49964647667731e+02
1789.55/1790.10 c Gap : 78.80 %
1789.55/1790.10 c Root Dual Bound : -2.49964647667731e+02
1789.55/1790.10 c Root Iterations : 286587
1789.75/1790.34 c Time complete: 1789.78.