loading SCIP... n: 40 m: 36 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 7 26 2 5 33 4 19 20 10 12 15 13 17 31 21 22 24 25 27 37 29 32 36