{"action":"created","issue":{"url":"https://api.github.com/repos/JuliaOpt/Mosek.jl/issues/101","repository_url":"https://api.github.com/repos/JuliaOpt/Mosek.jl","labels_url":"https://api.github.com/repos/JuliaOpt/Mosek.jl/issues/101/labels{/name}","comments_url":"https://api.github.com/repos/JuliaOpt/Mosek.jl/issues/101/comments","events_url":"https://api.github.com/repos/JuliaOpt/Mosek.jl/issues/101/events","html_url":"https://github.com/JuliaOpt/Mosek.jl/issues/101","id":195188183,"number":101,"title":"MISOCP solves returning status \"Unknown\" (different from #100)","user":{"login":"chriscoey","id":10138771,"avatar_url":"https://avatars.githubusercontent.com/u/10138771?v=3","gravatar_id":"","url":"https://api.github.com/users/chriscoey","html_url":"https://github.com/chriscoey","followers_url":"https://api.github.com/users/chriscoey/followers","following_url":"https://api.github.com/users/chriscoey/following{/other_user}","gists_url":"https://api.github.com/users/chriscoey/gists{/gist_id}","starred_url":"https://api.github.com/users/chriscoey/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chriscoey/subscriptions","organizations_url":"https://api.github.com/users/chriscoey/orgs","repos_url":"https://api.github.com/users/chriscoey/repos","events_url":"https://api.github.com/users/chriscoey/events{/privacy}","received_events_url":"https://api.github.com/users/chriscoey/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"ulfworsoe","id":5641194,"avatar_url":"https://avatars.githubusercontent.com/u/5641194?v=3","gravatar_id":"","url":"https://api.github.com/users/ulfworsoe","html_url":"https://github.com/ulfworsoe","followers_url":"https://api.github.com/users/ulfworsoe/followers","following_url":"https://api.github.com/users/ulfworsoe/following{/other_user}","gists_url":"https://api.github.com/users/ulfworsoe/gists{/gist_id}","starred_url":"https://api.github.com/users/ulfworsoe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ulfworsoe/subscriptions","organizations_url":"https://api.github.com/users/ulfworsoe/orgs","repos_url":"https://api.github.com/users/ulfworsoe/repos","events_url":"https://api.github.com/users/ulfworsoe/events{/privacy}","received_events_url":"https://api.github.com/users/ulfworsoe/received_events","type":"User","site_admin":false},"assignees":[{"login":"ulfworsoe","id":5641194,"avatar_url":"https://avatars.githubusercontent.com/u/5641194?v=3","gravatar_id":"","url":"https://api.github.com/users/ulfworsoe","html_url":"https://github.com/ulfworsoe","followers_url":"https://api.github.com/users/ulfworsoe/followers","following_url":"https://api.github.com/users/ulfworsoe/following{/other_user}","gists_url":"https://api.github.com/users/ulfworsoe/gists{/gist_id}","starred_url":"https://api.github.com/users/ulfworsoe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ulfworsoe/subscriptions","organizations_url":"https://api.github.com/users/ulfworsoe/orgs","repos_url":"https://api.github.com/users/ulfworsoe/repos","events_url":"https://api.github.com/users/ulfworsoe/events{/privacy}","received_events_url":"https://api.github.com/users/ulfworsoe/received_events","type":"User","site_admin":false}],"milestone":null,"comments":7,"created_at":"2016-12-13T08:16:23Z","updated_at":"2016-12-15T14:54:00Z","closed_at":null,"body":"We also get `Unknown` from a large number of MISOCPs we attempt to solve. What we observe is that MOSEK gets to the time limit AND has a feasible solution, but apparently the optimality gap is not yet satisfied. Then Mosek.jl fails to handle the status properly and returns `Unknown` (perhaps it should be `Suboptimal`). \r\n\r\nIn another case where no feasible solution was found by the time limit, MOSEK finished and Mosek.jl returned (correctly) the `UserLimit` status. The only difference here was that no feasible solution was found, whereas in the `Unknown` cases, we had both upper and lower bounds.\r\n\r\nHere is the end of a printout (the lines with ## are our printings, not MOSEK's):\r\n```\r\n1179079  1176550  335532   30       5.0076984618e+05     5.0052105644e+05     0.05        3599.5\r\n1179105  1176576  335540   24       5.0076984618e+05     5.0052105735e+05     0.05        3599.5\r\n1179131  1176602  335546   45       5.0076984618e+05     5.0052105779e+05     0.05        3599.6\r\n1179157  1176628  335550   24       5.0076984618e+05     5.0052105879e+05     0.05        3599.7\r\n1179183  1176654  335560   36       5.0076984618e+05     5.0052106168e+05     0.05        3599.8\r\n1179209  1176680  335566   39       5.0076984618e+05     5.0052106190e+05     0.05        3599.8\r\n1179235  1176706  335570   35       5.0076984618e+05     5.0052106307e+05     0.05        3599.9\r\n1179261  1176732  335576   29       5.0076984618e+05     5.0052106463e+05     0.05        3600.0\r\nMaximum amount of time 3600.00 (=dpar_optimizer_max_time) is reached.\r\n\r\nObjective of best integer solution : 5.007698461827e+05      \r\nBest objective bound               : 5.005210646327e+05      \r\nConstruct solution objective       : Not employed\r\nConstruct solution # roundings     : 0\r\nUser objective cut value           : 0\r\nNumber of cuts generated           : 0\r\nNumber of branches                 : 1179261\r\nNumber of relaxations solved       : 1176732\r\nNumber of interior point iterations: 21020134\r\nNumber of simplex iterations       : 0\r\nTime spend presolving the root     : 0.00\r\nTime spend in the heuristic        : 0.00\r\nTime spend in the sub optimizers   : 0.00\r\n  Time spend optimizing the root   : 0.00\r\nMixed integer optimizer terminated. Time: 3601.02\r\n\r\nOptimizer terminated. Time: 3601.03 \r\n#STATUS# Unknown\r\n#OBJVAL# 500769.8461827041\r\n#OBJBOUND# 500521.06463272555\r\n#TIMESOLVER# 3601.032301902771\r\n\r\n```\r\n@mlubin @ulfworsoe \r\n\r\n"},"comment":{"url":"https://api.github.com/repos/JuliaOpt/Mosek.jl/issues/comments/267346699","html_url":"https://github.com/JuliaOpt/Mosek.jl/issues/101#issuecomment-267346699","issue_url":"https://api.github.com/repos/JuliaOpt/Mosek.jl/issues/101","id":267346699,"user":{"login":"mlubin","id":1733683,"avatar_url":"https://avatars.githubusercontent.com/u/1733683?v=3","gravatar_id":"","url":"https://api.github.com/users/mlubin","html_url":"https://github.com/mlubin","followers_url":"https://api.github.com/users/mlubin/followers","following_url":"https://api.github.com/users/mlubin/following{/other_user}","gists_url":"https://api.github.com/users/mlubin/gists{/gist_id}","starred_url":"https://api.github.com/users/mlubin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mlubin/subscriptions","organizations_url":"https://api.github.com/users/mlubin/orgs","repos_url":"https://api.github.com/users/mlubin/repos","events_url":"https://api.github.com/users/mlubin/events{/privacy}","received_events_url":"https://api.github.com/users/mlubin/received_events","type":"User","site_admin":false},"created_at":"2016-12-15T14:54:00Z","updated_at":"2016-12-15T14:54:00Z","body":"The statuses are currently documented at http://mathprogbasejl.readthedocs.io/en/latest/solverinterface.html#status. I agree that they could use a revamp, that's something I'm open to considering.\r\n\r\n> Does UserLimit take precedence over an optimal solution or only a feasible one?\r\n\r\nI don't understand how the solver could terminate because of the time limit if it already has an optimal solution.\r\n\r\n> Does ``Stall`` take precedence over an optimal solution or a feasible one?\r\n\r\n``Stall`` is not a standard status. ``Error`` maybe?\r\n\r\nYou should consider the statuses, as they're currently defined, as an explanation of why the solver stopped. ``:Optimal`` is not really about the solution itself but more explaining that the solver stopped because it found a solution that it was happy with. @ccoffrin has pointed out that ``:Optimal`` should really be called ``:Success`` or something similar."}}
{"actor":{"display_login":"mlubin"}}