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-2705593-1278572957.wbo>
0.01/0.03 c original problem has 3807 variables (2019 bin, 0 int, 1788 impl, 0 cont) and 4496 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.04 c presolving:
0.01/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.01/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.01/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.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 | 24 | - | 13M| 0 | 14 |3663 |4306 |3663 | 874 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 61 | - | 14M| 0 | 30 |3663 |4306 |3663 | 892 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.32 c 0.3s| 1 | 0 | 88 | - | 14M| 0 | 40 |3663 |4306 |3663 | 903 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 236 | - | 14M| 0 | 39 |3663 |4306 |3663 | 911 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 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 | 647 | - | 15M| 0 | 55 |3663 |4306 |3663 | 945 | 71 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.99 c 1.0s| 1 | 2 | 647 | - | 15M| 0 | 55 |3663 |4306 |3663 | 945 | 71 | 0 | 16 | 0.000000e+00 | -- | Inf
1.59/1.64 o 85182
1.59/1.64 c y 1.6s| 18 | 17 | 1013 | 21.5 | 15M| 16 | - |3663 |4306 | 0 | 0 | 74 | 0 | 84 | 0.000000e+00 | 8.518200e+04 | Inf
20.99/21.08 c 21.1s| 10000 | 9953 | 23410 | 2.3 | 37M| 347 | 0 |3663 |4359 |3663 | 956 |3231 | 53 |1312 | 0.000000e+00 | 8.518200e+04 | Inf
32.90/32.91 c 32.9s| 20000 | 19847 | 25933 | 1.3 | 54M| 353 | 0 |3663 |4416 |3663 | 975 |3637 | 110 |1342 | 0.000000e+00 | 8.518200e+04 | Inf
45.00/45.00 c 45.0s| 30000 | 29823 | 28124 | 0.9 | 70M| 353 | 0 |3663 |4428 |3663 | 961 |4164 | 122 |1351 | 0.000000e+00 | 8.518200e+04 | Inf
57.39/57.42 c 57.4s| 40000 | 39821 | 33210 | 0.8 | 87M| 353 | 0 |3663 |4429 |3663 |1011 |5105 | 123 |1376 | 0.000000e+00 | 8.518200e+04 | Inf
68.39/68.40 o 680
68.39/68.40 c *68.4s| 48937 | 44978 | 36836 | 0.7 | 96M| 353 | - |3663 |4440 |3663 | 972 |5635 | 134 |1383 | 0.000000e+00 | 6.800000e+02 | Inf
70.19/70.29 c 70.3s| 50000 | 45990 | 39381 | 0.8 | 98M| 353 | 0 |3663 |4570 |3663 | 974 |6103 | 265 |1392 | 0.000000e+00 | 6.800000e+02 | Inf
70.59/70.65 o 675
70.59/70.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.59/70.65 c *70.6s| 50198 | 46023 | 39920 | 0.8 | 99M| 353 | - |3663 |4620 |3663 | 979 |6186 | 315 |1394 | 0.000000e+00 | 6.750000e+02 | Inf
71.09/71.10 o 387
71.09/71.10 c *71.1s| 50425 | 25924 | 40334 | 0.8 | 67M| 353 | - |3663 |4655 |3663 | 997 |6262 | 350 |1394 | 0.000000e+00 | 3.870000e+02 | Inf
71.19/71.22 o 244
71.19/71.22 c *71.2s| 50485 | 14115 | 40439 | 0.8 | 48M| 353 | - |3663 |4674 |3663 | 975 |6273 | 369 |1394 | 0.000000e+00 | 2.440000e+02 | Inf
71.19/71.26 o 236
71.19/71.26 c *71.2s| 50505 | 13577 | 40439 | 0.8 | 47M| 353 | - |3663 |4677 |3663 | 975 |6273 | 372 |1394 | 0.000000e+00 | 2.360000e+02 | Inf
72.39/72.42 o 227
72.39/72.42 c *72.4s| 51089 | 13267 | 41754 | 0.8 | 47M| 353 | - |3663 |5132 |3663 | 971 |6440 | 849 |1399 | 0.000000e+00 | 2.270000e+02 | Inf
76.90/76.95 o 214
76.90/76.95 c *76.9s| 53205 | 13650 | 51425 | 1.0 | 51M| 353 | - |3663 |6596 |3663 | 981 |7737 |2444 |1449 | 0.000000e+00 | 2.140000e+02 | Inf
79.49/79.58 o 208
79.49/79.58 c *79.6s| 54252 | 13898 | 60975 | 1.1 | 54M| 353 | - |3663 |7029 |3663 | 957 |8708 |3077 |1477 | 0.000000e+00 | 2.080000e+02 | Inf
79.49/79.59 o 192
79.49/79.59 c *79.6s| 54253 | 12699 | 60993 | 1.1 | 51M| 353 | - |3663 |7029 |3663 | 958 |8709 |3077 |1477 | 0.000000e+00 | 1.920000e+02 | Inf
80.90/80.94 o 184
80.90/80.94 c *80.9s| 54734 | 12323 | 65828 | 1.2 | 52M| 353 | - |3663 |7226 |3663 | 960 |9125 |3426 |1489 | 0.000000e+00 | 1.840000e+02 | Inf
83.39/83.46 o 180
83.39/83.46 c *83.4s| 55803 | 12436 | 72018 | 1.3 | 54M| 353 | - |3663 |7778 |3663 | 987 |9694 |4326 |1492 | 0.000000e+00 | 1.800000e+02 | Inf
84.19/84.29 o 178
84.19/84.29 c *84.3s| 56096 | 12458 | 74927 | 1.3 | 55M| 353 | - |3663 |8031 |3663 | 975 | 10k|4680 |1492 | 0.000000e+00 | 1.780000e+02 | Inf
84.29/84.36 o 176
84.29/84.36 c *84.3s| 56109 | 12323 | 75376 | 1.3 | 55M| 353 | - |3663 |8029 |3663 | 943 | 10k|4689 |1494 | 0.000000e+00 | 1.760000e+02 | Inf
93.29/93.36 c 93.3s| 60000 | 13632 | 90995 | 1.5 | 63M| 353 | 1 |3663 |7945 |3663 | 996 | 11k|7935 |1548 | 0.000000e+00 | 1.760000e+02 | Inf
95.79/95.84 o 168
95.79/95.84 c *95.8s| 61015 | 13446 | 95935 | 1.6 | 64M| 353 | - |3663 |7967 |3663 | 992 | 11k|8863 |1549 | 0.000000e+00 | 1.680000e+02 | Inf
96.60/96.60 o 160
96.60/96.60 c *96.6s| 61346 | 12884 | 96934 | 1.6 | 63M| 353 | - |3663 |7942 |3663 | 956 | 12k|9163 |1549 | 0.000000e+00 | 1.600000e+02 | Inf
96.60/96.61 o 142
96.60/96.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.60/96.61 c *96.6s| 61347 | 11249 | 96944 | 1.6 | 59M| 353 | - |3663 |7942 |3663 | 956 | 12k|9163 |1549 | 0.000000e+00 | 1.420000e+02 | Inf
96.70/96.78 o 135
96.70/96.78 c *96.8s| 61397 | 10713 | 97684 | 1.6 | 58M| 353 | - |3663 |7961 |3663 | 967 | 12k|9222 |1549 | 0.000000e+00 | 1.350000e+02 | Inf
98.50/98.52 o 131
98.50/98.52 c *98.5s| 62154 | 10769 |101039 | 1.6 | 59M| 353 | - |3663 |7913 |3663 | 955 | 12k|9704 |1551 | 0.000000e+00 | 1.310000e+02 | Inf
102.89/102.96 o 127
102.89/102.96 c * 103s| 64068 | 10898 |107763 | 1.7 | 60M| 353 | - |3663 |6464 |3663 | 970 | 12k| 11k|1552 | 0.000000e+00 | 1.270000e+02 | Inf
102.89/102.98 o 118
102.89/102.98 c * 103s| 64071 | 10022 |107790 | 1.7 | 57M| 353 | - |3663 |6468 |3663 | 970 | 12k| 11k|1552 | 0.000000e+00 | 1.180000e+02 | Inf
103.49/103.51 o 94
103.49/103.51 c * 103s| 64308 | 7870 |108589 | 1.7 | 48M| 353 | - |3663 |6554 |3663 | 961 | 13k| 11k|1554 | 0.000000e+00 | 9.400000e+01 | Inf
103.59/103.63 o 83
103.59/103.63 c * 104s| 64357 | 7015 |108771 | 1.7 | 44M| 353 | - |3663 |6358 |3663 | 960 | 13k| 11k|1554 | 0.000000e+00 | 8.300000e+01 | Inf
103.69/103.73 o 80
103.69/103.73 c * 104s| 64385 | 6788 |109078 | 1.7 | 43M| 353 | - |3663 |6085 |3663 | 987 | 13k| 11k|1554 | 0.000000e+00 | 8.000000e+01 | Inf
104.60/104.67 o 77
104.60/104.67 c * 105s| 64683 | 6756 |111157 | 1.7 | 45M| 353 | - |3663 |5979 |3663 | 951 | 13k| 11k|1554 | 0.000000e+00 | 7.700000e+01 | Inf
105.00/105.04 o 74
105.00/105.04 c * 105s| 64824 | 6610 |112180 | 1.7 | 44M| 353 | - |3663 |5738 |3663 | 964 | 13k| 11k|1554 | 0.000000e+00 | 7.400000e+01 | Inf
105.60/105.67 o 73
105.60/105.67 c * 106s| 65017 | 6569 |113821 | 1.7 | 45M| 353 | - |3663 |5564 |3663 | 980 | 13k| 12k|1555 | 0.000000e+00 | 7.300000e+01 | Inf
105.90/105.99 o 70
105.90/105.99 c * 106s| 65113 | 6430 |115330 | 1.8 | 44M| 353 | - |3663 |5437 |3663 | 960 | 13k| 12k|1555 | 0.000000e+00 | 7.000000e+01 | Inf
106.09/106.15 o 34
106.09/106.15 c * 106s| 65160 | 4220 |115981 | 1.8 | 37M| 353 | - |3663 |5389 |3663 | 963 | 13k| 12k|1555 | 0.000000e+00 | 3.400000e+01 | Inf
106.09/106.19 o 23
106.09/106.19 c * 106s| 65169 | 3355 |116039 | 1.8 | 34M| 353 | - |3663 |4741 |3663 | 959 | 13k| 12k|1555 | 0.000000e+00 | 2.300000e+01 | Inf
106.19/106.22 o 11
106.19/106.22 c * 106s| 65182 | 1119 |116082 | 1.8 | 27M| 353 | - |3663 |4504 |3663 | 962 | 13k| 12k|1555 | 0.000000e+00 | 1.100000e+01 | Inf
109.39/109.49 o 9
109.39/109.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.39/109.49 c * 109s| 67480 | 911 |128997 | 1.9 | 27M| 353 | - |3663 |5591 |3663 | 987 | 14k| 15k|1559 | 0.000000e+00 | 9.000000e+00 | Inf
109.49/109.59 o 7
109.49/109.59 c * 110s| 67540 | 851 |129366 | 1.9 | 27M| 353 | - |3663 |5351 |3663 | 990 | 14k| 15k|1559 | 0.000000e+00 | 7.000000e+00 | Inf
113.00/113.01 c 113s| 70000 | 830 |142851 | 2.0 | 27M| 353 | 22 |3663 |5714 |3663 | 954 | 14k| 18k|1559 | 0.000000e+00 | 7.000000e+00 | Inf
127.80/127.83 c 128s| 80000 | 816 |206110 | 2.6 | 29M| 353 | 1 |3663 |8668 |3663 | 979 | 17k| 31k|1559 | 0.000000e+00 | 7.000000e+00 | Inf
143.10/143.14 c 143s| 90000 | 791 |265794 | 2.9 | 30M| 353 | 13 |3663 |8881 |3663 | 940 | 19k| 44k|1559 | 0.000000e+00 | 7.000000e+00 | Inf
158.19/158.28 c 158s|100000 | 826 |321695 | 3.2 | 32M| 353 | 18 |3663 | 11k|3663 | 959 | 21k| 57k|1568 | 0.000000e+00 | 7.000000e+00 | Inf
174.20/174.27 c 174s|110000 | 815 |379309 | 3.4 | 32M| 353 | 14 |3663 | 12k|3663 | 963 | 23k| 71k|1627 | 0.000000e+00 | 7.000000e+00 | Inf
188.20/188.28 o 3
188.20/188.28 c * 188s|118453 | 814 |428435 | 3.6 | 34M| 353 | - |3663 | 15k|3663 | 969 | 25k| 83k|1684 | 0.000000e+00 | 3.000000e+00 | Inf
190.69/190.79 c 191s|120000 | 790 |436983 | 3.6 | 33M| 353 | 12 |3663 | 13k|3663 | 940 | 25k| 85k|1708 | 0.000000e+00 | 3.000000e+00 | Inf
206.50/206.57 c 207s|130000 | 723 |496873 | 3.8 | 32M| 353 | 8 |3663 | 12k|3663 | 966 | 27k| 98k|1841 | 0.000000e+00 | 3.000000e+00 | Inf
224.30/224.35 c 224s|140000 | 784 |572106 | 4.1 | 34M| 353 | 1 |3663 | 14k|3663 | 966 | 29k| 112k|1986 | 0.000000e+00 | 3.000000e+00 | Inf
242.30/242.34 c 242s|150000 | 843 |642293 | 4.3 | 35M| 353 | 1 |3663 | 17k|3663 | 960 | 31k| 125k|2098 | 0.000000e+00 | 3.000000e+00 | Inf
259.10/259.13 c 259s|160000 | 863 |701794 | 4.4 | 36M| 353 | 14 |3663 | 18k|3663 | 972 | 33k| 139k|2209 | 0.000000e+00 | 3.000000e+00 | Inf
277.10/277.18 c 277s|170000 | 962 |762487 | 4.5 | 39M| 353 | 20 |3663 | 22k|3663 | 969 | 35k| 153k|2295 | 0.000000e+00 | 3.000000e+00 | Inf
295.51/295.59 c 296s|180000 | 977 |822510 | 4.6 | 39M| 353 | 21 |3663 | 20k|3663 | 978 | 37k| 167k|2339 | 0.000000e+00 | 3.000000e+00 | Inf
313.60/313.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.60/313.65 c 314s|190000 | 965 |882498 | 4.6 | 40M| 353 | 16 |3663 | 22k|3663 | 962 | 39k| 181k|2470 | 0.000000e+00 | 3.000000e+00 | Inf
316.50/316.54 o 2
316.50/316.54 c * 317s|191646 | 934 |890218 | 4.6 | 39M| 353 | - |3663 | 22k|3663 | 962 | 40k| 184k|2470 | 0.000000e+00 | 2.000000e+00 | Inf
332.81/332.81 c 333s|200000 | 980 |946916 | 4.7 | 40M| 353 | - |3663 | 20k| 0 | 0 | 42k| 195k|2730 | 0.000000e+00 | 2.000000e+00 | Inf
352.51/352.59 c 353s|210000 | 1087 | 1014k| 4.8 | 42M| 353 | 21 |3663 | 23k|3663 | 960 | 44k| 209k|2796 | 0.000000e+00 | 2.000000e+00 | Inf
372.11/372.19 c 372s|220000 | 1019 | 1083k| 4.9 | 40M| 353 | 1 |3663 | 17k|3663 | 953 | 47k| 222k|2941 | 0.000000e+00 | 2.000000e+00 | Inf
390.51/390.59 c 391s|230000 | 1099 | 1153k| 5.0 | 42M| 353 | - |3663 | 20k| 0 | 0 | 49k| 235k|3008 | 0.000000e+00 | 2.000000e+00 | Inf
408.70/408.71 c 409s|240000 | 1083 | 1210k| 5.0 | 42M| 353 | 14 |3663 | 20k|3663 | 953 | 52k| 248k|3094 | 0.000000e+00 | 2.000000e+00 | Inf
428.80/428.86 c 429s|250000 | 1164 | 1281k| 5.1 | 45M| 353 | - |3663 | 24k| 0 | 0 | 55k| 262k|3174 | 0.000000e+00 | 2.000000e+00 | Inf
449.11/449.17 c 449s|260000 | 1181 | 1343k| 5.2 | 45M| 353 | 16 |3663 | 25k|3663 | 969 | 57k| 277k|3237 | 0.000000e+00 | 2.000000e+00 | Inf
469.71/469.80 c 470s|270000 | 1143 | 1406k| 5.2 | 45M| 353 | 16 |3663 | 24k|3663 | 980 | 59k| 291k|3309 | 0.000000e+00 | 2.000000e+00 | Inf
489.81/489.89 c 490s|280000 | 1163 | 1464k| 5.2 | 46M| 353 | 17 |3663 | 27k|3663 | 964 | 62k| 305k|3402 | 0.000000e+00 | 2.000000e+00 | Inf
511.11/511.19 c 511s|290000 | 1211 | 1528k| 5.3 | 48M| 353 | - |3663 | 30k| 0 | 0 | 64k| 319k|3449 | 0.000000e+00 | 2.000000e+00 | Inf
533.42/533.46 c 533s|300000 | 1116 | 1596k| 5.3 | 45M| 353 | - |3663 | 23k| 0 | 0 | 67k| 332k|3568 | 0.000000e+00 | 2.000000e+00 | Inf
554.81/554.87 c 555s|310000 | 1232 | 1670k| 5.4 | 47M| 353 | 22 |3663 | 26k|3663 | 965 | 69k| 345k|3672 | 0.000000e+00 | 2.000000e+00 | Inf
577.22/577.28 c 577s|320000 | 1331 | 1740k| 5.4 | 49M| 353 | 12 |3663 | 29k|3663 | 972 | 71k| 359k|3729 | 0.000000e+00 | 2.000000e+00 | Inf
601.62/601.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.62/601.63 c 602s|330000 | 1382 | 1815k| 5.5 | 51M| 353 | 23 |3663 | 30k|3663 | 975 | 73k| 372k|3829 | 0.000000e+00 | 2.000000e+00 | Inf
625.42/625.47 c 625s|340000 | 1339 | 1882k| 5.5 | 50M| 353 | - |3663 | 29k| 0 | 0 | 76k| 386k|3899 | 0.000000e+00 | 2.000000e+00 | Inf
646.11/646.15 c 646s|350000 | 1430 | 1942k| 5.5 | 51M| 353 | 7 |3663 | 28k|3663 | 966 | 78k| 400k|3959 | 0.000000e+00 | 2.000000e+00 | Inf
667.62/667.61 c 668s|360000 | 1528 | 2005k| 5.6 | 53M| 353 | - |3663 | 31k| 0 | 0 | 81k| 413k|4012 | 0.000000e+00 | 2.000000e+00 | Inf
689.52/689.57 c 690s|370000 | 1501 | 2070k| 5.6 | 53M| 353 | 1 |3663 | 30k|3663 | 953 | 83k| 428k|4079 | 0.000000e+00 | 2.000000e+00 | Inf
711.92/711.92 c 712s|380000 | 1463 | 2138k| 5.6 | 53M| 353 | - |3663 | 31k| 0 | 0 | 86k| 442k|4160 | 0.000000e+00 | 2.000000e+00 | Inf
735.42/735.45 c 735s|390000 | 1508 | 2209k| 5.7 | 55M| 353 | - |3663 | 35k| 0 | 0 | 90k| 456k|4216 | 0.000000e+00 | 2.000000e+00 | Inf
761.42/761.44 c 761s|400000 | 1451 | 2291k| 5.7 | 54M| 353 | 16 |3663 | 32k|3663 | 970 | 93k| 470k|4293 | 0.000000e+00 | 2.000000e+00 | Inf
784.92/784.94 c 785s|410000 | 1559 | 2355k| 5.7 | 56M| 353 | - |3663 | 35k| 0 | 0 | 96k| 484k|4366 | 0.000000e+00 | 2.000000e+00 | Inf
808.12/808.13 c 808s|420000 | 1530 | 2419k| 5.8 | 56M| 353 | 16 |3663 | 35k|3663 | 969 | 98k| 499k|4437 | 0.000000e+00 | 2.000000e+00 | Inf
831.02/831.03 c 831s|430000 | 1519 | 2479k| 5.8 | 56M| 353 | 6 |3663 | 36k|3663 | 975 | 101k| 513k|4484 | 0.000000e+00 | 2.000000e+00 | Inf
856.93/856.90 c 857s|440000 | 1609 | 2550k| 5.8 | 58M| 353 | - |3663 | 39k| 0 | 0 | 103k| 529k|4535 | 0.000000e+00 | 2.000000e+00 | Inf
882.23/882.20 c 882s|450000 | 1603 | 2622k| 5.8 | 59M| 353 | - |3663 | 39k| 0 | 0 | 106k| 543k|4597 | 0.000000e+00 | 2.000000e+00 | Inf
907.63/907.65 c 908s|460000 | 1678 | 2685k| 5.8 | 60M| 353 | 13 |3663 | 39k|3663 | 977 | 109k| 558k|4646 | 0.000000e+00 | 2.000000e+00 | Inf
934.22/934.20 c 934s|470000 | 1794 | 2743k| 5.8 | 61M| 353 | 1 |3663 | 40k|3663 | 987 | 111k| 572k|4697 | 0.000000e+00 | 2.000000e+00 | Inf
960.23/960.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.23/960.27 c 960s|480000 | 1861 | 2809k| 5.9 | 62M| 353 | 8 |3663 | 41k|3663 | 969 | 113k| 586k|4757 | 0.000000e+00 | 2.000000e+00 | Inf
987.03/987.03 c 987s|490000 | 1877 | 2869k| 5.9 | 62M| 353 | 1 |3663 | 40k|3663 | 981 | 116k| 600k|4813 | 0.000000e+00 | 2.000000e+00 | Inf
1013.33/1013.38 c 1013s|500000 | 1857 | 2935k| 5.9 | 63M| 353 | - |3663 | 41k| 0 | 0 | 118k| 615k|4866 | 0.000000e+00 | 2.000000e+00 | Inf
1040.53/1040.53 c 1041s|510000 | 1888 | 3004k| 5.9 | 64M| 353 | 18 |3663 | 41k|3663 | 997 | 120k| 630k|4916 | 0.000000e+00 | 2.000000e+00 | Inf
1064.53/1064.53 c 1065s|520000 | 1928 | 3058k| 5.9 | 65M| 353 | - |3663 | 42k| 0 | 0 | 122k| 644k|4967 | 0.000000e+00 | 2.000000e+00 | Inf
1089.13/1089.18 c 1089s|530000 | 1897 | 3116k| 5.9 | 65M| 353 | - |3663 | 43k|3663 | 987 | 124k| 659k|5030 | 0.000000e+00 | 2.000000e+00 | Inf
1115.83/1115.86 c 1116s|540000 | 1879 | 3185k| 5.9 | 63M| 353 | - |3663 | 36k| 0 | 0 | 126k| 674k|5091 | 0.000000e+00 | 2.000000e+00 | Inf
1140.94/1140.97 c 1141s|550000 | 1928 | 3254k| 5.9 | 65M| 353 | - |3663 | 38k| 0 | 0 | 129k| 689k|5141 | 0.000000e+00 | 2.000000e+00 | Inf
1166.24/1166.26 c 1166s|560000 | 1481 | 3321k| 5.9 | 55M| 353 | 18 |3663 | 26k|3663 | 986 | 131k| 703k|5274 | 0.000000e+00 | 2.000000e+00 | Inf
1188.13/1188.18 c 1188s|570000 | 1484 | 3390k| 5.9 | 55M| 353 | 19 |3663 | 26k|3663 | 973 | 133k| 716k|5289 | 0.000000e+00 | 2.000000e+00 | Inf
1210.24/1210.25 c 1210s|580000 | 1460 | 3461k| 6.0 | 55M| 353 | - |3663 | 27k| 0 | 0 | 136k| 730k|5341 | 0.000000e+00 | 2.000000e+00 | Inf
1231.14/1231.11 c 1231s|590000 | 1545 | 3523k| 6.0 | 57M| 353 | 16 |3663 | 29k|3663 | 978 | 138k| 744k|5391 | 0.000000e+00 | 2.000000e+00 | Inf
1252.44/1252.43 c 1252s|600000 | 1541 | 3589k| 6.0 | 57M| 353 | - |3663 | 29k| 0 | 0 | 140k| 758k|5446 | 0.000000e+00 | 2.000000e+00 | Inf
1273.34/1273.30 c 1273s|610000 | 1493 | 3651k| 6.0 | 56M| 353 | - |3663 | 28k| 0 | 0 | 142k| 772k|5502 | 0.000000e+00 | 2.000000e+00 | Inf
1295.64/1295.61 c 1296s|620000 | 1484 | 3715k| 6.0 | 56M| 353 | - |3663 | 27k| 0 | 0 | 145k| 786k|5574 | 0.000000e+00 | 2.000000e+00 | Inf
1317.94/1317.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.94/1317.98 c 1318s|630000 | 1566 | 3782k| 6.0 | 58M| 353 | - |3663 | 31k| 0 | 0 | 147k| 799k|5624 | 0.000000e+00 | 2.000000e+00 | Inf
1340.95/1340.96 c 1341s|640000 | 1608 | 3842k| 6.0 | 58M| 353 | - |3663 | 30k| 0 | 0 | 149k| 813k|5679 | 0.000000e+00 | 2.000000e+00 | Inf
1363.84/1363.87 c 1364s|650000 | 1581 | 3904k| 6.0 | 58M| 353 | 18 |3663 | 29k|3663 | 969 | 151k| 827k|5719 | 0.000000e+00 | 2.000000e+00 | Inf
1385.65/1385.64 c 1386s|660000 | 1028 | 3967k| 6.0 | 45M| 353 | 12 |3663 | 16k|3663 | 965 | 153k| 841k|6199 | 0.000000e+00 | 2.000000e+00 | Inf
1403.35/1403.30 c 1403s|670000 | 1025 | 4030k| 6.0 | 45M| 353 | 22 |3663 | 17k|3663 | 954 | 155k| 854k|6241 | 0.000000e+00 | 2.000000e+00 | Inf
1421.64/1421.61 c 1422s|680000 | 1113 | 4084k| 6.0 | 48M| 353 | - |3663 | 22k| 0 | 0 | 157k| 867k|6244 | 0.000000e+00 | 2.000000e+00 | Inf
1442.85/1442.84 c 1443s|690000 | 1216 | 4140k| 6.0 | 50M| 353 | 12 |3663 | 25k|3663 | 978 | 159k| 881k|6247 | 0.000000e+00 | 2.000000e+00 | Inf
1463.25/1463.20 c 1463s|700000 | 963 | 4195k| 6.0 | 45M| 353 | 22 |3663 | 20k|3663 | 948 | 161k| 895k|6250 | 0.000000e+00 | 2.000000e+00 | Inf
1482.75/1482.73 c 1483s|710000 | 875 | 4258k| 6.0 | 43M| 353 | 17 |3663 | 18k|3663 | 953 | 163k| 908k|6471 | 0.000000e+00 | 2.000000e+00 | Inf
1501.74/1501.74 c 1502s|720000 | 948 | 4324k| 6.0 | 45M| 353 | - |3663 | 22k| 0 | 0 | 166k| 921k|6488 | 0.000000e+00 | 2.000000e+00 | Inf
1522.24/1522.20 c 1522s|730000 | 1038 | 4393k| 6.0 | 48M| 353 | 19 |3663 | 27k|3663 | 966 | 169k| 934k|6519 | 0.000000e+00 | 2.000000e+00 | Inf
1544.95/1544.92 c 1545s|740000 | 1082 | 4467k| 6.0 | 49M| 353 | 2 |3663 | 27k|3663 | 968 | 171k| 948k|6558 | 0.000000e+00 | 2.000000e+00 | Inf
1567.05/1567.08 c 1567s|750000 | 1037 | 4534k| 6.0 | 48M| 353 | - |3663 | 23k|3663 | 947 | 174k| 961k|6601 | 0.000000e+00 | 2.000000e+00 | Inf
1586.45/1586.49 c 1586s|760000 | 1096 | 4597k| 6.0 | 48M| 353 | 1 |3663 | 25k|3663 | 970 | 177k| 974k|6663 | 0.000000e+00 | 2.000000e+00 | Inf
1607.26/1607.22 c 1607s|770000 | 1161 | 4655k| 6.0 | 50M| 353 | - |3663 | 26k|3663 | 952 | 179k| 987k|6712 | 0.000000e+00 | 2.000000e+00 | Inf
1629.65/1629.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1629.65/1629.62 c 1630s|780000 | 1284 | 4719k| 6.0 | 52M| 353 | 12 |3663 | 28k|3663 | 968 | 182k|1000k|6778 | 0.000000e+00 | 2.000000e+00 | Inf
1653.05/1653.06 c 1653s|790000 | 1374 | 4784k| 6.1 | 54M| 353 | - |3663 | 30k|3663 | 965 | 185k|1014k|6815 | 0.000000e+00 | 2.000000e+00 | Inf
1676.36/1676.33 c 1676s|800000 | 1469 | 4851k| 6.1 | 56M| 353 | - |3663 | 32k| 0 | 0 | 188k|1028k|6857 | 0.000000e+00 | 2.000000e+00 | Inf
1699.66/1699.68 c 1700s|810000 | 1490 | 4915k| 6.1 | 56M| 353 | 6 |3663 | 30k|3663 | 955 | 191k|1042k|6883 | 0.000000e+00 | 2.000000e+00 | Inf
1724.66/1724.68 c 1725s|820000 | 1637 | 4988k| 6.1 | 58M| 353 | - |3663 | 30k| 0 | 0 | 193k|1055k|6944 | 0.000000e+00 | 2.000000e+00 | Inf
1748.86/1748.88 c 1749s|830000 | 1656 | 5057k| 6.1 | 60M| 353 | - |3663 | 33k| 0 | 0 | 196k|1068k|7009 | 0.000000e+00 | 2.000000e+00 | Inf
1773.86/1773.80 c 1774s|840000 | 1622 | 5128k| 6.1 | 59M| 353 | - |3663 | 30k| 0 | 0 | 198k|1082k|7070 | 0.000000e+00 | 2.000000e+00 | Inf
1790.05/1790.01 c
1790.05/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.05/1790.01 c Solving Time (sec) : 1789.98
1790.05/1790.01 c Solving Nodes : 847177
1790.05/1790.01 c Primal Bound : +2.00000000000000e+00 (137 solutions)
1790.05/1790.01 c Dual Bound : +0.00000000000000e+00
1790.05/1790.01 c Gap : infinite
1790.05/1790.04 s SATISFIABLE
1790.05/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.05/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.05/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.05/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.05/1790.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1790.05/1790.04 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1790.05/1790.04 v -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80
1790.05/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 -x54
1790.05/1790.04 v -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1790.05/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.05/1790.04 v -x1
1790.05/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.05/1790.04 c Solving Time : 1789.98
1790.05/1790.04 c Original Problem :
1790.05/1790.04 c Problem name : HOME/instance-2705593-1278572957.wbo
1790.05/1790.04 c Variables : 3807 (2019 binary, 0 integer, 1788 implicit integer, 0 continuous)
1790.05/1790.04 c Constraints : 4496 initial, 4496 maximal
1790.05/1790.04 c Presolved Problem :
1790.05/1790.04 c Problem name : t_HOME/instance-2705593-1278572957.wbo
1790.05/1790.04 c Variables : 3663 (1947 binary, 0 integer, 1716 implicit integer, 0 continuous)
1790.05/1790.04 c Constraints : 4306 initial, 44395 maximal
1790.05/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.05/1790.04 c trivial : 0.00 72 0 0 0 0 0 0 0
1790.05/1790.04 c dualfix : 0.00 72 0 0 0 0 0 0 0
1790.05/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1790.05/1790.04 c setppc : 0.00 0 0 0 0 0 20 0 0
1790.05/1790.04 c linear : 0.06 0 0 0 1806 0 98 81 0
1790.05/1790.04 c indicator : 0.00 0 0 0 0 0 72 0 0
1790.05/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.05/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.04 c root node : - 3396 - - 3396 - - - -
1790.05/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.05/1790.04 c integral : 0 0 0 511636 0 73 636 0 0 858202
1790.05/1790.04 c setppc : 52 6 4159808 76666 1 40364 1357324 0 0 0
1790.05/1790.04 c linear : 1716 6 4126777 81921 1 199831 16525386 200873 0 0
1790.05/1790.04 c indicator : 1716 0 3892341 81675 1 266 1277486 0 0 0
1790.05/1790.04 c logicor : 822+ 6 1532281 53966 1 143383 3812330 0 0 0
1790.05/1790.04 c bounddisjunction : 0+ 0 358550 0 0 34 3398 0 0 0
1790.05/1790.04 c countsols : 0 0 0 53966 1 0 0 0 0 0
1790.05/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.05/1790.04 c integral : 20.34 0.00 0.00 20.34 0.00
1790.05/1790.04 c setppc : 12.85 0.00 12.80 0.05 0.00
1790.05/1790.04 c linear : 128.83 0.00 126.29 2.54 0.00
1790.05/1790.04 c indicator : 18.48 0.02 11.58 6.88 0.00
1790.05/1790.04 c logicor : 351.59 0.00 351.20 0.39 0.00
1790.05/1790.04 c bounddisjunction : 1.62 0.00 1.62 0.00 0.00
1790.05/1790.04 c countsols : 0.01 0.00 0.00 0.01 0.00
1790.05/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.05/1790.04 c vbounds : 0.69 17944 1 2776
1790.05/1790.04 c rootredcost : 0.60 35 0 1698
1790.05/1790.04 c pseudoobj : 102.86 4170680 3500 1180355
1790.05/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.05/1790.04 c propagation : 18.27 387112 386793 2472075 27.0 10739 23.7 -
1790.05/1790.04 c infeasible LP : 9.19 35771 35771 292712 45.2 333 16.2 0
1790.05/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.05/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.05/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.05/1790.04 c applied globally : - - - 1091691 22.8 - - -
1790.05/1790.04 c applied locally : - - - 0 0.0 - - -
1790.05/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.05/1790.04 c cut pool : 0.00 5 - - 32 - (maximal pool size: 342)
1790.05/1790.04 c redcost : 31.91 513062 0 68709 0 0
1790.05/1790.04 c impliedbounds : 0.00 6 0 0 0 0
1790.05/1790.04 c intobj : 0.00 0 0 0 0 0
1790.05/1790.04 c cgmip : 0.00 0 0 0 0 0
1790.05/1790.04 c gomory : 0.12 6 0 0 1296 0
1790.05/1790.04 c strongcg : 0.11 6 0 0 1204 0
1790.05/1790.04 c cmir : 0.02 6 0 0 0 0
1790.05/1790.04 c flowcover : 0.06 6 0 0 0 0
1790.05/1790.04 c clique : 0.00 6 0 0 0 0
1790.05/1790.04 c zerohalf : 0.00 0 0 0 0 0
1790.05/1790.04 c mcf : 0.00 1 0 0 0 0
1790.05/1790.04 c rapidlearning : 0.07 1 0 0 0 0
1790.05/1790.04 c Pricers : Time Calls Vars
1790.05/1790.04 c problem variables: 0.00 0 0
1790.05/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.05/1790.04 c relpscost : 19.92 429693 73 636 0 0 858202
1790.05/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.05/1790.04 c inference : 13.45 53933 0 0 0 0 108311
1790.05/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1790.05/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1790.05/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1790.05/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1790.05/1790.04 c random : 0.00 0 0 0 0 0 0
1790.05/1790.04 c Primal Heuristics : Time Calls Found
1790.05/1790.04 c LP solutions : 0.09 - 34
1790.05/1790.04 c pseudo solutions : 0.00 - 0
1790.05/1790.04 c feaspump : 0.02 1 0
1790.05/1790.04 c oneopt : 0.38 33 0
1790.05/1790.04 c crossover : 1.20 34 0
1790.05/1790.04 c coefdiving : 0.49 406 0
1790.05/1790.04 c pscostdiving : 0.49 406 0
1790.05/1790.04 c fracdiving : 0.49 406 0
1790.05/1790.04 c veclendiving : 0.54 406 0
1790.05/1790.04 c linesearchdiving : 0.52 406 0
1790.05/1790.04 c guideddiving : 0.50 406 0
1790.05/1790.04 c rootsoldiving : 0.54 392 0
1790.05/1790.04 c objpscostdiving : 0.53 393 0
1790.05/1790.04 c trivial : 0.00 2 0
1790.05/1790.04 c simplerounding : 0.85 429893 0
1790.05/1790.04 c zirounding : 0.31 1000 0
1790.05/1790.04 c rounding : 0.90 9160 0
1790.05/1790.04 c shifting : 0.66 2918 0
1790.05/1790.04 c intshifting : 0.01 0 0
1790.05/1790.04 c twoopt : 0.00 0 0
1790.05/1790.04 c fixandinfer : 0.00 0 0
1790.05/1790.04 c intdiving : 0.00 0 0
1790.05/1790.04 c actconsdiving : 0.00 0 0
1790.05/1790.04 c octane : 0.00 0 0
1790.05/1790.04 c rens : 0.03 1 0
1790.05/1790.04 c rins : 0.00 0 0
1790.05/1790.04 c localbranching : 0.00 0 0
1790.05/1790.04 c mutation : 0.00 0 0
1790.05/1790.04 c dins : 0.00 0 0
1790.05/1790.04 c undercover : 0.00 0 0
1790.05/1790.04 c nlp : 0.15 0 0
1790.05/1790.04 c trysol : 0.31 597 103
1790.05/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1790.05/1790.04 c primal LP : 0.00 0 0 0.00 -
1790.05/1790.04 c dual LP : 566.13 494267 5170939 10.46 9133.84
1790.05/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1790.05/1790.04 c barrier LP : 0.00 0 0 0.00 -
1790.05/1790.04 c diving/probing LP: 0.25 140 1906 13.61 7528.18
1790.05/1790.04 c strong branching : 16.08 7070 188692 26.69 11736.37
1790.05/1790.04 c (at root node) : - 16 4214 263.38 -
1790.05/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1790.05/1790.04 c B&B Tree :
1790.05/1790.04 c number of runs : 1
1790.05/1790.04 c nodes : 847177
1790.05/1790.04 c nodes (total) : 847177
1790.05/1790.04 c nodes left : 1659
1790.05/1790.04 c max depth : 353
1790.05/1790.04 c max depth (total): 353
1790.05/1790.04 c backtracks : 80130 (9.5%)
1790.05/1790.04 c delayed cutoffs : 62131
1790.05/1790.04 c repropagations : 2003729 (4013079 domain reductions, 58882 cutoffs)
1790.05/1790.04 c avg switch length: 6.07
1790.05/1790.04 c switching time : 288.81
1790.05/1790.04 c Solution :
1790.05/1790.04 c Solutions found : 137 (35 improvements)
1790.05/1790.04 c First Solution : +8.51820000000000e+04 (in run 1, after 17 nodes, 1.60 seconds, depth 17, found by <trysol>)
1790.05/1790.04 c Primal Bound : +2.00000000000000e+00 (in run 1, after 191646 nodes, 316.52 seconds, depth 40, found by <relaxation>)
1790.05/1790.04 c Dual Bound : +0.00000000000000e+00
1790.05/1790.04 c Gap : infinite
1790.05/1790.04 c Root Dual Bound : +0.00000000000000e+00
1790.05/1790.04 c Root Iterations : 647
1790.15/1790.11 c Time complete: 1790.17.