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

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