loading SCIP...
n: 30 m: 31 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false

0 19 20 
1 8 22 
5 23 29 
6 9 21 
10 25 26 
12 24 27 
13 18 28