chiark / gitweb /
Put time limit back to 5s.
authorIan Jackson <ian@liberator.relativity.greenend.org.uk>
Sun, 27 Dec 2009 19:08:11 +0000 (19:08 +0000)
committerIan Jackson <ian@liberator.relativity.greenend.org.uk>
Sun, 27 Dec 2009 19:08:11 +0000 (19:08 +0000)
yarrg/web/routetrade

index 8d8b48b4edf0b8bbc807403d26b12b1470c2ca21..b51a3a06eb4810c7dc920a69a072dbc6d84352b1 100644 (file)
@@ -586,7 +586,7 @@ my $try_solve= sub {
        my $input= pipethrough_prep();
        print $input $cplex or die $!;
        my $output= pipethrough_run_along($input, undef, 'glpsol',
-               qw(glpsol --tmlim 1 --memlim 5), @opts,
+               qw(glpsol --tmlim 5 --memlim 5), @opts,
                qw( --cpxlp /dev/stdin -o /dev/stdout));
        if ($qa->{'debug'}) {
                print "<h3>@opts</h3>\n<pre>\n";