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

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