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