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-2705021-1278574752.wbo>
0.00/0.03 c original problem has 3945 variables (2088 bin, 0 int, 1857 impl, 0 cont) and 4565 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.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 5 clqs
0.00/0.09 c (round 2) 0 del vars, 62 del conss, 1857 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 5 clqs
0.09/0.10 c (round 3) 50 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 5 clqs
0.09/0.10 c (round 4) 114 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 126 impls, 5 clqs
0.09/0.11 c (round 5) 114 del vars, 143 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 126 impls, 5 clqs
0.09/0.15 c (0.1s) probing: 101/2031 (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 (6 rounds):
0.09/0.15 c 114 deleted vars, 143 deleted constraints, 1864 tightened bounds, 0 added holes, 62 changed sides, 0 changed coefficients
0.09/0.15 c 3708 implications, 5 cliques
0.09/0.15 c presolved problem has 3831 variables (2031 bin, 0 int, 1800 impl, 0 cont) and 4422 constraints
0.09/0.15 c 51 constraints of type <setppc>
0.09/0.15 c 1800 constraints of type <linear>
0.09/0.15 c 1800 constraints of type <indicator>
0.09/0.15 c 771 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.97
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 | 12 | - | 14M| 0 | 3 |3831 |4422 |3831 | 822 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 63 | - | 14M| 0 | 18 |3831 |4422 |3831 | 844 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.2s| 1 | 0 | 102 | - | 14M| 0 | 36 |3831 |4422 |3831 | 874 | 52 | 0 | 0 | 0.000000e+00 | -- | Inf
0.28/0.33 c 0.3s| 1 | 0 | 132 | - | 14M| 0 | 47 |3831 |4422 |3831 | 895 | 73 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.40 c 0.4s| 1 | 0 | 172 | - | 15M| 0 | 52 |3831 |4422 |3831 | 906 | 84 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.48 c 0.5s| 1 | 0 | 242 | - | 15M| 0 | 51 |3831 |4422 |3831 | 921 | 99 | 0 | 0 | 0.000000e+00 | -- | Inf
0.48/0.57 c 0.5s| 1 | 0 | 462 | - | 16M| 0 | 45 |3831 |4422 |3831 | 933 | 111 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.13 c 1.1s| 1 | 2 | 462 | - | 16M| 0 | 45 |3831 |4422 |3831 | 933 | 111 | 0 | 17 | 0.000000e+00 | -- | Inf
8.09/8.13 o 90731
8.09/8.13 c y 8.1s| 58 | 57 | 4754 | 75.3 | 16M| 18 | - |3831 |4422 | 0 | 0 | 183 | 0 | 633 | 0.000000e+00 | 9.073100e+04 | Inf
23.10/23.15 c 23.1s| 10000 | 9991 | 21720 | 2.1 | 37M| 379 | 0 |3831 |4434 |3831 | 974 |2113 | 12 | 864 | 0.000000e+00 | 9.073100e+04 | Inf
34.49/34.59 c 34.6s| 20000 | 19980 | 25006 | 1.2 | 55M|1479 | 0 |3831 |4460 |3831 |1002 |2495 | 38 | 868 | 0.000000e+00 | 9.073100e+04 | Inf
46.28/46.38 c 46.4s| 30000 | 29980 | 27002 | 0.9 | 72M|1479 | 0 |3831 |4460 |3831 | 991 |2746 | 38 | 871 | 0.000000e+00 | 9.073100e+04 | Inf
58.59/58.62 c 58.6s| 40000 | 39980 | 30835 | 0.8 | 89M|1479 | 0 |3831 |4460 |3831 | 981 |3178 | 38 | 906 | 0.000000e+00 | 9.073100e+04 | Inf
70.78/70.85 c 70.8s| 50000 | 49978 | 33118 | 0.7 | 106M|1479 | 0 |3831 |4458 |3831 | 985 |3554 | 39 | 934 | 0.000000e+00 | 9.073100e+04 | Inf
82.79/82.83 c 82.8s| 60000 | 59978 | 35133 | 0.6 | 122M|1479 | 0 |3831 |4458 |3831 | 973 |3796 | 39 | 940 | 0.000000e+00 | 9.073100e+04 | Inf
94.78/94.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.78/94.80 c 94.8s| 70000 | 69978 | 37407 | 0.5 | 139M|1479 | 0 |3831 |4458 |3831 | 998 |4105 | 39 | 948 | 0.000000e+00 | 9.073100e+04 | Inf
106.59/106.66 c 107s| 80000 | 79932 | 40345 | 0.5 | 155M|1479 | 0 |3831 |4504 |3831 |1007 |4442 | 85 | 962 | 0.000000e+00 | 9.073100e+04 | Inf
117.19/117.29 o 795
117.19/117.29 c * 117s| 89106 | 69285 | 42256 | 0.5 | 139M|1479 | - |3831 |4516 |3831 |1011 |4695 | 97 | 964 | 0.000000e+00 | 7.950000e+02 | Inf
118.49/118.57 c 119s| 90000 | 70179 | 43121 | 0.5 | 140M|1479 | 0 |3831 |4514 |3831 | 988 |4822 | 97 | 964 | 0.000000e+00 | 7.950000e+02 | Inf
120.79/120.85 o 791
120.79/120.85 c * 121s| 91511 | 71427 | 44903 | 0.5 | 143M|1479 | - |3831 |4610 |3831 | 964 |5159 | 195 | 968 | 0.000000e+00 | 7.910000e+02 | Inf
121.09/121.18 o 735
121.09/121.18 c * 121s| 91725 | 68121 | 44992 | 0.5 | 138M|1479 | - |3831 |4617 |3831 | 964 |5165 | 202 | 968 | 0.000000e+00 | 7.350000e+02 | Inf
121.39/121.42 o 716
121.39/121.42 c * 121s| 91854 | 66543 | 45211 | 0.5 | 136M|1479 | - |3831 |4667 |3831 | 984 |5191 | 252 | 968 | 0.000000e+00 | 7.160000e+02 | Inf
121.39/121.44 o 686
121.39/121.44 c * 121s| 91857 | 63224 | 45277 | 0.5 | 131M|1479 | - |3831 |4667 |3831 | 985 |5192 | 252 | 968 | 0.000000e+00 | 6.860000e+02 | Inf
122.00/122.07 o 634
122.00/122.07 c * 122s| 92244 | 57214 | 45555 | 0.5 | 121M|1479 | - |3831 |4754 |3831 | 973 |5234 | 339 | 968 | 0.000000e+00 | 6.340000e+02 | Inf
122.19/122.21 o 430
122.19/122.21 c * 122s| 92319 | 36261 | 45589 | 0.5 | 86M|1479 | - |3831 |4760 |3831 | 971 |5237 | 345 | 968 | 0.000000e+00 | 4.300000e+02 | Inf
122.39/122.44 o 414
122.39/122.44 c * 122s| 92473 | 34404 | 45630 | 0.5 | 83M|1479 | - |3831 |4763 |3831 | 986 |5241 | 348 | 968 | 0.000000e+00 | 4.140000e+02 | Inf
124.89/124.91 o 405
124.89/124.91 c * 125s| 93627 | 34217 | 51990 | 0.6 | 85M|1479 | - |3831 |5612 |3831 | 965 |5988 |1243 | 971 | 0.000000e+00 | 4.050000e+02 | Inf
126.50/126.56 o 392
126.50/126.56 c * 127s| 94313 | 33291 | 56939 | 0.6 | 84M|1479 | - |3831 |6056 |3831 | 965 |6680 |1756 | 976 | 0.000000e+00 | 3.920000e+02 | Inf
127.39/127.45 o 377
127.39/127.45 c * 127s| 94719 | 32139 | 59296 | 0.6 | 83M|1479 | - |3831 |6265 |3831 | 951 |7001 |2017 | 976 | 0.000000e+00 | 3.770000e+02 | Inf
127.49/127.52 o 314
127.49/127.52 c * 127s| 94749 | 24605 | 59345 | 0.6 | 70M|1479 | - |3831 |6270 |3831 | 951 |7001 |2022 | 976 | 0.000000e+00 | 3.140000e+02 | Inf
131.99/132.02 o 310
131.99/132.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.99/132.02 c * 132s| 96708 | 25392 | 71564 | 0.7 | 74M|1479 | - |3831 |7296 |3831 | 956 |8323 |3424 |1048 | 0.000000e+00 | 3.100000e+02 | Inf
140.29/140.35 c 140s|100000 | 27470 |101363 | 1.0 | 81M|1479 | 21 |3831 |8484 |3831 | 931 | 11k|5787 |1110 | 0.000000e+00 | 3.100000e+02 | Inf
144.29/144.40 o 278
144.29/144.40 c * 144s|101476 | 23649 |119093 | 1.2 | 76M|1479 | - |3831 |8860 |3831 | 979 | 13k|6804 |1131 | 0.000000e+00 | 2.780000e+02 | Inf
150.70/150.74 o 276
150.70/150.74 c * 151s|104041 | 24825 |136349 | 1.3 | 81M|1479 | - |3831 |8907 |3831 | 996 | 15k|8771 |1191 | 0.000000e+00 | 2.760000e+02 | Inf
150.79/150.85 o 273
150.79/150.85 c * 151s|104080 | 24348 |136606 | 1.3 | 81M|1479 | - |3831 |8880 |3831 |1011 | 15k|8789 |1191 | 0.000000e+00 | 2.730000e+02 | Inf
154.19/154.23 o 214
154.19/154.23 c * 154s|105423 | 16840 |148078 | 1.4 | 64M|1479 | - |3831 |8647 |3831 | 968 | 16k|9518 |1211 | 0.000000e+00 | 2.140000e+02 | Inf
160.49/160.57 o 206
160.49/160.57 c * 161s|107887 | 17154 |167964 | 1.6 | 67M|1479 | - |3831 |8403 |3831 | 984 | 18k| 11k|1223 | 0.000000e+00 | 2.060000e+02 | Inf
161.60/161.65 o 204
161.60/161.65 c * 162s|108426 | 17179 |169571 | 1.6 | 67M|1479 | - |3831 |8481 |3831 | 963 | 18k| 11k|1243 | 0.000000e+00 | 2.040000e+02 | Inf
161.60/161.66 o 185
161.60/161.66 c * 162s|108427 | 14894 |169571 | 1.6 | 61M|1479 | - |3831 |8481 |3831 | 963 | 18k| 11k|1243 | 0.000000e+00 | 1.850000e+02 | Inf
162.19/162.20 o 163
162.19/162.20 c * 162s|108657 | 13115 |170677 | 1.6 | 57M|1479 | - |3831 |8521 |3831 | 998 | 18k| 11k|1248 | 0.000000e+00 | 1.630000e+02 | Inf
164.49/164.50 o 152
164.49/164.50 c * 164s|109463 | 12615 |175519 | 1.6 | 57M|1479 | - |3831 |7814 |3831 | 971 | 18k| 12k|1274 | 0.000000e+00 | 1.520000e+02 | Inf
164.49/164.51 o 146
164.49/164.51 c * 164s|109464 | 12191 |175541 | 1.6 | 56M|1479 | - |3831 |7814 |3831 | 972 | 18k| 12k|1274 | 0.000000e+00 | 1.460000e+02 | Inf
166.10/166.13 c 166s|110000 | 12395 |180700 | 1.6 | 57M|1479 | 11 |3831 |7835 |3831 | 952 | 19k| 12k|1278 | 0.000000e+00 | 1.460000e+02 | Inf
166.10/166.18 o 142
166.10/166.18 c * 166s|110012 | 12046 |180953 | 1.6 | 57M|1479 | - |3831 |7832 |3831 | 992 | 19k| 12k|1278 | 0.000000e+00 | 1.420000e+02 | Inf
166.29/166.39 o 137
166.29/166.39 c * 166s|110079 | 11675 |181850 | 1.6 | 55M|1479 | - |3831 |7848 |3831 | 985 | 19k| 12k|1278 | 0.000000e+00 | 1.370000e+02 | Inf
166.29/166.39 o 135
166.29/166.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.29/166.39 c * 166s|110080 | 11431 |181850 | 1.6 | 54M|1479 | - |3831 |7848 |3831 | 985 | 19k| 12k|1278 | 0.000000e+00 | 1.350000e+02 | Inf
166.79/166.86 o 130
166.79/166.86 c * 167s|110228 | 11140 |183845 | 1.7 | 54M|1479 | - |3831 |7719 |3831 | 979 | 19k| 13k|1279 | 0.000000e+00 | 1.300000e+02 | Inf
166.79/166.87 o 114
166.79/166.87 c * 167s|110229 | 10046 |183846 | 1.7 | 50M|1479 | - |3831 |7719 |3831 | 979 | 19k| 13k|1279 | 0.000000e+00 | 1.140000e+02 | Inf
166.99/167.02 o 110
166.99/167.02 c * 167s|110264 | 9731 |184337 | 1.7 | 49M|1479 | - |3831 |7693 |3831 | 997 | 19k| 13k|1279 | 0.000000e+00 | 1.100000e+02 | Inf
166.99/167.02 o 103
166.99/167.02 c * 167s|110265 | 9019 |184349 | 1.7 | 47M|1479 | - |3831 |7693 |3831 | 996 | 19k| 13k|1279 | 0.000000e+00 | 1.030000e+02 | Inf
166.99/167.09 o 102
166.99/167.09 c * 167s|110278 | 8959 |184584 | 1.7 | 47M|1479 | - |3831 |7613 |3831 | 974 | 19k| 13k|1279 | 0.000000e+00 | 1.020000e+02 | Inf
167.39/167.43 o 99
167.39/167.43 c * 167s|110375 | 8664 |185650 | 1.7 | 46M|1479 | - |3831 |7516 |3831 | 976 | 19k| 13k|1279 | 0.000000e+00 | 9.900000e+01 | Inf
167.39/167.43 o 83
167.39/167.43 c * 167s|110376 | 7356 |185650 | 1.7 | 43M|1479 | - |3831 |7516 |3831 | 976 | 19k| 13k|1279 | 0.000000e+00 | 8.300000e+01 | Inf
167.49/167.56 o 72
167.49/167.56 c * 168s|110403 | 6438 |185963 | 1.7 | 41M|1479 | - |3831 |7090 |3831 |1004 | 20k| 13k|1279 | 0.000000e+00 | 7.200000e+01 | Inf
167.49/167.56 o 69
167.49/167.56 c * 168s|110404 | 6219 |185978 | 1.7 | 40M|1479 | - |3831 |7090 |3831 |1004 | 20k| 13k|1279 | 0.000000e+00 | 6.900000e+01 | Inf
167.79/167.83 o 58
167.79/167.83 c * 168s|110471 | 5504 |187130 | 1.7 | 39M|1479 | - |3831 |6621 |3831 | 988 | 20k| 13k|1279 | 0.000000e+00 | 5.800000e+01 | Inf
169.69/169.71 o 35
169.69/169.71 c * 170s|111127 | 1952 |195255 | 1.8 | 31M|1479 | - |3831 |5751 |3831 |1011 | 20k| 14k|1283 | 0.000000e+00 | 3.500000e+01 | Inf
177.89/177.97 o 33
177.89/177.97 c * 178s|115130 | 1864 |228894 | 2.0 | 33M|1479 | - |3831 |6398 |3831 | 942 | 21k| 19k|1284 | 0.000000e+00 | 3.300000e+01 | Inf
179.39/179.41 o 32
179.39/179.41 c * 179s|115905 | 1857 |233620 | 2.0 | 33M|1479 | - |3831 |6372 |3831 | 942 | 21k| 20k|1284 | 0.000000e+00 | 3.200000e+01 | Inf
179.39/179.49 o 19
179.39/179.49 c * 179s|115944 | 1535 |233850 | 2.0 | 32M|1479 | - |3831 |6357 |3831 | 949 | 21k| 20k|1284 | 0.000000e+00 | 1.900000e+01 | Inf
179.89/179.95 o 9
179.89/179.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.89/179.95 c * 180s|116244 | 1185 |235263 | 2.0 | 31M|1479 | - |3831 |6349 |3831 | 960 | 21k| 20k|1284 | 0.000000e+00 | 9.000000e+00 | Inf
186.00/186.07 c 186s|120000 | 1122 |264240 | 2.2 | 31M|1479 | - |3831 |5942 | 0 | 0 | 22k| 25k|1284 | 0.000000e+00 | 9.000000e+00 | Inf
196.39/196.47 o 5
196.39/196.47 c * 196s|126893 | 1108 |304280 | 2.4 | 33M|1479 | - |3831 |8893 |3831 | 943 | 23k| 34k|1284 | 0.000000e+00 | 5.000000e+00 | Inf
196.39/196.49 o 1
196.39/196.49 c * 196s|126896 | 959 |304290 | 2.4 | 32M|1479 | - |3831 |8718 |3831 | 943 | 23k| 34k|1284 | 0.000000e+00 | 1.000000e+00 | Inf
201.39/201.46 c 201s|130000 | 996 |327103 | 2.5 | 33M|1479 | - |3831 |9693 | 0 | 0 | 24k| 38k|1284 | 0.000000e+00 | 1.000000e+00 | Inf
217.09/217.12 c 217s|140000 | 994 |394721 | 2.8 | 33M|1479 | 15 |3831 |7992 |3831 | 931 | 25k| 52k|1284 | 0.000000e+00 | 1.000000e+00 | Inf
232.79/232.83 c 233s|150000 | 1045 |462771 | 3.1 | 36M|1479 | 15 |3831 | 12k|3831 | 990 | 28k| 65k|1338 | 0.000000e+00 | 1.000000e+00 | Inf
248.80/248.83 c 249s|160000 | 1076 |525444 | 3.3 | 36M|1479 | 1 |3831 | 12k|3831 | 964 | 29k| 79k|1423 | 0.000000e+00 | 1.000000e+00 | Inf
264.80/264.84 c 265s|170000 | 1158 |587795 | 3.5 | 38M|1479 | - |3831 | 13k| 0 | 0 | 31k| 93k|1472 | 0.000000e+00 | 1.000000e+00 | Inf
281.69/281.76 c 282s|180000 | 1248 |647901 | 3.6 | 40M|1479 | - |3831 | 18k| 0 | 0 | 33k| 107k|1555 | 0.000000e+00 | 1.000000e+00 | Inf
299.40/299.45 c 299s|190000 | 1279 |712459 | 3.7 | 41M|1479 | 23 |3831 | 16k|3831 | 953 | 34k| 121k|1641 | 0.000000e+00 | 1.000000e+00 | Inf
316.71/316.77 c 317s|200000 | 1287 |778914 | 3.9 | 41M|1479 | - |3831 | 15k| 0 | 0 | 36k| 135k|1712 | 0.000000e+00 | 1.000000e+00 | Inf
333.69/333.73 c 334s|210000 | 1230 |839426 | 4.0 | 40M|1479 | - |3831 | 11k| 0 | 0 | 38k| 148k|1883 | 0.000000e+00 | 1.000000e+00 | Inf
351.20/351.28 c 351s|220000 | 1279 |910759 | 4.1 | 41M|1479 | - |3831 | 13k| 0 | 0 | 41k| 162k|1959 | 0.000000e+00 | 1.000000e+00 | Inf
369.80/369.83 c 370s|230000 | 1411 |990947 | 4.3 | 44M|1479 | 16 |3831 | 16k|3831 | 982 | 43k| 176k|2056 | 0.000000e+00 | 1.000000e+00 | Inf
388.00/388.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.00/388.00 c 388s|240000 | 1356 | 1062k| 4.4 | 43M|1479 | 1 |3831 | 14k|3831 | 952 | 45k| 191k|2170 | 0.000000e+00 | 1.000000e+00 | Inf
405.01/405.00 c 405s|250000 | 1284 | 1129k| 4.5 | 42M|1479 | - |3831 | 14k| 0 | 0 | 47k| 205k|2241 | 0.000000e+00 | 1.000000e+00 | Inf
423.31/423.40 c 423s|260000 | 1201 | 1203k| 4.6 | 40M|1479 | - |3831 | 10k| 0 | 0 | 49k| 218k|2456 | 0.000000e+00 | 1.000000e+00 | Inf
440.01/440.08 c 440s|270000 | 1161 | 1271k| 4.7 | 40M|1479 | - |3831 |9832 | 0 | 0 | 51k| 231k|2649 | 0.000000e+00 | 1.000000e+00 | Inf
457.41/457.48 c 457s|280000 | 1145 | 1346k| 4.8 | 41M|1479 | 11 |3831 | 13k|3831 | 931 | 52k| 243k|2706 | 0.000000e+00 | 1.000000e+00 | Inf
474.60/474.63 c 475s|290000 | 1141 | 1412k| 4.9 | 42M|1479 | 1 |3831 | 15k|3831 | 954 | 54k| 257k|2827 | 0.000000e+00 | 1.000000e+00 | Inf
492.01/492.07 c 492s|300000 | 1198 | 1478k| 4.9 | 43M|1479 | - |3831 | 15k| 0 | 0 | 56k| 270k|2904 | 0.000000e+00 | 1.000000e+00 | Inf
509.81/509.88 c 510s|310000 | 1310 | 1543k| 5.0 | 45M|1479 | - |3831 | 18k| 0 | 0 | 58k| 283k|2953 | 0.000000e+00 | 1.000000e+00 | Inf
530.01/530.09 c 530s|320000 | 1459 | 1633k| 5.1 | 46M|1479 | 1 |3831 | 19k|3831 | 946 | 60k| 297k|3066 | 0.000000e+00 | 1.000000e+00 | Inf
550.81/550.88 c 551s|330000 | 1458 | 1726k| 5.2 | 47M|1479 | - |3831 | 20k| 0 | 0 | 61k| 311k|3126 | 0.000000e+00 | 1.000000e+00 | Inf
570.81/570.81 c 571s|340000 | 1587 | 1798k| 5.3 | 49M|1479 | 10 |3831 | 21k|3831 | 947 | 63k| 325k|3224 | 0.000000e+00 | 1.000000e+00 | Inf
591.01/591.06 c 591s|350000 | 1647 | 1874k| 5.4 | 50M|1479 | 20 |3831 | 23k|3831 | 938 | 65k| 338k|3282 | 0.000000e+00 | 1.000000e+00 | Inf
613.01/613.00 c 613s|360000 | 1701 | 1960k| 5.4 | 50M|1479 | 22 |3831 | 21k|3831 | 966 | 66k| 352k|3332 | 0.000000e+00 | 1.000000e+00 | Inf
633.31/633.31 c 633s|370000 | 1723 | 2030k| 5.5 | 52M|1479 | 1 |3831 | 24k|3831 | 970 | 68k| 365k|3414 | 0.000000e+00 | 1.000000e+00 | Inf
654.21/654.26 c 654s|380000 | 1725 | 2099k| 5.5 | 51M|1479 | 17 |3831 | 22k|3831 | 938 | 70k| 379k|3481 | 0.000000e+00 | 1.000000e+00 | Inf
674.82/674.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.82/674.89 c 675s|390000 | 1747 | 2165k| 5.6 | 52M|1479 | 23 |3831 | 22k|3831 | 968 | 72k| 393k|3528 | 0.000000e+00 | 1.000000e+00 | Inf
694.91/694.95 c 695s|400000 | 1760 | 2230k| 5.6 | 53M|1479 | 15 |3831 | 25k|3831 | 950 | 74k| 407k|3564 | 0.000000e+00 | 1.000000e+00 | Inf
715.42/715.46 c 715s|410000 | 1720 | 2294k| 5.6 | 53M|1479 | 1 |3831 | 24k|3831 | 946 | 75k| 421k|3626 | 0.000000e+00 | 1.000000e+00 | Inf
735.11/735.17 c 735s|420000 | 1749 | 2357k| 5.6 | 53M|1479 | 12 |3831 | 26k|3831 | 958 | 77k| 435k|3684 | 0.000000e+00 | 1.000000e+00 | Inf
756.32/756.33 c 756s|430000 | 1725 | 2420k| 5.6 | 54M|1479 | 1 |3831 | 27k|3831 | 958 | 79k| 449k|3733 | 0.000000e+00 | 1.000000e+00 | Inf
778.42/778.43 c 778s|440000 | 1726 | 2490k| 5.7 | 54M|1479 | 15 |3831 | 26k|3831 | 945 | 81k| 463k|3787 | 0.000000e+00 | 1.000000e+00 | Inf
800.73/800.74 c 801s|450000 | 1748 | 2567k| 5.7 | 55M|1479 | 1 |3831 | 28k|3831 | 963 | 83k| 477k|3844 | 0.000000e+00 | 1.000000e+00 | Inf
822.92/822.99 c 823s|460000 | 1790 | 2638k| 5.7 | 56M|1479 | 1 |3831 | 28k|3831 | 975 | 84k| 492k|3903 | 0.000000e+00 | 1.000000e+00 | Inf
846.22/846.23 c 846s|470000 | 1813 | 2720k| 5.8 | 56M|1479 | - |3831 | 28k| 0 | 0 | 86k| 507k|3981 | 0.000000e+00 | 1.000000e+00 | Inf
868.82/868.89 c 869s|480000 | 1817 | 2803k| 5.8 | 58M|1479 | - |3831 | 30k| 0 | 0 | 87k| 523k|4028 | 0.000000e+00 | 1.000000e+00 | Inf
891.12/891.14 c 891s|490000 | 1726 | 2879k| 5.9 | 54M|1479 | - |3831 | 22k| 0 | 0 | 89k| 537k|4097 | 0.000000e+00 | 1.000000e+00 | Inf
912.13/912.13 c 912s|500000 | 1778 | 2947k| 5.9 | 55M|1479 | - |3831 | 24k| 0 | 0 | 91k| 550k|4139 | 0.000000e+00 | 1.000000e+00 | Inf
932.93/932.99 c 933s|510000 | 1715 | 3016k| 5.9 | 54M|1479 | 11 |3831 | 20k|3831 | 946 | 93k| 563k|4197 | 0.000000e+00 | 1.000000e+00 | Inf
953.13/953.12 c 953s|520000 | 1578 | 3088k| 5.9 | 52M|1479 | 1 |3831 | 19k|3831 | 950 | 94k| 577k|4243 | 0.000000e+00 | 1.000000e+00 | Inf
972.53/972.55 c 973s|530000 | 1477 | 3155k| 6.0 | 52M|1479 | 6 |3831 | 20k|3831 | 931 | 96k| 591k|4298 | 0.000000e+00 | 1.000000e+00 | Inf
993.03/993.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
993.03/993.05 c 993s|540000 | 1296 | 3229k| 6.0 | 47M|1479 | 1 |3831 | 14k|3831 | 943 | 98k| 605k|4633 | 0.000000e+00 | 1.000000e+00 | Inf
1010.63/1010.64 c 1011s|550000 | 1177 | 3293k| 6.0 | 46M|1479 | - |3831 | 13k| 0 | 0 | 100k| 618k|4700 | 0.000000e+00 | 1.000000e+00 | Inf
1027.73/1027.75 c 1028s|560000 | 1186 | 3353k| 6.0 | 47M|1479 | 1 |3831 | 17k|3831 | 950 | 102k| 631k|4703 | 0.000000e+00 | 1.000000e+00 | Inf
1047.03/1047.06 c 1047s|570000 | 1005 | 3424k| 6.0 | 43M|1479 | - |3831 | 11k| 0 | 0 | 104k| 644k|4749 | 0.000000e+00 | 1.000000e+00 | Inf
1064.63/1064.67 c 1065s|580000 | 1054 | 3487k| 6.0 | 44M|1479 | - |3831 | 15k| 0 | 0 | 106k| 656k|4786 | 0.000000e+00 | 1.000000e+00 | Inf
1083.04/1083.07 c 1083s|590000 | 1070 | 3548k| 6.0 | 46M|1479 | 18 |3831 | 18k|3831 | 956 | 108k| 670k|4824 | 0.000000e+00 | 1.000000e+00 | Inf
1102.73/1102.79 c 1103s|600000 | 983 | 3615k| 6.0 | 44M|1479 | 1 |3831 | 15k|3831 | 938 | 110k| 683k|4885 | 0.000000e+00 | 1.000000e+00 | Inf
1121.43/1121.43 c 1121s|610000 | 1019 | 3683k| 6.0 | 45M|1479 | - |3831 | 17k| 0 | 0 | 112k| 697k|4936 | 0.000000e+00 | 1.000000e+00 | Inf
1141.13/1141.14 c 1141s|620000 | 1014 | 3755k| 6.1 | 46M|1479 | 1 |3831 | 19k|3831 | 970 | 113k| 710k|4974 | 0.000000e+00 | 1.000000e+00 | Inf
1160.54/1160.53 c 1160s|630000 | 1059 | 3821k| 6.1 | 47M|1479 | 13 |3831 | 22k|3831 | 987 | 115k| 723k|5004 | 0.000000e+00 | 1.000000e+00 | Inf
1180.74/1180.78 c 1181s|640000 | 962 | 3892k| 6.1 | 45M|1479 | - |3831 | 18k| 0 | 0 | 117k| 736k|5051 | 0.000000e+00 | 1.000000e+00 | Inf
1201.14/1201.16 c 1201s|650000 | 1005 | 3956k| 6.1 | 47M|1479 | 4 |3831 | 21k|3831 | 931 | 118k| 749k|5108 | 0.000000e+00 | 1.000000e+00 | Inf
1222.94/1222.95 c 1223s|660000 | 1088 | 4023k| 6.1 | 50M|1479 | 21 |3831 | 27k|3831 | 966 | 120k| 762k|5150 | 0.000000e+00 | 1.000000e+00 | Inf
1245.25/1245.27 c 1245s|670000 | 1112 | 4089k| 6.1 | 49M|1479 | - |3831 | 24k| 0 | 0 | 122k| 776k|5237 | 0.000000e+00 | 1.000000e+00 | Inf
1265.24/1265.26 c 1265s|680000 | 1231 | 4152k| 6.1 | 51M|1479 | 26 |3831 | 26k|3831 | 978 | 123k| 790k|5271 | 0.000000e+00 | 1.000000e+00 | Inf
1285.24/1285.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.24/1285.28 c 1285s|690000 | 1176 | 4212k| 6.1 | 50M|1479 | 16 |3831 | 23k|3831 | 957 | 125k| 804k|5286 | 0.000000e+00 | 1.000000e+00 | Inf
1307.74/1307.71 c 1308s|700000 | 1191 | 4281k| 6.1 | 51M|1479 | 11 |3831 | 26k|3831 | 931 | 127k| 817k|5343 | 0.000000e+00 | 1.000000e+00 | Inf
1331.84/1331.86 c 1332s|710000 | 1269 | 4351k| 6.1 | 53M|1479 | 14 |3831 | 28k|3831 | 983 | 129k| 831k|5397 | 0.000000e+00 | 1.000000e+00 | Inf
1356.15/1356.15 c 1356s|720000 | 1326 | 4415k| 6.1 | 55M|1479 | - |3831 | 31k| 0 | 0 | 131k| 845k|5438 | 0.000000e+00 | 1.000000e+00 | Inf
1381.75/1381.77 c 1382s|730000 | 1351 | 4485k| 6.1 | 54M|1479 | - |3831 | 30k| 0 | 0 | 133k| 859k|5491 | 0.000000e+00 | 1.000000e+00 | Inf
1406.55/1406.58 c 1407s|740000 | 1394 | 4554k| 6.2 | 56M|1479 | - |3831 | 31k| 0 | 0 | 135k| 872k|5517 | 0.000000e+00 | 1.000000e+00 | Inf
1430.85/1430.87 c 1431s|750000 | 1448 | 4621k| 6.2 | 57M|1479 | 21 |3831 | 33k|3831 | 940 | 137k| 887k|5560 | 0.000000e+00 | 1.000000e+00 | Inf
1458.45/1458.46 c 1458s|760000 | 1555 | 4708k| 6.2 | 59M|1479 | 1 |3831 | 34k|3831 | 941 | 139k| 900k|5616 | 0.000000e+00 | 1.000000e+00 | Inf
1486.65/1486.61 c 1487s|770000 | 1597 | 4784k| 6.2 | 60M|1479 | 26 |3831 | 35k|3831 | 956 | 141k| 914k|5668 | 0.000000e+00 | 1.000000e+00 | Inf
1514.06/1514.01 c 1514s|780000 | 1635 | 4854k| 6.2 | 62M|1479 | - |3831 | 38k| 0 | 0 | 142k| 929k|5715 | 0.000000e+00 | 1.000000e+00 | Inf
1542.45/1542.47 c 1542s|790000 | 1656 | 4927k| 6.2 | 63M|1479 | 1 |3831 | 39k|3831 | 989 | 144k| 944k|5762 | 0.000000e+00 | 1.000000e+00 | Inf
1571.46/1571.45 c 1571s|800000 | 1599 | 5005k| 6.3 | 61M|1479 | 1 |3831 | 35k|3831 | 953 | 146k| 959k|5796 | 0.000000e+00 | 1.000000e+00 | Inf
1600.06/1600.05 c 1600s|810000 | 1579 | 5087k| 6.3 | 61M|1479 | 5 |3831 | 33k|3831 | 951 | 147k| 973k|5840 | 0.000000e+00 | 1.000000e+00 | Inf
1625.87/1625.88 c 1626s|820000 | 1608 | 5156k| 6.3 | 62M|1479 | - |3831 | 35k| 0 | 0 | 149k| 987k|5871 | 0.000000e+00 | 1.000000e+00 | Inf
1654.06/1654.06 c 1654s|830000 | 1676 | 5236k| 6.3 | 65M|1479 | 20 |3831 | 39k|3831 | 967 | 151k|1000k|5917 | 0.000000e+00 | 1.000000e+00 | Inf
1682.46/1682.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1682.46/1682.40 c 1682s|840000 | 1605 | 5315k| 6.3 | 61M|1479 | - |3831 | 31k| 0 | 0 | 153k|1014k|5971 | 0.000000e+00 | 1.000000e+00 | Inf
1707.57/1707.58 c 1708s|850000 | 1712 | 5389k| 6.3 | 64M|1479 | - |3831 | 35k| 0 | 0 | 154k|1029k|6026 | 0.000000e+00 | 1.000000e+00 | Inf
1733.67/1733.63 c 1734s|860000 | 1799 | 5467k| 6.4 | 66M|1479 | 9 |3831 | 38k|3831 | 964 | 156k|1044k|6058 | 0.000000e+00 | 1.000000e+00 | Inf
1760.96/1760.91 c 1761s|870000 | 1793 | 5548k| 6.4 | 66M|1479 | - |3831 | 36k| 0 | 0 | 158k|1059k|6094 | 0.000000e+00 | 1.000000e+00 | Inf
1788.17/1788.15 c 1788s|880000 | 1793 | 5622k| 6.4 | 67M|1479 | - |3831 | 38k| 0 | 0 | 160k|1075k|6110 | 0.000000e+00 | 1.000000e+00 | Inf
1790.06/1790.00 c
1790.06/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.06/1790.00 c Solving Time (sec) : 1789.97
1790.06/1790.00 c Solving Nodes : 880570
1790.06/1790.00 c Primal Bound : +1.00000000000000e+00 (146 solutions)
1790.06/1790.00 c Dual Bound : +0.00000000000000e+00
1790.06/1790.00 c Gap : infinite
1790.06/1790.02 s SATISFIABLE
1790.06/1790.02 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1790.06/1790.02 v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 x191 -x190 -x189
1790.06/1790.02 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1790.06/1790.02 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147
1790.06/1790.02 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1790.06/1790.02 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1790.06/1790.02 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.06/1790.02 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.06/1790.02 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.06/1790.02 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.06/1790.02 v -x1
1790.06/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1790.06/1790.02 c Solving Time : 1789.97
1790.06/1790.02 c Original Problem :
1790.06/1790.02 c Problem name : HOME/instance-2705021-1278574752.wbo
1790.06/1790.02 c Variables : 3945 (2088 binary, 0 integer, 1857 implicit integer, 0 continuous)
1790.06/1790.02 c Constraints : 4565 initial, 4565 maximal
1790.06/1790.02 c Presolved Problem :
1790.06/1790.02 c Problem name : t_HOME/instance-2705021-1278574752.wbo
1790.06/1790.02 c Variables : 3831 (2031 binary, 0 integer, 1800 implicit integer, 0 continuous)
1790.06/1790.02 c Constraints : 4422 initial, 40311 maximal
1790.06/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.06/1790.02 c trivial : 0.00 57 0 0 0 0 0 0 0
1790.06/1790.02 c dualfix : 0.00 57 0 0 0 0 0 0 0
1790.06/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c probing : 0.04 0 0 0 0 0 0 0 0
1790.06/1790.02 c setppc : 0.00 0 0 0 0 0 12 0 0
1790.06/1790.02 c linear : 0.06 0 0 0 1864 0 74 62 0
1790.06/1790.02 c indicator : 0.00 0 0 0 0 0 57 0 0
1790.06/1790.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.03 c root node : - 3600 - - 3600 - - - -
1790.06/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.06/1790.03 c integral : 0 0 0 544545 0 32 497 0 0 846482
1790.06/1790.03 c setppc : 51 6 4290736 91701 1 17909 803066 0 0 0
1790.06/1790.03 c linear : 1800 6 4308692 119834 1 184102 18310543 160503 0 0
1790.06/1790.03 c indicator : 1800 0 270980 103811 0 231 1174045 0 0 0
1790.06/1790.03 c logicor : 771+ 6 1496381 100073 1 192164 3780948 0 0 0
1790.06/1790.03 c bounddisjunction : 0+ 0 319389 0 0 92 3028 0 0 0
1790.06/1790.03 c countsols : 0 0 0 100073 1 0 0 0 0 0
1790.06/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.06/1790.03 c integral : 21.89 0.00 0.00 21.89 0.00
1790.06/1790.03 c setppc : 7.88 0.00 7.83 0.05 0.00
1790.06/1790.03 c linear : 149.21 0.00 145.38 3.83 0.00
1790.06/1790.03 c indicator : 22.10 0.00 9.96 12.13 0.00
1790.06/1790.03 c logicor : 316.49 0.00 315.59 0.90 0.00
1790.06/1790.03 c bounddisjunction : 1.84 0.00 1.84 0.00 0.00
1790.06/1790.03 c countsols : 0.01 0.00 0.00 0.01 0.00
1790.06/1790.03 c Propagators : Time Calls Cutoffs DomReds
1790.06/1790.03 c vbounds : 0.71 17415 0 2614
1790.06/1790.03 c rootredcost : 0.63 44 0 1800
1790.06/1790.03 c pseudoobj : 105.04 4331283 3501 1060974
1790.06/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.06/1790.03 c propagation : 19.81 397768 397492 2412584 29.2 12955 26.3 -
1790.06/1790.03 c infeasible LP : 5.14 19080 19080 153146 45.8 126 19.6 0
1790.06/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.06/1790.03 c applied globally : - - - 1076469 23.2 - - -
1790.06/1790.03 c applied locally : - - - 0 0.0 - - -
1790.06/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.06/1790.03 c cut pool : 0.00 5 - - 28 - (maximal pool size: 499)
1790.06/1790.03 c redcost : 35.87 545194 0 38922 0 0
1790.06/1790.03 c impliedbounds : 0.00 6 0 0 0 0
1790.06/1790.03 c intobj : 0.00 0 0 0 0 0
1790.06/1790.03 c cgmip : 0.00 0 0 0 0 0
1790.06/1790.03 c gomory : 0.10 6 0 0 1170 0
1790.06/1790.03 c strongcg : 0.10 6 0 0 1490 0
1790.06/1790.03 c cmir : 0.02 6 0 0 0 0
1790.06/1790.03 c flowcover : 0.06 6 0 0 0 0
1790.06/1790.03 c clique : 0.00 6 0 0 0 0
1790.06/1790.03 c zerohalf : 0.00 0 0 0 0 0
1790.06/1790.03 c mcf : 0.00 1 0 0 0 0
1790.06/1790.03 c rapidlearning : 0.07 1 0 0 0 0
1790.06/1790.03 c Pricers : Time Calls Vars
1790.06/1790.03 c problem variables: 0.00 0 0
1790.06/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.06/1790.03 c relpscost : 21.50 423673 32 497 0 0 846482
1790.06/1790.03 c pscost : 0.00 0 0 0 0 0 0
1790.06/1790.03 c inference : 24.89 100031 0 0 0 0 200542
1790.06/1790.03 c mostinf : 0.00 0 0 0 0 0 0
1790.06/1790.03 c leastinf : 0.00 0 0 0 0 0 0
1790.06/1790.03 c fullstrong : 0.00 0 0 0 0 0 0
1790.06/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0
1790.06/1790.03 c random : 0.00 0 0 0 0 0 0
1790.06/1790.03 c Primal Heuristics : Time Calls Found
1790.06/1790.03 c LP solutions : 0.15 - 43
1790.06/1790.03 c pseudo solutions : 0.00 - 0
1790.06/1790.03 c intshifting : 0.00 0 0
1790.06/1790.03 c feaspump : 0.01 1 0
1790.06/1790.03 c oneopt : 0.42 37 0
1790.06/1790.03 c crossover : 1.27 37 0
1790.06/1790.03 c fracdiving : 0.27 199 0
1790.06/1790.03 c veclendiving : 0.29 199 0
1790.06/1790.03 c linesearchdiving : 0.24 199 0
1790.06/1790.03 c coefdiving : 0.25 200 0
1790.06/1790.03 c guideddiving : 0.28 200 0
1790.06/1790.03 c pscostdiving : 0.26 200 0
1790.06/1790.03 c objpscostdiving : 0.26 192 0
1790.06/1790.03 c rootsoldiving : 0.30 193 0
1790.06/1790.03 c trivial : 0.01 2 0
1790.06/1790.03 c simplerounding : 0.64 423820 0
1790.06/1790.03 c zirounding : 0.22 1000 0
1790.06/1790.03 c rounding : 0.92 9114 0
1790.06/1790.03 c shifting : 0.67 2865 0
1790.06/1790.03 c twoopt : 0.00 0 0
1790.06/1790.03 c fixandinfer : 0.00 0 0
1790.06/1790.03 c intdiving : 0.00 0 0
1790.06/1790.03 c actconsdiving : 0.00 0 0
1790.06/1790.03 c octane : 0.00 0 0
1790.06/1790.03 c rens : 0.03 1 0
1790.06/1790.03 c rins : 0.00 0 0
1790.06/1790.03 c localbranching : 0.00 0 0
1790.06/1790.03 c mutation : 0.00 0 0
1790.06/1790.03 c dins : 0.00 0 0
1790.06/1790.03 c undercover : 0.00 0 0
1790.06/1790.03 c nlp : 0.16 0 0
1790.06/1790.03 c trysol : 0.33 275 103
1790.06/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec
1790.06/1790.03 c primal LP : 0.00 0 0 0.00 -
1790.06/1790.03 c dual LP : 590.25 464640 5624528 12.11 9529.00
1790.06/1790.03 c lex dual LP : 0.00 0 0 0.00 -
1790.06/1790.03 c barrier LP : 0.00 0 0 0.00 -
1790.06/1790.03 c diving/probing LP: 0.24 138 2126 15.41 8951.01
1790.06/1790.03 c strong branching : 18.11 6117 214086 35.00 11820.44
1790.06/1790.03 c (at root node) : - 17 6307 371.00 -
1790.06/1790.03 c conflict analysis: 0.00 0 0 0.00 -
1790.06/1790.03 c B&B Tree :
1790.06/1790.03 c number of runs : 1
1790.06/1790.03 c nodes : 880570
1790.06/1790.03 c nodes (total) : 880570
1790.06/1790.03 c nodes left : 1788
1790.06/1790.03 c max depth : 1479
1790.06/1790.03 c max depth (total): 1479
1790.06/1790.03 c backtracks : 71777 (8.2%)
1790.06/1790.03 c delayed cutoffs : 62451
1790.06/1790.03 c repropagations : 2232080 (3988645 domain reductions, 59708 cutoffs)
1790.06/1790.03 c avg switch length: 6.44
1790.06/1790.03 c switching time : 273.54
1790.06/1790.03 c Solution :
1790.06/1790.03 c Solutions found : 146 (44 improvements)
1790.06/1790.03 c First Solution : +9.07310000000000e+04 (in run 1, after 57 nodes, 8.09 seconds, depth 19, found by <trysol>)
1790.06/1790.03 c Primal Bound : +1.00000000000000e+00 (in run 1, after 126896 nodes, 196.46 seconds, depth 29, found by <relaxation>)
1790.06/1790.03 c Dual Bound : +0.00000000000000e+00
1790.06/1790.03 c Gap : infinite
1790.06/1790.03 c Root Dual Bound : +0.00000000000000e+00
1790.06/1790.03 c Root Iterations : 462
1790.16/1790.15 c Time complete: 1790.22.