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-2705541-1278572955.wbo>
0.00/0.03 c original problem has 3863 variables (2047 bin, 0 int, 1816 impl, 0 cont) and 4524 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, 142 impls, 6 clqs
0.00/0.08 c (round 2) 0 del vars, 71 del conss, 1816 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 142 impls, 6 clqs
0.00/0.09 c (round 3) 53 del vars, 176 del conss, 1835 chg bounds, 86 chg sides, 0 chg coeffs, 0 upgd conss, 142 impls, 6 clqs
0.00/0.09 c (round 4) 144 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 0 upgd conss, 142 impls, 6 clqs
0.09/0.10 c (round 5) 146 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 142 impls, 6 clqs
0.09/0.11 c (round 6) 146 del vars, 200 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 142 impls, 6 clqs
0.09/0.15 c (0.1s) probing: 101/1974 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (7 rounds):
0.09/0.15 c 146 deleted vars, 200 deleted constraints, 1836 tightened bounds, 0 added holes, 87 changed sides, 0 changed coefficients
0.09/0.15 c 3611 implications, 6 cliques
0.09/0.15 c presolved problem has 3717 variables (1974 bin, 0 int, 1743 impl, 0 cont) and 4324 constraints
0.09/0.15 c 41 constraints of type <setppc>
0.09/0.15 c 1743 constraints of type <linear>
0.09/0.15 c 1743 constraints of type <indicator>
0.09/0.15 c 797 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.11
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.3
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1789.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/indicator/addCouplingCons = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.16 c 0.1s| 1 | 0 | 22 | - | 14M| 0 | 13 |3717 |4324 |3717 | 838 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 66 | - | 14M| 0 | 33 |3717 |4324 |3717 | 861 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 91 | - | 14M| 0 | 32 |3717 |4324 |3717 | 881 | 43 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.37 c 0.3s| 1 | 0 | 130 | - | 14M| 0 | 28 |3717 |4324 |3717 | 889 | 51 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.41 c 0.4s| 1 | 0 | 195 | - | 14M| 0 | 54 |3717 |4324 |3717 | 901 | 63 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.48 c 0.5s| 1 | 0 | 271 | - | 14M| 0 | 50 |3717 |4324 |3717 | 908 | 70 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.54 c 0.5s| 1 | 0 | 340 | - | 15M| 0 | 43 |3717 |4324 |3717 | 917 | 79 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.98 c 0.9s| 1 | 2 | 340 | - | 15M| 0 | 43 |3717 |4324 |3717 | 917 | 79 | 0 | 16 | 0.000000e+00 | -- | Inf
1.69/1.72 o 88690
1.69/1.72 c y 1.7s| 16 | 15 | 1017 | 45.1 | 15M| 14 | - |3717 |4324 | 0 | 0 | 134 | 0 | 160 | 0.000000e+00 | 8.869000e+04 | Inf
16.99/17.07 c 17.0s| 10000 | 9961 | 8978 | 0.9 | 35M| 647 | 0 |3717 |4401 |3717 | 941 |1228 | 77 |1089 | 0.000000e+00 | 8.869000e+04 | Inf
28.69/28.75 c 28.7s| 20000 | 19951 | 11717 | 0.6 | 53M|1205 | 0 |3717 |4419 |3717 | 942 |1644 | 95 |1179 | 0.000000e+00 | 8.869000e+04 | Inf
30.39/30.48 o 835
30.39/30.48 c *30.5s| 21560 | 21064 | 12106 | 0.5 | 55M|1205 | - |3717 |4419 |3717 | 960 |1734 | 95 |1193 | 0.000000e+00 | 8.350000e+02 | Inf
41.09/41.15 c 41.1s| 30000 | 29502 | 15293 | 0.5 | 70M|1205 | 0 |3717 |4420 |3717 | 994 |2279 | 96 |1299 | 0.000000e+00 | 8.350000e+02 | Inf
54.20/54.20 c 54.2s| 40000 | 39494 | 20226 | 0.5 | 87M|1205 | 0 |3717 |4436 |3717 | 997 |3230 | 113 |1424 | 0.000000e+00 | 8.350000e+02 | Inf
66.09/66.17 o 635
66.09/66.17 c *66.1s| 49650 | 47359 | 22855 | 0.5 | 100M|1205 | - |3717 |4447 |3717 | 957 |3720 | 127 |1457 | 0.000000e+00 | 6.350000e+02 | Inf
66.59/66.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.59/66.64 c 66.6s| 50000 | 47709 | 22883 | 0.5 | 100M|1205 | 0 |3717 |4447 |3717 | 957 |3728 | 127 |1457 | 0.000000e+00 | 6.350000e+02 | Inf
67.19/67.21 o 580
67.19/67.21 c *67.2s| 50424 | 47303 | 23198 | 0.5 | 100M|1205 | - |3717 |4451 |3717 | 955 |3771 | 131 |1464 | 0.000000e+00 | 5.800000e+02 | Inf
67.90/67.98 o 560
67.90/67.98 c *67.9s| 50945 | 47390 | 23405 | 0.5 | 100M|1205 | - |3717 |4494 |3717 | 960 |3812 | 174 |1469 | 0.000000e+00 | 5.600000e+02 | Inf
69.39/69.46 o 488
69.39/69.46 c *69.4s| 51999 | 46605 | 23619 | 0.4 | 99M|1205 | - |3717 |4607 |3717 | 942 |3863 | 290 |1475 | 0.000000e+00 | 4.880000e+02 | Inf
70.30/70.32 o 449
70.30/70.32 c *70.3s| 52460 | 45669 | 24525 | 0.5 | 98M|1205 | - |3717 |4784 |3717 | 941 |4080 | 468 |1477 | 0.000000e+00 | 4.490000e+02 | Inf
70.69/70.78 o 430
70.69/70.78 c *70.8s| 52667 | 45093 | 25051 | 0.5 | 98M|1205 | - |3717 |4907 |3717 | 950 |4149 | 593 |1483 | 0.000000e+00 | 4.300000e+02 | Inf
71.39/71.50 o 417
71.39/71.50 c *71.5s| 53059 | 44917 | 25471 | 0.5 | 98M|1205 | - |3717 |5023 |3717 | 958 |4244 | 712 |1485 | 0.000000e+00 | 4.170000e+02 | Inf
74.39/74.45 o 388
74.39/74.45 c *74.4s| 54533 | 44405 | 30314 | 0.5 | 99M|1205 | - |3717 |5905 |3717 | 925 |4918 |1685 |1529 | 0.000000e+00 | 3.880000e+02 | Inf
74.39/74.49 o 386
74.39/74.49 c *74.5s| 54552 | 44288 | 30369 | 0.6 | 99M|1205 | - |3717 |5908 |3717 | 924 |4918 |1688 |1529 | 0.000000e+00 | 3.860000e+02 | Inf
74.49/74.50 o 358
74.49/74.50 c *74.5s| 54553 | 42267 | 30370 | 0.6 | 96M|1205 | - |3717 |5908 |3717 | 924 |4918 |1688 |1529 | 0.000000e+00 | 3.580000e+02 | Inf
74.59/74.69 o 288
74.59/74.69 c *74.7s| 54675 | 36036 | 30498 | 0.6 | 85M|1205 | - |3717 |5909 |3717 | 927 |4929 |1693 |1529 | 0.000000e+00 | 2.880000e+02 | Inf
77.80/77.85 o 267
77.80/77.85 c *77.8s| 56223 | 34322 | 34582 | 0.6 | 85M|1205 | - |3717 |6617 |3717 | 969 |5625 |2549 |1566 | 0.000000e+00 | 2.670000e+02 | Inf
80.69/80.70 o 251
80.69/80.70 c *80.7s| 57485 | 32906 | 39977 | 0.7 | 84M|1205 | - |3717 |7255 |3717 | 966 |6426 |3421 |1618 | 0.000000e+00 | 2.510000e+02 | Inf
82.30/82.33 o 248
82.30/82.33 c *82.3s| 58187 | 32665 | 43705 | 0.7 | 85M|1205 | - |3717 |7640 |3717 | 947 |6775 |4011 |1637 | 0.000000e+00 | 2.480000e+02 | Inf
82.30/82.34 o 245
82.30/82.34 c *82.3s| 58188 | 32165 | 43705 | 0.7 | 84M|1205 | - |3717 |7640 |3717 | 947 |6775 |4011 |1637 | 0.000000e+00 | 2.450000e+02 | Inf
85.69/85.73 o 224
85.69/85.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.69/85.73 c *85.7s| 59609 | 29168 | 50140 | 0.8 | 83M|1205 | - |3717 |8115 |3717 | 973 |7619 |5108 |1653 | 0.000000e+00 | 2.240000e+02 | Inf
85.69/85.74 o 220
85.69/85.74 c *85.7s| 59610 | 28451 | 50160 | 0.8 | 81M|1205 | - |3717 |8115 |3717 | 973 |7619 |5108 |1653 | 0.000000e+00 | 2.200000e+02 | Inf
86.39/86.47 o 218
86.39/86.47 c *86.4s| 59859 | 28179 | 52614 | 0.9 | 82M|1205 | - |3717 |8134 |3717 | 949 |7923 |5343 |1660 | 0.000000e+00 | 2.180000e+02 | Inf
86.90/86.92 c 86.9s| 60000 | 28229 | 54008 | 0.9 | 82M|1205 | - |3717 |8140 | 0 | 0 |8033 |5483 |1663 | 0.000000e+00 | 2.180000e+02 | Inf
87.10/87.16 o 204
87.10/87.16 c *87.1s| 60094 | 25869 | 54417 | 0.9 | 77M|1205 | - |3717 |8140 |3717 | 949 |8073 |5520 |1669 | 0.000000e+00 | 2.040000e+02 | Inf
87.20/87.20 o 203
87.20/87.20 c *87.2s| 60125 | 25717 | 54432 | 0.9 | 77M|1205 | - |3717 |8140 |3717 | 949 |8073 |5520 |1669 | 0.000000e+00 | 2.030000e+02 | Inf
87.20/87.21 o 171
87.20/87.21 c *87.2s| 60126 | 20518 | 54432 | 0.9 | 65M|1205 | - |3717 |8139 |3717 | 949 |8073 |5520 |1669 | 0.000000e+00 | 1.710000e+02 | Inf
88.50/88.59 o 154
88.50/88.59 c *88.6s| 60575 | 17098 | 60116 | 1.0 | 59M|1205 | - |3717 |8069 |3717 | 934 |8644 |5831 |1691 | 0.000000e+00 | 1.540000e+02 | Inf
88.79/88.88 o 145
88.79/88.88 c *88.9s| 60640 | 15440 | 61404 | 1.0 | 56M|1205 | - |3717 |8039 |3717 | 963 |8826 |5896 |1694 | 0.000000e+00 | 1.450000e+02 | Inf
88.89/88.96 o 137
88.89/88.96 c *88.9s| 60662 | 13654 | 61712 | 1.0 | 52M|1205 | - |3717 |8034 |3717 | 944 |8858 |5908 |1694 | 0.000000e+00 | 1.370000e+02 | Inf
88.89/88.97 o 135
88.89/88.97 c *88.9s| 60663 | 13349 | 61735 | 1.0 | 51M|1205 | - |3717 |8034 |3717 | 945 |8859 |5908 |1694 | 0.000000e+00 | 1.350000e+02 | Inf
89.29/89.39 o 117
89.29/89.39 c *89.4s| 60789 | 10693 | 63425 | 1.0 | 47M|1205 | - |3717 |8051 |3717 | 950 |9041 |6050 |1702 | 0.000000e+00 | 1.170000e+02 | Inf
90.59/90.60 o 111
90.59/90.60 c *90.6s| 61286 | 9945 | 65800 | 1.1 | 47M|1205 | - |3717 |8027 |3717 | 979 |9278 |6362 |1707 | 0.000000e+00 | 1.110000e+02 | Inf
90.89/90.95 o 105
90.89/90.95 c *90.9s| 61382 | 8897 | 67251 | 1.1 | 46M|1205 | - |3717 |7985 |3717 | 949 |9354 |6482 |1712 | 0.000000e+00 | 1.050000e+02 | Inf
91.09/91.13 o 99
91.09/91.13 c *91.1s| 61434 | 7998 | 68153 | 1.1 | 45M|1205 | - |3717 |7954 |3717 | 938 |9433 |6525 |1713 | 0.000000e+00 | 9.900000e+01 | Inf
91.90/91.90 o 81
91.90/91.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.90/91.90 c *91.9s| 61670 | 5734 | 70346 | 1.1 | 41M|1205 | - |3717 |7709 |3717 | 952 |9623 |6712 |1715 | 0.000000e+00 | 8.100000e+01 | Inf
91.90/91.90 o 79
91.90/91.90 c *91.9s| 61671 | 5540 | 70346 | 1.1 | 40M|1205 | - |3717 |7709 |3717 | 952 |9623 |6712 |1715 | 0.000000e+00 | 7.900000e+01 | Inf
91.90/91.94 o 71
91.90/91.94 c *91.9s| 61675 | 3484 | 70414 | 1.1 | 33M|1205 | - |3717 |7335 |3717 | 951 |9625 |6716 |1715 | 0.000000e+00 | 7.100000e+01 | Inf
101.99/102.01 o 57
101.99/102.01 c * 102s| 66380 | 2668 | 88683 | 1.3 | 34M|1205 | - |3717 |7409 |3717 | 912 | 10k| 11k|1735 | 0.000000e+00 | 5.700000e+01 | Inf
109.29/109.36 c 109s| 70000 | 2843 |108269 | 1.5 | 38M|1205 | 11 |3717 |7482 |3717 | 923 | 12k| 15k|1740 | 0.000000e+00 | 5.700000e+01 | Inf
129.00/129.03 c 129s| 80000 | 3114 |156694 | 2.0 | 45M|1205 | - |3717 |7986 | 0 | 0 | 15k| 27k|1740 | 0.000000e+00 | 5.700000e+01 | Inf
149.10/149.15 c 149s| 90000 | 3367 |200172 | 2.2 | 51M|1205 | 1 |3717 |8066 |3717 | 918 | 19k| 39k|1740 | 0.000000e+00 | 5.700000e+01 | Inf
169.40/169.45 c 169s|100000 | 3499 |242860 | 2.4 | 56M|1205 | - |3717 |7914 | 0 | 0 | 22k| 51k|1766 | 0.000000e+00 | 5.700000e+01 | Inf
190.89/190.91 c 191s|110000 | 3661 |293623 | 2.7 | 61M|1205 | 1 |3717 |7274 |3717 | 920 | 26k| 64k|1914 | 0.000000e+00 | 5.700000e+01 | Inf
208.70/208.70 o 48
208.70/208.70 c * 209s|118909 | 3663 |333053 | 2.8 | 65M|1205 | - |3717 |8269 |3717 | 956 | 28k| 74k|2021 | 0.000000e+00 | 4.800000e+01 | Inf
210.80/210.84 c 211s|120000 | 3708 |338209 | 2.8 | 66M|1205 | 1 |3717 |7646 |3717 | 943 | 29k| 76k|2028 | 0.000000e+00 | 4.800000e+01 | Inf
226.60/226.63 o 47
226.60/226.63 c * 227s|128508 | 3983 |364921 | 2.8 | 70M|1205 | - |3717 |7099 |3717 | 948 | 30k| 85k|2085 | 0.000000e+00 | 4.700000e+01 | Inf
229.40/229.48 c 229s|130000 | 3995 |370634 | 2.8 | 70M|1205 | - |3717 |6555 | 0 | 0 | 31k| 87k|2094 | 0.000000e+00 | 4.700000e+01 | Inf
234.00/234.05 o 41
234.00/234.05 c * 234s|132481 | 3872 |379802 | 2.9 | 70M|1205 | - |3717 |6779 |3717 | 954 | 31k| 90k|2143 | 0.000000e+00 | 4.100000e+01 | Inf
247.80/247.88 c 248s|140000 | 3971 |408053 | 2.9 | 73M|1205 | - |3717 |7383 | 0 | 0 | 33k| 99k|2201 | 0.000000e+00 | 4.100000e+01 | Inf
259.10/259.13 o 40
259.10/259.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.10/259.13 c * 259s|146149 | 4014 |430968 | 2.9 | 75M|1205 | - |3717 |7269 |3717 | 955 | 33k| 107k|2264 | 0.000000e+00 | 4.000000e+01 | Inf
259.70/259.71 o 39
259.70/259.71 c * 260s|146462 | 3975 |432348 | 2.9 | 74M|1205 | - |3717 |7558 |3717 | 959 | 34k| 107k|2265 | 0.000000e+00 | 3.900000e+01 | Inf
263.60/263.67 o 34
263.60/263.67 c * 264s|148691 | 3810 |440728 | 3.0 | 74M|1205 | - |3717 |8710 |3717 | 968 | 34k| 110k|2266 | 0.000000e+00 | 3.400000e+01 | Inf
265.80/265.88 c 266s|150000 | 3805 |445108 | 3.0 | 74M|1205 | 1 |3717 |8475 |3717 | 950 | 34k| 112k|2303 | 0.000000e+00 | 3.400000e+01 | Inf
283.00/283.00 c 283s|160000 | 3946 |482251 | 3.0 | 78M|1205 | 1 |3717 |7252 |3717 | 959 | 36k| 124k|2391 | 0.000000e+00 | 3.400000e+01 | Inf
300.20/300.27 c 300s|170000 | 4076 |519878 | 3.1 | 82M|1205 | 5 |3717 |9538 |3717 | 944 | 38k| 137k|2471 | 0.000000e+00 | 3.400000e+01 | Inf
311.70/311.78 o 30
311.70/311.78 c * 312s|176576 | 4023 |540426 | 3.1 | 82M|1205 | - |3717 |7743 |3717 | 929 | 39k| 145k|2532 | 0.000000e+00 | 3.000000e+01 | Inf
316.10/316.14 o 27
316.10/316.14 c * 316s|179163 | 3798 |550661 | 3.1 | 79M|1205 | - |3717 |7466 |3717 | 942 | 40k| 148k|2572 | 0.000000e+00 | 2.700000e+01 | Inf
317.39/317.41 c 317s|180000 | 3808 |553375 | 3.1 | 79M|1205 | - |3717 |7679 |3717 | 949 | 40k| 149k|2575 | 0.000000e+00 | 2.700000e+01 | Inf
332.00/332.01 o 25
332.00/332.01 c * 332s|188252 | 3748 |595611 | 3.2 | 79M|1205 | - |3717 |7572 |3717 | 918 | 41k| 160k|2675 | 0.000000e+00 | 2.500000e+01 | Inf
334.90/334.98 c 335s|190000 | 3731 |603031 | 3.2 | 79M|1205 | 25 |3717 |5883 |3717 | 912 | 42k| 162k|2687 | 0.000000e+00 | 2.500000e+01 | Inf
352.10/352.16 c 352s|200000 | 3919 |650417 | 3.3 | 83M|1205 | 14 |3717 |9526 |3717 | 912 | 44k| 175k|2815 | 0.000000e+00 | 2.500000e+01 | Inf
370.10/370.14 o 24
370.10/370.14 c * 370s|209676 | 3971 |701736 | 3.3 | 86M|1205 | - |3717 | 10k|3717 | 944 | 46k| 187k|2905 | 0.000000e+00 | 2.400000e+01 | Inf
370.80/370.80 c 371s|210000 | 3968 |703212 | 3.3 | 86M|1205 | - |3717 | 10k| 0 | 0 | 46k| 188k|2918 | 0.000000e+00 | 2.400000e+01 | Inf
388.51/388.52 c 388s|220000 | 4012 |750567 | 3.4 | 87M|1205 | 19 |3717 |8415 |3717 | 933 | 47k| 201k|3042 | 0.000000e+00 | 2.400000e+01 | Inf
404.61/404.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.61/404.66 c 405s|230000 | 4183 |794492 | 3.5 | 91M|1205 | 14 |3717 |8173 |3717 | 921 | 49k| 214k|3130 | 0.000000e+00 | 2.400000e+01 | Inf
421.21/421.22 c 421s|240000 | 4320 |835689 | 3.5 | 94M|1205 | - |3717 | 10k| 0 | 0 | 51k| 226k|3209 | 0.000000e+00 | 2.400000e+01 | Inf
437.71/437.76 c 438s|250000 | 4448 |871350 | 3.5 | 97M|1205 | 1 |3717 | 12k|3717 | 957 | 53k| 239k|3284 | 0.000000e+00 | 2.400000e+01 | Inf
454.40/454.42 c 454s|260000 | 4549 |908687 | 3.5 | 99M|1205 | 1 |3717 | 12k|3717 | 956 | 54k| 252k|3366 | 0.000000e+00 | 2.400000e+01 | Inf
457.01/457.09 o 22
457.01/457.09 c * 457s|261488 | 4456 |914731 | 3.5 | 97M|1205 | - |3717 |9826 |3717 | 944 | 54k| 254k|3393 | 0.000000e+00 | 2.200000e+01 | Inf
458.20/458.23 o 13
458.20/458.23 c * 458s|262181 | 3732 |917193 | 3.5 | 80M|1205 | - |3717 |9781 |3717 | 956 | 55k| 255k|3393 | 0.000000e+00 | 1.300000e+01 | Inf
470.61/470.67 c 471s|270000 | 3845 |953680 | 3.5 | 82M|1205 | - |3717 | 11k| 0 | 0 | 56k| 266k|3476 | 0.000000e+00 | 1.300000e+01 | Inf
487.41/487.42 c 487s|280000 | 3858 |996830 | 3.6 | 83M|1205 | 17 |3717 |8856 |3717 | 936 | 57k| 279k|3578 | 0.000000e+00 | 1.300000e+01 | Inf
503.00/503.00 c 503s|290000 | 4046 | 1040k| 3.6 | 85M|1205 | - |3717 | 10k| 0 | 0 | 60k| 293k|3633 | 0.000000e+00 | 1.300000e+01 | Inf
519.51/519.59 c 520s|300000 | 4099 | 1089k| 3.6 | 87M|1205 | - |3717 | 11k| 0 | 0 | 62k| 305k|3718 | 0.000000e+00 | 1.300000e+01 | Inf
536.20/536.25 c 536s|310000 | 4191 | 1138k| 3.7 | 88M|1205 | 3 |3717 | 11k|3717 | 940 | 64k| 319k|3831 | 0.000000e+00 | 1.300000e+01 | Inf
552.50/552.56 c 553s|320000 | 4376 | 1180k| 3.7 | 91M|1205 | 8 |3717 | 13k|3717 | 912 | 67k| 332k|3896 | 0.000000e+00 | 1.300000e+01 | Inf
569.00/569.09 c 569s|330000 | 4593 | 1220k| 3.7 | 93M|1205 | 29 |3717 | 16k|3717 | 923 | 69k| 346k|3951 | 0.000000e+00 | 1.300000e+01 | Inf
586.01/586.05 c 586s|340000 | 4662 | 1261k| 3.7 | 94M|1205 | 5 |3717 | 15k|3717 | 931 | 72k| 361k|4015 | 0.000000e+00 | 1.300000e+01 | Inf
603.31/603.39 c 603s|350000 | 4760 | 1302k| 3.7 | 96M|1205 | 1 |3717 | 16k|3717 | 921 | 74k| 375k|4074 | 0.000000e+00 | 1.300000e+01 | Inf
620.81/620.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
620.81/620.88 c 621s|360000 | 4807 | 1346k| 3.7 | 98M|1205 | - |3717 | 16k| 0 | 0 | 76k| 389k|4144 | 0.000000e+00 | 1.300000e+01 | Inf
638.51/638.55 c 639s|370000 | 4830 | 1386k| 3.7 | 99M|1205 | 18 |3717 | 18k|3717 | 942 | 78k| 403k|4205 | 0.000000e+00 | 1.300000e+01 | Inf
656.40/656.46 c 656s|380000 | 4999 | 1429k| 3.8 | 101M|1205 | - |3717 | 19k|3717 | 943 | 80k| 418k|4280 | 0.000000e+00 | 1.300000e+01 | Inf
674.51/674.56 c 675s|390000 | 5059 | 1468k| 3.8 | 102M|1205 | 1 |3717 | 18k|3717 | 924 | 81k| 432k|4338 | 0.000000e+00 | 1.300000e+01 | Inf
692.71/692.76 c 693s|400000 | 5098 | 1512k| 3.8 | 104M|1205 | - |3717 | 19k| 0 | 0 | 83k| 447k|4412 | 0.000000e+00 | 1.300000e+01 | Inf
711.21/711.25 c 711s|410000 | 5107 | 1557k| 3.8 | 104M|1205 | - |3717 | 18k| 0 | 0 | 85k| 461k|4480 | 0.000000e+00 | 1.300000e+01 | Inf
729.82/729.88 c 730s|420000 | 5104 | 1603k| 3.8 | 105M|1205 | - |3717 | 19k| 0 | 0 | 87k| 475k|4566 | 0.000000e+00 | 1.300000e+01 | Inf
748.52/748.52 c 748s|430000 | 5139 | 1647k| 3.8 | 106M|1205 | 1 |3717 | 18k|3717 | 912 | 89k| 489k|4637 | 0.000000e+00 | 1.300000e+01 | Inf
766.81/766.84 c 767s|440000 | 5191 | 1686k| 3.8 | 107M|1205 | - |3717 | 20k| 0 | 0 | 92k| 502k|4686 | 0.000000e+00 | 1.300000e+01 | Inf
786.01/786.09 c 786s|450000 | 5226 | 1731k| 3.8 | 108M|1205 | 1 |3717 | 19k|3717 | 938 | 94k| 516k|4757 | 0.000000e+00 | 1.300000e+01 | Inf
805.91/805.91 c 806s|460000 | 5242 | 1775k| 3.9 | 109M|1205 | - |3717 | 19k| 0 | 0 | 96k| 529k|4821 | 0.000000e+00 | 1.300000e+01 | Inf
824.31/824.30 c 824s|470000 | 5250 | 1816k| 3.9 | 109M|1205 | - |3717 | 18k| 0 | 0 | 98k| 542k|4867 | 0.000000e+00 | 1.300000e+01 | Inf
842.91/842.91 c 843s|480000 | 5295 | 1866k| 3.9 | 111M|1205 | 1 |3717 | 21k|3717 | 951 | 100k| 557k|4936 | 0.000000e+00 | 1.300000e+01 | Inf
861.71/861.72 c 862s|490000 | 5291 | 1906k| 3.9 | 111M|1205 | 2 |3717 | 19k|3717 | 925 | 102k| 571k|4991 | 0.000000e+00 | 1.300000e+01 | Inf
880.32/880.34 o 7
880.32/880.34 c * 880s|499731 | 4412 | 1951k| 3.9 | 97M|1205 | - |3717 | 20k|3717 | 939 | 104k| 584k|5057 | 0.000000e+00 | 7.000000e+00 | Inf
880.81/880.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.81/880.82 c 881s|500000 | 4413 | 1952k| 3.9 | 97M|1205 | - |3717 | 20k| 0 | 0 | 104k| 585k|5057 | 0.000000e+00 | 7.000000e+00 | Inf
899.83/899.82 c 900s|510000 | 4463 | 2016k| 4.0 | 96M|1205 | - |3717 | 16k| 0 | 0 | 106k| 599k|5151 | 0.000000e+00 | 7.000000e+00 | Inf
917.92/917.90 c 918s|520000 | 4689 | 2076k| 4.0 | 99M|1205 | - |3717 | 18k| 0 | 0 | 108k| 612k|5236 | 0.000000e+00 | 7.000000e+00 | Inf
936.41/936.42 c 936s|530000 | 4722 | 2139k| 4.0 | 100M|1205 | 14 |3717 | 18k|3717 | 948 | 110k| 628k|5318 | 0.000000e+00 | 7.000000e+00 | Inf
954.92/954.90 c 955s|540000 | 4713 | 2201k| 4.1 | 100M|1205 | 11 |3717 | 16k|3717 | 925 | 112k| 642k|5399 | 0.000000e+00 | 7.000000e+00 | Inf
972.92/972.98 c 973s|550000 | 4732 | 2251k| 4.1 | 101M|1205 | 10 |3717 | 15k|3717 | 960 | 114k| 655k|5459 | 0.000000e+00 | 7.000000e+00 | Inf
991.22/991.21 c 991s|560000 | 4688 | 2310k| 4.1 | 100M|1205 | - |3717 | 13k| 0 | 0 | 116k| 668k|5542 | 0.000000e+00 | 7.000000e+00 | Inf
1009.52/1009.58 c 1010s|570000 | 4703 | 2365k| 4.1 | 102M|1205 | - |3717 | 17k| 0 | 0 | 118k| 682k|5607 | 0.000000e+00 | 7.000000e+00 | Inf
1029.42/1029.46 c 1029s|580000 | 4727 | 2425k| 4.2 | 102M|1205 | 21 |3717 | 15k|3717 | 942 | 119k| 695k|5675 | 0.000000e+00 | 7.000000e+00 | Inf
1048.52/1048.53 c 1049s|590000 | 4679 | 2483k| 4.2 | 103M|1205 | 1 |3717 | 18k|3717 | 933 | 121k| 709k|5740 | 0.000000e+00 | 7.000000e+00 | Inf
1068.32/1068.32 c 1068s|600000 | 4613 | 2541k| 4.2 | 103M|1205 | - |3717 | 18k| 0 | 0 | 123k| 722k|5822 | 0.000000e+00 | 7.000000e+00 | Inf
1088.82/1088.88 c 1089s|610000 | 4593 | 2598k| 4.3 | 103M|1205 | - |3717 | 18k| 0 | 0 | 125k| 736k|5885 | 0.000000e+00 | 7.000000e+00 | Inf
1107.73/1107.76 c 1108s|620000 | 4579 | 2654k| 4.3 | 102M|1205 | - |3717 | 15k| 0 | 0 | 127k| 749k|6254 | 0.000000e+00 | 7.000000e+00 | Inf
1126.93/1126.98 c 1127s|630000 | 4684 | 2716k| 4.3 | 104M|1205 | - |3717 | 16k| 0 | 0 | 129k| 763k|6269 | 0.000000e+00 | 7.000000e+00 | Inf
1146.23/1146.27 c 1146s|640000 | 4489 | 2782k| 4.3 | 100M|1205 | - |3717 | 11k| 0 | 0 | 131k| 777k|6303 | 0.000000e+00 | 7.000000e+00 | Inf
1162.83/1162.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.83/1162.82 c 1163s|650000 | 4531 | 2831k| 4.4 | 102M|1205 | - |3717 | 13k| 0 | 0 | 133k| 789k|6348 | 0.000000e+00 | 7.000000e+00 | Inf
1180.23/1180.20 c 1180s|660000 | 4681 | 2881k| 4.4 | 105M|1205 | - |3717 | 17k| 0 | 0 | 135k| 803k|6397 | 0.000000e+00 | 7.000000e+00 | Inf
1198.42/1198.43 c 1198s|670000 | 4520 | 2937k| 4.4 | 102M|1205 | - |3717 | 10k| 0 | 0 | 138k| 817k|6487 | 0.000000e+00 | 7.000000e+00 | Inf
1214.33/1214.37 c 1214s|680000 | 4453 | 2990k| 4.4 | 101M|1205 | 14 |3717 | 11k|3717 | 936 | 139k| 830k|6556 | 0.000000e+00 | 7.000000e+00 | Inf
1231.43/1231.41 c 1231s|690000 | 4481 | 3045k| 4.4 | 102M|1205 | 18 |3717 | 13k|3717 | 978 | 141k| 843k|6592 | 0.000000e+00 | 7.000000e+00 | Inf
1249.54/1249.59 c 1250s|700000 | 4543 | 3097k| 4.4 | 104M|1205 | - |3717 | 16k|3717 | 933 | 143k| 856k|6643 | 0.000000e+00 | 7.000000e+00 | Inf
1268.73/1268.73 c 1269s|710000 | 4415 | 3154k| 4.4 | 102M|1205 | 1 |3717 | 11k|3717 | 927 | 145k| 871k|6736 | 0.000000e+00 | 7.000000e+00 | Inf
1285.94/1285.95 c 1286s|720000 | 4228 | 3209k| 4.5 | 99M|1205 | - |3717 | 10k| 0 | 0 | 147k| 884k|6801 | 0.000000e+00 | 7.000000e+00 | Inf
1303.03/1303.01 c 1303s|730000 | 4169 | 3271k| 4.5 | 99M|1205 | - |3717 | 12k| 0 | 0 | 149k| 897k|6859 | 0.000000e+00 | 7.000000e+00 | Inf
1320.12/1320.15 c 1320s|740000 | 4223 | 3324k| 4.5 | 100M|1205 | 1 |3717 | 13k|3717 | 926 | 151k| 910k|6892 | 0.000000e+00 | 7.000000e+00 | Inf
1338.53/1338.57 c 1339s|750000 | 4298 | 3380k| 4.5 | 102M|1205 | 11 |3717 | 16k|3717 | 935 | 153k| 924k|6939 | 0.000000e+00 | 7.000000e+00 | Inf
1357.83/1357.83 c 1358s|760000 | 4334 | 3439k| 4.5 | 103M|1205 | 12 |3717 | 17k|3717 | 927 | 154k| 937k|7005 | 0.000000e+00 | 7.000000e+00 | Inf
1375.33/1375.39 c 1375s|770000 | 4062 | 3493k| 4.5 | 98M|1205 | 8 |3717 | 12k|3717 | 923 | 157k| 950k|7116 | 0.000000e+00 | 7.000000e+00 | Inf
1392.93/1392.99 c 1393s|780000 | 4144 | 3549k| 4.5 | 100M|1205 | 1 |3717 | 15k|3717 | 949 | 159k| 964k|7167 | 0.000000e+00 | 7.000000e+00 | Inf
1410.53/1410.59 c 1411s|790000 | 3982 | 3602k| 4.6 | 97M|1205 | 18 |3717 | 12k|3717 | 928 | 161k| 977k|7217 | 0.000000e+00 | 7.000000e+00 | Inf
1428.14/1428.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.14/1428.14 c 1428s|800000 | 3994 | 3663k| 4.6 | 98M|1205 | - |3717 | 13k| 0 | 0 | 163k| 990k|7290 | 0.000000e+00 | 7.000000e+00 | Inf
1446.93/1446.94 c 1447s|810000 | 3940 | 3727k| 4.6 | 98M|1205 | 8 |3717 | 15k|3717 | 937 | 165k|1004k|7351 | 0.000000e+00 | 7.000000e+00 | Inf
1463.83/1463.84 c 1464s|820000 | 3791 | 3780k| 4.6 | 96M|1205 | - |3717 | 13k| 0 | 0 | 167k|1017k|7407 | 0.000000e+00 | 7.000000e+00 | Inf
1481.13/1481.15 c 1481s|830000 | 3834 | 3826k| 4.6 | 97M|1205 | 8 |3717 | 15k|3717 | 930 | 170k|1031k|7454 | 0.000000e+00 | 7.000000e+00 | Inf
1499.54/1499.56 c 1500s|840000 | 3917 | 3876k| 4.6 | 99M|1205 | 1 |3717 | 19k|3717 | 955 | 172k|1045k|7506 | 0.000000e+00 | 7.000000e+00 | Inf
1519.23/1519.21 c 1519s|850000 | 3962 | 3927k| 4.6 | 100M|1205 | 22 |3717 | 20k|3717 | 939 | 175k|1059k|7561 | 0.000000e+00 | 7.000000e+00 | Inf
1539.23/1539.26 c 1539s|860000 | 3966 | 3974k| 4.6 | 101M|1205 | 1 |3717 | 20k|3717 | 947 | 177k|1074k|7586 | 0.000000e+00 | 7.000000e+00 | Inf
1560.24/1560.27 c 1560s|870000 | 4016 | 4026k| 4.6 | 103M|1205 | 26 |3717 | 25k|3717 | 958 | 180k|1088k|7633 | 0.000000e+00 | 7.000000e+00 | Inf
1580.84/1580.81 c 1581s|880000 | 3734 | 4078k| 4.6 | 96M|1205 | - |3717 | 14k| 0 | 0 | 182k|1103k|7688 | 0.000000e+00 | 7.000000e+00 | Inf
1598.24/1598.23 c 1598s|890000 | 3284 | 4136k| 4.6 | 88M|1205 | 30 |3717 |7217 |3717 | 926 | 184k|1116k|7787 | 0.000000e+00 | 7.000000e+00 | Inf
1614.74/1614.71 c 1615s|900000 | 3013 | 4193k| 4.7 | 86M|1205 | - |3717 | 11k| 0 | 0 | 185k|1130k|7845 | 0.000000e+00 | 7.000000e+00 | Inf
1633.04/1633.10 c 1633s|910000 | 3029 | 4250k| 4.7 | 88M|1205 | - |3717 | 15k| 0 | 0 | 187k|1143k|7886 | 0.000000e+00 | 7.000000e+00 | Inf
1654.04/1654.06 c 1654s|920000 | 3128 | 4306k| 4.7 | 90M|1205 | - |3717 | 19k| 0 | 0 | 188k|1157k|7928 | 0.000000e+00 | 7.000000e+00 | Inf
1674.14/1674.19 c 1674s|930000 | 2940 | 4366k| 4.7 | 86M|1205 | - |3717 | 12k| 0 | 0 | 190k|1170k|8019 | 0.000000e+00 | 7.000000e+00 | Inf
1692.34/1692.36 c 1692s|940000 | 3005 | 4426k| 4.7 | 88M|1205 | 11 |3717 | 15k|3717 | 921 | 192k|1183k|8054 | 0.000000e+00 | 7.000000e+00 | Inf
1711.34/1711.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.34/1711.34 c 1711s|950000 | 3079 | 4482k| 4.7 | 90M|1205 | - |3717 | 20k| 0 | 0 | 194k|1197k|8148 | 0.000000e+00 | 7.000000e+00 | Inf
1730.74/1730.73 c 1731s|960000 | 3170 | 4534k| 4.7 | 91M|1205 | - |3717 | 19k| 0 | 0 | 196k|1211k|8177 | 0.000000e+00 | 7.000000e+00 | Inf
1748.54/1748.56 c 1749s|970000 | 2702 | 4585k| 4.7 | 81M|1205 | 1 |3717 | 12k|3717 | 912 | 198k|1225k|8227 | 0.000000e+00 | 7.000000e+00 | Inf
1765.74/1765.70 c 1766s|980000 | 2811 | 4632k| 4.7 | 83M|1205 | - |3717 | 14k| 0 | 0 | 200k|1238k|8286 | 0.000000e+00 | 7.000000e+00 | Inf
1783.75/1783.76 c 1784s|990000 | 2888 | 4678k| 4.7 | 86M|1205 | - |3717 | 18k| 0 | 0 | 201k|1252k|8296 | 0.000000e+00 | 7.000000e+00 | Inf
1790.04/1790.01 c
1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.01 c Solving Time (sec) : 1789.98
1790.04/1790.01 c Solving Nodes : 993158
1790.04/1790.01 c Primal Bound : +7.00000000000000e+00 (197 solutions)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.04 s SATISFIABLE
1790.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/1790.04 v -x1
1790.04/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.04 c Solving Time : 1789.98
1790.04/1790.04 c Original Problem :
1790.04/1790.04 c Problem name : HOME/instance-2705541-1278572955.wbo
1790.04/1790.04 c Variables : 3863 (2047 binary, 0 integer, 1816 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4524 initial, 4524 maximal
1790.04/1790.04 c Presolved Problem :
1790.04/1790.04 c Problem name : t_HOME/instance-2705541-1278572955.wbo
1790.04/1790.04 c Variables : 3717 (1974 binary, 0 integer, 1743 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4324 initial, 25092 maximal
1790.04/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.04 c trivial : 0.00 73 0 0 0 0 0 0 0
1790.04/1790.04 c dualfix : 0.00 73 0 0 0 0 0 0 0
1790.04/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1790.04/1790.04 c setppc : 0.00 0 0 0 0 0 22 0 0
1790.04/1790.04 c linear : 0.06 0 0 0 1836 0 105 87 0
1790.04/1790.04 c indicator : 0.00 0 0 0 0 0 73 0 0
1790.04/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.04/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c root node : - 3286 - - 3286 - - - -
1790.04/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.04 c integral : 0 0 0 588101 0 36 649 0 0 1007366
1790.04/1790.04 c setppc : 41 6 5564346 81278 1 19235 815356 0 0 0
1790.04/1790.04 c linear : 1743 6 5566805 83808 1 197319 23917286 202498 0 0
1790.04/1790.04 c indicator : 1743 0 5360820 83833 1 1808 5154963 0 0 0
1790.04/1790.04 c logicor : 797+ 6 1761673 57595 1 229447 4270797 0 0 0
1790.04/1790.04 c bounddisjunction : 0+ 0 535603 0 0 80 3298 0 0 0
1790.04/1790.04 c countsols : 0 0 0 57595 1 0 0 0 0 0
1790.04/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.04 c integral : 19.46 0.00 0.00 19.46 0.00
1790.04/1790.04 c setppc : 7.54 0.00 7.48 0.05 0.00
1790.04/1790.04 c linear : 157.81 0.00 154.08 3.72 0.00
1790.04/1790.04 c indicator : 59.62 0.02 51.64 7.96 0.00
1790.04/1790.04 c logicor : 230.25 0.00 229.70 0.55 0.00
1790.04/1790.04 c bounddisjunction : 2.84 0.00 2.84 0.00 0.00
1790.04/1790.04 c countsols : 0.01 0.00 0.00 0.01 0.00
1790.04/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.04 c vbounds : 1.14 110166 0 4635
1790.04/1790.04 c rootredcost : 0.82 48 0 1643
1790.04/1790.04 c pseudoobj : 156.60 5607300 21092 5156213
1790.04/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.04 c propagation : 21.96 467173 467071 2878228 25.4 15234 23.4 -
1790.04/1790.04 c infeasible LP : 6.55 25474 25474 215135 41.1 264 17.6 0
1790.04/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c pseudo solution : 0.00 1 1 8 23.2 0 0.0 -
1790.04/1790.04 c applied globally : - - - 1257036 20.7 - - -
1790.04/1790.04 c applied locally : - - - 0 0.0 - - -
1790.04/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.04 c cut pool : 0.00 5 - - 15 - (maximal pool size: 242)
1790.04/1790.04 c redcost : 41.62 594726 0 174136 0 0
1790.04/1790.04 c impliedbounds : 0.00 6 0 0 0 0
1790.04/1790.04 c intobj : 0.00 0 0 0 0 0
1790.04/1790.04 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.04 c gomory : 0.09 6 0 0 1074 0
1790.04/1790.04 c strongcg : 0.09 6 0 0 1008 0
1790.04/1790.04 c cmir : 0.02 6 0 0 0 0
1790.04/1790.05 c flowcover : 0.06 6 0 0 0 0
1790.04/1790.05 c clique : 0.00 6 0 0 0 0
1790.04/1790.05 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.05 c mcf : 0.00 1 0 0 0 0
1790.04/1790.05 c rapidlearning : 0.07 1 0 0 0 0
1790.04/1790.05 c Pricers : Time Calls Vars
1790.04/1790.05 c problem variables: 0.00 0 0
1790.04/1790.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.05 c relpscost : 19.05 504190 36 649 0 0 1007366
1790.04/1790.05 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.05 c inference : 14.24 57549 0 0 0 0 115386
1790.04/1790.05 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.05 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.05 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.05 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.05 c random : 0.00 0 0 0 0 0 0
1790.04/1790.05 c Primal Heuristics : Time Calls Found
1790.04/1790.05 c LP solutions : 0.12 - 47
1790.04/1790.05 c pseudo solutions : 0.00 - 0
1790.04/1790.05 c intshifting : 0.01 0 0
1790.04/1790.05 c feaspump : 0.02 1 0
1790.04/1790.05 c oneopt : 0.40 42 0
1790.04/1790.05 c crossover : 2.26 68 0
1790.04/1790.05 c guideddiving : 0.28 222 0
1790.04/1790.05 c coefdiving : 0.26 222 0
1790.04/1790.05 c pscostdiving : 0.29 222 0
1790.04/1790.05 c fracdiving : 0.28 222 0
1790.04/1790.05 c veclendiving : 0.27 222 0
1790.04/1790.05 c linesearchdiving : 0.28 222 0
1790.04/1790.05 c rootsoldiving : 0.29 216 0
1790.04/1790.05 c objpscostdiving : 0.28 217 0
1790.04/1790.05 c trivial : 0.00 2 0
1790.04/1790.05 c simplerounding : 0.81 505007 0
1790.04/1790.05 c zirounding : 0.33 1000 0
1790.04/1790.05 c rounding : 1.01 9989 0
1790.04/1790.05 c shifting : 0.69 3181 0
1790.04/1790.05 c twoopt : 0.00 0 0
1790.04/1790.05 c fixandinfer : 0.00 0 0
1790.04/1790.05 c intdiving : 0.00 0 0
1790.04/1790.05 c actconsdiving : 0.00 0 0
1790.04/1790.05 c octane : 0.00 0 0
1790.04/1790.05 c rens : 0.03 1 0
1790.04/1790.05 c rins : 0.00 0 0
1790.04/1790.05 c localbranching : 0.00 0 0
1790.04/1790.05 c mutation : 0.00 0 0
1790.04/1790.05 c dins : 0.00 0 0
1790.04/1790.05 c undercover : 0.00 0 0
1790.04/1790.05 c nlp : 0.16 0 0
1790.04/1790.05 c trysol : 0.39 399 150
1790.04/1790.05 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.05 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.05 c dual LP : 597.63 557638 4694661 8.42 7855.46
1790.04/1790.05 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.05 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.05 c diving/probing LP: 0.17 81 1516 18.72 8942.95
1790.04/1790.05 c strong branching : 15.18 8318 161113 19.37 10615.84
1790.04/1790.05 c (at root node) : - 16 5159 322.44 -
1790.04/1790.05 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.05 c B&B Tree :
1790.04/1790.05 c number of runs : 1
1790.04/1790.05 c nodes : 993158
1790.04/1790.05 c nodes (total) : 993158
1790.04/1790.05 c nodes left : 2888
1790.04/1790.05 c max depth : 1205
1790.04/1790.05 c max depth (total): 1205
1790.04/1790.05 c backtracks : 80049 (8.1%)
1790.04/1790.05 c delayed cutoffs : 68793
1790.04/1790.05 c repropagations : 2971716 (6671105 domain reductions, 62509 cutoffs)
1790.04/1790.05 c avg switch length: 7.39
1790.04/1790.05 c switching time : 252.68
1790.04/1790.05 c Solution :
1790.04/1790.05 c Solutions found : 197 (48 improvements)
1790.04/1790.05 c First Solution : +8.86900000000000e+04 (in run 1, after 15 nodes, 1.69 seconds, depth 15, found by <trysol>)
1790.04/1790.05 c Primal Bound : +7.00000000000000e+00 (in run 1, after 499731 nodes, 880.31 seconds, depth 31, found by <relaxation>)
1790.04/1790.05 c Dual Bound : +0.00000000000000e+00
1790.04/1790.05 c Gap : infinite
1790.04/1790.05 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.05 c Root Iterations : 340
1790.14/1790.15 c Time complete: 1790.2.