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

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