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

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