loading SCIP... n: 40 m: 38 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 13 31 1 25 34 2 11 37 6 8 26 7 12 14 16 24 28 17 20 38 18 19 39 22 32 35