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

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