loading SCIP... n: 40 m: 26 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 20 24 1 3 23 2 13 28 5 37 39 9 12 17 11 18 34 14 27 33 21 36 38