{"action":"closed","issue":{"url":"https://api.github.com/repos/ls-cwi/heinz/issues/2","labels_url":"https://api.github.com/repos/ls-cwi/heinz/issues/2/labels{/name}","comments_url":"https://api.github.com/repos/ls-cwi/heinz/issues/2/comments","events_url":"https://api.github.com/repos/ls-cwi/heinz/issues/2/events","html_url":"https://github.com/ls-cwi/heinz/issues/2","id":69889453,"number":2,"title":"unconnected solution after preprocessing","user":{"login":"assaron","id":1040217,"avatar_url":"https://avatars.githubusercontent.com/u/1040217?v=3","gravatar_id":"","url":"https://api.github.com/users/assaron","html_url":"https://github.com/assaron","followers_url":"https://api.github.com/users/assaron/followers","following_url":"https://api.github.com/users/assaron/following{/other_user}","gists_url":"https://api.github.com/users/assaron/gists{/gist_id}","starred_url":"https://api.github.com/users/assaron/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/assaron/subscriptions","organizations_url":"https://api.github.com/users/assaron/orgs","repos_url":"https://api.github.com/users/assaron/repos","events_url":"https://api.github.com/users/assaron/events{/privacy}","received_events_url":"https://api.github.com/users/assaron/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-04-21T16:19:01Z","updated_at":"2015-06-09T12:44:49Z","closed_at":"2015-06-09T12:44:49Z","body":"Hey,\r\n\r\nCurrent version of heinz (master-747cf66) still sometimes gives unconnected solution if there is a time limit. \r\n\r\nI'm running `heinz -n nodes.txt -e edges.txt -o out.txt -t 1` for the files from the example https://www.dropbox.com/s/hmm6aluh6jzgnax/graph3d3733dc3423.tar.gz?dl=0. As far as I understand time limit is so small it basically makes heinz to output solution just after preprocessing. And this solution (with weight 4.2218) is unconnected.\r\n\r\nHere is relevant part of log:\r\n\r\n```\r\n        Nodes                                         Cuts/\r\n   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth\r\n                                                 \r\n*     0+    0                            4.2218        4.7250      360   11.92%\r\n      0     0        4.7250    28        4.2218        4.7250      360   11.92%\r\n      0     2        4.7250    28        4.2218        4.7248      360   11.91%                        0             0\r\nElapsed time = 0.31 sec. (167.16 ticks, tree = 0.01 MB, solutions = 0)\r\n...\r\n     38    40        4.6789     4        4.2218        4.6789      707   10.83%        x_C06141 U     38     36      5\r\n     39    41        4.6789     4        4.2218        4.6789      709   10.83%        x_C06140 D     39     37      6\r\n                                                 \r\nGUB cover cuts applied:  3                       \r\nCover cuts applied:  18                          \r\nZero-half cuts applied:  17                      \r\nGomory fractional cuts applied:  12              \r\nUser cuts applied:  1254                         \r\n                                                 \r\nRoot node processing (before b&c):               \r\n  Real time             =    0.30 sec. (167.15 ticks)\r\nSequential b&c:                                  \r\n  Real time             =    0.71 sec. (188.08 ticks)\r\n                          ------------           \r\nTotal (root+branch&cut) =    1.01 sec. (355.24 ticks)\r\n[4.22175, 4.6789]      \r\n```\r\n\r\n"}}