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