loading SCIP... n: 60 m: 34 packed: 9 density: 45 nodes: 0 solverTime: 32 buildTime: 0 solved: false 12 35 59 13 22 26 17 23 46 18 36 44 21 55 57 25 32 34 29 31 53 33 38 52 47 48 58