loading SCIP... n: 40 m: 36 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 5 17 2 3 27 7 14 34 10 11 23 12 15 35 16 26 38 19 31 36 22 29 39 25 28 37