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

0 16 25 
2 17 23 
3 13 14 
4 7 15 
6 18 21 
9 26 29 
19 22 24