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