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

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