loading SCIP... n: 40 m: 31 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 10 14 2 12 36 3 17 34 9 19 24 18 20 21 23 32 37 25 31 39 28 33 35