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

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