loading SCIP... n: 60 m: 227 packed: 20 density: 100 nodes: 0 solverTime: 4579 buildTime: 0 solved: true 0 25 32 1 5 10 2 46 56 3 23 33 4 15 20 6 26 28 7 13 22 8 36 39 9 29 48 11 14 45 12 30 58 16 40 43 17 53 54 18 37 42 19 21 41 24 38 47 27 50 57 31 34 59 35 49 55 44 51 52