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

2 10 23 
3 13 18 
5 15 20 
7 8 29 
11 16 22 
12 21 27 
14 17 24