loading SCIP...
n: 30 m: 258 packed: 10 density: 100 nodes: 0 solverTime: 94 buildTime: 0 solved: true

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