loading SCIP... n: 40 m: 55 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 8 12 1 17 28 2 21 22 3 9 38 5 35 36 6 37 39 7 11 13 10 29 34 16 19 26