loading SCIP... n: 60 m: 38 packed: 13 density: 65 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 13 18 1 27 45 2 3 41 5 38 55 9 11 14 10 36 40 15 19 51 16 26 32 17 23 42 21 31 54 29 52 59 30 37 48 46 53 57