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

0 9 21 
2 18 24 
3 7 25 
4 22 26 
6 14 17 
10 11 27 
12 15 23