0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692827-1277905735.wbo>
0.00/0.03 c original problem has 3839 variables (2035 bin, 0 int, 0 impl, 1804 cont) and 4512 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs
0.00/0.09 c (round 2) 0 del vars, 64 del conss, 1804 chg bounds, 41 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs
0.00/0.09 c (round 3) 41 del vars, 117 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs
0.09/0.11 c (round 4) 87 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 1938 impls, 6 clqs
0.09/0.12 c (round 5) 92 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 1938 impls, 6 clqs
0.09/0.16 c (0.1s) probing: 101/1989 (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 (6 rounds):
0.09/0.16 c 92 deleted vars, 122 deleted constraints, 1809 tightened bounds, 0 added holes, 53 changed sides, 0 changed coefficients
0.09/0.16 c 1938 implications, 6 cliques
0.09/0.16 c presolved problem has 3747 variables (1989 bin, 0 int, 0 impl, 1758 cont) and 4390 constraints
0.09/0.16 c 1758 constraints of type <indicator>
0.09/0.16 c 6 constraints of type <setppc>
0.09/0.16 c 1758 constraints of type <linear>
0.09/0.16 c 868 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.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 0 | 13 | - | 13M| 0 | 7 |3747 |4390 |3747 | 874 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 88500
0.09/0.18 c y 0.1s| 1 | 0 | 101 | - | 13M| 0 | 7 |3747 |4390 |3747 | 874 | 0 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 139 | - | 13M| 0 | 38 |3747 |4390 |3747 | 894 | 20 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 238 | - | 14M| 0 | 62 |3747 |4390 |3747 | 932 | 58 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 289 | - | 14M| 0 | 63 |3747 |4390 |3747 | 941 | 67 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 318 | - | 14M| 0 | 64 |3747 |4390 |3747 | 953 | 79 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.48/0.51 c 0.5s| 1 | 0 | 326 | - | 14M| 0 | 69 |3747 |4390 |3747 | 960 | 86 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
0.58/0.60 c 0.5s| 1 | 0 | 337 | - | 14M| 0 | 69 |3747 |4390 |3747 | 961 | 87 | 0 | 0 | 0.000000e+00 | 8.850000e+04 | Inf
1.09/1.17 c 1.1s| 1 | 2 | 337 | - | 14M| 0 | 69 |3747 |4390 |3747 | 961 | 87 | 0 | 33 | 0.000000e+00 | 8.850000e+04 | Inf
28.08/28.10 c 27.7s| 10000 | 9985 | 48708 | 4.8 | 39M| 93 | 0 |3747 |4400 |3747 |1010 |9772 | 11 |1812 | 0.000000e+00 | 8.850000e+04 | Inf
44.68/44.70 c 44.1s| 20000 | 19981 | 70135 | 3.5 | 57M| 97 | 0 |3747 |4399 |3747 | 996 | 15k| 13 |1817 | 0.000000e+00 | 8.850000e+04 | Inf
59.69/59.72 c 59.0s| 30000 | 29973 | 82847 | 2.8 | 75M| 185 | 0 |3747 |4409 |3747 |1014 | 18k| 25 |1817 | 0.000000e+00 | 8.850000e+04 | Inf
74.39/74.42 c 73.5s| 40000 | 39965 | 93641 | 2.3 | 93M| 185 | 0 |3747 |4410 |3747 | 990 | 20k| 30 |1823 | 0.000000e+00 | 8.850000e+04 | Inf
88.79/88.86 c 87.8s| 50000 | 49963 |103060 | 2.1 | 110M| 185 | 0 |3747 |4408 |3747 | 992 | 22k| 37 |1825 | 0.000000e+00 | 8.850000e+04 | Inf
103.99/104.00 c 103s| 60000 | 59953 |119398 | 2.0 | 127M| 185 | 0 |3747 |4417 |3747 | 987 | 25k| 53 |1836 | 0.000000e+00 | 8.850000e+04 | Inf
118.49/118.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.49/118.58 c 117s| 70000 | 69943 |130095 | 1.9 | 144M| 185 | 0 |3747 |4425 |3747 | 987 | 27k| 70 |1838 | 0.000000e+00 | 8.850000e+04 | Inf
133.40/133.45 c 132s| 80000 | 79939 |144082 | 1.8 | 162M| 185 | 0 |3747 |4410 |3747 | 986 | 30k| 77 |1838 | 0.000000e+00 | 8.850000e+04 | Inf
135.79/135.87 o 1117
135.79/135.87 c * 134s| 81700 | 78535 |145426 | 1.8 | 160M| 185 | - |3747 |4410 |3747 |1000 | 30k| 77 |1838 | 0.000000e+00 | 1.117000e+03 | Inf
138.99/139.06 o 1002
138.99/139.06 c * 137s| 83367 | 77847 |150376 | 1.8 | 159M| 185 | - |3747 |4415 |3747 | 996 | 32k| 90 |1838 | 0.000000e+00 | 1.002000e+03 | Inf
142.69/142.72 o 982
142.69/142.72 c * 141s| 85187 | 79167 |157130 | 1.8 | 162M| 185 | - |3747 |4464 |3747 | 997 | 33k| 142 |1838 | 0.000000e+00 | 9.820000e+02 | Inf
152.80/152.88 c 151s| 90000 | 83922 |179502 | 2.0 | 170M| 185 | 0 |3747 |4561 |3747 |1001 | 39k| 273 |1838 | 0.000000e+00 | 9.820000e+02 | Inf
160.09/160.12 o 981
160.09/160.12 c * 158s| 93768 | 87603 |191508 | 2.0 | 177M| 185 | - |3747 |4594 |3747 | 993 | 42k| 421 |1838 | 0.000000e+00 | 9.810000e+02 | Inf
160.09/160.14 o 959
160.09/160.14 c * 158s| 93773 | 87022 |191515 | 2.0 | 177M| 185 | - |3747 |4594 |3747 | 996 | 42k| 421 |1838 | 0.000000e+00 | 9.590000e+02 | Inf
160.09/160.15 o 919
160.09/160.15 c * 158s| 93775 | 85758 |191518 | 2.0 | 174M| 185 | - |3747 |4594 |3747 | 996 | 42k| 421 |1838 | 0.000000e+00 | 9.190000e+02 | Inf
172.99/173.00 c 171s|100000 | 91919 |211590 | 2.1 | 186M| 185 | 0 |3747 |4571 |3747 | 994 | 47k| 561 |1838 | 0.000000e+00 | 9.190000e+02 | Inf
176.49/176.52 o 911
176.49/176.52 c * 174s|101650 | 93292 |218046 | 2.1 | 189M| 185 | - |3747 |4570 |3747 |1016 | 49k| 608 |1838 | 0.000000e+00 | 9.110000e+02 | Inf
178.09/178.19 o 892
178.09/178.19 c * 176s|102467 | 93341 |220181 | 2.1 | 189M| 185 | - |3747 |4570 |3747 |1010 | 49k| 611 |1838 | 0.000000e+00 | 8.920000e+02 | Inf
179.09/179.18 o 891
179.09/179.18 c * 177s|102938 | 93727 |221627 | 2.1 | 190M| 185 | - |3747 |4637 |3747 | 990 | 50k| 690 |1838 | 0.000000e+00 | 8.910000e+02 | Inf
180.99/181.09 o 760
180.99/181.09 c * 179s|103845 | 88001 |224946 | 2.2 | 180M| 185 | - |3747 |4650 |3747 | 989 | 51k| 726 |1838 | 0.000000e+00 | 7.600000e+02 | Inf
184.00/184.09 o 725
184.00/184.09 c * 181s|105281 | 86739 |229252 | 2.2 | 178M| 185 | - |3747 |4690 |3747 | 996 | 52k| 782 |1866 | 0.000000e+00 | 7.250000e+02 | Inf
184.19/184.21 o 694
184.19/184.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.19/184.21 c * 182s|105329 | 84277 |229393 | 2.2 | 174M| 185 | - |3747 |4697 |3747 | 991 | 52k| 793 |1866 | 0.000000e+00 | 6.940000e+02 | Inf
184.19/184.23 o 663
184.19/184.23 c * 182s|105330 | 81402 |229394 | 2.2 | 169M| 185 | - |3747 |4697 |3747 | 991 | 52k| 793 |1866 | 0.000000e+00 | 6.630000e+02 | Inf
184.29/184.33 o 640
184.29/184.33 c * 182s|105362 | 79265 |229588 | 2.2 | 166M| 185 | - |3747 |4693 |3747 | 999 | 52k| 793 |1866 | 0.000000e+00 | 6.400000e+02 | Inf
184.29/184.37 o 621
184.29/184.37 c * 182s|105372 | 77246 |229630 | 2.2 | 162M| 185 | - |3747 |4695 |3747 | 991 | 52k| 797 |1866 | 0.000000e+00 | 6.210000e+02 | Inf
184.29/184.39 o 590
184.29/184.39 c * 182s|105373 | 73701 |229631 | 2.2 | 156M| 185 | - |3747 |4694 |3747 | 991 | 52k| 797 |1866 | 0.000000e+00 | 5.900000e+02 | Inf
187.09/187.19 o 583
187.09/187.19 c * 185s|106701 | 74190 |232725 | 2.2 | 158M| 185 | - |3747 |4733 |3747 | 998 | 53k| 874 |1871 | 0.000000e+00 | 5.830000e+02 | Inf
187.40/187.48 o 577
187.40/187.48 c * 185s|106824 | 73608 |232977 | 2.2 | 157M| 185 | - |3747 |4753 |3747 |1006 | 53k| 899 |1871 | 0.000000e+00 | 5.770000e+02 | Inf
191.69/191.70 o 575
191.69/191.70 c * 189s|108719 | 75128 |239316 | 2.2 | 160M| 185 | - |3747 |4874 |3747 |1004 | 55k|1131 |1882 | 0.000000e+00 | 5.750000e+02 | Inf
194.59/194.61 c 192s|110000 | 76337 |244210 | 2.2 | 163M| 185 | 1 |3747 |5010 |3747 | 980 | 56k|1331 |1883 | 0.000000e+00 | 5.750000e+02 | Inf
196.19/196.21 o 569
196.19/196.21 c * 193s|110658 | 76141 |246617 | 2.2 | 164M| 185 | - |3747 |5060 |3747 | 996 | 57k|1456 |1902 | 0.000000e+00 | 5.690000e+02 | Inf
197.10/197.16 o 556
197.10/197.16 c * 194s|111055 | 74942 |247924 | 2.2 | 161M| 185 | - |3747 |5127 |3747 | 992 | 58k|1564 |1912 | 0.000000e+00 | 5.560000e+02 | Inf
199.40/199.44 o 554
199.40/199.44 c * 196s|112041 | 75602 |251151 | 2.2 | 163M| 185 | - |3747 |5218 |3747 |1000 | 58k|1773 |1939 | 0.000000e+00 | 5.540000e+02 | Inf
199.40/199.44 o 549
199.40/199.44 c * 196s|112042 | 75032 |251151 | 2.2 | 161M| 185 | - |3747 |5218 |3747 |1000 | 58k|1773 |1939 | 0.000000e+00 | 5.490000e+02 | Inf
200.20/200.25 o 541
200.20/200.25 c * 197s|112372 | 74402 |252612 | 2.2 | 160M| 185 | - |3747 |5231 |3747 |1003 | 59k|1818 |1941 | 0.000000e+00 | 5.410000e+02 | Inf
205.99/206.03 o 536
205.99/206.03 c * 203s|114872 | 76128 |261716 | 2.3 | 165M| 185 | - |3747 |5133 |3747 |1003 | 61k|2088 |1946 | 0.000000e+00 | 5.360000e+02 | Inf
213.80/213.86 o 530
213.80/213.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.80/213.86 c * 210s|118155 | 78455 |275713 | 2.3 | 170M| 185 | - |3747 |5131 |3747 | 995 | 66k|2574 |2012 | 0.000000e+00 | 5.300000e+02 | Inf
215.39/215.46 o 529
215.39/215.46 c * 212s|118848 | 78962 |278156 | 2.3 | 172M| 185 | - |3747 |5155 |3747 |1000 | 66k|2714 |2012 | 0.000000e+00 | 5.290000e+02 | Inf
215.39/215.46 o 527
215.39/215.46 c * 212s|118849 | 78706 |278157 | 2.3 | 171M| 185 | - |3747 |5155 |3747 |1000 | 66k|2714 |2012 | 0.000000e+00 | 5.270000e+02 | Inf
216.19/216.22 o 525
216.19/216.22 c * 212s|119147 | 78705 |279431 | 2.3 | 171M| 185 | - |3747 |5151 |3747 | 998 | 66k|2756 |2014 | 0.000000e+00 | 5.250000e+02 | Inf
216.30/216.39 o 518
216.30/216.39 c * 213s|119215 | 77943 |279634 | 2.3 | 169M| 185 | - |3747 |5176 |3747 | 998 | 67k|2785 |2014 | 0.000000e+00 | 5.180000e+02 | Inf
216.39/216.40 o 517
216.39/216.40 c * 213s|119216 | 77801 |279634 | 2.3 | 169M| 185 | - |3747 |5176 |3747 | 998 | 67k|2785 |2014 | 0.000000e+00 | 5.170000e+02 | Inf
216.70/216.79 o 511
216.70/216.79 c * 213s|119370 | 77143 |280290 | 2.3 | 168M| 185 | - |3747 |5192 |3747 | 998 | 67k|2826 |2014 | 0.000000e+00 | 5.110000e+02 | Inf
216.89/216.95 o 504
216.89/216.95 c * 213s|119436 | 76251 |280517 | 2.3 | 166M| 185 | - |3747 |5194 |3747 | 989 | 67k|2832 |2014 | 0.000000e+00 | 5.040000e+02 | Inf
217.29/217.36 o 500
217.29/217.36 c * 214s|119591 | 75829 |281382 | 2.4 | 165M| 185 | - |3747 |5195 |3747 | 994 | 67k|2856 |2014 | 0.000000e+00 | 5.000000e+02 | Inf
217.70/217.75 o 493
217.70/217.75 c * 214s|119713 | 74970 |282138 | 2.4 | 164M| 185 | - |3747 |5246 |3747 | 997 | 67k|2925 |2014 | 0.000000e+00 | 4.930000e+02 | Inf
218.50/218.54 c 215s|120000 | 75214 |283806 | 2.4 | 165M| 185 | 7 |3747 |5286 |3747 | 985 | 68k|3011 |2014 | 0.000000e+00 | 4.930000e+02 | Inf
219.00/219.01 o 488
219.00/219.01 c * 215s|120201 | 74712 |284667 | 2.4 | 164M| 185 | - |3747 |5282 |3747 | 993 | 68k|3023 |2014 | 0.000000e+00 | 4.880000e+02 | Inf
219.70/219.70 o 484
219.70/219.70 c * 216s|120471 | 74424 |285686 | 2.4 | 163M| 185 | - |3747 |5271 |3747 |1005 | 68k|3063 |2029 | 0.000000e+00 | 4.840000e+02 | Inf
219.90/219.91 o 473
219.90/219.91 c * 216s|120544 | 72909 |286147 | 2.4 | 160M| 185 | - |3747 |5258 |3747 | 996 | 68k|3063 |2034 | 0.000000e+00 | 4.730000e+02 | Inf
219.90/219.92 o 469
219.90/219.92 c * 216s|120545 | 72305 |286147 | 2.4 | 159M| 185 | - |3747 |5258 |3747 | 996 | 68k|3063 |2034 | 0.000000e+00 | 4.690000e+02 | Inf
223.89/223.96 o 467
223.89/223.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.89/223.96 c * 220s|122267 | 73667 |291981 | 2.4 | 163M| 185 | - |3747 |5239 |3747 | 994 | 70k|3246 |2060 | 0.000000e+00 | 4.670000e+02 | Inf
225.29/225.34 o 454
225.29/225.34 c * 221s|122814 | 72213 |293677 | 2.4 | 160M| 185 | - |3747 |5281 |3747 | 981 | 70k|3358 |2066 | 0.000000e+00 | 4.540000e+02 | Inf
225.90/225.93 o 452
225.90/225.93 c * 222s|123010 | 72054 |295219 | 2.4 | 160M| 185 | - |3747 |5273 |3747 | 985 | 71k|3433 |2070 | 0.000000e+00 | 4.520000e+02 | Inf
225.90/225.93 o 448
225.90/225.93 c * 222s|123011 | 71375 |295219 | 2.4 | 158M| 185 | - |3747 |5273 |3747 | 985 | 71k|3433 |2070 | 0.000000e+00 | 4.480000e+02 | Inf
228.49/228.52 o 446
228.49/228.52 c * 224s|124043 | 71985 |299906 | 2.4 | 160M| 185 | - |3747 |5319 |3747 | 993 | 72k|3706 |2083 | 0.000000e+00 | 4.460000e+02 | Inf
229.69/229.72 o 444
229.69/229.72 c * 226s|124497 | 72027 |302168 | 2.4 | 160M| 185 | - |3747 |5419 |3747 |1007 | 73k|3885 |2083 | 0.000000e+00 | 4.440000e+02 | Inf
229.80/229.81 o 443
229.80/229.81 c * 226s|124519 | 71862 |302367 | 2.4 | 160M| 185 | - |3747 |5435 |3747 | 987 | 73k|3912 |2083 | 0.000000e+00 | 4.430000e+02 | Inf
230.59/230.63 o 422
230.59/230.63 c * 226s|124820 | 68515 |303725 | 2.4 | 154M| 185 | - |3747 |5469 |3747 | 986 | 73k|3996 |2083 | 0.000000e+00 | 4.220000e+02 | Inf
230.89/230.95 o 421
230.89/230.95 c * 227s|124920 | 68426 |304670 | 2.4 | 154M| 185 | - |3747 |5455 |3747 | 980 | 73k|4020 |2084 | 0.000000e+00 | 4.210000e+02 | Inf
231.70/231.76 o 419
231.70/231.76 c * 227s|125186 | 68290 |306809 | 2.4 | 154M| 185 | - |3747 |5386 |3747 |1000 | 73k|4103 |2084 | 0.000000e+00 | 4.190000e+02 | Inf
232.80/232.84 o 414
232.80/232.84 c * 229s|125511 | 67616 |310018 | 2.5 | 153M| 185 | - |3747 |5356 |3747 | 974 | 74k|4227 |2119 | 0.000000e+00 | 4.140000e+02 | Inf
232.80/232.84 o 409
232.80/232.84 c * 229s|125512 | 66738 |310018 | 2.5 | 151M| 185 | - |3747 |5356 |3747 | 974 | 74k|4227 |2119 | 0.000000e+00 | 4.090000e+02 | Inf
235.19/235.28 o 397
235.19/235.28 c * 231s|126398 | 65265 |315230 | 2.5 | 148M| 185 | - |3747 |5468 |3747 | 983 | 75k|4629 |2158 | 0.000000e+00 | 3.970000e+02 | Inf
235.29/235.38 o 390
235.29/235.38 c * 231s|126431 | 63980 |315408 | 2.5 | 146M| 185 | - |3747 |5457 |3747 | 990 | 75k|4634 |2159 | 0.000000e+00 | 3.900000e+02 | Inf
235.59/235.63 o 387
235.59/235.63 c * 231s|126543 | 63531 |315860 | 2.5 | 145M| 185 | - |3747 |5472 |3747 | 981 | 75k|4676 |2159 | 0.000000e+00 | 3.870000e+02 | Inf
235.70/235.70 o 378
235.70/235.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.70/235.70 c * 231s|126562 | 61816 |316030 | 2.5 | 141M| 185 | - |3747 |5470 |3747 | 978 | 75k|4678 |2159 | 0.000000e+00 | 3.780000e+02 | Inf
238.80/238.84 o 371
238.80/238.84 c * 234s|127793 | 61609 |321961 | 2.5 | 143M| 185 | - |3747 |5658 |3747 | 989 | 76k|5074 |2163 | 0.000000e+00 | 3.710000e+02 | Inf
239.70/239.71 o 369
239.70/239.71 c * 235s|128129 | 61519 |323504 | 2.5 | 144M| 185 | - |3747 |5666 |3747 |1004 | 77k|5142 |2163 | 0.000000e+00 | 3.690000e+02 | Inf
240.30/240.39 o 365
240.30/240.39 c * 236s|128399 | 60988 |324658 | 2.5 | 143M| 185 | - |3747 |5688 |3747 |1001 | 77k|5203 |2163 | 0.000000e+00 | 3.650000e+02 | Inf
241.70/241.77 o 352
241.70/241.77 c * 237s|128981 | 59025 |326654 | 2.5 | 138M| 185 | - |3747 |5631 |3747 |1012 | 78k|5263 |2164 | 0.000000e+00 | 3.520000e+02 | Inf
243.70/243.79 o 349
243.70/243.79 c * 239s|129757 | 59001 |329891 | 2.5 | 139M| 185 | - |3747 |5743 |3747 | 988 | 79k|5567 |2164 | 0.000000e+00 | 3.490000e+02 | Inf
243.79/243.80 o 347
243.79/243.80 c * 239s|129758 | 58632 |329891 | 2.5 | 138M| 185 | - |3747 |5743 |3747 | 988 | 79k|5567 |2164 | 0.000000e+00 | 3.470000e+02 | Inf
243.79/243.86 o 331
243.79/243.86 c * 239s|129774 | 55487 |329955 | 2.5 | 132M| 185 | - |3747 |5743 |3747 | 987 | 79k|5571 |2164 | 0.000000e+00 | 3.310000e+02 | Inf
244.30/244.34 c 240s|130000 | 55707 |330377 | 2.5 | 132M| 185 | 0 |3747 |5739 |3747 | 994 | 79k|5585 |2164 | 0.000000e+00 | 3.310000e+02 | Inf
246.79/246.87 o 328
246.79/246.87 c * 242s|130967 | 55905 |334868 | 2.6 | 134M| 185 | - |3747 |5700 |3747 | 976 | 80k|5848 |2205 | 0.000000e+00 | 3.280000e+02 | Inf
247.00/247.08 o 321
247.00/247.08 c * 242s|131048 | 54502 |335081 | 2.6 | 131M| 185 | - |3747 |5687 |3747 | 987 | 80k|5858 |2209 | 0.000000e+00 | 3.210000e+02 | Inf
247.09/247.10 o 289
247.09/247.10 c * 242s|131049 | 47641 |335081 | 2.6 | 117M| 185 | - |3747 |5687 |3747 | 987 | 80k|5858 |2209 | 0.000000e+00 | 2.890000e+02 | Inf
249.80/249.85 o 284
249.80/249.85 c * 245s|131939 | 47096 |341679 | 2.6 | 119M| 185 | - |3747 |5808 |3747 |1000 | 82k|6371 |2234 | 0.000000e+00 | 2.840000e+02 | Inf
249.89/249.98 o 278
249.89/249.98 c * 245s|131975 | 45737 |341928 | 2.6 | 115M| 185 | - |3747 |5805 |3747 |1005 | 82k|6379 |2234 | 0.000000e+00 | 2.780000e+02 | Inf
249.99/250.00 o 268
249.99/250.00 c * 245s|131976 | 43389 |341928 | 2.6 | 111M| 185 | - |3747 |5805 |3747 |1005 | 82k|6379 |2234 | 0.000000e+00 | 2.680000e+02 | Inf
250.19/250.21 o 265
250.19/250.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.19/250.21 c * 245s|132043 | 42754 |342360 | 2.6 | 110M| 185 | - |3747 |5796 |3747 |1005 | 82k|6393 |2235 | 0.000000e+00 | 2.650000e+02 | Inf
250.19/250.26 o 263
250.19/250.26 c * 245s|132049 | 42350 |342425 | 2.6 | 109M| 185 | - |3747 |5806 |3747 | 973 | 82k|6405 |2235 | 0.000000e+00 | 2.630000e+02 | Inf
250.60/250.66 o 259
250.60/250.66 c * 246s|132186 | 41631 |342925 | 2.6 | 108M| 185 | - |3747 |5830 |3747 |1001 | 82k|6463 |2235 | 0.000000e+00 | 2.590000e+02 | Inf
251.39/251.46 o 257
251.39/251.46 c * 246s|132506 | 41466 |344337 | 2.6 | 108M| 185 | - |3747 |5766 |3747 |1006 | 83k|6499 |2241 | 0.000000e+00 | 2.570000e+02 | Inf
251.59/251.62 o 249
251.59/251.62 c * 247s|132553 | 39712 |344654 | 2.6 | 104M| 185 | - |3747 |5764 |3747 | 992 | 83k|6529 |2242 | 0.000000e+00 | 2.490000e+02 | Inf
251.70/251.74 o 242
251.70/251.74 c * 247s|132580 | 38001 |344872 | 2.6 | 101M| 185 | - |3747 |5754 |3747 |1001 | 83k|6535 |2242 | 0.000000e+00 | 2.420000e+02 | Inf
251.90/251.99 o 235
251.90/251.99 c * 247s|132652 | 36568 |345473 | 2.6 | 99M| 185 | - |3747 |5763 |3747 | 989 | 83k|6563 |2242 | 0.000000e+00 | 2.350000e+02 | Inf
252.50/252.50 o 233
252.50/252.50 c * 247s|132814 | 36262 |346449 | 2.6 | 99M| 185 | - |3747 |5762 |3747 |1003 | 83k|6667 |2242 | 0.000000e+00 | 2.330000e+02 | Inf
252.60/252.61 o 230
252.60/252.61 c * 248s|132840 | 35596 |346555 | 2.6 | 98M| 185 | - |3747 |5763 |3747 |1001 | 83k|6673 |2242 | 0.000000e+00 | 2.300000e+02 | Inf
253.00/253.03 o 223
253.00/253.03 c * 248s|132960 | 34207 |347418 | 2.6 | 95M| 185 | - |3747 |5761 |3747 | 997 | 83k|6712 |2242 | 0.000000e+00 | 2.230000e+02 | Inf
253.19/253.28 o 215
253.19/253.28 c * 248s|133038 | 32476 |348051 | 2.6 | 91M| 185 | - |3747 |5723 |3747 | 993 | 83k|6750 |2242 | 0.000000e+00 | 2.150000e+02 | Inf
253.30/253.30 o 188
253.30/253.30 c * 248s|133039 | 25947 |348052 | 2.6 | 77M| 185 | - |3747 |5723 |3747 | 993 | 83k|6750 |2242 | 0.000000e+00 | 1.880000e+02 | Inf
253.30/253.36 o 184
253.30/253.36 c * 248s|133052 | 24995 |348134 | 2.6 | 75M| 185 | - |3747 |5721 |3747 | 985 | 83k|6750 |2242 | 0.000000e+00 | 1.840000e+02 | Inf
253.69/253.71 o 175
253.69/253.71 c * 249s|133160 | 23445 |348782 | 2.6 | 73M| 185 | - |3747 |5735 |3747 |1004 | 84k|6833 |2242 | 0.000000e+00 | 1.750000e+02 | Inf
253.79/253.81 o 170
253.79/253.81 c * 249s|133194 | 22494 |348941 | 2.6 | 71M| 185 | - |3747 |5726 |3747 | 976 | 84k|6833 |2242 | 0.000000e+00 | 1.700000e+02 | Inf
253.79/253.81 o 165
253.79/253.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.79/253.81 c * 249s|133195 | 21586 |348941 | 2.6 | 69M| 185 | - |3747 |5726 |3747 | 976 | 84k|6833 |2242 | 0.000000e+00 | 1.650000e+02 | Inf
254.30/254.37 o 162
254.30/254.37 c * 249s|133388 | 21154 |349877 | 2.6 | 68M| 185 | - |3747 |5683 |3747 | 989 | 84k|6891 |2243 | 0.000000e+00 | 1.620000e+02 | Inf
254.40/254.43 o 157
254.40/254.43 c * 249s|133396 | 20314 |349995 | 2.6 | 67M| 185 | - |3747 |5684 |3747 | 988 | 84k|6894 |2243 | 0.000000e+00 | 1.570000e+02 | Inf
256.20/256.20 o 142
256.20/256.20 c * 251s|133997 | 18082 |352885 | 2.6 | 64M| 185 | - |3747 |5847 |3747 | 992 | 85k|7350 |2243 | 0.000000e+00 | 1.420000e+02 | Inf
256.20/256.28 o 103
256.20/256.28 c * 251s|134016 | 11032 |353033 | 2.6 | 49M| 185 | - |3747 |5839 |3747 | 998 | 85k|7356 |2243 | 0.000000e+00 | 1.030000e+02 | Inf
256.50/256.57 o 92
256.50/256.57 c * 251s|134099 | 9281 |353618 | 2.6 | 45M| 185 | - |3747 |5802 |3747 | 988 | 85k|7427 |2243 | 0.000000e+00 | 9.200000e+01 | Inf
256.50/256.58 o 90
256.50/256.58 c * 251s|134100 | 8950 |353618 | 2.6 | 44M| 185 | - |3747 |5802 |3747 | 988 | 85k|7427 |2243 | 0.000000e+00 | 9.000000e+01 | Inf
256.59/256.64 o 23
256.59/256.64 c * 251s|134108 | 1245 |353705 | 2.6 | 26M| 185 | - |3747 |5551 |3747 | 983 | 85k|7429 |2243 | 0.000000e+00 | 2.300000e+01 | Inf
268.40/268.47 c 263s|140000 | 805 |385178 | 2.7 | 27M| 185 | 15 |3747 |8299 |3747 | 973 | 87k| 14k|2366 | 0.000000e+00 | 2.300000e+01 | Inf
288.70/288.78 c 282s|150000 | 824 |430554 | 2.9 | 30M| 185 | 17 |3747 | 12k|3747 | 970 | 91k| 27k|2476 | 0.000000e+00 | 2.300000e+01 | Inf
292.60/292.61 o 22
292.60/292.61 c * 286s|151680 | 842 |439778 | 2.9 | 31M| 185 | - |3747 | 12k|3747 | 970 | 92k| 29k|2499 | 0.000000e+00 | 2.200000e+01 | Inf
292.70/292.72 o 6
292.70/292.72 c * 286s|151731 | 796 |439965 | 2.9 | 30M| 185 | - |3747 | 12k|3747 | 974 | 92k| 29k|2499 | 0.000000e+00 | 6.000000e+00 | Inf
307.89/307.95 c 301s|160000 | 783 |475269 | 3.0 | 32M| 185 | - |3747 | 13k|3747 | 969 | 93k| 39k|2598 | 0.000000e+00 | 6.000000e+00 | Inf
326.89/326.99 c 319s|170000 | 834 |512560 | 3.0 | 33M| 185 | - |3747 | 14k| 0 | 0 | 95k| 52k|2713 | 0.000000e+00 | 6.000000e+00 | Inf
345.20/345.28 c 336s|180000 | 860 |545074 | 3.0 | 35M| 185 | - |3747 | 16k| 0 | 0 | 96k| 65k|2763 | 0.000000e+00 | 6.000000e+00 | Inf
365.10/365.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.10/365.12 c 355s|190000 | 894 |581472 | 3.1 | 36M| 185 | 15 |3747 | 19k|3747 | 973 | 97k| 78k|2842 | 0.000000e+00 | 6.000000e+00 | Inf
388.19/388.26 c 378s|200000 | 911 |621256 | 3.1 | 38M| 185 | - |3747 | 22k| 0 | 0 | 98k| 91k|2920 | 0.000000e+00 | 6.000000e+00 | Inf
411.20/411.20 c 400s|210000 | 948 |657447 | 3.1 | 40M| 185 | 1 |3747 | 25k|3747 | 972 | 99k| 104k|3014 | 0.000000e+00 | 6.000000e+00 | Inf
430.00/430.04 o 5
430.00/430.04 c * 418s|217696 | 975 |685485 | 3.1 | 41M| 185 | - |3747 | 28k|3747 | 983 | 100k| 114k|3074 | 0.000000e+00 | 5.000000e+00 | Inf
435.50/435.54 c 423s|220000 | 973 |693195 | 3.1 | 41M| 185 | 1 |3747 | 26k|3747 | 972 | 101k| 117k|3078 | 0.000000e+00 | 5.000000e+00 | Inf
459.40/459.41 c 446s|230000 | 915 |728597 | 3.2 | 41M| 185 | - |3747 | 26k| 0 | 0 | 102k| 131k|3161 | 0.000000e+00 | 5.000000e+00 | Inf
482.30/482.33 o 4
482.30/482.33 c * 468s|239733 | 852 |759422 | 3.2 | 41M| 185 | - |3747 | 32k|3747 | 980 | 103k| 143k|3226 | 0.000000e+00 | 4.000000e+00 | Inf
483.01/483.03 c 469s|240000 | 858 |760431 | 3.2 | 41M| 185 | 7 |3747 | 31k|3747 | 972 | 103k| 144k|3226 | 0.000000e+00 | 4.000000e+00 | Inf
509.41/509.45 c 495s|250000 | 860 |793828 | 3.2 | 42M| 185 | 22 |3747 | 31k|3747 | 972 | 104k| 157k|3302 | 0.000000e+00 | 4.000000e+00 | Inf
538.60/538.65 c 523s|260000 | 905 |830125 | 3.2 | 44M| 185 | 16 |3747 | 35k|3747 | 986 | 105k| 170k|3392 | 0.000000e+00 | 4.000000e+00 | Inf
567.81/567.84 c 551s|270000 | 935 |862644 | 3.2 | 45M| 185 | 5 |3747 | 37k|3747 | 972 | 106k| 183k|3460 | 0.000000e+00 | 4.000000e+00 | Inf
597.60/597.68 c 580s|280000 | 996 |896779 | 3.2 | 47M| 185 | 14 |3747 | 40k|3747 | 972 | 107k| 196k|3532 | 0.000000e+00 | 4.000000e+00 | Inf
628.60/628.64 c 611s|290000 | 1037 |928526 | 3.2 | 48M| 185 | - |3747 | 42k| 0 | 0 | 108k| 210k|3601 | 0.000000e+00 | 4.000000e+00 | Inf
661.11/661.12 c 642s|300000 | 1057 |963672 | 3.2 | 50M| 185 | 6 |3747 | 44k|3747 | 972 | 109k| 223k|3658 | 0.000000e+00 | 4.000000e+00 | Inf
693.31/693.37 c 674s|310000 | 1042 |996371 | 3.2 | 49M| 185 | - |3747 | 42k| 0 | 0 | 110k| 237k|3721 | 0.000000e+00 | 4.000000e+00 | Inf
718.91/718.92 o 3
718.91/718.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.91/718.92 c * 699s|318201 | 1035 | 1026k| 3.2 | 50M| 185 | - |3747 | 42k|3747 | 972 | 111k| 248k|3778 | 0.000000e+00 | 3.000000e+00 | Inf
724.51/724.50 c 704s|320000 | 1047 | 1032k| 3.2 | 49M| 185 | 9 |3747 | 42k|3747 | 972 | 111k| 251k|3778 | 0.000000e+00 | 3.000000e+00 | Inf
755.61/755.65 c 734s|330000 | 1045 | 1067k| 3.2 | 51M| 185 | 1 |3747 | 46k|3747 | 972 | 112k| 265k|3843 | 0.000000e+00 | 3.000000e+00 | Inf
788.91/788.93 c 767s|340000 | 1058 | 1100k| 3.2 | 51M| 185 | - |3747 | 45k| 0 | 0 | 113k| 279k|3911 | 0.000000e+00 | 3.000000e+00 | Inf
821.31/821.32 c 798s|350000 | 1069 | 1135k| 3.2 | 52M| 185 | 1 |3747 | 45k|3747 | 972 | 114k| 293k|3974 | 0.000000e+00 | 3.000000e+00 | Inf
853.92/853.99 c 830s|360000 | 1054 | 1168k| 3.2 | 52M| 185 | 1 |3747 | 45k|3747 | 972 | 116k| 307k|4038 | 0.000000e+00 | 3.000000e+00 | Inf
886.12/886.17 c 861s|370000 | 987 | 1204k| 3.3 | 49M| 185 | - |3747 | 39k|3747 | 972 | 117k| 321k|4113 | 0.000000e+00 | 3.000000e+00 | Inf
916.91/916.95 c 891s|380000 | 949 | 1240k| 3.3 | 48M| 185 | - |3747 | 35k| 0 | 0 | 118k| 334k|4187 | 0.000000e+00 | 3.000000e+00 | Inf
946.81/946.83 c 920s|390000 | 976 | 1275k| 3.3 | 50M| 185 | 1 |3747 | 41k|3747 | 972 | 119k| 347k|4253 | 0.000000e+00 | 3.000000e+00 | Inf
978.02/978.00 c 951s|400000 | 1014 | 1311k| 3.3 | 51M| 185 | - |3747 | 44k| 0 | 0 | 120k| 359k|4326 | 0.000000e+00 | 3.000000e+00 | Inf
1011.02/1011.07 c 983s|410000 | 1076 | 1346k| 3.3 | 54M| 185 | 21 |3747 | 49k|3747 | 972 | 121k| 373k|4391 | 0.000000e+00 | 3.000000e+00 | Inf
1045.82/1045.88 c 1017s|420000 | 1171 | 1379k| 3.3 | 54M| 185 | 1 |3747 | 48k|3747 | 972 | 121k| 385k|4448 | 0.000000e+00 | 3.000000e+00 | Inf
1081.33/1081.39 c 1052s|430000 | 1228 | 1413k| 3.3 | 56M| 185 | - |3747 | 49k| 0 | 0 | 122k| 398k|4505 | 0.000000e+00 | 3.000000e+00 | Inf
1117.73/1117.75 c 1087s|440000 | 1311 | 1448k| 3.3 | 58M| 185 | - |3747 | 53k| 0 | 0 | 123k| 412k|4566 | 0.000000e+00 | 3.000000e+00 | Inf
1153.93/1153.92 c 1123s|450000 | 1369 | 1481k| 3.3 | 59M| 185 | - |3747 | 53k| 0 | 0 | 124k| 425k|4627 | 0.000000e+00 | 3.000000e+00 | Inf
1190.73/1190.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1190.73/1190.79 c 1159s|460000 | 1435 | 1511k| 3.3 | 60M| 185 | 16 |3747 | 56k|3747 | 972 | 125k| 438k|4680 | 0.000000e+00 | 3.000000e+00 | Inf
1229.42/1229.49 c 1196s|470000 | 1411 | 1542k| 3.3 | 60M| 185 | 17 |3747 | 54k|3747 | 972 | 126k| 453k|4730 | 0.000000e+00 | 3.000000e+00 | Inf
1265.33/1265.31 c 1231s|480000 | 1350 | 1575k| 3.3 | 59M| 185 | - |3747 | 51k| 0 | 0 | 128k| 466k|4761 | 0.000000e+00 | 3.000000e+00 | Inf
1298.63/1298.63 c 1264s|490000 | 1323 | 1609k| 3.3 | 59M| 185 | - |3747 | 51k| 0 | 0 | 129k| 480k|4807 | 0.000000e+00 | 3.000000e+00 | Inf
1336.03/1336.05 c 1300s|500000 | 1309 | 1648k| 3.3 | 59M| 185 | 16 |3747 | 50k|3747 | 972 | 129k| 493k|4863 | 0.000000e+00 | 3.000000e+00 | Inf
1371.84/1371.88 c 1335s|510000 | 1236 | 1687k| 3.3 | 58M| 185 | 12 |3747 | 50k|3747 | 972 | 131k| 507k|4921 | 0.000000e+00 | 3.000000e+00 | Inf
1405.84/1405.89 c 1369s|520000 | 1245 | 1725k| 3.3 | 59M| 185 | 7 |3747 | 53k|3747 | 972 | 131k| 521k|4975 | 0.000000e+00 | 3.000000e+00 | Inf
1439.94/1439.95 c 1402s|530000 | 1273 | 1759k| 3.3 | 58M| 185 | - |3747 | 49k| 0 | 0 | 132k| 534k|5030 | 0.000000e+00 | 3.000000e+00 | Inf
1475.84/1475.85 c 1437s|540000 | 1243 | 1793k| 3.3 | 59M| 185 | 1 |3747 | 50k|3747 | 972 | 134k| 546k|5090 | 0.000000e+00 | 3.000000e+00 | Inf
1515.12/1515.16 c 1476s|550000 | 1227 | 1829k| 3.3 | 59M| 185 | 14 |3747 | 52k|3747 | 972 | 135k| 559k|5148 | 0.000000e+00 | 3.000000e+00 | Inf
1561.92/1561.98 c 1522s|560000 | 1234 | 1871k| 3.3 | 61M| 185 | 12 |3747 | 56k|3747 | 972 | 136k| 573k|5208 | 0.000000e+00 | 3.000000e+00 | Inf
1609.21/1609.23 c 1569s|570000 | 1250 | 1906k| 3.3 | 63M| 185 | - |3747 | 61k| 0 | 0 | 136k| 585k|5271 | 0.000000e+00 | 3.000000e+00 | Inf
1655.72/1655.74 c 1615s|580000 | 1255 | 1943k| 3.4 | 64M| 185 | - |3747 | 65k| 0 | 0 | 137k| 599k|5322 | 0.000000e+00 | 3.000000e+00 | Inf
1702.12/1702.13 c 1661s|590000 | 1247 | 1980k| 3.4 | 65M| 185 | 23 |3747 | 68k|3747 | 984 | 138k| 612k|5355 | 0.000000e+00 | 3.000000e+00 | Inf
1750.92/1750.90 c 1710s|600000 | 1261 | 2017k| 3.4 | 67M| 185 | 11 |3747 | 72k|3747 | 972 | 139k| 626k|5405 | 0.000000e+00 | 3.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time (sec) : 1758.77
1800.03/1800.01 c Solving Nodes : 609238
1800.03/1800.01 c Primal Bound : +3.00000000000000e+00 (199 solutions)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.05 s SATISFIABLE
1800.03/1800.05 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.05 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.05 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 x150 -x149 -x148 -x147
1800.03/1800.05 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.05 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.03/1800.05 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80
1800.03/1800.05 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
1800.03/1800.05 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
1800.03/1800.05 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.03/1800.05 v -x1
1800.03/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.05 c Solving Time : 1758.77
1800.03/1800.05 c Original Problem :
1800.03/1800.05 c Problem name : HOME/instance-2692827-1277905735.wbo
1800.03/1800.05 c Variables : 3839 (2035 binary, 0 integer, 0 implicit integer, 1804 continuous)
1800.03/1800.05 c Constraints : 4512 initial, 4512 maximal
1800.03/1800.05 c Presolved Problem :
1800.03/1800.05 c Problem name : t_HOME/instance-2692827-1277905735.wbo
1800.03/1800.05 c Variables : 3747 (1989 binary, 0 integer, 0 implicit integer, 1758 continuous)
1800.03/1800.05 c Constraints : 4390 initial, 75008 maximal
1800.03/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.05 c trivial : 0.00 46 0 0 0 0 0 0 0
1800.03/1800.05 c dualfix : 0.00 46 0 0 0 0 0 0 0
1800.03/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.05 c indicator : 0.01 0 0 0 0 0 46 0 0
1800.03/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c linear : 0.04 0 0 0 1809 0 76 53 0
1800.03/1800.05 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c root node : - 1716 - - 3432 - - - -
1800.03/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c integral : 0 0 0 411805 0 10 333 0 0 550288
1800.03/1800.05 c indicator : 1758 0 2636486 136233 0 77 1462519 0 0 0
1800.03/1800.05 c setppc : 6 6 2533465 60764 0 20348 595894 0 0 0
1800.03/1800.05 c linear : 1758 6 2641218 135238 0 145410 13365799 140348 0 0
1800.03/1800.05 c logicor : 868+ 6 982327 116783 0 84622 2303071 0 0 0
1800.03/1800.05 c bounddisjunction : 0+ 0 15597 0 0 0 0 0 0 0
1800.03/1800.05 c countsols : 0 0 0 116783 0 0 0 0 0 0
1800.03/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.05 c integral : 17.92 0.00 0.00 17.92 0.00
1800.03/1800.05 c indicator : 28.20 0.01 8.61 19.58 0.00
1800.03/1800.05 c setppc : 6.86 0.00 6.82 0.04 0.00
1800.03/1800.05 c linear : 130.83 0.00 126.44 4.39 0.00
1800.03/1800.05 c logicor : 473.29 0.00 472.16 1.13 0.00
1800.03/1800.05 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.03/1800.05 c countsols : 0.01 0.00 0.00 0.01 0.00
1800.03/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.05 c vbounds : 0.17 2 0 0
1800.03/1800.05 c rootredcost : 0.05 97 0 1716
1800.03/1800.05 c pseudoobj : 89.32 2664671 1739 784351
1800.03/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.05 c propagation : 14.28 252119 251901 1544004 27.0 8992 22.9 -
1800.03/1800.05 c infeasible LP : 2.69 7575 7575 60360 40.3 47 19.6 0
1800.03/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c pseudo solution : 0.01 104 104 652 16.3 52 4.6 -
1800.03/1800.05 c applied globally : - - - 639029 20.9 - - -
1800.03/1800.05 c applied locally : - - - 0 0.0 - - -
1800.03/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.05 c cut pool : 0.00 5 - - 15 - (maximal pool size: 138)
1800.03/1800.05 c redcost : 23.72 413738 0 553311 0 0
1800.03/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.05 c intobj : 0.00 0 0 0 0 0
1800.03/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.05 c gomory : 0.17 6 0 0 615 0
1800.03/1800.05 c strongcg : 0.09 6 0 0 91 0
1800.03/1800.05 c cmir : 0.02 6 0 0 0 0
1800.03/1800.05 c flowcover : 0.08 6 0 0 0 0
1800.03/1800.05 c clique : 0.00 6 0 0 0 0
1800.03/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.05 c mcf : 0.00 1 0 0 0 0
1800.03/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.05 c Pricers : Time Calls Vars
1800.03/1800.05 c problem variables: 0.00 0 0
1800.03/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c relpscost : 17.75 275453 10 333 0 0 550288
1800.03/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.05 c inference : 17.53 116687 0 0 0 0 233374
1800.03/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c random : 0.00 0 0 0 0 0 0
1800.03/1800.05 c Primal Heuristics : Time Calls Found
1800.03/1800.05 c LP solutions : 0.37 - 96
1800.03/1800.05 c pseudo solutions : 0.00 - 0
1800.03/1800.05 c feaspump : 0.01 1 0
1800.03/1800.05 c oneopt : 0.49 83 0
1800.03/1800.05 c intshifting : 0.00 9 0
1800.03/1800.05 c crossover : 2.04 93 0
1800.03/1800.05 c coefdiving : 3.01 3049 0
1800.03/1800.05 c pscostdiving : 3.10 3049 0
1800.03/1800.05 c fracdiving : 3.21 3049 0
1800.03/1800.05 c veclendiving : 3.05 3049 0
1800.03/1800.05 c linesearchdiving : 3.15 3049 0
1800.03/1800.05 c guideddiving : 2.97 3050 0
1800.03/1800.05 c objpscostdiving : 3.05 2961 0
1800.03/1800.05 c rootsoldiving : 3.41 2968 0
1800.03/1800.05 c trivial : 0.00 2 0
1800.03/1800.05 c simplerounding : 0.40 275693 0
1800.03/1800.05 c zirounding : 0.07 1000 0
1800.03/1800.05 c rounding : 1.84 7391 0
1800.03/1800.05 c shifting : 1.29 2247 0
1800.03/1800.05 c twoopt : 0.00 0 0
1800.03/1800.05 c fixandinfer : 0.00 0 0
1800.03/1800.05 c intdiving : 0.00 0 0
1800.03/1800.05 c actconsdiving : 0.00 0 0
1800.03/1800.05 c octane : 0.00 0 0
1800.03/1800.05 c rens : 0.02 1 0
1800.03/1800.05 c rins : 0.00 0 0
1800.03/1800.05 c localbranching : 0.00 0 0
1800.03/1800.05 c mutation : 0.00 0 0
1800.03/1800.05 c dins : 0.00 0 0
1800.03/1800.05 c undercover : 0.00 0 0
1800.03/1800.05 c nlp : 0.08 0 0
1800.03/1800.05 c trysol : 1.01 7847 103
1800.03/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.05 c dual LP : 366.61 308717 2047322 6.63 5584.47
1800.03/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.05 c diving/probing LP: 0.27 127 2118 16.68 7844.44
1800.03/1800.05 c strong branching : 14.51 5464 100283 18.35 6911.30
1800.03/1800.05 c (at root node) : - 33 4603 139.48 -
1800.03/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.05 c B&B Tree :
1800.03/1800.05 c number of runs : 1
1800.03/1800.05 c nodes : 609238
1800.03/1800.05 c nodes (total) : 609238
1800.03/1800.05 c nodes left : 1265
1800.03/1800.05 c max depth : 185
1800.03/1800.05 c max depth (total): 185
1800.03/1800.05 c backtracks : 50763 (8.3%)
1800.03/1800.05 c delayed cutoffs : 44273
1800.03/1800.05 c repropagations : 1169120 (3087678 domain reductions, 42551 cutoffs)
1800.03/1800.05 c avg switch length: 5.31
1800.03/1800.05 c switching time : 318.80
1800.03/1800.05 c Solution :
1800.03/1800.05 c Solutions found : 199 (97 improvements)
1800.03/1800.05 c First Solution : +8.85000000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.03/1800.05 c Primal Bound : +3.00000000000000e+00 (in run 1, after 318201 nodes, 698.52 seconds, depth 41, found by <relaxation>)
1800.03/1800.05 c Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Gap : infinite
1800.03/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Root Iterations : 337
1800.22/1800.20 c Time complete: 1800.22.