------------------+------+--- Original --+-- Presolved --+----------------+----------------+------+--------+-------+-------+------- Name | Type | Conss | Vars | Conss | Vars | Dual Bound | Primal Bound | Gap% | Iters | Nodes | Time | ------------------+------+-------+-------+---------------+----------------+----------------+------+--------+-------+-------+------- BatchS101006M MINLP 1020 279 ?? ?? 769440.42 769440.42 0.0 105331 0 7.7 ok ( 8 - 1) BatchS121208M MINLP 1512 407 ?? ?? 1241125.51 1241125.51 0.0 38440 0 7.2 ok ( 8 - 1) BatchS151208M MINLP 1782 446 ?? ?? 1543472.4 1543472.4 0.0 65621 0 13.1 ok ( 8 - 1) BatchS201210M MINLP 2328 559 ?? ?? 2295348.85 2295348.85 0.0 45325 0 12.8 ok ( 8 - 1) clay0203h MINLP 133 91 ?? ?? 41573.3018 41573.3018 0.0 93057 0 3.3 ok ( 8 - 1) clay0203m MIQCP 55 31 ?? ?? 41573.2625 41573.2625 0.0 55652 0 3.4 ok ( 8 - 1) clay0204h MINLP 235 165 ?? ?? 6545 6545 0.0 6914 0 0.4 ok ( 8 - 1) clay0204m MIQCP 91 53 ?? ?? 6545 6545 0.0 5199 0 0.4 ok ( 8 - 1) clay0205h MINLP 366 261 ?? ?? 8092.5 8092.5 0.0 1657374 0 38.3 ok ( 8 - 1) clay0205m MIQCP 136 81 ?? ?? 8092.5 8092.5 0.0 3339112 0 102.2 ok ( 8 - 1) clay0303h MINLP 151 100 ?? ?? 26669.1337 26669.1337 0.0 1340775 0 57.3 ok ( 8 - 1) clay0303m MIQCP 67 34 ?? ?? 26669.1096 26669.1096 0.0 531081 0 35.6 ok ( 8 - 1) clay0304h MINLP 259 177 ?? ?? 7228.14178 41807.3698 478.4 83429487 0 7236.7 timeout ( 8 - 3) clay0304m MIQCP 107 57 ?? ?? 7655 58918.0952 669.7 45801976 0 7231.5 timeout ( 8 - 3) clay0305h MINLP 396 276 ?? ?? 8092.5 8092.5 0.0 9467009 0 243.6 ok ( 8 - 1) clay0305m MIQCP 156 86 ?? ?? 8092.5 8092.5 0.0 22370100 0 1218.0 ok ( 8 - 1) FLay03H MINLP 145 123 ?? ?? 48.9897949 48.9897949 0.0 31424 0 1.8 ok ( 8 - 1) FLay03M MINLP 25 27 ?? ?? 48.9897949 48.9897949 0.0 8924 0 0.7 ok ( 8 - 1) FLay04H MINLP 283 235 ?? ?? 54.405882 54.405882 0.0 9824800 0 291.1 ok ( 8 - 1) FLay04M MINLP 43 43 ?? ?? 54.405882 54.405882 0.0 2244830 0 78.1 ok ( 8 - 1) FLay05H MINLP 466 383 ?? ?? 54.3082051 64.498062 18.8 166497600 0 7204.7 timeout ( 8 - 3) FLay05M MINLP 66 63 ?? ?? 62.8145038 64.498062 2.7 129786583 0 7205.9 timeout ( 8 - 3) FLay06H MINLP 694 567 ?? ?? 54.8468987 66.9328021 22.0 166746456 0 7201.8 timeout ( 8 - 3) FLay06M MINLP 94 87 ?? ?? 54.9992709 66.9328021 21.7 146500880 0 7203.4 timeout ( 8 - 3) RSyn0810H MINLP 484 344 ?? ?? 1721.44779 1721.44779 0.0 183 0 0.1 ok ( 8 - 1) RSyn0810M02H MINLP 1189 791 ?? ?? 1741.38769 1741.38769 0.0 2985 0 1.4 ok ( 8 - 1) RSyn0810M02M MINLP 867 411 ?? ?? 1741.38686 1741.38686 0.0 90628 0 4.3 ok ( 8 - 1) RSyn0810M03H MINLP 1936 1186 ?? ?? 2722.44938 2722.44938 0.0 5246 0 2.4 ok ( 8 - 1) RSyn0810M03M MINLP 1453 616 ?? ?? 2722.44801 2722.44801 0.0 118584 0 6.3 ok ( 8 - 1) RSyn0810M04H MINLP 2785 1581 ?? ?? 6580.9054 6580.9054 0.0 4477 0 3.6 fail ( 8 - 1) RSyn0810M04M MINLP 2141 821 ?? ?? 6579.90262 6579.90262 0.0 85347 0 7.6 fail ( 8 - 1) RSyn0810M MINLP 313 186 ?? ?? 1721.44771 1721.44771 0.0 1665 0 0.2 ok ( 8 - 1) RSyn0820H MINLP 605 418 ?? ?? 1150.30107 1150.30107 0.0 1102 0 0.5 ok ( 8 - 1) RSyn0820M02H MINLP 1501 979 ?? ?? 1092.09159 1092.09159 0.0 2740 0 1.7 ok ( 8 - 1) RSyn0820M02M MINLP 1075 511 ?? ?? 1092.0911 1092.0911 0.0 119827 0 7.8 ok ( 8 - 1) RSyn0820M03H MINLP 2449 1468 ?? ?? 2027.07824 2027.07824 0.0 4566 0 3.4 fail ( 8 - 1) RSyn0820M03M MINLP 1810 766 ?? ?? 2028.81194 2028.81194 0.0 351521 0 28.7 ok ( 8 - 1) RSyn0820M04H MINLP 3529 1957 ?? ?? 2450.77322 2450.77322 0.0 7431 0 5.4 ok ( 8 - 1) RSyn0820M04M MINLP 2677 1021 ?? ?? 2450.7722 2450.7722 0.0 2144685 0 215.3 ok ( 8 - 1) RSyn0820M MINLP 372 216 ?? ?? 1150.30053 1150.30053 0.0 1826 0 0.4 ok ( 8 - 1) RSyn0840H MINLP 838 569 ?? ?? 325.554562 325.554562 0.0 651 0 0.3 ok ( 8 - 1) RSyn0840M02H MINLP 2107 1361 ?? ?? 734.294076 734.294076 0.0 3047 0 1.8 fail ( 8 - 1) RSyn0840M02M MINLP 1481 721 ?? ?? 734.6556 734.6556 0.0 35633 0 3.0 fail ( 8 - 1) RSyn0840M03H MINLP 3448 2041 ?? ?? 2741.98734 2741.98734 0.0 3610 0 3.9 fail ( 8 - 1) RSyn0840M03M MINLP 2509 1081 ?? ?? 2742.64565 2742.64565 0.0 27669 0 3.4 ok ( 8 - 1) RSyn0840M04H MINLP 4981 2721 ?? ?? 2564.49995 2564.49995 0.0 5366 0 6.8 ok ( 8 - 1) RSyn0840M04M MINLP 3729 1441 ?? ?? 2563.50081 2563.50081 0.0 142032 0 17.4 fail ( 8 - 1) RSyn0840M MINLP 485 281 ?? ?? 325.554507 325.554507 0.0 3343 0 0.4 ok ( 8 - 1) SLay05H MIQCP 291 231 ?? ?? 22664.6787 22664.6787 0.0 59276 0 3.0 ok ( 8 - 1) SLay05M MIQCP 91 71 ?? ?? 22664.6787 22664.6787 0.0 7444 0 0.7 ok ( 8 - 1) SLay06H MIQCP 436 343 ?? ?? 32757.0202 32757.0202 0.0 285154 0 13.6 ok ( 8 - 1) SLay06M MIQCP 136 103 ?? ?? 32757.0202 32757.0202 0.0 22315 0 1.6 ok ( 8 - 1) SLay07H MIQCP 610 477 ?? ?? 64748.8253 64748.8253 0.0 227557 0 11.9 ok ( 8 - 1) SLay07M MIQCP 190 141 ?? ?? 64748.8253 64748.8253 0.0 782432 0 67.7 ok ( 8 - 1) SLay08H MIQCP 813 633 ?? ?? 84960.2124 84960.2124 0.0 30330901 0 3235.4 ok ( 8 - 1) SLay08M MIQCP 253 185 ?? ?? 84960.2124 84960.2124 0.0 1040390 0 62.3 ok ( 8 - 1) SLay09H MIQCP 1045 811 ?? ?? 104700.447 111142.838 6.2 52923163 0 7218.2 timeout ( 8 - 3) SLay09M MIQCP 325 235 ?? ?? 107805.753 107805.753 0.0 4847723 0 287.2 ok ( 8 - 1) SLay10H MIQCP 1306 1011 ?? ?? 121043.848 134181.665 10.9 47239012 0 7209.4 timeout ( 8 - 3) SLay10M MIQCP 406 291 ?? ?? 121471.965 134798.112 11.0 40626241 0 7231.9 timeout ( 8 - 3) Syn10H MINLP 113 78 ?? ?? 1267.35355 1267.35355 0.0 30 0 0.1 ok ( 8 - 1) Syn10M02H MINLP 295 195 ?? ?? 2310.30101 2310.30101 0.0 280 0 0.2 ok ( 8 - 1) Syn10M02M MINLP 199 111 ?? ?? 2310.30069 2310.30069 0.0 252 0 0.1 ok ( 8 - 1) Syn10M03H MINLP 487 292 ?? ?? 3354.68337 3354.68337 0.0 249 0 0.2 ok ( 8 - 1) Syn10M03M MINLP 343 166 ?? ?? 3354.6828 3354.6828 0.0 310 0 0.1 ok ( 8 - 1) Syn10M04H MINLP 709 389 ?? ?? 4557.06303 4557.06303 0.0 229 0 0.2 ok ( 8 - 1) Syn10M04M MINLP 517 221 ?? ?? 4557.06234 4557.06234 0.0 353 0 0.2 ok ( 8 - 1) Syn10M MINLP 55 36 ?? ?? 1267.35355 1267.35355 0.0 42 0 0.1 ok ( 8 - 1) Syn20H MINLP 234 152 ?? ?? 924.263425 924.263425 0.0 246 0 0.1 ok ( 8 - 1) Syn20M02H MINLP 607 383 ?? ?? 1750.64205 1750.64205 0.0 373 0 0.2 fail ( 8 - 1) Syn20M02M MINLP 407 211 ?? ?? 1752.1332 1752.1332 0.0 338 0 0.2 ok ( 8 - 1) Syn20M03H MINLP 1000 574 ?? ?? 2645.2168 2645.2168 0.0 326 0 0.3 fail ( 8 - 1) Syn20M03M MINLP 700 316 ?? ?? 2646.95092 2646.95092 0.0 461 0 0.2 ok ( 8 - 1) Syn20M04H MINLP 1453 765 ?? ?? 3531.00995 3531.00995 0.0 460 0 0.6 fail ( 8 - 1) Syn20M04M MINLP 1053 421 ?? ?? 3532.74393 3532.74393 0.0 579 0 0.4 ok ( 8 - 1) Syn20M MINLP 114 66 ?? ?? 924.26331 924.26331 0.0 177 0 0.1 ok ( 8 - 1) Syn40H MINLP 467 303 ?? ?? 67.7133866 67.7133866 0.0 1748 0 0.6 ok ( 8 - 1) Syn40M02H MINLP 1213 765 ?? ?? 388.772733 388.772733 0.0 2364 0 0.9 ok ( 8 - 1) Syn40M02M MINLP 813 421 ?? ?? 388.772357 388.772357 0.0 1292 0 0.2 ok ( 8 - 1) Syn40M03H MINLP 1999 1147 ?? ?? 395.148524 395.148524 0.0 3193 0 1.4 ok ( 8 - 1) Syn40M03M MINLP 1399 631 ?? ?? 395.065322 395.065322 0.0 2891 0 0.8 fail ( 8 - 1) Syn40M04H MINLP 2905 1529 ?? ?? 901.552509 901.552509 0.0 3577 0 1.6 fail ( 8 - 1) Syn40M04M MINLP 2105 841 ?? ?? 901.64232 901.64232 0.0 4525 0 1.2 fail ( 8 - 1) Syn40M MINLP 227 131 ?? ?? 67.7132558 67.7132558 0.0 675 0 0.2 ok ( 8 - 1) sssd-8-4-3 MINLP 41 61 ?? ?? 197181.475 197181.475 0.0 43725 0 1.6 ok ( 8 - 1) sssd-10-4-3 MINLP 43 69 ?? ?? 152709.944 152709.944 0.0 69238 0 2.2 ok ( 8 - 1) sssd-12-5-3 MINLP 53 96 ?? ?? 261184.391 261184.391 0.0 348057 0 12.6 fail ( 8 - 1) sssd-15-6-3 MINLP 64 133 ?? ?? 440807.597 440807.597 0.0 3304972 0 133.8 fail ( 8 - 1) sssd-16-8-3 MINLP 81 185 ?? ?? 615763.366 615763.366 0.0 28715291 0 1150.8 ok ( 8 - 1) sssd-18-8-3 MINLP 83 201 ?? ?? 524182.599 524182.599 0.0 48153203 0 1941.7 fail ( 8 - 1) sssd-20-9-3 MINLP 93 244 ?? ?? 451538.257 499063.86 10.5 135141552 0 7200.4 timeout ( 8 - 3) sssd-22-8-3 MINLP 87 233 ?? ?? 595970.69 595970.69 0.0 118323962 0 5898.3 ok ( 8 - 1) uflquad-15-60 MIQCP 961 916 ?? ?? 1063.1931 1063.1931 0.0 18377398 0 1507.0 ok ( 8 - 1) uflquad-15-80 MIQCP 1281 1216 ?? ?? 1217.98941 1217.98941 0.0 45973579 0 5141.1 ok ( 8 - 1) uflquad-20-40 MIQCP 841 821 ?? ?? 860.960565 860.960565 0.0 21144326 0 1880.2 ok ( 8 - 1) uflquad-20-50 MIQCP 1051 1021 ?? ?? 206.839527 392.873364 89.9 71029940 0 7209.8 timeout ( 8 - 3) uflquad-25-25 MIQCP 651 651 ?? ?? 673.696888 673.696888 0.0 2484544 0 187.5 ok ( 8 - 1) uflquad-25-30 MIQCP 781 776 ?? ?? 669.839561 669.839561 0.0 2075613 0 163.9 ok ( 8 - 1) uflquad-25-40 MIQCP 1041 1026 ?? ?? 828.164519 828.164519 0.0 45314199 0 4831.3 ok ( 8 - 1) nd-10 MINLP 178 337 ?? ?? 50.5321112 1e+20 -- 2840304 0 99.2 abort ( 9 - 4) nd-12 MINLP 250 561 ?? ?? 55.0098042 1e+20 -- 1448636 0 98.7 abort ( 9 - 4) nd-13 MINLP 285 661 ?? ?? 56.8960202 1e+20 -- 22036627 0 1506.4 abort ( 9 - 4) nd-15 MINLP 357 851 ?? ?? 72.6864347 1e+20 -- 75451241 0 7200.3 timeout ( 9 - 3) nd-16 MINLP 394 937 ?? ?? 88.4342507 1e+20 -- 59662420 0 7200.4 timeout ( 9 - 3) fo7_2 MINLP 212 115 ?? ?? 13.6383653 29.1530021 113.8 22829072 0 1670.3 abort ( 8 - 4) fo7_ar2_1 MINLP 270 113 ?? ?? 21.6067326 1e+20 -- 1728023 0 67.9 abort ( 9 - 4) fo7_ar25_1 MINLP 270 113 ?? ?? 19.5708308 1e+20 -- 135427 0 4.5 abort ( 9 - 4) fo7_ar3_1 MINLP 270 113 ?? ?? 22.517471 22.517471 0.0 138129676 0 6582.8 ok ( 8 - 1) fo7_ar4_1 MINLP 270 113 ?? ?? 20.7298037 20.7298037 0.0 10340796 0 491.4 ok ( 8 - 1) fo7_ar5_1 MINLP 270 113 ?? ?? 15.2564218 1e+20 -- 94083 0 3.2 abort ( 9 - 4) fo7 MINLP 212 115 ?? ?? 17.0221888 22.517471 32.3 3309134 0 190.5 abort ( 8 - 4) fo8_ar2_1 MINLP 348 145 ?? ?? 26.6723885 1e+20 -- 852483 0 25.3 abort ( 9 - 4) fo8_ar25_1 MINLP 348 145 ?? ?? 22.0587189 1e+20 -- 1124582 0 34.9 abort ( 9 - 4) fo8_ar3_1 MINLP 348 145 ?? ?? 21.4805349 1e+20 -- 390204 0 11.2 abort ( 9 - 4) fo8_ar4_1 MINLP 348 145 ?? ?? 20.2500015 22.3818965 10.5 107420668 0 7203.7 timeout ( 8 - 3) fo8_ar5_1 MINLP 348 145 ?? ?? 19.669266 34.4027647 74.9 126804252 0 7202.5 timeout ( 8 - 3) fo8 MINLP 274 147 ?? ?? 17.1125514 36.0982703 110.9 57197730 0 6025.6 abort ( 8 - 4) fo9_ar2_1 MINLP 436 181 ?? ?? 32.5766693 32.625 0.1 224442697 0 7200.2 timeout ( 8 - 3) fo9_ar25_1 MINLP 436 181 ?? ?? 23.8752547 1e+20 -- 713450 0 19.9 abort ( 9 - 4) fo9_ar3_1 MINLP 436 181 ?? ?? 22.8054473 1e+20 -- 10521145 0 349.5 abort ( 9 - 4) fo9_ar4_1 MINLP 436 181 ?? ?? 21.7500015 23.4642857 7.9 4279187 0 119.7 abort ( 8 - 4) fo9_ar5_1 MINLP 436 181 ?? ?? 20.9000662 1e+20 -- 17350523 0 508.1 abort ( 9 - 4) fo9 MINLP 344 183 ?? ?? 16.25 1e+20 -- 130934 0 9.1 abort ( 9 - 4) m3 MINLP 44 27 ?? ?? 37.8 37.8 0.0 1201 0 0.1 ok ( 8 - 1) m6 MINLP 158 87 ?? ?? 82.2568769 82.2568769 0.0 4001 0 0.6 ok ( 8 - 1) m7_ar2_1 MINLP 270 113 ?? ?? 190.235 190.235 0.0 331264 0 10.4 ok ( 8 - 1) m7_ar25_1 MINLP 270 113 ?? ?? 143.585 143.585 0.0 10464 0 0.8 ok ( 8 - 1) m7_ar3_1 MINLP 270 113 ?? ?? 143.584707 143.584707 0.0 36626032 0 1878.8 ok ( 8 - 1) m7_ar4_1 MINLP 270 113 ?? ?? 106.756878 106.756878 0.0 6051 0 0.7 ok ( 8 - 1) m7_ar5_1 MINLP 270 113 ?? ?? 98.8187379 1e+20 -- 497264 0 28.6 abort ( 9 - 4) m7 MINLP 212 115 ?? ?? 106.756877 106.756877 0.0 7292 0 0.5 ok ( 8 - 1) netmod_dol1 MINLP 3138 1999 ?? ?? -0.652230971 -0.512144274 27.4 36655373 0 7201.7 timeout ( 8 - 3) netmod_dol2 MINLP 3081 1999 ?? ?? -0.559713869 -0.559713869 0.0 2864861 0 526.1 fail ( 8 - 1) netmod_kar1 MINLP 667 457 ?? ?? -0.419789612 -0.419789612 0.0 6364739 0 635.0 ok ( 8 - 1) netmod_kar2 MINLP 667 457 ?? ?? -0.419789612 -0.419789612 0.0 6364739 0 634.4 ok ( 8 - 1) no7_ar2_1 MINLP 270 113 ?? ?? 107.862626 107.862626 0.0 533692 0 13.4 fail ( 8 - 1) no7_ar25_1 MINLP 270 113 ?? ?? 97.8957292 1e+20 -- 179440031 0 7200.8 timeout ( 9 - 3) no7_ar3_1 MINLP 270 113 ?? ?? 94.1870964 1e+20 -- 86584827 0 7201.3 timeout ( 9 - 3) no7_ar4_1 MINLP 270 113 ?? ?? 87.5343816 1e+20 -- 120083850 0 7205.1 timeout ( 9 - 3) no7_ar5_1 MINLP 270 113 ?? ?? 78.9396802 1e+20 -- 2425189 0 73.4 abort ( 9 - 4) o7_2 MINLP 212 115 ?? ?? 67.5532 1e+20 -- 167486766 0 7200.9 timeout ( 9 - 3) o7_ar2_1 MINLP 270 113 ?? ?? 140.411958 140.411958 0.0 133371084 0 4092.0 ok ( 8 - 1) o7_ar25_1 MINLP 270 113 ?? ?? 126.696082 1e+20 -- 199811151 0 7201.2 timeout ( 9 - 3) o7_ar3_1 MINLP 270 113 ?? ?? 121.844219 1e+20 -- 207687391 0 7200.8 timeout ( 9 - 3) o7_ar4_1 MINLP 270 113 ?? ?? 109.797245 1e+20 -- 203854731 0 7200.9 timeout ( 9 - 3) o7_ar5_1 MINLP 270 113 ?? ?? 104.319638 137.307965 31.6 210512316 0 7200.7 timeout ( 8 - 3) o7 MINLP 212 115 ?? ?? 73.21975 1e+20 -- 170601920 0 7200.8 timeout ( 9 - 3) o8_ar4_1 MINLP 348 145 ?? ?? 208.098777 1e+20 -- 210445050 0 7200.4 timeout ( 9 - 3) o9_ar4_1 MINLP 436 181 ?? ?? 198.501925 1e+20 -- 200970645 0 7200.3 timeout ( 9 - 3) tls12 MINLP 385 813 ?? ?? 7 1e+20 -- 59071801 0 7200.3 timeout ( 9 - 3) tls2 MINLP 25 38 ?? ?? 6.3 6.3 0.0 6376 0 0.9 fail ( 8 - 1) tls4 MINLP 65 106 ?? ?? 6.5 1e+20 -- 72153681 0 7200.7 timeout ( 9 - 3) tls5 MINLP 91 162 ?? ?? 4.9 1e+20 -- 68437636 0 7200.5 timeout ( 9 - 3) tls6 MINLP 121 216 ?? ?? 5.3 1e+20 -- 83891308 0 7200.2 timeout ( 9 - 3) tls7 MINLP 155 346 ?? ?? 3.7 1e+20 -- 128034569 0 7200.2 timeout ( 9 - 3) ------------------+------+-------+-------+-------+-------+----------------+----------------+------+--------+-------+-------+------- ------------------------------[Nodes]---------------[Time]------ Cnt Pass Time Fail total(k) geom. total geom. ---------------------------------------------------------------- 155 84 33 38 0 1.0 292301.1 53.8 shifted geom. [ 100/ 10.0] 0.0 121.6 ---------------------------------------------------------------- @02 timelimit: 7200 @01 DICOPT(dicopt-minlpconvex)