------------------+------+--- Original --+-- Presolved --+----------------+----------------+------+--------+-------+-------+------- Name | Type | Conss | Vars | Conss | Vars | Dual Bound | Primal Bound | Gap% | Iters | Nodes | Time | ------------------+------+-------+-------+---------------+----------------+----------------+------+--------+-------+-------+------- fo7_2 MINLP 212 115 ?? ?? 17.7493444 17.7493444 0.0 0 103722 63.8 ok ( 1 - 1) fo7_ar2_1 MINLP 270 113 ?? ?? 24.8398403 24.8398403 0.0 0 52427 32.4 ok ( 1 - 1) fo7_ar25_1 MINLP 270 113 ?? ?? 23.0935651 23.0935651 0.0 0 38491 22.3 ok ( 1 - 1) fo7_ar3_1 MINLP 270 113 ?? ?? 22.5174691 22.5174691 0.0 0 44005 26.2 ok ( 1 - 1) fo7_ar4_1 MINLP 270 113 ?? ?? 20.7298251 20.7298251 0.0 0 70207 44.5 ok ( 1 - 1) fo7_ar5_1 MINLP 270 113 ?? ?? 17.7493279 17.7493279 0.0 0 18655 13.2 ok ( 1 - 1) fo7 MINLP 212 115 ?? ?? 20.7298246 20.7298246 0.0 0 206981 126.3 ok ( 1 - 1) fo8_ar2_1 MINLP 348 145 ?? ?? 30.3406096 30.3406096 0.0 0 437421 225.9 ok ( 1 - 1) fo8_ar25_1 MINLP 348 145 ?? ?? 28.0451814 28.0451814 0.0 0 305443 166.5 ok ( 1 - 1) fo8_ar3_1 MINLP 348 145 ?? ?? 23.9100495 23.9100495 0.0 0 162233 106.7 ok ( 1 - 1) fo8_ar4_1 MINLP 348 145 ?? ?? 22.381894 22.381894 0.0 0 166442 129.2 ok ( 1 - 1) fo8_ar5_1 MINLP 348 145 ?? ?? 22.3818894 22.3818965 0.0 0 129180 90.4 ok ( 1 - 1) fo8 MINLP 274 147 ?? ?? 22.3818962 22.3818962 0.0 0 605569 378.1 ok ( 1 - 1) fo9_ar2_1 MINLP 436 181 ?? ?? 32.624995 32.624995 0.0 0 2704643 1364.3 ok ( 1 - 1) fo9_ar25_1 MINLP 436 181 ?? ?? 29.7953732 32.1864287 8.0 0 12450093 7465.5 timeout ( 8 - 3) fo9_ar3_1 MINLP 436 181 ?? ?? 24.8154698 24.8154698 0.0 0 120271 80.3 ok ( 1 - 1) fo9_ar4_1 MINLP 436 181 ?? ?? 23.4642829 23.4642829 0.0 0 1040088 697.1 ok ( 1 - 1) fo9_ar5_1 MINLP 436 181 ?? ?? 23.4642788 23.4642788 0.0 0 1116605 914.9 ok ( 1 - 1) fo9 MINLP 344 183 ?? ?? 23.4642847 23.4642847 0.0 0 1075990 877.4 ok ( 1 - 1) m3 MINLP 44 27 ?? ?? 37.8 37.8 0.0 0 17 1.6 ok ( 1 - 1) m6 MINLP 158 87 ?? ?? 82.2568711 82.2568711 0.0 0 890 1.5 ok ( 1 - 1) m7_ar2_1 MINLP 270 113 ?? ?? 190.234962 190.234962 0.0 0 7410 4.1 ok ( 1 - 1) m7_ar25_1 MINLP 270 113 ?? ?? 143.585 143.585 0.0 0 1804 1.7 ok ( 1 - 1) m7_ar3_1 MINLP 270 113 ?? ?? 143.584969 143.584969 0.0 0 11644 6.5 ok ( 1 - 1) m7_ar4_1 MINLP 270 113 ?? ?? 106.756862 106.756872 0.0 0 630 1.3 ok ( 8 - 1) m7_ar5_1 MINLP 270 113 ?? ?? 106.459999 106.459999 0.0 0 17956 9.4 ok ( 1 - 1) m7 MINLP 212 115 ?? ?? 106.756877 106.756877 0.0 0 16013 9.0 ok ( 1 - 1) netmod_dol1 MINLP 3138 1999 ?? ?? -0.56000837 -0.56000837 0.0 0 66114 5289.3 ok ( 1 - 1) netmod_dol2 MINLP 3081 1999 ?? ?? -0.56000837 -0.56000837 0.0 0 119 38.4 ok ( 1 - 1) netmod_kar1 MINLP 667 457 ?? ?? -0.419789612 -0.419789612 0.0 0 298 4.0 ok ( 1 - 1) netmod_kar2 MINLP 667 457 ?? ?? -0.419789612 -0.419789612 0.0 0 298 3.7 ok ( 1 - 1) no7_ar2_1 MINLP 270 113 ?? ?? 107.815245 107.815245 0.0 0 27721 19.7 ok ( 1 - 1) no7_ar25_1 MINLP 270 113 ?? ?? 107.815289 107.815289 0.0 0 72438 52.1 ok ( 1 - 1) no7_ar3_1 MINLP 270 113 ?? ?? 107.815298 107.815298 0.0 0 280947 169.6 ok ( 1 - 1) no7_ar4_1 MINLP 270 113 ?? ?? 98.5184004 98.5184022 0.0 0 138953 101.1 ok ( 1 - 1) no7_ar5_1 MINLP 270 113 ?? ?? 90.6226659 90.6226659 0.0 0 92609 63.8 ok ( 1 - 1) o7_2 MINLP 212 115 ?? ?? 116.94592 116.94592 0.0 0 1879586 1270.4 ok ( 1 - 1) o7_ar2_1 MINLP 270 113 ?? ?? 140.411942 140.411958 0.0 0 129891 79.4 ok ( 1 - 1) o7_ar25_1 MINLP 270 113 ?? ?? 140.411951 140.411951 0.0 0 669325 466.6 ok ( 1 - 1) o7_ar3_1 MINLP 270 113 ?? ?? 137.931835 137.931835 0.0 0 1053808 715.5 ok ( 1 - 1) o7_ar4_1 MINLP 270 113 ?? ?? 131.653138 131.653138 0.0 0 1705683 1244.0 ok ( 1 - 1) o7_ar5_1 MINLP 270 113 ?? ?? 116.945847 116.945847 0.0 0 620025 418.3 ok ( 1 - 1) o7 MINLP 212 115 ?? ?? 131.653134 131.653134 0.0 0 2498329 1580.6 ok ( 1 - 1) o8_ar4_1 MINLP 348 145 ?? ?? 225.088925 243.070748 8.0 0 9351849 7421.8 timeout ( 8 - 3) o9_ar4_1 MINLP 436 181 ?? ?? 217.298544 236.138456 8.7 0 9094498 7411.2 timeout ( 8 - 3) tls12 MINLP 385 813 ?? ?? 1.66554818 1e+20 -- 0 619987 7392.0 timeout (14 - 3) tls2 MINLP 25 38 ?? ?? 5.3 5.3 0.0 0 5 0.2 ok ( 1 - 1) tls4 MINLP 65 106 ?? ?? 8.3 8.3 0.0 0 59960 59.0 ok ( 1 - 1) tls5 MINLP 91 162 ?? ?? 3.5 10.7 205.7 0 4475614 7519.9 timeout ( 8 - 3) tls6 MINLP 121 216 ?? ?? 3.7 15.6 321.6 0 2802946 7459.0 timeout ( 8 - 3) tls7 MINLP 155 346 ?? ?? 2.30936168 15.7 579.8 0 1708575 7409.9 timeout ( 8 - 3) BatchS101006M MINLP 1020 279 ?? ?? 769440.369 769440.42 0.0 0 25885 22.0 ok ( 8 - 1) BatchS121208M MINLP 1512 407 ?? ?? 1241125.32 1241125.51 0.0 0 22211 31.8 ok ( 8 - 1) BatchS151208M MINLP 1782 446 ?? ?? 1543470.9 1543472.4 0.0 0 268341 228.8 ok ( 8 - 1) BatchS201210M MINLP 2328 559 ?? ?? 2295348.85 2295348.85 0.0 0 10112 52.6 ok ( 1 - 1) clay0203h MINLP 133 91 ?? ?? 41572.7107 41573.3018 0.0 0 267 2.1 ok ( 1 - 1) clay0203m MIQCP 55 31 ?? ?? 41572.9465 41572.9465 0.0 0 44 0.4 ok ( 1 - 1) clay0204h MINLP 235 165 ?? ?? 6544.9996 6544.9996 0.0 0 1365 6.2 ok ( 1 - 1) clay0204m MIQCP 91 53 ?? ?? 6545 6545 0.0 0 613 1.2 ok ( 1 - 1) clay0205h MINLP 366 261 ?? ?? 77409.1237 77409.9646 0.0 0 2118 7.7 fail ( 1 - 1) clay0205m MIQCP 136 81 ?? ?? 8092.5 8092.5 0.0 0 7623 4.3 ok ( 1 - 1) clay0303h MINLP 151 100 ?? ?? 26667.6399 26669.1337 0.0 0 1209 6.0 ok ( 1 - 1) clay0303m MIQCP 67 34 ?? ?? 26669.0752 26669.0752 0.0 0 148 0.4 ok ( 1 - 1) clay0304h MINLP 259 177 ?? ?? 1e+20 1e+20 -- 0 143 1.8 fail (19 - 1) clay0304m MIQCP 107 57 ?? ?? 40262.1991 40262.1991 0.0 0 1033 1.2 ok ( 1 - 1) clay0305h MINLP 396 276 ?? ?? 8092.49951 8092.49951 0.0 0 17125 82.5 ok ( 1 - 1) clay0305m MIQCP 156 86 ?? ?? 8092.5 8092.5 0.0 0 13202 8.8 ok ( 1 - 1) FLay03H MINLP 145 123 ?? ?? 48.98979 48.98979 0.0 0 113 1.0 ok ( 1 - 1) FLay03M MINLP 25 27 ?? ?? 48.9897913 48.9897913 0.0 0 107 0.4 ok ( 1 - 1) FLay04H MINLP 283 235 ?? ?? 54.4058777 54.405882 0.0 0 2329 4.5 ok ( 1 - 1) FLay04M MINLP 43 43 ?? ?? 54.4058535 54.4058535 0.0 0 2342 2.3 ok ( 1 - 1) FLay05H MINLP 466 383 ?? ?? 64.4980549 64.498062 0.0 0 111898 233.3 ok ( 1 - 1) FLay05M MINLP 66 63 ?? ?? 64.4980551 64.498062 0.0 0 87409 59.8 ok ( 1 - 1) FLay06H MINLP 694 567 ?? ?? 64.4977654 66.9327944 3.8 0 2936065 7325.1 timeout ( 8 - 3) FLay06M MINLP 94 87 ?? ?? 66.9326394 66.9326885 0.0 0 4208366 2588.4 ok ( 8 - 1) RSyn0810H MINLP 484 344 ?? ?? 1721.44792 1721.44779 0.0 0 89 1.4 ok ( 1 - 1) RSyn0810M02H MINLP 1189 791 ?? ?? 1741.391 1741.38769 0.0 0 24463 84.1 ok ( 1 - 1) RSyn0810M02M MINLP 867 411 ?? ?? 1741.38822 1741.38686 0.0 0 35535 38.3 ok ( 1 - 1) RSyn0810M03H MINLP 1936 1186 ?? ?? 2727.87729 2722.44938 0.2 0 2014505 7332.5 timeout ( 8 - 3) RSyn0810M03M MINLP 1453 616 ?? ?? 2722.44983 2722.44801 0.0 0 115825 96.1 ok ( 1 - 1) RSyn0810M04H MINLP 2785 1581 ?? ?? 6581.94544 6581.93719 0.0 0 1280551 1795.2 ok ( 8 - 1) RSyn0810M04M MINLP 2141 821 ?? ?? 6581.93672 6581.93441 0.0 0 849581 491.8 ok ( 8 - 1) RSyn0810M MINLP 313 186 ?? ?? 1721.44776 1721.44771 0.0 0 1333 1.7 ok ( 1 - 1) RSyn0820H MINLP 605 418 ?? ?? 1150.30395 1150.30107 0.0 0 44883 51.8 ok ( 1 - 1) RSyn0820M02H MINLP 1501 979 ?? ?? 1092.09436 1092.09159 0.0 0 1445031 3003.9 ok ( 8 - 1) RSyn0820M02M MINLP 1075 511 ?? ?? 1092.09146 1092.0911 0.0 0 158566 188.9 ok ( 1 - 1) RSyn0820M03H MINLP 2449 1468 ?? ?? 5603.43846 1986.59415 182.1 0 809177 7289.1 timeout ( 8 - 3) RSyn0820M03M MINLP 1810 766 ?? ?? 2028.81321 2028.81194 0.0 0 2396477 4048.0 ok ( 1 - 1) RSyn0820M04H MINLP 3529 1957 ?? ?? 7125.25034 2410.03871 195.6 0 596459 7287.6 timeout ( 8 - 3) RSyn0820M04M MINLP 2677 1021 ?? ?? 2970.3192 2450.7722 21.2 0 10346133 7435.3 timeout ( 8 - 3) RSyn0820M MINLP 372 216 ?? ?? 1150.30258 1150.30053 0.0 0 124911 32.0 ok ( 8 - 1) RSyn0840H MINLP 838 569 ?? ?? 325.555651 325.554562 0.0 0 46597 132.2 ok ( 1 - 1) RSyn0840M02H MINLP 2107 1361 ?? ?? 1498.61155 675.294076 121.9 0 1117752 7315.3 timeout ( 8 - 3) RSyn0840M02M MINLP 1481 721 ?? ?? 734.986452 734.983497 0.0 0 2232081 985.6 ok ( 8 - 1) RSyn0840M03H MINLP 3448 2041 ?? ?? 4158.7435 2673.98775 55.5 0 555757 7262.1 timeout ( 8 - 3) RSyn0840M03M MINLP 2509 1081 ?? ?? 3099.20635 2740.98781 13.1 0 11665653 7459.2 timeout ( 8 - 3) RSyn0840M04H MINLP 4981 2721 ?? ?? 7880.53804 2485.34519 217.1 0 452952 7260.5 timeout ( 8 - 3) RSyn0840M04M MINLP 3729 1441 ?? ?? 3253.2205 2562.48403 27.0 0 3327558 7314.8 timeout ( 8 - 3) RSyn0840M MINLP 485 281 ?? ?? 325.554987 325.554507 0.0 0 760 2.1 ok ( 1 - 1) SLay05H MIQCP 291 231 ?? ?? 22664.6782 22664.6782 0.0 0 1041 4.7 ok ( 1 - 1) SLay05M MIQCP 91 71 ?? ?? 22664.6782 22664.6782 0.0 0 31 1.0 ok ( 1 - 1) SLay06H MIQCP 436 343 ?? ?? 32757.0196 32757.0196 0.0 0 1148 6.0 ok ( 1 - 1) SLay06M MIQCP 136 103 ?? ?? 32757.0195 32757.0195 0.0 0 793 3.5 ok ( 1 - 1) SLay07H MIQCP 610 477 ?? ?? 64748.8242 64748.8242 0.0 0 15268 112.4 ok ( 1 - 1) SLay07M MIQCP 190 141 ?? ?? 64748.8245 64748.8245 0.0 0 674 4.9 ok ( 1 - 1) SLay08H MIQCP 813 633 ?? ?? 84960.2113 84960.2113 0.0 0 2678 31.2 ok ( 1 - 1) SLay08M MIQCP 253 185 ?? ?? 84960.2117 84960.2117 0.0 0 1884 21.9 ok ( 1 - 1) SLay09H MIQCP 1045 811 ?? ?? 107805.752 107805.752 0.0 0 70840 987.7 ok ( 1 - 1) SLay09M MIQCP 325 235 ?? ?? 107805.752 107805.752 0.0 0 9146 74.6 ok ( 1 - 1) SLay10H MIQCP 1306 1011 ?? ?? 129579.882 129579.882 0.0 0 114230 1748.1 ok ( 1 - 1) SLay10M MIQCP 406 291 ?? ?? 129579.883 129579.883 0.0 0 14739 152.1 ok ( 1 - 1) Syn10H MINLP 113 78 ?? ?? 1267.35355 1267.35355 0.0 0 25 1.0 ok ( 1 - 1) Syn10M02H MINLP 295 195 ?? ?? 2310.30233 2310.30101 0.0 0 1881 1.9 ok ( 8 - 1) Syn10M02M MINLP 199 111 ?? ?? 2310.3017 2310.30131 0.0 0 81 0.9 ok ( 8 - 1) Syn10M03H MINLP 487 292 ?? ?? 3354.68585 3354.68337 0.0 0 24201 9.3 ok ( 8 - 1) Syn10M03M MINLP 343 166 ?? ?? 3354.68483 3354.6828 0.0 0 2431 1.6 ok ( 8 - 1) Syn10M04H MINLP 709 389 ?? ?? 4557.0662 4557.06303 0.0 0 37291 18.4 ok ( 8 - 1) Syn10M04M MINLP 517 221 ?? ?? 4557.06456 4557.06234 0.0 0 5801 2.6 ok ( 8 - 1) Syn10M MINLP 55 36 ?? ?? 1267.35355 1267.35355 0.0 0 1 0.3 ok ( 1 - 1) Syn20H MINLP 234 152 ?? ?? 924.266154 924.263425 0.0 0 689 1.7 ok ( 1 - 1) Syn20M02H MINLP 607 383 ?? ?? 1752.13506 1752.13346 0.0 0 73851 68.2 ok ( 8 - 1) Syn20M02M MINLP 407 211 ?? ?? 1752.13385 1752.1332 0.0 0 3050 2.1 ok ( 1 - 1) Syn20M03H MINLP 1000 574 ?? ?? 2646.95379 2646.9513 0.0 0 1467951 986.1 ok ( 8 - 1) Syn20M03M MINLP 700 316 ?? ?? 2646.95236 2646.95092 0.0 0 20368 8.0 ok ( 1 - 1) Syn20M04H MINLP 1453 765 ?? ?? 3532.74742 3532.74446 0.0 0 1705031 3311.8 ok ( 8 - 1) Syn20M04M MINLP 1053 421 ?? ?? 3532.74529 3532.74393 0.0 0 33606 18.0 ok ( 1 - 1) Syn20M MINLP 114 66 ?? ?? 924.26468 924.26331 0.0 0 883 1.1 ok ( 8 - 1) Syn40H MINLP 467 303 ?? ?? 67.7142867 67.7133866 0.0 0 48675 144.3 ok ( 1 - 1) Syn40M02H MINLP 1213 765 ?? ?? 670.029058 323.649382 107.0 0 1968814 7350.7 timeout ( 8 - 3) Syn40M02M MINLP 813 421 ?? ?? 388.774654 388.772357 0.0 0 243610 93.1 ok ( 8 - 1) Syn40M03H MINLP 1999 1147 ?? ?? 2303.55268 308.391055 647.0 0 753295 7276.8 timeout ( 8 - 3) Syn40M03M MINLP 1399 631 ?? ?? 395.150033 395.148047 0.0 0 3992375 1733.1 ok ( 8 - 1) Syn40M04H MINLP 2905 1529 ?? ?? 4353.90771 812.328788 436.0 0 748895 7277.5 timeout ( 8 - 3) Syn40M04M MINLP 2105 841 ?? ?? 1002.63594 901.601959 11.2 0 10541800 7472.6 timeout ( 8 - 3) Syn40M MINLP 227 131 ?? ?? 67.7134763 67.7132559 0.0 0 7071 3.2 ok ( 8 - 1) sssd-8-4-3 MINLP 41 61 ?? ?? 197181.467 197181.467 0.0 0 313770 114.0 ok ( 1 - 1) sssd-10-4-3 MINLP 43 69 ?? ?? 152709.942 152709.942 0.0 0 2519070 821.5 ok ( 1 - 1) sssd-12-5-3 MINLP 53 96 ?? ?? 191764.414 261505.941 36.4 0 19894793 8017.2 timeout ( 8 - 3) sssd-15-6-3 MINLP 64 133 ?? ?? 231881.526 441205.948 90.3 0 21144042 7976.2 timeout ( 8 - 3) sssd-16-8-3 MINLP 81 185 ?? ?? 331471.911 637615.272 92.4 0 14011524 7883.6 timeout ( 8 - 3) sssd-18-8-3 MINLP 83 201 ?? ?? 282965.565 572323.323 102.3 0 21312832 7993.3 timeout ( 8 - 3) sssd-20-9-3 MINLP 93 244 ?? ?? 270351.053 484845.783 79.3 0 12674523 7730.7 timeout ( 8 - 3) sssd-22-8-3 MINLP 87 233 ?? ?? 308893.693 657026.183 112.7 0 24617230 7982.2 timeout ( 8 - 3) uflquad-15-60 MIQCP 961 916 ?? ?? 1063.19289 1063.19289 0.0 0 863 1532.6 ok ( 1 - 1) uflquad-15-80 MIQCP 1281 1216 ?? ?? 724.856807 1249.90316 72.4 0 227 7220.8 timeout ( 8 - 3) uflquad-20-40 MIQCP 841 821 ?? ?? 860.960332 860.960332 0.0 0 1247 283.5 ok ( 1 - 1) uflquad-20-50 MIQCP 1051 1021 ?? ?? 149.114719 392.951191 163.5 0 375 7220.7 timeout ( 8 - 3) uflquad-25-25 MIQCP 651 651 ?? ?? 673.696652 673.696652 0.0 0 383 14.8 ok ( 1 - 1) uflquad-25-30 MIQCP 781 776 ?? ?? 669.839314 669.839314 0.0 0 313 19.1 ok ( 1 - 1) uflquad-25-40 MIQCP 1041 1026 ?? ?? 828.164301 828.164301 0.0 0 1751 291.0 ok ( 1 - 1) nd-10 MINLP 178 337 ?? ?? 48.3399657 1e+20 -- 0 1689480 7270.4 timeout (14 - 3) nd-12 MINLP 250 561 ?? ?? 52.8416595 61.6091072 16.6 0 1514851 7274.4 timeout ( 8 - 3) nd-13 MINLP 285 661 ?? ?? 55.0402271 1e+20 -- 0 2249344 7310.2 timeout (14 - 3) nd-15 MINLP 357 851 ?? ?? 69.2837687 1e+20 -- 0 1248878 7275.6 timeout (14 - 3) nd-16 MINLP 394 937 ?? ?? 84.6391843 1e+20 -- 0 1111898 7279.5 timeout (14 - 3) ------------------+------+-------+-------+-------+-------+----------------+----------------+------+--------+-------+-------+------- ------------------------------[Nodes]---------------[Time]------ Cnt Pass Time Fail total(k) geom. total geom. ---------------------------------------------------------------- 155 119 34 2 251838 44328.8 288702.2 111.7 shifted geom. [ 100/ 10.0] 51220.5 183.9 ---------------------------------------------------------------- @02 timelimit: 7200 @01 MYSCIP(minlp)