loading SCIP... n: 60 m: 31 packed: 11 density: 55 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 13 59 3 4 19 6 30 37 9 29 57 10 18 42 11 33 41 17 39 48 22 25 26 27 50 52 35 40 44 43 49 56