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

0 7 16 
1 5 21 
3 12 15 
4 6 25 
8 19 28 
9 17 23 
10 22 24 
11 20 27