loading SCIP...
n: 40 m: 47 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 1 17 
2 11 13 
3 10 12 
5 19 32 
7 16 22 
9 20 33 
15 26 37 
18 25 36 
23 29 39 
27 30 38