loading SCIP... n: 40 m: 50 packed: 10 density: 76 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 13 30 2 7 35 5 25 31 8 16 17 10 11 39 12 26 29 15 21 33 18 28 37 20 32 38 23 24 27