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

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