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-2692793-1277903887.wbo>
0.01/0.03 c original problem has 3891 variables (2061 bin, 0 int, 0 impl, 1830 cont) and 4538 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.05 c presolving:
0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.01/0.09 c (round 2) 0 del vars, 63 del conss, 1830 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.01/0.09 c (round 3) 48 del vars, 129 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.09/0.11 c (round 4) 107 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.12 c (round 5) 118 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.17 c (0.1s) probing: 101/2002 (5.0%) - 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 (6 rounds):
0.09/0.17 c 118 deleted vars, 140 deleted constraints, 1841 tightened bounds, 0 added holes, 66 changed sides, 0 changed coefficients
0.09/0.17 c 1960 implications, 7 cliques
0.09/0.17 c presolved problem has 3773 variables (2002 bin, 0 int, 0 impl, 1771 cont) and 4398 constraints
0.09/0.17 c 1771 constraints of type <indicator>
0.09/0.17 c 7 constraints of type <setppc>
0.09/0.17 c 1771 constraints of type <linear>
0.09/0.17 c 849 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.12
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 | 8 | - | 13M| 0 | 7 |3773 |4398 |3773 | 856 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 89215
0.09/0.19 c y 0.1s| 1 | 0 | 13 | - | 14M| 0 | 7 |3773 |4398 |3773 | 856 | 0 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 58 | - | 14M| 0 | 11 |3773 |4398 |3773 | 877 | 21 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 119 | - | 14M| 0 | 31 |3773 |4398 |3773 | 895 | 39 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 153 | - | 14M| 0 | 41 |3773 |4398 |3773 | 912 | 56 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 165 | - | 14M| 0 | 39 |3773 |4398 |3773 | 917 | 61 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.39/0.40 c 0.4s| 1 | 0 | 212 | - | 14M| 0 | 42 |3773 |4398 |3773 | 920 | 64 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.39/0.47 c 0.4s| 1 | 0 | 274 | - | 14M| 0 | 48 |3773 |4398 |3773 | 927 | 71 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.79/0.88 c 0.8s| 1 | 2 | 274 | - | 14M| 0 | 48 |3773 |4398 |3773 | 927 | 71 | 0 | 33 | 0.000000e+00 | 8.921500e+04 | Inf
21.79/21.90 c 21.6s| 10000 | 9985 | 36288 | 3.6 | 39M| 123 | 0 |3773 |4436 |3773 | 963 |3561 | 45 |1235 | 0.000000e+00 | 8.921500e+04 | Inf
38.59/38.61 c 38.1s| 20000 | 19977 | 59604 | 3.0 | 56M| 123 | 0 |3773 |4432 |3773 | 936 |5747 | 69 |1444 | 0.000000e+00 | 8.921500e+04 | Inf
54.49/54.51 c 53.8s| 30000 | 29975 | 77619 | 2.6 | 74M| 125 | 0 |3773 |4420 |3773 | 932 |8031 | 75 |1538 | 0.000000e+00 | 8.921500e+04 | Inf
69.99/70.08 c 69.2s| 40000 | 39955 | 93325 | 2.3 | 92M| 143 | 0 |3773 |4449 |3773 | 948 |9946 | 110 |1572 | 0.000000e+00 | 8.921500e+04 | Inf
70.49/70.54 o 705
70.49/70.54 c *69.7s| 40310 | 30206 | 93693 | 2.3 | 76M| 143 | - |3773 |4448 |3773 | 943 |9999 | 110 |1574 | 0.000000e+00 | 7.050000e+02 | Inf
90.19/90.21 o 703
90.19/90.21 c *89.1s| 49668 | 39224 |126686 | 2.5 | 94M| 143 | - |3773 |4907 |3773 | 942 | 15k|1008 |1627 | 0.000000e+00 | 7.030000e+02 | Inf
90.19/90.25 o 695
90.19/90.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.19/90.25 c *89.2s| 49680 | 39044 |126812 | 2.5 | 94M| 143 | - |3773 |4912 |3773 | 940 | 15k|1018 |1627 | 0.000000e+00 | 6.950000e+02 | Inf
90.99/91.07 c 90.0s| 50000 | 39340 |128649 | 2.6 | 95M| 143 | 6 |3773 |4907 |3773 | 929 | 16k|1083 |1627 | 0.000000e+00 | 6.950000e+02 | Inf
91.39/91.41 o 675
91.39/91.41 c *90.3s| 50134 | 38923 |129602 | 2.6 | 94M| 143 | - |3773 |4894 |3773 | 949 | 16k|1088 |1627 | 0.000000e+00 | 6.750000e+02 | Inf
94.19/94.25 o 655
94.19/94.25 c *93.1s| 51358 | 39521 |135110 | 2.6 | 96M| 143 | - |3773 |5057 |3773 | 962 | 17k|1482 |1628 | 0.000000e+00 | 6.550000e+02 | Inf
95.79/95.81 o 642
95.79/95.81 c *94.7s| 52015 | 39751 |138100 | 2.6 | 96M| 143 | - |3773 |5029 |3773 | 959 | 18k|1595 |1628 | 0.000000e+00 | 6.420000e+02 | Inf
95.99/96.00 o 635
95.99/96.00 c *94.8s| 52090 | 39620 |138528 | 2.7 | 96M| 143 | - |3773 |5026 |3773 | 963 | 18k|1616 |1628 | 0.000000e+00 | 6.350000e+02 | Inf
98.29/98.30 o 628
98.29/98.30 c *97.1s| 52926 | 40207 |143901 | 2.7 | 98M| 143 | - |3773 |4997 |3773 | 964 | 19k|1794 |1654 | 0.000000e+00 | 6.280000e+02 | Inf
101.79/101.85 o 626
101.79/101.85 c * 101s| 54449 | 41603 |150948 | 2.8 | 100M| 143 | - |3773 |4949 |3773 | 933 | 20k|1975 |1695 | 0.000000e+00 | 6.260000e+02 | Inf
102.49/102.51 o 623
102.49/102.51 c * 101s| 54721 | 41771 |152013 | 2.8 | 101M| 143 | - |3773 |4988 |3773 | 940 | 20k|2063 |1697 | 0.000000e+00 | 6.230000e+02 | Inf
102.49/102.51 o 622
102.49/102.51 c * 101s| 54722 | 41743 |152014 | 2.8 | 101M| 143 | - |3773 |4988 |3773 | 940 | 20k|2063 |1697 | 0.000000e+00 | 6.220000e+02 | Inf
112.49/112.56 o 593
112.49/112.56 c * 111s| 59303 | 45082 |170847 | 2.9 | 107M| 143 | - |3773 |5002 |3773 | 939 | 24k|2647 |1798 | 0.000000e+00 | 5.930000e+02 | Inf
114.69/114.73 c 113s| 60000 | 45668 |178161 | 3.0 | 108M| 143 | 15 |3773 |5045 |3773 | 935 | 25k|2896 |1842 | 0.000000e+00 | 5.930000e+02 | Inf
124.69/124.71 o 578
124.69/124.71 c * 123s| 64077 | 48847 |205099 | 3.2 | 116M| 143 | - |3773 |5233 |3773 | 942 | 29k|3816 |1948 | 0.000000e+00 | 5.780000e+02 | Inf
137.79/137.82 c 136s| 70000 | 54574 |229967 | 3.3 | 127M| 143 | 0 |3773 |4934 |3773 | 970 | 35k|4318 |2085 | 0.000000e+00 | 5.780000e+02 | Inf
140.19/140.27 o 575
140.19/140.27 c * 139s| 71050 | 55487 |234536 | 3.3 | 129M| 143 | - |3773 |4876 |3773 | 938 | 36k|4380 |2113 | 0.000000e+00 | 5.750000e+02 | Inf
140.39/140.40 o 571
140.39/140.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.39/140.40 c * 139s| 71104 | 55345 |234798 | 3.3 | 128M| 143 | - |3773 |4928 |3773 | 949 | 36k|4446 |2113 | 0.000000e+00 | 5.710000e+02 | Inf
161.60/161.69 c 160s| 80000 | 63789 |282290 | 3.5 | 147M| 143 | 0 |3773 |4929 |3773 | 954 | 46k|5598 |2332 | 0.000000e+00 | 5.710000e+02 | Inf
167.60/167.68 o 557
167.60/167.68 c * 166s| 82596 | 65656 |293495 | 3.6 | 151M| 143 | - |3773 |4894 |3773 | 956 | 49k|5883 |2420 | 0.000000e+00 | 5.570000e+02 | Inf
170.29/170.37 o 512
170.29/170.37 c * 168s| 83754 | 64321 |299233 | 3.6 | 148M| 143 | - |3773 |5115 |3773 | 944 | 50k|6333 |2428 | 0.000000e+00 | 5.120000e+02 | Inf
170.69/170.79 o 502
170.69/170.79 c * 169s| 83950 | 63908 |299856 | 3.6 | 147M| 143 | - |3773 |5192 |3773 | 944 | 50k|6433 |2428 | 0.000000e+00 | 5.020000e+02 | Inf
170.99/171.04 o 495
170.99/171.04 c * 169s| 84058 | 63467 |300336 | 3.6 | 146M| 143 | - |3773 |5290 |3773 | 938 | 50k|6574 |2428 | 0.000000e+00 | 4.950000e+02 | Inf
171.09/171.14 o 485
171.09/171.14 c * 169s| 84094 | 62801 |300505 | 3.6 | 145M| 143 | - |3773 |5302 |3773 | 939 | 50k|6599 |2428 | 0.000000e+00 | 4.850000e+02 | Inf
171.19/171.23 o 477
171.19/171.23 c * 169s| 84132 | 62252 |300675 | 3.6 | 144M| 143 | - |3773 |5302 |3773 | 974 | 50k|6608 |2428 | 0.000000e+00 | 4.770000e+02 | Inf
177.89/177.93 o 469
177.89/177.93 c * 176s| 86811 | 63871 |313496 | 3.6 | 148M| 143 | - |3773 |5494 |3773 | 953 | 54k|7482 |2500 | 0.000000e+00 | 4.690000e+02 | Inf
178.99/179.08 o 468
178.99/179.08 c * 177s| 87256 | 64047 |316505 | 3.6 | 149M| 143 | - |3773 |5707 |3773 | 957 | 54k|7814 |2501 | 0.000000e+00 | 4.680000e+02 | Inf
179.20/179.27 o 463
179.20/179.27 c * 177s| 87317 | 63704 |316998 | 3.6 | 148M| 143 | - |3773 |5690 |3773 | 963 | 54k|7825 |2503 | 0.000000e+00 | 4.630000e+02 | Inf
180.20/180.28 o 454
180.20/180.28 c * 178s| 87725 | 63233 |318970 | 3.6 | 147M| 143 | - |3773 |5667 |3773 | 936 | 55k|7976 |2508 | 0.000000e+00 | 4.540000e+02 | Inf
180.20/180.29 o 441
180.20/180.29 c * 178s| 87726 | 61932 |318970 | 3.6 | 145M| 143 | - |3773 |5667 |3773 | 936 | 55k|7976 |2508 | 0.000000e+00 | 4.410000e+02 | Inf
181.99/182.04 o 436
181.99/182.04 c * 180s| 88453 | 62154 |322635 | 3.6 | 146M| 143 | - |3773 |5633 |3773 | 967 | 56k|8122 |2515 | 0.000000e+00 | 4.360000e+02 | Inf
185.80/185.82 c 184s| 90000 | 63490 |329047 | 3.7 | 149M| 143 | 0 |3773 |5548 |3773 | 947 | 57k|8570 |2564 | 0.000000e+00 | 4.360000e+02 | Inf
195.89/195.94 o 426
195.89/195.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.89/195.94 c * 194s| 94100 | 66186 |351029 | 3.7 | 156M| 143 | - |3773 |5279 |3773 | 952 | 61k|9419 |2646 | 0.000000e+00 | 4.260000e+02 | Inf
202.60/202.62 o 416
202.60/202.62 c * 200s| 96869 | 67531 |364426 | 3.8 | 161M| 143 | - |3773 |5477 |3773 | 935 | 64k| 10k|2672 | 0.000000e+00 | 4.160000e+02 | Inf
203.89/203.97 o 407
203.89/203.97 c * 201s| 97415 | 66955 |366668 | 3.8 | 160M| 143 | - |3773 |5553 |3773 | 967 | 65k| 10k|2689 | 0.000000e+00 | 4.070000e+02 | Inf
204.79/204.84 o 367
204.79/204.84 c * 202s| 97774 | 62806 |367928 | 3.8 | 149M| 143 | - |3773 |5543 |3773 | 938 | 65k| 10k|2701 | 0.000000e+00 | 3.670000e+02 | Inf
207.90/207.94 o 366
207.90/207.94 c * 205s| 99020 | 63631 |373490 | 3.8 | 153M| 143 | - |3773 |5629 |3773 | 967 | 66k| 11k|2727 | 0.000000e+00 | 3.660000e+02 | Inf
208.19/208.24 o 363
208.19/208.24 c * 206s| 99121 | 63336 |374020 | 3.8 | 152M| 143 | - |3773 |5591 |3773 | 959 | 67k| 11k|2727 | 0.000000e+00 | 3.630000e+02 | Inf
210.40/210.40 c 208s|100000 | 64103 |377800 | 3.8 | 154M| 143 | 0 |3773 |5454 |3773 | 942 | 67k| 11k|2732 | 0.000000e+00 | 3.630000e+02 | Inf
211.99/212.08 o 358
211.99/212.08 c * 209s|100750 | 64119 |380651 | 3.8 | 154M| 143 | - |3773 |5410 |3773 | 953 | 68k| 11k|2737 | 0.000000e+00 | 3.580000e+02 | Inf
211.99/212.08 o 355
211.99/212.08 c * 209s|100751 | 63734 |380651 | 3.8 | 153M| 143 | - |3773 |5410 |3773 | 953 | 68k| 11k|2737 | 0.000000e+00 | 3.550000e+02 | Inf
212.39/212.45 o 352
212.39/212.45 c * 210s|100898 | 63482 |381299 | 3.8 | 152M| 143 | - |3773 |5442 |3773 | 951 | 68k| 11k|2737 | 0.000000e+00 | 3.520000e+02 | Inf
212.39/212.46 o 348
212.39/212.46 c * 210s|100899 | 62979 |381304 | 3.8 | 151M| 143 | - |3773 |5442 |3773 | 951 | 68k| 11k|2737 | 0.000000e+00 | 3.480000e+02 | Inf
212.49/212.56 o 332
212.49/212.56 c * 210s|100926 | 60724 |381452 | 3.8 | 146M| 143 | - |3773 |5439 |3773 | 954 | 68k| 11k|2737 | 0.000000e+00 | 3.320000e+02 | Inf
215.29/215.36 o 329
215.29/215.36 c * 213s|102073 | 60852 |387284 | 3.8 | 147M| 143 | - |3773 |5771 |3773 | 958 | 69k| 12k|2777 | 0.000000e+00 | 3.290000e+02 | Inf
218.29/218.39 o 319
218.29/218.39 c * 216s|103315 | 60320 |391923 | 3.8 | 148M| 143 | - |3773 |5687 |3773 | 947 | 71k| 12k|2791 | 0.000000e+00 | 3.190000e+02 | Inf
221.39/221.42 o 318
221.39/221.42 c * 219s|104524 | 61083 |397460 | 3.8 | 151M| 143 | - |3773 |5877 |3773 | 962 | 73k| 13k|2797 | 0.000000e+00 | 3.180000e+02 | Inf
224.30/224.36 o 312
224.30/224.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.30/224.36 c * 222s|105707 | 61073 |402782 | 3.8 | 152M| 143 | - |3773 |5962 |3773 | 937 | 74k| 13k|2801 | 0.000000e+00 | 3.120000e+02 | Inf
224.40/224.45 o 306
224.40/224.45 c * 222s|105732 | 60064 |402921 | 3.8 | 150M| 143 | - |3773 |5963 |3773 | 951 | 74k| 13k|2801 | 0.000000e+00 | 3.060000e+02 | Inf
226.80/226.87 o 305
226.80/226.87 c * 224s|106633 | 60597 |407529 | 3.8 | 152M| 143 | - |3773 |5896 |3773 | 957 | 76k| 13k|2843 | 0.000000e+00 | 3.050000e+02 | Inf
226.80/226.87 o 304
226.80/226.87 c * 224s|106634 | 60404 |407529 | 3.8 | 152M| 143 | - |3773 |5896 |3773 | 957 | 76k| 13k|2843 | 0.000000e+00 | 3.040000e+02 | Inf
226.90/226.91 o 302
226.90/226.91 c * 224s|106640 | 60077 |407658 | 3.8 | 151M| 143 | - |3773 |5894 |3773 | 962 | 76k| 13k|2843 | 0.000000e+00 | 3.020000e+02 | Inf
227.40/227.45 o 301
227.40/227.45 c * 225s|106851 | 60061 |408620 | 3.8 | 151M| 143 | - |3773 |5873 |3773 | 960 | 76k| 13k|2845 | 0.000000e+00 | 3.010000e+02 | Inf
229.09/229.14 o 298
229.09/229.14 c * 226s|107505 | 60042 |411666 | 3.8 | 152M| 143 | - |3773 |5963 |3773 | 942 | 77k| 14k|2867 | 0.000000e+00 | 2.980000e+02 | Inf
230.90/230.99 o 287
230.90/230.99 c * 228s|108278 | 59024 |415005 | 3.8 | 150M| 143 | - |3773 |6052 |3773 | 938 | 78k| 14k|2871 | 0.000000e+00 | 2.870000e+02 | Inf
231.60/231.66 o 284
231.60/231.66 c * 229s|108515 | 58729 |416115 | 3.8 | 150M| 143 | - |3773 |6062 |3773 | 947 | 78k| 14k|2874 | 0.000000e+00 | 2.840000e+02 | Inf
233.00/233.05 o 282
233.00/233.05 c * 230s|109004 | 58754 |419018 | 3.8 | 151M| 143 | - |3773 |6146 |3773 | 944 | 79k| 14k|2876 | 0.000000e+00 | 2.820000e+02 | Inf
233.00/233.07 o 281
233.00/233.07 c * 230s|109005 | 58588 |419022 | 3.8 | 150M| 143 | - |3773 |6145 |3773 | 944 | 79k| 14k|2876 | 0.000000e+00 | 2.810000e+02 | Inf
233.39/233.40 o 279
233.39/233.40 c * 230s|109133 | 58300 |419505 | 3.8 | 150M| 143 | - |3773 |6150 |3773 | 943 | 79k| 14k|2876 | 0.000000e+00 | 2.790000e+02 | Inf
233.79/233.80 o 278
233.79/233.80 c * 231s|109274 | 58267 |420126 | 3.8 | 151M| 143 | - |3773 |6189 |3773 | 952 | 79k| 14k|2876 | 0.000000e+00 | 2.780000e+02 | Inf
235.80/235.82 c 233s|110000 | 58640 |424168 | 3.9 | 153M| 143 | 0 |3773 |6329 |3773 | 969 | 80k| 15k|2880 | 0.000000e+00 | 2.780000e+02 | Inf
243.59/243.60 o 270
243.59/243.60 c * 241s|113258 | 58836 |439828 | 3.9 | 155M| 143 | - |3773 |6297 |3773 | 935 | 85k| 17k|2937 | 0.000000e+00 | 2.700000e+02 | Inf
243.59/243.62 o 257
243.59/243.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.59/243.62 c * 241s|113259 | 56249 |439828 | 3.9 | 148M| 143 | - |3773 |6296 |3773 | 935 | 85k| 17k|2937 | 0.000000e+00 | 2.570000e+02 | Inf
244.20/244.25 o 255
244.20/244.25 c * 241s|113492 | 55872 |441280 | 3.9 | 148M| 143 | - |3773 |6164 |3773 | 946 | 85k| 17k|2941 | 0.000000e+00 | 2.550000e+02 | Inf
244.20/244.25 o 253
244.20/244.25 c * 241s|113493 | 55460 |441280 | 3.9 | 147M| 143 | - |3773 |6164 |3773 | 946 | 85k| 17k|2941 | 0.000000e+00 | 2.530000e+02 | Inf
244.89/244.91 o 251
244.89/244.91 c * 242s|113716 | 55073 |442456 | 3.9 | 146M| 143 | - |3773 |6172 |3773 | 930 | 85k| 17k|2942 | 0.000000e+00 | 2.510000e+02 | Inf
246.09/246.17 o 248
246.09/246.17 c * 243s|114244 | 54502 |444969 | 3.9 | 146M| 143 | - |3773 |6262 |3773 | 966 | 86k| 18k|2943 | 0.000000e+00 | 2.480000e+02 | Inf
246.09/246.17 o 247
246.09/246.17 c * 243s|114245 | 54127 |444973 | 3.9 | 145M| 143 | - |3773 |6262 |3773 | 966 | 86k| 18k|2943 | 0.000000e+00 | 2.470000e+02 | Inf
252.49/252.57 o 246
252.49/252.57 c * 249s|116773 | 55620 |454908 | 3.9 | 151M| 143 | - |3773 |6092 |3773 | 955 | 89k| 19k|2987 | 0.000000e+00 | 2.460000e+02 | Inf
254.79/254.89 o 243
254.79/254.89 c * 252s|117572 | 55545 |459768 | 3.9 | 151M| 143 | - |3773 |6032 |3773 | 972 | 90k| 20k|2995 | 0.000000e+00 | 2.430000e+02 | Inf
256.20/256.27 o 230
256.20/256.27 c * 253s|118065 | 52309 |462143 | 3.9 | 144M| 143 | - |3773 |5993 |3773 | 962 | 90k| 20k|2999 | 0.000000e+00 | 2.300000e+02 | Inf
256.20/256.28 o 217
256.20/256.28 c * 253s|118066 | 49246 |462143 | 3.9 | 137M| 143 | - |3773 |5993 |3773 | 962 | 90k| 20k|2999 | 0.000000e+00 | 2.170000e+02 | Inf
256.30/256.31 o 212
256.30/256.31 c * 253s|118074 | 48145 |462187 | 3.9 | 134M| 143 | - |3773 |5988 |3773 | 948 | 90k| 20k|2999 | 0.000000e+00 | 2.120000e+02 | Inf
256.30/256.32 o 208
256.30/256.32 c * 253s|118075 | 47363 |462187 | 3.9 | 132M| 143 | - |3773 |5988 |3773 | 948 | 90k| 20k|2999 | 0.000000e+00 | 2.080000e+02 | Inf
256.30/256.39 o 207
256.30/256.39 c * 253s|118098 | 47160 |462329 | 3.9 | 132M| 143 | - |3773 |5977 |3773 | 949 | 90k| 20k|2999 | 0.000000e+00 | 2.070000e+02 | Inf
256.59/256.62 o 199
256.59/256.62 c * 253s|118169 | 45526 |462776 | 3.9 | 127M| 143 | - |3773 |6002 |3773 | 972 | 90k| 20k|2999 | 0.000000e+00 | 1.990000e+02 | Inf
256.59/256.62 o 186
256.59/256.62 c * 253s|118170 | 42831 |462776 | 3.9 | 120M| 143 | - |3773 |6002 |3773 | 972 | 90k| 20k|2999 | 0.000000e+00 | 1.860000e+02 | Inf
256.69/256.77 o 185
256.69/256.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.69/256.77 c * 254s|118207 | 42585 |463108 | 3.9 | 120M| 143 | - |3773 |5974 |3773 | 957 | 90k| 20k|2999 | 0.000000e+00 | 1.850000e+02 | Inf
256.69/256.77 o 184
256.69/256.77 c * 254s|118208 | 42312 |463110 | 3.9 | 119M| 143 | - |3773 |5974 |3773 | 957 | 90k| 20k|2999 | 0.000000e+00 | 1.840000e+02 | Inf
256.90/256.90 o 180
256.90/256.90 c * 254s|118250 | 41340 |463282 | 3.9 | 117M| 143 | - |3773 |5983 |3773 | 953 | 90k| 20k|2999 | 0.000000e+00 | 1.800000e+02 | Inf
257.19/257.28 o 177
257.19/257.28 c * 254s|118395 | 40845 |463834 | 3.9 | 117M| 143 | - |3773 |5999 |3773 | 953 | 90k| 20k|2999 | 0.000000e+00 | 1.770000e+02 | Inf
257.19/257.29 o 174
257.19/257.29 c * 254s|118396 | 40153 |463834 | 3.9 | 115M| 143 | - |3773 |5999 |3773 | 953 | 90k| 20k|2999 | 0.000000e+00 | 1.740000e+02 | Inf
257.30/257.34 o 169
257.30/257.34 c * 254s|118409 | 37877 |463920 | 3.9 | 110M| 143 | - |3773 |6001 |3773 | 947 | 90k| 20k|2999 | 0.000000e+00 | 1.690000e+02 | Inf
257.30/257.35 o 166
257.30/257.35 c * 254s|118410 | 36337 |463920 | 3.9 | 106M| 143 | - |3773 |6001 |3773 | 947 | 90k| 20k|2999 | 0.000000e+00 | 1.660000e+02 | Inf
257.40/257.48 o 163
257.40/257.48 c * 254s|118450 | 35127 |464108 | 3.9 | 104M| 143 | - |3773 |6007 |3773 | 947 | 91k| 20k|3006 | 0.000000e+00 | 1.630000e+02 | Inf
257.40/257.49 o 162
257.40/257.49 c * 254s|118454 | 34609 |464147 | 3.9 | 102M| 143 | - |3773 |6007 |3773 | 947 | 91k| 20k|3006 | 0.000000e+00 | 1.620000e+02 | Inf
257.50/257.50 o 159
257.50/257.50 c * 254s|118455 | 33706 |464148 | 3.9 | 100M| 143 | - |3773 |6007 |3773 | 947 | 91k| 20k|3006 | 0.000000e+00 | 1.590000e+02 | Inf
258.00/258.01 o 157
258.00/258.01 c * 255s|118638 | 33357 |464825 | 3.9 | 99M| 143 | - |3773 |5991 |3773 | 933 | 91k| 20k|3008 | 0.000000e+00 | 1.570000e+02 | Inf
258.00/258.02 o 154
258.00/258.02 c * 255s|118639 | 32690 |464825 | 3.9 | 98M| 143 | - |3773 |5991 |3773 | 933 | 91k| 20k|3008 | 0.000000e+00 | 1.540000e+02 | Inf
258.10/258.13 o 153
258.10/258.13 c * 255s|118666 | 31366 |465020 | 3.9 | 95M| 143 | - |3773 |5936 |3773 | 942 | 91k| 20k|3008 | 0.000000e+00 | 1.530000e+02 | Inf
260.50/260.58 o 128
260.50/260.58 c * 257s|119497 | 24311 |469050 | 3.9 | 82M| 143 | - |3773 |5788 |3773 | 954 | 91k| 21k|3025 | 0.000000e+00 | 1.280000e+02 | Inf
260.60/260.63 o 122
260.60/260.63 c * 257s|119510 | 23068 |469121 | 3.9 | 79M| 143 | - |3773 |5789 |3773 | 953 | 91k| 21k|3025 | 0.000000e+00 | 1.220000e+02 | Inf
260.60/260.64 o 119
260.60/260.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.60/260.64 c * 257s|119511 | 22462 |469121 | 3.9 | 78M| 143 | - |3773 |5789 |3773 | 953 | 91k| 21k|3025 | 0.000000e+00 | 1.190000e+02 | Inf
260.70/260.74 o 114
260.70/260.74 c * 257s|119535 | 21940 |469364 | 3.9 | 77M| 143 | - |3773 |5803 |3773 | 957 | 91k| 21k|3025 | 0.000000e+00 | 1.140000e+02 | Inf
260.70/260.77 o 84
260.70/260.77 c * 257s|119537 | 16012 |469379 | 3.9 | 63M| 143 | - |3773 |5803 |3773 | 957 | 91k| 21k|3025 | 0.000000e+00 | 8.400000e+01 | Inf
260.79/260.81 o 77
260.79/260.81 c * 258s|119543 | 14648 |469452 | 3.9 | 59M| 143 | - |3773 |5481 |3773 | 950 | 92k| 21k|3025 | 0.000000e+00 | 7.700000e+01 | Inf
260.89/260.97 o 71
260.89/260.97 c * 258s|119564 | 4993 |469771 | 3.9 | 38M| 143 | - |3773 |5242 |3773 | 938 | 92k| 21k|3033 | 0.000000e+00 | 7.100000e+01 | Inf
262.30/262.39 c 259s|120000 | 4882 |472010 | 3.9 | 40M| 143 | 1 |3773 |4851 |3773 | 929 | 92k| 21k|3052 | 0.000000e+00 | 7.100000e+01 | Inf
262.59/262.68 o 67
262.59/262.68 c * 259s|120104 | 4628 |472529 | 3.9 | 39M| 143 | - |3773 |4867 |3773 | 939 | 92k| 22k|3053 | 0.000000e+00 | 6.700000e+01 | Inf
263.59/263.64 o 58
263.59/263.64 c * 260s|120410 | 4208 |474631 | 3.9 | 39M| 143 | - |3773 |4869 |3773 | 934 | 92k| 22k|3058 | 0.000000e+00 | 5.800000e+01 | Inf
263.79/263.84 o 56
263.79/263.84 c * 260s|120459 | 4152 |475228 | 3.9 | 39M| 143 | - |3773 |4632 |3773 | 944 | 92k| 22k|3058 | 0.000000e+00 | 5.600000e+01 | Inf
268.40/268.48 o 55
268.40/268.48 c * 265s|122237 | 3665 |486703 | 4.0 | 41M| 143 | - |3773 |5351 |3773 | 931 | 92k| 25k|3062 | 0.000000e+00 | 5.500000e+01 | Inf
270.10/270.16 o 49
270.10/270.16 c * 267s|122952 | 3378 |490141 | 4.0 | 41M| 143 | - |3773 |5313 |3773 | 941 | 92k| 25k|3076 | 0.000000e+00 | 4.900000e+01 | Inf
270.39/270.49 o 44
270.39/270.49 c * 267s|123086 | 3269 |490607 | 4.0 | 41M| 143 | - |3773 |5008 |3773 | 939 | 92k| 26k|3080 | 0.000000e+00 | 4.400000e+01 | Inf
272.70/272.78 o 30
272.70/272.78 c * 269s|124193 | 2650 |495282 | 4.0 | 39M| 143 | - |3773 |5712 |3773 | 930 | 92k| 27k|3100 | 0.000000e+00 | 3.000000e+01 | Inf
273.39/273.42 o 26
273.39/273.42 c * 270s|124468 | 2417 |496785 | 4.0 | 38M| 143 | - |3773 |5140 |3773 | 930 | 92k| 28k|3103 | 0.000000e+00 | 2.600000e+01 | Inf
273.80/273.82 o 23
273.80/273.82 c * 270s|124643 | 2352 |497735 | 4.0 | 38M| 143 | - |3773 |4882 |3773 | 929 | 92k| 28k|3116 | 0.000000e+00 | 2.300000e+01 | Inf
280.70/280.73 o 21
280.70/280.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.70/280.73 c * 277s|128242 | 1983 |515658 | 4.0 | 38M| 143 | - |3773 |6042 |3773 | 929 | 94k| 33k|3152 | 0.000000e+00 | 2.100000e+01 | Inf
280.70/280.78 o 14
280.70/280.78 c * 277s|128272 | 1783 |515700 | 4.0 | 37M| 143 | - |3773 |5985 |3773 | 932 | 94k| 33k|3152 | 0.000000e+00 | 1.400000e+01 | Inf
280.80/280.80 o 12
280.80/280.80 c * 277s|128275 | 1678 |515709 | 4.0 | 36M| 143 | - |3773 |5815 |3773 | 932 | 94k| 33k|3152 | 0.000000e+00 | 1.200000e+01 | Inf
283.90/283.95 c 280s|130000 | 1571 |523746 | 4.0 | 36M| 143 | 11 |3773 |5842 |3773 | 923 | 94k| 35k|3195 | 0.000000e+00 | 1.200000e+01 | Inf
286.19/286.29 o 8
286.19/286.29 c * 282s|131287 | 1472 |529743 | 4.0 | 36M| 143 | - |3773 |5679 |3773 | 937 | 94k| 37k|3222 | 0.000000e+00 | 8.000000e+00 | Inf
300.20/300.29 c 296s|140000 | 1447 |564991 | 4.0 | 37M| 143 | 15 |3773 |9460 |3773 | 930 | 96k| 48k|3274 | 0.000000e+00 | 8.000000e+00 | Inf
317.50/317.51 c 313s|150000 | 1483 |606779 | 4.0 | 39M| 143 | 1 |3773 | 11k|3773 | 926 | 97k| 61k|3404 | 0.000000e+00 | 8.000000e+00 | Inf
335.40/335.43 c 331s|160000 | 1438 |650026 | 4.1 | 40M| 143 | 16 |3773 | 14k|3773 | 930 | 98k| 74k|3502 | 0.000000e+00 | 8.000000e+00 | Inf
337.60/337.67 o 7
337.60/337.67 c * 333s|161275 | 1446 |655371 | 4.1 | 40M| 143 | - |3773 | 15k|3773 | 938 | 98k| 76k|3514 | 0.000000e+00 | 7.000000e+00 | Inf
345.41/345.43 o 5
345.41/345.43 c * 341s|165558 | 1365 |673661 | 4.1 | 40M| 143 | - |3773 | 15k|3773 | 930 | 99k| 82k|3541 | 0.000000e+00 | 5.000000e+00 | Inf
346.50/346.59 o 4
346.50/346.59 c * 342s|166169 | 1365 |676235 | 4.1 | 39M| 143 | - |3773 | 14k|3773 | 930 | 99k| 82k|3557 | 0.000000e+00 | 4.000000e+00 | Inf
353.70/353.72 c 349s|170000 | 1350 |692999 | 4.1 | 40M| 143 | - |3773 | 15k| 0 | 0 | 99k| 88k|3586 | 0.000000e+00 | 4.000000e+00 | Inf
370.90/370.94 c 366s|180000 | 1168 |732210 | 4.1 | 38M| 143 | - |3773 | 12k| 0 | 0 | 100k| 101k|3707 | 0.000000e+00 | 4.000000e+00 | Inf
384.30/384.33 o 3
384.30/384.33 c * 379s|187710 | 1261 |761104 | 4.1 | 40M| 143 | - |3773 | 15k|3773 | 930 | 101k| 111k|3763 | 0.000000e+00 | 3.000000e+00 | Inf
388.40/388.41 c 383s|190000 | 1229 |768959 | 4.0 | 39M| 143 | 21 |3773 | 14k|3773 | 930 | 102k| 114k|3803 | 0.000000e+00 | 3.000000e+00 | Inf
405.60/405.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.60/405.60 c 400s|200000 | 1163 |804759 | 4.0 | 39M| 143 | 14 |3773 | 13k|3773 | 930 | 103k| 127k|3901 | 0.000000e+00 | 3.000000e+00 | Inf
424.20/424.27 c 418s|210000 | 1143 |846498 | 4.0 | 40M| 143 | 11 |3773 | 17k|3773 | 930 | 103k| 140k|3986 | 0.000000e+00 | 3.000000e+00 | Inf
444.80/444.80 c 438s|220000 | 1162 |887585 | 4.0 | 43M| 143 | 19 |3773 | 23k|3773 | 930 | 104k| 153k|4062 | 0.000000e+00 | 3.000000e+00 | Inf
467.51/467.54 c 461s|230000 | 1158 |926603 | 4.0 | 44M| 143 | 8 |3773 | 25k|3773 | 930 | 105k| 166k|4140 | 0.000000e+00 | 3.000000e+00 | Inf
489.40/489.42 c 483s|240000 | 1218 |963370 | 4.0 | 45M| 143 | - |3773 | 28k| 0 | 0 | 106k| 178k|4219 | 0.000000e+00 | 3.000000e+00 | Inf
512.30/512.39 c 505s|250000 | 1252 | 1000k| 4.0 | 47M| 143 | 5 |3773 | 32k|3773 | 930 | 107k| 192k|4277 | 0.000000e+00 | 3.000000e+00 | Inf
535.90/535.96 c 529s|260000 | 1199 | 1037k| 4.0 | 47M| 143 | - |3773 | 30k| 0 | 0 | 108k| 205k|4360 | 0.000000e+00 | 3.000000e+00 | Inf
560.50/560.52 c 553s|270000 | 1270 | 1074k| 4.0 | 48M| 143 | 1 |3773 | 32k|3773 | 930 | 109k| 219k|4427 | 0.000000e+00 | 3.000000e+00 | Inf
585.60/585.62 c 578s|280000 | 1280 | 1107k| 4.0 | 50M| 143 | - |3773 | 38k| 0 | 0 | 110k| 232k|4488 | 0.000000e+00 | 3.000000e+00 | Inf
612.71/612.79 c 605s|290000 | 1299 | 1140k| 3.9 | 53M| 143 | - |3773 | 43k| 0 | 0 | 111k| 246k|4541 | 0.000000e+00 | 3.000000e+00 | Inf
615.40/615.41 o 2
615.40/615.41 c * 607s|290936 | 1298 | 1143k| 3.9 | 53M| 143 | - |3773 | 43k|3773 | 936 | 111k| 247k|4548 | 0.000000e+00 | 2.000000e+00 | Inf
639.31/639.33 c 631s|300000 | 1265 | 1173k| 3.9 | 51M| 143 | 13 |3773 | 38k|3773 | 930 | 112k| 259k|4602 | 0.000000e+00 | 2.000000e+00 | Inf
664.90/664.91 c 656s|310000 | 1310 | 1205k| 3.9 | 52M| 143 | - |3773 | 41k| 0 | 0 | 114k| 273k|4655 | 0.000000e+00 | 2.000000e+00 | Inf
692.21/692.22 c 683s|320000 | 1405 | 1241k| 3.9 | 52M| 143 | 1 |3773 | 39k|3773 | 930 | 115k| 287k|4732 | 0.000000e+00 | 2.000000e+00 | Inf
719.41/719.43 c 710s|330000 | 1640 | 1279k| 3.9 | 55M| 143 | - |3773 | 41k| 0 | 0 | 116k| 302k|4794 | 0.000000e+00 | 2.000000e+00 | Inf
747.71/747.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.71/747.70 c 738s|340000 | 1693 | 1317k| 3.9 | 56M| 143 | - |3773 | 42k| 0 | 0 | 117k| 316k|4874 | 0.000000e+00 | 2.000000e+00 | Inf
776.40/776.48 c 767s|350000 | 1858 | 1358k| 3.9 | 58M| 143 | - |3773 | 45k| 0 | 0 | 118k| 331k|4932 | 0.000000e+00 | 2.000000e+00 | Inf
805.41/805.40 c 796s|360000 | 1829 | 1397k| 3.9 | 58M| 143 | 23 |3773 | 43k|3773 | 930 | 119k| 347k|4986 | 0.000000e+00 | 2.000000e+00 | Inf
832.31/832.33 c 822s|370000 | 1802 | 1434k| 3.9 | 59M| 143 | 1 |3773 | 44k|3773 | 930 | 120k| 362k|5041 | 0.000000e+00 | 2.000000e+00 | Inf
859.61/859.64 c 849s|380000 | 1740 | 1472k| 3.9 | 58M| 143 | 22 |3773 | 43k|3773 | 930 | 122k| 377k|5102 | 0.000000e+00 | 2.000000e+00 | Inf
886.70/886.78 c 876s|390000 | 1831 | 1510k| 3.9 | 60M| 143 | - |3773 | 46k| 0 | 0 | 123k| 392k|5157 | 0.000000e+00 | 2.000000e+00 | Inf
916.01/916.06 c 905s|400000 | 1704 | 1552k| 3.9 | 59M| 143 | - |3773 | 44k| 0 | 0 | 124k| 407k|5231 | 0.000000e+00 | 2.000000e+00 | Inf
944.61/944.60 c 933s|410000 | 1704 | 1592k| 3.9 | 60M| 143 | 1 |3773 | 47k|3773 | 930 | 125k| 420k|5304 | 0.000000e+00 | 2.000000e+00 | Inf
973.31/973.34 c 962s|420000 | 1708 | 1628k| 3.9 | 60M| 143 | - |3773 | 49k| 0 | 0 | 126k| 435k|5360 | 0.000000e+00 | 2.000000e+00 | Inf
1003.01/1003.08 c 991s|430000 | 1614 | 1665k| 3.9 | 58M| 143 | - |3773 | 44k| 0 | 0 | 128k| 449k|5421 | 0.000000e+00 | 2.000000e+00 | Inf
1032.41/1032.48 c 1021s|440000 | 1560 | 1703k| 3.9 | 58M| 143 | 19 |3773 | 44k|3773 | 930 | 129k| 463k|5479 | 0.000000e+00 | 2.000000e+00 | Inf
1060.22/1060.20 c 1048s|450000 | 1429 | 1741k| 3.9 | 55M| 143 | 1 |3773 | 37k|3773 | 930 | 130k| 478k|5525 | 0.000000e+00 | 2.000000e+00 | Inf
1061.71/1061.73 o 1
1061.71/1061.73 c *1050s|450688 | 1436 | 1744k| 3.9 | 55M| 143 | - |3773 | 38k|3773 | 930 | 130k| 479k|5535 | 0.000000e+00 | 1.000000e+00 | Inf
1084.21/1084.22 c 1072s|460000 | 1357 | 1782k| 3.9 | 53M| 143 | - |3773 | 35k|3773 | 940 | 131k| 494k|5592 | 0.000000e+00 | 1.000000e+00 | Inf
1108.02/1108.04 c 1095s|470000 | 1137 | 1830k| 3.9 | 46M| 143 | 11 |3773 | 25k|3773 | 930 | 133k| 507k|5785 | 0.000000e+00 | 1.000000e+00 | Inf
1132.72/1132.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.72/1132.79 c 1120s|480000 | 1173 | 1880k| 3.9 | 49M| 143 | - |3773 | 32k| 0 | 0 | 138k| 520k|5852 | 0.000000e+00 | 1.000000e+00 | Inf
1160.92/1160.93 c 1148s|490000 | 1157 | 1935k| 3.9 | 50M| 143 | 26 |3773 | 35k|3773 | 939 | 144k| 534k|5934 | 0.000000e+00 | 1.000000e+00 | Inf
1188.91/1188.92 c 1175s|500000 | 1161 | 1989k| 4.0 | 50M| 143 | - |3773 | 36k| 0 | 0 | 147k| 546k|6037 | 0.000000e+00 | 1.000000e+00 | Inf
1219.12/1219.14 c 1205s|510000 | 1160 | 2047k| 4.0 | 53M| 143 | 23 |3773 | 41k|3773 | 923 | 154k| 559k|6134 | 0.000000e+00 | 1.000000e+00 | Inf
1251.72/1251.70 c 1238s|520000 | 1233 | 2104k| 4.0 | 56M| 143 | - |3773 | 49k| 0 | 0 | 161k| 573k|6202 | 0.000000e+00 | 1.000000e+00 | Inf
1289.32/1289.30 c 1275s|530000 | 1186 | 2157k| 4.1 | 55M| 143 | 23 |3773 | 48k|3773 | 933 | 167k| 586k|6266 | 0.000000e+00 | 1.000000e+00 | Inf
1330.22/1330.23 c 1315s|540000 | 1201 | 2206k| 4.1 | 57M| 143 | - |3773 | 53k| 0 | 0 | 170k| 599k|6341 | 0.000000e+00 | 1.000000e+00 | Inf
1375.42/1375.41 c 1359s|550000 | 1265 | 2258k| 4.1 | 59M| 143 | 5 |3773 | 55k|3773 | 932 | 174k| 612k|6415 | 0.000000e+00 | 1.000000e+00 | Inf
1423.32/1423.32 c 1406s|560000 | 1223 | 2309k| 4.1 | 59M| 143 | - |3773 | 57k|3773 | 927 | 181k| 626k|6495 | 0.000000e+00 | 1.000000e+00 | Inf
1471.22/1471.27 c 1453s|570000 | 1286 | 2361k| 4.1 | 62M| 143 | - |3773 | 62k| 0 | 0 | 188k| 639k|6562 | 0.000000e+00 | 1.000000e+00 | Inf
1521.32/1521.35 c 1503s|580000 | 1241 | 2417k| 4.2 | 62M| 143 | 13 |3773 | 63k|3773 | 932 | 196k| 652k|6629 | 0.000000e+00 | 1.000000e+00 | Inf
1573.33/1573.31 c 1554s|590000 | 1269 | 2470k| 4.2 | 64M| 143 | - |3773 | 67k| 0 | 0 | 204k| 666k|6682 | 0.000000e+00 | 1.000000e+00 | Inf
1626.83/1626.83 c 1606s|600000 | 1260 | 2525k| 4.2 | 64M| 143 | - |3773 | 68k| 0 | 0 | 211k| 680k|6765 | 0.000000e+00 | 1.000000e+00 | Inf
1685.24/1685.25 c 1664s|610000 | 1337 | 2580k| 4.2 | 66M| 143 | - |3773 | 71k| 0 | 0 | 218k| 694k|6842 | 0.000000e+00 | 1.000000e+00 | Inf
1745.03/1745.06 c 1723s|620000 | 1362 | 2637k| 4.3 | 68M| 143 | 18 |3773 | 73k|3773 | 923 | 224k| 708k|6915 | 0.000000e+00 | 1.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1776.83
1800.03/1800.00 c Solving Nodes : 629678
1800.03/1800.00 c Primal Bound : +1.00000000000000e+00 (231 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.03 s SATISFIABLE
1800.03/1800.03 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.03 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.03 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.03 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.03 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.03 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.03 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.03 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.03/1800.03 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.03/1800.03 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.03 v -x1
1800.03/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.03 c Solving Time : 1776.83
1800.03/1800.03 c Original Problem :
1800.03/1800.03 c Problem name : HOME/instance-2692793-1277903887.wbo
1800.03/1800.03 c Variables : 3891 (2061 binary, 0 integer, 0 implicit integer, 1830 continuous)
1800.03/1800.03 c Constraints : 4538 initial, 4538 maximal
1800.03/1800.03 c Presolved Problem :
1800.03/1800.03 c Problem name : t_HOME/instance-2692793-1277903887.wbo
1800.03/1800.03 c Variables : 3773 (2002 binary, 0 integer, 0 implicit integer, 1771 continuous)
1800.03/1800.03 c Constraints : 4398 initial, 75698 maximal
1800.03/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.03 c trivial : 0.00 59 0 0 0 0 0 0 0
1800.03/1800.03 c dualfix : 0.00 59 0 0 0 0 0 0 0
1800.03/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 0.00 0 0 0 0 0 59 0 0
1800.03/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c linear : 0.06 0 0 0 1841 0 81 66 0
1800.03/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c root node : - 1771 - - 3542 - - - -
1800.03/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c integral : 0 0 0 433070 0 6 276 0 0 603248
1800.03/1800.03 c indicator : 1771 0 1911570 117314 0 256 3130484 0 0 0
1800.03/1800.03 c setppc : 7 6 2750469 110723 0 7099 851553 0 0 0
1800.03/1800.03 c linear : 1771 6 2776749 128155 0 179070 13245016 230567 0 0
1800.03/1800.03 c logicor : 849+ 6 1170185 94268 0 82751 2663970 0 0 0
1800.03/1800.03 c bounddisjunction : 0+ 0 23061 0 0 0 25 0 0 0
1800.03/1800.03 c countsols : 0 0 0 94268 0 0 0 0 0 0
1800.03/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.03 c integral : 18.68 0.00 0.00 18.68 0.00
1800.03/1800.03 c indicator : 24.77 0.00 9.86 14.91 0.00
1800.03/1800.03 c setppc : 7.38 0.00 7.34 0.04 0.00
1800.03/1800.03 c linear : 129.65 0.01 123.50 6.14 0.00
1800.03/1800.03 c logicor : 445.59 0.00 444.81 0.78 0.00
1800.03/1800.03 c bounddisjunction : 0.03 0.00 0.03 0.00 0.00
1800.03/1800.03 c countsols : 0.02 0.00 0.00 0.02 0.00
1800.03/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.03 c vbounds : 0.56 2 0 0
1800.03/1800.03 c rootredcost : 0.53 110 0 1771
1800.03/1800.03 c pseudoobj : 94.41 2792735 4978 1822749
1800.03/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.03 c propagation : 14.56 273898 273295 1655545 28.0 10942 20.1 -
1800.03/1800.03 c infeasible LP : 3.45 12101 12101 93064 43.1 103 17.6 0
1800.03/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c pseudo solution : 0.07 264 264 1527 16.9 206 5.0 -
1800.03/1800.03 c applied globally : - - - 722424 22.5 - - -
1800.03/1800.03 c applied locally : - - - 0 0.0 - - -
1800.03/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.03 c cut pool : 0.00 5 - - 24 - (maximal pool size: 124)
1800.03/1800.03 c redcost : 24.42 435999 0 1221663 0 0
1800.03/1800.03 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.03 c intobj : 0.00 0 0 0 0 0
1800.03/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.03 c gomory : 0.10 6 0 0 747 0
1800.03/1800.03 c strongcg : 0.05 6 0 0 87 0
1800.03/1800.03 c cmir : 0.02 6 0 0 0 0
1800.03/1800.03 c flowcover : 0.06 6 0 0 0 0
1800.03/1800.03 c clique : 0.00 6 0 0 0 0
1800.03/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.03 c mcf : 0.00 1 0 0 0 0
1800.03/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.03 c Pricers : Time Calls Vars
1800.03/1800.03 c problem variables: 0.00 0 0
1800.03/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c relpscost : 18.30 301859 6 276 0 0 603248
1800.03/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.03 c inference : 13.98 94159 0 0 0 0 188318
1800.03/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c random : 0.00 0 0 0 0 0 0
1800.03/1800.03 c Primal Heuristics : Time Calls Found
1800.03/1800.03 c LP solutions : 0.30 - 109
1800.03/1800.03 c pseudo solutions : 0.00 - 0
1800.03/1800.03 c feaspump : 0.00 1 0
1800.03/1800.03 c intshifting : 0.00 9 0
1800.03/1800.03 c oneopt : 0.56 92 0
1800.03/1800.03 c crossover : 2.66 121 0
1800.03/1800.03 c fracdiving : 3.87 3979 0
1800.03/1800.03 c veclendiving : 3.88 3979 0
1800.03/1800.03 c guideddiving : 3.90 3979 0
1800.03/1800.03 c coefdiving : 4.20 3979 0
1800.03/1800.03 c pscostdiving : 3.69 3979 0
1800.03/1800.03 c linesearchdiving : 4.10 3980 0
1800.03/1800.03 c objpscostdiving : 3.63 3389 0
1800.03/1800.03 c rootsoldiving : 3.52 3436 0
1800.03/1800.03 c trivial : 0.01 2 0
1800.03/1800.03 c simplerounding : 0.51 302373 0
1800.03/1800.03 c zirounding : 0.33 1000 0
1800.03/1800.03 c rounding : 1.50 7700 0
1800.03/1800.03 c shifting : 1.22 2398 0
1800.03/1800.03 c twoopt : 0.00 0 0
1800.03/1800.03 c fixandinfer : 0.00 0 0
1800.03/1800.03 c intdiving : 0.00 0 0
1800.03/1800.03 c actconsdiving : 0.00 0 0
1800.03/1800.03 c octane : 0.00 0 0
1800.03/1800.03 c rens : 0.02 1 0
1800.03/1800.03 c rins : 0.00 0 0
1800.03/1800.03 c localbranching : 0.00 0 0
1800.03/1800.03 c mutation : 0.00 0 0
1800.03/1800.03 c dins : 0.00 0 0
1800.03/1800.03 c undercover : 0.00 0 0
1800.03/1800.03 c nlp : 0.13 0 0
1800.03/1800.03 c trysol : 0.91 8116 122
1800.03/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.03 c dual LP : 411.45 359662 2688078 7.47 6533.18
1800.03/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.03 c diving/probing LP: 0.39 265 2716 10.25 6964.10
1800.03/1800.03 c strong branching : 15.37 6994 104511 14.94 6799.67
1800.03/1800.03 c (at root node) : - 33 3644 110.42 -
1800.03/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.03 c B&B Tree :
1800.03/1800.03 c number of runs : 1
1800.03/1800.03 c nodes : 629678
1800.03/1800.03 c nodes (total) : 629678
1800.03/1800.03 c nodes left : 1329
1800.03/1800.03 c max depth : 143
1800.03/1800.03 c max depth (total): 143
1800.03/1800.03 c backtracks : 64801 (10.3%)
1800.03/1800.03 c delayed cutoffs : 55234
1800.03/1800.03 c repropagations : 1134299 (3972908 domain reductions, 52628 cutoffs)
1800.03/1800.03 c avg switch length: 5.21
1800.03/1800.03 c switching time : 300.43
1800.03/1800.03 c Solution :
1800.03/1800.03 c Solutions found : 231 (110 improvements)
1800.03/1800.03 c First Solution : +8.92150000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.03/1800.03 c Primal Bound : +1.00000000000000e+00 (in run 1, after 450688 nodes, 1049.58 seconds, depth 59, found by <relaxation>)
1800.03/1800.03 c Dual Bound : +0.00000000000000e+00
1800.03/1800.03 c Gap : infinite
1800.03/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.03 c Root Iterations : 274
1800.13/1800.18 c Time complete: 1800.21.