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

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