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