loading SCIP... n: 40 m: 27 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 16 24 2 34 39 3 23 36 4 26 31 6 12 28 8 15 37 9 27 30 10 22 38 21 32 35