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

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