loading SCIP... n: 40 m: 12 packed: 6 density: 46 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 9 16 5 21 35 6 8 36 11 20 27 14 15 23 18 19 24