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

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