loading SCIP...
n: 30 m: 112 packed: 9 density: 90 nodes: 0 solverTime: 47 buildTime: 0 solved: false

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