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

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