loading SCIP... n: 60 m: 22 packed: 8 density: 40 nodes: 0 solverTime: 15 buildTime: 0 solved: false 3 17 27 9 18 55 12 31 41 13 28 51 14 25 35 20 22 43 23 32 57 33 37 52