loading SCIP... n: 40 m: 18 packed: 7 density: 53 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 16 36 2 4 37 5 17 29 6 7 8 13 21 23 18 24 28 22 25 33