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