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

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