loading SCIP... n: 60 m: 52 packed: 14 density: 70 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 54 58 2 13 44 3 20 25 5 22 33 8 21 59 9 29 49 11 36 41 12 37 42 14 51 53 16 17 27 23 28 31 26 39 56 30 47 48 34 43 57