loading SCIP... n: 40 m: 21 packed: 7 density: 53 nodes: 0 solverTime: 15 buildTime: 0 solved: false 1 5 28 2 10 22 9 19 30 14 15 16 20 35 36 21 25 29 23 26 39