loading SCIP...
n: 30 m: 140 packed: 10 density: 100 nodes: 0 solverTime: 47 buildTime: 0 solved: true

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