loading SCIP... n: 40 m: 52 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 6 13 2 4 8 3 18 34 7 24 38 9 21 22 10 14 36 12 19 32 28 31 37 33 35 39