loading SCIP... n: 40 m: 40 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 11 35 1 13 22 4 31 34 7 19 21 8 28 38 18 20 30 25 32 37 27 29 36