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

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