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

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