loading SCIP... n: 40 m: 25 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 8 21 2 18 38 3 10 13 5 6 35 12 15 34 20 23 39 24 29 33 25 27 36