loading SCIP... n: 40 m: 17 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 9 35 3 18 22 5 25 31 7 26 27 10 17 23 13 37 39 15 32 34 19 24 38