loading SCIP... n: 40 m: 27 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 1 9 38 4 7 14 6 27 32 10 19 31 11 17 33 12 21 23 15 30 36 20 22 37 26 28 35