loading SCIP... n: 60 m: 87 packed: 17 density: 85 nodes: 0 solverTime: 47 buildTime: 0 solved: false 1 13 56 2 37 46 4 34 54 6 20 30 7 23 26 8 32 44 9 47 51 10 28 39 11 33 40 15 49 55 16 18 45 17 48 50 19 22 25 21 38 42 24 29 31 36 52 53 41 43 57