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

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