<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" id="owaParaStyle"></style>
</head>
<body fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">Hi,<br>
<br>
CLP seems to be very fast. Here is the log from a run:<br>
<br>
clp __tmp.lp<br>
<span class="sewudhvyy1b5wag"></span><span class="sewudhvyy1b5wag"></span><br>
Coin LP version 1.15.6, build Dec 23 2013<br>
command line - C:\COIN-OR\win32-msvc11\bin\clp.exe __tmp.lp<br>
Presolve 1033 (-2664) rows, 539 (-793) columns and 2640 (-2666) elements<br>
0 Obj 0 Primal inf 3499.8508 (433) Dual inf 5313.4152 (423)<br>
99 Obj 0 Primal inf 2792.2468 (237) Dual inf 2708.0535 (324)<br>
194 Obj 0 Primal inf 88.217544 (113) Dual inf 1488.7472 (228)<br>
290 Obj 0 Primal inf 60.806442 (65) Dual inf 811.03491 (139)<br>
385 Obj 0 Primal inf 31.081399 (20) Dual inf 90.675063 (47)<br>
454 Obj 0<br>
Optimal - objective value 0<br>
After Postsolve, objective 0, infeasibilities - dual 0 (0), primal 0 (0)<br>
Optimal objective 0 - 454 iterations time 0.012, Presolve 0.00<br>
<br>
It's a satisfiability problem. Can anybody tell me how to have the solution from clp saved into a file?<br>
<br>
Thanks,<br>
-nf<br>
</div>
</body>
</html>