loading SCIP... n: 40 m: 40 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 2 9 17 4 14 27 5 12 25 6 32 38 7 34 36 11 16 18 13 24 26 19 30 35 28 29 33