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

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