loading SCIP... n: 40 m: 22 packed: 7 density: 53 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 10 18 2 22 28 3 30 37 4 16 33 9 13 17 12 14 21 19 26 35