loading SCIP... n: 40 m: 62 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 1 21 2 10 38 3 15 36 4 8 16 5 24 31 6 19 39 7 26 37 12 17 32 18 27 35 20 28 30 23 25 33