loading SCIP...
n: 30 m: 40 packed: 9 density: 90 nodes: 0 solverTime: 32 buildTime: 0 solved: false

0 9 23 
1 12 24 
2 11 20 
3 8 25 
4 7 26 
6 19 27 
10 15 22 
13 18 28 
14 17 29