loading SCIP... n: 40 m: 35 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 8 21 1 15 34 3 9 25 4 18 31 5 11 29 14 24 39 16 32 37 22 27 38