loading SCIP... n: 60 m: 17 packed: 9 density: 45 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 13 16 1 34 41 6 39 59 11 31 32 14 19 22 17 20 26 23 28 33 29 43 50 38 46 51