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

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