loading SCIP... n: 40 m: 43 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 20 29 2 15 24 3 5 9 4 18 39 8 16 31 12 13 27 19 21 22 25 30 32 26 33 34