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

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