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

0 25 29 
2 11 23 
5 8 14 
9 12 20 
13 17 22 
15 24 28 
19 21 27