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