loading SCIP...
n: 30 m: 27 packed: 7 density: 70 nodes: 0 solverTime: 32 buildTime: 0 solved: false

0 24 28 
1 13 23 
4 16 21 
5 14 19 
6 12 22 
11 15 25 
18 26 29