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

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