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