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