loading SCIP... n: 60 m: 21 packed: 8 density: 40 nodes: 0 solverTime: 16 buildTime: 0 solved: false 4 24 37 7 16 56 17 35 51 18 39 58 19 23 54 25 57 59 34 44 55 38 41 46