loading SCIP... n: 40 m: 24 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 7 18 2 6 27 3 32 34 5 9 38 12 19 26 13 15 28 14 16 31 25 30 33