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

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