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

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