loading SCIP... n: 40 m: 31 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 2 30 34 5 11 36 6 22 37 7 24 35 8 12 23 9 15 31 13 26 39 16 19 20 17 21 29