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

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