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

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