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

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