loading SCIP... n: 60 m: 17 packed: 8 density: 40 nodes: 0 solverTime: 31 buildTime: 0 solved: false 2 34 49 3 19 47 5 8 30 6 38 40 12 18 37 20 43 44 33 50 51 36 55 56