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