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