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

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