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

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