loading SCIP... n: 40 m: 51 packed: 10 density: 76 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 5 12 2 13 21 4 16 29 6 9 22 7 28 34 8 19 36 11 24 32 18 25 38 23 31 37 26 27 35