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

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