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