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

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