loading SCIP...
n: 30 m: 33 packed: 8 density: 80 nodes: 0 solverTime: 15 buildTime: 0 solved: false

0 15 26 
1 2 23 
3 5 8 
4 18 25 
6 10 17 
7 14 21 
12 16 24 
13 22 29