loading SCIP... n: 40 m: 48 packed: 10 density: 76 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 18 21 1 31 35 2 16 27 3 17 34 4 10 37 5 20 28 6 26 32 7 24 39 13 15 25 22 30 38