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

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