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