loading SCIP... n: 40 m: 46 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 33 39 1 29 38 2 26 35 3 19 24 4 12 28 5 6 10 9 15 22 13 36 37 18 20 31 25 27 34