loading SCIP... n: 60 m: 42 packed: 11 density: 55 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 6 56 2 36 46 3 27 31 4 20 34 7 50 58 8 26 32 12 16 57 15 51 54 17 40 43 18 38 47 21 37 59