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

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