loading SCIP... n: 60 m: 21 packed: 9 density: 45 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 12 59 3 20 44 5 18 38 9 32 55 10 14 48 11 27 54 13 28 33 21 24 35 34 36 49