loading SCIP... n: 40 m: 85 packed: 11 density: 84 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 11 12 1 18 30 2 7 31 3 10 15 5 24 29 6 8 25 9 28 37 13 16 34 14 19 33 20 23 32 21 36 38