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

0 1 12 
2 15 21 
3 14 24 
5 13 25 
6 20 26 
7 11 27 
10 19 29 
16 18 23