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

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