loading SCIP... n: 60 m: 13 packed: 6 density: 30 nodes: 0 solverTime: 16 buildTime: 0 solved: false 4 6 13 16 18 33 17 24 44 19 20 59 31 39 45 32 48 50