loading SCIP... n: 40 m: 33 packed: 7 density: 53 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 3 11 1 7 24 2 8 13 6 14 27 15 25 28 17 33 39 30 31 37