loading SCIP... n: 60 m: 20 packed: 10 density: 50 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 46 51 2 31 57 3 15 24 7 22 28 8 53 56 11 42 44 16 20 45 19 32 59 25 30 55 38 47 50