0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692875-1277908228.wbo>
0.00/0.03 c original problem has 3839 variables (2035 bin, 0 int, 0 impl, 1804 cont) and 4512 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, 1938 impls, 6 clqs
0.08/0.10 c (round 2) 0 del vars, 64 del conss, 1804 chg bounds, 41 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs
0.08/0.11 c (round 3) 41 del vars, 117 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs
0.08/0.12 c (round 4) 87 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 1938 impls, 6 clqs
0.08/0.13 c (round 5) 92 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 1938 impls, 6 clqs
0.08/0.18 c (0.1s) probing: 101/1989 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.18 c presolving (6 rounds):
0.08/0.18 c 92 deleted vars, 122 deleted constraints, 1809 tightened bounds, 0 added holes, 53 changed sides, 0 changed coefficients
0.08/0.18 c 1938 implications, 6 cliques
0.08/0.18 c presolved problem has 3747 variables (1989 bin, 0 int, 0 impl, 1758 cont) and 4390 constraints
0.08/0.18 c 1758 constraints of type <indicator>
0.08/0.18 c 6 constraints of type <setppc>
0.08/0.18 c 1758 constraints of type <linear>
0.08/0.18 c 868 constraints of type <logicor>
0.08/0.18 c transformed objective value is always integral (scale: 1)
0.08/0.18 c Presolving Time: 0.12
0.08/0.18 c - non default parameters ----------------------------------------------------------------------
0.08/0.18 c # SCIP version 1.2.1.2
0.08/0.18 c
0.08/0.18 c # frequency for displaying node information lines
0.08/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.18 c display/freq = 10000
0.08/0.18 c
0.08/0.18 c # maximal time in seconds to run
0.08/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.18 c limits/time = 1799.97
0.08/0.18 c
0.08/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.18 c limits/memory = 3420
0.08/0.18 c
0.08/0.18 c # should presolving try to simplify inequalities
0.08/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.18 c constraints/linear/simplifyinequalities = TRUE
0.08/0.18 c
0.08/0.18 c # should presolving try to simplify knapsacks
0.08/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.18 c
0.08/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.18 c separating/rapidlearning/freq = 0
0.08/0.18 c
0.08/0.18 c -----------------------------------------------------------------------------------------------
0.08/0.18 c start solving
0.08/0.18 c
0.08/0.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.19 c 0.1s| 1 | 0 | 13 | - | 13M| 0 | 7 |3747 |4390 |3747 | 874 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 o 88500
0.19/0.21 c y 0.2s| 1 | 0 | 101 | - | 13M| 0 | 7 |3747 |4390 |3747 | 874 | 0 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 139 | - | 13M| 0 | 38 |3747 |4390 |3747 | 894 | 20 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 238 | - | 14M| 0 | 62 |3747 |4390 |3747 | 932 | 58 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.29/0.38 c 0.3s| 1 | 0 | 289 | - | 14M| 0 | 63 |3747 |4390 |3747 | 941 | 67 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.39/0.47 c 0.4s| 1 | 0 | 318 | - | 14M| 0 | 64 |3747 |4390 |3747 | 953 | 79 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.48/0.57 c 0.5s| 1 | 0 | 326 | - | 14M| 0 | 69 |3747 |4390 |3747 | 960 | 86 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.59/0.67 c 0.6s| 1 | 0 | 337 | - | 14M| 0 | 69 |3747 |4390 |3747 | 961 | 87 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
1.19/1.24 c 1.2s| 1 | 2 | 337 | - | 14M| 0 | 69 |3747 |4390 |3747 | 961 | 87 | 0 | 33 | 0.000000e+00 | 8.850000e+04 | Inf
18.99/19.02 c 18.7s| 10000 | 9993 | 7173 | 0.7 | 37M| 461 | 0 |3747 |4405 |3747 |1008 |1296 | 15 |1179 | 0.000000e+00 | 8.850000e+04 | Inf
32.49/32.52 c 32.1s| 20000 | 19989 | 13534 | 0.7 | 54M| 473 | 0 |3747 |4408 |3747 |1019 |2602 | 18 |1413 | 0.000000e+00 | 8.850000e+04 | Inf
46.20/46.21 c 45.6s| 30000 | 29983 | 20954 | 0.7 | 71M| 473 | 0 |3747 |4407 |3747 | 998 |4010 | 21 |1650 | 0.000000e+00 | 8.850000e+04 | Inf
59.19/59.28 c 58.5s| 40000 | 39981 | 26324 | 0.6 | 87M| 473 | 0 |3747 |4408 |3747 |1012 |5176 | 22 |1706 | 0.000000e+00 | 8.850000e+04 | Inf
72.30/72.31 c 71.4s| 50000 | 49977 | 31697 | 0.6 | 104M| 473 | 0 |3747 |4410 |3747 |1025 |6320 | 25 |1760 | 0.000000e+00 | 8.850000e+04 | Inf
85.09/85.10 c 84.0s| 60000 | 59977 | 34817 | 0.6 | 121M| 473 | 0 |3747 |4409 |3747 | 999 |7053 | 25 |1768 | 0.000000e+00 | 8.850000e+04 | Inf
98.00/98.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.00/98.05 c 96.8s| 70000 | 69977 | 39295 | 0.6 | 138M| 473 | 0 |3747 |4406 |3747 |1015 |8083 | 25 |1772 | 0.000000e+00 | 8.850000e+04 | Inf
104.99/105.02 o 1005
104.99/105.02 c * 104s| 75344 | 65711 | 41842 | 0.6 | 132M| 473 | - |3747 |4407 |3747 | 996 |8543 | 26 |1781 | 0.000000e+00 | 1.005000e+03 | Inf
111.90/111.92 c 111s| 80000 | 70350 | 45765 | 0.6 | 141M| 473 | 0 |3747 |4444 |3747 |1002 |9456 | 67 |1783 | 0.000000e+00 | 1.005000e+03 | Inf
126.79/126.88 c 125s| 90000 | 80324 | 55933 | 0.6 | 158M| 473 | 9 |3747 |4493 |3747 | 995 | 11k| 139 |1792 | 0.000000e+00 | 1.005000e+03 | Inf
127.79/127.83 o 999
127.79/127.83 c * 126s| 90645 | 80712 | 56650 | 0.6 | 159M| 473 | - |3747 |4504 |3747 |1000 | 11k| 154 |1792 | 0.000000e+00 | 9.990000e+02 | Inf
130.10/130.13 o 736
130.10/130.13 c * 129s| 91978 | 62836 | 60320 | 0.7 | 130M| 473 | - |3747 |4513 |3747 | 999 | 12k| 173 |1793 | 0.000000e+00 | 7.360000e+02 | Inf
130.20/130.26 o 734
130.20/130.26 c * 129s| 92059 | 62691 | 60415 | 0.7 | 130M| 473 | - |3747 |4518 |3747 | 999 | 12k| 178 |1793 | 0.000000e+00 | 7.340000e+02 | Inf
130.90/130.93 o 728
130.90/130.93 c * 129s| 92460 | 62391 | 61142 | 0.7 | 130M| 473 | - |3747 |4541 |3747 |1008 | 12k| 208 |1793 | 0.000000e+00 | 7.280000e+02 | Inf
132.10/132.17 o 727
132.10/132.17 c * 131s| 93199 | 62994 | 62279 | 0.7 | 131M| 473 | - |3747 |4557 |3747 | 998 | 13k| 240 |1793 | 0.000000e+00 | 7.270000e+02 | Inf
134.69/134.78 o 442
134.69/134.78 c * 133s| 94945 | 29759 | 63523 | 0.7 | 75M| 473 | - |3747 |4552 |3747 | 994 | 13k| 246 |1794 | 0.000000e+00 | 4.420000e+02 | Inf
136.30/136.33 o 440
136.30/136.33 c * 135s| 95868 | 30457 | 64824 | 0.7 | 78M| 473 | - |3747 |4654 |3747 |1010 | 14k| 353 |1794 | 0.000000e+00 | 4.400000e+02 | Inf
136.30/136.35 o 429
136.30/136.35 c * 135s| 95875 | 29394 | 64825 | 0.7 | 76M| 473 | - |3747 |4654 |3747 |1010 | 14k| 353 |1794 | 0.000000e+00 | 4.290000e+02 | Inf
136.59/136.63 o 413
136.59/136.63 c * 135s| 96025 | 28056 | 65222 | 0.7 | 74M| 473 | - |3747 |4696 |3747 |1006 | 14k| 398 |1794 | 0.000000e+00 | 4.130000e+02 | Inf
136.69/136.77 o 404
136.69/136.77 c * 135s| 96102 | 27268 | 65389 | 0.7 | 72M| 473 | - |3747 |4701 |3747 | 977 | 14k| 404 |1794 | 0.000000e+00 | 4.040000e+02 | Inf
136.79/136.82 o 395
136.79/136.82 c * 135s| 96121 | 26502 | 65457 | 0.7 | 71M| 473 | - |3747 |4705 |3747 | 997 | 14k| 408 |1794 | 0.000000e+00 | 3.950000e+02 | Inf
136.89/136.96 o 387
136.89/136.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.89/136.96 c * 135s| 96203 | 25876 | 65519 | 0.7 | 70M| 473 | - |3747 |4709 |3747 |1022 | 14k| 413 |1794 | 0.000000e+00 | 3.870000e+02 | Inf
137.09/137.15 o 382
137.09/137.15 c * 135s| 96292 | 25492 | 65749 | 0.7 | 69M| 473 | - |3747 |4727 |3747 |1004 | 14k| 434 |1794 | 0.000000e+00 | 3.820000e+02 | Inf
137.29/137.30 o 372
137.29/137.30 c * 136s| 96386 | 24699 | 65825 | 0.7 | 68M| 473 | - |3747 |4727 |3747 |1024 | 14k| 434 |1794 | 0.000000e+00 | 3.720000e+02 | Inf
137.40/137.46 o 369
137.40/137.46 c * 136s| 96475 | 24529 | 65980 | 0.7 | 68M| 473 | - |3747 |4752 |3747 | 998 | 14k| 459 |1794 | 0.000000e+00 | 3.690000e+02 | Inf
137.60/137.63 o 358
137.60/137.63 c * 136s| 96557 | 23707 | 66133 | 0.7 | 66M| 473 | - |3747 |4768 |3747 |1021 | 14k| 477 |1794 | 0.000000e+00 | 3.580000e+02 | Inf
138.09/138.19 o 353
138.09/138.19 c * 136s| 96784 | 23455 | 67483 | 0.7 | 66M| 473 | - |3747 |4809 |3747 | 982 | 14k| 543 |1802 | 0.000000e+00 | 3.530000e+02 | Inf
138.60/138.63 o 337
138.60/138.63 c * 137s| 96954 | 22204 | 68830 | 0.7 | 64M| 473 | - |3747 |4866 |3747 | 999 | 14k| 623 |1802 | 0.000000e+00 | 3.370000e+02 | Inf
138.60/138.64 o 330
138.60/138.64 c * 137s| 96955 | 21544 | 68830 | 0.7 | 63M| 473 | - |3747 |4866 |3747 | 999 | 14k| 623 |1802 | 0.000000e+00 | 3.300000e+02 | Inf
139.10/139.19 o 329
139.10/139.19 c * 137s| 97108 | 21547 | 71140 | 0.7 | 63M| 473 | - |3747 |4940 |3747 | 981 | 14k| 731 |1807 | 0.000000e+00 | 3.290000e+02 | Inf
139.60/139.70 o 310
139.60/139.70 c * 138s| 97243 | 19993 | 73379 | 0.8 | 60M| 473 | - |3747 |4972 |3747 | 991 | 15k| 813 |1813 | 0.000000e+00 | 3.100000e+02 | Inf
139.89/139.92 o 307
139.89/139.92 c * 138s| 97320 | 19626 | 74263 | 0.8 | 59M| 473 | - |3747 |4994 |3747 |1020 | 15k| 862 |1813 | 0.000000e+00 | 3.070000e+02 | Inf
139.99/140.02 o 304
139.99/140.02 c * 138s| 97347 | 19286 | 74545 | 0.8 | 59M| 473 | - |3747 |4999 |3747 | 988 | 15k| 876 |1816 | 0.000000e+00 | 3.040000e+02 | Inf
139.99/140.05 o 293
139.99/140.05 c * 138s| 97373 | 18100 | 74546 | 0.8 | 57M| 473 | - |3747 |4999 |3747 | 988 | 15k| 876 |1816 | 0.000000e+00 | 2.930000e+02 | Inf
140.29/140.33 o 285
140.29/140.33 c * 139s| 97446 | 17297 | 75862 | 0.8 | 55M| 473 | - |3747 |5017 |3747 | 990 | 15k| 934 |1818 | 0.000000e+00 | 2.850000e+02 | Inf
140.39/140.43 o 284
140.39/140.43 c * 139s| 97477 | 17214 | 76389 | 0.8 | 55M| 473 | - |3747 |5024 |3747 | 973 | 15k| 951 |1818 | 0.000000e+00 | 2.840000e+02 | Inf
140.39/140.45 o 279
140.39/140.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.39/140.45 c * 139s| 97479 | 16712 | 76400 | 0.8 | 54M| 473 | - |3747 |5023 |3747 | 973 | 15k| 951 |1818 | 0.000000e+00 | 2.790000e+02 | Inf
140.49/140.50 o 276
140.49/140.50 c * 139s| 97498 | 16481 | 76473 | 0.8 | 54M| 473 | - |3747 |5023 |3747 |1019 | 15k| 954 |1818 | 0.000000e+00 | 2.760000e+02 | Inf
140.59/140.60 o 243
140.59/140.60 c * 139s| 97521 | 13004 | 76904 | 0.8 | 48M| 473 | - |3747 |5039 |3747 | 971 | 15k| 976 |1819 | 0.000000e+00 | 2.430000e+02 | Inf
140.80/140.82 o 241
140.80/140.82 c * 139s| 97610 | 12875 | 77389 | 0.8 | 47M| 473 | - |3747 |5050 |3747 | 998 | 15k| 995 |1819 | 0.000000e+00 | 2.410000e+02 | Inf
140.80/140.86 o 237
140.80/140.86 c * 139s| 97630 | 12510 | 77396 | 0.8 | 47M| 473 | - |3747 |5050 |3747 | 998 | 15k| 995 |1819 | 0.000000e+00 | 2.370000e+02 | Inf
143.29/143.36 o 228
143.29/143.36 c * 142s| 98581 | 12164 | 84890 | 0.9 | 48M| 473 | - |3747 |5247 |3747 | 999 | 16k|1405 |1823 | 0.000000e+00 | 2.280000e+02 | Inf
143.80/143.83 o 227
143.80/143.83 c * 142s| 98740 | 12166 | 86799 | 0.9 | 49M| 473 | - |3747 |5249 |3747 | 975 | 16k|1466 |1823 | 0.000000e+00 | 2.270000e+02 | Inf
144.00/144.10 o 213
144.00/144.10 c * 142s| 98829 | 10746 | 87451 | 0.9 | 46M| 473 | - |3747 |5266 |3747 | 996 | 16k|1527 |1823 | 0.000000e+00 | 2.130000e+02 | Inf
144.39/144.46 o 207
144.39/144.46 c * 143s| 98990 | 10261 | 88234 | 0.9 | 45M| 473 | - |3747 |5288 |3747 | 978 | 16k|1574 |1823 | 0.000000e+00 | 2.070000e+02 | Inf
144.39/144.46 o 203
144.39/144.46 c * 143s| 98991 | 9850 | 88237 | 0.9 | 44M| 473 | - |3747 |5288 |3747 | 979 | 16k|1574 |1823 | 0.000000e+00 | 2.030000e+02 | Inf
144.80/144.84 o 200
144.80/144.84 c * 143s| 99136 | 9706 | 89379 | 0.9 | 44M| 473 | - |3747 |5293 |3747 | 978 | 16k|1600 |1823 | 0.000000e+00 | 2.000000e+02 | Inf
144.99/145.02 o 198
144.99/145.02 c * 143s| 99219 | 9632 | 89684 | 0.9 | 44M| 473 | - |3747 |5287 |3747 |1010 | 16k|1615 |1823 | 0.000000e+00 | 1.980000e+02 | Inf
145.60/145.61 o 180
145.60/145.61 c * 144s| 99465 | 8286 | 90959 | 0.9 | 41M| 473 | - |3747 |5318 |3747 | 959 | 17k|1708 |1823 | 0.000000e+00 | 1.800000e+02 | Inf
145.90/145.98 o 167
145.90/145.98 c * 144s| 99637 | 7428 | 91600 | 0.9 | 39M| 473 | - |3747 |5310 |3747 |1020 | 17k|1742 |1823 | 0.000000e+00 | 1.670000e+02 | Inf
145.90/145.98 o 163
145.90/145.98 c * 144s| 99638 | 7147 | 91600 | 0.9 | 39M| 473 | - |3747 |5310 |3747 |1020 | 17k|1742 |1823 | 0.000000e+00 | 1.630000e+02 | Inf
146.00/146.06 o 160
146.00/146.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.00/146.06 c * 144s| 99662 | 6940 | 91860 | 0.9 | 39M| 473 | - |3747 |5302 |3747 | 980 | 17k|1752 |1823 | 0.000000e+00 | 1.600000e+02 | Inf
146.09/146.14 o 152
146.09/146.14 c * 144s| 99702 | 6559 | 91868 | 0.9 | 38M| 473 | - |3747 |5302 |3747 | 980 | 17k|1752 |1823 | 0.000000e+00 | 1.520000e+02 | Inf
146.09/146.17 o 144
146.09/146.17 c * 144s| 99708 | 6138 | 91875 | 0.9 | 36M| 473 | - |3747 |5297 |3747 | 976 | 17k|1752 |1823 | 0.000000e+00 | 1.440000e+02 | Inf
146.09/146.18 o 140
146.09/146.18 c * 144s| 99709 | 5956 | 91875 | 0.9 | 36M| 473 | - |3747 |5297 |3747 | 976 | 17k|1752 |1823 | 0.000000e+00 | 1.400000e+02 | Inf
146.20/146.26 o 130
146.20/146.26 c * 144s| 99721 | 5491 | 92160 | 0.9 | 35M| 473 | - |3747 |5301 |3747 | 988 | 17k|1767 |1823 | 0.000000e+00 | 1.300000e+02 | Inf
146.70/146.77 o 122
146.70/146.77 c * 145s| 99862 | 5147 | 93687 | 0.9 | 34M| 473 | - |3747 |5272 |3747 |1008 | 17k|1855 |1823 | 0.000000e+00 | 1.220000e+02 | Inf
146.70/146.79 o 93
146.70/146.79 c * 145s| 99865 | 3238 | 93703 | 0.9 | 29M| 473 | - |3747 |5272 |3747 |1008 | 17k|1855 |1823 | 0.000000e+00 | 9.300000e+01 | Inf
146.80/146.83 o 80
146.80/146.83 c * 145s| 99868 | 2573 | 93855 | 0.9 | 28M| 473 | - |3747 |5093 |3747 | 997 | 17k|1855 |1823 | 0.000000e+00 | 8.000000e+01 | Inf
146.80/146.85 o 23
146.80/146.85 c * 145s| 99869 | 553 | 93891 | 0.9 | 23M| 473 | - |3747 |5091 |3747 |1002 | 17k|1855 |1823 | 0.000000e+00 | 2.300000e+01 | Inf
147.09/147.17 c 145s|100000 | 515 | 95054 | 0.9 | 23M| 473 | - |3747 |3829 | 0 | 0 | 17k|2019 |1823 | 0.000000e+00 | 2.300000e+01 | Inf
166.30/166.31 c 164s|110000 | 839 |148738 | 1.3 | 30M| 473 | 7 |3747 |9331 |3747 | 966 | 22k| 14k|1823 | 0.000000e+00 | 2.300000e+01 | Inf
181.40/181.42 o 22
181.40/181.42 c * 179s|117415 | 1144 |190973 | 1.6 | 34M| 473 | - |3747 | 10k|3747 | 973 | 27k| 23k|1823 | 0.000000e+00 | 2.200000e+01 | Inf
186.50/186.50 c 184s|120000 | 1200 |203461 | 1.7 | 35M| 473 | - |3747 |9756 | 0 | 0 | 28k| 27k|1823 | 0.000000e+00 | 2.200000e+01 | Inf
201.50/201.55 o 16
201.50/201.55 c * 199s|127319 | 1277 |243099 | 1.9 | 37M| 473 | - |3747 | 11k|3747 | 971 | 33k| 36k|1889 | 0.000000e+00 | 1.600000e+01 | Inf
205.61/205.66 o 10
205.61/205.66 c * 203s|129161 | 1154 |254024 | 2.0 | 34M| 473 | - |3747 | 10k|3747 | 967 | 35k| 39k|1945 | 0.000000e+00 | 1.000000e+01 | Inf
207.20/207.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.20/207.28 c 205s|130000 | 1150 |258534 | 2.0 | 34M| 473 | 21 |3747 |9457 |3747 | 969 | 35k| 40k|1956 | 0.000000e+00 | 1.000000e+01 | Inf
226.80/226.85 c 224s|140000 | 1227 |314663 | 2.2 | 36M| 473 | - |3747 | 12k| 0 | 0 | 41k| 53k|2133 | 0.000000e+00 | 1.000000e+01 | Inf
246.00/246.01 c 243s|150000 | 1301 |360392 | 2.4 | 39M| 473 | 1 |3747 | 17k|3747 | 983 | 45k| 66k|2303 | 0.000000e+00 | 1.000000e+01 | Inf
268.10/268.13 c 265s|160000 | 1397 |416108 | 2.6 | 42M| 473 | - |3747 | 20k|3747 | 994 | 51k| 79k|2480 | 0.000000e+00 | 1.000000e+01 | Inf
289.60/289.67 c 286s|170000 | 1427 |469493 | 2.8 | 42M| 473 | - |3747 | 17k| 0 | 0 | 56k| 91k|2692 | 0.000000e+00 | 1.000000e+01 | Inf
310.00/310.06 c 306s|180000 | 1495 |517481 | 2.9 | 44M| 473 | 8 |3747 | 19k|3747 | 976 | 60k| 104k|2812 | 0.000000e+00 | 1.000000e+01 | Inf
331.91/331.96 c 328s|190000 | 1569 |569507 | 3.0 | 45M| 473 | - |3747 | 17k|3747 | 969 | 66k| 117k|2968 | 0.000000e+00 | 1.000000e+01 | Inf
353.90/353.93 c 349s|200000 | 1656 |626133 | 3.1 | 46M| 473 | 18 |3747 | 18k|3747 | 966 | 76k| 130k|3155 | 0.000000e+00 | 1.000000e+01 | Inf
374.90/374.99 c 370s|210000 | 1808 |676480 | 3.2 | 48M| 473 | - |3747 | 20k| 0 | 0 | 83k| 143k|3287 | 0.000000e+00 | 1.000000e+01 | Inf
397.61/397.60 c 392s|220000 | 1932 |729340 | 3.3 | 50M| 473 | - |3747 | 21k| 0 | 0 | 92k| 157k|3438 | 0.000000e+00 | 1.000000e+01 | Inf
419.91/419.90 c 414s|230000 | 2165 |783444 | 3.4 | 53M| 473 | 9 |3747 | 22k|3747 | 978 | 101k| 171k|3610 | 0.000000e+00 | 1.000000e+01 | Inf
420.30/420.30 o 8
420.30/420.30 c * 415s|230187 | 2124 |784274 | 3.4 | 52M| 473 | - |3747 | 22k|3747 | 967 | 101k| 171k|3610 | 0.000000e+00 | 8.000000e+00 | Inf
421.91/421.95 o 5
421.91/421.95 c * 416s|230957 | 1930 |788135 | 3.4 | 49M| 473 | - |3747 | 21k|3747 | 970 | 102k| 172k|3612 | 0.000000e+00 | 5.000000e+00 | Inf
441.91/441.90 c 436s|240000 | 2065 |839806 | 3.5 | 51M| 473 | 4 |3747 | 23k|3747 | 971 | 110k| 185k|3761 | 0.000000e+00 | 5.000000e+00 | Inf
465.61/465.65 c 460s|250000 | 2370 |900414 | 3.6 | 54M| 473 | - |3747 | 23k| 0 | 0 | 122k| 199k|3901 | 0.000000e+00 | 5.000000e+00 | Inf
489.01/489.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.01/489.04 c 483s|260000 | 2526 |960064 | 3.7 | 55M| 473 | 14 |3747 | 22k|3747 | 959 | 133k| 213k|4039 | 0.000000e+00 | 5.000000e+00 | Inf
511.21/511.26 c 505s|270000 | 2565 | 1016k| 3.8 | 56M| 473 | - |3747 | 20k| 0 | 0 | 142k| 227k|4188 | 0.000000e+00 | 5.000000e+00 | Inf
532.22/532.29 c 525s|280000 | 2587 | 1066k| 3.8 | 58M| 473 | 15 |3747 | 21k|3747 | 959 | 148k| 241k|4294 | 0.000000e+00 | 5.000000e+00 | Inf
550.22/550.22 o 3
550.22/550.22 c * 543s|287740 | 1774 | 1110k| 3.9 | 47M| 473 | - |3747 | 22k|3747 | 976 | 156k| 252k|4387 | 0.000000e+00 | 3.000000e+00 | Inf
555.31/555.33 c 548s|290000 | 1688 | 1122k| 3.9 | 44M| 473 | - |3747 | 15k| 0 | 0 | 157k| 256k|4463 | 0.000000e+00 | 3.000000e+00 | Inf
574.31/574.38 c 567s|300000 | 1656 | 1166k| 3.9 | 45M| 473 | 15 |3747 | 19k|3747 | 959 | 161k| 269k|4559 | 0.000000e+00 | 3.000000e+00 | Inf
595.92/595.93 c 588s|310000 | 1654 | 1219k| 3.9 | 47M| 473 | - |3747 | 24k| 0 | 0 | 168k| 283k|4646 | 0.000000e+00 | 3.000000e+00 | Inf
618.82/618.85 c 611s|320000 | 1646 | 1275k| 4.0 | 47M| 473 | 15 |3747 | 24k|3747 | 980 | 176k| 297k|4774 | 0.000000e+00 | 3.000000e+00 | Inf
640.71/640.74 c 632s|330000 | 1641 | 1325k| 4.0 | 48M| 473 | 8 |3747 | 24k|3747 | 959 | 184k| 311k|4864 | 0.000000e+00 | 3.000000e+00 | Inf
664.21/664.27 c 656s|340000 | 1690 | 1375k| 4.0 | 49M| 473 | 9 |3747 | 28k|3747 | 959 | 193k| 324k|5015 | 0.000000e+00 | 3.000000e+00 | Inf
688.21/688.22 c 679s|350000 | 1595 | 1430k| 4.1 | 48M| 473 | - |3747 | 23k| 0 | 0 | 201k| 338k|5106 | 0.000000e+00 | 3.000000e+00 | Inf
709.53/709.56 c 700s|360000 | 1640 | 1474k| 4.1 | 50M| 473 | - |3747 | 28k| 0 | 0 | 205k| 353k|5184 | 0.000000e+00 | 3.000000e+00 | Inf
731.72/731.78 c 722s|370000 | 1491 | 1525k| 4.1 | 47M| 473 | 8 |3747 | 22k|3747 | 959 | 210k| 367k|5285 | 0.000000e+00 | 3.000000e+00 | Inf
754.72/754.76 c 745s|380000 | 1602 | 1585k| 4.2 | 50M| 473 | 11 |3747 | 28k|3747 | 959 | 218k| 381k|5438 | 0.000000e+00 | 3.000000e+00 | Inf
779.52/779.50 c 770s|390000 | 1636 | 1642k| 4.2 | 50M| 473 | - |3747 | 27k| 0 | 0 | 224k| 394k|5526 | 0.000000e+00 | 3.000000e+00 | Inf
803.33/803.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.33/803.39 c 793s|400000 | 1795 | 1698k| 4.2 | 52M| 473 | - |3747 | 30k| 0 | 0 | 234k| 407k|5627 | 0.000000e+00 | 3.000000e+00 | Inf
825.62/825.60 c 815s|410000 | 1682 | 1744k| 4.3 | 51M| 473 | - |3747 | 28k|3747 | 975 | 238k| 420k|5713 | 0.000000e+00 | 3.000000e+00 | Inf
847.33/847.35 c 837s|420000 | 1485 | 1790k| 4.3 | 49M| 473 | - |3747 | 27k| 0 | 0 | 243k| 434k|5803 | 0.000000e+00 | 3.000000e+00 | Inf
868.93/868.96 c 858s|430000 | 1461 | 1835k| 4.3 | 50M| 473 | - |3747 | 30k| 0 | 0 | 245k| 448k|5878 | 0.000000e+00 | 3.000000e+00 | Inf
891.83/891.86 c 881s|440000 | 1406 | 1880k| 4.3 | 50M| 473 | - |3747 | 31k| 0 | 0 | 248k| 461k|5967 | 0.000000e+00 | 3.000000e+00 | Inf
915.32/915.31 c 904s|450000 | 1382 | 1933k| 4.3 | 48M| 473 | - |3747 | 26k| 0 | 0 | 254k| 474k|6085 | 0.000000e+00 | 3.000000e+00 | Inf
939.83/939.85 c 928s|460000 | 1491 | 1999k| 4.3 | 50M| 473 | 21 |3747 | 30k|3747 | 977 | 261k| 487k|6180 | 0.000000e+00 | 3.000000e+00 | Inf
964.13/964.14 c 952s|470000 | 1677 | 2056k| 4.4 | 53M| 473 | - |3747 | 34k| 0 | 0 | 269k| 500k|6261 | 0.000000e+00 | 3.000000e+00 | Inf
990.53/990.52 c 978s|480000 | 1800 | 2112k| 4.4 | 53M| 473 | - |3747 | 33k| 0 | 0 | 276k| 513k|6359 | 0.000000e+00 | 3.000000e+00 | Inf
1016.93/1016.98 c 1005s|490000 | 1937 | 2169k| 4.4 | 55M| 473 | 12 |3747 | 34k|3747 | 959 | 283k| 526k|6477 | 0.000000e+00 | 3.000000e+00 | Inf
1044.33/1044.37 c 1032s|500000 | 2025 | 2228k| 4.5 | 57M| 473 | 1 |3747 | 37k|3747 | 974 | 289k| 539k|6584 | 0.000000e+00 | 3.000000e+00 | Inf
1072.83/1072.83 c 1060s|510000 | 2113 | 2290k| 4.5 | 57M| 473 | - |3747 | 34k|3747 | 975 | 295k| 552k|6677 | 0.000000e+00 | 3.000000e+00 | Inf
1099.43/1099.49 c 1086s|520000 | 2068 | 2345k| 4.5 | 57M| 473 | 20 |3747 | 35k|3747 | 979 | 298k| 566k|6748 | 0.000000e+00 | 3.000000e+00 | Inf
1126.13/1126.17 c 1113s|530000 | 2084 | 2404k| 4.5 | 57M| 473 | 7 |3747 | 33k|3747 | 959 | 303k| 580k|6847 | 0.000000e+00 | 3.000000e+00 | Inf
1151.33/1151.38 c 1138s|540000 | 2272 | 2462k| 4.6 | 60M| 473 | 17 |3747 | 37k|3747 | 959 | 310k| 594k|6925 | 0.000000e+00 | 3.000000e+00 | Inf
1178.94/1178.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1178.94/1178.93 c 1165s|550000 | 2490 | 2527k| 4.6 | 63M| 473 | 20 |3747 | 41k|3747 | 959 | 319k| 608k|6999 | 0.000000e+00 | 3.000000e+00 | Inf
1206.93/1206.93 c 1193s|560000 | 2644 | 2590k| 4.6 | 64M| 473 | - |3747 | 42k| 0 | 0 | 325k| 622k|7098 | 0.000000e+00 | 3.000000e+00 | Inf
1235.64/1235.65 c 1221s|570000 | 2549 | 2655k| 4.7 | 63M| 473 | - |3747 | 37k| 0 | 0 | 333k| 637k|7215 | 0.000000e+00 | 3.000000e+00 | Inf
1262.94/1262.99 c 1248s|580000 | 2466 | 2716k| 4.7 | 63M| 473 | 18 |3747 | 38k|3747 | 972 | 339k| 651k|7303 | 0.000000e+00 | 3.000000e+00 | Inf
1288.24/1288.23 c 1273s|590000 | 2506 | 2770k| 4.7 | 64M| 473 | 14 |3747 | 41k|3747 | 972 | 344k| 665k|7371 | 0.000000e+00 | 3.000000e+00 | Inf
1315.44/1315.48 c 1300s|600000 | 2389 | 2826k| 4.7 | 61M| 473 | 15 |3747 | 33k|3747 | 978 | 351k| 678k|7484 | 0.000000e+00 | 3.000000e+00 | Inf
1340.95/1340.98 c 1325s|610000 | 2238 | 2882k| 4.7 | 58M| 473 | - |3747 | 29k| 0 | 0 | 356k| 692k|7588 | 0.000000e+00 | 3.000000e+00 | Inf
1364.05/1364.02 c 1348s|620000 | 2131 | 2936k| 4.7 | 57M| 473 | - |3747 | 26k| 0 | 0 | 362k| 705k|7673 | 0.000000e+00 | 3.000000e+00 | Inf
1387.75/1387.78 c 1372s|630000 | 2080 | 2991k| 4.7 | 57M| 473 | - |3747 | 29k| 0 | 0 | 371k| 718k|7756 | 0.000000e+00 | 3.000000e+00 | Inf
1414.35/1414.36 c 1398s|640000 | 2101 | 3048k| 4.8 | 59M| 473 | 8 |3747 | 33k|3747 | 973 | 380k| 732k|7840 | 0.000000e+00 | 3.000000e+00 | Inf
1439.65/1439.61 c 1423s|650000 | 1952 | 3105k| 4.8 | 56M| 473 | 10 |3747 | 28k|3747 | 967 | 387k| 745k|7934 | 0.000000e+00 | 3.000000e+00 | Inf
1463.74/1463.71 c 1447s|660000 | 1870 | 3160k| 4.8 | 55M| 473 | 16 |3747 | 28k|3747 | 968 | 392k| 759k|8020 | 0.000000e+00 | 3.000000e+00 | Inf
1486.55/1486.51 c 1469s|670000 | 1742 | 3219k| 4.8 | 53M| 473 | 7 |3747 | 25k|3747 | 966 | 399k| 772k|8104 | 0.000000e+00 | 3.000000e+00 | Inf
1508.65/1508.66 c 1491s|680000 | 1673 | 3274k| 4.8 | 54M| 473 | 10 |3747 | 29k|3747 | 959 | 404k| 785k|8179 | 0.000000e+00 | 3.000000e+00 | Inf
1533.25/1533.29 c 1516s|690000 | 1742 | 3327k| 4.8 | 57M| 473 | 4 |3747 | 36k|3747 | 968 | 412k| 798k|8247 | 0.000000e+00 | 3.000000e+00 | Inf
1561.36/1561.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1561.36/1561.35 c 1543s|700000 | 1768 | 3383k| 4.8 | 58M| 473 | - |3747 | 39k|3747 | 973 | 421k| 812k|8329 | 0.000000e+00 | 3.000000e+00 | Inf
1586.75/1586.80 c 1569s|710000 | 1601 | 3431k| 4.8 | 55M| 473 | - |3747 | 34k| 0 | 0 | 427k| 825k|8366 | 0.000000e+00 | 3.000000e+00 | Inf
1613.36/1613.33 c 1595s|720000 | 1649 | 3484k| 4.8 | 57M| 473 | - |3747 | 38k| 0 | 0 | 436k| 838k|8436 | 0.000000e+00 | 3.000000e+00 | Inf
1641.65/1641.63 c 1623s|730000 | 1640 | 3535k| 4.8 | 58M| 473 | 7 |3747 | 41k|3747 | 972 | 445k| 851k|8507 | 0.000000e+00 | 3.000000e+00 | Inf
1670.46/1670.49 c 1652s|740000 | 1688 | 3586k| 4.8 | 59M| 473 | - |3747 | 43k| 0 | 0 | 453k| 865k|8582 | 0.000000e+00 | 3.000000e+00 | Inf
1700.06/1700.06 c 1681s|750000 | 1663 | 3637k| 4.8 | 59M| 473 | 13 |3747 | 43k|3747 | 959 | 461k| 878k|8669 | 0.000000e+00 | 3.000000e+00 | Inf
1729.36/1729.31 c 1710s|760000 | 1660 | 3690k| 4.9 | 61M| 473 | - |3747 | 47k| 0 | 0 | 469k| 892k|8747 | 0.000000e+00 | 3.000000e+00 | Inf
1761.07/1761.04 c 1741s|770000 | 1650 | 3742k| 4.9 | 63M| 473 | - |3747 | 52k|3747 | 979 | 478k| 906k|8816 | 0.000000e+00 | 3.000000e+00 | Inf
1794.86/1794.84 c 1775s|780000 | 1715 | 3794k| 4.9 | 65M| 473 | - |3747 | 56k| 0 | 0 | 488k| 919k|8889 | 0.000000e+00 | 3.000000e+00 | Inf
1800.07/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00 c
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time (sec) : 1780.00
1800.07/1800.00 c Solving Nodes : 781499
1800.07/1800.00 c Primal Bound : +3.00000000000000e+00 (158 solutions)
1800.07/1800.00 c Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Gap : infinite
1800.07/1800.04 s SATISFIABLE
1800.07/1800.04 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.07/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189
1800.07/1800.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.07/1800.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147
1800.07/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 x127 -x126
1800.07/1800.04 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.07/1800.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
1800.07/1800.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
1800.07/1800.04 v -x54 -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
1800.07/1800.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
1800.07/1800.04 v -x1
1800.07/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.04 c Solving Time : 1780.00
1800.07/1800.04 c Original Problem :
1800.07/1800.04 c Problem name : HOME/instance-2692875-1277908228.wbo
1800.07/1800.04 c Variables : 3839 (2035 binary, 0 integer, 0 implicit integer, 1804 continuous)
1800.07/1800.04 c Constraints : 4512 initial, 4512 maximal
1800.07/1800.04 c Presolved Problem :
1800.07/1800.04 c Problem name : t_HOME/instance-2692875-1277908228.wbo
1800.07/1800.04 c Variables : 3747 (1989 binary, 0 integer, 0 implicit integer, 1758 continuous)
1800.07/1800.04 c Constraints : 4390 initial, 58081 maximal
1800.07/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.04 c trivial : 0.00 46 0 0 0 0 0 0 0
1800.07/1800.04 c dualfix : 0.00 46 0 0 0 0 0 0 0
1800.07/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.07/1800.04 c indicator : 0.00 0 0 0 0 0 46 0 0
1800.07/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.04 c linear : 0.07 0 0 0 1809 0 76 53 0
1800.07/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.04 c root node : - 1716 - - 3432 - - - -
1800.07/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.04 c integral : 0 0 0 540878 0 30 736 0 0 764976
1800.07/1800.04 c indicator : 1758 0 3300979 156468 0 121 1241461 0 0 0
1800.07/1800.04 c setppc : 6 6 3288207 84471 0 26907 1045917 0 0 0
1800.07/1800.04 c linear : 1758 6 3346623 148231 0 198443 17120291 489902 0 0
1800.07/1800.04 c logicor : 868+ 6 1451337 95624 0 114319 3508156 0 0 0
1800.07/1800.04 c bounddisjunction : 0+ 0 104006 0 0 0 0 0 0 0
1800.07/1800.04 c countsols : 0 0 0 95624 0 0 0 0 0 0
1800.07/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.04 c integral : 24.32 0.00 0.00 24.32 0.00
1800.07/1800.04 c indicator : 20.82 0.01 8.33 12.48 0.00
1800.07/1800.04 c setppc : 9.15 0.00 9.11 0.04 0.00
1800.07/1800.04 c linear : 133.04 0.00 128.71 4.33 0.00
1800.07/1800.04 c logicor : 303.68 0.00 303.00 0.68 0.00
1800.07/1800.04 c bounddisjunction : 0.15 0.00 0.15 0.00 0.00
1800.07/1800.04 c countsols : 0.02 0.00 0.00 0.02 0.00
1800.07/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.04 c vbounds : 0.77 2 0 0
1800.07/1800.04 c rootredcost : 0.81 58 0 1716
1800.07/1800.04 c pseudoobj : 112.98 3386761 1499 822685
1800.07/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.04 c propagation : 16.84 341168 340824 2110210 26.7 11710 23.5 -
1800.07/1800.04 c infeasible LP : 8.80 33504 33504 272172 43.0 292 18.5 0
1800.07/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.04 c pseudo solution : 0.02 33 33 167 16.0 15 5.2 -
1800.07/1800.04 c applied globally : - - - 921278 22.6 - - -
1800.07/1800.04 c applied locally : - - - 0 0.0 - - -
1800.07/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.04 c cut pool : 0.00 5 - - 15 - (maximal pool size: 138)
1800.07/1800.04 c redcost : 27.32 544298 0 297546 0 0
1800.07/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.04 c intobj : 0.00 0 0 0 0 0
1800.07/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.04 c gomory : 0.18 6 0 0 615 0
1800.07/1800.04 c strongcg : 0.10 6 0 0 91 0
1800.07/1800.04 c cmir : 0.04 6 0 0 0 0
1800.07/1800.04 c flowcover : 0.07 6 0 0 0 0
1800.07/1800.04 c clique : 0.00 6 0 0 0 0
1800.07/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.04 c mcf : 0.00 1 0 0 0 0
1800.07/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.04 c Pricers : Time Calls Vars
1800.07/1800.04 c problem variables: 0.00 0 0
1800.07/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.04 c relpscost : 23.91 383088 30 736 0 0 764976
1800.07/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.04 c inference : 11.98 95567 0 0 0 0 191134
1800.07/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.04 c random : 0.00 0 0 0 0 0 0
1800.07/1800.04 c Primal Heuristics : Time Calls Found
1800.07/1800.04 c LP solutions : 0.20 - 57
1800.07/1800.04 c pseudo solutions : 0.00 - 0
1800.07/1800.04 c feaspump : 0.07 1 0
1800.07/1800.04 c oneopt : 0.72 53 0
1800.07/1800.04 c crossover : 1.30 46 0
1800.07/1800.04 c linesearchdiving : 0.66 659 0
1800.07/1800.04 c guideddiving : 0.55 659 0
1800.07/1800.04 c pscostdiving : 0.65 660 0
1800.07/1800.04 c fracdiving : 0.64 660 0
1800.07/1800.04 c veclendiving : 0.63 660 0
1800.07/1800.04 c coefdiving : 0.64 660 0
1800.07/1800.04 c objpscostdiving : 0.76 653 0
1800.07/1800.04 c rootsoldiving : 0.66 653 0
1800.07/1800.04 c trivial : 0.02 2 0
1800.07/1800.04 c simplerounding : 0.75 383521 0
1800.07/1800.04 c zirounding : 0.42 1000 0
1800.07/1800.04 c rounding : 1.56 8712 0
1800.07/1800.04 c shifting : 1.28 2755 0
1800.07/1800.04 c intshifting : 0.01 4 0
1800.07/1800.04 c twoopt : 0.00 0 0
1800.07/1800.04 c fixandinfer : 0.00 0 0
1800.07/1800.04 c intdiving : 0.00 0 0
1800.07/1800.04 c actconsdiving : 0.00 0 0
1800.07/1800.04 c octane : 0.00 0 0
1800.07/1800.04 c rens : 0.02 1 0
1800.07/1800.04 c rins : 0.00 0 0
1800.07/1800.04 c localbranching : 0.00 0 0
1800.07/1800.04 c mutation : 0.00 0 0
1800.07/1800.04 c dins : 0.00 0 0
1800.07/1800.04 c undercover : 0.00 0 0
1800.07/1800.04 c nlp : 0.26 0 0
1800.07/1800.04 c trysol : 1.76 5999 101
1800.07/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.04 c dual LP : 572.69 480217 3800149 7.91 6635.61
1800.07/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.04 c diving/probing LP: 0.21 108 2122 19.65 10104.76
1800.07/1800.04 c strong branching : 20.76 8901 131525 14.78 6335.50
1800.07/1800.04 c (at root node) : - 33 4603 139.48 -
1800.07/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.04 c B&B Tree :
1800.07/1800.04 c number of runs : 1
1800.07/1800.04 c nodes : 781499
1800.07/1800.04 c nodes (total) : 781499
1800.07/1800.04 c nodes left : 1741
1800.07/1800.04 c max depth : 473
1800.07/1800.04 c max depth (total): 473
1800.07/1800.04 c backtracks : 91392 (11.7%)
1800.07/1800.04 c delayed cutoffs : 73583
1800.07/1800.04 c repropagations : 1219064 (5242205 domain reductions, 71407 cutoffs)
1800.07/1800.04 c avg switch length: 4.76
1800.07/1800.04 c switching time : 267.36
1800.07/1800.04 c Solution :
1800.07/1800.04 c Solutions found : 158 (58 improvements)
1800.07/1800.04 c First Solution : +8.85000000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.07/1800.04 c Primal Bound : +3.00000000000000e+00 (in run 1, after 287740 nodes, 543.00 seconds, depth 35, found by <relaxation>)
1800.07/1800.04 c Dual Bound : +0.00000000000000e+00
1800.07/1800.04 c Gap : infinite
1800.07/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.04 c Root Iterations : 337
1800.17/1800.14 c Time complete: 1800.21.