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

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