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

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