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

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