loading SCIP...
n: 40 m: 63 packed: 9 density: 69 nodes: 0 solverTime: 0 buildTime: 0 solved: false

1 12 25 
2 15 30 
3 11 21 
5 20 31 
6 8 36 
13 14 22 
17 29 33 
19 26 28 
23 27 39