loading SCIP... n: 40 m: 22 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 14 37 1 9 39 2 8 30 10 11 29 12 34 36 16 28 32 18 25 33 19 20 22