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

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