loading SCIP... n: 40 m: 64 packed: 11 density: 84 nodes: 0 solverTime: 63 buildTime: 0 solved: false 0 1 19 2 11 29 4 9 34 6 33 39 8 16 35 10 30 31 12 36 38 13 25 32 15 24 26 17 22 23 27 28 37