loading SCIP... n: 40 m: 67 packed: 11 density: 84 nodes: 0 solverTime: 15 buildTime: 0 solved: false 1 9 33 2 5 29 4 8 18 6 12 14 7 15 36 10 13 39 11 22 37 16 20 38 19 31 35 21 26 30 23 27 32