loading SCIP... n: 40 m: 56 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 20 36 3 21 23 4 31 32 5 12 18 6 10 29 9 28 38 19 30 34 22 37 39 24 27 33