loading SCIP... n: 40 m: 43 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 7 9 1 20 36 2 3 29 4 5 22 8 21 25 10 15 31 11 14 27 12 24 35 13 19 32 16 33 39