loading SCIP... n: 40 m: 51 packed: 10 density: 76 nodes: 0 solverTime: 47 buildTime: 0 solved: false 2 5 21 3 9 15 7 27 35 8 17 25 11 24 30 12 13 34 18 23 32 19 31 33 20 37 39 26 28 29