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

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