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