loading SCIP... n: 60 m: 48 packed: 12 density: 60 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 7 43 1 15 17 3 22 57 4 9 32 8 30 41 12 21 33 18 26 28 19 49 50 23 25 58 27 35 38 34 55 56 39 40 44