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

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