[Cbc] Fwd: Re: Cbc Digest, Vol 88, Issue 8

Yves Touchard ytouch at dxo.com
Thu Oct 30 10:47:37 EDT 2014


Hereunder is the log message i forgot.

Yves

[ytouch at futuna coin-Cbc]$ bin/cbc infeas.lp threads 104 cutlength 40 multiple 4 branch printingOptions rows solution infeas.sol
Welcome to the CBC MILP Solver
Version: Trunk (unstable)
Build Date: Oct 30 2014
Revision Number: 2092

command line - bin/cbc infeas.lp threads 104 cutlength 40 multiple 4 branch printingOptions rows solution infeas.sol (default strategy 1)
### CoinLpIO::is_invalid_name(): Name VMem_Pipe__SiFi1__CRF_R_$nonLocalMean3x3_$DiffAbs_Repl1_Pipe__SiFi1__CRF_R_$nonLocalMean3x3_$DiffAbs_Repl1_0 is too long
### CoinLpIO::are_invalid_names(): Invalid name: vnames[8982]: VMem_Pipe__SiFi1__CRF_R_$nonLocalMean3x3_$DiffAbs_Repl1_Pipe__SiFi1__CRF_R_$nonLocalMean3x3_$DiffAbs_Repl1_0
### CoinLpIO::is_invalid_name(): Name VMem_Pipe__SiFi1__CRF_R_$nonLocalMean3x3_$DiffAbs_Repl1_Pipe__SiFi1__CRF_R_$nonLocalMean3x3_$DiffAbs_Repl1_1 is too long
### CoinLpIO::are_invalid_names(): Invalid name: vnames[8983]: VMem_Pipe__SiFi1__CRF_R_$nonLocalMean3x3_$DiffAbs_Repl1_Pipe__SiFi1__CRF_R_$nonLocalMean3x3_$DiffAbs_Repl1_1
### CoinLpIO::setLpDataRowAndColNames(): Invalid row names
Use getPreviousNames() to get the old row names.
Now using default row names.
threads was changed from 0 to 104
cutLength was changed from -1 to 40
multipleRootPasses was changed from 0 to 4
Continuous objective value is 19448.5 - 0.15 seconds
Cgl0003I 0 fixed, 95 tightened bounds, 429 strengthened rows, 2 substitutions
Cgl0003I 0 fixed, 2 tightened bounds, 2 strengthened rows, 0 substitutions
Cgl0004I processed model has 3534 rows, 4052 columns (1968 integer) and 8807 elements
Clp0014I Perturbing problem by 0.001 % of 1033.0023 - largest nonzero change 0.00076742857 (% 6.4445577) - largest zero change 0.00076705886
Clp0006I 0  Obj 13425.553 Primal inf 1595.504 (1669) Dual inf 16.894903 (196)
Clp0014I Perturbing problem by 0.001 % of 1033.0023 - largest nonzero change 0.0007664556 (% 7.3264184) - largest zero change 0.0007674401
Clp0014I Perturbing problem by 0.001 % of 1033.0023 - largest nonzero change 0.00076709984 (% 6.0877842) - largest zero change 0.00076501595
Clp0006I 0  Obj 13425.584 Primal inf 1595.504 (1669) Dual inf 16.888321 (196)
Optimal - objective value 19513.685
Cbc0045I Starting multiple root solver
Clp0006I 0  Obj 13425.574 Primal inf 1595.504 (1669) Dual inf 16.89542 (196)
Clp0006I 255  Obj 14504.887 Primal inf 1051.9646 (1603)
Clp0006I 255  Obj 14504.783 Primal inf 1058.5603 (1603)
Clp0006I 255  Obj 14504.878 Primal inf 1050.9229 (1596)
Clp0006I 510  Obj 14927.995 Primal inf 941.43281 (1516)
Clp0006I 510  Obj 14927.959 Primal inf 942.65176 (1514)
Clp0006I 510  Obj 14927.979 Primal inf 939.1626 (1510)
Clp0006I 765  Obj 15909.594 Primal inf 702.78435 (1415)
Clp0006I 765  Obj 15909.415 Primal inf 706.52448 (1408)
Clp0006I 765  Obj 15909.557 Primal inf 703.29123 (1406)
Clp0006I 1020  Obj 16037.629 Primal inf 641.48935 (1350)
Clp0006I 1020  Obj 16343.698 Primal inf 626.43631 (1346)
Clp0006I 1275  Obj 16400.961 Primal inf 643.54669 (1259)
Clp0006I 1020  Obj 16343.689 Primal inf 648.29831 (1350)
Clp0006I 1275  Obj 16401.248 Primal inf 650.38968 (1266)
Clp0006I 1530  Obj 16672.849 Primal inf 686.13093 (1201)
Clp0006I 1530  Obj 16672.96 Primal inf 661.85783 (1204)
Clp0006I 1275  Obj 16401.239 Primal inf 629.94013 (1271)
Clp0006I 1785  Obj 16989.671 Primal inf 702.08941 (1199)
Clp0006I 1785  Obj 16784.479 Primal inf 1140.4859 (1250)
Clp0006I 2040  Obj 17940.077 Primal inf 1308.1649 (1174)
Clp0006I 1530  Obj 16672.9 Primal inf 658.99568 (1207)
Clp0006I 2040  Obj 17966.484 Primal inf 992.71845 (1145)
Clp0006I 2295  Obj 18405.95 Primal inf 796.56235 (932)
Clp0006I 2295  Obj 18466.107 Primal inf 777.19106 (933)
Clp0006I 2550  Obj 18830.938 Primal inf 623.83832 (744)
Clp0006I 1785  Obj 16812.994 Primal inf 1364.5847 (1239)
Clp0006I 2550  Obj 18766.438 Primal inf 725.19759 (711)
Clp0006I 2805  Obj 19310.012 Primal inf 470.89379 (577)
Clp0006I 2805  Obj 19178.638 Primal inf 605.9059 (597)
Clp0006I 3060  Obj 19371.821 Primal inf 214.23279 (351)
Clp0006I 2040  Obj 17567.298 Primal inf 2528.149 (1193)
Clp0006I 3060  Obj 19324.518 Primal inf 182.54419 (353)
Clp0006I 3315  Obj 19518.049 Primal inf 0.0009212286 (120)
Clp0006I 3431  Obj 19518.049
Clp0000I Optimal - objective value 19513.685
Cbc0045I Starting multiple root solver
Clp0006I 3315  Obj 19518.078 Primal inf 0.0016044501 (187)
Clp0006I 3498  Obj 19518.078
Clp0000I Optimal - objective value 19513.685
Cbc0045I Starting multiple root solver
Clp0006I 2295  Obj 18442.355 Primal inf 654.79623 (927)
Clp0006I 2550  Obj 18922.634 Primal inf 600.78131 (711)
Clp0006I 2805  Obj 19238.031 Primal inf 578.24027 (526)
Clp0006I 3060  Obj 19339.876 Primal inf 163.21786 (350)
Clp0006I 3315  Obj 19518.097 Primal inf 0.0016247384 (188)
Clp0006I 3499  Obj 19518.097
Clp0006I 3499  Obj 19513.685 Dual inf 0.045457029 (7)
Clp0006I 3512  Obj 19513.685
Clp0000I Optimal - objective value 19513.685
Cbc0045I Starting multiple root solver
Cbc0031I 26 added rows had average density of 15.076923
Cbc0013I At root node, 26 cuts changed objective from 19513.685 to 19966.903 in 11 passes
Cbc0014I Cut generator 0 (Probing) - 265 row cuts average 2.5 elements, 0 column cuts (12 active)  in 0.332 seconds - new frequency is 1
Cbc0014I Cut generator 1 (Gomory) - 94 row cuts average 10.4 elements, 0 column cuts (0 active)  in 0.530 seconds - new frequency is 1
Cbc0014I Cut generator 2 (Knapsack) - 1 row cuts average 11.0 elements, 0 column cuts (0 active)  in 0.196 seconds - new frequency is -100
Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 0.008 seconds - new frequency is -100
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 54 row cuts average 2.0 elements, 0 column cuts (0 active)  in 0.103 seconds - new frequency is 1
Cbc0014I Cut generator 5 (FlowCover) - 17 row cuts average 2.0 elements, 0 column cuts (0 active)  in 0.199 seconds - new frequency is -100
Cbc0014I Cut generator 6 (TwoMirCuts) - 842 row cuts average 43.5 elements, 0 column cuts (0 active)  in 1.027 seconds - new frequency is 1
Cbc0003I Exiting on maximum nodes
Cbc0005I Partial search - best objective 1e+50 (best possible 19966.903), took 432 iterations and 0 nodes (4.59 seconds)
Cbc0035I Maximum depth 0, 0 variables fixed on reduced cost
Cbc0045I Ending multiple root solver
Cbc0031I 54 added rows had average density of 19.055556
Cbc0013I At root node, 54 cuts changed objective from 19513.685 to 20550.451 in 11 passes
Cbc0014I Cut generator 0 (Probing) - 297 row cuts average 2.1 elements, 22 column cuts (22 active)  in 0.342 seconds - new frequency is 1
Cbc0014I Cut generator 1 (Gomory) - 137 row cuts average 30.2 elements, 0 column cuts (0 active)  in 0.584 seconds - new frequency is 1
Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 0.175 seconds - new frequency is -100
Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 0.005 seconds - new frequency is -100
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 89 row cuts average 2.0 elements, 0 column cuts (0 active)  in 0.093 seconds - new frequency is 1
Cbc0014I Cut generator 5 (FlowCover) - 42 row cuts average 2.0 elements, 0 column cuts (0 active)  in 0.174 seconds - new frequency is -100
Cbc0014I Cut generator 6 (TwoMirCuts) - 1148 row cuts average 67.4 elements, 0 column cuts (0 active)  in 1.576 seconds - new frequency is 1
Cbc0003I Exiting on maximum nodes
Cbc0005I Partial search - best objective 1e+50 (best possible 20550.451), took 983 iterations and 0 nodes (5.47 seconds)
Cbc0035I Maximum depth 0, 0 variables fixed on reduced cost
Cbc0045I Ending multiple root solver
Cbc0031I 50 added rows had average density of 11.78
Cbc0013I At root node, 50 cuts changed objective from 19513.685 to 20510.322 in 14 passes
Cbc0014I Cut generator 0 (Probing) - 348 row cuts average 2.0 elements, 26 column cuts (29 active)  in 0.461 seconds - new frequency is 1
Cbc0014I Cut generator 1 (Gomory) - 156 row cuts average 13.1 elements, 0 column cuts (4 active)  in 0.649 seconds - new frequency is 1
Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 0.251 seconds - new frequency is -100
Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 0.006 seconds - new frequency is -100
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 119 row cuts average 2.8 elements, 0 column cuts (3 active)  in 0.130 seconds - new frequency is 1
Cbc0014I Cut generator 5 (FlowCover) - 66 row cuts average 2.0 elements, 0 column cuts (4 active)  in 0.244 seconds - new frequency is 1
Cbc0014I Cut generator 6 (TwoMirCuts) - 813 row cuts average 28.5 elements, 0 column cuts (0 active)  in 0.977 seconds - new frequency is 1
Cbc0003I Exiting on maximum nodes
Cbc0005I Partial search - best objective 1e+50 (best possible 20510.322), took 1170 iterations and 0 nodes (5.69 seconds)
Cbc0035I Maximum depth 0, 0 variables fixed on reduced cost
Cbc0045I Ending multiple root solver
Cbc0031I 29 added rows had average density of 11.758621
Cbc0013I At root node, 128 cuts changed objective from 19513.685 to 20399.283 in 15 passes
Cbc0014I Cut generator 0 (Probing) - 284 row cuts average 2.3 elements, 27 column cuts (46 active)  in 0.440 seconds - new frequency is 1
Cbc0014I Cut generator 1 (Gomory) - 155 row cuts average 25.5 elements, 0 column cuts (22 active)  in 0.659 seconds - new frequency is 1
Cbc0014I Cut generator 2 (Knapsack) - 1 row cuts average 20.0 elements, 0 column cuts (0 active)  in 0.222 seconds - new frequency is -100
Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 0.009 seconds - new frequency is -100
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 89 row cuts average 2.7 elements, 0 column cuts (13 active)  in 0.124 seconds - new frequency is 1
Cbc0014I Cut generator 5 (FlowCover) - 43 row cuts average 2.0 elements, 0 column cuts (17 active)  in 0.264 seconds - new frequency is -100
Cbc0014I Cut generator 6 (TwoMirCuts) - 966 row cuts average 65.1 elements, 0 column cuts (0 active)  in 1.211 seconds - new frequency is -100
Cbc0001I Search completed - best objective 1e+50, took 1116 iterations and 0 nodes (5.82 seconds)
Cbc0035I Maximum depth 0, 0 variables fixed on reduced cost
Cbc0045I Ending multiple root solver
Cbc0045I Multiple root solvers took a total of 5.26 seconds (1.68 elapsed)

Cbc0030I Thread 0 used 0 times,  waiting to start 0.01905632, 0 cpu time, 0 locks, 0 locked, 0 waiting for locks
Cbc0030I Thread 1 used 0 times,  waiting to start 0.015570402, 0 cpu time, 0 locks, 0 locked, 0 waiting for locks
Cbc0030I Thread 2 used 0 times,  waiting to start 0.011089563, 0 cpu time, 0 locks, 0 locked, 0 waiting for locks
Cbc0030I Thread 3 used 0 times,  waiting to start 0.0060112476, 0 cpu time, 0 locks, 0 locked, 0 waiting for locks
Cbc0030I Main thread 0 waiting for threads,  0 locks, 0 locked, 0 waiting for locks
Cbc0001I Search completed - best objective 1e+50, took 0 iterations and 0 nodes (5.90 seconds)
Cbc0035I Maximum depth 0, 0 variables fixed on reduced cost
Cuts at root node changed objective from 19513.7 to 19513.7
Probing was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
Gomory was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
Knapsack was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
Clique was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
MixedIntegerRounding2 was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
FlowCover was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
TwoMirCuts was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)

Result - Problem proven infeasible

No feasible solution found
Enumerated nodes:               0
Total iterations:               0
Time (CPU seconds):             6.13
Time (Wallclock seconds):       2.58

Option for printingOptions changed from normal to rows
Total time (CPU seconds):       6.22   (Wallclock seconds):       2.71



-------- Original Message --------
Subject:        Re: Cbc Digest, Vol 88, Issue 8
Date:   Thu, 30 Oct 2014 15:24:26 +0100
From:   Yves Touchard <ytouch at dxo.com><mailto:ytouch at dxo.com>
To:     cbc at list.coin-or.org<mailto:cbc at list.coin-or.org>


John,

The current revision of my Cgl directory is #1226.

(I re-dowloaded and re-compiled the trunk base, problem proven is always infeasible)

Yves

On 10/30/2014 12:44 PM, cbc-request at list.coin-or.org<mailto:cbc-request at list.coin-or.org> wrote:

Message: 3
Date: Thu, 30 Oct 2014 11:04:30 +0000
From: John Forrest <john.forrest at fastercoin.com><mailto:john.forrest at fastercoin.com>
To: cbc at list.coin-or.org<mailto:cbc at list.coin-or.org>
Subject: Re: [Cbc] [Infeasible problem with multithreading enabled and
        (multiple or cutlength) option]
Message-ID: <54521B3E.2050600 at fastercoin.com><mailto:54521B3E.2050600 at fastercoin.com>
Content-Type: text/plain; charset="windows-1252"; Format="flowed"

Yves,

Change was to CglKnapsackCover.cpp so in Cgl at revision 1225

John
On 30/10/14 09:26, Yves Touchard wrote:






------------------------------------------------------------------------------
This message and any attachments (the "message") are confidential and intended solely for the addressee(s). Any unauthorized use or dissemination is prohibited. E-mails are susceptible to alteration. Neither DxO Labs nor any of its subsidiaries or affiliates shall be liable for the message if altered, changed or falsified.
Ce message et toutes les pièces jointes (ci-après le "message") sont confidentiels et établis à l'intention exclusive de ses destinataires. Toute utilisation ou diffusion non autorisé est interdite. Tout message électronique est susceptible d'altération. DxO Labs et ses filiales déclinent toute responsabilité au titre de ce message s'il a été altéré, modifié ou falsifié.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20141030/e49baa91/attachment-0001.html>


More information about the Cbc mailing list