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-2705504-1278572954.wbo>
0.00/0.03 c original problem has 3927 variables (2079 bin, 0 int, 1848 impl, 0 cont) and 4556 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.03/0.05 c presolving:
0.03/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.03/0.08 c (round 2) 0 del vars, 60 del conss, 1848 chg bounds, 46 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.03/0.09 c (round 3) 46 del vars, 191 del conss, 1880 chg bounds, 99 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.09/0.10 c (round 4) 156 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.09/0.11 c (round 5) 160 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 124 impls, 8 clqs
0.09/0.11 c (round 6) 160 del vars, 216 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 124 impls, 8 clqs
0.09/0.16 c (0.1s) probing: 101/1999 (5.1%) - 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 (7 rounds):
0.09/0.16 c 160 deleted vars, 216 deleted constraints, 1882 tightened bounds, 0 added holes, 101 changed sides, 0 changed coefficients
0.09/0.16 c 3645 implications, 8 cliques
0.09/0.16 c presolved problem has 3767 variables (1999 bin, 0 int, 1768 impl, 0 cont) and 4340 constraints
0.09/0.16 c 28 constraints of type <setppc>
0.09/0.16 c 1768 constraints of type <linear>
0.09/0.16 c 1768 constraints of type <indicator>
0.09/0.16 c 776 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 | 31 | - | 14M| 0 | 25 |3767 |4340 |3767 | 804 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.3s| 1 | 0 | 63 | - | 14M| 0 | 22 |3767 |4340 |3767 | 838 | 34 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 99 | - | 14M| 0 | 27 |3767 |4340 |3767 | 854 | 50 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.36 c 0.3s| 1 | 0 | 111 | - | 15M| 0 | 23 |3767 |4340 |3767 | 866 | 62 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 146 | - | 15M| 0 | 24 |3767 |4340 |3767 | 868 | 64 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.45 c 0.4s| 1 | 0 | 182 | - | 15M| 0 | 33 |3767 |4340 |3767 | 875 | 71 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.50 c 0.5s| 1 | 0 | 226 | - | 15M| 0 | 39 |3767 |4340 |3767 | 879 | 75 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.65 c 0.6s| 1 | 2 | 226 | - | 15M| 0 | 39 |3767 |4340 |3767 | 879 | 75 | 0 | 17 | 0.000000e+00 | -- | Inf
1.00/1.03 o 91089
1.00/1.03 c y 1.0s| 20 | 19 | 498 | 14.3 | 15M| 18 | - |3767 |4340 | 0 | 0 | 102 | 0 | 146 | 0.000000e+00 | 9.108900e+04 | Inf
14.99/15.00 c 15.0s| 10000 | 9939 | 7108 | 0.7 | 37M| 885 | 0 |3767 |4392 |3767 | 936 |1489 | 52 | 935 | 0.000000e+00 | 9.108900e+04 | Inf
25.89/25.98 c 26.0s| 20000 | 19883 | 8558 | 0.4 | 54M| 885 | 0 |3767 |4464 |3767 | 933 |1776 | 124 |1018 | 0.000000e+00 | 9.108900e+04 | Inf
37.09/37.17 c 37.1s| 30000 | 29842 | 10532 | 0.3 | 70M| 911 | 0 |3767 |4490 |3767 | 900 |2124 | 150 |1106 | 0.000000e+00 | 9.108900e+04 | Inf
48.30/48.33 c 48.3s| 40000 | 39798 | 11447 | 0.3 | 87M| 911 | 0 |3767 |4508 |3767 | 902 |2311 | 174 |1135 | 0.000000e+00 | 9.108900e+04 | Inf
59.90/59.98 c 59.9s| 50000 | 49798 | 12799 | 0.3 | 103M| 911 | 0 |3767 |4507 |3767 | 919 |2565 | 174 |1164 | 0.000000e+00 | 9.108900e+04 | Inf
70.80/70.83 c 70.8s| 60000 | 59794 | 13410 | 0.2 | 119M| 911 | 0 |3767 |4511 |3767 | 933 |2685 | 180 |1170 | 0.000000e+00 | 9.108900e+04 | Inf
74.09/74.16 o 1008
74.09/74.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.09/74.16 c *74.1s| 62923 | 62573 | 13812 | 0.2 | 124M| 911 | - |3767 |4510 |3767 | 912 |2761 | 180 |1175 | 0.000000e+00 | 1.008000e+03 | Inf
82.89/82.98 c 82.9s| 70000 | 69647 | 15714 | 0.2 | 135M| 911 | 0 |3767 |4508 |3767 | 909 |3145 | 181 |1205 | 0.000000e+00 | 1.008000e+03 | Inf
94.19/94.27 c 94.2s| 80000 | 79609 | 16863 | 0.2 | 152M| 911 | 0 |3767 |4531 |3767 | 931 |3362 | 205 |1208 | 0.000000e+00 | 1.008000e+03 | Inf
106.19/106.26 c 106s| 90000 | 89603 | 18963 | 0.2 | 168M| 911 | 0 |3767 |4539 |3767 | 923 |3794 | 215 |1245 | 0.000000e+00 | 1.008000e+03 | Inf
118.60/118.66 c 119s|100000 | 99599 | 21580 | 0.2 | 185M| 911 | 0 |3767 |4542 |3767 | 928 |4293 | 218 |1268 | 0.000000e+00 | 1.008000e+03 | Inf
131.79/131.80 c 132s|110000 |109532 | 24573 | 0.2 | 201M| 911 | 0 |3767 |4575 |3767 | 915 |5045 | 253 |1295 | 0.000000e+00 | 1.008000e+03 | Inf
143.39/143.41 o 992
143.39/143.41 c * 143s|118392 |117804 | 29474 | 0.2 | 216M| 911 | - |3767 |4661 |3767 | 920 |6012 | 364 |1360 | 0.000000e+00 | 9.920000e+02 | Inf
145.69/145.71 c 146s|120000 |119382 | 30087 | 0.2 | 219M| 911 | 0 |3767 |4677 |3767 | 890 |6153 | 388 |1366 | 0.000000e+00 | 9.920000e+02 | Inf
157.90/157.96 c 158s|130000 |129381 | 31516 | 0.2 | 235M| 911 | 0 |3767 |4682 |3767 | 912 |6470 | 398 |1380 | 0.000000e+00 | 9.920000e+02 | Inf
169.80/169.82 c 170s|140000 |139383 | 31973 | 0.2 | 251M| 911 | 0 |3767 |4692 |3767 | 915 |6565 | 408 |1382 | 0.000000e+00 | 9.920000e+02 | Inf
182.39/182.46 c 182s|150000 |149388 | 35206 | 0.2 | 268M| 911 | 0 |3767 |4704 |3767 | 909 |7166 | 433 |1414 | 0.000000e+00 | 9.920000e+02 | Inf
183.19/183.23 o 980
183.19/183.23 c * 183s|150492 |149802 | 35863 | 0.2 | 269M| 911 | - |3767 |4714 |3767 | 918 |7312 | 448 |1429 | 0.000000e+00 | 9.800000e+02 | Inf
183.29/183.32 o 969
183.29/183.32 c * 183s|150544 |149783 | 35939 | 0.2 | 269M| 911 | - |3767 |4713 |3767 | 917 |7326 | 448 |1429 | 0.000000e+00 | 9.690000e+02 | Inf
183.39/183.42 o 967
183.39/183.42 c * 183s|150597 |149809 | 36081 | 0.2 | 269M| 911 | - |3767 |4715 |3767 | 910 |7346 | 450 |1432 | 0.000000e+00 | 9.670000e+02 | Inf
183.49/183.55 o 951
183.49/183.55 c * 184s|150683 |149770 | 36196 | 0.2 | 269M| 911 | - |3767 |4734 |3767 | 907 |7374 | 469 |1432 | 0.000000e+00 | 9.510000e+02 | Inf
184.10/184.18 o 941
184.10/184.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.10/184.18 c * 184s|151112 |150120 | 36481 | 0.2 | 269M| 911 | - |3767 |4739 |3767 | 895 |7421 | 474 |1433 | 0.000000e+00 | 9.410000e+02 | Inf
185.40/185.46 o 906
185.40/185.46 c * 185s|151993 |150619 | 37014 | 0.2 | 270M| 911 | - |3767 |4760 |3767 | 924 |7531 | 495 |1439 | 0.000000e+00 | 9.060000e+02 | Inf
185.60/185.68 o 857
185.60/185.68 c * 186s|152131 |149962 | 37137 | 0.2 | 269M| 911 | - |3767 |4760 |3767 | 903 |7570 | 495 |1439 | 0.000000e+00 | 8.570000e+02 | Inf
185.90/185.93 o 792
185.90/185.93 c * 186s|152297 |148804 | 37213 | 0.2 | 267M| 911 | - |3767 |4760 |3767 | 895 |7597 | 495 |1439 | 0.000000e+00 | 7.920000e+02 | Inf
187.79/187.85 o 741
187.79/187.85 c * 188s|153453 |148189 | 38478 | 0.2 | 267M| 911 | - |3767 |4888 |3767 | 908 |7931 | 634 |1448 | 0.000000e+00 | 7.410000e+02 | Inf
188.00/188.07 o 726
188.00/188.07 c * 188s|153593 |147703 | 38644 | 0.3 | 267M| 911 | - |3767 |4905 |3767 | 899 |7972 | 653 |1448 | 0.000000e+00 | 7.260000e+02 | Inf
188.29/188.33 o 701
188.29/188.33 c * 188s|153761 |146787 | 38712 | 0.3 | 265M| 911 | - |3767 |4913 |3767 | 898 |7993 | 661 |1448 | 0.000000e+00 | 7.010000e+02 | Inf
188.29/188.34 o 677
188.29/188.34 c * 188s|153763 |145627 | 38719 | 0.3 | 263M| 911 | - |3767 |4913 |3767 | 898 |7993 | 661 |1448 | 0.000000e+00 | 6.770000e+02 | Inf
188.29/188.35 o 645
188.29/188.35 c * 188s|153764 |143711 | 38719 | 0.3 | 260M| 911 | - |3767 |4913 |3767 | 898 |7993 | 661 |1448 | 0.000000e+00 | 6.450000e+02 | Inf
188.39/188.47 o 638
188.39/188.47 c * 188s|153834 |143237 | 38754 | 0.3 | 260M| 911 | - |3767 |4912 |3767 | 901 |8004 | 661 |1448 | 0.000000e+00 | 6.380000e+02 | Inf
188.39/188.49 o 603
188.39/188.49 c * 188s|153836 |140406 | 38759 | 0.3 | 255M| 911 | - |3767 |4912 |3767 | 901 |8004 | 661 |1448 | 0.000000e+00 | 6.030000e+02 | Inf
188.49/188.50 o 575
188.49/188.50 c * 188s|153837 |137654 | 38759 | 0.3 | 251M| 911 | - |3767 |4912 |3767 | 901 |8004 | 661 |1448 | 0.000000e+00 | 5.750000e+02 | Inf
188.59/188.65 o 574
188.59/188.65 c * 189s|153929 |137639 | 38833 | 0.3 | 251M| 911 | - |3767 |4935 |3767 | 895 |8027 | 685 |1448 | 0.000000e+00 | 5.740000e+02 | Inf
188.59/188.69 o 562
188.59/188.69 c * 189s|153941 |136390 | 38851 | 0.3 | 249M| 911 | - |3767 |4935 |3767 | 895 |8027 | 685 |1448 | 0.000000e+00 | 5.620000e+02 | Inf
188.69/188.70 o 534
188.69/188.70 c * 189s|153942 |132835 | 38851 | 0.3 | 244M| 911 | - |3767 |4935 |3767 | 895 |8027 | 685 |1448 | 0.000000e+00 | 5.340000e+02 | Inf
188.69/188.77 o 513
188.69/188.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.69/188.77 c * 189s|153978 |129867 | 38880 | 0.3 | 239M| 911 | - |3767 |4934 |3767 | 891 |8029 | 685 |1448 | 0.000000e+00 | 5.130000e+02 | Inf
188.79/188.87 o 501
188.79/188.87 c * 189s|154044 |128190 | 38891 | 0.3 | 237M| 911 | - |3767 |4939 |3767 | 890 |8030 | 690 |1448 | 0.000000e+00 | 5.010000e+02 | Inf
188.79/188.88 o 498
188.79/188.88 c * 189s|154045 |127760 | 38895 | 0.3 | 236M| 911 | - |3767 |4939 |3767 | 890 |8030 | 690 |1448 | 0.000000e+00 | 4.980000e+02 | Inf
188.99/189.00 o 494
188.99/189.00 c * 189s|154113 |127274 | 38922 | 0.3 | 236M| 911 | - |3767 |4958 |3767 | 890 |8034 | 710 |1448 | 0.000000e+00 | 4.940000e+02 | Inf
189.11/189.10 o 452
189.11/189.10 c * 189s|154163 |120269 | 38964 | 0.3 | 224M| 911 | - |3767 |4974 |3767 | 895 |8043 | 727 |1448 | 0.000000e+00 | 4.520000e+02 | Inf
192.60/192.64 o 443
192.60/192.64 c * 193s|156088 |120020 | 43568 | 0.3 | 226M| 911 | - |3767 |5656 |3767 | 926 |8980 |1539 |1499 | 0.000000e+00 | 4.430000e+02 | Inf
193.20/193.24 o 430
193.20/193.24 c * 193s|156446 |117689 | 44219 | 0.3 | 222M| 911 | - |3767 |5814 |3767 | 930 |9098 |1713 |1501 | 0.000000e+00 | 4.300000e+02 | Inf
197.20/197.27 o 420
197.20/197.27 c * 197s|158481 |117159 | 49861 | 0.3 | 225M| 911 | - |3767 |6827 |3767 | 916 | 10k|2910 |1546 | 0.000000e+00 | 4.200000e+02 | Inf
197.50/197.57 o 404
197.50/197.57 c * 198s|158624 |113631 | 50388 | 0.3 | 219M| 911 | - |3767 |6868 |3767 | 928 | 10k|2960 |1549 | 0.000000e+00 | 4.040000e+02 | Inf
199.40/199.47 o 233
199.40/199.47 c * 199s|159501 | 56235 | 52508 | 0.3 | 126M| 911 | - |3767 |7376 |3767 | 920 | 10k|3581 |1561 | 0.000000e+00 | 2.330000e+02 | Inf
199.69/199.74 o 179
199.69/199.74 c * 200s|159671 | 34926 | 52591 | 0.3 | 91M| 911 | - |3767 |7395 |3767 | 924 | 10k|3604 |1561 | 0.000000e+00 | 1.790000e+02 | Inf
200.40/200.49 o 175
200.40/200.49 c * 200s|159975 | 33161 | 53893 | 0.3 | 88M| 911 | - |3767 |7636 |3767 | 927 | 10k|3888 |1571 | 0.000000e+00 | 1.750000e+02 | Inf
200.50/200.57 c 201s|160000 | 33171 | 54097 | 0.3 | 88M| 911 | 0 |3767 |7642 |3767 | 915 | 10k|3903 |1571 | 0.000000e+00 | 1.750000e+02 | Inf
204.19/204.23 o 170
204.19/204.23 c * 204s|161633 | 32138 | 58702 | 0.4 | 89M| 911 | - |3767 |8317 |3767 | 917 | 11k|5048 |1591 | 0.000000e+00 | 1.700000e+02 | Inf
204.50/204.51 o 156
204.50/204.51 c * 204s|161721 | 27770 | 59045 | 0.4 | 81M| 911 | - |3767 |8336 |3767 | 929 | 11k|5091 |1593 | 0.000000e+00 | 1.560000e+02 | Inf
204.79/204.89 o 153
204.79/204.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.79/204.89 c * 205s|161877 | 26984 | 59633 | 0.4 | 80M| 911 | - |3767 |8423 |3767 | 909 | 11k|5240 |1598 | 0.000000e+00 | 1.530000e+02 | Inf
205.50/205.60 o 152
205.50/205.60 c * 206s|162120 | 26765 | 60868 | 0.4 | 81M| 911 | - |3767 |8536 |3767 | 919 | 12k|5481 |1603 | 0.000000e+00 | 1.520000e+02 | Inf
205.80/205.88 o 150
205.80/205.88 c * 206s|162191 | 26345 | 61437 | 0.4 | 80M| 911 | - |3767 |8506 |3767 | 911 | 12k|5535 |1604 | 0.000000e+00 | 1.500000e+02 | Inf
205.80/205.89 o 144
205.80/205.89 c * 206s|162192 | 24814 | 61437 | 0.4 | 78M| 911 | - |3767 |8506 |3767 | 911 | 12k|5535 |1604 | 0.000000e+00 | 1.440000e+02 | Inf
206.30/206.39 o 137
206.30/206.39 c * 206s|162393 | 23106 | 62277 | 0.4 | 74M| 911 | - |3767 |8523 |3767 | 906 | 12k|5694 |1606 | 0.000000e+00 | 1.370000e+02 | Inf
213.31/213.33 o 120
213.31/213.33 c * 213s|165124 | 19390 | 71897 | 0.4 | 72M| 911 | - |3767 |7496 |3767 | 927 | 13k|7747 |1622 | 0.000000e+00 | 1.200000e+02 | Inf
222.39/222.42 o 116
222.39/222.42 c * 222s|168683 | 18888 | 83801 | 0.5 | 77M| 911 | - |3767 |6992 |3767 | 913 | 14k| 10k|1630 | 0.000000e+00 | 1.160000e+02 | Inf
223.10/223.13 o 97
223.10/223.13 c * 223s|168960 | 15277 | 84725 | 0.5 | 70M| 911 | - |3767 |6854 |3767 | 922 | 14k| 10k|1630 | 0.000000e+00 | 9.700000e+01 | Inf
223.70/223.71 o 93
223.70/223.71 c * 224s|169191 | 13293 | 85160 | 0.5 | 64M| 911 | - |3767 |6590 |3767 | 924 | 14k| 10k|1630 | 0.000000e+00 | 9.300000e+01 | Inf
225.80/225.80 c 226s|170000 | 13438 | 90195 | 0.5 | 67M| 911 | - |3767 |6339 | 0 | 0 | 15k| 11k|1635 | 0.000000e+00 | 9.300000e+01 | Inf
227.09/227.17 o 90
227.09/227.17 c * 227s|170484 | 12974 | 93367 | 0.5 | 68M| 911 | - |3767 |6365 |3767 | 911 | 15k| 12k|1636 | 0.000000e+00 | 9.000000e+01 | Inf
229.20/229.23 o 88
229.20/229.23 c * 229s|171267 | 12859 | 96528 | 0.6 | 70M| 911 | - |3767 |6233 |3767 | 918 | 16k| 12k|1636 | 0.000000e+00 | 8.800000e+01 | Inf
230.60/230.62 o 80
230.60/230.62 c * 231s|171791 | 11217 | 98709 | 0.6 | 66M| 911 | - |3767 |5961 |3767 | 929 | 16k| 13k|1642 | 0.000000e+00 | 8.000000e+01 | Inf
238.61/238.63 o 78
238.61/238.63 c * 239s|175245 | 11248 |112697 | 0.6 | 71M| 911 | - |3767 |6412 |3767 | 932 | 18k| 16k|1675 | 0.000000e+00 | 7.800000e+01 | Inf
242.20/242.22 o 74
242.20/242.22 c * 242s|176953 | 10818 |118340 | 0.7 | 71M| 911 | - |3767 |6142 |3767 | 922 | 19k| 18k|1718 | 0.000000e+00 | 7.400000e+01 | Inf
249.00/249.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.00/249.02 c 249s|180000 | 10952 |134641 | 0.7 | 75M| 911 | - |3767 |6620 | 0 | 0 | 20k| 21k|1776 | 0.000000e+00 | 7.400000e+01 | Inf
251.30/251.30 o 70
251.30/251.30 c * 251s|181051 | 10476 |139501 | 0.8 | 74M| 911 | - |3767 |6694 |3767 | 935 | 20k| 22k|1808 | 0.000000e+00 | 7.000000e+01 | Inf
254.90/254.97 o 55
254.90/254.97 c * 255s|182806 | 8679 |147310 | 0.8 | 69M| 911 | - |3767 |6092 |3767 | 919 | 21k| 24k|1851 | 0.000000e+00 | 5.500000e+01 | Inf
255.70/255.76 o 52
255.70/255.76 c * 256s|183125 | 8400 |149459 | 0.8 | 68M| 911 | - |3767 |5953 |3767 | 929 | 21k| 25k|1879 | 0.000000e+00 | 5.200000e+01 | Inf
257.90/257.97 o 50
257.90/257.97 c * 258s|184102 | 8214 |154495 | 0.8 | 68M| 911 | - |3767 |5370 |3767 | 916 | 21k| 26k|1924 | 0.000000e+00 | 5.000000e+01 | Inf
258.10/258.15 o 42
258.10/258.15 c * 258s|184170 | 7053 |154634 | 0.8 | 61M| 911 | - |3767 |5340 |3767 | 931 | 21k| 26k|1927 | 0.000000e+00 | 4.200000e+01 | Inf
258.30/258.35 o 36
258.30/258.35 c * 258s|184274 | 6584 |155003 | 0.8 | 59M| 911 | - |3767 |5145 |3767 | 908 | 21k| 26k|1928 | 0.000000e+00 | 3.600000e+01 | Inf
258.70/258.72 o 26
258.70/258.72 c * 259s|184409 | 5852 |155820 | 0.8 | 54M| 911 | - |3767 |4641 |3767 | 920 | 21k| 26k|1938 | 0.000000e+00 | 2.600000e+01 | Inf
268.09/268.13 c 268s|190000 | 5545 |185905 | 1.0 | 55M| 911 | - |3767 |6133 | 0 | 0 | 23k| 34k|2089 | 0.000000e+00 | 2.600000e+01 | Inf
284.60/284.60 c 285s|200000 | 5652 |231359 | 1.2 | 58M| 911 | - |3767 |8818 | 0 | 0 | 25k| 47k|2302 | 0.000000e+00 | 2.600000e+01 | Inf
302.20/302.21 c 302s|210000 | 5741 |282621 | 1.3 | 61M| 911 | 1 |3767 | 11k|3767 | 932 | 28k| 60k|2484 | 0.000000e+00 | 2.600000e+01 | Inf
319.50/319.50 c 319s|220000 | 5627 |327253 | 1.5 | 62M| 911 | - |3767 |9466 | 0 | 0 | 30k| 73k|2768 | 0.000000e+00 | 2.600000e+01 | Inf
336.61/336.65 c 337s|230000 | 5711 |377253 | 1.6 | 65M| 911 | 17 |3767 | 10k|3767 | 911 | 32k| 86k|2951 | 0.000000e+00 | 2.600000e+01 | Inf
353.80/353.86 c 354s|240000 | 5799 |419022 | 1.7 | 67M| 911 | 16 |3767 | 12k|3767 | 908 | 34k| 99k|3091 | 0.000000e+00 | 2.600000e+01 | Inf
371.10/371.15 c 371s|250000 | 5725 |460185 | 1.8 | 68M| 911 | - |3767 |9870 | 0 | 0 | 37k| 113k|3259 | 0.000000e+00 | 2.600000e+01 | Inf
389.01/389.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.01/389.01 c 389s|260000 | 5688 |506669 | 1.9 | 70M| 911 | - |3767 | 12k| 0 | 0 | 39k| 126k|3413 | 0.000000e+00 | 2.600000e+01 | Inf
406.40/406.44 c 406s|270000 | 5549 |550028 | 2.0 | 71M| 911 | - |3767 | 11k| 0 | 0 | 41k| 139k|3538 | 0.000000e+00 | 2.600000e+01 | Inf
423.80/423.88 c 424s|280000 | 5445 |595675 | 2.1 | 71M| 911 | - |3767 | 11k| 0 | 0 | 43k| 153k|3694 | 0.000000e+00 | 2.600000e+01 | Inf
441.60/441.68 c 442s|290000 | 5480 |645078 | 2.2 | 73M| 911 | 1 |3767 | 15k|3767 | 916 | 45k| 166k|3810 | 0.000000e+00 | 2.600000e+01 | Inf
456.90/456.96 o 21
456.90/456.96 c * 457s|298161 | 5125 |682693 | 2.3 | 70M| 911 | - |3767 | 14k|3767 | 911 | 47k| 177k|3936 | 0.000000e+00 | 2.100000e+01 | Inf
460.21/460.29 c 460s|300000 | 5085 |692273 | 2.3 | 68M| 911 | - |3767 | 10k| 0 | 0 | 47k| 179k|3957 | 0.000000e+00 | 2.100000e+01 | Inf
476.71/476.76 c 477s|310000 | 5221 |731636 | 2.4 | 71M| 911 | - |3767 | 12k| 0 | 0 | 49k| 192k|4073 | 0.000000e+00 | 2.100000e+01 | Inf
494.51/494.57 c 495s|320000 | 5061 |774091 | 2.4 | 70M| 911 | - |3767 | 10k|3767 | 897 | 51k| 205k|4186 | 0.000000e+00 | 2.100000e+01 | Inf
512.40/512.44 c 512s|330000 | 5126 |818674 | 2.5 | 72M| 911 | - |3767 | 14k| 0 | 0 | 54k| 218k|4268 | 0.000000e+00 | 2.100000e+01 | Inf
530.60/530.60 c 531s|340000 | 5243 |860363 | 2.5 | 75M| 911 | 13 |3767 | 14k|3767 | 900 | 56k| 230k|4381 | 0.000000e+00 | 2.100000e+01 | Inf
548.50/548.53 c 549s|350000 | 5283 |901287 | 2.6 | 76M| 911 | 1 |3767 | 15k|3767 | 922 | 58k| 243k|4477 | 0.000000e+00 | 2.100000e+01 | Inf
567.11/567.15 c 567s|360000 | 5277 |942991 | 2.6 | 77M| 911 | - |3767 | 16k| 0 | 0 | 60k| 255k|4564 | 0.000000e+00 | 2.100000e+01 | Inf
586.11/586.11 c 586s|370000 | 5402 |983495 | 2.7 | 80M| 911 | 27 |3767 | 19k|3767 | 903 | 63k| 268k|4629 | 0.000000e+00 | 2.100000e+01 | Inf
605.21/605.27 c 605s|380000 | 5522 | 1020k| 2.7 | 84M| 911 | - |3767 | 22k| 0 | 0 | 65k| 281k|4704 | 0.000000e+00 | 2.100000e+01 | Inf
626.21/626.28 c 626s|390000 | 5673 | 1060k| 2.7 | 86M| 911 | 6 |3767 | 19k|3767 | 886 | 68k| 295k|4836 | 0.000000e+00 | 2.100000e+01 | Inf
646.51/646.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
646.51/646.59 c 647s|400000 | 5743 | 1108k| 2.8 | 87M| 911 | - |3767 | 15k| 0 | 0 | 70k| 308k|4915 | 0.000000e+00 | 2.100000e+01 | Inf
665.61/665.69 c 666s|410000 | 5830 | 1147k| 2.8 | 90M| 911 | - |3767 | 17k| 0 | 0 | 72k| 322k|4988 | 0.000000e+00 | 2.100000e+01 | Inf
684.32/684.34 c 684s|420000 | 6003 | 1197k| 2.9 | 92M| 911 | 12 |3767 | 13k|3767 | 902 | 75k| 335k|5095 | 0.000000e+00 | 2.100000e+01 | Inf
702.51/702.57 c 703s|430000 | 6100 | 1252k| 2.9 | 95M| 911 | 1 |3767 | 14k|3767 | 907 | 77k| 348k|5178 | 0.000000e+00 | 2.100000e+01 | Inf
719.81/719.83 c 720s|440000 | 6128 | 1299k| 3.0 | 96M| 911 | - |3767 | 13k| 0 | 0 | 79k| 361k|5258 | 0.000000e+00 | 2.100000e+01 | Inf
737.11/737.20 c 737s|450000 | 6079 | 1349k| 3.0 | 98M| 911 | - |3767 | 12k| 0 | 0 | 82k| 375k|5354 | 0.000000e+00 | 2.100000e+01 | Inf
754.82/754.82 c 755s|460000 | 6019 | 1399k| 3.0 | 99M| 911 | 12 |3767 | 12k|3767 | 911 | 84k| 388k|5461 | 0.000000e+00 | 2.100000e+01 | Inf
770.11/770.17 o 14
770.11/770.17 c * 770s|468850 | 5254 | 1439k| 3.1 | 89M| 911 | - |3767 | 14k|3767 | 926 | 86k| 399k|5530 | 0.000000e+00 | 1.400000e+01 | Inf
772.12/772.16 c 772s|470000 | 5248 | 1444k| 3.1 | 88M| 911 | 24 |3767 | 13k|3767 | 929 | 86k| 401k|5544 | 0.000000e+00 | 1.400000e+01 | Inf
790.02/790.01 c 790s|480000 | 5253 | 1493k| 3.1 | 89M| 911 | 17 |3767 | 15k|3767 | 908 | 90k| 414k|5633 | 0.000000e+00 | 1.400000e+01 | Inf
807.52/807.53 c 808s|490000 | 5139 | 1550k| 3.2 | 88M| 911 | - |3767 | 11k| 0 | 0 | 92k| 428k|5739 | 0.000000e+00 | 1.400000e+01 | Inf
811.62/811.65 o 13
811.62/811.65 c * 812s|492444 | 5017 | 1565k| 3.2 | 87M| 911 | - |3767 | 11k|3767 | 908 | 93k| 431k|5744 | 0.000000e+00 | 1.300000e+01 | Inf
825.31/825.34 c 825s|500000 | 5011 | 1615k| 3.2 | 87M| 911 | 13 |3767 | 12k|3767 | 903 | 96k| 441k|5820 | 0.000000e+00 | 1.300000e+01 | Inf
843.42/843.46 c 843s|510000 | 5012 | 1672k| 3.3 | 88M| 911 | - |3767 | 14k| 0 | 0 | 100k| 453k|5937 | 0.000000e+00 | 1.300000e+01 | Inf
862.52/862.50 c 862s|520000 | 5072 | 1729k| 3.3 | 89M| 911 | - |3767 | 16k| 0 | 0 | 105k| 466k|6026 | 0.000000e+00 | 1.300000e+01 | Inf
881.62/881.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.62/881.65 c 882s|530000 | 5084 | 1783k| 3.4 | 91M| 911 | - |3767 | 18k|3767 | 916 | 110k| 479k|6103 | 0.000000e+00 | 1.300000e+01 | Inf
900.72/900.79 c 901s|540000 | 5022 | 1836k| 3.4 | 90M| 911 | 13 |3767 | 15k|3767 | 912 | 114k| 492k|6218 | 0.000000e+00 | 1.300000e+01 | Inf
919.32/919.37 c 919s|550000 | 5086 | 1886k| 3.4 | 91M| 911 | - |3767 | 15k| 0 | 0 | 117k| 505k|6274 | 0.000000e+00 | 1.300000e+01 | Inf
938.12/938.14 c 938s|560000 | 5143 | 1934k| 3.5 | 92M| 911 | 1 |3767 | 18k|3767 | 919 | 121k| 518k|6340 | 0.000000e+00 | 1.300000e+01 | Inf
958.12/958.12 c 958s|570000 | 5188 | 1988k| 3.5 | 93M| 911 | 5 |3767 | 19k|3767 | 920 | 125k| 531k|6428 | 0.000000e+00 | 1.300000e+01 | Inf
977.42/977.45 c 977s|580000 | 5318 | 2049k| 3.5 | 94M| 911 | 30 |3767 | 15k|3767 | 922 | 129k| 544k|6527 | 0.000000e+00 | 1.300000e+01 | Inf
996.22/996.26 c 996s|590000 | 5363 | 2110k| 3.6 | 95M| 911 | 13 |3767 | 16k|3767 | 925 | 132k| 557k|6622 | 0.000000e+00 | 1.300000e+01 | Inf
1015.62/1015.60 c 1016s|600000 | 5386 | 2169k| 3.6 | 96M| 911 | - |3767 | 18k| 0 | 0 | 136k| 571k|6707 | 0.000000e+00 | 1.300000e+01 | Inf
1034.12/1034.11 c 1034s|610000 | 5396 | 2225k| 3.6 | 97M| 911 | 19 |3767 | 18k|3767 | 919 | 139k| 585k|6773 | 0.000000e+00 | 1.300000e+01 | Inf
1052.53/1052.59 c 1053s|620000 | 5458 | 2281k| 3.7 | 98M| 911 | 18 |3767 | 19k|3767 | 923 | 141k| 598k|6834 | 0.000000e+00 | 1.300000e+01 | Inf
1071.82/1071.88 c 1072s|630000 | 5436 | 2339k| 3.7 | 98M| 911 | - |3767 | 19k| 0 | 0 | 145k| 611k|6915 | 0.000000e+00 | 1.300000e+01 | Inf
1091.62/1091.65 c 1092s|640000 | 5426 | 2399k| 3.7 | 99M| 911 | 9 |3767 | 19k|3767 | 922 | 148k| 624k|6977 | 0.000000e+00 | 1.300000e+01 | Inf
1112.13/1112.11 c 1112s|650000 | 5440 | 2457k| 3.8 | 99M| 911 | 1 |3767 | 19k|3767 | 915 | 152k| 638k|7050 | 0.000000e+00 | 1.300000e+01 | Inf
1131.93/1131.99 c 1132s|660000 | 5452 | 2506k| 3.8 | 101M| 911 | - |3767 | 23k| 0 | 0 | 155k| 651k|7104 | 0.000000e+00 | 1.300000e+01 | Inf
1152.84/1152.88 c 1153s|670000 | 5401 | 2559k| 3.8 | 100M| 911 | 14 |3767 | 20k|3767 | 915 | 158k| 665k|7176 | 0.000000e+00 | 1.300000e+01 | Inf
1172.03/1172.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.03/1172.03 c 1172s|680000 | 5359 | 2613k| 3.8 | 100M| 911 | 1 |3767 | 20k|3767 | 939 | 161k| 679k|7241 | 0.000000e+00 | 1.300000e+01 | Inf
1191.24/1191.28 c 1191s|690000 | 5355 | 2663k| 3.9 | 101M| 911 | - |3767 | 22k| 0 | 0 | 163k| 692k|7294 | 0.000000e+00 | 1.300000e+01 | Inf
1212.93/1212.90 c 1213s|700000 | 5407 | 2726k| 3.9 | 103M| 911 | 1 |3767 | 26k|3767 | 931 | 167k| 706k|7364 | 0.000000e+00 | 1.300000e+01 | Inf
1235.53/1235.57 c 1236s|710000 | 5456 | 2786k| 3.9 | 103M| 911 | 26 |3767 | 25k|3767 | 916 | 171k| 719k|7458 | 0.000000e+00 | 1.300000e+01 | Inf
1260.23/1260.20 c 1260s|720000 | 5527 | 2856k| 4.0 | 105M| 911 | - |3767 | 27k| 0 | 0 | 176k| 733k|7529 | 0.000000e+00 | 1.300000e+01 | Inf
1283.63/1283.62 c 1284s|730000 | 5510 | 2920k| 4.0 | 105M| 911 | - |3767 | 26k| 0 | 0 | 180k| 746k|7593 | 0.000000e+00 | 1.300000e+01 | Inf
1306.13/1306.19 c 1306s|740000 | 5480 | 2975k| 4.0 | 106M| 911 | - |3767 | 27k| 0 | 0 | 183k| 760k|7662 | 0.000000e+00 | 1.300000e+01 | Inf
1315.64/1315.61 o 12
1315.64/1315.61 c *1316s|744251 | 5378 | 2995k| 4.0 | 104M| 911 | - |3767 | 27k|3767 | 924 | 183k| 766k|7680 | 0.000000e+00 | 1.200000e+01 | Inf
1327.64/1327.62 c 1328s|750000 | 5385 | 3026k| 4.0 | 105M| 911 | - |3767 | 28k| 0 | 0 | 186k| 774k|7743 | 0.000000e+00 | 1.200000e+01 | Inf
1349.13/1349.14 c 1349s|760000 | 5423 | 3070k| 4.0 | 106M| 911 | - |3767 | 31k| 0 | 0 | 188k| 788k|7773 | 0.000000e+00 | 1.200000e+01 | Inf
1371.64/1371.61 c 1372s|770000 | 5400 | 3123k| 4.1 | 104M| 911 | - |3767 | 25k| 0 | 0 | 191k| 802k|7814 | 0.000000e+00 | 1.200000e+01 | Inf
1393.93/1393.99 c 1394s|780000 | 5365 | 3181k| 4.1 | 102M| 911 | - |3767 | 18k| 0 | 0 | 194k| 816k|7943 | 0.000000e+00 | 1.200000e+01 | Inf
1412.13/1412.19 c 1412s|790000 | 5399 | 3232k| 4.1 | 103M| 911 | 12 |3767 | 20k|3767 | 920 | 197k| 828k|8000 | 0.000000e+00 | 1.200000e+01 | Inf
1432.53/1432.53 c 1433s|800000 | 5375 | 3288k| 4.1 | 102M| 911 | 1 |3767 | 18k|3767 | 906 | 200k| 842k|8169 | 0.000000e+00 | 1.200000e+01 | Inf
1452.13/1452.12 c 1452s|810000 | 5334 | 3345k| 4.1 | 102M| 911 | 1 |3767 | 17k|3767 | 908 | 202k| 855k|8227 | 0.000000e+00 | 1.200000e+01 | Inf
1472.74/1472.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.74/1472.77 c 1473s|820000 | 5352 | 3410k| 4.2 | 103M| 911 | 23 |3767 | 19k|3767 | 912 | 205k| 868k|8284 | 0.000000e+00 | 1.200000e+01 | Inf
1493.64/1493.60 c 1494s|830000 | 5359 | 3472k| 4.2 | 104M| 911 | 23 |3767 | 22k|3767 | 912 | 208k| 881k|8328 | 0.000000e+00 | 1.200000e+01 | Inf
1515.54/1515.59 c 1516s|840000 | 5349 | 3534k| 4.2 | 104M| 911 | - |3767 | 23k| 0 | 0 | 212k| 894k|8403 | 0.000000e+00 | 1.200000e+01 | Inf
1530.84/1530.85 o 5
1530.84/1530.85 c *1531s|847740 | 3716 | 3573k| 4.2 | 76M| 911 | - |3767 | 23k|3767 | 910 | 214k| 904k|8434 | 0.000000e+00 | 5.000000e+00 | Inf
1536.03/1536.00 c 1536s|850000 | 3717 | 3590k| 4.2 | 76M| 911 | 14 |3767 | 23k|3767 | 916 | 215k| 907k|8463 | 0.000000e+00 | 5.000000e+00 | Inf
1557.74/1557.70 c 1558s|860000 | 3769 | 3673k| 4.3 | 76M| 911 | 21 |3767 | 22k|3767 | 912 | 218k| 920k|8522 | 0.000000e+00 | 5.000000e+00 | Inf
1578.44/1578.48 c 1578s|870000 | 3726 | 3747k| 4.3 | 74M| 911 | 20 |3767 | 18k|3767 | 891 | 220k| 934k|8670 | 0.000000e+00 | 5.000000e+00 | Inf
1598.54/1598.59 c 1599s|880000 | 3744 | 3809k| 4.3 | 76M| 911 | - |3767 | 21k| 0 | 0 | 223k| 947k|8751 | 0.000000e+00 | 5.000000e+00 | Inf
1617.54/1617.52 c 1617s|890000 | 3852 | 3869k| 4.3 | 76M| 911 | - |3767 | 20k| 0 | 0 | 225k| 960k|8821 | 0.000000e+00 | 5.000000e+00 | Inf
1637.45/1637.49 c 1637s|900000 | 3912 | 3939k| 4.4 | 78M| 911 | - |3767 | 23k| 0 | 0 | 227k| 973k|8879 | 0.000000e+00 | 5.000000e+00 | Inf
1658.34/1658.36 c 1658s|910000 | 3942 | 4005k| 4.4 | 80M| 911 | 20 |3767 | 27k|3767 | 907 | 230k| 986k|8935 | 0.000000e+00 | 5.000000e+00 | Inf
1680.45/1680.49 c 1680s|920000 | 3951 | 4079k| 4.4 | 80M| 911 | 19 |3767 | 27k|3767 | 927 | 232k|1000k|9003 | 0.000000e+00 | 5.000000e+00 | Inf
1701.55/1701.53 c 1702s|930000 | 4052 | 4147k| 4.5 | 80M| 911 | - |3767 | 24k| 0 | 0 | 235k|1013k|9067 | 0.000000e+00 | 5.000000e+00 | Inf
1724.45/1724.42 c 1724s|940000 | 4204 | 4219k| 4.5 | 83M| 911 | 16 |3767 | 27k|3767 | 903 | 237k|1026k|9122 | 0.000000e+00 | 5.000000e+00 | Inf
1746.45/1746.43 c 1746s|950000 | 4274 | 4285k| 4.5 | 84M| 911 | 1 |3767 | 29k|3767 | 906 | 240k|1040k|9174 | 0.000000e+00 | 5.000000e+00 | Inf
1769.24/1769.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.24/1769.27 c 1769s|960000 | 4266 | 4353k| 4.5 | 84M| 911 | - |3767 | 27k| 0 | 0 | 242k|1054k|9244 | 0.000000e+00 | 5.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 : 968679
1790.05/1790.01 c Primal Bound : +5.00000000000000e+00 (243 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
1790.05/1790.04 v -x125 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
1790.05/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.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-2705504-1278572954.wbo
1790.05/1790.04 c Variables : 3927 (2079 binary, 0 integer, 1848 implicit integer, 0 continuous)
1790.05/1790.04 c Constraints : 4556 initial, 4556 maximal
1790.05/1790.04 c Presolved Problem :
1790.05/1790.04 c Problem name : t_HOME/instance-2705504-1278572954.wbo
1790.05/1790.04 c Variables : 3767 (1999 binary, 0 integer, 1768 implicit integer, 0 continuous)
1790.05/1790.04 c Constraints : 4340 initial, 31628 maximal
1790.05/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.05/1790.04 c trivial : 0.00 80 0 0 0 0 0 0 0
1790.05/1790.04 c dualfix : 0.00 80 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 21 0 0
1790.05/1790.04 c linear : 0.06 0 0 0 1882 0 115 101 0
1790.05/1790.04 c indicator : 0.00 0 0 0 0 0 80 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 : - 3406 - - 3406 - - - -
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 639804 0 58 1010 0 0 861086
1790.05/1790.04 c setppc : 28 6 4913167 206761 0 27181 1145049 0 0 0
1790.05/1790.04 c linear : 1768 6 4889725 208261 0 157762 18840631 245250 0 0
1790.05/1790.04 c indicator : 1768 0 4722026 208293 0 2042 5661610 0 0 0
1790.05/1790.04 c logicor : 776+ 6 1557419 164866 0 186368 3455035 0 0 0
1790.05/1790.04 c bounddisjunction : 0+ 0 266223 0 0 367 7839 0 0 0
1790.05/1790.04 c countsols : 0 0 0 164866 0 0 0 0 0 0
1790.05/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.05/1790.04 c integral : 17.97 0.00 0.00 17.97 0.00
1790.05/1790.04 c setppc : 10.03 0.00 9.93 0.10 0.00
1790.05/1790.04 c linear : 133.13 0.00 126.61 6.52 0.00
1790.05/1790.04 c indicator : 74.18 0.02 53.85 20.31 0.00
1790.05/1790.04 c logicor : 234.96 0.00 233.76 1.20 0.00
1790.05/1790.04 c bounddisjunction : 1.47 0.00 1.47 0.00 0.00
1790.05/1790.04 c countsols : 0.02 0.00 0.00 0.02 0.00
1790.05/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.05/1790.04 c vbounds : 0.94 88287 0 5065
1790.05/1790.04 c rootredcost : 0.72 62 0 1703
1790.05/1790.04 c pseudoobj : 140.55 4939237 21997 5550974
1790.05/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.05/1790.04 c propagation : 19.96 393675 393646 2441371 27.3 10932 25.8 -
1790.05/1790.04 c infeasible LP : 8.13 31746 31746 252361 41.1 452 17.6 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 : - - - 1066014 22.6 - - -
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 - - 78 - (maximal pool size: 438)
1790.05/1790.04 c redcost : 46.90 643289 0 172939 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.08 6 0 0 1087 0
1790.05/1790.04 c strongcg : 0.07 6 0 0 1132 0
1790.05/1790.04 c cmir : 0.02 6 0 0 1 0
1790.05/1790.04 c flowcover : 0.06 6 0 0 3 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 : 17.49 431397 58 1010 0 0 861086
1790.05/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.05/1790.04 c inference : 38.96 164805 0 0 0 0 329936
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.30 - 61
1790.05/1790.04 c pseudo solutions : 0.00 - 0
1790.05/1790.04 c intshifting : 0.01 0 0
1790.05/1790.04 c feaspump : 0.02 1 0
1790.05/1790.04 c oneopt : 0.43 57 0
1790.05/1790.04 c crossover : 2.60 92 0
1790.05/1790.04 c coefdiving : 0.90 720 0
1790.05/1790.04 c pscostdiving : 0.85 720 0
1790.05/1790.04 c fracdiving : 0.85 720 0
1790.05/1790.04 c veclendiving : 0.85 720 0
1790.05/1790.04 c guideddiving : 0.93 720 0
1790.05/1790.04 c linesearchdiving : 0.86 720 0
1790.05/1790.04 c objpscostdiving : 0.89 702 0
1790.05/1790.04 c rootsoldiving : 0.94 702 0
1790.05/1790.04 c trivial : 0.00 2 0
1790.05/1790.04 c simplerounding : 0.77 431764 0
1790.05/1790.04 c zirounding : 0.34 1000 0
1790.05/1790.04 c rounding : 1.21 9270 0
1790.05/1790.04 c shifting : 0.75 2872 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.16 0 0
1790.05/1790.04 c trysol : 0.41 1005 182
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 : 591.68 510894 4410905 8.63 7454.89
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.24 143 1385 9.69 5724.02
1790.05/1790.04 c strong branching : 14.17 9297 145363 15.64 10260.76
1790.05/1790.04 c (at root node) : - 17 1890 111.18 -
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 : 968679
1790.05/1790.04 c nodes (total) : 968679
1790.05/1790.04 c nodes left : 4391
1790.05/1790.04 c max depth : 911
1790.05/1790.04 c max depth (total): 911
1790.05/1790.04 c backtracks : 73950 (7.6%)
1790.05/1790.04 c delayed cutoffs : 59651
1790.05/1790.04 c repropagations : 2362427 (6531961 domain reductions, 54022 cutoffs)
1790.05/1790.04 c avg switch length: 6.43
1790.05/1790.04 c switching time : 237.59
1790.05/1790.04 c Solution :
1790.05/1790.04 c Solutions found : 243 (62 improvements)
1790.05/1790.04 c First Solution : +9.10890000000000e+04 (in run 1, after 19 nodes, 0.99 seconds, depth 19, found by <trysol>)
1790.05/1790.04 c Primal Bound : +5.00000000000000e+00 (in run 1, after 847740 nodes, 1530.80 seconds, depth 43, 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 : 226
1790.15/1790.15 c Time complete: 1790.21.