loading SCIP... n: 40 m: 20 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 8 27 1 7 14 2 4 33 3 11 30 6 20 23 10 34 35 12 37 38 13 24 25 18 28 31