loading SCIP... n: 40 m: 28 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 12 30 2 7 32 3 24 37 4 16 21 5 6 25 14 23 34 18 19 33 29 31 35