loading SCIP... n: 40 m: 38 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 5 9 3 7 29 4 10 39 6 11 26 12 27 35 17 32 38 19 25 28 22 23 37