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

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