loading SCIP... n: 40 m: 55 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 19 35 2 9 17 5 21 36 7 13 20 8 22 38 10 33 34 11 25 39 12 31 32 15 23 24