loading SCIP... n: 40 m: 72 packed: 12 density: 92 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 19 38 2 14 39 3 13 26 5 16 20 6 10 28 7 18 24 8 22 36 9 21 31 11 34 37 12 25 35 15 17 23 29 32 33