loading SCIP... n: 40 m: 21 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 2 16 3 4 37 8 14 25 9 11 31 10 22 33 12 21 26 18 29 36 24 27 34