loading SCIP... n: 60 m: 37 packed: 12 density: 60 nodes: 0 solverTime: 31 buildTime: 0 solved: false 3 26 34 5 17 47 7 32 33 8 19 28 9 10 55 12 22 54 14 18 43 16 52 59 20 24 56 27 50 51 35 42 57 37 38 45