loading SCIP... n: 40 m: 20 packed: 6 density: 46 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 1 29 5 8 26 9 17 34 11 21 28 16 25 27 20 30 38