loading SCIP... n: 40 m: 74 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 15 32 1 14 29 3 33 34 4 10 24 5 12 23 7 13 31 8 11 17 16 19 39 20 26 38 25 30 37 27 35 36