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