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