loading SCIP... n: 40 m: 62 packed: 11 density: 84 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 10 19 1 18 28 2 11 39 3 13 33 4 16 25 6 24 27 7 8 32 9 17 31 12 22 36 14 20 29 15 21 30