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

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