loading SCIP... n: 40 m: 77 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 35 39 2 13 21 3 4 15 5 10 37 6 22 31 7 11 27 8 30 34 14 24 26 17 32 38 19 33 36 20 23 25