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