loading SCIP... n: 40 m: 32 packed: 7 density: 53 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 26 29 1 27 36 4 12 30 10 11 24 16 18 22 17 19 35 23 34 38