loading SCIP... n: 40 m: 25 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 1 19 2 14 38 3 22 36 6 8 18 9 11 21 13 23 34 20 24 31 28 29 39