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