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

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