loading SCIP... n: 40 m: 52 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 2 17 39 4 27 38 5 6 37 8 19 32 9 22 36 11 26 28 13 18 33 15 23 30 16 20 35 21 24 34