loading SCIP... n: 40 m: 73 packed: 11 density: 84 nodes: 0 solverTime: 63 buildTime: 0 solved: false 0 23 32 1 15 31 2 13 30 3 26 29 4 7 25 5 28 37 8 16 34 9 14 24 10 33 39 11 12 35 19 20 36