loading SCIP... n: 40 m: 44 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 5 24 2 18 38 3 12 15 4 8 35 6 31 33 7 32 37 10 28 29 11 20 30 14 34 39 16 26 27