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