loading SCIP... n: 60 m: 111 packed: 15 density: 75 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 3 17 1 14 30 2 48 56 5 6 54 7 8 44 10 13 51 15 41 47 16 34 35 18 43 52 20 37 58 21 32 38 22 28 57 23 42 59 26 45 55 39 40 46