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

0 9 22 
1 2 11 
6 15 17 
7 14 19 
10 20 21 
12 25 28 
13 23 29