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

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