loading SCIP... n: 40 m: 71 packed: 11 density: 84 nodes: 0 solverTime: 125 buildTime: 0 solved: false 0 5 34 1 19 22 2 11 31 3 23 38 4 14 17 6 8 12 7 21 37 9 29 36 16 26 28 20 24 39 25 30 32