loading SCIP... n: 60 m: 34 packed: 11 density: 55 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 10 13 2 21 23 3 14 45 4 44 59 5 36 58 7 11 17 12 39 43 18 40 47 19 34 56 22 28 31 29 33 42