loading SCIP... n: 40 m: 31 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 3 18 23 4 12 39 5 8 16 6 30 33 11 17 37 14 25 36 15 19 27 20 21 38 22 29 31