loading SCIP... n: 40 m: 85 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 26 36 1 3 24 2 9 14 4 11 20 12 17 29 13 27 28 15 19 39 18 33 37 22 32 35 25 34 38