loading SCIP... n: 60 m: 88 packed: 15 density: 75 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 42 58 1 2 31 3 30 53 4 43 46 5 40 54 6 34 52 8 12 32 9 36 44 11 16 45 13 21 37 14 26 55 15 28 33 17 23 24 18 27 38 48 56 59