loading SCIP... n: 40 m: 40 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false 2 11 38 5 25 37 6 13 20 7 14 15 9 12 19 10 18 27 17 31 34 21 26 29 22 32 33 23 24 39