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

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