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-2692930-1277911079.wbo>
0.00/0.03 c original problem has 3945 variables (2088 bin, 0 int, 0 impl, 1857 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.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.07/0.09 c (round 2) 0 del vars, 62 del conss, 1857 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.09/0.10 c (round 3) 50 del vars, 124 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.09/0.11 c (round 4) 107 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2031 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 114 deleted vars, 131 deleted constraints, 1864 tightened bounds, 0 added holes, 62 changed sides, 0 changed coefficients
0.09/0.16 c 1983 implications, 5 cliques
0.09/0.16 c presolved problem has 3831 variables (2031 bin, 0 int, 0 impl, 1800 cont) and 4434 constraints
0.09/0.16 c 1800 constraints of type <indicator>
0.09/0.16 c 5 constraints of type <setppc>
0.09/0.16 c 1800 constraints of type <linear>
0.09/0.16 c 829 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.10
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 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.17 c 0.1s| 1 | 0 | 12 | - | 14M| 0 | 3 |3831 |4434 |3831 | 834 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 90731
0.09/0.18 c y 0.1s| 1 | 0 | 21 | - | 14M| 0 | 3 |3831 |4434 |3831 | 834 | 0 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 57 | - | 14M| 0 | 33 |3831 |4434 |3831 | 856 | 22 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 144 | - | 14M| 0 | 56 |3831 |4434 |3831 | 886 | 52 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.28/0.31 c 0.2s| 1 | 0 | 171 | - | 14M| 0 | 58 |3831 |4434 |3831 | 902 | 68 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.28/0.39 c 0.3s| 1 | 0 | 177 | - | 14M| 0 | 57 |3831 |4434 |3831 | 905 | 71 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.39/0.46 c 0.4s| 1 | 0 | 182 | - | 14M| 0 | 60 |3831 |4434 |3831 | 907 | 73 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.49/0.54 c 0.5s| 1 | 0 | 190 | - | 14M| 0 | 59 |3831 |4434 |3831 | 908 | 74 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.79/0.88 c 0.8s| 1 | 2 | 190 | - | 14M| 0 | 59 |3831 |4434 |3831 | 908 | 74 | 0 | 33 | 0.000000e+00 | 9.073100e+04 | Inf
30.39/30.49 c 29.3s| 10000 | 9983 | 84134 | 8.4 | 39M| 115 | 0 |3831 |4464 |3831 | 947 |7410 | 38 |1783 | 0.000000e+00 | 9.073100e+04 | Inf
49.89/49.91 c 48.0s| 20000 | 19979 |133113 | 6.6 | 58M| 125 | 0 |3831 |4454 |3831 | 943 | 12k| 49 |1786 | 0.000000e+00 | 9.073100e+04 | Inf
67.59/67.69 c 65.1s| 30000 | 29963 |168076 | 5.6 | 76M| 129 | 0 |3831 |4460 |3831 | 941 | 16k| 66 |1786 | 0.000000e+00 | 9.073100e+04 | Inf
84.60/84.66 c 81.5s| 40000 | 39955 |197022 | 4.9 | 94M| 133 | 0 |3831 |4455 |3831 | 996 | 20k| 71 |1786 | 0.000000e+00 | 9.073100e+04 | Inf
101.20/101.23 c 97.5s| 50000 | 49949 |220831 | 4.4 | 112M| 139 | 0 |3831 |4460 |3831 | 990 | 24k| 82 |1934 | 0.000000e+00 | 9.073100e+04 | Inf
117.49/117.50 c 113s| 60000 | 59947 |242618 | 4.0 | 130M| 139 | 0 |3831 |4453 |3831 | 937 | 28k| 83 |2050 | 0.000000e+00 | 9.073100e+04 | Inf
133.39/133.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.39/133.48 c 129s| 70000 | 69937 |262073 | 3.7 | 148M| 139 | 0 |3831 |4459 |3831 | 937 | 31k| 91 |2139 | 0.000000e+00 | 9.073100e+04 | Inf
149.30/149.32 c 144s| 80000 | 79935 |279629 | 3.5 | 166M| 141 | 8 |3831 |4452 |3831 | 949 | 35k| 92 |2253 | 0.000000e+00 | 9.073100e+04 | Inf
165.10/165.10 c 159s| 90000 | 89921 |295169 | 3.3 | 184M| 141 | 0 |3831 |4463 |3831 | 961 | 39k| 107 |2385 | 0.000000e+00 | 9.073100e+04 | Inf
180.89/180.93 c 175s|100000 | 99911 |313431 | 3.1 | 202M| 143 | 10 |3831 |4462 |3831 | 925 | 43k| 114 |2431 | 0.000000e+00 | 9.073100e+04 | Inf
195.89/195.96 c 189s|110000 |109907 |324336 | 2.9 | 219M| 143 | 0 |3831 |4466 |3831 | 967 | 46k| 121 |2521 | 0.000000e+00 | 9.073100e+04 | Inf
204.60/204.66 o 499
204.60/204.66 c * 198s|115852 | 38096 |330084 | 2.8 | 98M| 143 | - |3831 |4459 |3831 | 946 | 48k| 121 |2524 | 0.000000e+00 | 4.990000e+02 | Inf
211.59/211.63 o 494
211.59/211.63 c * 204s|118817 | 40238 |343715 | 2.9 | 104M| 143 | - |3831 |4907 |3831 | 940 | 53k| 688 |2625 | 0.000000e+00 | 4.940000e+02 | Inf
211.80/211.88 o 485
211.80/211.88 c * 205s|118925 | 39390 |344249 | 2.9 | 102M| 143 | - |3831 |4946 |3831 | 967 | 53k| 732 |2628 | 0.000000e+00 | 4.850000e+02 | Inf
212.50/212.57 o 482
212.50/212.57 c * 205s|119186 | 39303 |345787 | 2.9 | 102M| 143 | - |3831 |4978 |3831 | 960 | 53k| 785 |2631 | 0.000000e+00 | 4.820000e+02 | Inf
212.90/212.99 o 452
212.90/212.99 c * 206s|119350 | 36020 |346561 | 2.9 | 96M| 143 | - |3831 |5009 |3831 | 965 | 54k| 835 |2631 | 0.000000e+00 | 4.520000e+02 | Inf
213.59/213.68 o 451
213.59/213.68 c * 206s|119610 | 36077 |348359 | 2.9 | 97M| 143 | - |3831 |5136 |3831 | 952 | 54k|1022 |2634 | 0.000000e+00 | 4.510000e+02 | Inf
214.69/214.75 c 207s|120000 | 36340 |351101 | 2.9 | 97M| 143 | - |3831 |5271 |3831 | 956 | 55k|1222 |2634 | 0.000000e+00 | 4.510000e+02 | Inf
215.29/215.39 o 449
215.29/215.39 c * 208s|120222 | 36291 |352571 | 2.9 | 98M| 143 | - |3831 |5338 |3831 | 970 | 56k|1333 |2634 | 0.000000e+00 | 4.490000e+02 | Inf
215.60/215.66 o 445
215.60/215.66 c * 208s|120343 | 35990 |353227 | 2.9 | 97M| 143 | - |3831 |5364 |3831 | 940 | 56k|1399 |2634 | 0.000000e+00 | 4.450000e+02 | Inf
216.70/216.72 o 444
216.70/216.72 c * 209s|120791 | 36253 |355044 | 2.9 | 98M| 143 | - |3831 |5319 |3831 | 951 | 57k|1530 |2635 | 0.000000e+00 | 4.440000e+02 | Inf
216.80/216.83 o 442
216.80/216.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.80/216.83 c * 209s|120826 | 36081 |355280 | 2.9 | 98M| 143 | - |3831 |5315 |3831 | 955 | 57k|1539 |2635 | 0.000000e+00 | 4.420000e+02 | Inf
218.39/218.40 o 414
218.39/218.40 c * 211s|121431 | 33631 |358479 | 3.0 | 93M| 143 | - |3831 |5302 |3831 | 946 | 58k|1716 |2635 | 0.000000e+00 | 4.140000e+02 | Inf
218.39/218.41 o 385
218.39/218.41 c * 211s|121432 | 30314 |358479 | 3.0 | 86M| 143 | - |3831 |5301 |3831 | 946 | 58k|1716 |2635 | 0.000000e+00 | 3.850000e+02 | Inf
218.39/218.47 o 378
218.39/218.47 c * 211s|121448 | 29538 |358633 | 3.0 | 85M| 143 | - |3831 |5299 |3831 | 939 | 58k|1722 |2635 | 0.000000e+00 | 3.780000e+02 | Inf
218.39/218.48 o 367
218.39/218.48 c * 211s|121449 | 28233 |358633 | 3.0 | 82M| 143 | - |3831 |5299 |3831 | 939 | 58k|1722 |2635 | 0.000000e+00 | 3.670000e+02 | Inf
219.30/219.35 o 356
219.30/219.35 c * 212s|121779 | 27264 |360356 | 3.0 | 80M| 143 | - |3831 |5316 |3831 | 946 | 58k|1802 |2639 | 0.000000e+00 | 3.560000e+02 | Inf
219.40/219.46 o 323
219.40/219.46 c * 212s|121811 | 23753 |360579 | 3.0 | 73M| 143 | - |3831 |5324 |3831 | 945 | 58k|1834 |2645 | 0.000000e+00 | 3.230000e+02 | Inf
219.49/219.50 o 230
219.49/219.50 c * 212s|121816 | 15877 |360588 | 3.0 | 56M| 143 | - |3831 |5323 |3831 | 945 | 58k|1834 |2645 | 0.000000e+00 | 2.300000e+02 | Inf
219.49/219.53 o 206
219.49/219.53 c * 212s|121824 | 14088 |360651 | 3.0 | 53M| 143 | - |3831 |5323 |3831 | 944 | 58k|1837 |2645 | 0.000000e+00 | 2.060000e+02 | Inf
219.49/219.55 o 166
219.49/219.55 c * 212s|121825 | 11249 |360651 | 3.0 | 47M| 143 | - |3831 |5323 |3831 | 944 | 58k|1837 |2645 | 0.000000e+00 | 1.660000e+02 | Inf
219.59/219.64 o 157
219.59/219.64 c * 212s|121851 | 10607 |360987 | 3.0 | 45M| 143 | - |3831 |5320 |3831 | 943 | 59k|1854 |2645 | 0.000000e+00 | 1.570000e+02 | Inf
219.59/219.67 o 155
219.59/219.67 c * 212s|121856 | 10485 |361054 | 3.0 | 45M| 143 | - |3831 |5322 |3831 | 945 | 59k|1858 |2645 | 0.000000e+00 | 1.550000e+02 | Inf
219.69/219.73 o 153
219.69/219.73 c * 212s|121873 | 10414 |361217 | 3.0 | 45M| 143 | - |3831 |5320 |3831 | 936 | 59k|1865 |2646 | 0.000000e+00 | 1.530000e+02 | Inf
219.69/219.76 o 143
219.69/219.76 c * 212s|121878 | 9867 |361314 | 3.0 | 44M| 143 | - |3831 |5319 |3831 | 952 | 59k|1869 |2646 | 0.000000e+00 | 1.430000e+02 | Inf
219.90/219.92 o 108
219.90/219.92 c * 212s|121917 | 7163 |361595 | 3.0 | 38M| 143 | - |3831 |5308 |3831 | 948 | 59k|1879 |2658 | 0.000000e+00 | 1.080000e+02 | Inf
219.90/219.94 o 103
219.90/219.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.90/219.94 c * 212s|121919 | 6906 |361636 | 3.0 | 38M| 143 | - |3831 |5306 |3831 | 922 | 59k|1879 |2658 | 0.000000e+00 | 1.030000e+02 | Inf
219.90/219.96 o 90
219.90/219.96 c * 212s|121921 | 5793 |361679 | 3.0 | 35M| 143 | - |3831 |5304 |3831 | 922 | 59k|1879 |2658 | 0.000000e+00 | 9.000000e+01 | Inf
219.90/220.00 o 88
219.90/220.00 c * 212s|121929 | 5716 |361726 | 3.0 | 35M| 143 | - |3831 |5085 |3831 | 922 | 59k|1884 |2658 | 0.000000e+00 | 8.800000e+01 | Inf
220.79/220.80 o 86
220.79/220.80 c * 213s|122135 | 5660 |363128 | 3.0 | 36M| 143 | - |3831 |4861 |3831 | 950 | 59k|2069 |2687 | 0.000000e+00 | 8.600000e+01 | Inf
226.19/226.24 o 84
226.19/226.24 c * 218s|124031 | 5760 |374837 | 3.0 | 42M| 143 | - |3831 |5384 |3831 | 928 | 60k|4082 |2721 | 0.000000e+00 | 8.400000e+01 | Inf
226.30/226.31 o 83
226.30/226.31 c * 218s|124052 | 5733 |374996 | 3.0 | 42M| 143 | - |3831 |5316 |3831 | 937 | 60k|4099 |2721 | 0.000000e+00 | 8.300000e+01 | Inf
226.39/226.48 o 79
226.39/226.48 c * 219s|124105 | 5489 |375456 | 3.0 | 41M| 143 | - |3831 |5264 |3831 | 933 | 60k|4149 |2721 | 0.000000e+00 | 7.900000e+01 | Inf
229.59/229.68 o 78
229.59/229.68 c * 222s|125337 | 5671 |380911 | 3.0 | 46M| 143 | - |3831 |5544 |3831 | 946 | 60k|5723 |2722 | 0.000000e+00 | 7.800000e+01 | Inf
229.90/229.93 o 77
229.90/229.93 c * 222s|125404 | 5647 |381359 | 3.0 | 46M| 143 | - |3831 |5429 |3831 | 958 | 60k|5811 |2722 | 0.000000e+00 | 7.700000e+01 | Inf
231.20/231.29 o 76
231.20/231.29 c * 223s|125827 | 5509 |383911 | 3.0 | 47M| 143 | - |3831 |5329 |3831 | 931 | 61k|6135 |2736 | 0.000000e+00 | 7.600000e+01 | Inf
231.39/231.41 o 75
231.39/231.41 c * 223s|125852 | 5477 |384050 | 3.1 | 48M| 143 | - |3831 |5270 |3831 | 928 | 61k|6160 |2737 | 0.000000e+00 | 7.500000e+01 | Inf
231.69/231.79 o 73
231.69/231.79 c * 224s|125973 | 5307 |384643 | 3.1 | 47M| 143 | - |3831 |5202 |3831 | 924 | 61k|6295 |2742 | 0.000000e+00 | 7.300000e+01 | Inf
231.90/231.96 o 71
231.90/231.96 c * 224s|126053 | 5159 |384782 | 3.1 | 47M| 143 | - |3831 |5211 |3831 | 924 | 61k|6375 |2743 | 0.000000e+00 | 7.100000e+01 | Inf
232.20/232.26 o 66
232.20/232.26 c * 224s|126176 | 4852 |385026 | 3.1 | 46M| 143 | - |3831 |5141 |3831 | 928 | 61k|6415 |2743 | 0.000000e+00 | 6.600000e+01 | Inf
232.70/232.70 o 64
232.70/232.70 c * 224s|126322 | 4740 |385660 | 3.1 | 45M| 143 | - |3831 |4832 |3831 | 929 | 61k|6580 |2751 | 0.000000e+00 | 6.400000e+01 | Inf
232.70/232.73 o 63
232.70/232.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.70/232.73 c * 225s|126328 | 4484 |385679 | 3.1 | 45M| 143 | - |3831 |4779 |3831 | 929 | 61k|6586 |2751 | 0.000000e+00 | 6.300000e+01 | Inf
233.39/233.45 o 61
233.39/233.45 c * 225s|126561 | 4443 |387102 | 3.1 | 46M| 143 | - |3831 |4710 |3831 | 939 | 61k|6841 |2756 | 0.000000e+00 | 6.100000e+01 | Inf
233.79/233.82 o 57
233.79/233.82 c * 226s|126682 | 4213 |387664 | 3.1 | 45M| 143 | - |3831 |4660 |3831 | 924 | 61k|6930 |2757 | 0.000000e+00 | 5.700000e+01 | Inf
234.09/234.10 o 53
234.09/234.10 c * 226s|126783 | 3968 |388203 | 3.1 | 44M| 143 | - |3831 |4629 |3831 | 924 | 61k|7044 |2757 | 0.000000e+00 | 5.300000e+01 | Inf
234.09/234.14 o 50
234.09/234.14 c * 226s|126792 | 3838 |388256 | 3.1 | 43M| 143 | - |3831 |4556 |3831 | 924 | 61k|7055 |2757 | 0.000000e+00 | 5.000000e+01 | Inf
234.50/234.50 o 41
234.50/234.50 c * 226s|126923 | 2665 |388807 | 3.1 | 38M| 143 | - |3831 |4491 |3831 | 935 | 61k|7150 |2757 | 0.000000e+00 | 4.100000e+01 | Inf
234.90/234.90 o 35
234.90/234.90 c * 227s|127045 | 1582 |389810 | 3.1 | 34M| 143 | - |3831 |4372 |3831 | 930 | 61k|7420 |2762 | 0.000000e+00 | 3.500000e+01 | Inf
239.80/239.82 o 29
239.80/239.82 c * 231s|129626 | 1647 |401456 | 3.1 | 36M| 143 | - |3831 |5890 |3831 | 920 | 63k| 10k|2768 | 0.000000e+00 | 2.900000e+01 | Inf
240.39/240.47 c 232s|130000 | 1649 |402750 | 3.1 | 36M| 143 | - |3831 |6053 | 0 | 0 | 63k| 11k|2768 | 0.000000e+00 | 2.900000e+01 | Inf
246.40/246.41 o 26
246.40/246.41 c * 238s|133224 | 1651 |416410 | 3.1 | 37M| 143 | - |3831 |7258 |3831 | 917 | 64k| 15k|2803 | 0.000000e+00 | 2.600000e+01 | Inf
251.80/251.89 o 22
251.80/251.89 c * 243s|136252 | 1596 |428186 | 3.1 | 37M| 143 | - |3831 |7718 |3831 | 924 | 65k| 19k|2904 | 0.000000e+00 | 2.200000e+01 | Inf
252.80/252.89 o 21
252.80/252.89 c * 244s|136841 | 1576 |430408 | 3.1 | 37M| 143 | - |3831 |7714 |3831 | 924 | 65k| 20k|2904 | 0.000000e+00 | 2.100000e+01 | Inf
252.80/252.89 o 16
252.80/252.89 c * 244s|136842 | 1494 |430412 | 3.1 | 36M| 143 | - |3831 |7714 |3831 | 924 | 65k| 20k|2904 | 0.000000e+00 | 1.600000e+01 | Inf
258.19/258.27 c 249s|140000 | 1422 |443201 | 3.2 | 36M| 143 | - |3831 |7524 | 0 | 0 | 66k| 24k|2961 | 0.000000e+00 | 1.600000e+01 | Inf
261.20/261.24 o 13
261.20/261.24 c * 252s|141697 | 1402 |451211 | 3.2 | 36M| 143 | - |3831 |8171 |3831 | 919 | 67k| 27k|2961 | 0.000000e+00 | 1.300000e+01 | Inf
263.60/263.63 o 11
263.60/263.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.60/263.63 c * 254s|143014 | 1231 |457009 | 3.2 | 35M| 143 | - |3831 |7673 |3831 | 928 | 67k| 28k|2963 | 0.000000e+00 | 1.100000e+01 | Inf
264.20/264.20 o 8
264.20/264.20 c * 254s|143256 | 1177 |458414 | 3.2 | 34M| 143 | - |3831 |7357 |3831 | 923 | 67k| 29k|2991 | 0.000000e+00 | 8.000000e+00 | Inf
265.70/265.70 o 6
265.70/265.70 c * 256s|144050 | 993 |462820 | 3.2 | 32M| 143 | - |3831 |8041 |3831 | 935 | 68k| 30k|3028 | 0.000000e+00 | 6.000000e+00 | Inf
266.29/266.37 o 3
266.29/266.37 c * 257s|144363 | 949 |464744 | 3.2 | 31M| 143 | - |3831 |7731 |3831 | 927 | 68k| 30k|3057 | 0.000000e+00 | 3.000000e+00 | Inf
276.19/276.26 c 266s|150000 | 1034 |492335 | 3.3 | 34M| 143 | 9 |3831 | 11k|3831 | 930 | 73k| 38k|3104 | 0.000000e+00 | 3.000000e+00 | Inf
295.10/295.11 c 284s|160000 | 1197 |547918 | 3.4 | 36M| 143 | - |3831 | 15k|3831 | 928 | 81k| 52k|3231 | 0.000000e+00 | 3.000000e+00 | Inf
314.79/314.88 c 303s|170000 | 1351 |600384 | 3.5 | 39M| 143 | 10 |3831 | 19k|3831 | 931 | 86k| 67k|3345 | 0.000000e+00 | 3.000000e+00 | Inf
335.80/335.83 c 323s|180000 | 1398 |655523 | 3.6 | 41M| 143 | 22 |3831 | 22k|3831 | 934 | 94k| 80k|3560 | 0.000000e+00 | 3.000000e+00 | Inf
336.10/336.15 o 1
336.10/336.15 c * 323s|180150 | 1334 |656349 | 3.6 | 40M| 143 | - |3831 | 22k|3831 | 944 | 94k| 81k|3560 | 0.000000e+00 | 1.000000e+00 | Inf
356.49/356.57 c 343s|190000 | 1460 |709557 | 3.7 | 41M| 143 | 8 |3831 | 20k|3831 | 917 | 101k| 94k|3712 | 0.000000e+00 | 1.000000e+00 | Inf
377.60/377.68 c 363s|200000 | 1537 |764629 | 3.8 | 42M| 143 | 24 |3831 | 23k|3831 | 918 | 108k| 108k|3878 | 0.000000e+00 | 1.000000e+00 | Inf
400.50/400.50 c 385s|210000 | 1667 |821391 | 3.9 | 45M| 143 | 1 |3831 | 29k|3831 | 919 | 116k| 121k|3983 | 0.000000e+00 | 1.000000e+00 | Inf
425.50/425.59 c 409s|220000 | 1697 |878308 | 4.0 | 47M| 143 | 16 |3831 | 31k|3831 | 927 | 123k| 135k|4120 | 0.000000e+00 | 1.000000e+00 | Inf
447.90/447.97 c 431s|230000 | 1685 |927172 | 4.0 | 47M| 143 | 1 |3831 | 31k|3831 | 930 | 127k| 149k|4265 | 0.000000e+00 | 1.000000e+00 | Inf
469.50/469.60 c 452s|240000 | 1667 |967924 | 4.0 | 48M| 143 | 9 |3831 | 32k|3831 | 924 | 128k| 164k|4338 | 0.000000e+00 | 1.000000e+00 | Inf
492.60/492.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.60/492.60 c 474s|250000 | 1690 | 1013k| 4.1 | 47M| 143 | - |3831 | 30k| 0 | 0 | 133k| 178k|4434 | 0.000000e+00 | 1.000000e+00 | Inf
515.51/515.57 c 496s|260000 | 1634 | 1072k| 4.1 | 46M| 143 | 5 |3831 | 25k|3831 | 925 | 140k| 191k|4615 | 0.000000e+00 | 1.000000e+00 | Inf
535.81/535.82 c 516s|270000 | 1393 | 1125k| 4.2 | 42M| 143 | 8 |3831 | 18k|3831 | 920 | 147k| 205k|4849 | 0.000000e+00 | 1.000000e+00 | Inf
556.00/556.09 c 535s|280000 | 1396 | 1177k| 4.2 | 44M| 143 | 1 |3831 | 23k|3831 | 925 | 156k| 220k|4945 | 0.000000e+00 | 1.000000e+00 | Inf
578.70/578.74 c 557s|290000 | 1430 | 1229k| 4.2 | 46M| 143 | - |3831 | 28k| 0 | 0 | 165k| 234k|5062 | 0.000000e+00 | 1.000000e+00 | Inf
603.01/603.05 c 580s|300000 | 1409 | 1287k| 4.3 | 47M| 143 | 6 |3831 | 30k|3831 | 946 | 176k| 249k|5135 | 0.000000e+00 | 1.000000e+00 | Inf
626.11/626.16 c 603s|310000 | 1345 | 1342k| 4.3 | 45M| 143 | - |3831 | 27k| 0 | 0 | 185k| 263k|5316 | 0.000000e+00 | 1.000000e+00 | Inf
649.01/649.05 c 625s|320000 | 1387 | 1387k| 4.3 | 47M| 143 | 24 |3831 | 32k|3831 | 940 | 190k| 276k|5416 | 0.000000e+00 | 1.000000e+00 | Inf
675.20/675.26 c 650s|330000 | 1389 | 1444k| 4.4 | 50M| 143 | - |3831 | 38k| 0 | 0 | 200k| 290k|5496 | 0.000000e+00 | 1.000000e+00 | Inf
702.20/702.26 c 676s|340000 | 1510 | 1498k| 4.4 | 51M| 143 | 14 |3831 | 39k|3831 | 918 | 208k| 304k|5656 | 0.000000e+00 | 1.000000e+00 | Inf
728.21/728.26 c 702s|350000 | 1426 | 1547k| 4.4 | 50M| 143 | 1 |3831 | 39k|3831 | 925 | 215k| 318k|5740 | 0.000000e+00 | 1.000000e+00 | Inf
756.00/756.04 c 729s|360000 | 1514 | 1600k| 4.4 | 51M| 143 | - |3831 | 39k| 0 | 0 | 222k| 331k|5827 | 0.000000e+00 | 1.000000e+00 | Inf
785.11/785.13 c 757s|370000 | 1685 | 1661k| 4.5 | 54M| 143 | - |3831 | 43k| 0 | 0 | 230k| 345k|5944 | 0.000000e+00 | 1.000000e+00 | Inf
813.80/813.85 c 785s|380000 | 1619 | 1720k| 4.5 | 54M| 143 | - |3831 | 44k| 0 | 0 | 238k| 359k|6042 | 0.000000e+00 | 1.000000e+00 | Inf
842.31/842.39 c 812s|390000 | 1619 | 1777k| 4.6 | 55M| 143 | - |3831 | 47k|3831 | 938 | 245k| 373k|6132 | 0.000000e+00 | 1.000000e+00 | Inf
871.80/871.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.80/871.80 c 841s|400000 | 1536 | 1832k| 4.6 | 55M| 143 | - |3831 | 46k| 0 | 0 | 253k| 387k|6272 | 0.000000e+00 | 1.000000e+00 | Inf
902.61/902.60 c 871s|410000 | 1706 | 1891k| 4.6 | 57M| 143 | - |3831 | 50k| 0 | 0 | 261k| 401k|6383 | 0.000000e+00 | 1.000000e+00 | Inf
935.11/935.15 c 903s|420000 | 1758 | 1945k| 4.6 | 59M| 143 | - |3831 | 52k| 0 | 0 | 269k| 415k|6462 | 0.000000e+00 | 1.000000e+00 | Inf
966.92/966.95 c 933s|430000 | 1871 | 2002k| 4.7 | 61M| 143 | 13 |3831 | 55k|3831 | 929 | 277k| 429k|6535 | 0.000000e+00 | 1.000000e+00 | Inf
999.11/999.13 c 965s|440000 | 1972 | 2052k| 4.7 | 63M| 143 | - |3831 | 58k| 0 | 0 | 285k| 444k|6625 | 0.000000e+00 | 1.000000e+00 | Inf
1029.31/1029.36 c 994s|450000 | 1990 | 2098k| 4.7 | 64M| 143 | 17 |3831 | 58k|3831 | 923 | 290k| 458k|6716 | 0.000000e+00 | 1.000000e+00 | Inf
1062.41/1062.49 c 1026s|460000 | 2140 | 2152k| 4.7 | 67M| 143 | - |3831 | 63k| 0 | 0 | 297k| 472k|6811 | 0.000000e+00 | 1.000000e+00 | Inf
1093.61/1093.60 c 1057s|470000 | 2088 | 2202k| 4.7 | 66M| 143 | - |3831 | 60k| 0 | 0 | 304k| 487k|6889 | 0.000000e+00 | 1.000000e+00 | Inf
1128.32/1128.34 c 1091s|480000 | 2159 | 2261k| 4.7 | 69M| 143 | 12 |3831 | 64k|3831 | 937 | 313k| 502k|6968 | 0.000000e+00 | 1.000000e+00 | Inf
1163.41/1163.43 c 1125s|490000 | 2366 | 2316k| 4.7 | 71M| 143 | - |3831 | 66k| 0 | 0 | 322k| 517k|7038 | 0.000000e+00 | 1.000000e+00 | Inf
1198.32/1198.37 c 1159s|500000 | 2364 | 2368k| 4.7 | 71M| 143 | 16 |3831 | 66k|3831 | 923 | 330k| 531k|7139 | 0.000000e+00 | 1.000000e+00 | Inf
1236.32/1236.37 c 1196s|510000 | 2498 | 2424k| 4.8 | 73M| 143 | - |3831 | 67k|3831 | 930 | 340k| 545k|7244 | 0.000000e+00 | 1.000000e+00 | Inf
1272.92/1272.91 c 1232s|520000 | 2736 | 2482k| 4.8 | 77M| 143 | - |3831 | 73k| 0 | 0 | 351k| 560k|7347 | 0.000000e+00 | 1.000000e+00 | Inf
1312.82/1312.83 c 1271s|530000 | 2928 | 2538k| 4.8 | 80M| 143 | - |3831 | 75k| 0 | 0 | 361k| 574k|7422 | 0.000000e+00 | 1.000000e+00 | Inf
1352.92/1352.95 c 1310s|540000 | 2854 | 2595k| 4.8 | 79M| 143 | 12 |3831 | 72k|3831 | 947 | 370k| 590k|7491 | 0.000000e+00 | 1.000000e+00 | Inf
1390.62/1390.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.62/1390.62 c 1347s|550000 | 2752 | 2650k| 4.8 | 79M| 143 | 14 |3831 | 72k|3831 | 922 | 379k| 605k|7576 | 0.000000e+00 | 1.000000e+00 | Inf
1429.63/1429.64 c 1385s|560000 | 2707 | 2708k| 4.8 | 76M| 143 | - |3831 | 62k| 0 | 0 | 386k| 619k|7669 | 0.000000e+00 | 1.000000e+00 | Inf
1462.72/1462.75 c 1418s|570000 | 2501 | 2763k| 4.8 | 71M| 143 | 6 |3831 | 52k|3831 | 923 | 393k| 634k|7760 | 0.000000e+00 | 1.000000e+00 | Inf
1493.12/1493.15 c 1447s|580000 | 2527 | 2808k| 4.8 | 71M| 143 | - |3831 | 53k| 0 | 0 | 398k| 648k|7812 | 0.000000e+00 | 1.000000e+00 | Inf
1525.83/1525.85 c 1479s|590000 | 2523 | 2866k| 4.9 | 73M| 143 | 15 |3831 | 56k|3831 | 922 | 406k| 662k|7892 | 0.000000e+00 | 1.000000e+00 | Inf
1557.32/1557.36 c 1510s|600000 | 2310 | 2908k| 4.8 | 68M| 143 | 10 |3831 | 47k|3831 | 930 | 409k| 676k|8031 | 0.000000e+00 | 1.000000e+00 | Inf
1582.93/1582.94 c 1535s|610000 | 2129 | 2957k| 4.8 | 62M| 143 | 9 |3831 | 36k|3831 | 920 | 414k| 690k|8113 | 0.000000e+00 | 1.000000e+00 | Inf
1605.93/1605.98 c 1557s|620000 | 2190 | 3006k| 4.8 | 61M| 143 | - |3831 | 29k| 0 | 0 | 418k| 703k|8317 | 0.000000e+00 | 1.000000e+00 | Inf
1629.03/1629.05 c 1579s|630000 | 2231 | 3055k| 4.8 | 63M| 143 | 15 |3831 | 34k|3831 | 926 | 424k| 717k|8349 | 0.000000e+00 | 1.000000e+00 | Inf
1653.43/1653.41 c 1603s|640000 | 2360 | 3109k| 4.9 | 63M| 143 | 6 |3831 | 33k|3831 | 914 | 431k| 730k|8402 | 0.000000e+00 | 1.000000e+00 | Inf
1678.73/1678.75 c 1627s|650000 | 2441 | 3163k| 4.9 | 65M| 143 | 14 |3831 | 36k|3831 | 930 | 439k| 744k|8454 | 0.000000e+00 | 1.000000e+00 | Inf
1704.03/1704.02 c 1651s|660000 | 2369 | 3214k| 4.9 | 66M| 143 | - |3831 | 38k| 0 | 0 | 444k| 757k|8513 | 0.000000e+00 | 1.000000e+00 | Inf
1730.73/1730.70 c 1677s|670000 | 2570 | 3270k| 4.9 | 67M| 143 | 13 |3831 | 39k|3831 | 927 | 450k| 771k|8650 | 0.000000e+00 | 1.000000e+00 | Inf
1755.13/1755.19 c 1701s|680000 | 2790 | 3310k| 4.9 | 70M| 143 | 7 |3831 | 42k|3831 | 930 | 452k| 785k|8691 | 0.000000e+00 | 1.000000e+00 | Inf
1778.43/1778.49 c 1724s|690000 | 2797 | 3347k| 4.9 | 71M| 143 | 7 |3831 | 43k|3831 | 930 | 453k| 800k|8713 | 0.000000e+00 | 1.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1744.56
1800.04/1800.00 c Solving Nodes : 698331
1800.04/1800.00 c Primal Bound : +1.00000000000000e+00 (272 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.03 s SATISFIABLE
1800.04/1800.03 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 x211 -x210
1800.04/1800.03 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.03 v x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.03 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.03 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.03 v -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.03 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.04/1800.03 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
1800.04/1800.03 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
1800.04/1800.03 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.04/1800.03 v -x1
1800.04/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.03 c Solving Time : 1744.56
1800.04/1800.03 c Original Problem :
1800.04/1800.03 c Problem name : HOME/instance-2692930-1277911079.wbo
1800.04/1800.03 c Variables : 3945 (2088 binary, 0 integer, 0 implicit integer, 1857 continuous)
1800.04/1800.03 c Constraints : 4565 initial, 4565 maximal
1800.04/1800.03 c Presolved Problem :
1800.04/1800.03 c Problem name : t_HOME/instance-2692930-1277911079.wbo
1800.04/1800.03 c Variables : 3831 (2031 binary, 0 integer, 0 implicit integer, 1800 continuous)
1800.04/1800.03 c Constraints : 4434 initial, 76895 maximal
1800.04/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.03 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.04/1800.03 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.04/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.03 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.04/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c linear : 0.05 0 0 0 1864 0 74 62 0
1800.04/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c root node : - 1800 - - 3600 - - - -
1800.04/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c integral : 0 0 0 509061 0 13 655 0 0 666872
1800.04/1800.03 c indicator : 1800 0 477411 124213 0 114 1076346 0 0 0
1800.04/1800.03 c setppc : 5 6 2723514 104582 0 13549 725950 0 0 0
1800.04/1800.03 c linear : 1800 6 2832764 175062 0 160895 13692599 456341 0 0
1800.04/1800.03 c logicor : 829+ 6 1290420 109267 0 110672 3105070 0 0 0
1800.04/1800.03 c bounddisjunction : 0+ 0 254695 0 0 0 335 0 0 0
1800.04/1800.03 c countsols : 0 0 0 109267 0 0 0 0 0 0
1800.04/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.03 c integral : 22.06 0.00 0.00 22.06 0.00
1800.04/1800.03 c indicator : 20.96 0.00 5.59 15.37 0.00
1800.04/1800.03 c setppc : 6.00 0.00 6.00 0.00 0.00
1800.04/1800.03 c linear : 114.58 0.00 109.36 5.22 0.00
1800.04/1800.03 c logicor : 375.22 0.00 374.22 1.00 0.00
1800.04/1800.03 c bounddisjunction : 0.18 0.00 0.18 0.00 0.00
1800.04/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.03 c vbounds : 0.00 2 0 0
1800.04/1800.03 c rootredcost : 0.01 58 0 1800
1800.04/1800.03 c pseudoobj : 90.44 2847829 1487 640938
1800.04/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.03 c propagation : 14.14 286603 285846 1782517 28.9 7726 25.6 -
1800.04/1800.03 c infeasible LP : 8.31 30161 30161 239932 46.6 201 23.0 0
1800.04/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c pseudo solution : 0.00 57 57 291 15.2 21 6.5 -
1800.04/1800.03 c applied globally : - - - 812824 24.2 - - -
1800.04/1800.03 c applied locally : - - - 0 0.0 - - -
1800.04/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.03 c cut pool : 0.00 5 - - 21 - (maximal pool size: 72)
1800.04/1800.03 c redcost : 26.74 510531 0 311507 0 0
1800.04/1800.03 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.03 c intobj : 0.00 0 0 0 0 0
1800.04/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.03 c gomory : 0.15 6 0 0 363 0
1800.04/1800.03 c strongcg : 0.05 6 0 0 44 0
1800.04/1800.03 c cmir : 0.04 6 0 0 0 0
1800.04/1800.03 c flowcover : 0.06 6 0 0 0 0
1800.04/1800.03 c clique : 0.00 6 0 0 0 0
1800.04/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.03 c mcf : 0.00 1 0 0 0 0
1800.04/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.03 c Pricers : Time Calls Vars
1800.04/1800.03 c problem variables: 0.00 0 0
1800.04/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c relpscost : 22.01 333954 13 655 0 0 666872
1800.04/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c inference : 17.18 109210 0 0 0 0 218420
1800.04/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c random : 0.00 0 0 0 0 0 0
1800.04/1800.03 c Primal Heuristics : Time Calls Found
1800.04/1800.03 c LP solutions : 0.18 - 57
1800.04/1800.03 c pseudo solutions : 0.00 - 0
1800.04/1800.03 c feaspump : 0.00 1 0
1800.04/1800.03 c oneopt : 0.18 54 0
1800.04/1800.03 c crossover : 0.95 42 0
1800.04/1800.03 c fracdiving : 2.17 2034 0
1800.04/1800.03 c veclendiving : 1.94 2034 0
1800.04/1800.03 c guideddiving : 2.17 2034 0
1800.04/1800.03 c coefdiving : 1.96 2035 0
1800.04/1800.03 c pscostdiving : 1.96 2035 0
1800.04/1800.03 c linesearchdiving : 1.97 2035 0
1800.04/1800.03 c rootsoldiving : 1.99 1961 0
1800.04/1800.03 c objpscostdiving : 1.99 1961 0
1800.04/1800.03 c trivial : 0.01 2 0
1800.04/1800.03 c simplerounding : 0.22 334353 0
1800.04/1800.03 c zirounding : 0.10 1000 0
1800.04/1800.03 c rounding : 0.93 8139 0
1800.04/1800.03 c shifting : 0.87 2505 0
1800.04/1800.03 c intshifting : 0.00 4 0
1800.04/1800.03 c twoopt : 0.00 0 0
1800.04/1800.03 c fixandinfer : 0.00 0 0
1800.04/1800.03 c intdiving : 0.00 0 0
1800.04/1800.03 c actconsdiving : 0.00 0 0
1800.04/1800.03 c octane : 0.00 0 0
1800.04/1800.03 c rens : 0.02 1 0
1800.04/1800.03 c rins : 0.00 0 0
1800.04/1800.03 c localbranching : 0.00 0 0
1800.04/1800.03 c mutation : 0.00 0 0
1800.04/1800.03 c dins : 0.00 0 0
1800.04/1800.03 c undercover : 0.00 0 0
1800.04/1800.03 c nlp : 0.00 0 0
1800.04/1800.03 c trysol : 0.68 3871 215
1800.04/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.03 c dual LP : 491.23 434612 3381840 7.78 6884.43
1800.04/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.03 c diving/probing LP: 0.17 162 1494 9.22 8788.24
1800.04/1800.03 c strong branching : 19.05 8772 126797 14.45 6656.01
1800.04/1800.03 c (at root node) : - 33 2838 86.00 -
1800.04/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.03 c B&B Tree :
1800.04/1800.03 c number of runs : 1
1800.04/1800.03 c nodes : 698331
1800.04/1800.03 c nodes (total) : 698331
1800.04/1800.03 c nodes left : 2831
1800.04/1800.03 c max depth : 143
1800.04/1800.03 c max depth (total): 143
1800.04/1800.03 c backtracks : 81466 (11.7%)
1800.04/1800.03 c delayed cutoffs : 63377
1800.04/1800.03 c repropagations : 1017647 (4104607 domain reductions, 61241 cutoffs)
1800.04/1800.03 c avg switch length: 4.53
1800.04/1800.03 c switching time : 285.41
1800.04/1800.03 c Solution :
1800.04/1800.03 c Solutions found : 272 (58 improvements)
1800.04/1800.03 c First Solution : +9.07310000000000e+04 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.04/1800.03 c Primal Bound : +1.00000000000000e+00 (in run 1, after 180150 nodes, 323.16 seconds, depth 39, found by <relaxation>)
1800.04/1800.03 c Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Gap : infinite
1800.04/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Root Iterations : 190
1800.14/1800.14 c Time complete: 1800.17.