loading SCIP... n: 40 m: 64 packed: 11 density: 84 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 17 25 1 29 37 2 15 21 4 26 35 5 18 24 7 32 39 9 13 28 10 12 30 14 22 34 16 20 23 27 31 33