loading SCIP... n: 40 m: 25 packed: 7 density: 53 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 1 8 2 32 38 4 15 25 6 24 26 10 22 27 14 31 36 19 29 37