loading SCIP... n: 40 m: 53 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 12 27 1 22 39 2 4 34 3 9 37 5 18 21 6 20 32 7 13 17 14 23 33 15 19 28 24 26 36