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

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