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