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

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