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

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