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