loading SCIP... n: 100 m: 309 packed: 32 density: 96 nodes: 0 solverTime: 547 buildTime: 0 solved: false 0 47 76 1 3 94 2 72 79 4 8 18 5 42 69 6 53 57 7 30 61 9 27 51 10 74 87 11 17 88 12 41 52 13 35 71 14 93 98 15 32 95 16 19 40 20 23 65 21 75 81 22 89 91 24 34 55 28 37 92 29 85 96 31 33 73 36 62 68 39 49 54 43 60 64 44 59 70 45 66 97 46 56 82 48 63 84 50 58 77 67 83 86 78 80 99