loading SCIP... n: 40 m: 66 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 4 18 5 12 29 6 25 37 9 19 24 10 31 32 13 38 39 14 16 36 20 26 34 21 22 23 27 28 30