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

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