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

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