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