loading SCIP...
n: 30 m: 65 packed: 9 density: 90 nodes: 0 solverTime: 32 buildTime: 0 solved: false

0 8 12 
1 9 19 
2 3 23 
4 11 13 
5 16 27 
6 7 28 
10 20 29 
14 15 24 
18 25 26