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

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