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

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