loading SCIP... n: 40 m: 23 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 15 35 1 10 33 3 25 26 5 23 38 7 17 21 9 14 27 12 29 37 13 24 34