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

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