loading SCIP... n: 40 m: 17 packed: 7 density: 53 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 16 37 3 22 33 5 35 36 11 20 26 12 25 34 17 23 29 21 31 32