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