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