loading SCIP... n: 60 m: 22 packed: 9 density: 45 nodes: 0 solverTime: 32 buildTime: 0 solved: false 1 33 43 3 9 40 5 15 19 7 27 30 13 24 46 14 17 26 20 45 47 22 41 58 37 42 48