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

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