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

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