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

0 7 9 
1 12 23 
2 14 21 
4 16 17 
6 13 28 
15 25 26 
19 20 29