loading SCIP... n: 40 m: 37 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 17 35 2 24 39 3 4 33 5 7 25 14 27 38 16 22 32 18 21 31 19 23 36 20 34 37