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-2705631-1278572960.wbo>
0.00/0.03 c original problem has 3807 variables (2019 bin, 0 int, 1788 impl, 0 cont) and 4496 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 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, 140 impls, 11 clqs
0.00/0.08 c (round 2) 0 del vars, 71 del conss, 1788 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 140 impls, 11 clqs
0.00/0.09 c (round 3) 54 del vars, 170 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 0 upgd conss, 140 impls, 11 clqs
0.09/0.10 c (round 4) 144 del vars, 170 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 894 upgd conss, 140 impls, 11 clqs
0.09/0.11 c (round 5) 144 del vars, 190 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 894 upgd conss, 140 impls, 11 clqs
0.09/0.16 c (0.1s) probing: 101/1947 (5.2%) - 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 144 deleted vars, 190 deleted constraints, 1806 tightened bounds, 0 added holes, 81 changed sides, 0 changed coefficients
0.09/0.16 c 3560 implications, 11 cliques
0.09/0.16 c presolved problem has 3663 variables (1947 bin, 0 int, 1716 impl, 0 cont) and 4306 constraints
0.09/0.16 c 52 constraints of type <setppc>
0.09/0.16 c 1716 constraints of type <linear>
0.09/0.16 c 1716 constraints of type <indicator>
0.09/0.16 c 822 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.12
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.3
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 = 1789.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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.16 c # [type: int, range: [1,2], default: 1]
0.09/0.16 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/indicator/addCouplingCons = 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.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 | 24 | - | 13M| 0 | 14 |3663 |4306 |3663 | 874 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 61 | - | 14M| 0 | 30 |3663 |4306 |3663 | 892 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 88 | - | 14M| 0 | 40 |3663 |4306 |3663 | 903 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.39 c 0.4s| 1 | 0 | 236 | - | 14M| 0 | 39 |3663 |4306 |3663 | 911 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.46 c 0.4s| 1 | 0 | 394 | - | 15M| 0 | 41 |3663 |4306 |3663 | 926 | 52 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.54 c 0.5s| 1 | 0 | 574 | - | 15M| 0 | 46 |3663 |4306 |3663 | 931 | 57 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.62 c 0.6s| 1 | 0 | 620 | - | 15M| 0 | 46 |3663 |4306 |3663 | 945 | 71 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.17 c 1.1s| 1 | 2 | 620 | - | 15M| 0 | 46 |3663 |4306 |3663 | 945 | 71 | 0 | 16 | 0.000000e+00 | -- | Inf
2.19/2.25 o 85182
2.19/2.25 c y 2.2s| 16 | 15 | 1542 | 61.5 | 15M| 14 | - |3663 |4306 | 0 | 0 | 105 | 0 | 137 | 0.000000e+00 | 8.518200e+04 | Inf
21.90/21.92 c 21.9s| 10000 | 9985 | 22862 | 2.2 | 37M| 217 | 0 |3663 |4324 |3663 | 976 |3147 | 18 |1299 | 0.000000e+00 | 8.518200e+04 | Inf
34.99/35.09 c 35.1s| 20000 | 19955 | 29741 | 1.5 | 54M| 217 | 0 |3663 |4348 |3663 | 966 |4682 | 43 |1329 | 0.000000e+00 | 8.518200e+04 | Inf
48.70/48.72 c 48.7s| 30000 | 29935 | 38356 | 1.3 | 71M| 217 | 0 |3663 |4365 |3663 | 957 |6572 | 64 |1382 | 0.000000e+00 | 8.518200e+04 | Inf
61.60/61.62 c 61.6s| 40000 | 39929 | 42028 | 1.0 | 87M| 463 | 0 |3663 |4372 |3663 | 974 |7214 | 72 |1385 | 0.000000e+00 | 8.518200e+04 | Inf
61.60/61.63 o 638
61.60/61.63 c *61.6s| 40006 | 34284 | 42028 | 1.0 | 79M| 463 | - |3663 |4372 |3663 | 974 |7214 | 72 |1385 | 0.000000e+00 | 6.380000e+02 | Inf
64.49/64.54 o 633
64.49/64.54 c *64.5s| 42105 | 36277 | 43138 | 1.0 | 83M| 463 | - |3663 |4380 |3663 | 964 |7415 | 80 |1385 | 0.000000e+00 | 6.330000e+02 | Inf
64.49/64.59 o 624
64.49/64.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.49/64.59 c *64.6s| 42127 | 36116 | 43177 | 1.0 | 83M| 463 | - |3663 |4380 |3663 | 968 |7419 | 80 |1385 | 0.000000e+00 | 6.240000e+02 | Inf
64.90/64.96 o 610
64.90/64.96 c *64.9s| 42387 | 36120 | 43290 | 1.0 | 82M| 463 | - |3663 |4391 |3663 | 975 |7434 | 91 |1385 | 0.000000e+00 | 6.100000e+02 | Inf
71.29/71.37 o 599
71.29/71.37 c *71.3s| 46920 | 40343 | 45662 | 1.0 | 90M| 463 | - |3663 |4526 |3663 | 970 |7832 | 226 |1391 | 0.000000e+00 | 5.990000e+02 | Inf
71.89/71.97 o 598
71.89/71.97 c *71.9s| 47233 | 40528 | 46422 | 1.0 | 90M| 463 | - |3663 |4725 |3663 | 985 |7945 | 425 |1394 | 0.000000e+00 | 5.980000e+02 | Inf
72.69/72.70 o 587
72.69/72.70 c *72.7s| 47668 | 40593 | 46841 | 1.0 | 91M| 463 | - |3663 |4848 |3663 | 977 |7996 | 555 |1394 | 0.000000e+00 | 5.870000e+02 | Inf
73.30/73.31 o 578
73.30/73.31 c *73.3s| 48049 | 40652 | 47009 | 1.0 | 92M| 463 | - |3663 |4915 |3663 | 969 |8012 | 631 |1394 | 0.000000e+00 | 5.780000e+02 | Inf
73.50/73.52 o 572
73.50/73.52 c *73.5s| 48166 | 40584 | 47185 | 1.0 | 91M| 463 | - |3663 |4939 |3663 | 968 |8040 | 657 |1394 | 0.000000e+00 | 5.720000e+02 | Inf
73.89/73.93 o 502
73.89/73.93 c *73.9s| 48387 | 37684 | 47691 | 1.0 | 87M| 463 | - |3663 |4968 |3663 | 974 |8107 | 690 |1394 | 0.000000e+00 | 5.020000e+02 | Inf
74.40/74.40 o 435
74.40/74.40 c *74.4s| 48657 | 34207 | 48283 | 1.0 | 81M| 463 | - |3663 |5226 |3663 | 969 |8157 | 955 |1394 | 0.000000e+00 | 4.350000e+02 | Inf
74.40/74.49 o 416
74.40/74.49 c *74.5s| 48707 | 33165 | 48360 | 1.0 | 79M| 463 | - |3663 |5240 |3663 | 973 |8161 | 972 |1395 | 0.000000e+00 | 4.160000e+02 | Inf
75.10/75.19 o 393
75.10/75.19 c *75.2s| 49097 | 32080 | 49026 | 1.0 | 78M| 463 | - |3663 |5389 |3663 | 959 |8267 |1136 |1395 | 0.000000e+00 | 3.930000e+02 | Inf
77.00/77.03 c 77.0s| 50000 | 32535 | 52437 | 1.0 | 80M| 463 | 0 |3663 |6146 |3663 | 975 |8594 |1954 |1402 | 0.000000e+00 | 3.930000e+02 | Inf
81.40/81.48 o 391
81.40/81.48 c *81.5s| 52232 | 33772 | 61137 | 1.2 | 86M| 463 | - |3663 |7814 |3663 | 972 |9623 |3824 |1441 | 0.000000e+00 | 3.910000e+02 | Inf
81.49/81.57 o 354
81.49/81.57 c *81.5s| 52278 | 31294 | 61189 | 1.2 | 82M| 463 | - |3663 |7836 |3663 | 974 |9641 |3850 |1441 | 0.000000e+00 | 3.540000e+02 | Inf
82.00/82.08 o 336
82.00/82.08 c *82.1s| 52507 | 30008 | 61776 | 1.2 | 80M| 463 | - |3663 |7977 |3663 | 971 |9694 |4045 |1443 | 0.000000e+00 | 3.360000e+02 | Inf
82.00/82.09 o 317
82.00/82.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.00/82.09 c *82.1s| 52508 | 28339 | 61788 | 1.2 | 77M| 463 | - |3663 |7977 |3663 | 972 |9695 |4045 |1443 | 0.000000e+00 | 3.170000e+02 | Inf
83.79/83.83 o 287
83.79/83.83 c *83.8s| 53336 | 25972 | 64927 | 1.2 | 73M| 463 | - |3663 |8224 |3663 | 946 | 10k|4494 |1459 | 0.000000e+00 | 2.870000e+02 | Inf
86.30/86.34 o 267
86.30/86.34 c *86.3s| 54359 | 24386 | 73961 | 1.3 | 71M| 463 | - |3663 |8776 |3663 | 943 | 10k|5307 |1476 | 0.000000e+00 | 2.670000e+02 | Inf
86.30/86.35 o 254
86.30/86.35 c *86.3s| 54361 | 22971 | 73995 | 1.3 | 68M| 463 | - |3663 |8776 |3663 | 943 | 10k|5307 |1476 | 0.000000e+00 | 2.540000e+02 | Inf
86.30/86.36 o 250
86.30/86.36 c *86.3s| 54362 | 22574 | 73996 | 1.3 | 68M| 463 | - |3663 |8776 |3663 | 942 | 10k|5307 |1476 | 0.000000e+00 | 2.500000e+02 | Inf
87.30/87.34 o 249
87.30/87.34 c *87.3s| 54763 | 22704 | 76705 | 1.4 | 68M| 463 | - |3663 |8839 |3663 | 980 | 11k|5560 |1479 | 0.000000e+00 | 2.490000e+02 | Inf
90.20/90.29 o 247
90.20/90.29 c *90.3s| 55830 | 23078 | 87109 | 1.5 | 71M| 463 | - |3663 |9057 |3663 | 972 | 12k|6586 |1530 | 0.000000e+00 | 2.470000e+02 | Inf
90.70/90.73 o 228
90.70/90.73 c *90.7s| 56026 | 21513 | 88206 | 1.6 | 68M| 463 | - |3663 |9021 |3663 | 973 | 12k|6722 |1531 | 0.000000e+00 | 2.280000e+02 | Inf
90.80/90.85 o 193
90.80/90.85 c *90.8s| 56067 | 17387 | 88521 | 1.6 | 60M| 463 | - |3663 |8976 |3663 | 963 | 12k|6730 |1532 | 0.000000e+00 | 1.930000e+02 | Inf
90.90/90.97 o 186
90.90/90.97 c *90.9s| 56093 | 16403 | 89343 | 1.6 | 59M| 463 | - |3663 |8960 |3663 | 986 | 12k|6737 |1535 | 0.000000e+00 | 1.860000e+02 | Inf
92.40/92.46 o 183
92.40/92.46 c *92.4s| 56496 | 16135 | 97804 | 1.7 | 59M| 463 | - |3663 |8876 |3663 | 997 | 13k|7086 |1549 | 0.000000e+00 | 1.830000e+02 | Inf
96.00/96.06 o 178
96.00/96.06 c *96.0s| 57909 | 16240 |108860 | 1.9 | 62M| 463 | - |3663 |8419 |3663 | 982 | 14k|8355 |1553 | 0.000000e+00 | 1.780000e+02 | Inf
96.00/96.09 o 172
96.00/96.09 c *96.1s| 57916 | 15599 |108902 | 1.9 | 60M| 463 | - |3663 |8428 |3663 | 984 | 14k|8365 |1553 | 0.000000e+00 | 1.720000e+02 | Inf
96.29/96.30 o 169
96.29/96.30 c *96.3s| 57998 | 15301 |109649 | 1.9 | 60M| 463 | - |3663 |8341 |3663 | 981 | 14k|8422 |1553 | 0.000000e+00 | 1.690000e+02 | Inf
96.60/96.63 o 159
96.60/96.63 c *96.6s| 58123 | 14385 |110914 | 1.9 | 58M| 463 | - |3663 |8320 |3663 | 975 | 14k|8563 |1553 | 0.000000e+00 | 1.590000e+02 | Inf
98.09/98.10 o 152
98.09/98.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.09/98.10 c *98.1s| 58712 | 13922 |115713 | 2.0 | 58M| 463 | - |3663 |7972 |3663 | 956 | 14k|9018 |1556 | 0.000000e+00 | 1.520000e+02 | Inf
98.09/98.10 o 150
98.09/98.10 c *98.1s| 58713 | 13748 |115713 | 2.0 | 58M| 463 | - |3663 |7972 |3663 | 956 | 14k|9018 |1556 | 0.000000e+00 | 1.500000e+02 | Inf
98.19/98.27 o 140
98.19/98.27 c *98.2s| 58765 | 12607 |116451 | 2.0 | 55M| 463 | - |3663 |7968 |3663 | 973 | 14k|9062 |1556 | 0.000000e+00 | 1.400000e+02 | Inf
98.79/98.81 o 137
98.79/98.81 c *98.8s| 58984 | 12413 |117997 | 2.0 | 55M| 463 | - |3663 |7850 |3663 |1000 | 15k|9188 |1556 | 0.000000e+00 | 1.370000e+02 | Inf
99.89/99.98 o 134
99.89/99.98 c * 100s| 59428 | 12147 |121725 | 2.0 | 56M| 463 | - |3663 |7860 |3663 | 987 | 15k|9702 |1556 | 0.000000e+00 | 1.340000e+02 | Inf
101.20/101.24 c 101s| 60000 | 12413 |123642 | 2.1 | 57M| 463 | 0 |3663 |8024 |3663 | 964 | 15k| 10k|1556 | 0.000000e+00 | 1.340000e+02 | Inf
101.39/101.40 o 132
101.39/101.40 c * 101s| 60050 | 12158 |123777 | 2.1 | 57M| 463 | - |3663 |7941 |3663 | 998 | 15k| 10k|1556 | 0.000000e+00 | 1.320000e+02 | Inf
101.39/101.42 o 129
101.39/101.42 c * 101s| 60064 | 11873 |123793 | 2.1 | 57M| 463 | - |3663 |7949 |3663 | 998 | 15k| 10k|1556 | 0.000000e+00 | 1.290000e+02 | Inf
101.39/101.42 o 120
101.39/101.42 c * 101s| 60065 | 10937 |123793 | 2.1 | 54M| 463 | - |3663 |7949 |3663 | 998 | 15k| 10k|1556 | 0.000000e+00 | 1.200000e+02 | Inf
101.99/102.08 o 115
101.99/102.08 c * 102s| 60330 | 10478 |125373 | 2.1 | 53M| 463 | - |3663 |7984 |3663 | 993 | 15k| 10k|1556 | 0.000000e+00 | 1.150000e+02 | Inf
104.60/104.66 o 112
104.60/104.66 c * 105s| 61435 | 10460 |130185 | 2.1 | 56M| 463 | - |3663 |8089 |3663 | 969 | 16k| 11k|1556 | 0.000000e+00 | 1.120000e+02 | Inf
104.80/104.83 o 96
104.80/104.83 c * 105s| 61489 | 8352 |130415 | 2.1 | 48M| 463 | - |3663 |8130 |3663 | 966 | 16k| 11k|1556 | 0.000000e+00 | 9.600000e+01 | Inf
105.10/105.13 o 86
105.10/105.13 c * 105s| 61565 | 7490 |131240 | 2.1 | 46M| 463 | - |3663 |7715 |3663 | 967 | 16k| 11k|1556 | 0.000000e+00 | 8.600000e+01 | Inf
105.10/105.18 o 85
105.10/105.18 c * 105s| 61570 | 7408 |131444 | 2.1 | 45M| 463 | - |3663 |7468 |3663 | 989 | 16k| 11k|1556 | 0.000000e+00 | 8.500000e+01 | Inf
105.20/105.20 o 84
105.20/105.20 c * 105s| 61573 | 7347 |131460 | 2.1 | 45M| 463 | - |3663 |7418 |3663 | 990 | 16k| 11k|1556 | 0.000000e+00 | 8.400000e+01 | Inf
105.20/105.23 o 76
105.20/105.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.20/105.23 c * 105s| 61578 | 6841 |131511 | 2.1 | 44M| 463 | - |3663 |7367 |3663 | 984 | 16k| 11k|1556 | 0.000000e+00 | 7.600000e+01 | Inf
105.20/105.25 o 73
105.20/105.25 c * 105s| 61580 | 6593 |131520 | 2.1 | 43M| 463 | - |3663 |7171 |3663 | 984 | 16k| 11k|1556 | 0.000000e+00 | 7.300000e+01 | Inf
105.20/105.28 o 57
105.20/105.28 c * 105s| 61582 | 5798 |131529 | 2.1 | 41M| 463 | - |3663 |7089 |3663 | 984 | 16k| 11k|1556 | 0.000000e+00 | 5.700000e+01 | Inf
105.30/105.31 o 56
105.30/105.31 c * 105s| 61590 | 5693 |131557 | 2.1 | 40M| 463 | - |3663 |6749 |3663 | 985 | 16k| 11k|1556 | 0.000000e+00 | 5.600000e+01 | Inf
105.30/105.34 o 48
105.30/105.34 c * 105s| 61601 | 5288 |131575 | 2.1 | 38M| 463 | - |3663 |6681 |3663 | 985 | 16k| 11k|1556 | 0.000000e+00 | 4.800000e+01 | Inf
105.30/105.37 o 47
105.30/105.37 c * 105s| 61603 | 4901 |131581 | 2.1 | 37M| 463 | - |3663 |6508 |3663 | 985 | 16k| 11k|1556 | 0.000000e+00 | 4.700000e+01 | Inf
105.40/105.49 o 42
105.40/105.49 c * 105s| 61646 | 4712 |132006 | 2.1 | 37M| 463 | - |3663 |6475 |3663 | 982 | 16k| 11k|1556 | 0.000000e+00 | 4.200000e+01 | Inf
105.40/105.50 o 40
105.40/105.50 c * 105s| 61647 | 4624 |132014 | 2.1 | 37M| 463 | - |3663 |6475 |3663 | 982 | 16k| 11k|1556 | 0.000000e+00 | 4.000000e+01 | Inf
105.50/105.55 o 32
105.50/105.55 c * 106s| 61663 | 4137 |132147 | 2.1 | 35M| 463 | - |3663 |6256 |3663 | 987 | 16k| 12k|1556 | 0.000000e+00 | 3.200000e+01 | Inf
105.50/105.59 o 30
105.50/105.59 c * 106s| 61681 | 4100 |132207 | 2.1 | 35M| 463 | - |3663 |6074 |3663 | 981 | 16k| 12k|1556 | 0.000000e+00 | 3.000000e+01 | Inf
105.60/105.63 o 22
105.60/105.63 c * 106s| 61691 | 3648 |132253 | 2.1 | 34M| 463 | - |3663 |6027 |3663 | 988 | 16k| 12k|1556 | 0.000000e+00 | 2.200000e+01 | Inf
105.60/105.64 o 21
105.60/105.64 c * 106s| 61693 | 3610 |132268 | 2.1 | 34M| 463 | - |3663 |5824 |3663 | 988 | 16k| 12k|1556 | 0.000000e+00 | 2.100000e+01 | Inf
105.60/105.65 o 19
105.60/105.65 c * 106s| 61694 | 3570 |132269 | 2.1 | 34M| 463 | - |3663 |5824 |3663 | 988 | 16k| 12k|1556 | 0.000000e+00 | 1.900000e+01 | Inf
105.60/105.66 o 13
105.60/105.66 c * 106s| 61697 | 3365 |132277 | 2.1 | 33M| 463 | - |3663 |5724 |3663 | 982 | 16k| 12k|1556 | 0.000000e+00 | 1.300000e+01 | Inf
105.60/105.67 o 11
105.60/105.67 c * 106s| 61698 | 1499 |132285 | 2.1 | 28M| 463 | - |3663 |5724 |3663 | 982 | 16k| 12k|1556 | 0.000000e+00 | 1.100000e+01 | Inf
118.60/118.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.60/118.67 c 119s| 70000 | 1340 |186020 | 2.6 | 30M| 463 | 1 |3663 |7683 |3663 | 963 | 18k| 22k|1556 | 0.000000e+00 | 1.100000e+01 | Inf
133.79/133.89 c 134s| 80000 | 1391 |235613 | 2.9 | 32M| 463 | 1 |3663 | 10k|3663 | 957 | 20k| 34k|1556 | 0.000000e+00 | 1.100000e+01 | Inf
149.90/149.90 c 150s| 90000 | 1322 |289106 | 3.2 | 32M| 463 | 13 |3663 |9371 |3663 | 940 | 22k| 47k|1556 | 0.000000e+00 | 1.100000e+01 | Inf
166.00/166.06 c 166s|100000 | 1301 |342378 | 3.4 | 34M| 463 | - |3663 | 13k| 0 | 0 | 24k| 60k|1572 | 0.000000e+00 | 1.100000e+01 | Inf
183.40/183.42 c 183s|110000 | 1351 |404763 | 3.7 | 35M| 463 | 9 |3663 | 11k|3663 | 961 | 26k| 73k|1657 | 0.000000e+00 | 1.100000e+01 | Inf
200.90/200.92 c 201s|120000 | 1395 |469123 | 3.9 | 36M| 463 | - |3663 | 13k| 0 | 0 | 28k| 86k|1798 | 0.000000e+00 | 1.100000e+01 | Inf
219.30/219.38 c 219s|130000 | 1534 |534018 | 4.1 | 38M| 463 | 33 |3663 | 12k|3663 | 946 | 30k| 98k|1934 | 0.000000e+00 | 1.100000e+01 | Inf
237.30/237.30 c 237s|140000 | 1695 |600215 | 4.3 | 41M| 463 | - |3663 | 14k| 0 | 0 | 32k| 112k|2056 | 0.000000e+00 | 1.100000e+01 | Inf
255.21/255.21 c 255s|150000 | 1800 |661619 | 4.4 | 43M| 463 | 19 |3663 | 14k|3663 | 980 | 34k| 125k|2135 | 0.000000e+00 | 1.100000e+01 | Inf
273.80/273.86 c 274s|160000 | 1975 |726804 | 4.5 | 46M| 463 | 28 |3663 | 17k|3663 | 969 | 36k| 138k|2242 | 0.000000e+00 | 1.100000e+01 | Inf
292.70/292.79 c 293s|170000 | 1983 |788769 | 4.6 | 47M| 463 | - |3663 | 18k| 0 | 0 | 38k| 152k|2361 | 0.000000e+00 | 1.100000e+01 | Inf
311.70/311.79 c 312s|180000 | 1995 |848025 | 4.7 | 46M| 463 | 1 |3663 | 12k|3663 | 959 | 40k| 166k|2475 | 0.000000e+00 | 1.100000e+01 | Inf
329.81/329.88 c 330s|190000 | 2009 |907267 | 4.8 | 47M| 463 | - |3663 | 12k| 0 | 0 | 42k| 179k|2603 | 0.000000e+00 | 1.100000e+01 | Inf
347.51/347.52 c 347s|200000 | 1968 |968420 | 4.8 | 48M| 463 | - |3663 | 12k| 0 | 0 | 44k| 192k|2678 | 0.000000e+00 | 1.100000e+01 | Inf
364.11/364.19 c 364s|210000 | 2081 | 1025k| 4.9 | 50M| 463 | - |3663 | 15k| 0 | 0 | 46k| 205k|2778 | 0.000000e+00 | 1.100000e+01 | Inf
380.91/380.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
380.91/380.93 c 381s|220000 | 2165 | 1076k| 4.9 | 52M| 463 | 1 |3663 | 17k|3663 | 948 | 48k| 219k|2840 | 0.000000e+00 | 1.100000e+01 | Inf
398.41/398.44 c 398s|230000 | 2204 | 1134k| 4.9 | 53M| 463 | - |3663 | 17k| 0 | 0 | 50k| 233k|2902 | 0.000000e+00 | 1.100000e+01 | Inf
416.30/416.33 c 416s|240000 | 2260 | 1191k| 5.0 | 54M| 463 | - |3663 | 18k| 0 | 0 | 52k| 248k|2986 | 0.000000e+00 | 1.100000e+01 | Inf
434.41/434.46 c 434s|250000 | 2271 | 1248k| 5.0 | 55M| 463 | - |3663 | 18k| 0 | 0 | 54k| 262k|3034 | 0.000000e+00 | 1.100000e+01 | Inf
453.61/453.65 c 454s|260000 | 2261 | 1306k| 5.0 | 56M| 463 | - |3663 | 20k| 0 | 0 | 56k| 276k|3114 | 0.000000e+00 | 1.100000e+01 | Inf
472.81/472.89 c 473s|270000 | 2138 | 1366k| 5.1 | 53M| 463 | - |3663 | 14k| 0 | 0 | 58k| 290k|3267 | 0.000000e+00 | 1.100000e+01 | Inf
492.11/492.15 c 492s|280000 | 2060 | 1437k| 5.1 | 52M| 463 | - |3663 | 12k| 0 | 0 | 60k| 304k|3400 | 0.000000e+00 | 1.100000e+01 | Inf
509.21/509.30 c 509s|290000 | 1943 | 1497k| 5.2 | 51M| 463 | - |3663 | 16k| 0 | 0 | 63k| 317k|3480 | 0.000000e+00 | 1.100000e+01 | Inf
527.41/527.48 c 527s|300000 | 1868 | 1551k| 5.2 | 50M| 463 | - |3663 | 14k| 0 | 0 | 65k| 331k|3570 | 0.000000e+00 | 1.100000e+01 | Inf
544.11/544.11 c 544s|310000 | 1588 | 1609k| 5.2 | 46M| 463 | - |3663 | 11k| 0 | 0 | 67k| 345k|3701 | 0.000000e+00 | 1.100000e+01 | Inf
561.81/561.89 c 562s|320000 | 1483 | 1669k| 5.2 | 46M| 463 | 18 |3663 | 12k|3663 | 956 | 68k| 357k|3825 | 0.000000e+00 | 1.100000e+01 | Inf
581.11/581.19 c 581s|330000 | 1589 | 1725k| 5.2 | 48M| 463 | - |3663 | 15k| 0 | 0 | 70k| 370k|3903 | 0.000000e+00 | 1.100000e+01 | Inf
601.62/601.66 c 602s|340000 | 1770 | 1785k| 5.2 | 51M| 463 | - |3663 | 18k| 0 | 0 | 72k| 382k|3982 | 0.000000e+00 | 1.100000e+01 | Inf
623.12/623.14 c 623s|350000 | 2065 | 1846k| 5.3 | 55M| 463 | 1 |3663 | 18k|3663 | 981 | 74k| 395k|4063 | 0.000000e+00 | 1.100000e+01 | Inf
643.21/643.26 c 643s|360000 | 2119 | 1898k| 5.3 | 56M| 463 | 16 |3663 | 19k|3663 | 993 | 75k| 408k|4142 | 0.000000e+00 | 1.100000e+01 | Inf
664.62/664.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.62/664.65 c 665s|370000 | 2076 | 1957k| 5.3 | 57M| 463 | 19 |3663 | 17k|3663 | 981 | 77k| 421k|4214 | 0.000000e+00 | 1.100000e+01 | Inf
684.72/684.78 c 685s|380000 | 1753 | 2017k| 5.3 | 53M| 463 | 13 |3663 | 14k|3663 | 967 | 79k| 435k|4292 | 0.000000e+00 | 1.100000e+01 | Inf
703.82/703.80 c 704s|390000 | 1602 | 2079k| 5.3 | 50M| 463 | - |3663 | 12k| 0 | 0 | 81k| 448k|4402 | 0.000000e+00 | 1.100000e+01 | Inf
722.42/722.48 c 722s|400000 | 1742 | 2144k| 5.4 | 53M| 463 | 21 |3663 | 15k|3663 | 965 | 84k| 461k|4477 | 0.000000e+00 | 1.100000e+01 | Inf
741.32/741.33 c 741s|410000 | 1817 | 2202k| 5.4 | 55M| 463 | 14 |3663 | 17k|3663 | 974 | 87k| 474k|4529 | 0.000000e+00 | 1.100000e+01 | Inf
760.82/760.80 c 761s|420000 | 1845 | 2258k| 5.4 | 57M| 463 | 13 |3663 | 18k|3663 | 963 | 89k| 488k|4595 | 0.000000e+00 | 1.100000e+01 | Inf
779.22/779.29 c 779s|430000 | 1891 | 2312k| 5.4 | 58M| 463 | - |3663 | 17k| 0 | 0 | 91k| 501k|4648 | 0.000000e+00 | 1.100000e+01 | Inf
798.63/798.68 c 799s|440000 | 1894 | 2369k| 5.4 | 59M| 463 | 1 |3663 | 18k|3663 | 967 | 94k| 515k|4723 | 0.000000e+00 | 1.100000e+01 | Inf
819.22/819.25 c 819s|450000 | 2148 | 2433k| 5.4 | 63M| 463 | - |3663 | 22k| 0 | 0 | 97k| 528k|4799 | 0.000000e+00 | 1.100000e+01 | Inf
840.93/840.90 c 841s|460000 | 2284 | 2491k| 5.4 | 66M| 463 | 15 |3663 | 23k|3663 | 954 | 100k| 542k|4868 | 0.000000e+00 | 1.100000e+01 | Inf
861.73/861.75 c 862s|470000 | 2299 | 2545k| 5.4 | 67M| 463 | - |3663 | 24k| 0 | 0 | 103k| 556k|4922 | 0.000000e+00 | 1.100000e+01 | Inf
883.93/883.96 c 884s|480000 | 2273 | 2607k| 5.4 | 67M| 463 | 14 |3663 | 22k|3663 | 954 | 106k| 570k|4980 | 0.000000e+00 | 1.100000e+01 | Inf
904.83/904.86 c 905s|490000 | 2131 | 2667k| 5.4 | 65M| 463 | 19 |3663 | 18k|3663 | 955 | 108k| 585k|5032 | 0.000000e+00 | 1.100000e+01 | Inf
908.63/908.64 o 9
908.63/908.64 c * 909s|491858 | 1794 | 2678k| 5.4 | 58M| 463 | - |3663 | 17k|3663 | 982 | 109k| 587k|5058 | 0.000000e+00 | 9.000000e+00 | Inf
924.22/924.20 c 924s|500000 | 1756 | 2727k| 5.5 | 58M| 463 | 1 |3663 | 16k|3663 | 954 | 112k| 598k|5088 | 0.000000e+00 | 9.000000e+00 | Inf
942.23/942.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
942.23/942.24 c 942s|510000 | 1389 | 2783k| 5.5 | 49M| 463 | - |3663 |9837 | 0 | 0 | 114k| 611k|5234 | 0.000000e+00 | 9.000000e+00 | Inf
960.23/960.28 c 960s|520000 | 1552 | 2852k| 5.5 | 52M| 463 | 6 |3663 | 13k|3663 | 961 | 116k| 625k|5289 | 0.000000e+00 | 9.000000e+00 | Inf
978.23/978.28 c 978s|530000 | 1628 | 2914k| 5.5 | 53M| 463 | - |3663 | 15k| 0 | 0 | 118k| 639k|5343 | 0.000000e+00 | 9.000000e+00 | Inf
996.92/996.95 c 997s|540000 | 1723 | 2980k| 5.5 | 54M| 463 | - |3663 | 14k| 0 | 0 | 121k| 653k|5421 | 0.000000e+00 | 9.000000e+00 | Inf
1015.53/1015.56 c 1016s|550000 | 1771 | 3044k| 5.5 | 55M| 463 | 1 |3663 | 14k|3663 | 948 | 122k| 666k|5486 | 0.000000e+00 | 9.000000e+00 | Inf
1033.53/1033.59 c 1034s|560000 | 1797 | 3101k| 5.5 | 56M| 463 | 1 |3663 | 16k|3663 | 980 | 125k| 680k|5523 | 0.000000e+00 | 9.000000e+00 | Inf
1051.63/1051.65 c 1052s|570000 | 1931 | 3158k| 5.5 | 58M| 463 | 24 |3663 | 16k|3663 | 961 | 127k| 695k|5603 | 0.000000e+00 | 9.000000e+00 | Inf
1070.84/1070.80 c 1071s|580000 | 2286 | 3220k| 5.6 | 61M| 463 | - |3663 | 18k| 0 | 0 | 130k| 708k|5669 | 0.000000e+00 | 9.000000e+00 | Inf
1089.84/1089.88 c 1090s|590000 | 2395 | 3273k| 5.5 | 63M| 463 | 10 |3663 | 19k|3663 | 961 | 132k| 721k|5731 | 0.000000e+00 | 9.000000e+00 | Inf
1109.34/1109.33 c 1109s|600000 | 2484 | 3331k| 5.6 | 64M| 463 | - |3663 | 18k| 0 | 0 | 134k| 735k|5797 | 0.000000e+00 | 9.000000e+00 | Inf
1127.93/1127.91 c 1128s|610000 | 2533 | 3384k| 5.5 | 65M| 463 | - |3663 | 18k|3663 | 981 | 137k| 750k|5819 | 0.000000e+00 | 9.000000e+00 | Inf
1137.24/1137.23 o 5
1137.24/1137.23 c *1137s|614856 | 2346 | 3413k| 5.6 | 61M| 463 | - |3663 | 18k|3663 | 969 | 137k| 757k|5864 | 0.000000e+00 | 5.000000e+00 | Inf
1146.44/1146.47 c 1146s|620000 | 2412 | 3443k| 5.6 | 61M| 463 | - |3663 | 18k| 0 | 0 | 138k| 764k|5865 | 0.000000e+00 | 5.000000e+00 | Inf
1164.43/1164.45 c 1164s|630000 | 2475 | 3499k| 5.6 | 63M| 463 | - |3663 | 19k| 0 | 0 | 140k| 778k|5904 | 0.000000e+00 | 5.000000e+00 | Inf
1183.34/1183.39 c 1183s|640000 | 2502 | 3566k| 5.6 | 63M| 463 | - |3663 | 19k| 0 | 0 | 142k| 792k|5968 | 0.000000e+00 | 5.000000e+00 | Inf
1202.04/1202.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.04/1202.02 c 1202s|650000 | 2512 | 3628k| 5.6 | 64M| 463 | 9 |3663 | 19k|3663 | 983 | 144k| 806k|6033 | 0.000000e+00 | 5.000000e+00 | Inf
1220.53/1220.59 c 1221s|660000 | 2604 | 3687k| 5.6 | 65M| 463 | - |3663 | 20k|3663 | 982 | 146k| 820k|6090 | 0.000000e+00 | 5.000000e+00 | Inf
1240.14/1240.10 c 1240s|670000 | 2729 | 3747k| 5.6 | 67M| 463 | 1 |3663 | 21k|3663 | 961 | 148k| 834k|6133 | 0.000000e+00 | 5.000000e+00 | Inf
1261.04/1261.04 c 1261s|680000 | 2974 | 3809k| 5.6 | 69M| 463 | 7 |3663 | 23k|3663 | 970 | 151k| 849k|6169 | 0.000000e+00 | 5.000000e+00 | Inf
1282.84/1282.81 c 1283s|690000 | 3237 | 3872k| 5.6 | 71M| 463 | 8 |3663 | 23k|3663 | 970 | 153k| 863k|6220 | 0.000000e+00 | 5.000000e+00 | Inf
1304.54/1304.56 c 1305s|700000 | 3519 | 3934k| 5.6 | 74M| 463 | - |3663 | 24k| 0 | 0 | 155k| 878k|6288 | 0.000000e+00 | 5.000000e+00 | Inf
1325.94/1325.95 c 1326s|710000 | 3651 | 3992k| 5.6 | 74M| 463 | - |3663 | 21k| 0 | 0 | 158k| 893k|6343 | 0.000000e+00 | 5.000000e+00 | Inf
1346.64/1346.67 c 1347s|720000 | 3871 | 4053k| 5.6 | 77M| 463 | - |3663 | 24k| 0 | 0 | 160k| 907k|6389 | 0.000000e+00 | 5.000000e+00 | Inf
1367.55/1367.51 c 1367s|730000 | 3945 | 4115k| 5.6 | 78M| 463 | - |3663 | 22k| 0 | 0 | 163k| 922k|6430 | 0.000000e+00 | 5.000000e+00 | Inf
1388.04/1388.05 c 1388s|740000 | 4034 | 4176k| 5.6 | 79M| 463 | 1 |3663 | 19k|3663 | 961 | 165k| 937k|6463 | 0.000000e+00 | 5.000000e+00 | Inf
1408.15/1408.14 c 1408s|750000 | 4101 | 4237k| 5.6 | 80M| 463 | 12 |3663 | 21k|3663 | 961 | 167k| 951k|6522 | 0.000000e+00 | 5.000000e+00 | Inf
1428.55/1428.51 c 1428s|760000 | 4199 | 4294k| 5.6 | 82M| 463 | - |3663 | 23k| 0 | 0 | 170k| 966k|6585 | 0.000000e+00 | 5.000000e+00 | Inf
1448.95/1448.95 c 1449s|770000 | 4221 | 4349k| 5.6 | 83M| 463 | - |3663 | 22k| 0 | 0 | 172k| 980k|6613 | 0.000000e+00 | 5.000000e+00 | Inf
1469.95/1469.97 c 1470s|780000 | 4313 | 4409k| 5.7 | 84M| 463 | - |3663 | 22k| 0 | 0 | 174k| 994k|6642 | 0.000000e+00 | 5.000000e+00 | Inf
1491.05/1491.07 c 1491s|790000 | 4464 | 4472k| 5.7 | 86M| 463 | - |3663 | 25k| 0 | 0 | 176k|1009k|6701 | 0.000000e+00 | 5.000000e+00 | Inf
1513.65/1513.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1513.65/1513.62 c 1514s|800000 | 4656 | 4539k| 5.7 | 89M| 463 | - |3663 | 26k| 0 | 0 | 178k|1024k|6753 | 0.000000e+00 | 5.000000e+00 | Inf
1535.75/1535.79 c 1536s|810000 | 4631 | 4603k| 5.7 | 89M| 463 | - |3663 | 24k| 0 | 0 | 180k|1039k|6822 | 0.000000e+00 | 5.000000e+00 | Inf
1556.65/1556.65 c 1557s|820000 | 4670 | 4664k| 5.7 | 89M| 463 | - |3663 | 23k| 0 | 0 | 183k|1054k|6846 | 0.000000e+00 | 5.000000e+00 | Inf
1577.75/1577.75 c 1578s|830000 | 4709 | 4724k| 5.7 | 90M| 463 | 18 |3663 | 22k|3663 | 974 | 185k|1070k|6887 | 0.000000e+00 | 5.000000e+00 | Inf
1598.85/1598.82 c 1599s|840000 | 4719 | 4785k| 5.7 | 90M| 463 | 26 |3663 | 21k|3663 | 971 | 187k|1085k|6957 | 0.000000e+00 | 5.000000e+00 | Inf
1619.26/1619.28 c 1619s|850000 | 4853 | 4851k| 5.7 | 91M| 463 | 16 |3663 | 20k|3663 | 961 | 189k|1099k|7001 | 0.000000e+00 | 5.000000e+00 | Inf
1639.95/1639.94 c 1640s|860000 | 4899 | 4914k| 5.7 | 92M| 463 | 1 |3663 | 20k|3663 | 990 | 192k|1113k|7030 | 0.000000e+00 | 5.000000e+00 | Inf
1659.75/1659.77 c 1660s|870000 | 4894 | 4973k| 5.7 | 93M| 463 | 10 |3663 | 21k|3663 | 961 | 193k|1128k|7096 | 0.000000e+00 | 5.000000e+00 | Inf
1680.55/1680.55 c 1681s|880000 | 4875 | 5040k| 5.7 | 92M| 463 | 19 |3663 | 18k|3663 | 961 | 196k|1143k|7154 | 0.000000e+00 | 5.000000e+00 | Inf
1699.75/1699.76 c 1700s|890000 | 4919 | 5100k| 5.7 | 94M| 463 | 1 |3663 | 20k|3663 | 961 | 198k|1157k|7178 | 0.000000e+00 | 5.000000e+00 | Inf
1719.56/1719.52 c 1719s|900000 | 4894 | 5157k| 5.7 | 94M| 463 | - |3663 | 21k| 0 | 0 | 200k|1173k|7218 | 0.000000e+00 | 5.000000e+00 | Inf
1738.96/1738.96 c 1739s|910000 | 4856 | 5213k| 5.7 | 95M| 463 | - |3663 | 22k| 0 | 0 | 202k|1187k|7283 | 0.000000e+00 | 5.000000e+00 | Inf
1758.66/1758.65 c 1759s|920000 | 4833 | 5272k| 5.7 | 95M| 463 | - |3663 | 21k|3663 | 970 | 204k|1202k|7309 | 0.000000e+00 | 5.000000e+00 | Inf
1778.96/1778.94 c 1779s|930000 | 4827 | 5336k| 5.7 | 96M| 463 | - |3663 | 24k| 0 | 0 | 206k|1216k|7350 | 0.000000e+00 | 5.000000e+00 | Inf
1790.06/1790.01 c
1790.06/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.06/1790.01 c Solving Time (sec) : 1789.98
1790.06/1790.01 c Solving Nodes : 935021
1790.06/1790.01 c Primal Bound : +5.00000000000000e+00 (164 solutions)
1790.06/1790.01 c Dual Bound : +0.00000000000000e+00
1790.06/1790.01 c Gap : infinite
1790.06/1790.04 s SATISFIABLE
1790.06/1790.04 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1790.06/1790.04 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 x190 -x189
1790.06/1790.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1790.06/1790.04 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1790.06/1790.04 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.04 v -x125 -x124 x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1790.06/1790.04 v -x104 -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.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
1790.06/1790.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
1790.06/1790.04 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1790.06/1790.04 v -x1
1790.06/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.06/1790.04 c Solving Time : 1789.98
1790.06/1790.04 c Original Problem :
1790.06/1790.04 c Problem name : HOME/instance-2705631-1278572960.wbo
1790.06/1790.04 c Variables : 3807 (2019 binary, 0 integer, 1788 implicit integer, 0 continuous)
1790.06/1790.04 c Constraints : 4496 initial, 4496 maximal
1790.06/1790.04 c Presolved Problem :
1790.06/1790.04 c Problem name : t_HOME/instance-2705631-1278572960.wbo
1790.06/1790.04 c Variables : 3663 (1947 binary, 0 integer, 1716 implicit integer, 0 continuous)
1790.06/1790.04 c Constraints : 4306 initial, 27905 maximal
1790.06/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.06/1790.04 c trivial : 0.00 72 0 0 0 0 0 0 0
1790.06/1790.04 c dualfix : 0.00 72 0 0 0 0 0 0 0
1790.06/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1790.06/1790.04 c setppc : 0.00 0 0 0 0 0 20 0 0
1790.06/1790.04 c linear : 0.06 0 0 0 1806 0 98 81 0
1790.06/1790.04 c indicator : 0.00 0 0 0 0 0 72 0 0
1790.06/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.06/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.04 c root node : - 3274 - - 3274 - - - -
1790.06/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.06/1790.04 c integral : 0 0 0 559695 0 48 778 0 0 958902
1790.06/1790.04 c setppc : 52 6 4851815 76298 1 54768 1769486 0 0 0
1790.06/1790.04 c linear : 1716 6 4802779 79432 1 201239 19332532 207639 0 0
1790.06/1790.04 c indicator : 1716 0 4501250 79028 1 722 2424716 0 0 0
1790.06/1790.04 c logicor : 822+ 6 1705172 51614 1 168703 4158833 0 0 0
1790.06/1790.04 c bounddisjunction : 0+ 0 509720 0 0 68 3669 0 0 0
1790.06/1790.04 c countsols : 0 0 0 51614 1 0 0 0 0 0
1790.06/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.06/1790.04 c integral : 20.60 0.00 0.00 20.60 0.00
1790.06/1790.04 c setppc : 15.12 0.00 15.08 0.04 0.00
1790.06/1790.04 c linear : 140.86 0.00 137.71 3.14 0.00
1790.06/1790.04 c indicator : 36.82 0.02 29.43 7.38 0.00
1790.06/1790.04 c logicor : 265.72 0.00 265.25 0.47 0.00
1790.06/1790.04 c bounddisjunction : 9.05 0.00 9.05 0.00 0.00
1790.06/1790.04 c countsols : 0.01 0.00 0.00 0.01 0.00
1790.06/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.06/1790.04 c vbounds : 0.83 49775 5 3082
1790.06/1790.04 c rootredcost : 0.69 63 0 1637
1790.06/1790.04 c pseudoobj : 126.45 4866812 8889 2402134
1790.06/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.06/1790.04 c propagation : 20.58 433667 433491 2675397 28.2 13717 25.7 -
1790.06/1790.04 c infeasible LP : 8.83 33720 33720 274844 48.0 333 20.1 0
1790.06/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.06/1790.04 c applied globally : - - - 1223880 23.5 - - -
1790.06/1790.04 c applied locally : - - - 0 0.0 - - -
1790.06/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.06/1790.04 c cut pool : 0.00 5 - - 32 - (maximal pool size: 342)
1790.06/1790.04 c redcost : 36.73 562277 0 90936 0 0
1790.06/1790.04 c impliedbounds : 0.00 6 0 0 0 0
1790.06/1790.04 c intobj : 0.00 0 0 0 0 0
1790.06/1790.04 c cgmip : 0.00 0 0 0 0 0
1790.06/1790.04 c gomory : 0.12 6 0 0 1296 0
1790.06/1790.04 c strongcg : 0.11 6 0 0 1204 0
1790.06/1790.04 c cmir : 0.02 6 0 0 0 0
1790.06/1790.04 c flowcover : 0.06 6 0 0 0 0
1790.06/1790.04 c clique : 0.00 6 0 0 0 0
1790.06/1790.04 c zerohalf : 0.00 0 0 0 0 0
1790.06/1790.04 c mcf : 0.00 1 0 0 0 0
1790.06/1790.04 c rapidlearning : 0.07 1 0 0 0 0
1790.06/1790.04 c Pricers : Time Calls Vars
1790.06/1790.04 c problem variables: 0.00 0 0
1790.06/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.06/1790.04 c relpscost : 20.24 480130 48 778 0 0 958902
1790.06/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.06/1790.04 c inference : 14.01 51553 0 0 0 0 103619
1790.06/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1790.06/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1790.06/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1790.06/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1790.06/1790.04 c random : 0.00 0 0 0 0 0 0
1790.06/1790.04 c Primal Heuristics : Time Calls Found
1790.06/1790.04 c LP solutions : 0.11 - 62
1790.06/1790.04 c pseudo solutions : 0.00 - 0
1790.06/1790.04 c feaspump : 0.02 1 0
1790.06/1790.04 c oneopt : 0.47 56 0
1790.06/1790.04 c crossover : 1.57 49 0
1790.06/1790.04 c linesearchdiving : 0.59 507 0
1790.06/1790.04 c guideddiving : 0.65 507 0
1790.06/1790.04 c coefdiving : 0.63 508 0
1790.06/1790.04 c pscostdiving : 0.62 508 0
1790.06/1790.04 c fracdiving : 0.61 508 0
1790.06/1790.04 c veclendiving : 0.61 508 0
1790.06/1790.04 c rootsoldiving : 0.65 495 0
1790.06/1790.04 c objpscostdiving : 0.62 496 0
1790.06/1790.04 c trivial : 0.00 2 0
1790.06/1790.04 c simplerounding : 0.69 480803 0
1790.06/1790.04 c zirounding : 0.25 1000 0
1790.06/1790.04 c rounding : 0.94 9753 0
1790.06/1790.04 c shifting : 0.73 3043 0
1790.06/1790.04 c intshifting : 0.01 0 0
1790.06/1790.04 c twoopt : 0.00 0 0
1790.06/1790.04 c fixandinfer : 0.00 0 0
1790.06/1790.04 c intdiving : 0.00 0 0
1790.06/1790.04 c actconsdiving : 0.00 0 0
1790.06/1790.04 c octane : 0.00 0 0
1790.06/1790.04 c rens : 0.03 1 0
1790.06/1790.04 c rins : 0.00 0 0
1790.06/1790.04 c localbranching : 0.00 0 0
1790.06/1790.04 c mutation : 0.00 0 0
1790.06/1790.04 c dins : 0.00 0 0
1790.06/1790.04 c undercover : 0.00 0 0
1790.06/1790.04 c nlp : 0.15 0 0
1790.06/1790.04 c trysol : 0.33 632 102
1790.06/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1790.06/1790.04 c primal LP : 0.00 0 0 0.00 -
1790.06/1790.04 c dual LP : 612.87 543363 5372904 9.89 8766.79
1790.06/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1790.06/1790.04 c barrier LP : 0.00 0 0 0.00 -
1790.06/1790.04 c diving/probing LP: 0.23 131 1834 14.00 7853.99
1790.06/1790.04 c strong branching : 16.66 7394 191902 25.95 11519.64
1790.06/1790.04 c (at root node) : - 16 6681 417.56 -
1790.06/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1790.06/1790.04 c B&B Tree :
1790.06/1790.04 c number of runs : 1
1790.06/1790.04 c nodes : 935021
1790.06/1790.04 c nodes (total) : 935021
1790.06/1790.04 c nodes left : 4770
1790.06/1790.04 c max depth : 463
1790.06/1790.04 c max depth (total): 463
1790.06/1790.04 c backtracks : 84815 (9.1%)
1790.06/1790.04 c delayed cutoffs : 68697
1790.06/1790.04 c repropagations : 2314994 (5240855 domain reductions, 64041 cutoffs)
1790.06/1790.04 c avg switch length: 6.45
1790.06/1790.04 c switching time : 265.11
1790.06/1790.04 c Solution :
1790.06/1790.04 c Solutions found : 164 (63 improvements)
1790.06/1790.04 c First Solution : +8.51820000000000e+04 (in run 1, after 15 nodes, 2.21 seconds, depth 15, found by <trysol>)
1790.06/1790.04 c Primal Bound : +5.00000000000000e+00 (in run 1, after 614856 nodes, 1137.20 seconds, depth 35, found by <relaxation>)
1790.06/1790.04 c Dual Bound : +0.00000000000000e+00
1790.06/1790.04 c Gap : infinite
1790.06/1790.04 c Root Dual Bound : +0.00000000000000e+00
1790.06/1790.04 c Root Iterations : 620
1790.16/1790.16 c Time complete: 1790.23.