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

0 5 12 
1 27 29 
2 17 23 
3 10 20 
7 15 24 
8 18 28 
11 19 26 
13 21 25