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