loading SCIP... n: 40 m: 41 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 5 31 3 21 36 4 26 32 6 22 39 7 14 16 8 28 30 9 12 27 11 20 38 13 17 25 29 35 37