loading SCIP... n: 40 m: 61 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 10 18 3 8 23 5 21 34 6 22 32 11 24 25 12 26 36 13 30 37 14 31 35 15 16 38 19 27 33