loading SCIP... n: 40 m: 36 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 1 18 2 19 29 4 20 22 6 28 30 7 10 25 11 13 38 16 36 37 21 27 39 23 32 35