loading SCIP... n: 60 m: 16 packed: 8 density: 40 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 11 59 3 13 30 7 32 58 15 29 45 19 41 53 20 27 36 25 48 52 33 43 56