loading SCIP... n: 40 m: 54 packed: 11 density: 84 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 20 28 1 5 25 2 16 39 3 24 38 6 33 37 7 11 35 9 22 36 10 15 26 12 29 32 13 21 30 14 27 31