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

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