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