loading SCIP... n: 40 m: 39 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 3 15 4 12 35 6 16 18 9 14 29 10 13 28 11 30 32 17 31 38 21 33 34 22 37 39