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

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