loading SCIP... n: 40 m: 35 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 2 10 26 3 17 18 4 9 34 6 14 36 7 22 28 13 29 35 19 31 32 20 30 38 21 27 37