loading SCIP... n: 40 m: 19 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 3 22 1 10 29 5 23 27 7 19 20 9 15 26 11 21 28 14 33 39 31 36 38