loading SCIP... n: 60 m: 36 packed: 11 density: 55 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 2 40 3 12 54 4 6 10 5 9 17 11 48 49 13 22 24 15 18 52 23 25 58 30 39 41 32 36 43 50 51 56