loading SCIP... n: 40 m: 40 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 8 23 1 4 26 5 19 28 6 9 31 7 36 38 10 12 20 13 25 27 15 21 22 17 24 29