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

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