loading SCIP... n: 60 m: 31 packed: 11 density: 55 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 4 5 1 19 36 2 3 45 9 33 56 11 12 44 13 43 51 14 25 48 15 31 49 18 32 52 21 22 47 39 41 59