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