loading SCIP... n: 40 m: 42 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 9 20 1 5 10 3 29 34 6 26 33 7 13 37 8 21 31 15 30 32 16 23 38 17 18 36