loading SCIP... n: 40 m: 32 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 15 21 2 11 31 3 16 19 5 10 29 6 32 33 7 20 36 12 25 34 13 24 38 23 26 37