loading SCIP... n: 40 m: 50 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 26 32 1 38 39 3 7 17 4 34 36 5 6 19 9 11 15 13 21 25 16 20 27 18 23 30 22 29 31