loading SCIP... n: 40 m: 83 packed: 11 density: 84 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 12 38 1 35 36 3 10 37 4 13 33 5 14 32 6 17 21 7 20 28 8 15 24 11 22 30 16 25 31 19 27 34