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

0 7 13 
1 9 14 
3 10 15 
4 6 34 
12 16 36 
17 31 39 
23 32 33 
26 27 38