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

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