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