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

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