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

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