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

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