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

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