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