loading SCIP... n: 60 m: 65 packed: 13 density: 65 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 4 41 1 31 49 3 13 39 5 12 42 6 25 33 9 26 56 10 46 52 11 32 58 15 16 36 17 22 37 20 24 38 28 35 48 43 45 54