loading SCIP... n: 40 m: 28 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 7 38 1 15 24 2 18 36 3 12 13 6 35 37 11 16 23 14 19 28 21 26 32 27 33 39