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

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