loading SCIP... n: 40 m: 34 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 2 4 23 3 6 14 5 21 31 7 27 39 10 11 18 15 19 38 17 25 29 20 28 36 24 26 34