loading SCIP...
n: 40 m: 14 packed: 7 density: 53 nodes: 0 solverTime: 0 buildTime: 0 solved: false

1 22 38 
2 21 29 
4 12 19 
8 9 15 
17 27 30 
24 34 36 
26 32 33