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