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

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