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