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

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