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

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