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

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