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