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