------------------+------+--- 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 80025 0 11.8 ok ( 8 - 1) BatchS121208M MINLP 1512 407 ?? ?? 1241125.51 1241125.51 0.0 23281 0 6.6 ok ( 8 - 1) BatchS151208M MINLP 1782 446 ?? ?? 1543472.4 1543472.4 0.0 44953 0 11.2 ok ( 8 - 1) BatchS201210M MINLP 2328 559 ?? ?? 2295348.85 2295348.85 0.0 34022 0 8.3 ok ( 8 - 1) clay0303h MINLP 151 100 ?? ?? 26669.1337 26669.1337 0.0 1330415 0 74.3 ok ( 8 - 1) clay0304h MINLP 259 177 ?? ?? -1e+20 59328.7014 -- 42066039 0 3719.4 timeout ( 8 - 3) clay0304m MIQCP 107 57 ?? ?? -1e+20 1e+20 -- 0 0 2565.6 abort (13 - 13) clay0305h MINLP 396 276 ?? ?? 8092.5 8092.5 0.0 11987287 0 454.5 ok ( 8 - 1) clay0305m MIQCP 156 86 ?? ?? 8092.5 8092.5 0.0 11919265 0 696.0 ok ( 8 - 1) FLay04H MINLP 283 235 ?? ?? 54.405882 54.405882 0.0 10987238 0 450.5 ok ( 8 - 1) FLay05H MINLP 466 383 ?? ?? -1e+20 64.498062 -- 76723943 0 3935.9 timeout ( 8 - 3) FLay05M MINLP 66 63 ?? ?? -1e+20 64.498062 -- 51526164 0 4063.6 abort ( 8 - 4) FLay06M MINLP 94 87 ?? ?? -1e+20 66.9328021 -- 64883134 0 3629.4 timeout ( 8 - 3) fo7_2 MINLP 212 115 ?? ?? -1e+20 29.1530021 -- 32719634 0 3643.3 timeout ( 8 - 3) fo7 MINLP 212 115 ?? ?? -1e+20 22.517471 -- 1632971 0 148.5 abort ( 8 - 4) fo8 MINLP 274 147 ?? ?? -1e+20 36.0982703 -- 11188751 0 605.9 abort ( 8 - 4) m6 MINLP 158 87 ?? ?? 82.2568769 82.2568769 0.0 4705 0 0.5 ok ( 8 - 1) m7 MINLP 212 115 ?? ?? 106.756877 106.756877 0.0 12090 0 0.9 ok ( 8 - 1) o7_2 MINLP 212 115 ?? ?? -1e+20 1e+20 -- 79011190 0 3613.2 abort ( 9 - 4) RSyn0805H MINLP 430 309 ?? ?? 1296.1207 1296.1207 0.0 327 0 0.2 ok ( 8 - 1) RSyn0805M02M MINLP 770 361 ?? ?? 2238.39545 2238.39545 0.0 33678 0 3.9 ok ( 8 - 1) RSyn0805M03M MINLP 1285 541 ?? ?? 3068.93142 3068.93142 0.0 68602 0 8.0 ok ( 8 - 1) RSyn0805M04M MINLP 1887 721 ?? ?? 7174.21904 7174.21904 0.0 55258 0 8.8 ok ( 8 - 1) RSyn0810M02M MINLP 867 411 ?? ?? 1741.38686 1741.38686 0.0 44452 0 5.3 ok ( 8 - 1) RSyn0810M03M MINLP 1453 616 ?? ?? 2722.44801 2722.44801 0.0 117986 0 12.4 ok ( 8 - 1) RSyn0820M MINLP 372 216 ?? ?? 1150.30053 1150.30053 0.0 2064 0 0.3 ok ( 8 - 1) RSyn0830M04H MINLP 4237 2345 ?? ?? 2529.07382 2529.07382 0.0 7049 0 5.3 ok ( 8 - 1) RSyn0830M MINLP 426 251 ?? ?? 510.072022 510.072022 0.0 5366 0 0.6 ok ( 8 - 1) RSyn0840M MINLP 485 281 ?? ?? 325.554507 325.554507 0.0 3462 0 0.4 ok ( 8 - 1) SLay06H MIQCP 436 343 ?? ?? 32757.0202 32757.0202 0.0 94226 0 5.9 ok ( 8 - 1) SLay07H MIQCP 610 477 ?? ?? 64748.8253 64748.8253 0.0 326305 0 23.0 ok ( 8 - 1) SLay08H MIQCP 813 633 ?? ?? 84960.2124 84960.2124 0.0 3405944 0 430.6 ok ( 8 - 1) SLay09H MIQCP 1045 811 ?? ?? -1e+20 108591.101 -- 20063913 0 3640.7 abort ( 8 - 4) SLay09M MIQCP 325 235 ?? ?? 107805.753 107805.753 0.0 12444126 0 1743.2 ok ( 8 - 1) SLay10M MIQCP 406 291 ?? ?? -1e+20 134055.936 -- 11862144 0 3694.7 timeout ( 8 - 3) Syn15M04M MINLP 807 341 ?? ?? 4937.47771 4937.47771 0.0 542 0 0.2 ok ( 8 - 1) Syn20M03M MINLP 700 316 ?? ?? 2646.95092 2646.95092 0.0 450 0 0.2 ok ( 8 - 1) Syn20M04M MINLP 1053 421 ?? ?? 3532.74393 3532.74393 0.0 566 0 0.2 ok ( 8 - 1) Syn30M02M MINLP 605 321 ?? ?? 399.683144 399.683144 0.0 1217 0 0.3 ok ( 8 - 1) Syn40M03H MINLP 1999 1147 ?? ?? 395.148524 395.148524 0.0 3069 0 1.2 ok ( 8 - 1) Syn40M MINLP 227 131 ?? ?? 67.7132558 67.7132558 0.0 646 0 0.2 ok ( 8 - 1) sssd-10-4-3 MINLP 43 69 ?? ?? 152709.944 152709.944 0.0 65770 0 2.9 ok ( 8 - 1) sssd-12-5-3 MINLP 53 96 ?? ?? 261184.391 261184.391 0.0 202952 0 10.6 fail ( 8 - 1) sssd-15-6-3 MINLP 64 133 ?? ?? 440807.597 440807.597 0.0 2792576 0 132.6 fail ( 8 - 1) uflquad-20-150 MIQCP 3151 3021 ?? ?? -1e+20 830.167954 -- 1731079 0 345.9 abort ( 8 - 4) uflquad-30-100 MIQCP 3101 3031 ?? ?? -1e+20 463.871729 -- 16240989 0 3633.2 timeout ( 8 - 3) uflquad-40-80 MIQCP 3281 3241 ?? ?? -1e+20 457.970118 -- 17557862 0 3634.1 timeout ( 8 - 3) ------------------+------+-------+-------+-------+-------+----------------+----------------+------+--------+-------+-------+------- ------------------------------[Nodes]---------------[Time]------ Cnt Pass Time Fail total(k) geom. total geom. ---------------------------------------------------------------- 47 31 7 9 0 0.0 169200.0 0.0 shifted geom. [ 100/ 10.0] 10000.0 36100.0 ---------------------------------------------------------------- @02 timelimit: 3600 @01 DICOPT(dicopt-minlpconvex)