loading SCIP... n: 40 m: 35 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 2 20 3 11 13 4 31 35 6 33 34 7 19 38 10 21 22 14 23 26 15 30 37 25 27 29