loading SCIP... n: 40 m: 43 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 28 30 1 14 16 3 18 34 4 11 13 5 12 21 6 15 27 7 10 24 17 32 36 25 31 38