loading SCIP...
n: 30 m: 22 packed: 6 density: 60 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 5 24 
1 14 28 
8 19 27 
9 13 26 
10 18 22 
12 17 29