loading SCIP... n: 40 m: 30 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 30 36 1 8 19 2 23 28 5 18 29 6 9 20 10 34 37 12 15 26 13 16 35 21 32 39