tag:blogger.com,1999:blog-593563533834706486.post3927980183172924619..comments2024-03-28T10:35:10.453-04:00Comments on Yet Another Math Programming Consultant: Playing with job shop problem ft10 (2)Erwin Kalvelagenhttp://www.blogger.com/profile/09496091402502236997noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-593563533834706486.post-4836453737910030642014-04-15T04:25:02.028-04:002014-04-15T04:25:02.028-04:00Thanks. for that info!Thanks. for that info!Erwin Kalvelagenhttps://www.blogger.com/profile/09496091402502236997noreply@blogger.comtag:blogger.com,1999:blog-593563533834706486.post-33884293570864966092014-04-15T01:37:53.165-04:002014-04-15T01:37:53.165-04:00Hi Erwin.
Here are some answers on your questions...Hi Erwin.<br /><br />Here are some answers on your questions:<br /><br />1) Logging: If you put an output section you see some progress, i.e. the intermittent solutions. Example:<br /><br />output <br />[<br /> "makespan: " ++ show(makespan) ++ "\n" <br />]<br />++<br />[<br /> if s = 1 then "\n" else " " endif ++<br /> show(Start[j,s])<br /> | j in Jobs, s in Stages<br />];<br /><br />2. For debugging models I tend to use "trace(show(....), true)" for showing indices etc. However, inferred domains etc are not shown.<br /><br />3. Time limit: For fzn-gecode, the time limit is set with "-time millis". I run your model like this (on my Linux) with a time limit of 10s<br /> $ minizinc -v -G gecode ft10.mzn -f "/home/hakank/gecode/svn/trunk/tools/flatzinc/fzn-gecode -a -mode stat -time 10000"<br /> After 10s some statistics is shown.<br /><br />Also, you should probably experiment with search strategies, for example (instead of "solve minimize makespan"):<br /> solve :: int_search([Start[j,s] | j in Jobs, s in Stages ], first_fail, indomain_split, complete) minimize makespan; <br /><br />This finds a makespan of 1110 fast, but then it's stuck.<br /><br />I don't think my model (jobshop.mzn) is much faster.<br /><br />/hakank<br /><br /><br /><br /><br /><br />hakankhttps://www.blogger.com/profile/04290139008157372195noreply@blogger.com