loading SCIP... n: 40 m: 60 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 20 38 3 32 34 6 16 24 7 12 27 9 25 39 11 19 30 13 21 26 14 33 35 15 17 36 18 22 29 28 31 37