loading SCIP... n: 60 m: 18 packed: 9 density: 45 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 23 58 4 22 39 7 13 42 9 21 56 15 29 30 18 25 59 35 44 54 36 37 47 38 45 48