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