loading SCIP... n: 40 m: 72 packed: 10 density: 76 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 2 20 1 6 34 3 25 35 4 22 39 7 17 26 8 12 29 9 15 27 10 18 32 16 21 28 24 31 33