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

0 1 7 
4 17 18 
5 20 27 
6 21 24 
9 13 22 
10 14 23 
12 15 28