loading SCIP... n: 60 m: 31 packed: 9 density: 45 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 2 52 4 23 50 8 13 41 11 38 47 15 30 49 17 51 59 18 54 56 33 53 55 34 37 57