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

0 7 27 
1 15 17 
3 6 11 
4 21 22 
9 25 26 
10 20 28 
12 19 23 
14 16 29