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