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