loading SCIP... n: 40 m: 64 packed: 11 density: 84 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 32 33 2 28 31 3 24 37 4 6 23 5 29 36 7 10 22 9 25 35 11 13 15 14 19 39 16 27 34 20 21 38