loading SCIP... n: 40 m: 24 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 16 32 1 14 31 2 15 24 4 33 37 5 17 26 6 18 34 7 25 36 11 23 38 21 30 39