loading SCIP... n: 40 m: 65 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 27 33 2 18 31 3 20 22 4 6 32 5 19 39 7 8 30 10 11 35 13 15 38 14 23 25 17 28 36 21 34 37