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

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