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