loading SCIP... n: 40 m: 89 packed: 11 density: 84 nodes: 0 solverTime: 110 buildTime: 0 solved: false 1 13 39 2 14 23 3 27 38 5 6 36 8 30 32 9 22 29 10 11 19 15 21 35 17 18 20 24 28 31 26 34 37