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