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

0 6 31 
1 20 35 
2 17 24 
3 10 11 
4 5 9 
8 18 29 
12 14 23 
15 19 33 
26 34 38 
30 36 37