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

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