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

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