loading SCIP... n: 40 m: 31 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 24 27 3 30 32 5 34 35 6 10 33 9 18 19 11 37 38 12 15 17 14 20 36 16 21 22