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

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