loading SCIP... n: 50 m: 511 packed: 16 density: 100 nodes: 0 solverTime: 1671 buildTime: 0 solved: true 0 13 20 1 8 41 2 16 40 4 10 24 5 14 45 6 19 44 7 11 47 9 17 38 12 28 36 15 22 29 18 25 26 21 30 42 23 32 39 27 34 46 31 43 48 33 35 37