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

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