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

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