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

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