
<html>

  <head>

    <meta content="text/html; charset=ISO-8859-1"

      http-equiv="Content-Type">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <div class="moz-cite-prefix">Hi Victor,<br>

      <br>

      I'm trying with cbc 2.7.7 and the error does no occurs in my linux

      system.<br>

      <br>

      Can you try with this new version of cbc (CoinAll appears to have

      an outdated cbc version) ?<br>

      <br>

      Cheers,<br>

      <br>

      Haroldo<br>

      <br>

      On 11-09-2012 17:45, Victor Miller wrote:<br>

    </div>

    <blockquote

cite="mid:CAEe1e0z5sO37_73QEStS0VWBhEDnyk+deAKvBRL=4QKUMAJ+WQ@mail.gmail.com"

      type="cite">I tried to run the file <a moz-do-not-send="true"

        href="http://www.dei.unipd.it/%7Efisch/knuth_corrected.lp">http://www.dei.unipd.it/~fisch/knuth_corrected.lp</a>

      through cbc version 2.7.5 both on my Redhat Linux system at work

      and my macbook running Mountain Lion at home.&nbsp; In both cases I

      built it from the latest source (as part of CoinAll).&nbsp; First, cbc

      is a little more picky than, say glpk, in that it didn't like the

      input.&nbsp; It took me a while (since the error messages didn't

      specify a line number where it thought that there was an error!)

      to correct it by inserting white space in between coefficients and

      variable names and in between &gt;= and the value on the right

      hand side.&nbsp; However, once I gave the corrected version to cbc, it

      eventually segment faulted.&nbsp; This is definitely a bug!&nbsp; Here's the

      output from my Linux system.<br>

      <br>

      Victor<br>

      <br>

      cbc knuth_corrected.lp<br>

      Welcome to the CBC MILP Solver&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Version: 2.7.5&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Build Date: Sep 10 2012&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      <br>

      command line - cbc knuth_corrected.lp (default strategy 1)<br>

      Continuous objective value is 13793 - 0.00 seconds&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cgl0003I 0 fixed, 52 tightened bounds, 0 strengthened rows, 0

      substitutions<br>

      Cgl0004I processed model has 44 rows, 52 columns (52 integer) and

      149 elements<br>

      Objective coefficients multiple of

      2&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cutoff increment increased from 1e-05 to

      1.998&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0031I 16 added rows had average density of

      16.3125&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0013I At root node, 16 cuts changed objective from 14277 to

      18872.054 in 100

      passes&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

      <br>

      Cbc0014I Cut generator 0 (Probing) - 0 row cuts average 0.0

      elements, 6 column cuts (6 active)&nbsp; in 0.009 seconds - new

      frequency is 1&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0014I Cut generator 1 (Gomory) - 1721 row cuts average 25.2

      elements, 0 column cuts (16 active)&nbsp; in 0.032 seconds - new

      frequency is 1&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts average 0.0

      elements, 0 column cuts (0 active)&nbsp; in 0.011 seconds - new

      frequency is -100&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0

      elements, 0 column cuts (0 active)&nbsp; in 0.000 seconds - new

      frequency is -100&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 38 row cuts

      average 3.0 elements, 0 column cuts (0 active)&nbsp; in 0.005 seconds -

      new frequency is -100&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts average 0.0

      elements, 0 column cuts (0 active)&nbsp; in 0.007 seconds - new

      frequency is -100&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0014I Cut generator 6 (TwoMirCuts) - 303 row cuts average 7.2

      elements, 0 column cuts (0 active)&nbsp; in 0.014 seconds - new

      frequency is -100&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0010I After 0 nodes, 1 on tree, 1e+50 best solution, best

      possible 18872.054 (0.16

      seconds)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

      <br>

      Cbc0012I Integer solution of 27646 found by rounding after 13872

      iterations and 123 nodes (1.35

      seconds)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 3 rows 4

      columns&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0012I Integer solution of 27546 found by RINS after 13872

      iterations and 123 nodes (1.35

      seconds)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

      <br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 43 rows 46

      columns&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0012I Integer solution of 23196 found by combine solutions

      after 13872 iterations and 123 nodes (1.57

      seconds)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0012I Integer solution of 23096 found by combine solutions

      after 13954 iterations and 124 nodes (1.57

      seconds)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 41 rows 41

      columns&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 41 rows 41

      columns&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0012I Integer solution of 22996 found by RINS after 25086

      iterations and 518 nodes (3.38

      seconds)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

      <br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 34 rows 37

      columns&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0010I After 1000 nodes, 94 on tree, 22996 best solution, best

      possible 21301.043 (7.26

      seconds)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;

      <br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 37 rows 40

      columns&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 41 rows 40

      columns&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 41 rows 38

      columns&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 38 rows 38

      columns&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>

      Cbc0010I After 2000 nodes, 79 on tree, 22996 best solution, best

      possible 21480.243 (13.75 seconds)<br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 32 rows 31

      columns<br>

      Cbc0010I After 3000 nodes, 64 on tree, 22996 best solution, best

      possible 21480.243 (15.80 seconds)<br>

      Cbc0010I After 4000 nodes, 48 on tree, 22996 best solution, best

      possible 21480.243 (17.54 seconds)<br>

      Cbc0010I After 5000 nodes, 50 on tree, 22996 best solution, best

      possible 21480.243 (19.59 seconds)<br>

      Cbc0010I After 6000 nodes, 46 on tree, 22996 best solution, best

      possible 21503.428 (21.50 seconds)<br>

      Cbc0010I After 7000 nodes, 54 on tree, 22996 best solution, best

      possible 21503.428 (23.06 seconds)<br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 41 rows 40

      columns<br>

      Cbc0010I After 8000 nodes, 53 on tree, 22996 best solution, best

      possible 21503.428 (24.77 seconds)<br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 41 rows 40

      columns<br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 41 rows 38

      columns<br>

      Cbc0010I After 9000 nodes, 45 on tree, 22996 best solution, best

      possible 21503.428 (26.55 seconds)<br>

      Cbc0038I Full problem 44 rows 52 columns, reduced to 41 rows 39

      columns<br>

      Cbc0010I After 10000 nodes, 50 on tree, 22996 best solution, best

      possible 21503.428 (28.31 seconds)<br>

      Cbc0010I After 11000 nodes, 44 on tree, 22996 best solution, best

      possible 21747.031 (30.30 seconds)<br>

      Segmentation fault (core dumped)<br>

      <br>

      <br>

      <fieldset class="mimeAttachmentHeader"></fieldset>

      <br>

      <pre wrap="">_______________________________________________

Clp mailing list

<a class="moz-txt-link-abbreviated" href="mailto:Clp@list.coin-or.org">Clp@list.coin-or.org</a>

<a class="moz-txt-link-freetext" href="http://list.coin-or.org/mailman/listinfo/clp">http://list.coin-or.org/mailman/listinfo/clp</a>

</pre>

    </blockquote>

    <br>

    <br>

    <pre class="moz-signature" cols="72">-- 

=============================================================

Haroldo Gambini Santos

Computing Department - Universidade Federal de Ouro Preto - UFOP

email: haroldo [at ] iceb.ufop.br

       haroldo.santos [at] gmail.com

home/research page: <a class="moz-txt-link-abbreviated" href="http://www.decom.ufop.br/haroldo/">www.decom.ufop.br/haroldo/</a>


</pre>

  </body>

</html>