loading SCIP... n: 40 m: 39 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 3 11 39 4 10 12 5 30 34 8 21 31 9 23 32 15 24 26 16 19 36 22 29 35 25 28 38