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

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