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-2665279-1276665455.opb>
0.39/0.40 c original problem has 38644 variables (38644 bin, 0 int, 0 impl, 0 cont) and 38644 constraints
0.39/0.40 c problem read
0.39/0.40 c presolving settings loaded
0.79/0.89 o 0
0.79/0.89 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.79/0.90 c presolving:
2.09/2.14 c (round 1) 37644 del vars, 1000 del conss, 37644 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150576 impls, 0 clqs
2.99/3.00 c (2.3s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.99/3.00 c (2.3s) probing aborted: 100/100 successive totally useless probings
2.99/3.01 c presolving (2 rounds):
2.99/3.01 c 37644 deleted vars, 1000 deleted constraints, 37644 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.99/3.01 c 225864 implications, 0 cliques
2.99/3.01 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37644 constraints
2.99/3.01 c 37644 constraints of type <logicor>
2.99/3.01 c transformed objective value is always integral (scale: 1)
2.99/3.01 c Presolving Time: 2.14
2.99/3.01 c - non default parameters ----------------------------------------------------------------------
2.99/3.01 c # SCIP version 1.2.1.2
2.99/3.01 c
2.99/3.01 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.99/3.01 c # [type: int, range: [-1,2147483647], default: -1]
2.99/3.01 c conflict/interconss = 0
2.99/3.01 c
2.99/3.01 c # should binary conflicts be preferred?
2.99/3.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.01 c conflict/preferbinary = TRUE
2.99/3.01 c
2.99/3.01 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.99/3.01 c # [type: int, range: [-1,2147483647], default: 0]
2.99/3.01 c constraints/agelimit = 1
2.99/3.01 c
2.99/3.01 c # should enforcement of pseudo solution be disabled?
2.99/3.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.01 c constraints/disableenfops = TRUE
2.99/3.01 c
2.99/3.01 c # frequency for displaying node information lines
2.99/3.01 c # [type: int, range: [-1,2147483647], default: 100]
2.99/3.01 c display/freq = 10000
2.99/3.01 c
2.99/3.01 c # maximal time in seconds to run
2.99/3.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.01 c limits/time = 1799.6
2.99/3.01 c
2.99/3.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.99/3.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.01 c limits/memory = 1620
2.99/3.01 c
2.99/3.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.99/3.01 c # [type: int, range: [-1,2147483647], default: 1]
2.99/3.01 c lp/solvefreq = 0
2.99/3.01 c
2.99/3.01 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.99/3.01 c # [type: char, range: {lafpsqd}, default: l]
2.99/3.01 c lp/pricing = a
2.99/3.01 c
2.99/3.01 c # should presolving try to simplify inequalities
2.99/3.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.01 c constraints/linear/simplifyinequalities = TRUE
2.99/3.01 c
2.99/3.01 c # should presolving try to simplify knapsacks
2.99/3.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.01 c constraints/knapsack/simplifyinequalities = TRUE
2.99/3.01 c
2.99/3.01 c # priority of node selection rule <dfs> in standard mode
2.99/3.01 c # [type: int, range: [-536870912,536870911], default: 0]
2.99/3.01 c nodeselection/dfs/stdpriority = 1000000
2.99/3.01 c
2.99/3.01 c -----------------------------------------------------------------------------------------------
2.99/3.01 c start solving
2.99/3.01 c
3.57/3.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.57/3.60 c t 2.9s| 1 | 0 | 1101 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
3.57/3.69 o -1
3.57/3.69 c R 2.9s| 1 | 0 | 1101 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
3.77/3.80 o -2
3.77/3.80 c s 3.0s| 1 | 0 | 1101 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
5.48/5.52 c 4.7s| 1 | 0 | 1241 | - | 101M| 0 | 990 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.950000e+02 |-2.000000e+00 | 99.60%
5.48/5.55 o -49
5.48/5.55 c b 4.7s| 1 | 0 | 1241 | - | 101M| 0 | 990 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.950000e+02 |-4.900000e+01 | 90.10%
6.88/6.98 c 6.1s| 1 | 0 | 1322 | - | 101M| 0 | 985 |1000 | 37k|1000 | 37k| 13 | 0 | 0 |-4.925000e+02 |-4.900000e+01 | 90.05%
8.57/8.68 c 7.8s| 1 | 0 | 1436 | - | 101M| 0 | 977 |1000 | 37k|1000 | 37k| 21 | 0 | 0 |-4.885000e+02 |-4.900000e+01 | 89.97%
10.28/10.32 c 9.4s| 1 | 0 | 1552 | - | 101M| 0 | 969 |1000 | 37k|1000 | 37k| 29 | 0 | 0 |-4.845000e+02 |-4.900000e+01 | 89.89%
13.18/13.25 c 12.3s| 1 | 0 | 1869 | - | 101M| 0 | 955 |1000 | 37k|1000 | 37k| 47 | 0 | 0 |-4.775000e+02 |-4.900000e+01 | 89.74%
17.87/17.91 c 16.9s| 1 | 0 | 2322 | - | 101M| 0 | 951 |1000 | 37k|1000 | 37k| 52 | 0 | 0 |-4.745000e+02 |-4.900000e+01 | 89.67%
21.98/22.10 c 21.1s| 1 | 0 | 2677 | - | 101M| 0 | 943 |1000 | 37k|1000 | 37k| 58 | 0 | 0 |-4.715000e+02 |-4.900000e+01 | 89.61%
28.27/28.37 c 27.3s| 1 | 0 | 3293 | - | 101M| 0 | 940 |1000 | 37k|1000 | 37k| 65 | 0 | 0 |-4.685000e+02 |-4.900000e+01 | 89.54%
34.27/34.30 c 33.2s| 1 | 0 | 3661 | - | 101M| 0 | 932 |1000 | 37k|1000 | 37k| 72 | 0 | 0 |-4.660000e+02 |-4.900000e+01 | 89.48%
40.45/40.50 c 39.3s| 1 | 0 | 4038 | - | 101M| 0 | 927 |1000 | 37k|1000 | 37k| 79 | 0 | 0 |-4.635000e+02 |-4.900000e+01 | 89.43%
45.56/45.68 c 44.5s| 1 | 0 | 4554 | - | 102M| 0 | 920 |1000 | 37k|1000 |1375 | 88 | 0 | 0 |-4.600000e+02 |-4.900000e+01 | 89.35%
46.16/46.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.16/46.28 c 45.0s| 1 | 0 | 4982 | - | 102M| 0 | 884 |1000 | 37k|1000 |1383 | 96 | 0 | 0 |-4.580000e+02 |-4.900000e+01 | 89.30%
49.85/49.99 c 48.8s| 1 | 0 | 5443 | - | 103M| 0 | 911 |1000 | 37k|1000 |3383 |2096 | 0 | 0 |-4.565000e+02 |-4.900000e+01 | 89.27%
50.66/50.74 c 49.5s| 1 | 0 | 6114 | - | 103M| 0 | 909 |1000 | 37k|1000 |3447 |2160 | 0 | 0 |-4.540000e+02 |-4.900000e+01 | 89.21%
51.57/51.68 c 50.4s| 1 | 0 | 6893 | - | 103M| 0 | 898 |1000 | 37k|1000 |3945 |2658 | 0 | 0 |-4.500000e+02 |-4.900000e+01 | 89.11%
53.05/53.16 c 51.9s| 1 | 0 | 8039 | - | 104M| 0 | 891 |1000 | 37k|1000 |4018 |2731 | 0 | 0 |-4.477500e+02 |-4.900000e+01 | 89.06%
54.05/54.17 c 52.9s| 1 | 0 | 9088 | - | 104M| 0 | 896 |1000 | 37k|1000 |4088 |3217 | 0 | 0 |-4.445000e+02 |-4.900000e+01 | 88.98%
54.97/55.03 c 53.8s| 1 | 0 | 9726 | - | 104M| 0 | 876 |1000 | 37k|1000 |4432 |3561 | 0 | 0 |-4.420000e+02 |-4.900000e+01 | 88.91%
56.15/56.20 c 54.9s| 1 | 0 | 10611 | - | 104M| 0 | 880 |1000 | 37k|1000 |4737 |3866 | 0 | 0 |-4.400000e+02 |-4.900000e+01 | 88.86%
57.45/57.55 c 56.2s| 1 | 0 | 11964 | - | 104M| 0 | 908 |1000 | 37k|1000 |4744 |3873 | 0 | 0 |-4.373636e+02 |-4.900000e+01 | 88.80%
60.65/60.74 c 59.4s| 1 | 0 | 12291 | - | 104M| 0 | 875 |1000 | 37k|1000 |6744 |5873 | 0 | 0 |-4.370000e+02 |-4.900000e+01 | 88.79%
62.15/62.20 c 60.9s| 1 | 0 | 13270 | - | 105M| 0 | 867 |1000 | 37k|1000 |6753 |5882 | 0 | 0 |-4.345000e+02 |-4.900000e+01 | 88.72%
63.25/63.35 c 62.0s| 1 | 0 | 14086 | - | 105M| 0 | 861 |1000 | 37k|1000 |4798 |5948 | 0 | 0 |-4.330000e+02 |-4.900000e+01 | 88.68%
64.66/64.71 c 63.4s| 1 | 0 | 15101 | - | 105M| 0 | 859 |1000 | 37k|1000 |4974 |6124 | 0 | 0 |-4.320000e+02 |-4.900000e+01 | 88.66%
65.86/65.90 c 64.5s| 1 | 0 | 16169 | - | 105M| 0 | 859 |1000 | 37k|1000 |5133 |6283 | 0 | 0 |-4.295000e+02 |-4.900000e+01 | 88.59%
67.55/67.66 c 66.3s| 1 | 0 | 17731 | - | 105M| 0 | 849 |1000 | 37k|1000 |5140 |6290 | 0 | 0 |-4.275000e+02 |-4.900000e+01 | 88.54%
69.46/69.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.46/69.56 c 68.2s| 1 | 0 | 19210 | - | 105M| 0 | 859 |1000 | 37k|1000 |5343 |6493 | 0 | 0 |-4.260000e+02 |-4.900000e+01 | 88.50%
70.95/71.00 c 69.6s| 1 | 0 | 20446 | - | 105M| 0 | 852 |1000 | 37k|1000 |5515 |6665 | 0 | 0 |-4.241250e+02 |-4.900000e+01 | 88.45%
72.75/72.89 c 71.5s| 1 | 0 | 21772 | - | 105M| 0 | 842 |1000 | 37k|1000 |4358 |7406 | 0 | 0 |-4.212500e+02 |-4.900000e+01 | 88.37%
73.75/73.85 c 72.4s| 1 | 0 | 22989 | - | 105M| 0 | 854 |1000 | 37k|1000 |4427 |7475 | 0 | 0 |-4.195000e+02 |-4.900000e+01 | 88.32%
75.65/75.79 c 74.3s| 1 | 0 | 24392 | - | 106M| 0 | 833 |1000 | 37k|1000 |4956 |8004 | 0 | 0 |-4.175000e+02 |-4.900000e+01 | 88.26%
77.05/77.16 c 75.7s| 1 | 0 | 25869 | - | 106M| 0 | 826 |1000 | 37k|1000 |5009 |8057 | 0 | 0 |-4.150000e+02 |-4.900000e+01 | 88.19%
78.15/78.23 c 76.7s| 1 | 0 | 26932 | - | 106M| 0 | 881 |1000 | 37k|1000 |5140 |8188 | 0 | 0 |-4.141464e+02 |-4.900000e+01 | 88.17%
82.84/82.95 c 81.5s| 1 | 0 | 27370 | - | 106M| 0 | 827 |1000 | 37k|1000 |7140 | 10k| 0 | 0 |-4.131667e+02 |-4.900000e+01 | 88.14%
83.95/84.08 c 82.6s| 1 | 0 | 28048 | - | 106M| 0 | 825 |1000 | 37k|1000 |6342 | 10k| 0 | 0 |-4.112500e+02 |-4.900000e+01 | 88.09%
85.25/85.36 c 83.8s| 1 | 0 | 28901 | - | 106M| 0 | 813 |1000 | 37k|1000 |6393 | 10k| 0 | 0 |-4.105000e+02 |-4.900000e+01 | 88.06%
88.95/89.09 c 87.5s| 1 | 0 | 31224 | - | 106M| 0 | 817 |1000 | 37k|1000 |6646 | 10k| 0 | 0 |-4.082500e+02 |-4.900000e+01 | 88.00%
90.85/90.97 c 89.4s| 1 | 0 | 32512 | - | 106M| 0 | 814 |1000 | 37k|1000 |6655 | 10k| 0 | 0 |-4.075000e+02 |-4.900000e+01 | 87.98%
93.94/94.09 c 92.5s| 1 | 0 | 34429 | - | 107M| 0 | 811 |1000 | 37k|1000 |6823 | 10k| 0 | 0 |-4.065000e+02 |-4.900000e+01 | 87.95%
97.25/97.36 c 95.7s| 1 | 0 | 36391 | - | 107M| 0 | 811 |1000 | 37k|1000 |6881 | 10k| 0 | 0 |-4.055000e+02 |-4.900000e+01 | 87.92%
101.05/101.20 c 99.5s| 1 | 0 | 38748 | - | 107M| 0 | 804 |1000 | 37k|1000 |5306 | 10k| 0 | 0 |-4.039167e+02 |-4.900000e+01 | 87.87%
104.04/104.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.04/104.19 c 102s| 1 | 0 | 40758 | - | 107M| 0 | 800 |1000 | 37k|1000 |5415 | 10k| 0 | 0 |-4.015000e+02 |-4.900000e+01 | 87.80%
105.45/105.53 c 104s| 1 | 0 | 41711 | - | 107M| 0 | 788 |1000 | 37k|1000 |5525 | 10k| 0 | 0 |-4.000000e+02 |-4.900000e+01 | 87.75%
106.84/106.91 c 105s| 1 | 0 | 42787 | - | 107M| 0 | 788 |1000 | 37k|1000 |5852 | 11k| 0 | 0 |-3.980000e+02 |-4.900000e+01 | 87.69%
109.04/109.13 c 107s| 1 | 0 | 44239 | - | 107M| 0 | 785 |1000 | 37k|1000 |6070 | 11k| 0 | 0 |-3.962500e+02 |-4.900000e+01 | 87.63%
111.24/111.37 c 110s| 1 | 0 | 45805 | - | 107M| 0 | 787 |1000 | 37k|1000 |6359 | 11k| 0 | 0 |-3.935000e+02 |-4.900000e+01 | 87.55%
113.44/113.57 c 112s| 1 | 0 | 47438 | - | 107M| 0 | 779 |1000 | 37k|1000 |5665 | 11k| 0 | 0 |-3.915000e+02 |-4.900000e+01 | 87.48%
115.14/115.29 c 113s| 1 | 0 | 48755 | - | 108M| 0 | 775 |1000 | 37k|1000 |5793 | 11k| 0 | 0 |-3.895000e+02 |-4.900000e+01 | 87.42%
117.33/117.40 c 116s| 1 | 0 | 50218 | - | 108M| 0 | 772 |1000 | 37k|1000 |5895 | 12k| 0 | 0 |-3.880000e+02 |-4.900000e+01 | 87.37%
118.94/119.05 c 117s| 1 | 0 | 51351 | - | 108M| 0 | 767 |1000 | 37k|1000 |5999 | 12k| 0 | 0 |-3.855000e+02 |-4.900000e+01 | 87.29%
120.54/120.64 c 119s| 1 | 0 | 52697 | - | 108M| 0 | 787 |1000 | 37k|1000 |6108 | 12k| 0 | 0 |-3.832500e+02 |-4.900000e+01 | 87.21%
123.15/123.21 c 121s| 1 | 0 | 54558 | - | 108M| 0 | 761 |1000 | 37k|1000 |6569 | 12k| 0 | 0 |-3.807500e+02 |-4.900000e+01 | 87.13%
124.94/125.02 c 123s| 1 | 0 | 55784 | - | 108M| 0 | 763 |1000 | 37k|1000 |6141 | 12k| 0 | 0 |-3.797500e+02 |-4.900000e+01 | 87.10%
126.93/127.04 c 125s| 1 | 0 | 57302 | - | 108M| 0 | 756 |1000 | 37k|1000 |6251 | 12k| 0 | 0 |-3.787500e+02 |-4.900000e+01 | 87.06%
129.24/129.31 c 127s| 1 | 0 | 58929 | - | 108M| 0 | 758 |1000 | 37k|1000 |6413 | 13k| 0 | 0 |-3.780000e+02 |-4.900000e+01 | 87.04%
131.14/131.22 c 129s| 1 | 0 | 60392 | - | 109M| 0 | 757 |1000 | 37k|1000 |6474 | 13k| 0 | 0 |-3.767500e+02 |-4.900000e+01 | 86.99%
132.84/132.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.84/132.94 c 131s| 1 | 0 | 61925 | - | 109M| 0 | 746 |1000 | 37k|1000 |6490 | 13k| 0 | 0 |-3.750000e+02 |-4.900000e+01 | 86.93%
136.24/136.33 c 134s| 1 | 0 | 64524 | - | 109M| 0 | 763 |1000 | 37k|1000 |6606 | 13k| 0 | 0 |-3.730000e+02 |-4.900000e+01 | 86.86%
141.23/141.32 c 139s| 1 | 0 | 68006 | - | 110M| 0 | 737 |1000 | 37k|1000 |5806 | 13k| 0 | 0 |-3.705000e+02 |-4.900000e+01 | 86.77%
143.23/143.37 c 141s| 1 | 0 | 69859 | - | 110M| 0 | 762 |1000 | 37k|1000 |5908 | 13k| 0 | 0 |-3.685000e+02 |-4.900000e+01 | 86.70%
145.24/145.37 c 143s| 1 | 0 | 71736 | - | 110M| 0 | 732 |1000 | 37k|1000 |6232 | 13k| 0 | 0 |-3.670000e+02 |-4.900000e+01 | 86.65%
150.23/150.37 c 148s| 1 | 0 | 75229 | - | 110M| 0 | 741 |1000 | 37k|1000 |6286 | 13k| 0 | 0 |-3.655000e+02 |-4.900000e+01 | 86.59%
152.43/152.57 c 150s| 1 | 0 | 76807 | - | 110M| 0 | 726 |1000 | 37k|1000 |6336 | 13k| 0 | 0 |-3.640000e+02 |-4.900000e+01 | 86.54%
157.03/157.13 c 155s| 1 | 0 | 80050 | - | 110M| 0 | 726 |1000 | 37k|1000 |6390 | 14k| 0 | 0 |-3.628750e+02 |-4.900000e+01 | 86.50%
158.93/159.00 c 157s| 1 | 0 | 81374 | - | 110M| 0 | 728 |1000 | 37k|1000 |5575 | 14k| 0 | 0 |-3.626667e+02 |-4.900000e+01 | 86.49%
161.63/161.71 c 159s| 1 | 0 | 83631 | - | 110M| 0 | 744 |1000 | 37k|1000 |5585 | 14k| 0 | 0 |-3.621250e+02 |-4.900000e+01 | 86.47%
163.23/163.32 c 161s| 1 | 0 | 85139 | - | 111M| 0 | 717 |1000 | 37k|1000 |5811 | 14k| 0 | 0 |-3.610000e+02 |-4.900000e+01 | 86.43%
165.94/166.01 c 164s| 1 | 0 | 86851 | - | 111M| 0 | 723 |1000 | 37k|1000 |5958 | 14k| 0 | 0 |-3.600000e+02 |-4.900000e+01 | 86.39%
170.23/170.37 c 168s| 1 | 0 | 89812 | - | 111M| 0 | 715 |1000 | 37k|1000 |6098 | 14k| 0 | 0 |-3.585000e+02 |-4.900000e+01 | 86.33%
173.23/173.38 c 171s| 1 | 0 | 91716 | - | 111M| 0 | 715 |1000 | 37k|1000 |6157 | 14k| 0 | 0 |-3.575000e+02 |-4.900000e+01 | 86.29%
176.23/176.32 c 174s| 1 | 0 | 93436 | - | 111M| 0 | 717 |1000 | 37k|1000 |5406 | 14k| 0 | 0 |-3.570000e+02 |-4.900000e+01 | 86.27%
179.33/179.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.33/179.40 c 177s| 1 | 0 | 95533 | - | 111M| 0 | 726 |1000 | 37k|1000 |5454 | 14k| 0 | 0 |-3.560000e+02 |-4.900000e+01 | 86.24%
181.33/181.43 c 179s| 1 | 0 | 96990 | - | 112M| 0 | 722 |1000 | 37k|1000 |5505 | 14k| 0 | 0 |-3.555000e+02 |-4.900000e+01 | 86.22%
184.22/184.32 c 182s| 1 | 0 | 98703 | - | 112M| 0 | 715 |1000 | 37k|1000 |5668 | 14k| 0 | 0 |-3.545000e+02 |-4.900000e+01 | 86.18%
187.02/187.14 c 185s| 1 | 0 |100633 | - | 112M| 0 | 709 |1000 | 37k|1000 |5677 | 14k| 0 | 0 |-3.535000e+02 |-4.900000e+01 | 86.14%
189.92/190.03 c 187s| 1 | 0 |102879 | - | 112M| 0 | 720 |1000 | 37k|1000 |5685 | 14k| 0 | 0 |-3.525556e+02 |-4.900000e+01 | 86.10%
192.92/193.00 c 190s| 1 | 0 |105235 | - | 112M| 0 | 754 |1000 | 37k|1000 |5429 | 15k| 0 | 0 |-3.517778e+02 |-4.900000e+01 | 86.07%
194.92/195.00 c 192s| 1 | 0 |107008 | - | 113M| 0 | 728 |1000 | 37k|1000 |6001 | 15k| 0 | 0 |-3.501250e+02 |-4.900000e+01 | 86.00%
196.92/197.08 c 194s| 1 | 0 |108760 | - | 113M| 0 | 696 |1000 | 37k|1000 |6295 | 15k| 0 | 0 |-3.490000e+02 |-4.900000e+01 | 85.96%
199.61/199.74 c 197s| 1 | 0 |110362 | - | 114M| 0 | 717 |1000 | 37k|1000 |6695 | 16k| 0 | 0 |-3.487500e+02 |-4.900000e+01 | 85.95%
201.92/202.04 c 199s| 1 | 0 |112056 | - | 114M| 0 | 701 |1000 | 37k|1000 |6837 | 16k| 0 | 0 |-3.472500e+02 |-4.900000e+01 | 85.89%
205.52/205.63 c 203s| 1 | 0 |114076 | - | 114M| 0 | 691 |1000 | 37k|1000 |6893 | 16k| 0 | 0 |-3.460000e+02 |-4.900000e+01 | 85.84%
207.92/208.01 c 205s| 1 | 0 |115499 | - | 114M| 0 | 691 |1000 | 37k|1000 |6570 | 16k| 0 | 0 |-3.460000e+02 |-4.900000e+01 | 85.84%
210.52/210.67 c 208s| 1 | 0 |117302 | - | 114M| 0 | 697 |1000 | 37k|1000 |6645 | 16k| 0 | 0 |-3.455000e+02 |-4.900000e+01 | 85.82%
213.61/213.77 c 211s| 1 | 0 |119191 | - | 115M| 0 | 692 |1000 | 37k|1000 |6658 | 16k| 0 | 0 |-3.450000e+02 |-4.900000e+01 | 85.80%
218.32/218.45 c 216s| 1 | 0 |122293 | - | 115M| 0 | 825 |1000 | 37k|1000 |6669 | 16k| 0 | 0 |-3.442069e+02 |-4.900000e+01 | 85.76%
220.21/220.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.21/220.30 c 217s| 1 | 0 |123109 | - | 115M| 0 | 696 |1000 | 37k|1000 |8216 | 18k| 0 | 0 |-3.440000e+02 |-4.900000e+01 | 85.76%
226.52/226.64 c 224s| 1 | 0 |126106 | - | 116M| 0 | 759 |1000 | 37k|1000 |8226 | 18k| 0 | 0 |-3.430000e+02 |-4.900000e+01 | 85.71%
232.70/232.88 c 230s| 1 | 0 |129088 | - | 116M| 0 | 753 |1000 | 37k|1000 |7426 | 18k| 0 | 0 |-3.425000e+02 |-4.900000e+01 | 85.69%
239.11/239.23 c 236s| 1 | 0 |132815 | - | 117M| 0 | 738 |1000 | 37k|1000 |7499 | 18k| 0 | 0 |-3.410000e+02 |-4.900000e+01 | 85.63%
242.00/242.11 c 239s| 1 | 0 |134708 | - | 117M| 0 | 712 |1000 | 37k|1000 |7544 | 18k| 0 | 0 |-3.405000e+02 |-4.900000e+01 | 85.61%
246.60/246.73 c 243s| 1 | 0 |137429 | - | 118M| 0 | 723 |1000 | 37k|1000 |7557 | 18k| 0 | 0 |-3.390000e+02 |-4.900000e+01 | 85.55%
249.70/249.86 c 247s| 1 | 0 |139557 | - | 119M| 0 | 765 |1000 | 37k|1000 |7634 | 18k| 0 | 0 |-3.377778e+02 |-4.900000e+01 | 85.49%
253.80/253.96 c 251s| 1 | 0 |142169 | - | 119M| 0 | 789 |1000 | 37k|1000 |7752 | 18k| 0 | 0 |-3.370366e+02 |-4.900000e+01 | 85.46%
256.11/256.30 c 253s| 1 | 0 |143853 | - | 120M| 0 | 751 |1000 | 37k|1000 |7326 | 18k| 0 | 0 |-3.348077e+02 |-4.900000e+01 | 85.36%
257.60/257.73 c 254s| 1 | 0 |144833 | - | 120M| 0 | 728 |1000 | 37k|1000 |7340 | 18k| 0 | 0 |-3.342500e+02 |-4.900000e+01 | 85.34%
259.20/259.31 c 256s| 1 | 0 |145881 | - | 122M| 0 | 745 |1000 | 37k|1000 |7350 | 18k| 0 | 0 |-3.333358e+02 |-4.900000e+01 | 85.30%
261.40/261.51 c 258s| 1 | 0 |147513 | - | 122M| 0 | 762 |1000 | 37k|1000 |7358 | 18k| 0 | 0 |-3.326404e+02 |-4.900000e+01 | 85.27%
263.90/264.06 c 261s| 1 | 0 |149343 | - | 122M| 0 | 767 |1000 | 37k|1000 |7372 | 18k| 0 | 0 |-3.322500e+02 |-4.900000e+01 | 85.25%
268.90/269.07 c 266s| 1 | 0 |151829 | - | 124M| 0 | 751 |1000 | 37k|1000 |7385 | 18k| 0 | 0 |-3.317500e+02 |-4.900000e+01 | 85.23%
273.80/273.97 c 270s| 1 | 0 |154468 | - | 124M| 0 | 752 |1000 | 37k|1000 |6301 | 18k| 0 | 0 |-3.310000e+02 |-4.900000e+01 | 85.20%
276.50/276.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.50/276.68 c 273s| 1 | 0 |156211 | - | 126M| 0 | 748 |1000 | 37k|1000 |6386 | 18k| 0 | 0 |-3.305000e+02 |-4.900000e+01 | 85.17%
280.40/280.58 c 277s| 1 | 0 |158969 | - | 126M| 0 | 797 |1000 | 37k|1000 |6405 | 18k| 0 | 0 |-3.295755e+02 |-4.900000e+01 | 85.13%
282.39/282.53 c 279s| 1 | 0 |160293 | - | 127M| 0 | 779 |1000 | 37k|1000 |6517 | 18k| 0 | 0 |-3.284042e+02 |-4.900000e+01 | 85.08%
284.50/284.67 c 281s| 1 | 0 |161845 | - | 128M| 0 | 790 |1000 | 37k|1000 |6530 | 18k| 0 | 0 |-3.278833e+02 |-4.900000e+01 | 85.06%
286.30/286.46 c 283s| 1 | 0 |163060 | - | 129M| 0 | 799 |1000 | 37k|1000 |6767 | 19k| 0 | 0 |-3.275787e+02 |-4.900000e+01 | 85.04%
288.79/288.90 c 285s| 1 | 0 |164697 | - | 130M| 0 | 795 |1000 | 37k|1000 |6484 | 19k| 0 | 0 |-3.270112e+02 |-4.900000e+01 | 85.02%
291.09/291.27 c 288s| 1 | 0 |166399 | - | 130M| 0 | 813 |1000 | 37k|1000 |6629 | 19k| 0 | 0 |-3.259095e+02 |-4.900000e+01 | 84.97%
293.99/294.17 c 290s| 1 | 0 |168267 | - | 131M| 0 | 796 |1000 | 37k|1000 |6887 | 19k| 0 | 0 |-3.246019e+02 |-4.900000e+01 | 84.90%
296.90/297.07 c 293s| 1 | 0 |170082 | - | 132M| 0 | 798 |1000 | 37k|1000 |6977 | 19k| 0 | 0 |-3.234829e+02 |-4.900000e+01 | 84.85%
300.49/300.61 c 297s| 1 | 0 |172261 | - | 133M| 0 | 783 |1000 | 37k|1000 |7142 | 19k| 0 | 0 |-3.220365e+02 |-4.900000e+01 | 84.78%
303.40/303.56 c 300s| 1 | 0 |173977 | - | 133M| 0 | 814 |1000 | 37k|1000 |7247 | 20k| 0 | 0 |-3.213607e+02 |-4.900000e+01 | 84.75%
306.99/307.15 c 303s| 1 | 0 |175899 | - | 133M| 0 | 799 |1000 | 37k|1000 |7383 | 20k| 0 | 0 |-3.200213e+02 |-4.900000e+01 | 84.69%
310.19/310.33 c 306s| 1 | 0 |177861 | - | 132M| 0 | 816 |1000 | 37k|1000 |7506 | 20k| 0 | 0 |-3.190163e+02 |-4.900000e+01 | 84.64%
313.08/313.27 c 309s| 1 | 0 |179289 | - | 132M| 0 | 806 |1000 | 37k|1000 |7641 | 20k| 0 | 0 |-3.183524e+02 |-4.900000e+01 | 84.61%
316.38/316.52 c 313s| 1 | 0 |180955 | - | 132M| 0 | 797 |1000 | 37k|1000 |7729 | 20k| 0 | 0 |-3.174729e+02 |-4.900000e+01 | 84.57%
320.18/320.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.18/320.36 c 316s| 1 | 0 |183002 | - | 132M| 0 | 821 |1000 | 37k|1000 |7764 | 20k| 0 | 0 |-3.160371e+02 |-4.900000e+01 | 84.50%
323.68/323.86 c 320s| 1 | 0 |184788 | - | 132M| 0 | 826 |1000 | 37k|1000 |7900 | 20k| 0 | 0 |-3.151204e+02 |-4.900000e+01 | 84.45%
328.58/328.76 c 325s| 1 | 0 |187296 | - | 132M| 0 | 799 |1000 | 37k|1000 |7472 | 20k| 0 | 0 |-3.137147e+02 |-4.900000e+01 | 84.38%
331.99/332.11 c 328s| 1 | 0 |189127 | - | 132M| 0 | 793 |1000 | 37k|1000 |7487 | 20k| 0 | 0 |-3.127723e+02 |-4.900000e+01 | 84.33%
334.89/335.02 c 331s| 1 | 0 |190490 | - | 132M| 0 | 803 |1000 | 37k|1000 |7496 | 20k| 0 | 0 |-3.120691e+02 |-4.900000e+01 | 84.30%
338.08/338.21 c 334s| 1 | 0 |191981 | - | 132M| 0 | 820 |1000 | 37k|1000 |7549 | 20k| 0 | 0 |-3.112752e+02 |-4.900000e+01 | 84.26%
342.38/342.53 c 338s| 1 | 0 |193870 | - | 132M| 0 | 829 |1000 | 37k|1000 |7675 | 21k| 0 | 0 |-3.105174e+02 |-4.900000e+01 | 84.22%
346.68/346.86 c 343s| 1 | 0 |195945 | - | 132M| 0 | 817 |1000 | 37k|1000 |7739 | 21k| 0 | 0 |-3.093573e+02 |-4.900000e+01 | 84.16%
351.18/351.35 c 347s| 1 | 0 |198203 | - | 132M| 0 | 834 |1000 | 37k|1000 |7205 | 21k| 0 | 0 |-3.083646e+02 |-4.900000e+01 | 84.11%
355.37/355.54 c 351s| 1 | 0 |200013 | - | 132M| 0 | 821 |1000 | 37k|1000 |7475 | 21k| 0 | 0 |-3.073975e+02 |-4.900000e+01 | 84.06%
359.67/359.87 c 355s| 1 | 0 |201927 | - | 132M| 0 | 828 |1000 | 37k|1000 |7497 | 21k| 0 | 0 |-3.064886e+02 |-4.900000e+01 | 84.01%
364.37/364.55 c 360s| 1 | 0 |204077 | - | 132M| 0 | 828 |1000 | 37k|1000 |7511 | 21k| 0 | 0 |-3.054603e+02 |-4.900000e+01 | 83.96%
368.07/368.27 c 364s| 1 | 0 |205559 | - | 132M| 0 | 852 |1000 | 37k|1000 |7546 | 21k| 0 | 0 |-3.050082e+02 |-4.900000e+01 | 83.93%
373.17/373.33 c 369s| 1 | 0 |207723 | - | 131M| 0 | 832 |1000 | 37k|1000 |7659 | 21k| 0 | 0 |-3.034106e+02 |-4.900000e+01 | 83.85%
377.37/377.58 c 373s| 1 | 0 |209449 | - | 131M| 0 | 843 |1000 | 37k|1000 |7410 | 21k| 0 | 0 |-3.022668e+02 |-4.900000e+01 | 83.79%
381.67/381.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.67/381.85 c 377s| 1 | 0 |211329 | - | 131M| 0 | 832 |1000 | 37k|1000 |7472 | 21k| 0 | 0 |-3.014969e+02 |-4.900000e+01 | 83.75%
385.57/385.79 c 381s| 1 | 0 |212971 | - | 131M| 0 | 819 |1000 | 37k|1000 |7507 | 21k| 0 | 0 |-3.004594e+02 |-4.900000e+01 | 83.69%
389.96/390.15 c 385s| 1 | 0 |214802 | - | 131M| 0 | 825 |1000 | 37k|1000 |7665 | 21k| 0 | 0 |-2.995814e+02 |-4.900000e+01 | 83.64%
395.57/395.71 c 391s| 1 | 0 |217171 | - | 131M| 0 | 856 |1000 | 37k|1000 |7698 | 22k| 0 | 0 |-2.983084e+02 |-4.900000e+01 | 83.57%
404.26/404.47 c 400s| 1 | 0 |219354 | - | 131M| 0 | 822 |1000 | 37k|1000 |8284 | 22k| 0 | 0 |-2.970103e+02 |-4.900000e+01 | 83.50%
409.76/409.96 c 405s| 1 | 0 |221553 | - | 131M| 0 | 832 |1000 | 37k|1000 |8170 | 22k| 0 | 0 |-2.956808e+02 |-4.900000e+01 | 83.43%
414.26/414.49 c 410s| 1 | 0 |223373 | - | 131M| 0 | 836 |1000 | 37k|1000 |8180 | 22k| 0 | 0 |-2.948433e+02 |-4.900000e+01 | 83.38%
418.55/418.72 c 414s| 1 | 0 |224586 | - | 131M| 0 | 838 |1000 | 37k|1000 |8258 | 22k| 0 | 0 |-2.945375e+02 |-4.900000e+01 | 83.36%
422.86/423.03 c 418s| 1 | 0 |226046 | - | 131M| 0 | 828 |1000 | 37k|1000 |8266 | 22k| 0 | 0 |-2.940264e+02 |-4.900000e+01 | 83.33%
427.36/427.58 c 423s| 1 | 0 |227773 | - | 131M| 0 | 825 |1000 | 37k|1000 |8275 | 22k| 0 | 0 |-2.931968e+02 |-4.900000e+01 | 83.29%
432.95/433.20 c 428s| 1 | 0 |230172 | - | 130M| 0 | 828 |1000 | 37k|1000 |8300 | 22k| 0 | 0 |-2.917094e+02 |-4.900000e+01 | 83.20%
437.85/438.04 c 433s| 1 | 0 |231859 | - | 130M| 0 | 824 |1000 | 37k|1000 |8181 | 22k| 0 | 0 |-2.906498e+02 |-4.900000e+01 | 83.14%
443.16/443.31 c 438s| 1 | 0 |234115 | - | 130M| 0 | 823 |1000 | 37k|1000 |8194 | 22k| 0 | 0 |-2.894426e+02 |-4.900000e+01 | 83.07%
449.25/449.45 c 444s| 1 | 0 |236655 | - | 130M| 0 | 826 |1000 | 37k|1000 |8291 | 23k| 0 | 0 |-2.882119e+02 |-4.900000e+01 | 83.00%
454.16/454.31 c 449s| 1 | 0 |238467 | - | 130M| 0 | 835 |1000 | 37k|1000 |8359 | 23k| 0 | 0 |-2.873914e+02 |-4.900000e+01 | 82.95%
459.85/460.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
459.85/460.05 c 455s| 1 | 0 |240368 | - | 130M| 0 | 839 |1000 | 37k|1000 |8442 | 23k| 0 | 0 |-2.865044e+02 |-4.900000e+01 | 82.90%
464.85/465.02 c 460s| 1 | 0 |241557 | - | 130M| 0 | 847 |1000 | 37k|1000 |8546 | 23k| 0 | 0 |-2.861056e+02 |-4.900000e+01 | 82.87%
473.04/473.28 c 468s| 1 | 0 |244347 | - | 130M| 0 | 842 |1000 | 37k|1000 |8242 | 23k| 0 | 0 |-2.848476e+02 |-4.900000e+01 | 82.80%
479.54/479.76 c 474s| 1 | 0 |246415 | - | 130M| 0 | 865 |1000 | 37k|1000 |8302 | 23k| 0 | 0 |-2.841576e+02 |-4.900000e+01 | 82.76%
488.14/488.34 c 483s| 1 | 0 |248729 | - | 130M| 0 | 857 |1000 | 37k|1000 |8495 | 23k| 0 | 0 |-2.828584e+02 |-4.900000e+01 | 82.68%
495.04/495.20 c 490s| 1 | 0 |250436 | - | 130M| 0 | 846 |1000 | 37k|1000 |8567 | 23k| 0 | 0 |-2.821995e+02 |-4.900000e+01 | 82.64%
502.54/502.78 c 497s| 1 | 0 |252702 | - | 130M| 0 | 858 |1000 | 37k|1000 |8619 | 23k| 0 | 0 |-2.812761e+02 |-4.900000e+01 | 82.58%
510.33/510.55 c 505s| 1 | 0 |254584 | - | 129M| 0 | 860 |1000 | 37k|1000 |8737 | 23k| 0 | 0 |-2.806050e+02 |-4.900000e+01 | 82.54%
518.84/519.01 c 513s| 1 | 0 |256683 | - | 129M| 0 | 858 |1000 | 37k|1000 |8719 | 24k| 0 | 0 |-2.798618e+02 |-4.900000e+01 | 82.49%
526.74/526.92 c 521s| 1 | 0 |258640 | - | 129M| 0 | 846 |1000 | 37k|1000 |8737 | 24k| 0 | 0 |-2.791932e+02 |-4.900000e+01 | 82.45%
535.73/535.96 c 530s| 1 | 0 |261326 | - | 129M| 0 | 851 |1000 | 37k|1000 |8772 | 24k| 0 | 0 |-2.779526e+02 |-4.900000e+01 | 82.37%
544.03/544.25 c 538s| 1 | 0 |263327 | - | 129M| 0 | 859 |1000 | 37k|1000 |8825 | 24k| 0 | 0 |-2.773690e+02 |-4.900000e+01 | 82.33%
553.03/553.28 c 547s| 1 | 0 |265228 | - | 129M| 0 | 871 |1000 | 37k|1000 |8907 | 24k| 0 | 0 |-2.765268e+02 |-4.900000e+01 | 82.28%
562.52/562.74 c 557s| 1 | 0 |267115 | - | 128M| 0 | 871 |1000 | 37k|1000 |9002 | 24k| 0 | 0 |-2.757467e+02 |-4.900000e+01 | 82.23%
572.02/572.21 c 566s| 1 | 0 |269023 | - | 128M| 0 | 880 |1000 | 37k|1000 |8683 | 24k| 0 | 0 |-2.751545e+02 |-4.900000e+01 | 82.19%
581.42/581.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.42/581.62 c 576s| 1 | 0 |270688 | - | 128M| 0 | 876 |1000 | 37k|1000 |8719 | 24k| 0 | 0 |-2.746454e+02 |-4.900000e+01 | 82.16%
591.91/592.15 c 586s| 1 | 0 |273282 | - | 128M| 0 | 887 |1000 | 37k|1000 |8733 | 24k| 0 | 0 |-2.738174e+02 |-4.900000e+01 | 82.10%
604.72/604.99 c 599s| 1 | 0 |275945 | - | 128M| 0 | 877 |1000 | 37k|1000 |8954 | 24k| 0 | 0 |-2.727639e+02 |-4.900000e+01 | 82.04%
617.70/617.98 c 612s| 1 | 0 |278852 | - | 128M| 0 | 869 |1000 | 37k|1000 |9039 | 24k| 0 | 0 |-2.714002e+02 |-4.900000e+01 | 81.95%
628.11/628.31 c 622s| 1 | 0 |281186 | - | 128M| 0 | 874 |1000 | 37k|1000 |9072 | 24k| 0 | 0 |-2.707077e+02 |-4.900000e+01 | 81.90%
638.70/638.96 c 633s| 1 | 0 |283385 | - | 128M| 0 | 876 |1000 | 37k|1000 |8806 | 24k| 0 | 0 |-2.701123e+02 |-4.900000e+01 | 81.86%
650.20/650.45 c 644s| 1 | 0 |285605 | - | 127M| 0 | 882 |1000 | 37k|1000 |8885 | 24k| 0 | 0 |-2.692853e+02 |-4.900000e+01 | 81.80%
662.00/662.20 c 656s| 1 | 0 |287641 | - | 127M| 0 | 888 |1000 | 37k|1000 |8985 | 24k| 0 | 0 |-2.687877e+02 |-4.900000e+01 | 81.77%
673.19/673.40 c 667s| 1 | 0 |289331 | - | 127M| 0 | 891 |1000 | 37k|1000 |9047 | 25k| 0 | 0 |-2.682893e+02 |-4.900000e+01 | 81.74%
685.78/686.06 c 679s| 1 | 0 |291479 | - | 127M| 0 | 898 |1000 | 37k|1000 |9100 | 25k| 0 | 0 |-2.677247e+02 |-4.900000e+01 | 81.70%
697.58/697.88 c 691s| 1 | 0 |292948 | - | 127M| 0 | 902 |1000 | 37k|1000 |9190 | 25k| 0 | 0 |-2.673666e+02 |-4.900000e+01 | 81.67%
710.88/711.17 c 704s| 1 | 0 |295205 | - | 127M| 0 | 892 |1000 | 37k|1000 |9030 | 25k| 0 | 0 |-2.668549e+02 |-4.900000e+01 | 81.64%
723.48/723.76 c 717s| 1 | 0 |297333 | - | 127M| 0 | 898 |1000 | 37k|1000 |9064 | 25k| 0 | 0 |-2.663892e+02 |-4.900000e+01 | 81.61%
737.17/737.44 c 730s| 1 | 0 |299605 | - | 127M| 0 | 901 |1000 | 37k|1000 |9125 | 25k| 0 | 0 |-2.657436e+02 |-4.900000e+01 | 81.56%
750.47/750.73 c 744s| 1 | 0 |301648 | - | 127M| 0 | 903 |1000 | 37k|1000 |9195 | 25k| 0 | 0 |-2.652197e+02 |-4.900000e+01 | 81.52%
763.46/763.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.46/763.70 c 757s| 1 | 0 |303613 | - | 126M| 0 | 904 |1000 | 37k|1000 |9216 | 25k| 0 | 0 |-2.647485e+02 |-4.900000e+01 | 81.49%
773.96/774.22 c 767s| 1 | 0 |304356 | - | 126M| 0 | 907 |1000 | 37k|1000 |9272 | 25k| 0 | 0 |-2.645645e+02 |-4.900000e+01 | 81.48%
785.26/785.50 c 778s| 1 | 0 |305450 | - | 126M| 0 | 914 |1000 | 37k|1000 |8976 | 25k| 0 | 0 |-2.642560e+02 |-4.900000e+01 | 81.46%
797.96/798.27 c 791s| 1 | 0 |307205 | - | 125M| 0 | 913 |1000 | 37k|1000 |9008 | 25k| 0 | 0 |-2.637993e+02 |-4.900000e+01 | 81.43%
810.36/810.68 c 803s| 1 | 0 |308750 | - | 125M| 0 | 919 |1000 | 37k|1000 |9035 | 25k| 0 | 0 |-2.635247e+02 |-4.900000e+01 | 81.41%
824.05/824.39 c 817s| 1 | 0 |310650 | - | 125M| 0 | 922 |1000 | 37k|1000 |9153 | 25k| 0 | 0 |-2.630767e+02 |-4.900000e+01 | 81.37%
836.45/836.76 c 829s| 1 | 0 |312078 | - | 125M| 0 | 930 |1000 | 37k|1000 |9216 | 25k| 0 | 0 |-2.628176e+02 |-4.900000e+01 | 81.36%
851.65/851.98 c 844s| 1 | 0 |314464 | - | 125M| 0 | 915 |1000 | 37k|1000 |9242 | 25k| 0 | 0 |-2.621237e+02 |-4.900000e+01 | 81.31%
865.74/866.03 c 858s| 1 | 0 |316258 | - | 125M| 0 | 929 |1000 | 37k|1000 |9137 | 25k| 0 | 0 |-2.616815e+02 |-4.900000e+01 | 81.27%
878.43/878.75 c 871s| 1 | 0 |317597 | - | 125M| 0 | 932 |1000 | 37k|1000 |9193 | 25k| 0 | 0 |-2.613716e+02 |-4.900000e+01 | 81.25%
891.23/891.54 c 884s| 1 | 0 |318927 | - | 124M| 0 | 927 |1000 | 37k|1000 |9215 | 25k| 0 | 0 |-2.610707e+02 |-4.900000e+01 | 81.23%
904.82/905.12 c 897s| 1 | 0 |320525 | - | 124M| 0 | 929 |1000 | 37k|1000 |9242 | 25k| 0 | 0 |-2.606003e+02 |-4.900000e+01 | 81.20%
916.23/916.52 c 909s| 1 | 0 |321179 | - | 124M| 0 | 926 |1000 | 37k|1000 |9288 | 25k| 0 | 0 |-2.605078e+02 |-4.900000e+01 | 81.19%
930.92/931.27 c 923s| 1 | 0 |323154 | - | 124M| 0 | 937 |1000 | 37k|1000 |9308 | 25k| 0 | 0 |-2.600764e+02 |-4.900000e+01 | 81.16%
943.62/943.92 c 936s| 1 | 0 |324153 | - | 123M| 0 | 937 |1000 | 37k|1000 |9240 | 26k| 0 | 0 |-2.598806e+02 |-4.900000e+01 | 81.15%
956.41/956.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.41/956.78 c 949s| 1 | 0 |325318 | - | 123M| 0 | 933 |1000 | 37k|1000 |9273 | 26k| 0 | 0 |-2.596029e+02 |-4.900000e+01 | 81.13%
970.91/971.29 c 963s| 1 | 0 |327085 | - | 122M| 0 | 947 |1000 | 37k|1000 |9316 | 26k| 0 | 0 |-2.590988e+02 |-4.900000e+01 | 81.09%
984.50/984.86 c 977s| 1 | 0 |328239 | - | 121M| 0 | 944 |1000 | 37k|1000 |9359 | 26k| 0 | 0 |-2.588230e+02 |-4.900000e+01 | 81.07%
999.70/1000.07 c 992s| 1 | 0 |330016 | - | 121M| 0 | 940 |1000 | 37k|1000 |9375 | 26k| 0 | 0 |-2.582701e+02 |-4.900000e+01 | 81.03%
1013.70/1014.02 c 1006s| 1 | 0 |331317 | - | 120M| 0 | 945 |1000 | 37k|1000 |9410 | 26k| 0 | 0 |-2.580277e+02 |-4.900000e+01 | 81.01%
1027.70/1028.01 c 1020s| 1 | 0 |332681 | - | 119M| 0 | 951 |1000 | 37k|1000 |9254 | 26k| 0 | 0 |-2.577878e+02 |-4.900000e+01 | 80.99%
1041.59/1042.00 c 1034s| 1 | 0 |334080 | - | 119M| 0 | 950 |1000 | 37k|1000 |9286 | 26k| 0 | 0 |-2.575180e+02 |-4.900000e+01 | 80.97%
1055.38/1055.71 c 1047s| 1 | 0 |335288 | - | 118M| 0 | 948 |1000 | 37k|1000 |9307 | 26k| 0 | 0 |-2.572480e+02 |-4.900000e+01 | 80.95%
1070.18/1070.53 c 1062s| 1 | 0 |336780 | - | 117M| 0 | 952 |1000 | 37k|1000 |9330 | 26k| 0 | 0 |-2.568984e+02 |-4.900000e+01 | 80.93%
1083.09/1083.47 c 1075s| 1 | 0 |337763 | - | 117M| 0 | 956 |1000 | 37k|1000 |9386 | 26k| 0 | 0 |-2.567341e+02 |-4.900000e+01 | 80.91%
1096.48/1096.86 c 1088s| 1 | 0 |338732 | - | 116M| 0 | 957 |1000 | 37k|1000 |9417 | 26k| 0 | 0 |-2.565060e+02 |-4.900000e+01 | 80.90%
1110.77/1111.16 c 1102s| 1 | 0 |339995 | - | 115M| 0 | 958 |1000 | 37k|1000 |9332 | 26k| 0 | 0 |-2.561224e+02 |-4.900000e+01 | 80.87%
1124.98/1125.37 c 1117s| 1 | 0 |341291 | - | 114M| 0 | 957 |1000 | 37k|1000 |9354 | 26k| 0 | 0 |-2.558569e+02 |-4.900000e+01 | 80.85%
1137.56/1137.91 c 1129s| 1 | 0 |342020 | - | 113M| 0 | 956 |1000 | 37k|1000 |9409 | 26k| 0 | 0 |-2.557293e+02 |-4.900000e+01 | 80.84%
1150.06/1150.45 c 1142s| 1 | 0 |342719 | - | 113M| 0 | 956 |1000 | 37k|1000 |9443 | 26k| 0 | 0 |-2.555989e+02 |-4.900000e+01 | 80.83%
1164.75/1165.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.75/1165.12 c 1156s| 1 | 0 |344124 | - | 112M| 0 | 952 |1000 | 37k|1000 |9463 | 26k| 0 | 0 |-2.552644e+02 |-4.900000e+01 | 80.80%
1179.55/1179.94 c 1171s| 1 | 0 |345564 | - | 110M| 0 | 955 |1000 | 37k|1000 |9482 | 26k| 0 | 0 |-2.549314e+02 |-4.900000e+01 | 80.78%
1193.45/1193.81 c 1185s| 1 | 0 |346639 | - | 110M| 0 | 960 |1000 | 37k|1000 |9422 | 26k| 0 | 0 |-2.547048e+02 |-4.900000e+01 | 80.76%
1206.64/1207.04 c 1198s| 1 | 0 |347464 | - | 109M| 0 | 961 |1000 | 37k|1000 |9447 | 26k| 0 | 0 |-2.545600e+02 |-4.900000e+01 | 80.75%
1218.94/1219.37 c 1210s| 1 | 0 |347916 | - | 109M| 0 | 961 |1000 | 37k|1000 |9459 | 26k| 0 | 0 |-2.544652e+02 |-4.900000e+01 | 80.74%
1232.33/1232.78 c 1224s| 1 | 0 |348675 | - | 108M| 0 | 960 |1000 | 37k|1000 |9477 | 26k| 0 | 0 |-2.542654e+02 |-4.900000e+01 | 80.73%
1247.14/1247.59 c 1238s| 1 | 0 |349921 | - | 107M| 0 | 966 |1000 | 37k|1000 |9492 | 26k| 0 | 0 |-2.539213e+02 |-4.900000e+01 | 80.70%
1261.93/1262.37 c 1253s| 1 | 0 |351164 | - | 107M| 0 | 961 |1000 | 37k|1000 |9509 | 26k| 0 | 0 |-2.536011e+02 |-4.900000e+01 | 80.68%
1276.23/1276.60 c 1267s| 1 | 0 |352113 | - | 107M| 0 | 970 |1000 | 37k|1000 |9414 | 26k| 0 | 0 |-2.533954e+02 |-4.900000e+01 | 80.66%
1290.73/1291.12 c 1282s| 1 | 0 |353223 | - | 107M| 0 | 963 |1000 | 37k|1000 |9436 | 26k| 0 | 0 |-2.531502e+02 |-4.900000e+01 | 80.64%
1305.72/1306.16 c 1297s| 1 | 0 |354526 | - | 107M| 0 | 963 |1000 | 37k|1000 |9458 | 26k| 0 | 0 |-2.528710e+02 |-4.900000e+01 | 80.62%
1319.62/1320.08 c 1311s| 1 | 0 |355354 | - | 107M| 0 | 962 |1000 | 37k|1000 |9486 | 26k| 0 | 0 |-2.527101e+02 |-4.900000e+01 | 80.61%
1333.01/1333.48 c 1324s| 1 | 0 |356035 | - | 107M| 0 | 966 |1000 | 37k|1000 |9520 | 26k| 0 | 0 |-2.526129e+02 |-4.900000e+01 | 80.60%
1348.31/1348.80 c 1339s| 1 | 0 |357174 | - | 107M| 0 | 969 |1000 | 37k|1000 |9535 | 26k| 0 | 0 |-2.523178e+02 |-4.900000e+01 | 80.58%
1363.41/1363.87 c 1354s| 1 | 0 |358236 | - | 106M| 0 | 960 |1000 | 37k|1000 |9473 | 26k| 0 | 0 |-2.520785e+02 |-4.900000e+01 | 80.56%
1378.20/1378.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.20/1378.65 c 1369s| 1 | 0 |359244 | - | 106M| 0 | 964 |1000 | 37k|1000 |9490 | 26k| 0 | 0 |-2.518562e+02 |-4.900000e+01 | 80.54%
1392.29/1392.79 c 1383s| 1 | 0 |360088 | - | 106M| 0 | 962 |1000 | 37k|1000 |9510 | 26k| 0 | 0 |-2.516515e+02 |-4.900000e+01 | 80.53%
1406.80/1407.21 c 1397s| 1 | 0 |361014 | - | 106M| 0 | 965 |1000 | 37k|1000 |9531 | 26k| 0 | 0 |-2.514523e+02 |-4.900000e+01 | 80.51%
1420.49/1420.94 c 1411s| 1 | 0 |361714 | - | 106M| 0 | 967 |1000 | 37k|1000 |9554 | 26k| 0 | 0 |-2.512717e+02 |-4.900000e+01 | 80.50%
1435.38/1435.82 c 1426s| 1 | 0 |362695 | - | 106M| 0 | 973 |1000 | 37k|1000 |9569 | 26k| 0 | 0 |-2.510080e+02 |-4.900000e+01 | 80.48%
1449.68/1450.16 c 1440s| 1 | 0 |363391 | - | 106M| 0 | 974 |1000 | 37k|1000 |9504 | 26k| 0 | 0 |-2.508700e+02 |-4.900000e+01 | 80.47%
1463.77/1464.25 c 1454s| 1 | 0 |364143 | - | 106M| 0 | 971 |1000 | 37k|1000 |9523 | 26k| 0 | 0 |-2.507518e+02 |-4.900000e+01 | 80.46%
1477.48/1477.92 c 1468s| 1 | 0 |364770 | - | 106M| 0 | 979 |1000 | 37k|1000 |9533 | 26k| 0 | 0 |-2.506475e+02 |-4.900000e+01 | 80.45%
1491.48/1491.93 c 1482s| 1 | 0 |365368 | - | 106M| 0 | 985 |1000 | 37k|1000 |9542 | 26k| 0 | 0 |-2.504970e+02 |-4.900000e+01 | 80.44%
1505.87/1506.31 c 1496s| 1 | 0 |366148 | - | 106M| 0 | 977 |1000 | 37k|1000 |9555 | 27k| 0 | 0 |-2.503314e+02 |-4.900000e+01 | 80.43%
1519.56/1520.04 c 1510s| 1 | 0 |366700 | - | 106M| 0 | 987 |1000 | 37k|1000 |9578 | 27k| 0 | 0 |-2.502000e+02 |-4.900000e+01 | 80.42%
1533.56/1534.05 c 1524s| 1 | 0 |367288 | - | 106M| 0 | 985 |1000 | 37k|1000 |9527 | 27k| 0 | 0 |-2.500872e+02 |-4.900000e+01 | 80.41%
1547.35/1547.83 c 1537s| 1 | 0 |367855 | - | 106M| 0 | 989 |1000 | 37k|1000 |9538 | 27k| 0 | 0 |-2.499662e+02 |-4.900000e+01 | 80.40%
1561.46/1561.95 c 1552s| 1 | 0 |368462 | - | 106M| 0 | 983 |1000 | 37k|1000 |9554 | 27k| 0 | 0 |-2.498404e+02 |-4.900000e+01 | 80.39%
1575.95/1576.41 c 1566s| 1 | 0 |369053 | - | 106M| 0 | 988 |1000 | 37k|1000 |9564 | 27k| 0 | 0 |-2.497127e+02 |-4.900000e+01 | 80.38%
1590.15/1590.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.15/1590.69 c 1580s| 1 | 0 |369594 | - | 106M| 0 | 982 |1000 | 37k|1000 |9574 | 27k| 0 | 0 |-2.496019e+02 |-4.900000e+01 | 80.37%
1605.04/1605.50 c 1595s| 1 | 0 |370366 | - | 106M| 0 | 983 |1000 | 37k|1000 |9586 | 27k| 0 | 0 |-2.494327e+02 |-4.900000e+01 | 80.36%
1620.85/1621.35 c 1611s| 1 | 0 |371372 | - | 106M| 0 | 982 |1000 | 37k|1000 |9557 | 27k| 0 | 0 |-2.491187e+02 |-4.900000e+01 | 80.33%
1635.53/1636.08 c 1625s| 1 | 0 |372171 | - | 106M| 0 | 986 |1000 | 37k|1000 |9573 | 27k| 0 | 0 |-2.489271e+02 |-4.900000e+01 | 80.32%
1648.93/1649.43 c 1639s| 1 | 0 |372646 | - | 106M| 0 | 986 |1000 | 37k|1000 |9592 | 27k| 0 | 0 |-2.488346e+02 |-4.900000e+01 | 80.31%
1662.92/1663.41 c 1653s| 1 | 0 |373096 | - | 106M| 0 | 989 |1000 | 37k|1000 |9606 | 27k| 0 | 0 |-2.487525e+02 |-4.900000e+01 | 80.30%
1677.42/1677.90 c 1667s| 1 | 0 |373742 | - | 106M| 0 | 989 |1000 | 37k|1000 |9615 | 27k| 0 | 0 |-2.486346e+02 |-4.900000e+01 | 80.29%
1692.11/1692.68 c 1682s| 1 | 0 |374462 | - | 106M| 0 | 991 |1000 | 37k|1000 |9628 | 27k| 0 | 0 |-2.484688e+02 |-4.900000e+01 | 80.28%
1706.62/1707.17 c 1696s| 1 | 0 |374956 | - | 106M| 0 | 988 |1000 | 37k|1000 |9588 | 27k| 0 | 0 |-2.483657e+02 |-4.900000e+01 | 80.27%
1720.30/1720.84 c 1710s| 1 | 0 |375369 | - | 106M| 0 | 992 |1000 | 37k|1000 |9599 | 27k| 0 | 0 |-2.482719e+02 |-4.900000e+01 | 80.26%
1735.31/1735.88 c 1725s| 1 | 0 |376014 | - | 106M| 0 | 993 |1000 | 37k|1000 |9610 | 27k| 0 | 0 |-2.481253e+02 |-4.900000e+01 | 80.25%
1749.31/1749.81 c 1739s| 1 | 0 |376324 | - | 106M| 0 | 994 |1000 | 37k|1000 |9622 | 27k| 0 | 0 |-2.480778e+02 |-4.900000e+01 | 80.25%
1763.90/1764.47 c 1753s| 1 | 0 |376867 | - | 106M| 0 | 994 |1000 | 37k|1000 |9631 | 27k| 0 | 0 |-2.479278e+02 |-4.900000e+01 | 80.24%
1778.30/1778.81 c 1768s| 1 | 0 |377318 | - | 106M| 0 | 993 |1000 | 37k|1000 |9643 | 27k| 0 | 0 |-2.478319e+02 |-4.900000e+01 | 80.23%
1793.09/1793.64 c 1782s| 1 | 0 |377932 | - | 106M| 0 | 997 |1000 | 37k|1000 |9599 | 27k| 0 | 0 |-2.477061e+02 |-4.900000e+01 | 80.22%
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.89/1801.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1800.89/1801.45 c 1790s| 1 | 0 |378150 | - | 106M| 0 | 996 |1000 | 37k|1000 |9607 | 27k| 0 | 0 |-2.476884e+02 |-4.900000e+01 | 80.22%
1801.09/1801.61 c 1790s| 1 | 2 |378150 | - | 106M| 0 | 996 |1000 | 37k|1000 |9607 | 27k| 0 | 0 |-2.476884e+02 |-4.900000e+01 | 80.22%
1801.09/1801.61 c
1801.09/1801.61 c SCIP Status : solving was interrupted [user interrupt]
1801.09/1801.61 c Solving Time (sec) : 1790.38
1801.09/1801.61 c Solving Nodes : 1
1801.09/1801.61 c Primal Bound : -4.90000000000000e+01 (54 solutions)
1801.09/1801.61 c Dual Bound : -2.47688373969473e+02
1801.09/1801.61 c Gap : 80.22 %
1801.19/1801.70 s SATISFIABLE
1801.19/1801.70 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1801.19/1801.70 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1801.19/1801.70 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1801.19/1801.70 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1801.19/1801.70 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1801.19/1801.70 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875
1801.19/1801.70 v -x874 x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1801.19/1801.70 v -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1801.19/1801.70 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812
1801.19/1801.70 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1801.19/1801.70 v x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1801.19/1801.70 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1801.19/1801.70 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1801.19/1801.70 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1801.19/1801.70 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1801.19/1801.70 v -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1801.19/1801.70 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1801.19/1801.70 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1801.19/1801.70 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1801.19/1801.70 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1801.19/1801.70 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
1801.19/1801.70 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1801.19/1801.70 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1801.19/1801.70 v -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1801.19/1801.70 v x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1801.19/1801.70 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456
1801.19/1801.70 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1801.19/1801.70 v -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
1801.19/1801.70 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393
1801.19/1801.70 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1801.19/1801.70 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1801.19/1801.70 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1801.19/1801.70 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310
1801.19/1801.70 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1801.19/1801.70 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268
1801.19/1801.70 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1801.19/1801.70 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 x231 -x230 -x229 -x228 -x227 -x226
1801.19/1801.70 v -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1801.19/1801.70 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1801.19/1801.70 v -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1801.19/1801.70 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1801.19/1801.70 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1801.19/1801.70 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1801.19/1801.70 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.19/1801.70 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
1801.19/1801.70 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 x29 -x28 -x27 x26 x25 -x24 -x23
1801.19/1801.70 v -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 x14 x13 -x12 x11 -x10 -x9 x8 x7 x6 x5 -x4 x3 x2 -x1
1801.19/1801.70 c SCIP Status : solving was interrupted [user interrupt]
1801.19/1801.70 c Solving Time : 1790.38
1801.19/1801.70 c Original Problem :
1801.19/1801.70 c Problem name : HOME/instance-2665279-1276665455.opb
1801.19/1801.70 c Variables : 38644 (38644 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.19/1801.70 c Constraints : 38644 initial, 38644 maximal
1801.19/1801.70 c Presolved Problem :
1801.19/1801.70 c Problem name : t_HOME/instance-2665279-1276665455.opb
1801.19/1801.70 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.19/1801.70 c Constraints : 37644 initial, 37644 maximal
1801.19/1801.70 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.19/1801.70 c trivial : 0.01 0 0 0 0 0 0 0 0
1801.19/1801.70 c dualfix : 0.00 0 0 0 0 0 0 0 0
1801.19/1801.70 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.19/1801.70 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.19/1801.70 c implics : 0.00 0 0 0 0 0 0 0 0
1801.19/1801.70 c probing : 0.52 0 0 0 0 0 0 0 0
1801.19/1801.70 c linear : 0.25 37644 0 0 37644 0 1000 0 0
1801.19/1801.70 c logicor : 0.09 0 0 0 0 0 0 0 0
1801.19/1801.70 c root node : - 0 - - 0 - - - -
1801.19/1801.70 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.19/1801.70 c integral : 0 0 0 1 0 0 0 0 0 2
1801.19/1801.70 c logicor : 37644 252 201 0 0 0 0 36437 0 0
1801.19/1801.70 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.19/1801.70 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.19/1801.70 c integral : 0.00 0.00 0.00 0.00 0.00
1801.19/1801.70 c logicor : 2.48 2.25 0.23 0.00 0.00
1801.19/1801.70 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.19/1801.70 c Propagators : Time Calls Cutoffs DomReds
1801.19/1801.70 c vbounds : 0.00 2 0 0
1801.19/1801.70 c rootredcost : 0.00 0 0 0
1801.19/1801.70 c pseudoobj : 0.01 252 0 0
1801.19/1801.70 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.19/1801.70 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.19/1801.70 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.19/1801.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.19/1801.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.19/1801.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.19/1801.71 c applied globally : - - - 0 0.0 - - -
1801.19/1801.71 c applied locally : - - - 0 0.0 - - -
1801.19/1801.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.19/1801.71 c cut pool : 1.55 251 - - 5571 - (maximal pool size: 17812)
1801.19/1801.71 c redcost : 0.04 252 0 0 0 0
1801.19/1801.71 c impliedbounds : 1.02 250 0 0 34121 0
1801.19/1801.71 c intobj : 0.00 0 0 0 0 0
1801.19/1801.71 c cgmip : 0.00 0 0 0 0 0
1801.19/1801.71 c gomory : 1048.49 248 0 0 85096 0
1801.19/1801.71 c strongcg : 1.89 20 0 0 10000 0
1801.19/1801.71 c cmir : 4.74 10 0 0 0 0
1801.19/1801.71 c flowcover : 4.33 10 0 0 0 0
1801.19/1801.71 c clique : 13.53 247 0 0 2222 0
1801.19/1801.71 c zerohalf : 0.00 0 0 0 0 0
1801.19/1801.71 c mcf : 0.05 1 0 0 0 0
1801.19/1801.71 c rapidlearning : 0.00 0 0 0 0 0
1801.19/1801.71 c Pricers : Time Calls Vars
1801.19/1801.71 c problem variables: 0.00 0 0
1801.19/1801.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.19/1801.71 c relpscost : 0.00 1 0 0 0 0 2
1801.19/1801.71 c pscost : 0.00 0 0 0 0 0 0
1801.19/1801.71 c inference : 0.00 0 0 0 0 0 0
1801.19/1801.71 c mostinf : 0.00 0 0 0 0 0 0
1801.19/1801.71 c leastinf : 0.00 0 0 0 0 0 0
1801.19/1801.71 c fullstrong : 0.00 0 0 0 0 0 0
1801.19/1801.71 c allfullstrong : 0.00 0 0 0 0 0 0
1801.19/1801.71 c random : 0.00 0 0 0 0 0 0
1801.19/1801.71 c Primal Heuristics : Time Calls Found
1801.19/1801.71 c LP solutions : 0.00 - 0
1801.19/1801.71 c pseudo solutions : 0.00 - 0
1801.19/1801.71 c crossover : 0.00 0 0
1801.19/1801.71 c oneopt : 0.04 2 1
1801.19/1801.71 c trivial : 0.10 2 2
1801.19/1801.71 c simplerounding : 0.55 253 49
1801.19/1801.71 c zirounding : 0.01 1 0
1801.19/1801.71 c rounding : 13.91 253 1
1801.19/1801.71 c shifting : 14.76 253 1
1801.19/1801.71 c intshifting : 0.00 0 0
1801.19/1801.71 c twoopt : 0.00 0 0
1801.19/1801.71 c fixandinfer : 0.00 0 0
1801.19/1801.71 c feaspump : 0.00 0 0
1801.19/1801.71 c coefdiving : 0.00 0 0
1801.19/1801.71 c pscostdiving : 0.00 0 0
1801.19/1801.71 c fracdiving : 0.00 0 0
1801.19/1801.71 c veclendiving : 0.00 0 0
1801.19/1801.71 c intdiving : 0.00 0 0
1801.19/1801.71 c actconsdiving : 0.00 0 0
1801.19/1801.71 c objpscostdiving : 0.00 0 0
1801.19/1801.71 c rootsoldiving : 0.00 0 0
1801.19/1801.71 c linesearchdiving : 0.00 0 0
1801.19/1801.71 c guideddiving : 0.00 0 0
1801.19/1801.71 c octane : 0.00 0 0
1801.19/1801.71 c rens : 0.00 0 0
1801.19/1801.71 c rins : 0.00 0 0
1801.19/1801.71 c localbranching : 0.00 0 0
1801.19/1801.71 c mutation : 0.00 0 0
1801.19/1801.71 c dins : 0.00 0 0
1801.19/1801.71 c undercover : 0.00 0 0
1801.19/1801.71 c nlp : 0.00 0 0
1801.19/1801.71 c trysol : 0.00 0 0
1801.19/1801.71 c LP : Time Calls Iterations Iter/call Iter/sec
1801.19/1801.71 c primal LP : 0.60 0 0 0.00 0.00
1801.19/1801.71 c dual LP : 667.01 253 378150 1494.66 566.93
1801.19/1801.71 c lex dual LP : 0.00 0 0 0.00 -
1801.19/1801.71 c barrier LP : 0.00 0 0 0.00 -
1801.19/1801.71 c diving/probing LP: 0.00 0 0 0.00 -
1801.19/1801.71 c strong branching : 0.00 0 0 0.00 -
1801.19/1801.71 c (at root node) : - 0 0 0.00 -
1801.19/1801.71 c conflict analysis: 0.00 0 0 0.00 -
1801.19/1801.71 c B&B Tree :
1801.19/1801.71 c number of runs : 1
1801.19/1801.71 c nodes : 1
1801.19/1801.71 c nodes (total) : 1
1801.19/1801.71 c nodes left : 2
1801.19/1801.71 c max depth : 0
1801.19/1801.71 c max depth (total): 0
1801.19/1801.71 c backtracks : 0 (0.0%)
1801.19/1801.71 c delayed cutoffs : 0
1801.19/1801.71 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.19/1801.71 c avg switch length: 1.00
1801.19/1801.71 c switching time : 0.00
1801.19/1801.71 c Solution :
1801.19/1801.71 c Solutions found : 54 (4 improvements)
1801.19/1801.71 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.34 seconds, depth 0, found by <trivial>)
1801.19/1801.71 c Primal Bound : -4.90000000000000e+01 (in run 1, after 1 nodes, 4.71 seconds, depth 0, found by <oneopt>)
1801.19/1801.71 c Dual Bound : -2.47688373969473e+02
1801.19/1801.71 c Gap : 80.22 %
1801.19/1801.71 c Root Dual Bound : -2.47688373969473e+02
1801.19/1801.71 c Root Iterations : 378150
1801.38/1801.97 c Time complete: 1801.46.