loading SCIP... n: 40 m: 52 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 17 28 1 9 37 3 4 35 6 18 24 7 12 38 8 19 30 11 33 36 13 16 31 14 15 25 21 27 39