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

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