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

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