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

0 19 23 
1 8 15 
5 18 27 
7 14 16 
9 24 25 
13 26 28 
20 21 29