loading SCIP... n: 40 m: 44 packed: 10 density: 76 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 13 30 2 10 34 3 11 36 4 21 25 5 16 29 6 9 37 7 17 31 14 28 32 19 22 35 27 33 39