loading SCIP... n: 40 m: 46 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 5 39 1 10 27 2 8 12 3 14 26 6 23 24 9 13 22 15 19 32 17 34 38 18 20 33