loading SCIP... n: 40 m: 56 packed: 11 density: 84 nodes: 0 solverTime: 63 buildTime: 0 solved: false 0 20 28 1 10 31 2 5 30 3 22 33 4 17 23 6 9 32 7 8 11 12 24 29 13 16 36 19 21 38 25 26 37