loading SCIP... n: 40 m: 54 packed: 10 density: 76 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 1 2 3 11 24 4 16 19 7 10 39 9 22 35 12 20 36 13 15 17 18 23 28 21 26 32 25 29 38