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

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