loading SCIP... n: 40 m: 32 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 7 32 3 35 37 6 19 23 9 21 26 10 14 28 13 22 33 15 18 34 20 24 36 25 29 38