loading SCIP... n: 40 m: 57 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 1 9 3 29 38 8 19 33 10 17 26 12 25 37 13 28 39 14 30 32 16 18 31 23 34 36