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

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