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