loading SCIP... n: 60 m: 25 packed: 13 density: 65 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 33 58 1 2 14 4 11 20 5 15 18 6 31 34 7 27 45 12 54 57 16 17 22 24 35 50 25 30 39 26 28 47 29 37 38 40 41 43