0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705565-1278572956.wbo>
0.00/0.03 c original problem has 3957 variables (2094 bin, 0 int, 1863 impl, 0 cont) and 4571 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.00/0.08 c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.00/0.09 c (round 3) 51 del vars, 149 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.08/0.10 c (round 4) 128 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.09/0.10 c (round 5) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 138 impls, 5 clqs
0.09/0.11 c (round 6) 132 del vars, 166 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 138 impls, 5 clqs
0.09/0.15 c (0.1s) probing: 101/2028 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (7 rounds):
0.09/0.15 c 132 deleted vars, 166 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.15 c 3714 implications, 5 cliques
0.09/0.15 c presolved problem has 3825 variables (2028 bin, 0 int, 1797 impl, 0 cont) and 4405 constraints
0.09/0.15 c 55 constraints of type <setppc>
0.09/0.15 c 1797 constraints of type <linear>
0.09/0.15 c 1797 constraints of type <indicator>
0.09/0.15 c 756 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.11
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.3
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1789.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/indicator/addCouplingCons = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.16 c 0.1s| 1 | 0 | 6 | - | 14M| 0 | 0 |3825 |4405 |3825 | 811 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 47 | - | 14M| 0 | 36 |3825 |4405 |3825 | 829 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 79 | - | 14M| 0 | 45 |3825 |4405 |3825 | 865 | 54 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 175 | - | 14M| 0 | 32 |3825 |4405 |3825 | 880 | 69 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 285 | - | 15M| 0 | 50 |3825 |4405 |3825 | 903 | 92 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.49 c 0.5s| 1 | 0 | 522 | - | 15M| 0 | 73 |3825 |4405 |3825 | 926 | 115 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.59 c 0.6s| 1 | 0 | 770 | - | 15M| 0 | 79 |3825 |4405 |3825 | 955 | 144 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.40 c 1.4s| 1 | 2 | 770 | - | 15M| 0 | 79 |3825 |4405 |3825 | 955 | 144 | 0 | 17 | 0.000000e+00 | -- | Inf
9.29/9.30 o 90811
9.29/9.30 c y 9.3s| 47 | 46 | 4997 | 91.9 | 16M| 18 | - |3825 |4405 | 0 | 0 | 236 | 0 | 621 | 0.000000e+00 | 9.081100e+04 | Inf
23.89/23.93 c 23.9s| 10000 | 10001 | 21862 | 2.1 | 37M| 677 | 0 |3825 |4405 |3825 |1004 |2012 | 0 | 817 | 0.000000e+00 | 9.081100e+04 | Inf
35.39/35.44 c 35.4s| 20000 | 19999 | 25000 | 1.2 | 55M|1199 | 0 |3825 |4410 |3825 | 999 |2405 | 5 | 820 | 0.000000e+00 | 9.081100e+04 | Inf
47.70/47.72 c 47.7s| 30000 | 29995 | 29689 | 1.0 | 72M|1199 | 0 |3825 |4412 |3825 | 999 |3017 | 7 | 831 | 0.000000e+00 | 9.081100e+04 | Inf
59.49/59.53 c 59.5s| 40000 | 39991 | 32349 | 0.8 | 89M|1199 | 0 |3825 |4416 |3825 | 987 |3484 | 11 | 835 | 0.000000e+00 | 9.081100e+04 | Inf
71.19/71.27 c 71.2s| 50000 | 49991 | 34695 | 0.7 | 105M|1199 | 0 |3825 |4416 |3825 |1040 |3829 | 11 | 837 | 0.000000e+00 | 9.081100e+04 | Inf
83.09/83.13 c 83.1s| 60000 | 59973 | 36476 | 0.6 | 122M|1199 | 0 |3825 |4440 |3825 | 993 |4152 | 35 | 837 | 0.000000e+00 | 9.081100e+04 | Inf
86.70/86.80 o 660
86.70/86.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.70/86.80 c *86.8s| 63205 | 49163 | 36865 | 0.6 | 105M|1306 | - |3825 |4446 |3825 |1003 |4233 | 41 | 837 | 0.000000e+00 | 6.600000e+02 | Inf
91.49/91.52 o 645
91.49/91.52 c *91.5s| 66359 | 51567 | 41137 | 0.6 | 110M|1306 | - |3825 |4738 |3825 | 995 |4842 | 334 | 839 | 0.000000e+00 | 6.450000e+02 | Inf
91.49/91.53 o 601
91.49/91.53 c *91.5s| 66360 | 48983 | 41137 | 0.6 | 106M|1306 | - |3825 |4738 |3825 | 995 |4842 | 334 | 839 | 0.000000e+00 | 6.010000e+02 | Inf
93.40/93.45 o 594
93.40/93.45 c *93.4s| 67577 | 49410 | 44006 | 0.6 | 108M|1306 | - |3825 |5143 |3825 | 996 |5237 | 773 | 840 | 0.000000e+00 | 5.940000e+02 | Inf
93.79/93.80 o 589
93.79/93.80 c *93.8s| 67821 | 49111 | 44060 | 0.6 | 108M|1306 | - |3825 |5179 |3825 | 999 |5244 | 812 | 840 | 0.000000e+00 | 5.890000e+02 | Inf
95.20/95.27 o 559
95.20/95.27 c *95.2s| 68735 | 46451 | 45562 | 0.7 | 104M|1306 | - |3825 |5417 |3825 | 988 |5482 |1090 | 842 | 0.000000e+00 | 5.590000e+02 | Inf
95.40/95.41 o 541
95.40/95.41 c *95.4s| 68812 | 44184 | 45816 | 0.7 | 101M|1306 | - |3825 |5434 |3825 | 980 |5484 |1118 | 842 | 0.000000e+00 | 5.410000e+02 | Inf
95.99/96.07 o 433
95.99/96.07 c *96.0s| 69146 | 31982 | 47025 | 0.7 | 79M|1306 | - |3825 |5536 |3825 | 985 |5630 |1254 | 842 | 0.000000e+00 | 4.330000e+02 | Inf
96.19/96.28 o 414
96.19/96.28 c *96.3s| 69265 | 30609 | 47211 | 0.7 | 77M|1306 | - |3825 |5559 |3825 | 982 |5667 |1286 | 842 | 0.000000e+00 | 4.140000e+02 | Inf
96.80/96.86 o 409
96.80/96.86 c *96.8s| 69584 | 30497 | 47893 | 0.7 | 77M|1306 | - |3825 |5634 |3825 | 986 |5795 |1381 | 847 | 0.000000e+00 | 4.090000e+02 | Inf
96.80/96.87 o 365
96.80/96.87 c *96.8s| 69585 | 27231 | 47893 | 0.7 | 71M|1306 | - |3825 |5634 |3825 | 986 |5795 |1381 | 847 | 0.000000e+00 | 3.650000e+02 | Inf
96.89/96.99 o 320
96.89/96.99 c *97.0s| 69659 | 23895 | 47907 | 0.7 | 66M|1306 | - |3825 |5636 |3825 | 979 |5799 |1385 | 847 | 0.000000e+00 | 3.200000e+02 | Inf
96.99/97.06 o 315
96.99/97.06 c *97.0s| 69693 | 23459 | 47962 | 0.7 | 65M|1306 | - |3825 |5635 |3825 | 989 |5813 |1387 | 847 | 0.000000e+00 | 3.150000e+02 | Inf
97.69/97.78 c 97.8s| 70000 | 23678 | 49365 | 0.7 | 66M|1306 | 0 |3825 |5778 |3825 | 985 |6049 |1592 | 864 | 0.000000e+00 | 3.150000e+02 | Inf
100.10/100.18 o 308
100.10/100.18 c * 100s| 70990 | 23592 | 55387 | 0.8 | 67M|1306 | - |3825 |6222 |3825 | 984 |6879 |2305 | 904 | 0.000000e+00 | 3.080000e+02 | Inf
100.10/100.19 o 306
100.10/100.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.10/100.19 c * 100s| 70992 | 23412 | 55407 | 0.8 | 67M|1306 | - |3825 |6222 |3825 | 984 |6879 |2305 | 904 | 0.000000e+00 | 3.060000e+02 | Inf
100.20/100.20 o 299
100.20/100.20 c * 100s| 70993 | 22701 | 55407 | 0.8 | 66M|1306 | - |3825 |6222 |3825 | 984 |6879 |2305 | 904 | 0.000000e+00 | 2.990000e+02 | Inf
100.80/100.82 o 289
100.80/100.82 c * 101s| 71235 | 21948 | 57314 | 0.8 | 65M|1306 | - |3825 |6263 |3825 | 989 |7059 |2407 | 908 | 0.000000e+00 | 2.890000e+02 | Inf
103.00/103.05 o 277
103.00/103.05 c * 103s| 72175 | 21562 | 63375 | 0.9 | 66M|1306 | - |3825 |6660 |3825 |1006 |7676 |2980 | 918 | 0.000000e+00 | 2.770000e+02 | Inf
109.30/109.39 o 257
109.30/109.39 c * 109s| 74741 | 21031 | 79454 | 1.1 | 69M|1306 | - |3825 |7740 |3825 | 992 |9503 |4813 | 925 | 0.000000e+00 | 2.570000e+02 | Inf
111.29/111.30 o 243
111.29/111.30 c * 111s| 75432 | 20015 | 85208 | 1.1 | 68M|1306 | - |3825 |8001 |3825 | 983 | 10k|5356 | 957 | 0.000000e+00 | 2.430000e+02 | Inf
111.29/111.31 o 233
111.29/111.31 c * 111s| 75433 | 18979 | 85218 | 1.1 | 66M|1306 | - |3825 |8001 |3825 | 983 | 10k|5356 | 957 | 0.000000e+00 | 2.330000e+02 | Inf
114.79/114.81 o 231
114.79/114.81 c * 115s| 76674 | 19517 | 97140 | 1.3 | 69M|1306 | - |3825 |8076 |3825 | 998 | 11k|6299 | 982 | 0.000000e+00 | 2.310000e+02 | Inf
114.79/114.86 o 217
114.79/114.86 c * 115s| 76742 | 18178 | 97168 | 1.3 | 66M|1306 | - |3825 |8076 |3825 | 998 | 11k|6299 | 982 | 0.000000e+00 | 2.170000e+02 | Inf
116.39/116.50 o 214
116.39/116.50 c * 116s| 77298 | 18147 |102038 | 1.3 | 66M|1306 | - |3825 |7872 |3825 | 985 | 11k|6716 | 985 | 0.000000e+00 | 2.140000e+02 | Inf
121.59/121.70 o 213
121.59/121.70 c * 122s| 79026 | 18967 |121871 | 1.5 | 71M|1306 | - |3825 |7464 |3825 | 996 | 13k|7996 |1027 | 0.000000e+00 | 2.130000e+02 | Inf
121.69/121.71 o 209
121.69/121.71 c * 122s| 79030 | 18572 |121918 | 1.5 | 70M|1306 | - |3825 |7464 |3825 | 996 | 13k|7996 |1027 | 0.000000e+00 | 2.090000e+02 | Inf
125.00/125.07 c 125s| 80000 | 19004 |138273 | 1.7 | 74M|1306 | - |3825 |7413 | 0 | 0 | 15k|8853 |1047 | 0.000000e+00 | 2.090000e+02 | Inf
127.80/127.80 o 202
127.80/127.80 c * 128s| 80833 | 18764 |148924 | 1.8 | 75M|1306 | - |3825 |7328 |3825 | 993 | 16k|9529 |1047 | 0.000000e+00 | 2.020000e+02 | Inf
127.80/127.80 o 198
127.80/127.80 c * 128s| 80834 | 18371 |148924 | 1.8 | 74M|1306 | - |3825 |7328 |3825 | 993 | 16k|9529 |1047 | 0.000000e+00 | 1.980000e+02 | Inf
128.49/128.58 o 193
128.49/128.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.49/128.58 c * 129s| 81089 | 18095 |152382 | 1.9 | 73M|1306 | - |3825 |7346 |3825 | 975 | 16k|9728 |1047 | 0.000000e+00 | 1.930000e+02 | Inf
128.70/128.72 o 185
128.70/128.72 c * 129s| 81135 | 17343 |153076 | 1.9 | 71M|1306 | - |3825 |7344 |3825 | 984 | 16k|9764 |1047 | 0.000000e+00 | 1.850000e+02 | Inf
128.70/128.73 o 178
128.70/128.73 c * 129s| 81136 | 16578 |153093 | 1.9 | 69M|1306 | - |3825 |7344 |3825 | 984 | 16k|9764 |1047 | 0.000000e+00 | 1.780000e+02 | Inf
129.09/129.15 o 177
129.09/129.15 c * 129s| 81243 | 16497 |155076 | 1.9 | 69M|1306 | - |3825 |7326 |3825 | 950 | 16k|9843 |1056 | 0.000000e+00 | 1.770000e+02 | Inf
129.09/129.15 o 173
129.09/129.15 c * 129s| 81244 | 16141 |155084 | 1.9 | 68M|1306 | - |3825 |7326 |3825 | 950 | 16k|9843 |1056 | 0.000000e+00 | 1.730000e+02 | Inf
129.50/129.59 o 169
129.50/129.59 c * 130s| 81403 | 15814 |156912 | 1.9 | 68M|1306 | - |3825 |7412 |3825 | 965 | 17k|9975 |1070 | 0.000000e+00 | 1.690000e+02 | Inf
131.40/131.42 o 164
131.40/131.42 c * 131s| 81995 | 15551 |161279 | 2.0 | 68M|1306 | - |3825 |7374 |3825 |1015 | 17k| 10k|1091 | 0.000000e+00 | 1.640000e+02 | Inf
131.40/131.42 o 160
131.40/131.42 c * 131s| 81996 | 15139 |161287 | 2.0 | 66M|1306 | - |3825 |7374 |3825 |1015 | 17k| 10k|1091 | 0.000000e+00 | 1.600000e+02 | Inf
136.30/136.35 o 159
136.30/136.35 c * 136s| 83614 | 15523 |178471 | 2.1 | 70M|1306 | - |3825 |7471 |3825 |1001 | 19k| 12k|1101 | 0.000000e+00 | 1.590000e+02 | Inf
136.90/136.93 o 143
136.90/136.93 c * 137s| 83785 | 13919 |181654 | 2.2 | 65M|1306 | - |3825 |7394 |3825 | 973 | 19k| 12k|1102 | 0.000000e+00 | 1.430000e+02 | Inf
136.90/136.93 o 128
136.90/136.93 c * 137s| 83786 | 12242 |181667 | 2.2 | 59M|1306 | - |3825 |7394 |3825 | 973 | 19k| 12k|1102 | 0.000000e+00 | 1.280000e+02 | Inf
137.00/137.07 o 126
137.00/137.07 c * 137s| 83815 | 11973 |182190 | 2.2 | 58M|1306 | - |3825 |7398 |3825 | 969 | 19k| 12k|1102 | 0.000000e+00 | 1.260000e+02 | Inf
137.19/137.22 o 125
137.19/137.22 c * 137s| 83854 | 11865 |182768 | 2.2 | 57M|1306 | - |3825 |7412 |3825 | 962 | 19k| 12k|1102 | 0.000000e+00 | 1.250000e+02 | Inf
140.70/140.74 o 121
140.70/140.74 c * 141s| 84869 | 11810 |197162 | 2.3 | 61M|1306 | - |3825 |7635 |3825 | 984 | 20k| 13k|1142 | 0.000000e+00 | 1.210000e+02 | Inf
141.10/141.18 o 118
141.10/141.18 c * 141s| 85009 | 11490 |198592 | 2.3 | 60M|1306 | - |3825 |7626 |3825 | 961 | 21k| 13k|1145 | 0.000000e+00 | 1.180000e+02 | Inf
144.80/144.81 o 107
144.80/144.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.80/144.81 c * 145s| 86376 | 10926 |206729 | 2.4 | 60M|1306 | - |3825 |7391 |3825 | 974 | 22k| 14k|1156 | 0.000000e+00 | 1.070000e+02 | Inf
144.80/144.81 o 103
144.80/144.81 c * 145s| 86377 | 10530 |206729 | 2.4 | 58M|1306 | - |3825 |7391 |3825 | 974 | 22k| 14k|1156 | 0.000000e+00 | 1.030000e+02 | Inf
144.80/144.84 o 98
144.80/144.84 c * 145s| 86383 | 10059 |206803 | 2.4 | 58M|1306 | - |3825 |7383 |3825 | 972 | 22k| 14k|1156 | 0.000000e+00 | 9.800000e+01 | Inf
144.80/144.85 o 94
144.80/144.85 c * 145s| 86384 | 9613 |206803 | 2.4 | 56M|1306 | - |3825 |7383 |3825 | 972 | 22k| 14k|1156 | 0.000000e+00 | 9.400000e+01 | Inf
144.80/144.89 o 84
144.80/144.89 c * 145s| 86390 | 8409 |206870 | 2.4 | 53M|1306 | - |3825 |7228 |3825 | 976 | 22k| 14k|1156 | 0.000000e+00 | 8.400000e+01 | Inf
144.90/144.90 o 80
144.90/144.90 c * 145s| 86391 | 8021 |206870 | 2.4 | 51M|1306 | - |3825 |7228 |3825 | 976 | 22k| 14k|1156 | 0.000000e+00 | 8.000000e+01 | Inf
145.21/145.23 o 74
145.21/145.23 c * 145s| 86491 | 7403 |207631 | 2.4 | 49M|1306 | - |3825 |6850 |3825 | 984 | 22k| 14k|1156 | 0.000000e+00 | 7.400000e+01 | Inf
145.21/145.23 o 64
145.21/145.23 c * 145s| 86492 | 6312 |207636 | 2.4 | 46M|1306 | - |3825 |6850 |3825 | 984 | 22k| 14k|1156 | 0.000000e+00 | 6.400000e+01 | Inf
145.30/145.38 o 61
145.30/145.38 c * 145s| 86514 | 6083 |208167 | 2.4 | 45M|1306 | - |3825 |6294 |3825 | 980 | 22k| 14k|1157 | 0.000000e+00 | 6.100000e+01 | Inf
145.80/145.81 o 56
145.80/145.81 c * 146s| 86621 | 5640 |210248 | 2.4 | 43M|1306 | - |3825 |6017 |3825 | 988 | 22k| 14k|1161 | 0.000000e+00 | 5.600000e+01 | Inf
145.89/145.97 o 54
145.89/145.97 c * 146s| 86651 | 5485 |210922 | 2.4 | 43M|1306 | - |3825 |5694 |3825 | 970 | 22k| 14k|1161 | 0.000000e+00 | 5.400000e+01 | Inf
146.89/146.95 o 52
146.89/146.95 c * 147s| 86988 | 5350 |214939 | 2.5 | 43M|1306 | - |3825 |5209 |3825 | 991 | 22k| 15k|1161 | 0.000000e+00 | 5.200000e+01 | Inf
146.89/146.96 o 48
146.89/146.96 c * 147s| 86989 | 4121 |214939 | 2.5 | 37M|1306 | - |3825 |5209 |3825 | 991 | 22k| 15k|1161 | 0.000000e+00 | 4.800000e+01 | Inf
153.29/153.30 c 153s| 90000 | 4102 |236114 | 2.6 | 41M|1306 | 1 |3825 |5631 |3825 | 959 | 23k| 18k|1161 | 0.000000e+00 | 4.800000e+01 | Inf
155.29/155.39 o 37
155.29/155.39 c * 155s| 91135 | 3498 |241795 | 2.6 | 40M|1306 | - |3825 |6278 |3825 | 951 | 24k| 20k|1161 | 0.000000e+00 | 3.700000e+01 | Inf
162.89/162.99 o 30
162.89/162.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.89/162.99 c * 163s| 95391 | 3265 |262536 | 2.7 | 41M|1306 | - |3825 |6831 |3825 | 963 | 25k| 25k|1161 | 0.000000e+00 | 3.000000e+01 | Inf
164.69/164.78 o 25
164.69/164.78 c * 165s| 96445 | 3104 |266237 | 2.8 | 41M|1306 | - |3825 |6891 |3825 | 968 | 25k| 26k|1161 | 0.000000e+00 | 2.500000e+01 | Inf
165.89/165.99 o 16
165.89/165.99 c * 166s| 97221 | 2424 |268433 | 2.8 | 38M|1306 | - |3825 |6895 |3825 | 965 | 25k| 27k|1161 | 0.000000e+00 | 1.600000e+01 | Inf
170.30/170.32 c 170s|100000 | 2466 |282770 | 2.8 | 39M|1306 | - |3825 |5779 | 0 | 0 | 26k| 31k|1161 | 0.000000e+00 | 1.600000e+01 | Inf
171.29/171.34 o 12
171.29/171.34 c * 171s|100680 | 2286 |285763 | 2.8 | 39M|1306 | - |3825 |6288 |3825 | 962 | 26k| 32k|1161 | 0.000000e+00 | 1.200000e+01 | Inf
185.00/185.02 c 185s|110000 | 2315 |331585 | 3.0 | 41M|1306 | 6 |3825 |7543 |3825 | 961 | 28k| 45k|1161 | 0.000000e+00 | 1.200000e+01 | Inf
199.99/200.04 c 200s|120000 | 2334 |378376 | 3.1 | 43M|1306 | 1 |3825 |9759 |3825 | 958 | 31k| 58k|1161 | 0.000000e+00 | 1.200000e+01 | Inf
215.39/215.46 c 215s|130000 | 2371 |424260 | 3.3 | 44M|1306 | - |3825 | 11k| 0 | 0 | 33k| 71k|1161 | 0.000000e+00 | 1.200000e+01 | Inf
231.59/231.69 c 232s|140000 | 2549 |473969 | 3.4 | 47M|1306 | - |3825 | 12k| 0 | 0 | 35k| 83k|1182 | 0.000000e+00 | 1.200000e+01 | Inf
248.50/248.53 c 249s|150000 | 2601 |520544 | 3.5 | 48M|1306 | 14 |3825 | 12k|3825 | 949 | 37k| 97k|1252 | 0.000000e+00 | 1.200000e+01 | Inf
264.60/264.62 c 265s|160000 | 2647 |566289 | 3.5 | 49M|1306 | 19 |3825 | 11k|3825 | 974 | 39k| 110k|1304 | 0.000000e+00 | 1.200000e+01 | Inf
281.10/281.16 c 281s|170000 | 2633 |616276 | 3.6 | 50M|1306 | - |3825 | 13k| 0 | 0 | 41k| 124k|1357 | 0.000000e+00 | 1.200000e+01 | Inf
286.40/286.47 o 11
286.40/286.47 c * 286s|173376 | 2572 |629666 | 3.6 | 49M|1306 | - |3825 | 12k|3825 | 967 | 42k| 128k|1428 | 0.000000e+00 | 1.100000e+01 | Inf
286.60/286.60 o 9
286.60/286.60 c * 287s|173456 | 2372 |629962 | 3.6 | 48M|1306 | - |3825 | 12k|3825 | 970 | 42k| 128k|1428 | 0.000000e+00 | 9.000000e+00 | Inf
296.70/296.78 c 297s|180000 | 2336 |662913 | 3.7 | 47M|1306 | 23 |3825 |9012 |3825 | 973 | 43k| 137k|1466 | 0.000000e+00 | 9.000000e+00 | Inf
312.11/312.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.11/312.15 c 312s|190000 | 2363 |711741 | 3.7 | 49M|1306 | 14 |3825 | 12k|3825 | 962 | 46k| 150k|1530 | 0.000000e+00 | 9.000000e+00 | Inf
328.40/328.49 c 328s|200000 | 2322 |758522 | 3.8 | 49M|1306 | 14 |3825 | 11k|3825 | 955 | 48k| 163k|1618 | 0.000000e+00 | 9.000000e+00 | Inf
345.10/345.14 c 345s|210000 | 2419 |807234 | 3.8 | 51M|1306 | 1 |3825 | 13k|3825 | 965 | 51k| 176k|1668 | 0.000000e+00 | 9.000000e+00 | Inf
362.00/362.05 c 362s|220000 | 2389 |859665 | 3.9 | 52M|1306 | 9 |3825 | 13k|3825 | 997 | 54k| 189k|1768 | 0.000000e+00 | 9.000000e+00 | Inf
374.50/374.52 o 8
374.50/374.52 c * 374s|227661 | 2471 |897788 | 3.9 | 52M|1306 | - |3825 | 11k|3825 | 973 | 56k| 199k|1808 | 0.000000e+00 | 8.000000e+00 | Inf
378.20/378.24 c 378s|230000 | 2497 |907635 | 3.9 | 52M|1306 | - |3825 | 12k| 0 | 0 | 57k| 202k|1852 | 0.000000e+00 | 8.000000e+00 | Inf
394.81/394.83 c 395s|240000 | 2690 |959371 | 4.0 | 55M|1306 | - |3825 | 13k| 0 | 0 | 60k| 215k|1919 | 0.000000e+00 | 8.000000e+00 | Inf
411.50/411.52 c 411s|250000 | 2835 | 1006k| 4.0 | 57M|1306 | 6 |3825 | 13k|3825 | 963 | 62k| 228k|1991 | 0.000000e+00 | 8.000000e+00 | Inf
428.41/428.46 c 428s|260000 | 2921 | 1058k| 4.1 | 58M|1306 | 1 |3825 | 13k|3825 | 949 | 65k| 241k|2040 | 0.000000e+00 | 8.000000e+00 | Inf
445.11/445.13 c 445s|270000 | 3084 | 1110k| 4.1 | 60M|1306 | 18 |3825 | 16k|3825 | 997 | 67k| 256k|2123 | 0.000000e+00 | 8.000000e+00 | Inf
462.40/462.49 c 462s|280000 | 3122 | 1168k| 4.2 | 60M|1306 | 21 |3825 | 12k|3825 | 966 | 70k| 269k|2221 | 0.000000e+00 | 8.000000e+00 | Inf
473.02/473.06 o 5
473.02/473.06 c * 473s|286540 | 2707 | 1201k| 4.2 | 55M|1306 | - |3825 | 13k|3825 | 958 | 71k| 278k|2235 | 0.000000e+00 | 5.000000e+00 | Inf
478.81/478.84 c 479s|290000 | 2696 | 1219k| 4.2 | 55M|1306 | 1 |3825 | 12k|3825 | 949 | 72k| 282k|2292 | 0.000000e+00 | 5.000000e+00 | Inf
495.02/495.05 c 495s|300000 | 2754 | 1269k| 4.2 | 56M|1306 | 16 |3825 | 10k|3825 | 949 | 74k| 296k|2377 | 0.000000e+00 | 5.000000e+00 | Inf
511.01/511.06 c 511s|310000 | 2988 | 1318k| 4.3 | 58M|1306 | - |3825 | 12k| 0 | 0 | 77k| 309k|2430 | 0.000000e+00 | 5.000000e+00 | Inf
528.02/528.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
528.02/528.01 c 528s|320000 | 3160 | 1374k| 4.3 | 61M|1306 | 1 |3825 | 15k|3825 | 969 | 79k| 324k|2477 | 0.000000e+00 | 5.000000e+00 | Inf
545.11/545.11 c 545s|330000 | 3266 | 1427k| 4.3 | 62M|1306 | - |3825 | 15k| 0 | 0 | 82k| 338k|2526 | 0.000000e+00 | 5.000000e+00 | Inf
562.41/562.44 c 562s|340000 | 3480 | 1484k| 4.4 | 64M|1306 | - |3825 | 16k|3825 | 971 | 84k| 352k|2571 | 0.000000e+00 | 5.000000e+00 | Inf
579.62/579.65 c 580s|350000 | 3403 | 1537k| 4.4 | 64M|1306 | 8 |3825 | 15k|3825 | 972 | 87k| 367k|2646 | 0.000000e+00 | 5.000000e+00 | Inf
596.71/596.77 c 597s|360000 | 3423 | 1591k| 4.4 | 65M|1306 | - |3825 | 14k| 0 | 0 | 89k| 381k|2725 | 0.000000e+00 | 5.000000e+00 | Inf
613.31/613.37 c 613s|370000 | 3378 | 1644k| 4.4 | 65M|1306 | 12 |3825 | 15k|3825 | 971 | 90k| 396k|2800 | 0.000000e+00 | 5.000000e+00 | Inf
630.81/630.87 c 631s|380000 | 3414 | 1701k| 4.5 | 65M|1306 | - |3825 | 14k| 0 | 0 | 93k| 411k|2862 | 0.000000e+00 | 5.000000e+00 | Inf
647.51/647.53 c 647s|390000 | 3476 | 1753k| 4.5 | 66M|1306 | 1 |3825 | 15k|3825 | 961 | 95k| 425k|2915 | 0.000000e+00 | 5.000000e+00 | Inf
664.92/664.93 c 665s|400000 | 3440 | 1809k| 4.5 | 67M|1306 | 20 |3825 | 14k|3825 | 982 | 97k| 440k|2979 | 0.000000e+00 | 5.000000e+00 | Inf
681.71/681.79 c 682s|410000 | 3461 | 1863k| 4.5 | 67M|1306 | 1 |3825 | 13k|3825 | 959 | 99k| 454k|3051 | 0.000000e+00 | 5.000000e+00 | Inf
699.22/699.29 c 699s|420000 | 3545 | 1923k| 4.6 | 68M|1306 | - |3825 | 13k| 0 | 0 | 101k| 467k|3126 | 0.000000e+00 | 5.000000e+00 | Inf
717.82/717.81 c 718s|430000 | 3600 | 1995k| 4.6 | 70M|1306 | 23 |3825 | 16k|3825 | 969 | 103k| 481k|3180 | 0.000000e+00 | 5.000000e+00 | Inf
735.21/735.22 c 735s|440000 | 3735 | 2048k| 4.7 | 72M|1306 | - |3825 | 17k| 0 | 0 | 105k| 495k|3252 | 0.000000e+00 | 5.000000e+00 | Inf
753.12/753.14 c 753s|450000 | 3776 | 2108k| 4.7 | 72M|1306 | 11 |3825 | 15k|3825 | 972 | 108k| 509k|3317 | 0.000000e+00 | 5.000000e+00 | Inf
769.82/769.80 c 770s|460000 | 3787 | 2166k| 4.7 | 73M|1306 | - |3825 | 17k| 0 | 0 | 110k| 524k|3375 | 0.000000e+00 | 5.000000e+00 | Inf
787.02/787.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.02/787.07 c 787s|470000 | 3849 | 2223k| 4.7 | 74M|1306 | 1 |3825 | 18k|3825 | 971 | 113k| 538k|3442 | 0.000000e+00 | 5.000000e+00 | Inf
804.52/804.51 c 804s|480000 | 3881 | 2273k| 4.7 | 75M|1306 | - |3825 | 17k|3825 | 991 | 115k| 552k|3516 | 0.000000e+00 | 5.000000e+00 | Inf
821.72/821.79 c 822s|490000 | 3838 | 2326k| 4.7 | 73M|1306 | 10 |3825 | 12k|3825 | 958 | 117k| 566k|3577 | 0.000000e+00 | 5.000000e+00 | Inf
838.72/838.79 c 839s|500000 | 3845 | 2386k| 4.8 | 74M|1306 | 12 |3825 | 13k|3825 | 949 | 119k| 580k|3677 | 0.000000e+00 | 5.000000e+00 | Inf
856.62/856.61 c 857s|510000 | 3869 | 2446k| 4.8 | 74M|1306 | 15 |3825 | 13k|3825 | 970 | 122k| 594k|3736 | 0.000000e+00 | 5.000000e+00 | Inf
874.42/874.42 c 874s|520000 | 3941 | 2503k| 4.8 | 76M|1306 | 17 |3825 | 16k|3825 | 980 | 124k| 607k|3786 | 0.000000e+00 | 5.000000e+00 | Inf
892.13/892.11 c 892s|530000 | 3926 | 2557k| 4.8 | 76M|1306 | 26 |3825 | 14k|3825 | 970 | 126k| 621k|3868 | 0.000000e+00 | 5.000000e+00 | Inf
908.53/908.53 c 909s|540000 | 3971 | 2606k| 4.8 | 77M|1306 | - |3825 | 15k| 0 | 0 | 128k| 636k|3925 | 0.000000e+00 | 5.000000e+00 | Inf
925.42/925.48 c 925s|550000 | 3970 | 2657k| 4.8 | 78M|1306 | - |3825 | 16k| 0 | 0 | 130k| 650k|3999 | 0.000000e+00 | 5.000000e+00 | Inf
942.83/942.81 c 943s|560000 | 3942 | 2710k| 4.8 | 78M|1306 | - |3825 | 16k|3825 | 980 | 133k| 664k|4033 | 0.000000e+00 | 5.000000e+00 | Inf
960.53/960.59 c 961s|570000 | 4082 | 2765k| 4.9 | 80M|1306 | - |3825 | 19k| 0 | 0 | 135k| 678k|4094 | 0.000000e+00 | 5.000000e+00 | Inf
978.53/978.59 c 979s|580000 | 3751 | 2823k| 4.9 | 75M|1306 | - |3825 | 13k| 0 | 0 | 138k| 692k|4242 | 0.000000e+00 | 5.000000e+00 | Inf
996.42/996.40 c 996s|590000 | 3744 | 2882k| 4.9 | 74M|1306 | 1 |3825 | 13k|3825 | 968 | 140k| 706k|4282 | 0.000000e+00 | 5.000000e+00 | Inf
1014.13/1014.12 c 1014s|600000 | 3939 | 2944k| 4.9 | 77M|1306 | - |3825 | 15k| 0 | 0 | 142k| 720k|4332 | 0.000000e+00 | 5.000000e+00 | Inf
1031.13/1031.20 c 1031s|610000 | 3672 | 3001k| 4.9 | 74M|1306 | 6 |3825 | 12k|3825 | 969 | 144k| 735k|4409 | 0.000000e+00 | 5.000000e+00 | Inf
1047.73/1047.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1047.73/1047.70 c 1048s|620000 | 3313 | 3056k| 4.9 | 69M|1306 | - |3825 |8276 | 0 | 0 | 146k| 749k|4530 | 0.000000e+00 | 5.000000e+00 | Inf
1064.33/1064.40 c 1064s|630000 | 3240 | 3122k| 5.0 | 68M|1306 | - |3825 |8348 | 0 | 0 | 149k| 762k|4645 | 0.000000e+00 | 5.000000e+00 | Inf
1080.14/1080.13 c 1080s|640000 | 3399 | 3175k| 5.0 | 71M|1306 | - |3825 | 11k| 0 | 0 | 151k| 776k|4734 | 0.000000e+00 | 5.000000e+00 | Inf
1097.13/1097.11 c 1097s|650000 | 3490 | 3227k| 5.0 | 72M|1306 | 7 |3825 | 12k|3825 | 967 | 153k| 790k|4786 | 0.000000e+00 | 5.000000e+00 | Inf
1103.83/1103.84 o 3
1103.83/1103.84 c *1104s|653838 | 3287 | 3251k| 5.0 | 68M|1306 | - |3825 | 13k|3825 | 966 | 153k| 795k|4814 | 0.000000e+00 | 3.000000e+00 | Inf
1114.33/1114.37 c 1114s|660000 | 3350 | 3282k| 5.0 | 69M|1306 | 6 |3825 | 14k|3825 | 970 | 154k| 804k|4838 | 0.000000e+00 | 3.000000e+00 | Inf
1131.84/1131.81 c 1132s|670000 | 3405 | 3331k| 5.0 | 71M|1306 | - |3825 | 15k| 0 | 0 | 156k| 818k|4899 | 0.000000e+00 | 3.000000e+00 | Inf
1150.03/1150.04 c 1150s|680000 | 3527 | 3390k| 5.0 | 72M|1306 | 30 |3825 | 12k|3825 | 966 | 158k| 831k|4936 | 0.000000e+00 | 3.000000e+00 | Inf
1167.93/1167.94 c 1168s|690000 | 3771 | 3446k| 5.0 | 76M|1306 | - |3825 | 18k| 0 | 0 | 159k| 845k|4957 | 0.000000e+00 | 3.000000e+00 | Inf
1185.94/1185.90 c 1186s|700000 | 3843 | 3500k| 5.0 | 77M|1306 | 12 |3825 | 16k|3825 | 949 | 161k| 859k|5004 | 0.000000e+00 | 3.000000e+00 | Inf
1203.34/1203.40 c 1203s|710000 | 3867 | 3547k| 5.0 | 77M|1306 | 14 |3825 | 13k|3825 | 965 | 163k| 872k|5089 | 0.000000e+00 | 3.000000e+00 | Inf
1219.44/1219.49 c 1219s|720000 | 4000 | 3595k| 5.0 | 79M|1306 | - |3825 | 17k| 0 | 0 | 165k| 886k|5090 | 0.000000e+00 | 3.000000e+00 | Inf
1236.84/1236.88 c 1237s|730000 | 4081 | 3644k| 5.0 | 82M|1306 | 8 |3825 | 21k|3825 | 973 | 166k| 900k|5126 | 0.000000e+00 | 3.000000e+00 | Inf
1254.93/1254.99 c 1255s|740000 | 4227 | 3695k| 5.0 | 82M|1306 | - |3825 | 18k| 0 | 0 | 168k| 914k|5189 | 0.000000e+00 | 3.000000e+00 | Inf
1273.44/1273.45 c 1273s|750000 | 4398 | 3746k| 5.0 | 84M|1306 | 5 |3825 | 20k|3825 | 965 | 170k| 928k|5223 | 0.000000e+00 | 3.000000e+00 | Inf
1291.73/1291.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.73/1291.75 c 1292s|760000 | 4515 | 3793k| 5.0 | 86M|1306 | - |3825 | 20k| 0 | 0 | 171k| 943k|5230 | 0.000000e+00 | 3.000000e+00 | Inf
1310.34/1310.38 c 1310s|770000 | 4559 | 3842k| 5.0 | 87M|1306 | - |3825 | 21k| 0 | 0 | 173k| 957k|5281 | 0.000000e+00 | 3.000000e+00 | Inf
1330.03/1330.05 c 1330s|780000 | 4597 | 3896k| 5.0 | 87M|1306 | 11 |3825 | 19k|3825 | 965 | 175k| 972k|5332 | 0.000000e+00 | 3.000000e+00 | Inf
1348.74/1348.77 c 1349s|790000 | 4678 | 3945k| 5.0 | 89M|1306 | 20 |3825 | 20k|3825 | 987 | 177k| 987k|5348 | 0.000000e+00 | 3.000000e+00 | Inf
1367.74/1367.70 c 1368s|800000 | 4773 | 3998k| 5.0 | 91M|1306 | 6 |3825 | 21k|3825 | 965 | 179k|1001k|5378 | 0.000000e+00 | 3.000000e+00 | Inf
1386.44/1386.45 c 1386s|810000 | 4865 | 4047k| 5.0 | 92M|1306 | 1 |3825 | 21k|3825 | 976 | 181k|1016k|5433 | 0.000000e+00 | 3.000000e+00 | Inf
1405.24/1405.26 c 1405s|820000 | 4732 | 4098k| 5.0 | 90M|1306 | - |3825 | 17k| 0 | 0 | 183k|1031k|5485 | 0.000000e+00 | 3.000000e+00 | Inf
1423.54/1423.53 c 1424s|830000 | 4905 | 4152k| 5.0 | 92M|1306 | - |3825 | 20k| 0 | 0 | 185k|1044k|5495 | 0.000000e+00 | 3.000000e+00 | Inf
1442.64/1442.60 c 1443s|840000 | 4714 | 4212k| 5.0 | 89M|1306 | - |3825 | 15k| 0 | 0 | 187k|1058k|5532 | 0.000000e+00 | 3.000000e+00 | Inf
1459.94/1459.99 c 1460s|850000 | 4645 | 4260k| 5.0 | 87M|1306 | 20 |3825 | 15k|3825 | 962 | 189k|1073k|5578 | 0.000000e+00 | 3.000000e+00 | Inf
1478.74/1478.75 c 1479s|860000 | 4408 | 4316k| 5.0 | 85M|1306 | - |3825 | 13k| 0 | 0 | 192k|1087k|5634 | 0.000000e+00 | 3.000000e+00 | Inf
1495.65/1495.66 c 1496s|870000 | 4373 | 4364k| 5.0 | 84M|1306 | - |3825 | 14k| 0 | 0 | 193k|1100k|5635 | 0.000000e+00 | 3.000000e+00 | Inf
1512.74/1512.75 c 1513s|880000 | 3333 | 4411k| 5.0 | 69M|1306 | 17 |3825 |8084 |3825 | 949 | 195k|1116k|5805 | 0.000000e+00 | 3.000000e+00 | Inf
1528.44/1528.43 c 1528s|890000 | 3072 | 4468k| 5.0 | 67M|1306 | - |3825 |8742 | 0 | 0 | 198k|1129k|5877 | 0.000000e+00 | 3.000000e+00 | Inf
1544.74/1544.76 c 1545s|900000 | 3186 | 4526k| 5.0 | 68M|1306 | - |3825 | 10k| 0 | 0 | 200k|1142k|5906 | 0.000000e+00 | 3.000000e+00 | Inf
1561.95/1561.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1561.95/1561.98 c 1562s|910000 | 3317 | 4586k| 5.0 | 70M|1306 | 20 |3825 | 12k|3825 | 962 | 202k|1156k|5942 | 0.000000e+00 | 3.000000e+00 | Inf
1579.65/1579.67 c 1580s|920000 | 3426 | 4638k| 5.0 | 72M|1306 | 1 |3825 | 15k|3825 | 982 | 204k|1169k|5992 | 0.000000e+00 | 3.000000e+00 | Inf
1597.04/1597.04 c 1597s|930000 | 3474 | 4687k| 5.0 | 73M|1306 | - |3825 | 15k| 0 | 0 | 205k|1183k|6020 | 0.000000e+00 | 3.000000e+00 | Inf
1614.55/1614.51 c 1614s|940000 | 3527 | 4741k| 5.0 | 74M|1306 | - |3825 | 14k| 0 | 0 | 207k|1197k|6044 | 0.000000e+00 | 3.000000e+00 | Inf
1633.45/1633.42 c 1633s|950000 | 3672 | 4798k| 5.1 | 77M|1306 | 17 |3825 | 17k|3825 |1002 | 209k|1211k|6087 | 0.000000e+00 | 3.000000e+00 | Inf
1652.45/1652.49 c 1652s|960000 | 3725 | 4860k| 5.1 | 77M|1306 | 20 |3825 | 16k|3825 | 970 | 212k|1224k|6144 | 0.000000e+00 | 3.000000e+00 | Inf
1672.24/1672.21 c 1672s|970000 | 3800 | 4926k| 5.1 | 78M|1306 | 6 |3825 | 16k|3825 | 986 | 213k|1238k|6166 | 0.000000e+00 | 3.000000e+00 | Inf
1690.75/1690.78 c 1691s|980000 | 3877 | 4985k| 5.1 | 79M|1306 | - |3825 | 14k| 0 | 0 | 215k|1252k|6222 | 0.000000e+00 | 3.000000e+00 | Inf
1708.55/1708.51 c 1708s|990000 | 3928 | 5042k| 5.1 | 80M|1306 | 14 |3825 | 16k|3825 | 963 | 217k|1265k|6274 | 0.000000e+00 | 3.000000e+00 | Inf
1727.06/1727.01 c 1727s| 1000k| 4032 | 5093k| 5.1 | 82M|1306 | - |3825 | 18k| 0 | 0 | 219k|1279k|6284 | 0.000000e+00 | 3.000000e+00 | Inf
1746.95/1746.96 c 1747s| 1010k| 4153 | 5155k| 5.1 | 82M|1306 | - |3825 | 13k| 0 | 0 | 220k|1292k|6346 | 0.000000e+00 | 3.000000e+00 | Inf
1764.75/1764.80 c 1765s| 1020k| 4261 | 5213k| 5.1 | 84M|1306 | - |3825 | 16k| 0 | 0 | 223k|1306k|6395 | 0.000000e+00 | 3.000000e+00 | Inf
1783.35/1783.33 c 1783s| 1030k| 4249 | 5266k| 5.1 | 84M|1306 | - |3825 | 16k| 0 | 0 | 224k|1319k|6408 | 0.000000e+00 | 3.000000e+00 | Inf
1790.05/1790.01 c
1790.05/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.05/1790.01 c Solving Time (sec) : 1789.98
1790.05/1790.01 c Solving Nodes : 1033501
1790.05/1790.01 c Primal Bound : +3.00000000000000e+00 (172 solutions)
1790.05/1790.01 c Dual Bound : +0.00000000000000e+00
1790.05/1790.01 c Gap : infinite
1790.05/1790.04 s SATISFIABLE
1790.05/1790.04 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 x211 -x210
1790.05/1790.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1790.05/1790.04 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 x169 -x168
1790.05/1790.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1790.05/1790.04 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125
1790.05/1790.04 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1790.05/1790.04 v -x103 -x102 x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80
1790.05/1790.04 v -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54
1790.05/1790.04 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1790.05/1790.04 v -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2
1790.05/1790.04 v -x1
1790.05/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.05/1790.04 c Solving Time : 1789.98
1790.05/1790.04 c Original Problem :
1790.05/1790.04 c Problem name : HOME/instance-2705565-1278572956.wbo
1790.05/1790.04 c Variables : 3957 (2094 binary, 0 integer, 1863 implicit integer, 0 continuous)
1790.05/1790.04 c Constraints : 4571 initial, 4571 maximal
1790.05/1790.04 c Presolved Problem :
1790.05/1790.04 c Problem name : t_HOME/instance-2705565-1278572956.wbo
1790.05/1790.04 c Variables : 3825 (2028 binary, 0 integer, 1797 implicit integer, 0 continuous)
1790.05/1790.04 c Constraints : 4405 initial, 22710 maximal
1790.05/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.05/1790.04 c trivial : 0.00 66 0 0 0 0 0 0 0
1790.05/1790.04 c dualfix : 0.00 66 0 0 0 0 0 0 0
1790.05/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1790.05/1790.04 c setppc : 0.00 0 0 0 0 0 13 0 0
1790.05/1790.04 c linear : 0.06 0 0 0 1878 0 87 72 0
1790.05/1790.04 c indicator : 0.00 0 0 0 0 0 66 0 0
1790.05/1790.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.04 c root node : - 3548 - - 3548 - - - -
1790.05/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.05/1790.04 c integral : 0 0 0 628272 0 36 557 0 0 1045400
1790.05/1790.04 c setppc : 55 6 5187011 92427 1 3495 878353 0 0 0
1790.05/1790.04 c linear : 1797 6 5205572 104693 1 286220 21509126 225074 0 0
1790.05/1790.04 c indicator : 1797 0 4801508 104469 1 435 2426404 0 0 0
1790.05/1790.04 c logicor : 756+ 6 1842064 74618 1 185482 4426407 0 0 0
1790.05/1790.04 c bounddisjunction : 0+ 0 193180 0 0 147 3803 0 0 0
1790.05/1790.04 c countsols : 0 0 0 74618 1 0 0 0 0 0
1790.05/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.05/1790.04 c integral : 22.99 0.00 0.00 22.99 0.00
1790.05/1790.04 c setppc : 7.37 0.00 7.32 0.05 0.00
1790.05/1790.04 c linear : 161.63 0.00 158.47 3.15 0.00
1790.05/1790.04 c indicator : 30.95 0.02 21.40 9.52 0.00
1790.05/1790.04 c logicor : 230.66 0.00 229.95 0.71 0.00
1790.05/1790.04 c bounddisjunction : 1.37 0.00 1.37 0.00 0.00
1790.05/1790.04 c countsols : 0.01 0.00 0.00 0.01 0.00
1790.05/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.05/1790.04 c vbounds : 0.84 23429 0 3454
1790.05/1790.04 c rootredcost : 0.78 67 0 1774
1790.05/1790.04 c pseudoobj : 137.70 5215860 6138 2284560
1790.05/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.05/1790.04 c propagation : 24.08 481482 481190 2988709 30.3 14278 27.5 -
1790.05/1790.04 c infeasible LP : 7.97 30166 30166 242713 45.0 324 19.8 0
1790.05/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.05/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.05/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.05/1790.04 c applied globally : - - - 1323589 24.4 - - -
1790.05/1790.04 c applied locally : - - - 0 0.0 - - -
1790.05/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.05/1790.04 c cut pool : 0.00 4 - - 37 - (maximal pool size: 376)
1790.05/1790.04 c redcost : 42.23 631286 0 120111 0 0
1790.05/1790.04 c impliedbounds : 0.00 5 0 0 0 0
1790.05/1790.04 c intobj : 0.00 0 0 0 0 0
1790.05/1790.04 c cgmip : 0.00 0 0 0 0 0
1790.05/1790.04 c gomory : 0.10 5 0 0 1161 0
1790.05/1790.04 c strongcg : 0.10 5 0 0 1605 0
1790.05/1790.04 c cmir : 0.04 5 0 0 4 0
1790.05/1790.04 c flowcover : 0.05 5 0 0 7 0
1790.05/1790.04 c clique : 0.00 5 0 0 0 0
1790.05/1790.04 c zerohalf : 0.00 0 0 0 0 0
1790.05/1790.04 c mcf : 0.00 1 0 0 0 0
1790.05/1790.04 c rapidlearning : 0.07 1 0 0 0 0
1790.05/1790.04 c Pricers : Time Calls Vars
1790.05/1790.04 c problem variables: 0.00 0 0
1790.05/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.05/1790.04 c relpscost : 22.52 523139 36 557 0 0 1045400
1790.05/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.05/1790.04 c inference : 18.55 74553 0 0 0 0 149445
1790.05/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1790.05/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1790.05/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1790.05/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1790.05/1790.04 c random : 0.00 0 0 0 0 0 0
1790.05/1790.04 c Primal Heuristics : Time Calls Found
1790.05/1790.04 c LP solutions : 0.15 - 66
1790.05/1790.04 c pseudo solutions : 0.00 - 0
1790.05/1790.04 c feaspump : 0.02 1 0
1790.05/1790.04 c oneopt : 0.51 53 0
1790.05/1790.04 c guideddiving : 0.28 188 0
1790.05/1790.04 c veclendiving : 0.22 189 0
1790.05/1790.04 c coefdiving : 0.22 189 0
1790.05/1790.04 c pscostdiving : 0.24 189 0
1790.05/1790.04 c fracdiving : 0.23 189 0
1790.05/1790.04 c linesearchdiving : 0.23 189 0
1790.05/1790.04 c crossover : 2.23 75 0
1790.05/1790.04 c objpscostdiving : 0.25 180 0
1790.05/1790.04 c rootsoldiving : 0.28 180 0
1790.05/1790.04 c trivial : 0.00 2 0
1790.05/1790.04 c simplerounding : 1.03 523574 0
1790.05/1790.04 c zirounding : 0.30 1000 0
1790.05/1790.04 c rounding : 1.07 10112 0
1790.05/1790.04 c shifting : 0.80 3187 0
1790.05/1790.04 c intshifting : 0.01 0 0
1790.05/1790.04 c twoopt : 0.00 0 0
1790.05/1790.04 c fixandinfer : 0.00 0 0
1790.05/1790.04 c intdiving : 0.00 0 0
1790.05/1790.04 c actconsdiving : 0.00 0 0
1790.05/1790.04 c octane : 0.00 0 0
1790.05/1790.04 c rens : 0.03 1 0
1790.05/1790.04 c rins : 0.00 0 0
1790.05/1790.04 c localbranching : 0.00 0 0
1790.05/1790.04 c mutation : 0.00 0 0
1790.05/1790.04 c dins : 0.00 0 0
1790.05/1790.04 c undercover : 0.00 0 0
1790.05/1790.04 c nlp : 0.17 0 0
1790.05/1790.04 c trysol : 0.36 288 106
1790.05/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1790.05/1790.04 c primal LP : 0.00 0 0 0.00 -
1790.05/1790.04 c dual LP : 636.00 585438 5283430 9.02 8307.22
1790.05/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1790.05/1790.04 c barrier LP : 0.00 0 0 0.00 -
1790.05/1790.04 c diving/probing LP: 0.24 110 2960 26.91 12138.11
1790.05/1790.04 c strong branching : 18.34 6443 200994 31.20 10962.27
1790.05/1790.04 c (at root node) : - 17 8216 483.29 -
1790.05/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1790.05/1790.04 c B&B Tree :
1790.05/1790.04 c number of runs : 1
1790.05/1790.04 c nodes : 1033501
1790.05/1790.04 c nodes (total) : 1033501
1790.05/1790.04 c nodes left : 4293
1790.05/1790.04 c max depth : 1306
1790.05/1790.04 c max depth (total): 1306
1790.05/1790.04 c backtracks : 94632 (9.2%)
1790.05/1790.04 c delayed cutoffs : 80648
1790.05/1790.04 c repropagations : 2515063 (5560621 domain reductions, 75782 cutoffs)
1790.05/1790.04 c avg switch length: 6.38
1790.05/1790.04 c switching time : 245.73
1790.05/1790.04 c Solution :
1790.05/1790.04 c Solutions found : 172 (67 improvements)
1790.05/1790.04 c First Solution : +9.08110000000000e+04 (in run 1, after 46 nodes, 9.26 seconds, depth 19, found by <trysol>)
1790.05/1790.04 c Primal Bound : +3.00000000000000e+00 (in run 1, after 653838 nodes, 1103.81 seconds, depth 39, found by <relaxation>)
1790.05/1790.04 c Dual Bound : +0.00000000000000e+00
1790.05/1790.04 c Gap : infinite
1790.05/1790.04 c Root Dual Bound : +0.00000000000000e+00
1790.05/1790.04 c Root Iterations : 770
1790.15/1790.15 c Time complete: 1790.2.