loading SCIP... n: 40 m: 48 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false 2 13 14 5 33 36 6 7 37 9 30 38 10 18 25 11 34 39 12 23 35 15 28 32 19 22 29 20 27 31