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

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