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