loading SCIP... n: 60 m: 42 packed: 12 density: 60 nodes: 0 solverTime: 15 buildTime: 0 solved: false 2 7 9 4 16 57 5 46 58 6 34 42 11 18 47 17 21 32 24 26 31 27 28 41 29 52 53 30 49 50 37 40 44 43 55 56