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

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