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

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