loading SCIP...
n: 30 m: 67 packed: 9 density: 90 nodes: 0 solverTime: 47 buildTime: 0 solved: false

1 5 15 
2 12 16 
3 21 22 
4 6 23 
7 18 25 
8 17 28 
10 26 29 
11 14 27 
19 20 24