loading SCIP... n: 40 m: 53 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 29 31 1 12 27 3 26 39 5 9 15 8 25 37 11 32 34 13 19 33 14 30 35 17 23 28 18 21 24