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

0 17 19 
1 11 27 
3 15 29 
4 9 21 
6 8 28 
7 22 26 
10 13 20 
14 24 25