loading SCIP... n: 40 m: 65 packed: 11 density: 84 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 4 12 1 17 37 2 23 31 3 5 16 6 9 22 7 36 38 8 24 28 10 11 21 13 26 30 14 34 35 20 25 29