loading SCIP... n: 40 m: 67 packed: 11 density: 84 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 22 38 1 17 25 3 6 23 4 7 11 5 9 16 10 15 33 12 20 39 18 19 35 21 32 37 24 26 34 27 31 36