loading SCIP... n: 40 m: 29 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 8 19 1 4 11 2 9 16 3 24 34 13 26 31 17 27 28 29 38 39 33 36 37