loading SCIP... n: 40 m: 45 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 2 30 1 26 31 4 7 21 6 32 36 11 15 28 13 17 34 18 22 25 19 37 38 20 24 39