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

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