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

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