loading SCIP... n: 60 m: 143 packed: 17 density: 85 nodes: 0 solverTime: 141 buildTime: 0 solved: false 0 21 30 1 43 54 2 3 35 4 16 47 5 45 48 6 25 52 7 10 58 9 13 55 11 17 31 12 24 34 14 28 38 15 26 59 19 22 27 20 49 51 29 42 57 33 39 44 36 46 56