loading SCIP... n: 60 m: 43 packed: 13 density: 65 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 2 53 4 46 59 5 11 18 8 19 20 13 31 45 14 16 51 15 23 34 17 43 44 22 33 40 24 28 57 25 47 50 29 37 58 35 42 52