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

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