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

0 4 22 
1 13 26 
2 5 17 
3 14 21 
6 12 16 
7 8 18 
10 11 23 
15 28 29