loading SCIP... n: 40 m: 82 packed: 11 density: 84 nodes: 0 solverTime: 47 buildTime: 0 solved: false 2 28 36 4 24 25 5 8 13 6 15 23 7 11 18 9 16 27 14 34 35 19 31 32 20 33 37 21 30 39 26 29 38