loading SCIP... n: 40 m: 52 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 2 19 4 16 17 6 14 39 7 23 25 9 10 30 15 32 34 21 26 35 22 29 33 24 28 37