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

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