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