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