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

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