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