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

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