loading SCIP... n: 40 m: 47 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 2 11 24 4 12 31 6 17 30 7 14 23 8 15 28 9 26 27 16 21 34 18 36 38 32 33 35