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