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