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