loading SCIP... n: 40 m: 43 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 19 33 1 12 16 2 31 37 4 11 28 5 7 38 10 24 25 15 21 30 17 23 27 20 26 29 32 35 39