loading SCIP... n: 40 m: 33 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 5 38 1 10 23 3 12 15 6 25 35 7 24 29 14 26 31 17 33 34 20 21 37 22 27 30