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

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