loading SCIP...
n: 30 m: 54 packed: 9 density: 90 nodes: 0 solverTime: 47 buildTime: 0 solved: false

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