loading SCIP... n: 60 m: 62 packed: 15 density: 75 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 24 42 2 53 57 3 41 49 5 37 56 6 9 33 7 36 46 8 14 30 10 11 23 15 44 47 17 31 39 18 38 45 20 35 58 21 48 55 22 29 32 25 27 54