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