loading SCIP... n: 40 m: 70 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 2 13 4 10 30 5 6 15 7 17 22 8 20 34 16 28 36 18 24 26 19 25 38 27 29 39 32 35 37