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

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