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