loading SCIP... n: 40 m: 73 packed: 11 density: 84 nodes: 0 solverTime: 47 buildTime: 0 solved: false 1 10 26 2 16 23 3 7 27 4 12 32 5 29 34 6 24 39 8 19 36 9 21 28 14 31 35 15 17 25 22 30 38