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

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