loading SCIP... n: 40 m: 38 packed: 9 density: 69 nodes: 0 solverTime: 78 buildTime: 0 solved: false 0 27 35 1 24 30 2 5 6 3 11 39 9 14 26 10 15 32 12 13 16 18 22 37 20 21 25