loading SCIP... n: 60 m: 63 packed: 15 density: 75 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 8 28 1 23 59 3 15 18 4 41 44 5 21 36 6 26 48 7 40 43 9 38 54 12 27 46 13 34 52 14 51 57 17 22 50 19 45 53 31 35 49 47 55 56