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-2692766-1277902506.wbo>
0.02/0.03 c original problem has 3863 variables (2047 bin, 0 int, 0 impl, 1816 cont) and 4524 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/0.05 c presolving:
0.02/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.02/0.09 c (round 2) 0 del vars, 71 del conss, 1816 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.10 c (round 3) 53 del vars, 157 del conss, 1835 chg bounds, 86 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.10 c (round 4) 125 del vars, 177 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.12 c (round 5) 145 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.12 c (round 6) 146 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.17 c (0.1s) probing: 101/1974 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (7 rounds):
0.09/0.17 c 146 deleted vars, 178 deleted constraints, 1836 tightened bounds, 0 added holes, 87 changed sides, 0 changed coefficients
0.09/0.17 c 1958 implications, 6 cliques
0.09/0.17 c presolved problem has 3717 variables (1974 bin, 0 int, 0 impl, 1743 cont) and 4346 constraints
0.09/0.17 c 1743 constraints of type <indicator>
0.09/0.17 c 6 constraints of type <setppc>
0.09/0.17 c 1743 constraints of type <linear>
0.09/0.17 c 854 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 0 | 27 | - | 13M| 0 | 16 |3717 |4346 |3717 | 860 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 88690
0.09/0.19 c y 0.1s| 1 | 0 | 38 | - | 13M| 0 | 16 |3717 |4346 |3717 | 860 | 0 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 71 | - | 13M| 0 | 21 |3717 |4346 |3717 | 878 | 18 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 129 | - | 14M| 0 | 33 |3717 |4346 |3717 | 904 | 44 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.29/0.31 c 0.2s| 1 | 0 | 152 | - | 14M| 0 | 47 |3717 |4346 |3717 | 914 | 54 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 168 | - | 14M| 0 | 43 |3717 |4346 |3717 | 918 | 58 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.39/0.48 c 0.4s| 1 | 0 | 180 | - | 14M| 0 | 45 |3717 |4346 |3717 | 922 | 62 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.49/0.55 c 0.5s| 1 | 0 | 187 | - | 14M| 0 | 48 |3717 |4346 |3717 | 925 | 65 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.89/0.96 c 0.9s| 1 | 2 | 187 | - | 14M| 0 | 48 |3717 |4346 |3717 | 925 | 65 | 0 | 33 | 0.000000e+00 | 8.869000e+04 | Inf
4.09/4.10 o 864
4.09/4.10 c * 3.9s| 1714 | 1040 | 1202 | 0.6 | 17M|1657 | - |3717 |4380 |3717 | 962 | 136 | 34 | 262 | 0.000000e+00 | 8.640000e+02 | Inf
13.30/13.30 o 857
13.30/13.30 c *12.8s| 6767 | 5480 | 8744 | 1.3 | 31M|1657 | - |3717 |5076 |3717 | 940 | 993 | 753 |1189 | 0.000000e+00 | 8.570000e+02 | Inf
14.29/14.32 o 833
14.29/14.32 c *13.7s| 7614 | 4936 | 9202 | 1.2 | 30M|1657 | - |3717 |5096 |3717 | 950 |1073 | 781 |1205 | 0.000000e+00 | 8.330000e+02 | Inf
16.69/16.79 o 830
16.69/16.79 c *16.1s| 8826 | 6025 | 12685 | 1.4 | 32M|1657 | - |3717 |5136 |3717 | 962 |1399 | 856 |1417 | 0.000000e+00 | 8.300000e+02 | Inf
17.19/17.20 o 800
17.19/17.20 c *16.4s| 9061 | 5437 | 13377 | 1.5 | 31M|1657 | - |3717 |5151 |3717 | 954 |1468 | 887 |1444 | 0.000000e+00 | 8.000000e+02 | Inf
17.59/17.61 o 798
17.59/17.61 c *16.8s| 9170 | 5511 | 14771 | 1.6 | 31M|1657 | - |3717 |5187 |3717 | 958 |1555 | 935 |1493 | 0.000000e+00 | 7.980000e+02 | Inf
17.69/17.70 o 794
17.69/17.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.69/17.70 c *16.9s| 9227 | 5493 | 14798 | 1.6 | 31M|1657 | - |3717 |5187 |3717 | 958 |1557 | 935 |1494 | 0.000000e+00 | 7.940000e+02 | Inf
19.70/19.71 c 18.9s| 10000 | 6187 | 21169 | 2.1 | 33M|1657 | 0 |3717 |5335 |3717 | 964 |2240 |1173 |1617 | 0.000000e+00 | 7.940000e+02 | Inf
20.19/20.27 o 785
20.19/20.27 c *19.4s| 10230 | 6172 | 23045 | 2.2 | 33M|1657 | - |3717 |5366 |3717 | 958 |2402 |1243 |1624 | 0.000000e+00 | 7.850000e+02 | Inf
21.49/21.59 o 783
21.49/21.59 c *20.6s| 10885 | 6684 | 26539 | 2.4 | 35M|1657 | - |3717 |5455 |3717 | 944 |2735 |1410 |1666 | 0.000000e+00 | 7.830000e+02 | Inf
23.29/23.38 o 768
23.29/23.38 c *22.4s| 11670 | 6792 | 32627 | 2.8 | 35M|1657 | - |3717 |5586 |3717 | 942 |3270 |1687 |1697 | 0.000000e+00 | 7.680000e+02 | Inf
23.69/23.71 o 763
23.69/23.71 c *22.7s| 11785 | 6717 | 33883 | 2.9 | 35M|1657 | - |3717 |5618 |3717 | 948 |3403 |1738 |1704 | 0.000000e+00 | 7.630000e+02 | Inf
24.59/24.60 o 726
24.59/24.60 c *23.5s| 12269 | 6249 | 36053 | 2.9 | 34M|1657 | - |3717 |5609 |3717 | 934 |3617 |1767 |1712 | 0.000000e+00 | 7.260000e+02 | Inf
24.69/24.77 o 714
24.69/24.77 c *23.7s| 12400 | 6032 | 36266 | 2.9 | 34M|1657 | - |3717 |5602 |3717 | 955 |3650 |1767 |1712 | 0.000000e+00 | 7.140000e+02 | Inf
25.19/25.27 o 708
25.19/25.27 c *24.2s| 12628 | 6058 | 37504 | 3.0 | 34M|1657 | - |3717 |5621 |3717 | 956 |3934 |1842 |1721 | 0.000000e+00 | 7.080000e+02 | Inf
26.29/26.34 o 702
26.29/26.34 c *25.2s| 13084 | 6312 | 41667 | 3.2 | 35M|1657 | - |3717 |5620 |3717 | 954 |4429 |2023 |1733 | 0.000000e+00 | 7.020000e+02 | Inf
28.69/28.70 o 685
28.69/28.70 c *27.4s| 14545 | 6925 | 45889 | 3.1 | 36M|1657 | - |3717 |5656 |3717 | 954 |5158 |2402 |1745 | 0.000000e+00 | 6.850000e+02 | Inf
31.20/31.20 o 682
31.20/31.20 c *29.9s| 15944 | 8089 | 52580 | 3.3 | 39M|1657 | - |3717 |5534 |3717 | 970 |5885 |2703 |1757 | 0.000000e+00 | 6.820000e+02 | Inf
31.20/31.22 o 671
31.20/31.22 c *29.9s| 15946 | 7660 | 52592 | 3.3 | 37M|1657 | - |3717 |5534 |3717 | 970 |5885 |2703 |1757 | 0.000000e+00 | 6.710000e+02 | Inf
31.20/31.24 o 660
31.20/31.24 c *29.9s| 15957 | 7328 | 52609 | 3.3 | 37M|1657 | - |3717 |5534 |3717 | 970 |5885 |2703 |1757 | 0.000000e+00 | 6.600000e+02 | Inf
31.20/31.24 o 643
31.20/31.24 c *29.9s| 15958 | 6797 | 52609 | 3.3 | 36M|1657 | - |3717 |5534 |3717 | 970 |5885 |2703 |1757 | 0.000000e+00 | 6.430000e+02 | Inf
31.90/31.94 o 640
31.90/31.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.90/31.94 c *30.6s| 16278 | 6928 | 55109 | 3.4 | 36M|1657 | - |3717 |5559 |3717 | 960 |6195 |2866 |1758 | 0.000000e+00 | 6.400000e+02 | Inf
31.90/32.00 o 633
31.90/32.00 c *30.6s| 16305 | 6745 | 55221 | 3.4 | 36M|1657 | - |3717 |5594 |3717 | 960 |6242 |2908 |1758 | 0.000000e+00 | 6.330000e+02 | Inf
31.99/32.04 o 619
31.99/32.04 c *30.7s| 16351 | 6448 | 55228 | 3.4 | 35M|1657 | - |3717 |5594 |3717 | 960 |6242 |2908 |1758 | 0.000000e+00 | 6.190000e+02 | Inf
34.10/34.16 o 603
34.10/34.16 c *32.7s| 17509 | 6769 | 61262 | 3.5 | 36M|1657 | - |3717 |5692 |3717 | 948 |6799 |3196 |1759 | 0.000000e+00 | 6.030000e+02 | Inf
35.10/35.11 o 531
35.10/35.11 c *33.6s| 18091 | 5358 | 62960 | 3.5 | 33M|1657 | - |3717 |5666 |3717 | 950 |6961 |3285 |1762 | 0.000000e+00 | 5.310000e+02 | Inf
35.39/35.43 o 526
35.39/35.43 c *33.9s| 18188 | 5334 | 64568 | 3.5 | 33M|1657 | - |3717 |5670 |3717 | 978 |7127 |3354 |1763 | 0.000000e+00 | 5.260000e+02 | Inf
35.39/35.44 o 520
35.39/35.44 c *33.9s| 18189 | 5206 | 64569 | 3.5 | 33M|1657 | - |3717 |5670 |3717 | 978 |7127 |3354 |1763 | 0.000000e+00 | 5.200000e+02 | Inf
36.89/36.91 o 511
36.89/36.91 c *35.3s| 19049 | 5656 | 67251 | 3.5 | 34M|1657 | - |3717 |5758 |3717 | 941 |7512 |3706 |1763 | 0.000000e+00 | 5.110000e+02 | Inf
36.89/36.91 o 502
36.89/36.91 c *35.3s| 19050 | 5425 | 67251 | 3.5 | 34M|1657 | - |3717 |5758 |3717 | 941 |7512 |3706 |1763 | 0.000000e+00 | 5.020000e+02 | Inf
37.89/37.95 o 490
37.89/37.95 c *36.3s| 19740 | 5687 | 68532 | 3.5 | 34M|1657 | - |3717 |5726 |3717 | 945 |7733 |3844 |1763 | 0.000000e+00 | 4.900000e+02 | Inf
38.19/38.28 o 466
38.19/38.28 c *36.6s| 19983 | 5270 | 69009 | 3.4 | 33M|1657 | - |3717 |5831 |3717 | 950 |7800 |3995 |1763 | 0.000000e+00 | 4.660000e+02 | Inf
38.29/38.34 c 36.7s| 20000 | 5285 | 69293 | 3.5 | 33M|1657 | 0 |3717 |5813 |3717 | 963 |7841 |4001 |1766 | 0.000000e+00 | 4.660000e+02 | Inf
38.49/38.59 o 461
38.49/38.59 c *37.0s| 20123 | 5275 | 69817 | 3.5 | 34M|1657 | - |3717 |5821 |3717 | 951 |7945 |4097 |1766 | 0.000000e+00 | 4.610000e+02 | Inf
38.89/38.90 o 457
38.89/38.90 c *37.2s| 20275 | 5307 | 70579 | 3.5 | 34M|1657 | - |3717 |5846 |3717 | 953 |8048 |4216 |1766 | 0.000000e+00 | 4.570000e+02 | Inf
39.09/39.18 o 456
39.09/39.18 c *37.5s| 20388 | 5372 | 71260 | 3.5 | 34M|1657 | - |3717 |5841 |3717 | 963 |8178 |4274 |1766 | 0.000000e+00 | 4.560000e+02 | Inf
39.19/39.24 o 449
39.19/39.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.19/39.24 c *37.6s| 20449 | 5252 | 71260 | 3.5 | 34M|1657 | - |3717 |5841 |3717 | 963 |8178 |4274 |1766 | 0.000000e+00 | 4.490000e+02 | Inf
39.90/39.98 o 441
39.90/39.98 c *38.3s| 20817 | 5348 | 73370 | 3.5 | 34M|1657 | - |3717 |5848 |3717 | 957 |8450 |4486 |1766 | 0.000000e+00 | 4.410000e+02 | Inf
40.19/40.27 o 440
40.19/40.27 c *38.6s| 20954 | 5447 | 74082 | 3.5 | 35M|1657 | - |3717 |5814 |3717 | 960 |8576 |4554 |1766 | 0.000000e+00 | 4.400000e+02 | Inf
40.19/40.28 o 437
40.19/40.28 c *38.6s| 20961 | 5404 | 74095 | 3.5 | 35M|1657 | - |3717 |5814 |3717 | 960 |8576 |4554 |1766 | 0.000000e+00 | 4.370000e+02 | Inf
42.09/42.15 o 430
42.09/42.15 c *40.4s| 21803 | 5790 | 79281 | 3.6 | 36M|1657 | - |3717 |5873 |3717 | 940 |9193 |5281 |1766 | 0.000000e+00 | 4.300000e+02 | Inf
44.09/44.11 o 428
44.09/44.11 c *42.2s| 22600 | 6372 | 85738 | 3.8 | 38M|1657 | - |3717 |5840 |3717 | 942 |9806 |5642 |1766 | 0.000000e+00 | 4.280000e+02 | Inf
44.09/44.11 o 424
44.09/44.11 c *42.2s| 22601 | 6267 | 85738 | 3.8 | 38M|1657 | - |3717 |5840 |3717 | 942 |9806 |5642 |1766 | 0.000000e+00 | 4.240000e+02 | Inf
44.49/44.59 o 414
44.49/44.59 c *42.7s| 22797 | 6143 | 87911 | 3.8 | 38M|1657 | - |3717 |5792 |3717 | 963 | 10k|5742 |1766 | 0.000000e+00 | 4.140000e+02 | Inf
47.49/47.51 o 400
47.49/47.51 c *45.5s| 24202 | 6665 | 95418 | 3.9 | 39M|1657 | - |3717 |5899 |3717 | 947 | 11k|6754 |1768 | 0.000000e+00 | 4.000000e+02 | Inf
47.99/48.00 o 397
47.99/48.00 c *46.0s| 24535 | 6839 | 96219 | 3.9 | 40M|1657 | - |3717 |6055 |3717 | 978 | 11k|7020 |1768 | 0.000000e+00 | 3.970000e+02 | Inf
48.40/48.44 o 393
48.40/48.44 c *46.4s| 24839 | 6976 | 96706 | 3.9 | 40M|1657 | - |3717 |6125 |3717 | 945 | 11k|7154 |1768 | 0.000000e+00 | 3.930000e+02 | Inf
48.40/48.46 o 384
48.40/48.46 c *46.4s| 24848 | 6722 | 96713 | 3.9 | 40M|1657 | - |3717 |6125 |3717 | 945 | 11k|7154 |1768 | 0.000000e+00 | 3.840000e+02 | Inf
48.60/48.65 o 352
48.60/48.65 c *46.6s| 24974 | 5922 | 96906 | 3.9 | 37M|1657 | - |3717 |6116 |3717 | 936 | 11k|7154 |1768 | 0.000000e+00 | 3.520000e+02 | Inf
48.99/49.00 o 339
48.99/49.00 c *46.9s| 25191 | 5787 | 97227 | 3.9 | 36M|1657 | - |3717 |6092 |3717 | 932 | 11k|7154 |1768 | 0.000000e+00 | 3.390000e+02 | Inf
48.99/49.00 o 330
48.99/49.00 c *46.9s| 25192 | 5622 | 97227 | 3.9 | 36M|1657 | - |3717 |6092 |3717 | 932 | 11k|7154 |1768 | 0.000000e+00 | 3.300000e+02 | Inf
49.09/49.20 o 322
49.09/49.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.09/49.20 c *47.1s| 25289 | 5538 | 97691 | 3.9 | 35M|1657 | - |3717 |6093 |3717 | 949 | 11k|7184 |1768 | 0.000000e+00 | 3.220000e+02 | Inf
50.90/50.97 o 313
50.90/50.97 c *48.8s| 26092 | 5769 |102791 | 3.9 | 36M|1657 | - |3717 |6089 |3717 | 960 | 11k|7653 |1770 | 0.000000e+00 | 3.130000e+02 | Inf
52.70/52.75 o 312
52.70/52.75 c *50.5s| 26999 | 6465 |106580 | 3.9 | 38M|1657 | - |3717 |5918 |3717 | 943 | 12k|7959 |1770 | 0.000000e+00 | 3.120000e+02 | Inf
52.80/52.88 o 291
52.80/52.88 c *50.6s| 27127 | 5790 |106590 | 3.9 | 37M|1657 | - |3717 |5918 |3717 | 943 | 12k|7959 |1770 | 0.000000e+00 | 2.910000e+02 | Inf
53.80/53.88 o 274
53.80/53.88 c *51.6s| 27623 | 5586 |108509 | 3.9 | 36M|1657 | - |3717 |5852 |3717 | 964 | 12k|8151 |1772 | 0.000000e+00 | 2.740000e+02 | Inf
53.80/53.88 o 263
53.80/53.88 c *51.6s| 27624 | 5369 |108509 | 3.9 | 35M|1657 | - |3717 |5852 |3717 | 964 | 12k|8151 |1772 | 0.000000e+00 | 2.630000e+02 | Inf
54.29/54.38 o 254
54.29/54.38 c *52.1s| 27838 | 5299 |109864 | 3.9 | 35M|1657 | - |3717 |5842 |3717 | 932 | 12k|8244 |1772 | 0.000000e+00 | 2.540000e+02 | Inf
54.79/54.86 o 247
54.79/54.86 c *52.5s| 28085 | 5335 |110704 | 3.9 | 35M|1657 | - |3717 |5834 |3717 | 973 | 13k|8266 |1772 | 0.000000e+00 | 2.470000e+02 | Inf
54.89/54.96 o 227
54.89/54.96 c *52.6s| 28131 | 5008 |110936 | 3.9 | 34M|1657 | - |3717 |5823 |3717 | 932 | 13k|8266 |1772 | 0.000000e+00 | 2.270000e+02 | Inf
55.40/55.40 o 222
55.40/55.40 c *53.0s| 28298 | 5004 |112307 | 4.0 | 35M|1657 | - |3717 |5884 |3717 | 933 | 13k|8407 |1772 | 0.000000e+00 | 2.220000e+02 | Inf
55.49/55.57 o 215
55.49/55.57 c *53.2s| 28381 | 4907 |112713 | 4.0 | 34M|1657 | - |3717 |5893 |3717 | 930 | 13k|8432 |1772 | 0.000000e+00 | 2.150000e+02 | Inf
55.80/55.83 o 189
55.80/55.83 c *53.5s| 28551 | 4502 |113188 | 4.0 | 33M|1657 | - |3717 |5894 |3717 | 954 | 13k|8446 |1772 | 0.000000e+00 | 1.890000e+02 | Inf
56.59/56.62 o 178
56.59/56.62 c *54.2s| 28796 | 4359 |116426 | 4.0 | 33M|1657 | - |3717 |5962 |3717 | 961 | 13k|8622 |1772 | 0.000000e+00 | 1.780000e+02 | Inf
57.10/57.16 o 150
57.10/57.16 c *54.7s| 29131 | 3862 |117259 | 4.0 | 32M|1657 | - |3717 |5950 |3717 | 945 | 13k|8642 |1772 | 0.000000e+00 | 1.500000e+02 | Inf
57.59/57.66 o 142
57.59/57.66 c *55.2s| 29372 | 3814 |118221 | 4.0 | 32M|1657 | - |3717 |5890 |3717 | 936 | 13k|8674 |1772 | 0.000000e+00 | 1.420000e+02 | Inf
58.79/58.83 o 136
58.79/58.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.79/58.83 c *56.3s| 29846 | 3767 |121479 | 4.1 | 33M|1657 | - |3717 |5774 |3717 | 949 | 13k|9149 |1772 | 0.000000e+00 | 1.360000e+02 | Inf
59.00/59.05 c 56.5s| 30000 | 3899 |121808 | 4.1 | 33M|1657 | 0 |3717 |5750 |3717 | 957 | 13k|9202 |1772 | 0.000000e+00 | 1.360000e+02 | Inf
60.30/60.39 o 117
60.30/60.39 c *57.8s| 30470 | 3431 |125737 | 4.1 | 33M|1657 | - |3717 |5705 |3717 | 937 | 14k|9698 |1772 | 0.000000e+00 | 1.170000e+02 | Inf
60.39/60.42 o 101
60.39/60.42 c *57.9s| 30476 | 3090 |125812 | 4.1 | 32M|1657 | - |3717 |5696 |3717 | 923 | 14k|9701 |1772 | 0.000000e+00 | 1.010000e+02 | Inf
64.29/64.39 o 93
64.29/64.39 c *61.7s| 31834 | 3053 |140232 | 4.4 | 33M|1657 | - |3717 |5639 |3717 | 946 | 14k| 10k|1772 | 0.000000e+00 | 9.300000e+01 | Inf
65.79/65.83 o 90
65.79/65.83 c *63.0s| 32331 | 2990 |143471 | 4.4 | 34M|1657 | - |3717 |5521 |3717 | 944 | 15k| 11k|1772 | 0.000000e+00 | 9.000000e+01 | Inf
66.29/66.35 o 88
66.29/66.35 c *63.5s| 32452 | 2974 |144996 | 4.5 | 34M|1657 | - |3717 |5435 |3717 | 950 | 15k| 11k|1772 | 0.000000e+00 | 8.800000e+01 | Inf
66.29/66.38 o 86
66.29/66.38 c *63.6s| 32457 | 2948 |145071 | 4.5 | 34M|1657 | - |3717 |5385 |3717 | 929 | 15k| 11k|1772 | 0.000000e+00 | 8.600000e+01 | Inf
66.49/66.51 o 82
66.49/66.51 c *63.7s| 32483 | 2890 |145397 | 4.5 | 35M|1657 | - |3717 |5306 |3717 | 930 | 15k| 11k|1772 | 0.000000e+00 | 8.200000e+01 | Inf
67.10/67.13 o 71
67.10/67.13 c *64.3s| 32701 | 1934 |146649 | 4.5 | 30M|1657 | - |3717 |5228 |3717 | 933 | 15k| 11k|1772 | 0.000000e+00 | 7.100000e+01 | Inf
84.60/84.68 c 81.0s| 40000 | 2332 |184405 | 4.6 | 39M|1657 | - |3717 |5566 | 0 | 0 | 17k| 19k|1894 | 0.000000e+00 | 7.100000e+01 | Inf
94.29/94.31 o 60
94.29/94.31 c *90.2s| 44130 | 2339 |207356 | 4.7 | 42M|1657 | - |3717 |5638 |3717 | 926 | 18k| 24k|1956 | 0.000000e+00 | 6.000000e+01 | Inf
108.80/108.84 c 104s| 50000 | 2581 |243202 | 4.9 | 47M|1657 | - |3717 |6086 | 0 | 0 | 20k| 32k|2096 | 0.000000e+00 | 6.000000e+01 | Inf
125.99/126.06 o 59
125.99/126.06 c * 121s| 57909 | 2835 |274093 | 4.7 | 52M|1657 | - |3717 |7180 |3717 | 934 | 22k| 42k|2199 | 0.000000e+00 | 5.900000e+01 | Inf
126.70/126.71 o 55
126.70/126.71 c * 121s| 58199 | 2768 |274930 | 4.7 | 50M|1657 | - |3717 |7254 |3717 | 922 | 22k| 42k|2208 | 0.000000e+00 | 5.500000e+01 | Inf
128.19/128.22 o 52
128.19/128.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.19/128.22 c * 123s| 58910 | 2696 |276909 | 4.7 | 49M|1657 | - |3717 |7306 |3717 | 932 | 22k| 43k|2234 | 0.000000e+00 | 5.200000e+01 | Inf
130.30/130.36 c 125s| 60000 | 2727 |280267 | 4.7 | 50M|1657 | - |3717 |7504 | 0 | 0 | 23k| 44k|2242 | 0.000000e+00 | 5.200000e+01 | Inf
131.59/131.64 o 48
131.59/131.64 c * 126s| 60581 | 2616 |282072 | 4.7 | 47M|1657 | - |3717 |7522 |3717 | 932 | 23k| 45k|2246 | 0.000000e+00 | 4.800000e+01 | Inf
140.29/140.39 o 38
140.29/140.39 c * 134s| 64741 | 2468 |296894 | 4.6 | 48M|1657 | - |3717 |8243 |3717 | 923 | 24k| 51k|2306 | 0.000000e+00 | 3.800000e+01 | Inf
145.49/145.52 o 27
145.49/145.52 c * 139s| 66995 | 2189 |308843 | 4.6 | 45M|1657 | - |3717 |5478 |3717 | 938 | 24k| 54k|2325 | 0.000000e+00 | 2.700000e+01 | Inf
145.99/146.06 o 25
145.99/146.06 c * 140s| 67188 | 2148 |310279 | 4.6 | 45M|1657 | - |3717 |4817 |3717 | 933 | 24k| 54k|2337 | 0.000000e+00 | 2.500000e+01 | Inf
150.39/150.47 o 24
150.39/150.47 c * 144s| 69672 | 2157 |320165 | 4.6 | 46M|1657 | - |3717 |6249 |3717 | 922 | 24k| 58k|2382 | 0.000000e+00 | 2.400000e+01 | Inf
150.49/150.50 o 16
150.49/150.50 c * 144s| 69684 | 1949 |320236 | 4.6 | 43M|1657 | - |3717 |6195 |3717 | 922 | 24k| 58k|2382 | 0.000000e+00 | 1.600000e+01 | Inf
150.90/150.93 o 7
150.90/150.93 c * 144s| 69933 | 1702 |321039 | 4.6 | 39M|1657 | - |3717 |6033 |3717 | 927 | 25k| 58k|2382 | 0.000000e+00 | 7.000000e+00 | Inf
150.90/150.93 o 5
150.90/150.93 c * 144s| 69934 | 1624 |321040 | 4.6 | 39M|1657 | - |3717 |6033 |3717 | 927 | 25k| 58k|2382 | 0.000000e+00 | 5.000000e+00 | Inf
150.99/151.02 c 144s| 70000 | 1629 |321221 | 4.6 | 39M|1657 | 9 |3717 |5825 |3717 | 922 | 25k| 58k|2382 | 0.000000e+00 | 5.000000e+00 | Inf
151.59/151.65 o 4
151.59/151.65 c * 145s| 70386 | 1527 |322709 | 4.6 | 37M|1657 | - |3717 |5018 |3717 | 926 | 25k| 59k|2383 | 0.000000e+00 | 4.000000e+00 | Inf
167.40/167.49 c 160s| 80000 | 1133 |366430 | 4.6 | 36M|1657 | - |3717 |8860 | 0 | 0 | 26k| 72k|2545 | 0.000000e+00 | 4.000000e+00 | Inf
182.50/182.59 c 174s| 90000 | 1139 |401473 | 4.5 | 38M|1657 | - |3717 | 11k| 0 | 0 | 27k| 86k|2677 | 0.000000e+00 | 4.000000e+00 | Inf
192.60/192.69 o 2
192.60/192.69 c * 184s| 96150 | 998 |425343 | 4.4 | 37M|1657 | - |3717 | 13k|3717 | 922 | 28k| 94k|2743 | 0.000000e+00 | 2.000000e+00 | Inf
199.40/199.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.40/199.44 c 190s|100000 | 957 |441175 | 4.4 | 37M|1657 | 9 |3717 | 12k|3717 | 922 | 28k| 100k|2820 | 0.000000e+00 | 2.000000e+00 | Inf
215.89/215.97 c 206s|110000 | 922 |483146 | 4.4 | 38M|1657 | 16 |3717 | 14k|3717 | 922 | 29k| 114k|2953 | 0.000000e+00 | 2.000000e+00 | Inf
233.70/233.72 c 223s|120000 | 969 |526157 | 4.4 | 40M|1657 | 26 |3717 | 19k|3717 | 922 | 30k| 128k|3077 | 0.000000e+00 | 2.000000e+00 | Inf
248.90/248.91 o 1
248.90/248.91 c * 237s|127714 | 747 |559958 | 4.4 | 39M|1657 | - |3717 | 19k|3717 | 922 | 31k| 139k|3183 | 0.000000e+00 | 1.000000e+00 | Inf
253.30/253.30 c 242s|130000 | 733 |568735 | 4.4 | 36M|1657 | - |3717 | 12k| 0 | 0 | 31k| 142k|3277 | 0.000000e+00 | 1.000000e+00 | Inf
269.89/269.92 c 257s|140000 | 532 |608839 | 4.3 | 35M|1657 | - |3717 | 12k|3717 | 938 | 32k| 155k|3393 | 0.000000e+00 | 1.000000e+00 | Inf
286.60/286.67 c 273s|150000 | 450 |646299 | 4.3 | 36M|1657 | 13 |3717 | 16k|3717 | 922 | 33k| 168k|3501 | 0.000000e+00 | 1.000000e+00 | Inf
305.90/305.96 c 292s|160000 | 491 |682125 | 4.3 | 39M|1657 | 17 |3717 | 23k|3717 | 922 | 34k| 182k|3624 | 0.000000e+00 | 1.000000e+00 | Inf
328.49/328.55 c 314s|170000 | 459 |722127 | 4.2 | 39M|1657 | - |3717 | 22k| 0 | 0 | 35k| 196k|3779 | 0.000000e+00 | 1.000000e+00 | Inf
349.50/349.58 c 334s|180000 | 455 |761141 | 4.2 | 40M|1657 | - |3717 | 26k| 0 | 0 | 36k| 209k|3865 | 0.000000e+00 | 1.000000e+00 | Inf
370.20/370.20 c 354s|190000 | 466 |796293 | 4.2 | 42M|1657 | 7 |3717 | 31k|3717 | 922 | 37k| 223k|3928 | 0.000000e+00 | 1.000000e+00 | Inf
392.50/392.52 c 376s|200000 | 512 |832727 | 4.2 | 44M|1657 | - |3717 | 35k|3717 | 929 | 38k| 237k|4053 | 0.000000e+00 | 1.000000e+00 | Inf
416.70/416.79 c 399s|210000 | 508 |869478 | 4.1 | 45M|1657 | 20 |3717 | 36k|3717 | 922 | 39k| 250k|4141 | 0.000000e+00 | 1.000000e+00 | Inf
442.70/442.73 c 425s|220000 | 549 |901313 | 4.1 | 47M|1657 | - |3717 | 40k| 0 | 0 | 40k| 264k|4211 | 0.000000e+00 | 1.000000e+00 | Inf
469.51/469.50 c 451s|230000 | 564 |932687 | 4.1 | 48M|1657 | 21 |3717 | 41k|3717 | 922 | 41k| 278k|4288 | 0.000000e+00 | 1.000000e+00 | Inf
497.70/497.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.70/497.71 c 478s|240000 | 670 |970578 | 4.0 | 50M|1657 | - |3717 | 45k| 0 | 0 | 42k| 292k|4358 | 0.000000e+00 | 1.000000e+00 | Inf
526.60/526.62 c 506s|250000 | 715 | 1006k| 4.0 | 52M|1657 | - |3717 | 46k| 0 | 0 | 43k| 306k|4425 | 0.000000e+00 | 1.000000e+00 | Inf
555.61/555.61 c 535s|260000 | 711 | 1042k| 4.0 | 51M|1657 | 1 |3717 | 44k|3717 | 922 | 44k| 321k|4515 | 0.000000e+00 | 1.000000e+00 | Inf
585.50/585.60 c 564s|270000 | 798 | 1079k| 4.0 | 53M|1657 | 15 |3717 | 47k|3717 | 922 | 45k| 335k|4606 | 0.000000e+00 | 1.000000e+00 | Inf
615.31/615.34 c 593s|280000 | 862 | 1115k| 4.0 | 54M|1657 | 1 |3717 | 48k|3717 | 922 | 46k| 350k|4683 | 0.000000e+00 | 1.000000e+00 | Inf
646.51/646.57 c 623s|290000 | 880 | 1151k| 4.0 | 55M|1657 | - |3717 | 50k| 0 | 0 | 47k| 365k|4748 | 0.000000e+00 | 1.000000e+00 | Inf
677.51/677.54 c 654s|300000 | 891 | 1186k| 4.0 | 56M|1657 | 10 |3717 | 51k|3717 | 922 | 48k| 380k|4805 | 0.000000e+00 | 1.000000e+00 | Inf
709.20/709.22 c 685s|310000 | 914 | 1222k| 3.9 | 57M|1657 | 18 |3717 | 52k|3717 | 922 | 49k| 395k|4878 | 0.000000e+00 | 1.000000e+00 | Inf
742.91/742.99 c 717s|320000 | 984 | 1260k| 3.9 | 60M|1657 | - |3717 | 56k| 0 | 0 | 50k| 409k|4952 | 0.000000e+00 | 1.000000e+00 | Inf
775.31/775.33 c 749s|330000 | 987 | 1297k| 3.9 | 60M|1657 | 8 |3717 | 57k|3717 | 922 | 51k| 425k|5019 | 0.000000e+00 | 1.000000e+00 | Inf
807.42/807.48 c 780s|340000 | 832 | 1333k| 3.9 | 55M|1657 | 21 |3717 | 49k|3717 | 922 | 52k| 440k|5098 | 0.000000e+00 | 1.000000e+00 | Inf
837.51/837.50 c 810s|350000 | 778 | 1370k| 3.9 | 55M|1657 | 18 |3717 | 48k|3717 | 922 | 53k| 455k|5167 | 0.000000e+00 | 1.000000e+00 | Inf
867.21/867.20 c 839s|360000 | 717 | 1404k| 3.9 | 53M|1657 | 1 |3717 | 45k|3717 | 922 | 54k| 469k|5224 | 0.000000e+00 | 1.000000e+00 | Inf
894.71/894.72 c 865s|370000 | 707 | 1441k| 3.9 | 52M|1657 | 22 |3717 | 41k|3717 | 930 | 55k| 482k|5293 | 0.000000e+00 | 1.000000e+00 | Inf
923.81/923.82 c 894s|380000 | 752 | 1480k| 3.9 | 54M|1657 | - |3717 | 45k| 0 | 0 | 56k| 497k|5368 | 0.000000e+00 | 1.000000e+00 | Inf
953.62/953.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.62/953.60 c 923s|390000 | 742 | 1518k| 3.9 | 53M|1657 | 1 |3717 | 43k|3717 | 922 | 57k| 510k|5436 | 0.000000e+00 | 1.000000e+00 | Inf
982.02/982.02 c 950s|400000 | 710 | 1555k| 3.9 | 53M|1657 | 6 |3717 | 42k|3717 | 922 | 58k| 524k|5512 | 0.000000e+00 | 1.000000e+00 | Inf
1008.91/1008.98 c 977s|410000 | 712 | 1591k| 3.9 | 54M|1657 | 11 |3717 | 45k|3717 | 922 | 58k| 537k|5571 | 0.000000e+00 | 1.000000e+00 | Inf
1038.11/1038.20 c 1005s|420000 | 647 | 1629k| 3.9 | 55M|1657 | - |3717 | 48k| 0 | 0 | 59k| 551k|5648 | 0.000000e+00 | 1.000000e+00 | Inf
1071.32/1071.38 c 1037s|430000 | 684 | 1670k| 3.9 | 57M|1657 | 13 |3717 | 55k|3717 | 922 | 61k| 565k|5718 | 0.000000e+00 | 1.000000e+00 | Inf
1103.22/1103.20 c 1069s|440000 | 489 | 1710k| 3.9 | 49M|1657 | - |3717 | 37k| 0 | 0 | 62k| 578k|6097 | 0.000000e+00 | 1.000000e+00 | Inf
1131.22/1131.25 c 1096s|450000 | 481 | 1750k| 3.9 | 50M|1657 | 13 |3717 | 39k|3717 | 922 | 62k| 591k|6111 | 0.000000e+00 | 1.000000e+00 | Inf
1157.02/1157.04 c 1121s|460000 | 488 | 1786k| 3.9 | 52M|1657 | - |3717 | 45k| 0 | 0 | 63k| 605k|6145 | 0.000000e+00 | 1.000000e+00 | Inf
1186.02/1186.01 c 1149s|470000 | 502 | 1821k| 3.9 | 54M|1657 | - |3717 | 52k| 0 | 0 | 65k| 618k|6195 | 0.000000e+00 | 1.000000e+00 | Inf
1218.52/1218.57 c 1181s|480000 | 521 | 1855k| 3.9 | 56M|1657 | - |3717 | 57k| 0 | 0 | 65k| 632k|6236 | 0.000000e+00 | 1.000000e+00 | Inf
1252.52/1252.59 c 1214s|490000 | 597 | 1893k| 3.9 | 57M|1657 | - |3717 | 58k| 0 | 0 | 67k| 646k|6289 | 0.000000e+00 | 1.000000e+00 | Inf
1287.12/1287.11 c 1248s|500000 | 564 | 1934k| 3.9 | 58M|1657 | - |3717 | 61k| 0 | 0 | 68k| 660k|6346 | 0.000000e+00 | 1.000000e+00 | Inf
1321.72/1321.78 c 1282s|510000 | 598 | 1968k| 3.9 | 56M|1657 | 10 |3717 | 53k|3717 | 922 | 69k| 673k|6418 | 0.000000e+00 | 1.000000e+00 | Inf
1356.23/1356.20 c 1316s|520000 | 611 | 2004k| 3.9 | 58M|1657 | - |3717 | 56k| 0 | 0 | 70k| 687k|6481 | 0.000000e+00 | 1.000000e+00 | Inf
1389.92/1389.98 c 1349s|530000 | 549 | 2041k| 3.9 | 56M|1657 | 12 |3717 | 51k|3717 | 922 | 70k| 702k|6552 | 0.000000e+00 | 1.000000e+00 | Inf
1421.53/1421.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1421.53/1421.53 c 1379s|540000 | 559 | 2076k| 3.8 | 57M|1657 | 13 |3717 | 56k|3717 | 922 | 72k| 716k|6597 | 0.000000e+00 | 1.000000e+00 | Inf
1457.13/1457.10 c 1414s|550000 | 540 | 2115k| 3.8 | 59M|1657 | - |3717 | 59k| 0 | 0 | 73k| 730k|6649 | 0.000000e+00 | 1.000000e+00 | Inf
1489.52/1489.59 c 1446s|560000 | 565 | 2150k| 3.8 | 58M|1657 | - |3717 | 58k| 0 | 0 | 74k| 744k|6702 | 0.000000e+00 | 1.000000e+00 | Inf
1524.64/1524.68 c 1480s|570000 | 575 | 2187k| 3.8 | 60M|1657 | 17 |3717 | 60k|3717 | 922 | 75k| 758k|6773 | 0.000000e+00 | 1.000000e+00 | Inf
1558.53/1558.60 c 1514s|580000 | 695 | 2225k| 3.8 | 62M|1657 | 4 |3717 | 65k|3717 | 922 | 76k| 773k|6830 | 0.000000e+00 | 1.000000e+00 | Inf
1597.43/1597.43 c 1552s|590000 | 644 | 2267k| 3.8 | 62M|1657 | - |3717 | 63k| 0 | 0 | 77k| 787k|6889 | 0.000000e+00 | 1.000000e+00 | Inf
1634.54/1634.54 c 1588s|600000 | 696 | 2302k| 3.8 | 64M|1657 | - |3717 | 68k| 0 | 0 | 78k| 802k|6917 | 0.000000e+00 | 1.000000e+00 | Inf
1675.04/1675.02 c 1628s|610000 | 709 | 2339k| 3.8 | 65M|1657 | 15 |3717 | 71k|3717 | 922 | 79k| 816k|6967 | 0.000000e+00 | 1.000000e+00 | Inf
1713.43/1713.48 c 1666s|620000 | 680 | 2375k| 3.8 | 65M|1657 | - |3717 | 70k| 0 | 0 | 80k| 830k|7032 | 0.000000e+00 | 1.000000e+00 | Inf
1750.83/1750.89 c 1702s|630000 | 678 | 2409k| 3.8 | 66M|1657 | 1 |3717 | 72k|3717 | 922 | 81k| 845k|7085 | 0.000000e+00 | 1.000000e+00 | Inf
1790.64/1790.62 c 1741s|640000 | 692 | 2444k| 3.8 | 67M|1657 | 17 |3717 | 75k|3717 | 922 | 82k| 860k|7141 | 0.000000e+00 | 1.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1750.69
1800.04/1800.01 c Solving Nodes : 642239
1800.04/1800.01 c Primal Bound : +1.00000000000000e+00 (258 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.04 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.04 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.04 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146
1800.04/1800.04 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.04/1800.04 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.04/1800.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
1800.04/1800.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
1800.04/1800.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
1800.04/1800.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
1800.04/1800.04 v -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1750.69
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2692766-1277902506.wbo
1800.04/1800.04 c Variables : 3863 (2047 binary, 0 integer, 0 implicit integer, 1816 continuous)
1800.04/1800.04 c Constraints : 4524 initial, 4524 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2692766-1277902506.wbo
1800.04/1800.04 c Variables : 3717 (1974 binary, 0 integer, 0 implicit integer, 1743 continuous)
1800.04/1800.04 c Constraints : 4346 initial, 76369 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 73 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 73 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 73 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.05 0 0 0 1836 0 105 87 0
1800.04/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1743 - - 3486 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 379057 0 13 426 0 0 689462
1800.04/1800.04 c indicator : 1743 0 586334 27795 0 448 3223446 0 0 0
1800.04/1800.04 c setppc : 6 6 3101706 17487 0 20035 818643 0 0 0
1800.04/1800.04 c linear : 1743 6 3101781 27842 0 168532 14047628 83102 0 0
1800.04/1800.04 c logicor : 854+ 6 1326002 24003 0 132149 3407876 0 0 0
1800.04/1800.04 c bounddisjunction : 0+ 0 1755 0 0 0 0 0 0 0
1800.04/1800.04 c countsols : 0 0 0 24003 0 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 18.97 0.00 0.00 18.97 0.00
1800.04/1800.04 c indicator : 8.01 0.00 6.19 1.82 0.00
1800.04/1800.04 c setppc : 7.38 0.00 7.38 0.00 0.00
1800.04/1800.04 c linear : 126.17 0.00 125.17 1.00 0.00
1800.04/1800.04 c logicor : 490.24 0.00 489.91 0.33 0.00
1800.04/1800.04 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 0.01 2 0 0
1800.04/1800.04 c rootredcost : 0.01 89 0 1743
1800.04/1800.04 c pseudoobj : 101.87 3136622 8088 2149782
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 18.25 328804 328202 2040820 29.5 12342 21.3 -
1800.04/1800.04 c infeasible LP : 2.41 8507 8507 67572 42.7 68 15.4 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.04 224 224 1491 21.8 157 5.0 -
1800.04/1800.04 c applied globally : - - - 863768 23.0 - - -
1800.04/1800.04 c applied locally : - - - 0 0.0 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 5 - - 33 - (maximal pool size: 142)
1800.04/1800.04 c redcost : 19.18 382575 0 1025933 0 0
1800.04/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.14 6 0 0 620 0
1800.04/1800.04 c strongcg : 0.08 6 0 0 225 0
1800.04/1800.04 c cmir : 0.03 6 0 0 1 0
1800.04/1800.04 c flowcover : 0.07 6 0 0 2 0
1800.04/1800.04 c clique : 0.00 6 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 1 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 18.91 345105 13 426 0 0 689462
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 1.96 23915 0 0 0 0 47830
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.03 - 88
1800.04/1800.04 c pseudo solutions : 0.00 - 0
1800.04/1800.04 c feaspump : 0.00 1 0
1800.04/1800.04 c intshifting : 0.00 3 0
1800.04/1800.04 c oneopt : 0.51 82 0
1800.04/1800.04 c linesearchdiving : 0.05 93 0
1800.04/1800.04 c guideddiving : 0.10 93 0
1800.04/1800.04 c pscostdiving : 0.14 93 0
1800.04/1800.04 c coefdiving : 0.10 94 0
1800.04/1800.04 c fracdiving : 0.06 94 0
1800.04/1800.04 c veclendiving : 0.08 94 0
1800.04/1800.04 c objpscostdiving : 0.09 91 0
1800.04/1800.04 c rootsoldiving : 0.15 91 0
1800.04/1800.04 c crossover : 1.83 80 0
1800.04/1800.04 c trivial : 0.01 2 0
1800.04/1800.04 c simplerounding : 0.45 346459 0
1800.04/1800.04 c zirounding : 0.21 1000 0
1800.04/1800.04 c rounding : 1.19 8276 0
1800.04/1800.04 c shifting : 1.01 2558 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.01 1 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.00 0 0
1800.04/1800.04 c trysol : 0.89 2453 170
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.04 c dual LP : 368.23 365624 2450184 6.70 6653.95
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 0.33 93 3000 32.26 9090.91
1800.04/1800.04 c strong branching : 15.68 7152 101849 14.24 6495.47
1800.04/1800.04 c (at root node) : - 33 3105 94.09 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 642239
1800.04/1800.04 c nodes (total) : 642239
1800.04/1800.04 c nodes left : 660
1800.04/1800.04 c max depth : 1657
1800.04/1800.04 c max depth (total): 1657
1800.04/1800.04 c backtracks : 70750 (11.0%)
1800.04/1800.04 c delayed cutoffs : 67313
1800.04/1800.04 c repropagations : 1374641 (4580687 domain reductions, 64431 cutoffs)
1800.04/1800.04 c avg switch length: 6.23
1800.04/1800.04 c switching time : 340.03
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 258 (89 improvements)
1800.04/1800.04 c First Solution : +8.86900000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.04/1800.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 127714 nodes, 237.44 seconds, depth 42, found by <relaxation>)
1800.04/1800.04 c Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Gap : infinite
1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Root Iterations : 187
1800.14/1800.16 c Time complete: 1800.2.