loading SCIP...
n: 30 m: 53 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false

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