loading SCIP... n: 40 m: 31 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 11 39 1 12 27 2 18 36 3 15 34 6 9 29 17 22 25 19 28 37 20 21 35 23 30 32