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

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