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

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