loading SCIP... n: 40 m: 72 packed: 11 density: 84 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 14 17 1 9 24 2 31 35 3 8 11 4 29 36 5 15 33 7 12 30 16 18 23 19 21 37 26 27 28 34 38 39