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

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