loading SCIP... n: 60 m: 22 packed: 10 density: 50 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 13 22 1 8 34 3 28 53 7 18 36 9 35 54 12 29 42 17 49 59 27 47 51 31 48 52 44 46 56