loading SCIP... n: 40 m: 34 packed: 8 density: 61 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 4 35 5 15 25 10 11 39 16 23 27 17 32 38 19 31 34 20 24 29 21 33 36