loading SCIP... n: 60 m: 42 packed: 11 density: 55 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 35 40 4 7 8 11 22 57 14 48 52 16 25 31 17 55 56 19 26 42 28 29 44 32 41 49 33 34 53 46 54 58