loading SCIP... n: 60 m: 60 packed: 15 density: 75 nodes: 0 solverTime: 47 buildTime: 0 solved: false 1 14 22 2 18 30 3 13 36 4 45 49 5 21 50 7 16 56 9 28 46 11 15 20 12 23 31 17 37 55 25 47 53 26 42 51 27 33 43 34 38 40 39 44 54