loading SCIP... n: 60 m: 15 packed: 9 density: 45 nodes: 0 solverTime: 31 buildTime: 0 solved: false 3 36 55 4 32 37 12 17 45 13 49 59 16 22 51 18 31 41 19 38 42 20 27 47 26 30 54