loading SCIP... n: 40 m: 37 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 6 37 2 25 31 4 14 22 5 17 30 13 20 24 16 26 36 18 21 35 19 23 29 27 28 34