loading SCIP...
n: 40 m: 25 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false

0 1 27 
2 16 30 
4 14 25 
5 21 28 
8 11 31 
9 20 39 
13 17 37 
23 26 38