Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.05 | 1800.51 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb |
MD5SUM | 959fbe15545355cb65c359cdf131bbdc |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.121981 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3736 |
Total number of constraints | 10457 |
Number of constraints which are clauses | 10089 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 368 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.03 c PB-wave - v2 0.00/0.03 c command line = ./PB-wave 0.00/0.03 c seed = 70276495 0.00/0.03 c cutoff = 1000000 0.00/0.03 c tries = 1000000 0.00/0.03 c heuristic = c best, noise 50 / 100 0.00/0.03 #var 3736 #con 10457 0.00/0.03 mode is SAT 0.00/0.03 c tail starts after flip = 11208 0.00/0.03 c numatom = 3736, numclause = 10457, numliterals = 27301 0.00/0.03 c wff read in 0.00/0.03 c 0.00/0.03 c lowest final avg noise noise total avg mean mean 0.00/0.03 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.03 c this this this this this this success success until std 0.00/0.03 c try try try try try try rate tries assign dev 0.00/0.03 c 1.29/1.31 c 113 223 208.54 33.99 6.13 1000000 0 2.49/2.59 c 114 177 212.45 45.97 4.62 1000000 0 3.79/3.87 c 109 235 213.09 43.17 4.94 1000000 0 5.09/5.14 c 97 233 217.28 45.39 4.79 1000000 0 6.39/6.43 c 120 208 211.37 40.57 5.21 1000000 0 7.69/7.71 c 99 185 210.24 45.81 4.59 1000000 0 8.89/8.99 c 111 224 213.18 40.29 5.29 1000000 0 10.19/10.27 c 109 172 207.11 36.48 5.68 1000000 0 11.49/11.55 c 117 240 218.38 43.27 5.05 1000000 0 12.79/12.82 c 115 220 213.19 35.35 6.03 1000000 0 14.08/14.10 c 110 255 213.83 42.20 5.07 1000000 0 15.29/15.37 c 117 191 212.52 40.49 5.25 1000000 0 16.58/16.64 c 110 175 209.27 39.82 5.26 1000000 0 17.88/17.92 c 86 200 213.88 42.41 5.04 1000000 0 19.18/19.20 c 121 259 213.81 43.86 4.88 1000000 0 20.38/20.49 c 104 228 212.03 41.93 5.06 1000000 0 21.68/21.76 c 107 249 213.93 38.04 5.62 1000000 0 22.99/23.04 c 116 232 208.53 39.89 5.23 1000000 0 24.28/24.31 c 112 215 203.73 43.63 4.67 1000000 0 25.48/25.59 c 113 170 213.45 40.25 5.30 1000000 0 26.78/26.86 c 106 233 209.19 42.35 4.94 1000000 0 28.08/28.14 c 116 166 211.84 39.52 5.36 1000000 0 29.38/29.42 c 125 282 215.96 45.91 4.70 1000000 0 30.58/30.69 c 114 197 209.57 40.20 5.21 1000000 0 31.89/31.97 c 111 264 207.39 40.16 5.16 1000000 0 33.18/33.25 c 115 208 203.35 39.01 5.21 1000000 0 34.48/34.53 c 107 187 211.70 45.02 4.70 1000000 0 35.78/35.82 c 118 195 216.40 46.82 4.62 1000000 0 36.98/37.09 c 106 190 210.22 39.60 5.31 1000000 0 38.28/38.37 c 116 163 213.54 41.54 5.14 1000000 0 39.59/39.64 c 109 220 215.97 42.22 5.11 1000000 0 40.88/40.92 c 96 198 205.79 43.24 4.76 1000000 0 42.18/42.20 c 92 183 211.20 45.64 4.63 1000000 0 43.38/43.47 c 120 189 217.10 46.96 4.62 1000000 0 44.68/44.76 c 109 222 202.29 35.51 5.70 1000000 0 45.98/46.03 c 108 175 215.10 39.09 5.50 1000000 0 47.28/47.31 c 120 191 214.31 37.75 5.68 1000000 0 48.48/48.59 c 112 225 211.08 42.08 5.02 1000000 0 49.78/49.86 c 119 223 213.14 41.50 5.14 1000000 0 51.08/51.13 c 113 220 214.49 44.68 4.80 1000000 0 52.38/52.42 c 116 191 213.65 42.14 5.07 1000000 0 53.67/53.70 c 120 211 212.92 43.19 4.93 1000000 0 54.88/54.98 c 116 233 211.38 44.76 4.72 1000000 0 56.17/56.26 c 116 207 215.87 40.71 5.30 1000000 0 57.47/57.54 c 108 215 214.05 41.68 5.14 1000000 0 58.77/58.82 c 105 238 206.67 44.25 4.67 1000000 0 60.07/60.11 c 105 187 216.47 42.30 5.12 1000000 0 61.27/61.39 c 106 220 209.62 41.02 5.11 1000000 0 62.58/62.68 c 117 235 213.82 44.04 4.86 1000000 0 63.87/63.96 c 104 182 209.95 43.88 4.78 1000000 0 65.17/65.24 c 116 228 214.27 39.27 5.46 1000000 0 66.47/66.50 c 115 188 217.22 41.90 5.18 1000000 0 67.67/67.78 c 101 186 209.52 41.29 5.07 1000000 0 68.97/69.05 c 100 195 213.44 41.34 5.16 1000000 0 70.28/70.32 c 114 231 215.37 40.77 5.28 1000000 0 71.48/71.60 c 106 219 212.60 45.75 4.65 1000000 0 72.77/72.87 c 95 218 216.07 43.62 4.95 1000000 0 74.07/74.16 c 104 212 210.82 46.40 4.54 1000000 0 75.37/75.43 c 112 204 206.62 39.25 5.26 1000000 0 76.67/76.70 c 99 177 211.14 41.69 5.06 1000000 0 77.87/77.97 c 106 160 210.31 44.33 4.74 1000000 0 79.18/79.24 c 110 213 217.04 41.44 5.24 1000000 0 80.47/80.52 c 111 192 211.26 46.27 4.57 1000000 0 81.77/81.80 c 114 196 207.33 39.99 5.18 1000000 0 82.97/83.08 c 102 208 206.02 41.13 5.01 1000000 0 84.27/84.36 c 113 162 214.54 40.33 5.32 1000000 0 85.57/85.63 c 121 181 213.73 45.28 4.72 1000000 0 86.87/86.91 c 112 231 213.15 46.14 4.62 1000000 0 88.07/88.20 c 101 213 206.96 38.99 5.31 1000000 0 89.37/89.48 c 119 191 214.39 47.37 4.53 1000000 0 90.67/90.76 c 103 203 208.43 43.97 4.74 1000000 0 91.97/92.05 c 117 235 209.54 38.15 5.49 1000000 0 93.26/93.33 c 110 186 207.91 40.39 5.15 1000000 0 94.47/94.60 c 102 184 210.19 42.93 4.90 1000000 0 95.76/95.89 c 91 122 211.23 43.68 4.84 1000000 0 97.06/97.16 c 114 201 209.93 42.49 4.94 1000000 0 98.36/98.45 c 111 170 208.72 45.32 4.61 1000000 0 99.66/99.73 c 116 166 209.95 46.80 4.49 1000000 0 100.96/101.02 c 125 199 214.37 41.78 5.13 1000000 0 102.27/102.30 c 111 169 209.20 40.45 5.17 1000000 0 103.46/103.57 c 102 232 213.86 39.11 5.47 1000000 0 104.76/104.85 c 106 208 211.01 41.14 5.13 1000000 0 106.06/106.13 c 115 232 216.83 44.62 4.86 1000000 0 107.36/107.41 c 85 196 207.23 44.75 4.63 1000000 0 108.56/108.68 c 108 215 209.10 42.23 4.95 1000000 0 109.87/109.95 c 127 171 221.08 46.93 4.71 1000000 0 111.16/111.24 c 108 192 212.19 43.75 4.85 1000000 0 112.46/112.52 c 117 209 207.80 35.67 5.83 1000000 0 113.76/113.80 c 101 231 210.15 40.22 5.22 1000000 0 114.96/115.08 c 119 214 215.06 42.29 5.08 1000000 0 116.26/116.36 c 102 182 207.92 42.70 4.87 1000000 0 117.57/117.65 c 122 210 205.77 38.26 5.38 1000000 0 118.86/118.92 c 121 185 225.16 49.76 4.53 1000000 0 120.16/120.20 c 112 225 211.55 41.16 5.14 1000000 0 121.36/121.49 c 108 186 209.31 42.47 4.93 1000000 0 122.66/122.77 c 121 206 214.70 42.24 5.08 1000000 0 123.96/124.05 c 121 198 212.33 41.87 5.07 1000000 0 125.26/125.32 c 118 168 214.04 48.99 4.37 1000000 0 126.56/126.60 c 107 199 213.23 42.72 4.99 1000000 0 127.76/127.87 c 113 248 213.68 43.12 4.96 1000000 0 129.06/129.15 c 111 215 209.29 43.31 4.83 1000000 0 130.36/130.43 c 112 274 220.86 45.95 4.81 1000000 0 131.65/131.70 c 84 225 213.31 43.97 4.85 1000000 0 132.85/132.98 c 109 165 211.27 43.06 4.91 1000000 0 134.16/134.26 c 101 211 206.78 46.56 4.44 1000000 0 135.45/135.53 c 121 183 209.60 35.89 5.84 1000000 0 136.75/136.81 c 107 167 210.28 36.50 5.76 1000000 0 137.95/138.09 c 118 226 214.09 45.38 4.72 1000000 0 139.25/139.36 c 98 220 214.28 43.65 4.91 1000000 0 140.55/140.64 c 103 195 214.78 40.41 5.31 1000000 0 141.86/141.92 c 99 164 213.34 52.21 4.09 1000000 0 143.15/143.20 c 125 156 216.11 36.89 5.86 1000000 0 144.35/144.48 c 122 227 213.89 41.94 5.10 1000000 0 145.65/145.75 c 113 238 210.45 38.33 5.49 1000000 0 146.95/147.04 c 108 211 207.55 39.05 5.31 1000000 0 148.25/148.32 c 114 191 212.23 40.42 5.25 1000000 0 149.56/149.62 c 105 207 208.53 50.59 4.12 1000000 0 150.75/150.89 c 101 224 211.49 41.13 5.14 1000000 0 152.05/152.17 c 121 268 213.80 45.18 4.73 1000000 0 153.35/153.45 c 115 227 210.50 37.82 5.57 1000000 0 154.65/154.73 c 116 183 215.59 45.05 4.79 1000000 0 155.95/156.01 c 107 198 205.84 41.87 4.92 1000000 0 157.16/157.28 c 109 184 216.05 47.34 4.56 1000000 0 158.45/158.56 c 102 222 209.15 41.13 5.09 1000000 0 159.75/159.84 c 119 176 210.39 41.84 5.03 1000000 0 161.05/161.11 c 109 252 218.33 44.49 4.91 1000000 0 162.25/162.38 c 109 191 212.06 42.84 4.95 1000000 0 163.55/163.65 c 108 179 215.61 41.30 5.22 1000000 0 164.85/164.93 c 121 185 213.18 44.75 4.76 1000000 0 166.15/166.21 c 115 203 209.47 42.23 4.96 1000000 0 167.35/167.49 c 118 220 213.35 40.37 5.28 1000000 0 168.65/168.77 c 113 143 209.10 42.34 4.94 1000000 0 169.95/170.05 c 117 244 215.09 42.21 5.10 1000000 0 171.24/171.33 c 107 237 205.88 40.53 5.08 1000000 0 172.55/172.61 c 106 184 212.75 43.32 4.91 1000000 0 173.84/173.90 c 97 195 208.68 45.10 4.63 1000000 0 175.04/175.18 c 100 200 211.09 42.43 4.98 1000000 0 176.34/176.46 c 118 208 209.05 44.37 4.71 1000000 0 177.64/177.73 c 121 234 219.89 46.98 4.68 1000000 0 178.94/179.01 c 114 179 207.33 39.15 5.30 1000000 0 180.25/180.30 c 105 214 203.21 40.58 5.01 1000000 0 181.45/181.58 c 111 177 210.34 42.18 4.99 1000000 0 182.74/182.85 c 116 182 218.10 41.42 5.27 1000000 0 184.04/184.13 c 109 165 208.49 35.21 5.92 1000000 0 185.34/185.41 c 107 224 207.68 44.35 4.68 1000000 0 186.54/186.68 c 112 187 205.48 36.85 5.58 1000000 0 187.84/187.97 c 116 185 210.90 40.42 5.22 1000000 0 189.15/189.25 c 108 235 215.11 37.00 5.81 1000000 0 190.44/190.53 c 112 187 210.25 46.16 4.55 1000000 0 191.74/191.80 c 96 189 208.80 42.90 4.87 1000000 0 192.94/193.08 c 126 228 216.44 38.84 5.57 1000000 0 194.24/194.35 c 105 205 214.28 43.62 4.91 1000000 0 195.54/195.63 c 109 168 210.38 42.16 4.99 1000000 0 196.75/196.90 c 96 246 209.65 37.46 5.60 1000000 0 198.04/198.19 c 112 221 211.97 42.11 5.03 1000000 0 199.34/199.47 c 112 174 206.37 46.11 4.48 1000000 0 200.64/200.74 c 120 197 216.92 40.26 5.39 1000000 0 201.94/202.01 c 112 180 214.64 40.23 5.34 1000000 0 203.14/203.28 c 106 195 211.71 44.17 4.79 1000000 0 204.44/204.56 c 100 253 210.53 41.98 5.02 1000000 0 205.74/205.84 c 117 213 218.19 37.78 5.78 1000000 0 207.04/207.11 c 113 172 212.05 38.34 5.53 1000000 0 208.24/208.39 c 109 233 208.46 42.63 4.89 1000000 0 209.54/209.68 c 107 207 210.66 45.07 4.67 1000000 0 210.83/210.95 c 122 176 212.72 42.26 5.03 1000000 0 212.14/212.23 c 116 218 211.25 42.66 4.95 1000000 0 213.43/213.51 c 111 199 210.83 42.55 4.96 1000000 0 214.63/214.78 c 116 214 216.60 44.54 4.86 1000000 0 215.93/216.05 c 118 238 215.57 42.99 5.01 1000000 0 217.23/217.33 c 106 246 210.73 42.45 4.96 1000000 0 218.53/218.60 c 119 232 213.35 41.27 5.17 1000000 0 219.73/219.87 c 111 213 209.33 39.96 5.24 1000000 0 221.04/221.15 c 114 221 215.10 44.30 4.86 1000000 0 222.33/222.43 c 103 191 209.18 40.12 5.21 1000000 0 223.63/223.70 c 111 224 216.18 43.75 4.94 1000000 0 224.83/224.98 c 113 197 213.89 42.76 5.00 1000000 0 226.13/226.25 c 102 245 216.39 40.59 5.33 1000000 0 227.43/227.52 c 117 189 211.33 40.44 5.23 1000000 0 228.64/228.80 c 117 230 209.94 40.61 5.17 1000000 0 229.93/230.08 c 116 173 210.32 43.98 4.78 1000000 0 231.23/231.36 c 116 218 208.85 42.45 4.92 1000000 0 232.53/232.63 c 116 209 213.93 43.91 4.87 1000000 0 233.83/233.91 c 107 181 210.97 39.58 5.33 1000000 0 235.03/235.19 c 107 208 206.48 36.15 5.71 1000000 0 236.34/236.47 c 115 205 212.34 40.75 5.21 1000000 0 237.63/237.74 c 119 203 210.38 39.50 5.33 1000000 0 238.93/239.02 c 118 218 212.09 43.16 4.91 1000000 0 240.23/240.30 c 105 185 208.65 40.49 5.15 1000000 0 241.43/241.58 c 112 201 206.52 37.04 5.58 1000000 0 242.73/242.86 c 119 197 211.09 38.17 5.53 1000000 0 244.03/244.15 c 113 199 212.65 39.67 5.36 1000000 0 245.33/245.43 c 113 197 210.41 40.85 5.15 1000000 0 246.63/246.70 c 101 201 209.33 40.43 5.18 1000000 0 247.83/247.98 c 95 165 216.53 42.05 5.15 1000000 0 249.13/249.26 c 105 157 209.73 37.58 5.58 1000000 0 250.42/250.52 c 116 224 216.27 40.59 5.33 1000000 0 251.62/251.79 c 107 259 212.25 35.78 5.93 1000000 0 252.93/253.08 c 115 265 209.86 39.73 5.28 1000000 0 254.22/254.35 c 119 227 214.04 45.79 4.67 1000000 0 255.52/255.63 c 95 193 218.19 45.44 4.80 1000000 0 256.82/256.90 c 118 236 212.82 44.35 4.80 1000000 0 258.02/258.18 c 101 187 210.15 42.33 4.96 1000000 0 259.32/259.46 c 121 189 215.43 37.57 5.73 1000000 0 260.63/260.74 c 106 190 210.06 42.72 4.92 1000000 0 261.92/262.02 c 114 228 208.78 42.71 4.89 1000000 0 263.22/263.30 c 102 228 209.33 46.06 4.54 1000000 0 264.42/264.58 c 106 241 212.17 40.90 5.19 1000000 0 265.72/265.85 c 121 182 224.03 38.90 5.76 1000000 0 267.02/267.11 c 110 187 211.01 42.40 4.98 1000000 0 268.23/268.40 c 117 199 212.40 44.18 4.81 1000000 0 269.52/269.67 c 117 192 216.93 39.80 5.45 1000000 0 270.82/270.96 c 102 188 211.44 43.51 4.86 1000000 0 272.12/272.22 c 110 177 211.44 39.61 5.34 1000000 0 273.42/273.50 c 121 184 216.19 45.20 4.78 1000000 0 274.62/274.78 c 112 215 212.10 39.83 5.32 1000000 0 275.93/276.06 c 101 215 209.94 42.05 4.99 1000000 0 277.22/277.34 c 112 167 208.36 42.46 4.91 1000000 0 278.52/278.61 c 113 200 210.17 39.23 5.36 1000000 0 279.72/279.89 c 118 233 210.09 44.71 4.70 1000000 0 281.02/281.16 c 124 164 216.90 41.78 5.19 1000000 0 282.32/282.43 c 102 234 212.21 42.64 4.98 1000000 0 283.62/283.71 c 106 218 213.57 47.44 4.50 1000000 0 284.92/285.00 c 125 207 215.62 40.55 5.32 1000000 0 286.12/286.28 c 115 239 218.12 39.36 5.54 1000000 0 287.42/287.56 c 108 172 208.12 45.92 4.53 1000000 0 288.72/288.84 c 111 208 214.76 41.48 5.18 1000000 0 290.01/290.11 c 116 162 217.66 48.00 4.53 1000000 0 291.21/291.39 c 119 272 217.80 40.26 5.41 1000000 0 292.52/292.66 c 123 223 219.17 43.56 5.03 1000000 0 293.81/293.94 c 117 227 213.69 37.34 5.72 1000000 0 295.11/295.21 c 100 176 211.64 46.43 4.56 1000000 0 296.31/296.49 c 123 228 211.75 39.96 5.30 1000000 0 297.61/297.76 c 116 264 214.25 45.86 4.67 1000000 0 298.91/299.05 c 98 179 207.84 37.30 5.57 1000000 0 300.22/300.33 c 114 213 213.31 46.52 4.59 1000000 0 301.51/301.61 c 120 152 211.52 43.50 4.86 1000000 0 302.71/302.88 c 122 219 211.35 39.60 5.34 1000000 0 304.01/304.15 c 119 200 214.39 44.04 4.87 1000000 0 305.31/305.43 c 117 211 211.65 43.25 4.89 1000000 0 306.61/306.71 c 114 173 213.62 46.18 4.63 1000000 0 307.82/307.99 c 100 209 209.36 41.29 5.07 1000000 0 309.11/309.26 c 98 200 213.57 39.51 5.40 1000000 0 310.41/310.54 c 106 220 210.70 45.60 4.62 1000000 0 311.71/311.82 c 113 207 214.71 39.29 5.47 1000000 0 312.91/313.09 c 104 222 211.17 37.59 5.62 1000000 0 314.21/314.37 c 114 229 208.43 40.59 5.14 1000000 0 315.52/315.65 c 114 223 212.10 43.14 4.92 1000000 0 316.81/316.93 c 111 238 206.81 40.27 5.14 1000000 0 318.01/318.19 c 123 200 216.96 40.41 5.37 1000000 0 319.31/319.46 c 104 175 210.40 43.84 4.80 1000000 0 320.61/320.74 c 114 185 213.58 40.77 5.24 1000000 0 321.91/322.02 c 106 180 206.81 37.99 5.44 1000000 0 323.21/323.30 c 120 190 207.69 35.33 5.88 1000000 0 324.41/324.57 c 110 192 212.67 42.12 5.05 1000000 0 325.71/325.85 c 120 175 214.61 40.96 5.24 1000000 0 327.01/327.12 c 104 208 217.28 44.18 4.92 1000000 0 328.31/328.41 c 95 217 206.44 41.82 4.94 1000000 0 329.50/329.67 c 127 228 216.32 35.29 6.13 1000000 0 330.80/330.95 c 111 193 209.75 39.69 5.28 1000000 0 332.11/332.22 c 108 202 211.83 45.37 4.67 1000000 0 333.40/333.51 c 118 203 211.76 44.74 4.73 1000000 0 334.60/334.78 c 100 171 215.17 43.50 4.95 1000000 0 335.90/336.07 c 121 177 207.85 40.64 5.11 1000000 0 337.20/337.36 c 110 178 209.30 41.91 4.99 1000000 0 338.50/338.63 c 114 230 210.80 42.29 4.98 1000000 0 339.81/339.91 c 130 208 211.77 37.92 5.58 1000000 0 341.00/341.19 c 107 244 209.76 38.05 5.51 1000000 0 342.30/342.45 c 118 163 210.76 42.28 4.99 1000000 0 343.60/343.74 c 112 185 210.06 45.69 4.60 1000000 0 344.90/345.01 c 117 197 214.69 42.82 5.01 1000000 0 346.10/346.28 c 96 141 215.82 41.96 5.14 1000000 0 347.41/347.56 c 116 228 212.17 41.60 5.10 1000000 0 348.70/348.84 c 120 184 208.10 40.49 5.14 1000000 0 350.00/350.13 c 117 209 214.37 45.14 4.75 1000000 0 351.30/351.41 c 111 179 208.38 42.29 4.93 1000000 0 352.50/352.69 c 121 226 207.57 44.27 4.69 1000000 0 353.80/353.97 c 108 255 214.57 41.32 5.19 1000000 0 355.10/355.24 c 104 187 208.95 43.21 4.84 1000000 0 356.40/356.52 c 110 188 207.40 36.55 5.67 1000000 0 357.70/357.81 c 110 184 210.40 42.27 4.98 1000000 0 358.90/359.08 c 120 203 212.89 39.86 5.34 1000000 0 360.20/360.35 c 109 217 207.38 38.38 5.40 1000000 0 361.50/361.63 c 116 192 215.36 42.91 5.02 1000000 0 362.80/362.91 c 94 214 210.58 40.87 5.15 1000000 0 364.00/364.18 c 116 229 211.72 45.03 4.70 1000000 0 365.29/365.45 c 104 189 215.10 42.34 5.08 1000000 0 366.59/366.74 c 108 190 213.67 39.73 5.38 1000000 0 367.89/368.03 c 102 223 205.95 46.08 4.47 1000000 0 369.19/369.31 c 113 173 213.68 50.13 4.26 1000000 0 370.39/370.59 c 110 185 210.90 41.84 5.04 1000000 0 371.70/371.86 c 111 207 218.38 40.62 5.38 1000000 0 372.99/373.14 c 114 208 209.89 41.93 5.01 1000000 0 374.29/374.43 c 108 200 215.53 46.39 4.65 1000000 0 375.59/375.71 c 96 239 209.76 42.85 4.90 1000000 0 376.79/376.99 c 107 220 207.31 47.32 4.38 1000000 0 378.09/378.27 c 99 228 208.41 46.11 4.52 1000000 0 379.40/379.55 c 100 231 211.56 42.30 5.00 1000000 0 380.69/380.83 c 88 213 205.63 41.38 4.97 1000000 0 381.99/382.10 c 104 206 210.17 38.01 5.53 1000000 0 383.19/383.38 c 104 222 207.05 39.22 5.28 1000000 0 384.49/384.65 c 105 179 215.35 45.86 4.70 1000000 0 385.79/385.93 c 113 203 218.61 37.93 5.76 1000000 0 387.00/387.20 c 111 191 215.46 41.99 5.13 1000000 0 388.29/388.48 c 114 201 213.45 45.19 4.72 1000000 0 389.59/389.75 c 109 182 210.14 44.38 4.73 1000000 0 390.89/391.04 c 113 236 213.28 44.92 4.75 1000000 0 392.19/392.31 c 112 205 209.67 40.60 5.16 1000000 0 393.39/393.59 c 116 160 209.34 41.74 5.02 1000000 0 394.69/394.86 c 126 197 214.92 35.38 6.07 1000000 0 395.99/396.15 c 104 223 214.67 44.11 4.87 1000000 0 397.29/397.43 c 103 207 210.35 44.06 4.77 1000000 0 398.59/398.71 c 109 180 209.70 37.42 5.60 1000000 0 399.79/399.99 c 106 225 206.45 37.20 5.55 1000000 0 401.09/401.27 c 115 153 211.69 38.86 5.45 1000000 0 402.39/402.55 c 117 219 204.67 39.30 5.21 1000000 0 403.68/403.83 c 105 205 209.51 47.12 4.45 1000000 0 404.98/405.11 c 112 245 213.00 42.03 5.07 1000000 0 406.18/406.39 c 113 218 214.06 34.68 6.17 1000000 0 407.48/407.66 c 100 221 213.15 42.52 5.01 1000000 0 408.78/408.95 c 106 176 209.09 42.69 4.90 1000000 0 410.09/410.22 c 95 220 213.46 45.60 4.68 1000000 0 411.38/411.50 c 114 246 213.70 38.83 5.50 1000000 0 412.58/412.78 c 101 194 213.98 43.62 4.91 1000000 0 413.88/414.06 c 96 167 214.49 42.95 4.99 1000000 0 415.18/415.33 c 121 220 220.28 38.67 5.70 1000000 0 416.38/416.59 c 112 188 221.57 41.26 5.37 1000000 0 417.68/417.87 c 116 220 214.69 42.72 5.03 1000000 0 418.99/419.14 c 105 233 213.84 37.74 5.67 1000000 0 420.28/420.42 c 97 216 211.24 43.33 4.88 1000000 0 421.58/421.70 c 117 207 208.89 36.14 5.78 1000000 0 422.78/422.98 c 107 226 211.17 40.92 5.16 1000000 0 424.08/424.26 c 114 180 212.06 39.92 5.31 1000000 0 425.38/425.53 c 124 210 218.13 46.40 4.70 1000000 0 426.69/426.81 c 114 193 213.07 41.49 5.14 1000000 0 427.88/428.09 c 112 203 207.53 42.56 4.88 1000000 0 429.18/429.36 c 113 218 224.41 41.70 5.38 1000000 0 430.48/430.63 c 124 205 217.79 42.69 5.10 1000000 0 431.68/431.89 c 110 205 209.24 42.46 4.93 1000000 0 432.98/433.16 c 115 156 209.12 38.32 5.46 1000000 0 434.28/434.45 c 125 252 213.60 41.48 5.15 1000000 0 435.58/435.73 c 113 189 211.10 39.32 5.37 1000000 0 436.88/437.01 c 117 223 216.06 47.42 4.56 1000000 0 438.08/438.28 c 111 243 211.04 40.77 5.18 1000000 0 439.38/439.57 c 106 247 209.93 39.45 5.32 1000000 0 440.67/440.85 c 107 230 211.33 44.77 4.72 1000000 0 441.98/442.13 c 112 222 209.99 43.03 4.88 1000000 0 443.27/443.40 c 109 252 220.35 41.22 5.35 1000000 0 444.47/444.69 c 107 155 213.57 53.67 3.98 1000000 0 445.77/445.97 c 121 200 211.36 37.24 5.68 1000000 0 447.07/447.25 c 120 192 222.01 47.32 4.69 1000000 0 448.37/448.53 c 114 238 214.84 38.77 5.54 1000000 0 449.57/449.79 c 123 188 215.05 39.86 5.40 1000000 0 450.88/451.07 c 115 230 212.41 43.24 4.91 1000000 0 452.17/452.35 c 107 175 208.97 41.88 4.99 1000000 0 453.47/453.61 c 126 189 217.64 37.83 5.75 1000000 0 454.67/454.90 c 116 216 207.62 39.89 5.20 1000000 0 455.97/456.18 c 110 167 213.62 48.40 4.41 1000000 0 457.27/457.45 c 114 241 210.28 43.00 4.89 1000000 0 458.58/458.73 c 124 203 211.46 41.10 5.14 1000000 0 459.87/460.00 c 127 185 218.33 40.82 5.35 1000000 0 461.07/461.28 c 112 190 215.06 42.56 5.05 1000000 0 462.37/462.55 c 116 207 215.01 37.65 5.71 1000000 0 463.67/463.84 c 120 225 213.26 38.08 5.60 1000000 0 464.97/465.11 c 115 194 215.66 45.44 4.75 1000000 0 466.18/466.38 c 103 240 208.20 38.95 5.35 1000000 0 467.47/467.66 c 112 172 210.20 44.32 4.74 1000000 0 468.77/468.94 c 108 221 209.61 44.74 4.68 1000000 0 470.07/470.22 c 105 179 207.69 42.15 4.93 1000000 0 471.27/471.50 c 112 223 213.08 43.29 4.92 1000000 0 472.57/472.77 c 93 193 210.33 39.56 5.32 1000000 0 473.87/474.05 c 120 215 207.87 40.71 5.11 1000000 0 475.17/475.33 c 92 169 214.83 40.04 5.37 1000000 0 476.47/476.61 c 121 204 201.79 38.26 5.27 1000000 0 477.67/477.89 c 105 182 208.57 41.22 5.06 1000000 0 478.97/479.16 c 107 239 212.84 38.92 5.47 1000000 0 480.26/480.43 c 105 216 211.46 45.10 4.69 1000000 0 481.57/481.71 c 100 192 209.22 40.12 5.21 1000000 0 482.77/482.99 c 105 210 214.71 45.90 4.68 1000000 0 484.06/484.27 c 112 239 213.26 41.63 5.12 1000000 0 485.36/485.56 c 98 228 211.03 44.15 4.78 1000000 0 486.66/486.84 c 99 198 207.70 39.75 5.23 1000000 0 487.96/488.12 c 117 224 211.97 37.00 5.73 1000000 0 489.16/489.39 c 121 230 215.62 45.00 4.79 1000000 0 490.47/490.67 c 105 258 212.05 36.05 5.88 1000000 0 491.76/491.95 c 108 194 215.76 46.68 4.62 1000000 0 493.06/493.23 c 104 165 214.39 45.84 4.68 1000000 0 494.36/494.51 c 117 225 213.01 42.96 4.96 1000000 0 495.56/495.78 c 109 241 215.82 45.71 4.72 1000000 0 496.86/497.05 c 115 223 211.70 40.78 5.19 1000000 0 498.17/498.34 c 118 215 217.11 43.19 5.03 1000000 0 499.46/499.61 c 120 194 218.53 41.23 5.30 1000000 0 500.76/500.90 c 101 153 206.35 44.09 4.68 1000000 0 501.96/502.17 c 128 253 219.40 36.62 5.99 1000000 0 503.26/503.45 c 110 172 214.42 42.40 5.06 1000000 0 504.56/504.74 c 117 263 210.97 44.28 4.76 1000000 0 505.86/506.01 c 109 204 218.59 43.41 5.04 1000000 0 507.06/507.28 c 90 185 211.54 41.47 5.10 1000000 0 508.35/508.55 c 124 201 217.08 41.02 5.29 1000000 0 509.65/509.82 c 125 192 215.48 40.82 5.28 1000000 0 510.85/511.09 c 116 192 214.67 50.70 4.23 1000000 0 512.15/512.37 c 116 209 213.64 52.39 4.08 1000000 0 513.46/513.65 c 113 238 216.84 47.27 4.59 1000000 0 514.75/514.92 c 107 186 208.67 38.16 5.47 1000000 0 516.05/516.20 c 109 221 208.55 45.64 4.57 1000000 0 517.25/517.48 c 116 188 211.72 41.41 5.11 1000000 0 518.55/518.76 c 103 188 207.24 43.53 4.76 1000000 0 519.85/520.03 c 121 220 209.63 41.70 5.03 1000000 0 521.16/521.31 c 103 163 209.69 50.65 4.14 1000000 0 522.45/522.60 c 109 231 215.25 42.13 5.11 1000000 0 523.65/523.88 c 118 178 212.80 46.08 4.62 1000000 0 524.95/525.15 c 90 213 206.65 37.10 5.57 1000000 0 526.25/526.43 c 102 227 207.41 40.06 5.18 1000000 0 527.55/527.71 c 115 194 210.24 38.61 5.45 1000000 0 528.75/528.99 c 97 195 206.79 40.53 5.10 1000000 0 530.06/530.27 c 115 168 208.57 39.64 5.26 1000000 0 531.35/531.55 c 122 191 221.42 49.64 4.46 1000000 0 532.65/532.82 c 116 203 210.41 36.14 5.82 1000000 0 533.95/534.10 c 111 218 211.15 44.74 4.72 1000000 0 535.15/535.38 c 108 203 213.42 39.65 5.38 1000000 0 536.45/536.65 c 109 198 214.47 44.60 4.81 1000000 0 537.75/537.93 c 115 195 210.66 41.88 5.03 1000000 0 539.05/539.20 c 118 196 215.33 48.06 4.48 1000000 0 540.25/540.48 c 87 182 209.31 38.01 5.51 1000000 0 541.55/541.76 c 104 229 216.38 42.14 5.14 1000000 0 542.85/543.03 c 118 170 213.15 42.39 5.03 1000000 0 544.15/544.31 c 117 186 215.26 43.44 4.95 1000000 0 545.35/545.59 c 113 248 213.73 41.02 5.21 1000000 0 546.64/546.86 c 110 211 215.27 47.69 4.51 1000000 0 547.94/548.14 c 120 181 212.00 40.14 5.28 1000000 0 549.24/549.41 c 116 224 214.79 44.41 4.84 1000000 0 550.44/550.67 c 127 212 215.48 39.59 5.44 1000000 0 551.74/551.95 c 101 203 207.94 39.80 5.22 1000000 0 553.05/553.24 c 111 213 211.35 42.98 4.92 1000000 0 554.34/554.50 c 112 192 211.94 43.56 4.87 1000000 0 555.54/555.78 c 120 189 213.19 35.96 5.93 1000000 0 556.84/557.05 c 100 212 209.26 42.01 4.98 1000000 0 558.14/558.33 c 111 172 212.82 41.46 5.13 1000000 0 559.44/559.60 c 122 178 205.31 35.24 5.83 1000000 0 560.64/560.88 c 116 200 209.37 45.02 4.65 1000000 0 561.95/562.16 c 113 228 211.87 44.34 4.78 1000000 0 563.24/563.43 c 106 231 220.37 52.73 4.18 1000000 0 564.54/564.70 c 102 228 208.99 43.67 4.79 1000000 0 565.74/565.99 c 119 206 214.55 46.52 4.61 1000000 0 567.04/567.26 c 130 269 218.21 43.90 4.97 1000000 0 568.34/568.54 c 101 228 213.71 41.32 5.17 1000000 0 569.65/569.82 c 102 200 210.46 40.27 5.23 1000000 0 570.94/571.11 c 92 224 206.98 39.16 5.28 1000000 0 572.14/572.38 c 111 216 214.63 43.13 4.98 1000000 0 573.44/573.66 c 120 230 215.79 39.14 5.51 1000000 0 574.74/574.93 c 116 200 214.91 43.14 4.98 1000000 0 576.04/576.20 c 118 216 212.19 38.13 5.56 1000000 0 577.24/577.48 c 106 202 210.04 41.09 5.11 1000000 0 578.54/578.76 c 118 189 217.14 42.78 5.08 1000000 0 579.84/580.04 c 119 228 210.89 41.64 5.06 1000000 0 581.14/581.30 c 111 267 214.29 45.42 4.72 1000000 0 582.34/582.58 c 109 171 210.16 40.70 5.16 1000000 0 583.64/583.84 c 112 186 213.77 40.35 5.30 1000000 0 584.94/585.12 c 126 162 211.35 40.13 5.27 1000000 0 586.14/586.39 c 105 204 207.39 41.64 4.98 1000000 0 587.43/587.67 c 116 238 215.42 42.79 5.03 1000000 0 588.73/588.94 c 105 190 213.51 43.22 4.94 1000000 0 590.03/590.21 c 118 199 210.52 35.82 5.88 1000000 0 591.23/591.47 c 106 184 215.81 40.52 5.33 1000000 0 592.53/592.75 c 116 197 207.93 37.94 5.48 1000000 0 593.84/594.03 c 121 193 212.58 47.27 4.50 1000000 0 595.13/595.31 c 115 223 209.25 44.80 4.67 1000000 0 596.33/596.59 c 121 187 213.46 39.18 5.45 1000000 0 597.63/597.87 c 119 176 202.42 38.46 5.26 1000000 0 598.93/599.15 c 124 129 214.81 38.57 5.57 1000000 0 600.23/600.43 c 106 165 206.81 48.00 4.31 1000000 0 601.54/601.72 c 109 189 207.64 39.92 5.20 1000000 0 602.83/603.00 c 118 233 210.62 36.82 5.72 1000000 0 604.03/604.28 c 113 216 208.58 40.81 5.11 1000000 0 605.33/605.56 c 110 177 214.99 34.86 6.17 1000000 0 606.63/606.85 c 115 186 215.94 44.68 4.83 1000000 0 607.93/608.13 c 116 183 206.66 41.47 4.98 1000000 0 609.14/609.40 c 113 185 215.38 41.44 5.20 1000000 0 610.43/610.67 c 116 201 214.66 44.46 4.83 1000000 0 611.73/611.95 c 112 224 215.20 42.37 5.08 1000000 0 613.03/613.24 c 104 201 208.24 37.51 5.55 1000000 0 614.33/614.52 c 114 254 213.17 44.01 4.84 1000000 0 615.63/615.81 c 107 173 208.66 45.63 4.57 1000000 0 616.83/617.09 c 118 167 215.45 39.98 5.39 1000000 0 618.13/618.36 c 114 211 210.00 39.46 5.32 1000000 0 619.43/619.63 c 109 195 209.30 39.27 5.33 1000000 0 620.73/620.91 c 118 201 213.46 40.65 5.25 1000000 0 621.93/622.18 c 103 241 210.10 41.24 5.10 1000000 0 623.23/623.46 c 108 189 211.29 40.49 5.22 1000000 0 624.53/624.73 c 113 218 210.03 39.69 5.29 1000000 0 625.82/626.02 c 106 197 214.96 46.06 4.67 1000000 0 627.02/627.29 c 107 225 215.14 45.89 4.69 1000000 0 628.32/628.56 c 97 197 207.31 41.42 5.01 1000000 0 629.62/629.84 c 112 159 209.32 42.80 4.89 1000000 0 630.92/631.12 c 104 255 207.51 43.30 4.79 1000000 0 632.12/632.39 c 107 179 216.58 41.19 5.26 1000000 0 633.43/633.67 c 117 190 209.61 37.28 5.62 1000000 0 634.72/634.95 c 121 164 215.42 37.76 5.70 1000000 0 636.02/636.23 c 115 239 214.81 47.14 4.56 1000000 0 637.32/637.51 c 117 230 220.70 43.23 5.10 1000000 0 638.52/638.78 c 105 221 210.65 38.62 5.45 1000000 0 639.82/640.07 c 110 205 207.51 42.73 4.86 1000000 0 641.13/641.34 c 113 250 212.18 42.36 5.01 1000000 0 642.42/642.61 c 120 211 209.80 39.15 5.36 1000000 0 643.62/643.88 c 106 213 210.09 37.22 5.64 1000000 0 644.92/645.16 c 125 259 216.42 38.12 5.68 1000000 0 646.22/646.43 c 116 158 215.71 36.79 5.86 1000000 0 647.52/647.70 c 90 217 210.02 43.88 4.79 1000000 0 648.73/648.99 c 114 145 202.79 38.02 5.33 1000000 0 650.02/650.26 c 107 205 209.96 41.26 5.09 1000000 0 651.32/651.53 c 110 175 219.24 48.50 4.52 1000000 0 652.62/652.80 c 113 219 218.11 46.28 4.71 1000000 0 653.82/654.08 c 110 195 213.79 44.71 4.78 1000000 0 655.12/655.35 c 116 228 215.89 39.86 5.42 1000000 0 656.42/656.62 c 96 203 211.76 38.52 5.50 1000000 0 657.72/657.90 c 126 219 215.12 41.80 5.15 1000000 0 658.92/659.17 c 107 213 212.11 38.12 5.56 1000000 0 660.22/660.44 c 113 188 215.56 39.62 5.44 1000000 0 661.52/661.72 c 115 214 214.02 46.66 4.59 1000000 0 662.71/662.98 c 101 204 218.37 42.47 5.14 1000000 0 664.01/664.26 c 116 196 216.61 47.97 4.51 1000000 0 665.32/665.53 c 106 201 206.64 43.97 4.70 1000000 0 666.61/666.82 c 101 174 207.03 40.41 5.12 1000000 0 667.81/668.09 c 111 181 209.08 40.73 5.13 1000000 0 669.11/669.37 c 105 234 209.15 41.23 5.07 1000000 0 670.41/670.66 c 104 199 207.44 41.20 5.04 1000000 0 671.71/671.93 c 114 156 220.65 46.69 4.73 1000000 0 673.02/673.21 c 114 225 208.53 37.93 5.50 1000000 0 674.21/674.48 c 120 233 214.37 46.03 4.66 1000000 0 675.51/675.76 c 120 216 213.56 44.64 4.78 1000000 0 676.81/677.03 c 121 217 218.07 42.13 5.18 1000000 0 678.11/678.31 c 102 262 209.62 40.33 5.20 1000000 0 679.31/679.59 c 102 212 210.54 43.27 4.87 1000000 0 680.62/680.86 c 104 197 209.51 46.30 4.52 1000000 0 681.91/682.14 c 109 179 211.93 41.33 5.13 1000000 0 683.21/683.41 c 112 237 211.96 40.21 5.27 1000000 0 684.41/684.68 c 108 190 214.38 41.93 5.11 1000000 0 685.71/685.95 c 120 217 213.46 42.66 5.00 1000000 0 687.01/687.24 c 109 186 205.75 46.84 4.39 1000000 0 688.31/688.51 c 105 258 215.61 43.23 4.99 1000000 0 689.52/689.79 c 114 234 211.10 42.47 4.97 1000000 0 690.81/691.07 c 123 216 218.52 39.22 5.57 1000000 0 692.11/692.34 c 117 223 210.38 44.07 4.77 1000000 0 693.41/693.62 c 114 166 211.70 42.21 5.02 1000000 0 694.61/694.89 c 113 160 209.95 40.27 5.21 1000000 0 695.91/696.18 c 114 208 213.04 39.42 5.40 1000000 0 697.21/697.45 c 110 195 214.77 41.88 5.13 1000000 0 698.51/698.72 c 102 225 210.35 46.15 4.56 1000000 0 699.71/699.99 c 121 196 213.55 41.09 5.20 1000000 0 701.01/701.27 c 112 213 212.48 39.25 5.41 1000000 0 702.31/702.56 c 110 154 206.49 39.34 5.25 1000000 0 703.61/703.83 c 116 241 214.29 45.43 4.72 1000000 0 704.81/705.09 c 122 169 220.01 38.71 5.68 1000000 0 706.10/706.37 c 117 216 216.57 43.54 4.97 1000000 0 707.40/707.65 c 111 225 210.68 38.82 5.43 1000000 0 708.70/708.93 c 106 199 207.83 41.57 5.00 1000000 0 710.00/710.20 c 114 217 214.35 39.42 5.44 1000000 0 711.20/711.47 c 108 191 214.18 44.23 4.84 1000000 0 712.51/712.74 c 119 206 211.94 43.17 4.91 1000000 0 713.80/714.02 c 103 239 216.92 44.96 4.82 1000000 0 715.00/715.29 c 109 243 213.71 42.54 5.02 1000000 0 716.30/716.57 c 105 236 212.60 47.02 4.52 1000000 0 717.60/717.85 c 105 174 210.14 43.56 4.82 1000000 0 718.90/719.14 c 109 172 208.10 42.01 4.95 1000000 0 720.21/720.41 c 110 239 208.34 42.16 4.94 1000000 0 721.41/721.68 c 116 189 211.03 40.99 5.15 1000000 0 722.70/722.95 c 118 209 214.24 43.29 4.95 1000000 0 724.00/724.23 c 116 189 214.46 40.63 5.28 1000000 0 725.30/725.50 c 109 200 215.73 44.25 4.87 1000000 0 726.50/726.77 c 115 186 216.39 44.46 4.87 1000000 0 727.80/728.05 c 116 199 212.86 43.92 4.85 1000000 0 729.11/729.33 c 116 205 212.98 36.95 5.76 1000000 0 730.40/730.61 c 119 202 210.92 42.53 4.96 1000000 0 731.60/731.89 c 97 240 219.67 45.78 4.80 1000000 0 732.90/733.17 c 103 152 213.49 46.79 4.56 1000000 0 734.20/734.46 c 114 218 209.85 46.11 4.55 1000000 0 735.50/735.74 c 109 173 208.45 39.43 5.29 1000000 0 736.80/737.02 c 109 214 212.02 38.02 5.58 1000000 0 738.10/738.31 c 111 204 211.47 42.85 4.94 1000000 0 739.29/739.59 c 118 241 212.95 39.49 5.39 1000000 0 740.59/740.87 c 95 248 210.52 42.33 4.97 1000000 0 741.89/742.16 c 111 225 207.92 40.33 5.16 1000000 0 743.19/743.44 c 120 209 210.83 39.72 5.31 1000000 0 744.50/744.72 c 109 222 213.91 39.12 5.47 1000000 0 745.79/746.00 c 105 234 208.85 40.09 5.21 1000000 0 746.99/747.27 c 112 241 205.29 45.29 4.53 1000000 0 748.29/748.55 c 117 204 218.95 42.95 5.10 1000000 0 749.59/749.82 c 115 170 218.79 38.05 5.75 1000000 0 750.89/751.11 c 112 247 204.29 39.62 5.16 1000000 0 752.10/752.40 c 108 221 211.07 42.56 4.96 1000000 0 753.39/753.68 c 102 251 208.17 44.24 4.71 1000000 0 754.69/754.95 c 115 253 216.97 41.20 5.27 1000000 0 755.99/756.23 c 110 176 211.92 39.63 5.35 1000000 0 757.29/757.51 c 119 217 213.15 38.50 5.54 1000000 0 758.49/758.79 c 121 236 215.82 36.64 5.89 1000000 0 759.80/760.06 c 119 239 210.97 41.81 5.05 1000000 0 761.09/761.35 c 123 182 218.37 46.61 4.68 1000000 0 762.39/762.64 c 112 217 209.83 37.88 5.54 1000000 0 763.69/763.91 c 124 169 216.04 44.53 4.85 1000000 0 764.89/765.19 c 112 189 215.92 43.30 4.99 1000000 0 766.19/766.47 c 128 211 215.26 42.64 5.05 1000000 0 767.49/767.75 c 110 221 212.74 44.61 4.77 1000000 0 768.79/769.02 c 119 243 217.35 49.45 4.40 1000000 0 770.09/770.31 c 107 223 206.65 38.43 5.38 1000000 0 771.39/771.60 c 111 198 203.80 36.25 5.62 1000000 0 772.59/772.88 c 117 204 214.82 42.04 5.11 1000000 0 773.89/774.15 c 99 257 211.49 41.19 5.13 1000000 0 775.19/775.44 c 105 193 205.91 40.50 5.08 1000000 0 776.48/776.71 c 113 219 214.85 45.53 4.72 1000000 0 777.68/777.98 c 101 199 218.22 42.02 5.19 1000000 0 778.98/779.25 c 105 155 210.59 39.34 5.35 1000000 0 780.28/780.54 c 105 215 212.47 44.40 4.79 1000000 0 781.58/781.82 c 120 248 215.34 47.66 4.52 1000000 0 782.89/783.10 c 109 203 208.44 42.14 4.95 1000000 0 784.09/784.38 c 99 207 210.46 42.72 4.93 1000000 0 785.38/785.65 c 123 153 214.15 43.84 4.88 1000000 0 786.68/786.94 c 104 185 216.19 42.37 5.10 1000000 0 787.98/788.20 c 123 178 220.83 43.99 5.02 1000000 0 789.18/789.47 c 99 188 219.98 41.04 5.36 1000000 0 790.48/790.75 c 106 240 209.64 43.73 4.79 1000000 0 791.79/792.04 c 119 192 205.63 38.65 5.32 1000000 0 793.08/793.32 c 110 248 207.03 35.64 5.81 1000000 0 794.38/794.60 c 104 216 211.08 40.37 5.23 1000000 0 795.58/795.87 c 101 195 212.73 40.70 5.23 1000000 0 796.88/797.15 c 114 161 211.83 41.57 5.10 1000000 0 798.18/798.43 c 114 197 218.56 44.05 4.96 1000000 0 799.39/799.70 c 120 195 218.05 46.05 4.73 1000000 0 800.68/800.98 c 120 229 213.39 41.15 5.19 1000000 0 801.98/802.25 c 122 177 217.62 40.64 5.35 1000000 0 803.28/803.52 c 122 196 214.68 41.10 5.22 1000000 0 804.48/804.80 c 114 166 208.72 39.92 5.23 1000000 0 805.78/806.08 c 106 190 208.95 43.54 4.80 1000000 0 807.08/807.35 c 117 238 214.67 41.58 5.16 1000000 0 808.38/808.62 c 109 234 211.22 39.62 5.33 1000000 0 809.68/809.92 c 111 176 209.08 40.72 5.13 1000000 0 810.88/811.19 c 114 262 215.04 39.42 5.46 1000000 0 812.18/812.47 c 113 234 212.31 43.03 4.93 1000000 0 813.48/813.74 c 102 203 206.93 39.07 5.30 1000000 0 814.78/815.02 c 105 198 213.94 41.97 5.10 1000000 0 816.07/816.30 c 124 180 210.82 37.06 5.69 1000000 0 817.27/817.57 c 102 215 211.47 43.08 4.91 1000000 0 818.57/818.86 c 114 172 210.21 42.74 4.92 1000000 0 819.87/820.14 c 116 200 209.12 46.44 4.50 1000000 0 821.17/821.42 c 91 137 209.76 49.38 4.25 1000000 0 822.48/822.70 c 114 232 211.74 41.35 5.12 1000000 0 823.68/823.99 c 112 218 213.40 42.27 5.05 1000000 0 824.97/825.26 c 124 214 208.71 40.06 5.21 1000000 0 826.27/826.53 c 106 208 204.02 40.79 5.00 1000000 0 827.57/827.81 c 92 190 216.28 40.09 5.39 1000000 0 828.87/829.10 c 108 236 208.99 44.08 4.74 1000000 0 830.07/830.38 c 111 180 214.69 40.73 5.27 1000000 0 831.38/831.66 c 98 233 208.67 40.22 5.19 1000000 0 832.67/832.94 c 117 209 206.04 38.47 5.36 1000000 0 833.97/834.21 c 110 187 219.88 42.35 5.19 1000000 0 835.27/835.50 c 111 217 212.91 39.33 5.41 1000000 0 836.47/836.78 c 121 171 206.71 39.35 5.25 1000000 0 837.77/838.06 c 104 202 206.39 47.30 4.36 1000000 0 839.08/839.34 c 110 229 205.89 40.71 5.06 1000000 0 840.37/840.62 c 119 240 213.38 39.54 5.40 1000000 0 841.57/841.90 c 119 191 207.88 40.61 5.12 1000000 0 842.87/843.17 c 116 141 208.61 43.02 4.85 1000000 0 844.17/844.45 c 121 166 208.51 39.32 5.30 1000000 0 845.47/845.73 c 111 191 212.82 38.62 5.51 1000000 0 846.67/847.00 c 106 200 213.49 42.72 5.00 1000000 0 847.97/848.26 c 112 183 216.16 42.04 5.14 1000000 0 849.27/849.54 c 126 205 214.26 38.57 5.56 1000000 0 850.57/850.82 c 109 217 213.23 43.36 4.92 1000000 0 851.87/852.10 c 110 224 214.09 42.14 5.08 1000000 0 853.07/853.36 c 117 210 223.58 44.28 5.05 1000000 0 854.37/854.64 c 107 225 210.01 41.33 5.08 1000000 0 855.66/855.91 c 111 208 215.75 40.42 5.34 1000000 0 856.86/857.19 c 107 165 208.57 39.91 5.23 1000000 0 858.16/858.48 c 105 194 210.07 40.06 5.24 1000000 0 859.47/859.76 c 117 202 206.10 41.08 5.02 1000000 0 860.77/861.04 c 104 199 213.67 45.34 4.71 1000000 0 862.08/862.33 c 122 183 211.31 43.86 4.82 1000000 0 863.37/863.60 c 101 221 207.93 40.23 5.17 1000000 0 864.57/864.87 c 116 200 213.08 36.78 5.79 1000000 0 865.87/866.16 c 106 256 209.31 39.66 5.28 1000000 0 867.17/867.43 c 119 196 215.75 46.15 4.67 1000000 0 868.47/868.70 c 115 215 215.47 40.59 5.31 1000000 0 869.67/869.97 c 114 179 214.58 42.01 5.11 1000000 0 870.98/871.25 c 108 217 212.56 45.07 4.72 1000000 0 872.27/872.53 c 118 170 215.13 43.63 4.93 1000000 0 873.57/873.80 c 122 183 214.11 43.52 4.92 1000000 0 874.77/875.09 c 118 220 209.28 39.72 5.27 1000000 0 876.07/876.37 c 118 271 214.77 40.33 5.33 1000000 0 877.37/877.64 c 126 174 218.73 46.12 4.74 1000000 0 878.68/878.91 c 118 192 212.89 41.37 5.15 1000000 0 879.87/880.19 c 114 194 212.26 37.21 5.70 1000000 0 881.17/881.47 c 112 201 212.48 38.99 5.45 1000000 0 882.47/882.75 c 114 252 207.45 40.20 5.16 1000000 0 883.77/884.02 c 107 215 207.71 38.08 5.45 1000000 0 885.07/885.30 c 90 164 209.26 47.31 4.42 1000000 0 886.27/886.57 c 112 234 220.25 44.53 4.95 1000000 0 887.57/887.85 c 115 167 212.76 40.91 5.20 1000000 0 888.87/889.13 c 88 193 212.88 43.71 4.87 1000000 0 890.17/890.40 c 129 211 217.85 39.43 5.53 1000000 0 891.37/891.68 c 115 195 211.88 35.78 5.92 1000000 0 892.67/892.96 c 107 183 207.31 40.48 5.12 1000000 0 893.97/894.22 c 118 208 209.43 36.61 5.72 1000000 0 895.26/895.50 c 108 168 209.76 44.64 4.70 1000000 0 896.46/896.78 c 107 186 207.59 41.21 5.04 1000000 0 897.76/898.06 c 118 200 210.19 39.51 5.32 1000000 0 899.06/899.35 c 111 159 206.89 41.02 5.04 1000000 0 900.36/900.63 c 96 222 210.31 45.15 4.66 1000000 0 901.56/901.89 c 123 180 218.65 44.35 4.93 1000000 0 902.87/903.18 c 103 200 207.24 41.12 5.04 1000000 0 904.16/904.45 c 101 216 209.63 38.16 5.49 1000000 0 905.46/905.73 c 123 216 215.02 43.18 4.98 1000000 0 906.76/907.01 c 125 223 217.38 41.79 5.20 1000000 0 907.96/908.28 c 115 219 214.28 38.29 5.60 1000000 0 909.26/909.56 c 120 195 212.82 39.69 5.36 1000000 0 910.57/910.85 c 102 232 202.00 38.76 5.21 1000000 0 911.86/912.12 c 97 214 206.56 42.90 4.82 1000000 0 913.06/913.39 c 124 169 213.97 42.76 5.00 1000000 0 914.36/914.68 c 112 205 211.85 34.92 6.07 1000000 0 915.66/915.96 c 99 158 210.44 39.08 5.38 1000000 0 916.96/917.23 c 111 208 209.60 39.36 5.33 1000000 0 918.27/918.51 c 113 207 214.36 42.63 5.03 1000000 0 919.46/919.79 c 123 225 216.71 41.60 5.21 1000000 0 920.76/921.07 c 120 183 213.43 41.22 5.18 1000000 0 922.06/922.34 c 127 245 216.10 40.12 5.39 1000000 0 923.36/923.62 c 113 213 213.07 46.21 4.61 1000000 0 924.56/924.89 c 102 237 217.09 44.62 4.87 1000000 0 925.86/926.16 c 111 206 211.91 39.87 5.31 1000000 0 927.16/927.44 c 120 195 215.13 41.74 5.15 1000000 0 928.45/928.71 c 106 226 213.86 40.46 5.29 1000000 0 929.75/930.00 c 111 167 211.25 44.48 4.75 1000000 0 930.95/931.27 c 104 235 208.05 35.09 5.93 1000000 0 932.25/932.54 c 105 189 217.85 38.34 5.68 1000000 0 933.56/933.81 c 119 229 209.54 46.56 4.50 1000000 0 934.76/935.08 c 119 165 218.51 46.78 4.67 1000000 0 936.05/936.37 c 111 226 210.42 43.70 4.81 1000000 0 937.35/937.65 c 101 192 204.14 39.21 5.21 1000000 0 938.65/938.92 c 106 217 213.96 39.89 5.36 1000000 0 939.85/940.20 c 110 237 213.39 44.39 4.81 1000000 0 941.15/941.47 c 114 168 211.73 40.90 5.18 1000000 0 942.46/942.76 c 107 225 208.14 41.01 5.07 1000000 0 943.75/944.04 c 111 208 215.38 50.63 4.25 1000000 0 945.05/945.32 c 117 221 215.61 38.18 5.65 1000000 0 946.25/946.59 c 122 207 217.51 42.29 5.14 1000000 0 947.55/947.87 c 120 205 211.44 39.94 5.29 1000000 0 948.85/949.14 c 106 210 210.32 40.94 5.14 1000000 0 950.16/950.42 c 112 202 209.83 41.22 5.09 1000000 0 951.35/951.69 c 113 227 211.32 43.08 4.91 1000000 0 952.65/952.97 c 108 234 202.46 37.24 5.44 1000000 0 953.95/954.26 c 106 201 205.44 35.70 5.76 1000000 0 955.25/955.53 c 119 225 213.36 39.10 5.46 1000000 0 956.55/956.81 c 109 218 213.19 47.54 4.48 1000000 0 957.76/958.10 c 109 156 208.77 47.74 4.37 1000000 0 959.05/959.38 c 116 193 211.00 41.18 5.12 1000000 0 960.35/960.66 c 103 223 211.14 45.00 4.69 1000000 0 961.65/961.94 c 114 210 216.67 41.51 5.22 1000000 0 962.95/963.23 c 114 208 207.22 45.78 4.53 1000000 0 964.25/964.50 c 107 223 214.29 46.52 4.61 1000000 0 965.45/965.76 c 115 179 213.78 41.67 5.13 1000000 0 966.75/967.04 c 118 215 218.34 38.82 5.62 1000000 0 968.05/968.32 c 108 172 213.20 40.87 5.22 1000000 0 969.35/969.60 c 102 174 206.83 41.35 5.00 1000000 0 970.54/970.87 c 121 183 213.74 39.81 5.37 1000000 0 971.84/972.14 c 117 186 210.51 41.30 5.10 1000000 0 973.15/973.42 c 114 232 214.75 37.68 5.70 1000000 0 974.44/974.70 c 113 253 211.23 46.23 4.57 1000000 0 975.64/975.98 c 111 222 212.89 41.66 5.11 1000000 0 976.94/977.26 c 112 221 222.67 51.51 4.32 1000000 0 978.24/978.54 c 117 209 218.57 40.26 5.43 1000000 0 979.54/979.81 c 111 218 214.93 41.62 5.16 1000000 0 980.74/981.09 c 110 169 216.38 46.78 4.63 1000000 0 982.05/982.37 c 101 181 212.06 42.16 5.03 1000000 0 983.34/983.65 c 98 187 210.42 45.92 4.58 1000000 0 984.64/984.93 c 102 202 204.54 40.41 5.06 1000000 0 985.94/986.21 c 121 169 210.33 41.25 5.10 1000000 0 987.24/987.50 c 108 199 205.60 44.86 4.58 1000000 0 988.44/988.78 c 109 240 206.57 47.18 4.38 1000000 0 989.75/990.05 c 103 195 214.68 42.44 5.06 1000000 0 991.04/991.33 c 106 219 213.70 49.29 4.34 1000000 0 992.34/992.60 c 108 198 211.28 43.04 4.91 1000000 0 993.54/993.88 c 119 170 216.18 39.89 5.42 1000000 0 994.84/995.16 c 110 228 211.38 46.06 4.59 1000000 0 996.14/996.43 c 123 288 212.21 44.24 4.80 1000000 0 997.45/997.70 c 121 192 215.83 43.12 5.01 1000000 0 998.64/998.98 c 110 202 207.17 44.16 4.69 1000000 0 999.94/1000.26 c 100 209 212.52 46.72 4.55 1000000 0 1001.24/1001.54 c 106 270 208.93 42.98 4.86 1000000 0 1002.54/1002.82 c 111 167 212.28 41.08 5.17 1000000 0 1003.84/1004.10 c 110 191 214.88 43.55 4.93 1000000 0 1005.04/1005.38 c 120 182 209.76 43.10 4.87 1000000 0 1006.34/1006.65 c 120 176 212.06 40.84 5.19 1000000 0 1007.64/1007.93 c 122 164 210.78 41.10 5.13 1000000 0 1008.94/1009.20 c 107 164 220.61 38.23 5.77 1000000 0 1010.14/1010.49 c 117 220 210.67 41.96 5.02 1000000 0 1011.44/1011.78 c 94 197 207.91 47.38 4.39 1000000 0 1012.74/1013.06 c 111 202 216.93 39.86 5.44 1000000 0 1014.03/1014.35 c 107 195 203.45 41.69 4.88 1000000 0 1015.33/1015.63 c 123 243 212.78 37.51 5.67 1000000 0 1016.63/1016.92 c 114 191 207.31 41.19 5.03 1000000 0 1017.83/1018.19 c 108 203 217.47 47.02 4.63 1000000 0 1019.13/1019.47 c 121 177 214.44 44.35 4.83 1000000 0 1020.44/1020.75 c 120 186 212.20 44.72 4.74 1000000 0 1021.73/1022.02 c 110 227 211.96 39.19 5.41 1000000 0 1022.93/1023.29 c 112 221 222.03 41.49 5.35 1000000 0 1024.23/1024.57 c 103 185 209.22 41.67 5.02 1000000 0 1025.53/1025.85 c 108 162 210.25 46.22 4.55 1000000 0 1026.83/1027.12 c 123 178 214.34 43.51 4.93 1000000 0 1028.14/1028.40 c 100 215 211.36 46.00 4.60 1000000 0 1029.34/1029.68 c 108 215 212.28 47.07 4.51 1000000 0 1030.63/1030.95 c 121 176 214.94 43.44 4.95 1000000 0 1031.93/1032.23 c 118 201 210.73 36.98 5.70 1000000 0 1033.23/1033.51 c 121 193 211.34 41.15 5.14 1000000 0 1034.43/1034.78 c 110 242 215.79 45.38 4.76 1000000 0 1035.73/1036.06 c 114 194 214.90 45.17 4.76 1000000 0 1037.04/1037.32 c 117 226 214.35 36.10 5.94 1000000 0 1038.23/1038.60 c 114 201 208.49 40.85 5.10 1000000 0 1039.53/1039.87 c 112 257 211.19 43.72 4.83 1000000 0 1040.83/1041.15 c 98 210 209.31 40.29 5.19 1000000 0 1042.13/1042.43 c 108 225 208.41 40.13 5.19 1000000 0 1043.43/1043.71 c 105 190 204.84 40.96 5.00 1000000 0 1044.63/1044.99 c 109 261 215.41 39.34 5.48 1000000 0 1045.93/1046.26 c 102 198 207.52 41.21 5.04 1000000 0 1047.22/1047.54 c 110 171 209.16 41.37 5.06 1000000 0 1048.52/1048.82 c 103 245 210.91 40.42 5.22 1000000 0 1049.72/1050.09 c 121 224 214.19 44.64 4.80 1000000 0 1051.02/1051.37 c 122 170 213.18 41.54 5.13 1000000 0 1052.33/1052.65 c 117 208 211.75 39.29 5.39 1000000 0 1053.62/1053.93 c 108 192 214.31 42.23 5.07 1000000 0 1054.92/1055.22 c 102 229 205.37 34.79 5.90 1000000 0 1056.12/1056.49 c 105 174 212.29 41.94 5.06 1000000 0 1057.42/1057.77 c 109 203 206.27 44.18 4.67 1000000 0 1058.72/1059.05 c 119 169 214.36 39.98 5.36 1000000 0 1060.03/1060.33 c 113 243 205.13 45.03 4.56 1000000 0 1061.32/1061.61 c 107 209 206.59 45.34 4.56 1000000 0 1062.52/1062.89 c 119 182 212.94 38.92 5.47 1000000 0 1063.82/1064.17 c 109 206 210.38 43.40 4.85 1000000 0 1065.12/1065.46 c 107 222 208.80 37.17 5.62 1000000 0 1066.42/1066.73 c 112 217 219.16 45.33 4.84 1000000 0 1067.73/1068.00 c 112 219 210.60 46.67 4.51 1000000 0 1068.93/1069.28 c 116 188 213.83 39.56 5.41 1000000 0 1070.22/1070.56 c 110 230 206.47 37.41 5.52 1000000 0 1071.52/1071.83 c 126 209 213.93 38.82 5.51 1000000 0 1072.82/1073.11 c 115 167 213.23 46.83 4.55 1000000 0 1074.02/1074.39 c 122 223 211.99 44.61 4.75 1000000 0 1075.32/1075.67 c 103 170 206.68 39.14 5.28 1000000 0 1076.63/1076.94 c 113 207 217.63 37.64 5.78 1000000 0 1077.92/1078.22 c 125 138 212.38 39.26 5.41 1000000 0 1079.22/1079.50 c 105 214 206.72 48.65 4.25 1000000 0 1080.42/1080.79 c 111 186 204.41 39.35 5.19 1000000 0 1081.72/1082.07 c 95 271 207.55 44.46 4.67 1000000 0 1083.02/1083.35 c 99 242 201.47 43.24 4.66 1000000 0 1084.32/1084.63 c 117 158 213.33 41.78 5.11 1000000 0 1085.62/1085.91 c 120 248 216.19 41.13 5.26 1000000 0 1086.82/1087.19 c 110 197 209.25 46.93 4.46 1000000 0 1088.12/1088.47 c 117 210 209.67 40.53 5.17 1000000 0 1089.42/1089.76 c 122 231 213.50 43.78 4.88 1000000 0 1090.71/1091.04 c 111 205 205.32 43.50 4.72 1000000 0 1092.02/1092.32 c 110 244 213.55 42.26 5.05 1000000 0 1093.31/1093.60 c 98 176 204.88 44.36 4.62 1000000 0 1094.51/1094.88 c 110 236 208.58 44.16 4.72 1000000 0 1095.81/1096.17 c 123 187 210.61 40.04 5.26 1000000 0 1097.11/1097.45 c 106 180 212.87 42.88 4.96 1000000 0 1098.41/1098.73 c 113 192 212.33 40.66 5.22 1000000 0 1099.72/1100.01 c 98 201 211.20 44.50 4.75 1000000 0 1100.91/1101.27 c 121 247 217.45 43.61 4.99 1000000 0 1102.21/1102.55 c 100 185 213.41 44.33 4.81 1000000 0 1103.51/1103.82 c 108 186 218.81 42.97 5.09 1000000 0 1104.81/1105.11 c 107 195 208.80 41.64 5.01 1000000 0 1106.01/1106.38 c 111 174 211.30 40.38 5.23 1000000 0 1107.32/1107.66 c 121 225 215.77 41.78 5.16 1000000 0 1108.61/1108.94 c 114 171 211.70 40.70 5.20 1000000 0 1109.91/1110.21 c 120 202 213.52 43.69 4.89 1000000 0 1111.11/1111.49 c 96 177 211.05 42.89 4.92 1000000 0 1112.41/1112.76 c 111 159 215.25 37.90 5.68 1000000 0 1113.71/1114.03 c 100 234 209.20 43.00 4.87 1000000 0 1115.01/1115.32 c 112 181 212.71 47.18 4.51 1000000 0 1116.31/1116.60 c 104 212 212.69 45.17 4.71 1000000 0 1117.51/1117.88 c 120 191 213.24 46.17 4.62 1000000 0 1118.81/1119.16 c 97 187 212.80 40.42 5.27 1000000 0 1120.11/1120.44 c 112 194 215.01 36.16 5.95 1000000 0 1121.41/1121.72 c 109 209 220.94 44.16 5.00 1000000 0 1122.71/1123.00 c 125 222 209.26 39.46 5.30 1000000 0 1123.91/1124.28 c 117 182 208.46 37.04 5.63 1000000 0 1125.20/1125.55 c 110 221 209.17 35.45 5.90 1000000 0 1126.50/1126.84 c 125 211 213.31 38.82 5.49 1000000 0 1127.80/1128.11 c 109 204 211.02 39.44 5.35 1000000 0 1129.00/1129.40 c 101 239 209.91 41.46 5.06 1000000 0 1130.30/1130.68 c 100 232 213.07 42.34 5.03 1000000 0 1131.61/1131.95 c 116 210 214.05 38.05 5.62 1000000 0 1132.90/1133.22 c 110 229 207.88 45.34 4.59 1000000 0 1134.20/1134.51 c 102 198 211.16 37.81 5.59 1000000 0 1135.40/1135.78 c 113 221 217.79 44.39 4.91 1000000 0 1136.70/1137.05 c 93 212 215.63 39.62 5.44 1000000 0 1138.00/1138.34 c 107 241 209.28 45.76 4.57 1000000 0 1139.31/1139.62 c 112 291 215.22 44.66 4.82 1000000 0 1140.60/1140.90 c 111 202 205.73 38.77 5.31 1000000 0 1141.80/1142.18 c 119 242 209.54 41.25 5.08 1000000 0 1143.10/1143.46 c 106 206 213.58 45.84 4.66 1000000 0 1144.40/1144.73 c 92 218 212.87 38.95 5.47 1000000 0 1145.70/1146.00 c 122 216 213.66 39.42 5.42 1000000 0 1146.91/1147.27 c 107 144 210.99 39.33 5.37 1000000 0 1148.20/1148.56 c 109 201 212.94 41.46 5.14 1000000 0 1149.50/1149.83 c 113 209 206.88 39.08 5.29 1000000 0 1150.80/1151.11 c 103 198 210.35 43.10 4.88 1000000 0 1152.00/1152.37 c 122 230 221.17 45.28 4.88 1000000 0 1153.30/1153.65 c 102 182 213.94 41.96 5.10 1000000 0 1154.60/1154.93 c 122 195 218.01 43.75 4.98 1000000 0 1155.90/1156.21 c 99 189 206.41 43.01 4.80 1000000 0 1157.10/1157.49 c 108 230 213.57 44.72 4.78 1000000 0 1158.40/1158.77 c 111 227 213.89 43.99 4.86 1000000 0 1159.70/1160.05 c 114 197 213.26 43.83 4.87 1000000 0 1161.00/1161.32 c 110 191 213.12 45.16 4.72 1000000 0 1162.30/1162.60 c 120 213 207.25 40.08 5.17 1000000 0 1163.50/1163.87 c 115 210 214.71 43.37 4.95 1000000 0 1164.79/1165.14 c 114 225 213.93 42.76 5.00 1000000 0 1166.09/1166.42 c 121 156 215.02 40.57 5.30 1000000 0 1167.39/1167.70 c 107 192 208.63 43.21 4.83 1000000 0 1168.59/1168.98 c 111 216 212.18 37.37 5.68 1000000 0 1169.89/1170.26 c 111 215 213.22 41.34 5.16 1000000 0 1171.20/1171.55 c 97 195 206.10 44.41 4.64 1000000 0 1172.49/1172.83 c 111 214 207.63 36.64 5.67 1000000 0 1173.79/1174.10 c 103 215 208.86 42.41 4.92 1000000 0 1174.99/1175.38 c 116 172 221.98 44.11 5.03 1000000 0 1176.29/1176.65 c 108 206 209.08 38.95 5.37 1000000 0 1177.59/1177.92 c 118 172 212.25 44.77 4.74 1000000 0 1178.80/1179.20 c 98 158 211.08 44.00 4.80 1000000 0 1180.09/1180.48 c 101 204 210.23 44.42 4.73 1000000 0 1181.39/1181.76 c 112 257 216.53 36.54 5.93 1000000 0 1182.69/1183.03 c 107 207 215.83 43.79 4.93 1000000 0 1183.99/1184.32 c 108 178 214.81 42.66 5.03 1000000 0 1185.19/1185.58 c 119 206 217.27 48.74 4.46 1000000 0 1186.50/1186.86 c 107 229 212.38 41.58 5.11 1000000 0 1187.79/1188.14 c 101 202 212.15 42.81 4.96 1000000 0 1189.09/1189.42 c 120 211 212.78 39.96 5.32 1000000 0 1190.39/1190.70 c 118 227 213.96 38.40 5.57 1000000 0 1191.59/1191.98 c 104 196 212.71 40.35 5.27 1000000 0 1192.89/1193.25 c 107 203 211.59 41.71 5.07 1000000 0 1194.19/1194.53 c 109 184 212.13 41.72 5.08 1000000 0 1195.49/1195.82 c 98 220 205.63 47.40 4.34 1000000 0 1196.69/1197.09 c 109 203 215.18 48.94 4.40 1000000 0 1197.99/1198.36 c 117 234 211.39 42.42 4.98 1000000 0 1199.29/1199.63 c 105 232 219.95 40.14 5.48 1000000 0 1200.59/1200.91 c 99 193 208.28 38.85 5.36 1000000 0 1201.89/1202.20 c 111 180 209.81 44.27 4.74 1000000 0 1203.09/1203.47 c 119 233 209.08 37.89 5.52 1000000 0 1204.38/1204.76 c 111 231 210.19 43.38 4.85 1000000 0 1205.68/1206.03 c 114 212 216.00 42.31 5.11 1000000 0 1206.98/1207.31 c 92 178 202.60 41.26 4.91 1000000 0 1208.18/1208.59 c 106 209 213.51 42.14 5.07 1000000 0 1209.48/1209.86 c 122 235 217.72 40.11 5.43 1000000 0 1210.79/1211.14 c 92 135 206.58 42.10 4.91 1000000 0 1212.08/1212.41 c 108 200 214.22 43.02 4.98 1000000 0 1213.28/1213.69 c 95 200 206.75 39.66 5.21 1000000 0 1214.58/1214.96 c 109 188 212.19 42.13 5.04 1000000 0 1215.88/1216.24 c 114 198 222.54 42.41 5.25 1000000 0 1217.18/1217.51 c 114 206 212.69 37.58 5.66 1000000 0 1218.39/1218.80 c 123 199 212.18 41.80 5.08 1000000 0 1219.68/1220.08 c 112 182 209.39 49.64 4.22 1000000 0 1220.98/1221.36 c 101 161 213.15 46.16 4.62 1000000 0 1222.28/1222.62 c 110 194 215.52 44.10 4.89 1000000 0 1223.58/1223.90 c 114 231 206.76 35.36 5.85 1000000 0 1224.78/1225.18 c 109 174 207.30 42.79 4.84 1000000 0 1226.09/1226.46 c 108 183 209.84 40.10 5.23 1000000 0 1227.38/1227.74 c 101 184 212.44 43.27 4.91 1000000 0 1228.68/1229.01 c 106 217 211.09 39.42 5.35 1000000 0 1229.88/1230.29 c 117 213 211.95 40.48 5.24 1000000 0 1231.18/1231.57 c 117 250 213.73 42.62 5.01 1000000 0 1232.48/1232.83 c 113 218 216.01 43.01 5.02 1000000 0 1233.78/1234.11 c 114 205 215.71 43.96 4.91 1000000 0 1234.99/1235.38 c 121 225 214.25 45.49 4.71 1000000 0 1236.28/1236.66 c 118 201 208.48 35.48 5.88 1000000 0 1237.58/1237.94 c 102 155 214.13 49.37 4.34 1000000 0 1238.88/1239.22 c 119 231 211.72 35.04 6.04 1000000 0 1240.08/1240.49 c 106 217 215.06 47.78 4.50 1000000 0 1241.38/1241.78 c 106 199 207.96 43.92 4.74 1000000 0 1242.68/1243.06 c 110 184 213.82 41.62 5.14 1000000 0 1243.97/1244.34 c 108 189 210.41 43.24 4.87 1000000 0 1245.27/1245.62 c 118 224 208.87 36.77 5.68 1000000 0 1246.57/1246.90 c 128 188 217.08 42.31 5.13 1000000 0 1247.77/1248.18 c 111 228 209.42 44.65 4.69 1000000 0 1249.07/1249.45 c 115 216 214.90 39.66 5.42 1000000 0 1250.38/1250.73 c 89 186 211.03 43.68 4.83 1000000 0 1251.67/1252.01 c 108 153 215.32 40.33 5.34 1000000 0 1252.87/1253.28 c 109 223 214.32 48.26 4.44 1000000 0 1254.17/1254.56 c 100 168 215.70 39.63 5.44 1000000 0 1255.47/1255.84 c 125 239 216.91 39.56 5.48 1000000 0 1256.77/1257.11 c 118 226 213.36 41.54 5.14 1000000 0 1257.98/1258.39 c 103 225 214.26 41.59 5.15 1000000 0 1259.27/1259.66 c 115 185 217.34 38.38 5.66 1000000 0 1260.57/1260.93 c 105 200 213.85 40.15 5.33 1000000 0 1261.87/1262.21 c 94 217 212.49 42.15 5.04 1000000 0 1263.07/1263.48 c 119 203 213.53 40.36 5.29 1000000 0 1264.37/1264.76 c 116 176 212.01 43.92 4.83 1000000 0 1265.68/1266.03 c 112 216 216.90 49.66 4.37 1000000 0 1266.97/1267.31 c 120 212 213.11 36.85 5.78 1000000 0 1268.27/1268.60 c 108 207 209.14 42.87 4.88 1000000 0 1269.47/1269.88 c 113 185 215.79 42.92 5.03 1000000 0 1270.77/1271.16 c 109 204 208.10 42.59 4.89 1000000 0 1272.07/1272.43 c 101 259 211.26 43.06 4.91 1000000 0 1273.37/1273.71 c 121 207 215.18 42.16 5.10 1000000 0 1274.57/1274.98 c 112 149 208.12 43.40 4.79 1000000 0 1275.87/1276.25 c 111 188 215.45 42.68 5.05 1000000 0 1277.17/1277.53 c 111 178 212.41 40.91 5.19 1000000 0 1278.47/1278.80 c 106 172 207.76 45.11 4.61 1000000 0 1279.67/1280.07 c 107 219 220.46 44.25 4.98 1000000 0 1280.97/1281.35 c 99 232 209.32 43.77 4.78 1000000 0 1282.27/1282.64 c 100 188 206.36 41.90 4.92 1000000 0 1283.56/1283.91 c 83 190 210.05 40.33 5.21 1000000 0 1284.76/1285.18 c 127 206 209.82 41.33 5.08 1000000 0 1286.06/1286.45 c 117 212 214.51 39.04 5.50 1000000 0 1287.36/1287.73 c 116 212 212.17 39.64 5.35 1000000 0 1288.66/1289.01 c 111 178 211.39 43.02 4.91 1000000 0 1289.87/1290.28 c 110 190 209.59 43.00 4.87 1000000 0 1291.16/1291.56 c 110 225 213.37 46.40 4.60 1000000 0 1292.46/1292.83 c 112 209 210.74 34.35 6.13 1000000 0 1293.76/1294.11 c 116 203 210.07 45.15 4.65 1000000 0 1294.96/1295.39 c 109 167 209.25 43.98 4.76 1000000 0 1296.26/1296.67 c 104 227 210.56 46.17 4.56 1000000 0 1297.57/1297.95 c 117 237 213.91 43.94 4.87 1000000 0 1298.86/1299.22 c 119 240 214.17 46.11 4.64 1000000 0 1300.16/1300.50 c 113 185 205.20 40.36 5.08 1000000 0 1301.36/1301.77 c 118 211 215.44 42.37 5.08 1000000 0 1302.66/1303.05 c 119 188 207.32 40.50 5.12 1000000 0 1303.96/1304.33 c 117 198 211.50 43.39 4.87 1000000 0 1305.27/1305.61 c 116 227 213.76 45.08 4.74 1000000 0 1306.47/1306.88 c 110 219 209.90 45.17 4.65 1000000 0 1307.76/1308.15 c 97 193 217.07 43.62 4.98 1000000 0 1309.06/1309.43 c 112 235 213.13 42.45 5.02 1000000 0 1310.36/1310.71 c 96 257 205.48 39.18 5.24 1000000 0 1311.56/1311.99 c 124 198 213.05 45.49 4.68 1000000 0 1312.86/1313.27 c 124 209 217.95 45.41 4.80 1000000 0 1314.16/1314.55 c 107 200 213.40 44.54 4.79 1000000 0 1315.46/1315.83 c 105 212 209.90 47.87 4.38 1000000 0 1316.75/1317.10 c 111 217 215.09 39.00 5.52 1000000 0 1317.95/1318.38 c 84 147 208.54 43.22 4.83 1000000 0 1319.25/1319.66 c 116 177 213.74 43.83 4.88 1000000 0 1320.55/1320.93 c 112 209 213.10 44.80 4.76 1000000 0 1321.86/1322.21 c 96 279 209.53 45.69 4.59 1000000 0 1323.05/1323.50 c 111 142 210.68 42.99 4.90 1000000 0 1324.35/1324.77 c 114 179 214.12 45.95 4.66 1000000 0 1325.65/1326.05 c 101 221 211.28 43.90 4.81 1000000 0 1326.95/1327.33 c 110 271 218.59 42.82 5.11 1000000 0 1328.15/1328.59 c 107 239 220.50 39.62 5.56 1000000 0 1329.46/1329.87 c 115 192 209.28 40.02 5.23 1000000 0 1330.75/1331.14 c 118 190 220.83 42.99 5.14 1000000 0 1332.05/1332.42 c 110 246 213.49 41.96 5.09 1000000 0 1333.35/1333.70 c 111 224 208.34 43.98 4.74 1000000 0 1334.55/1334.97 c 102 228 213.31 37.89 5.63 1000000 0 1335.85/1336.24 c 114 171 213.37 38.06 5.61 1000000 0 1337.16/1337.51 c 112 190 210.74 39.40 5.35 1000000 0 1338.45/1338.80 c 111 196 205.31 36.94 5.56 1000000 0 1339.65/1340.08 c 92 221 208.91 37.13 5.63 1000000 0 1340.95/1341.36 c 102 207 211.56 37.46 5.65 1000000 0 1342.25/1342.64 c 127 205 217.98 44.82 4.86 1000000 0 1343.55/1343.92 c 104 150 205.67 39.62 5.19 1000000 0 1344.75/1345.19 c 119 237 213.85 41.80 5.12 1000000 0 1346.05/1346.47 c 101 155 208.09 43.76 4.75 1000000 0 1347.35/1347.74 c 112 160 211.97 43.13 4.91 1000000 0 1348.65/1349.02 c 110 191 211.70 39.85 5.31 1000000 0 1349.95/1350.30 c 102 180 209.35 43.68 4.79 1000000 0 1351.15/1351.57 c 116 239 215.19 36.79 5.85 1000000 0 1352.45/1352.85 c 103 189 213.11 44.09 4.83 1000000 0 1353.75/1354.12 c 126 172 210.53 32.70 6.44 1000000 0 1355.04/1355.40 c 99 272 211.61 43.55 4.86 1000000 0 1356.24/1356.68 c 104 253 205.61 42.25 4.87 1000000 0 1357.54/1357.96 c 114 199 210.70 40.11 5.25 1000000 0 1358.84/1359.23 c 113 199 211.87 38.85 5.45 1000000 0 1360.14/1360.53 c 99 231 202.65 42.52 4.77 1000000 0 1361.45/1361.82 c 109 187 209.48 43.23 4.85 1000000 0 1362.64/1363.09 c 118 160 210.87 36.37 5.80 1000000 0 1363.94/1364.38 c 110 218 211.10 40.06 5.27 1000000 0 1365.24/1365.66 c 104 207 208.82 41.21 5.07 1000000 0 1366.54/1366.93 c 119 197 213.18 40.99 5.20 1000000 0 1367.84/1368.21 c 121 188 216.00 43.09 5.01 1000000 0 1369.05/1369.48 c 110 301 214.51 46.18 4.65 1000000 0 1370.34/1370.76 c 107 204 210.30 41.77 5.03 1000000 0 1371.64/1372.04 c 115 186 207.76 40.72 5.10 1000000 0 1372.94/1373.33 c 116 216 212.15 41.22 5.15 1000000 0 1374.24/1374.60 c 107 198 212.48 40.15 5.29 1000000 0 1375.44/1375.88 c 100 213 209.02 40.31 5.19 1000000 0 1376.75/1377.17 c 112 238 213.94 44.07 4.85 1000000 0 1378.04/1378.44 c 109 240 216.81 42.55 5.09 1000000 0 1379.34/1379.72 c 114 185 207.55 45.52 4.56 1000000 0 1380.54/1380.99 c 104 281 204.18 49.56 4.12 1000000 0 1381.84/1382.27 c 113 192 212.60 40.93 5.19 1000000 0 1383.14/1383.54 c 122 236 218.14 43.14 5.06 1000000 0 1384.44/1384.80 c 110 224 220.62 42.62 5.18 1000000 0 1385.64/1386.08 c 113 196 212.16 40.05 5.30 1000000 0 1386.94/1387.37 c 108 221 207.72 41.18 5.04 1000000 0 1388.24/1388.65 c 105 240 210.34 42.84 4.91 1000000 0 1389.54/1389.92 c 114 256 215.79 40.99 5.26 1000000 0 1390.84/1391.20 c 102 235 211.46 42.24 5.01 1000000 0 1392.04/1392.49 c 116 217 216.27 38.52 5.61 1000000 0 1393.34/1393.76 c 110 217 216.90 42.53 5.10 1000000 0 1394.63/1395.03 c 117 173 213.04 44.07 4.83 1000000 0 1395.93/1396.31 c 122 239 210.33 39.37 5.34 1000000 0 1397.13/1397.58 c 104 190 210.25 40.62 5.18 1000000 0 1398.43/1398.87 c 101 255 208.43 36.51 5.71 1000000 0 1399.73/1400.15 c 111 199 209.46 37.95 5.52 1000000 0 1401.04/1401.43 c 108 229 210.31 40.76 5.16 1000000 0 1402.33/1402.71 c 116 229 208.74 43.06 4.85 1000000 0 1403.53/1403.99 c 118 207 208.60 38.03 5.49 1000000 0 1404.83/1405.27 c 117 222 220.56 45.77 4.82 1000000 0 1406.13/1406.54 c 111 183 208.11 41.72 4.99 1000000 0 1407.43/1407.81 c 128 211 224.64 41.56 5.41 1000000 0 1408.64/1409.09 c 114 194 211.51 38.82 5.45 1000000 0 1409.93/1410.36 c 113 205 213.44 43.31 4.93 1000000 0 1411.23/1411.64 c 106 232 211.85 38.68 5.48 1000000 0 1412.53/1412.92 c 115 152 210.46 38.98 5.40 1000000 0 1413.83/1414.20 c 106 170 207.37 42.18 4.92 1000000 0 1415.03/1415.48 c 119 205 215.06 42.51 5.06 1000000 0 1416.34/1416.75 c 123 223 213.06 41.00 5.20 1000000 0 1417.63/1418.03 c 117 247 211.74 40.93 5.17 1000000 0 1418.93/1419.30 c 107 200 216.71 37.54 5.77 1000000 0 1420.13/1420.57 c 117 219 213.12 41.58 5.13 1000000 0 1421.43/1421.85 c 131 192 215.34 44.18 4.87 1000000 0 1422.73/1423.13 c 107 224 208.03 40.62 5.12 1000000 0 1424.03/1424.41 c 100 213 209.47 45.77 4.58 1000000 0 1425.23/1425.68 c 115 178 213.32 36.73 5.81 1000000 0 1426.53/1426.96 c 114 183 211.72 48.73 4.35 1000000 0 1427.83/1428.25 c 120 203 210.14 39.52 5.32 1000000 0 1429.13/1429.53 c 113 155 206.96 39.31 5.26 1000000 0 1430.43/1430.82 c 110 182 210.62 43.36 4.86 1000000 0 1431.63/1432.09 c 99 226 210.89 39.40 5.35 1000000 0 1432.93/1433.38 c 119 211 212.26 40.54 5.24 1000000 0 1434.22/1434.66 c 112 208 206.33 41.50 4.97 1000000 0 1435.52/1435.94 c 117 168 209.08 41.83 5.00 1000000 0 1436.82/1437.22 c 106 206 216.68 45.63 4.75 1000000 0 1438.02/1438.49 c 111 225 209.59 43.14 4.86 1000000 0 1439.32/1439.77 c 97 188 207.93 41.94 4.96 1000000 0 1440.63/1441.05 c 112 198 217.41 46.28 4.70 1000000 0 1441.92/1442.32 c 115 221 214.29 42.17 5.08 1000000 0 1443.12/1443.59 c 134 218 219.18 39.63 5.53 1000000 0 1444.42/1444.87 c 93 215 208.40 42.71 4.88 1000000 0 1445.72/1446.13 c 116 181 216.37 42.51 5.09 1000000 0 1447.02/1447.41 c 109 199 212.06 41.80 5.07 1000000 0 1448.23/1448.70 c 109 176 213.57 43.94 4.86 1000000 0 1449.52/1449.98 c 98 177 209.74 50.45 4.16 1000000 0 1450.82/1451.26 c 114 202 212.60 42.69 4.98 1000000 0 1452.12/1452.53 c 117 211 211.88 38.59 5.49 1000000 0 1453.42/1453.82 c 115 248 208.48 45.53 4.58 1000000 0 1454.62/1455.09 c 116 197 219.93 43.71 5.03 1000000 0 1455.93/1456.37 c 117 206 211.09 41.32 5.11 1000000 0 1457.22/1457.66 c 115 210 208.20 46.00 4.53 1000000 0 1458.52/1458.93 c 119 235 210.73 40.81 5.16 1000000 0 1459.82/1460.22 c 116 242 211.53 44.12 4.80 1000000 0 1461.02/1461.49 c 118 252 209.97 36.14 5.81 1000000 0 1462.32/1462.76 c 109 210 215.74 43.85 4.92 1000000 0 1463.62/1464.03 c 115 206 211.44 39.12 5.40 1000000 0 1464.92/1465.31 c 106 166 210.76 40.64 5.19 1000000 0 1466.12/1466.59 c 119 242 213.41 39.75 5.37 1000000 0 1467.41/1467.87 c 120 185 214.14 40.25 5.32 1000000 0 1468.71/1469.16 c 115 176 209.54 40.82 5.13 1000000 0 1470.01/1470.43 c 97 207 213.41 40.55 5.26 1000000 0 1471.32/1471.70 c 106 240 220.35 41.52 5.31 1000000 0 1472.52/1472.98 c 106 190 211.92 39.84 5.32 1000000 0 1473.81/1474.25 c 114 195 210.19 40.69 5.17 1000000 0 1475.11/1475.53 c 107 220 211.08 40.85 5.17 1000000 0 1476.41/1476.81 c 117 257 213.28 42.39 5.03 1000000 0 1477.71/1478.10 c 119 236 211.34 36.48 5.79 1000000 0 1478.91/1479.39 c 106 208 215.91 42.60 5.07 1000000 0 1480.22/1480.65 c 116 252 221.54 46.08 4.81 1000000 0 1481.51/1481.93 c 101 215 217.66 47.02 4.63 1000000 0 1482.81/1483.21 c 107 191 211.85 45.66 4.64 1000000 0 1484.01/1484.49 c 109 253 214.50 42.05 5.10 1000000 0 1485.31/1485.77 c 114 218 210.04 38.30 5.48 1000000 0 1486.61/1487.05 c 118 161 209.83 40.90 5.13 1000000 0 1487.92/1488.33 c 123 227 214.98 42.99 5.00 1000000 0 1489.21/1489.60 c 110 240 209.64 36.71 5.71 1000000 0 1490.41/1490.88 c 108 182 216.33 40.07 5.40 1000000 0 1491.71/1492.16 c 105 155 213.68 46.05 4.64 1000000 0 1493.01/1493.44 c 110 237 211.92 39.64 5.35 1000000 0 1494.31/1494.72 c 107 226 215.10 40.43 5.32 1000000 0 1495.52/1495.99 c 105 185 209.72 38.23 5.49 1000000 0 1496.81/1497.26 c 110 222 215.13 45.83 4.69 1000000 0 1498.11/1498.55 c 125 257 213.16 43.32 4.92 1000000 0 1499.41/1499.82 c 109 184 211.25 39.00 5.42 1000000 0 1500.61/1501.09 c 126 274 217.34 39.36 5.52 1000000 0 1501.91/1502.37 c 102 213 209.51 41.36 5.07 1000000 0 1503.21/1503.65 c 99 232 210.63 38.60 5.46 1000000 0 1504.51/1504.93 c 112 192 211.36 41.79 5.06 1000000 0 1505.81/1506.21 c 114 203 204.04 39.96 5.11 1000000 0 1507.11/1507.50 c 118 219 209.13 38.36 5.45 1000000 0 1508.31/1508.78 c 119 229 212.41 37.93 5.60 1000000 0 1509.60/1510.05 c 112 229 210.64 41.99 5.02 1000000 0 1510.91/1511.34 c 110 206 206.16 42.52 4.85 1000000 0 1512.20/1512.62 c 115 180 215.50 41.38 5.21 1000000 0 1513.50/1513.90 c 103 220 208.18 40.11 5.19 1000000 0 1514.70/1515.18 c 101 144 208.17 38.99 5.34 1000000 0 1516.00/1516.48 c 90 167 206.16 47.07 4.38 1000000 0 1517.30/1517.75 c 103 183 214.31 41.05 5.22 1000000 0 1518.61/1519.02 c 118 222 210.10 44.25 4.75 1000000 0 1519.81/1520.29 c 109 192 214.39 44.12 4.86 1000000 0 1521.10/1521.57 c 106 218 211.32 43.33 4.88 1000000 0 1522.40/1522.85 c 100 206 217.97 46.08 4.73 1000000 0 1523.70/1524.12 c 96 224 209.26 40.40 5.18 1000000 0 1524.90/1525.40 c 114 230 215.63 42.73 5.05 1000000 0 1526.20/1526.67 c 99 256 209.45 44.19 4.74 1000000 0 1527.51/1527.94 c 114 170 214.99 39.18 5.49 1000000 0 1528.80/1529.22 c 114 200 207.28 43.05 4.82 1000000 0 1530.10/1530.50 c 117 191 212.18 42.32 5.01 1000000 0 1531.30/1531.78 c 109 235 211.37 44.10 4.79 1000000 0 1532.60/1533.05 c 113 191 211.33 43.25 4.89 1000000 0 1533.90/1534.33 c 110 192 213.38 39.86 5.35 1000000 0 1535.21/1535.61 c 101 181 216.81 43.43 4.99 1000000 0 1536.40/1536.88 c 113 223 215.67 41.92 5.14 1000000 0 1537.70/1538.16 c 119 190 215.28 43.48 4.95 1000000 0 1539.00/1539.45 c 104 194 206.75 41.94 4.93 1000000 0 1540.30/1540.72 c 119 225 214.77 41.12 5.22 1000000 0 1541.50/1541.99 c 117 241 214.05 37.06 5.78 1000000 0 1542.80/1543.27 c 118 193 213.85 42.67 5.01 1000000 0 1544.10/1544.55 c 111 259 207.72 36.84 5.64 1000000 0 1545.40/1545.83 c 116 180 221.80 48.43 4.58 1000000 0 1546.59/1547.09 c 127 207 218.79 44.20 4.95 1000000 0 1547.89/1548.37 c 127 246 211.72 38.95 5.44 1000000 0 1549.19/1549.66 c 107 256 208.30 41.47 5.02 1000000 0 1550.50/1550.93 c 122 199 213.75 44.46 4.81 1000000 0 1551.79/1552.20 c 108 164 212.96 42.88 4.97 1000000 0 1552.99/1553.48 c 106 198 215.63 40.55 5.32 1000000 0 1554.29/1554.76 c 115 202 213.17 41.90 5.09 1000000 0 1555.59/1556.03 c 116 166 215.87 42.64 5.06 1000000 0 1556.89/1557.32 c 102 183 208.47 46.13 4.52 1000000 0 1558.20/1558.60 c 123 179 212.72 41.63 5.11 1000000 0 1559.40/1559.88 c 111 212 213.22 37.68 5.66 1000000 0 1560.69/1561.15 c 127 205 220.83 36.39 6.07 1000000 0 1561.99/1562.43 c 116 216 212.48 42.74 4.97 1000000 0 1563.29/1563.70 c 119 147 209.29 44.53 4.70 1000000 0 1564.49/1564.98 c 126 193 215.29 40.65 5.30 1000000 0 1565.79/1566.27 c 106 224 204.54 39.02 5.24 1000000 0 1567.10/1567.55 c 106 225 206.61 37.17 5.56 1000000 0 1568.39/1568.83 c 107 189 209.67 42.73 4.91 1000000 0 1569.69/1570.11 c 114 201 206.14 40.46 5.09 1000000 0 1570.89/1571.39 c 104 203 215.07 43.65 4.93 1000000 0 1572.19/1572.66 c 123 169 218.30 38.96 5.60 1000000 0 1573.49/1573.95 c 104 189 213.95 41.63 5.14 1000000 0 1574.80/1575.21 c 110 215 211.23 37.18 5.68 1000000 0 1575.99/1576.49 c 125 156 211.19 38.37 5.50 1000000 0 1577.29/1577.76 c 123 231 215.28 42.95 5.01 1000000 0 1578.59/1579.03 c 114 176 213.92 39.26 5.45 1000000 0 1579.89/1580.31 c 125 220 210.49 41.68 5.05 1000000 0 1581.09/1581.59 c 112 218 205.83 39.30 5.24 1000000 0 1582.39/1582.87 c 108 207 213.43 41.77 5.11 1000000 0 1583.69/1584.15 c 118 195 212.54 37.28 5.70 1000000 0 1584.99/1585.43 c 116 177 217.06 41.33 5.25 1000000 0 1586.28/1586.71 c 114 249 211.68 41.90 5.05 1000000 0 1587.48/1587.98 c 114 172 216.97 41.49 5.23 1000000 0 1588.78/1589.26 c 115 194 214.39 39.30 5.46 1000000 0 1590.09/1590.53 c 121 198 211.94 41.34 5.13 1000000 0 1591.29/1591.79 c 116 189 208.26 35.06 5.94 1000000 0 1592.58/1593.07 c 104 180 209.84 37.33 5.62 1000000 0 1593.88/1594.35 c 111 232 214.51 43.61 4.92 1000000 0 1595.18/1595.61 c 93 176 210.42 35.93 5.86 1000000 0 1596.38/1596.89 c 103 205 210.15 41.92 5.01 1000000 0 1597.68/1598.17 c 105 163 212.24 38.75 5.48 1000000 0 1598.99/1599.45 c 128 199 215.99 36.48 5.92 1000000 0 1600.28/1600.73 c 99 169 215.76 45.00 4.79 1000000 0 1601.58/1602.01 c 112 234 211.45 40.06 5.28 1000000 0 1602.78/1603.28 c 102 198 214.83 48.42 4.44 1000000 0 1604.08/1604.56 c 117 201 213.42 45.19 4.72 1000000 0 1605.38/1605.84 c 105 205 211.52 39.83 5.31 1000000 0 1606.69/1607.12 c 105 216 217.38 42.64 5.10 1000000 0 1607.98/1608.41 c 113 245 208.98 39.85 5.24 1000000 0 1609.18/1609.67 c 110 196 218.49 49.27 4.43 1000000 0 1610.48/1610.95 c 96 191 210.25 45.62 4.61 1000000 0 1611.78/1612.22 c 116 191 213.39 40.81 5.23 1000000 0 1613.08/1613.51 c 112 223 205.62 42.87 4.80 1000000 0 1614.28/1614.79 c 106 187 211.20 39.50 5.35 1000000 0 1615.58/1616.08 c 104 193 207.79 37.78 5.50 1000000 0 1616.88/1617.34 c 114 163 218.80 41.98 5.21 1000000 0 1618.18/1618.62 c 108 168 211.99 44.75 4.74 1000000 0 1619.48/1619.91 c 112 161 214.84 40.17 5.35 1000000 0 1620.68/1621.19 c 101 190 212.97 37.81 5.63 1000000 0 1621.98/1622.47 c 110 183 215.19 40.40 5.33 1000000 0 1623.28/1623.76 c 108 234 203.99 39.93 5.11 1000000 0 1624.58/1625.04 c 103 209 217.76 42.36 5.14 1000000 0 1625.88/1626.33 c 108 209 207.79 44.70 4.65 1000000 0 1627.18/1627.61 c 121 191 214.15 40.96 5.23 1000000 0 1628.38/1628.89 c 95 181 209.97 43.63 4.81 1000000 0 1629.68/1630.16 c 107 216 216.86 37.05 5.85 1000000 0 1630.97/1631.44 c 112 184 209.79 32.85 6.39 1000000 0 1632.27/1632.71 c 97 246 210.97 44.59 4.73 1000000 0 1633.47/1633.99 c 100 189 211.91 40.54 5.23 1000000 0 1634.77/1635.27 c 111 175 208.07 38.30 5.43 1000000 0 1636.07/1636.55 c 104 191 210.02 42.88 4.90 1000000 0 1637.38/1637.83 c 100 155 214.70 44.73 4.80 1000000 0 1638.67/1639.12 c 106 217 212.29 43.08 4.93 1000000 0 1639.97/1640.40 c 118 216 209.74 46.38 4.52 1000000 0 1641.17/1641.67 c 105 166 206.97 37.89 5.46 1000000 0 1642.47/1642.94 c 106 208 211.45 40.41 5.23 1000000 0 1643.77/1644.22 c 99 235 213.11 43.64 4.88 1000000 0 1644.97/1645.50 c 112 182 211.23 44.03 4.80 1000000 0 1646.28/1646.77 c 110 206 205.63 38.18 5.39 1000000 0 1647.57/1648.05 c 98 193 214.10 35.87 5.97 1000000 0 1648.87/1649.33 c 106 169 207.40 40.60 5.11 1000000 0 1650.17/1650.61 c 110 149 211.24 41.50 5.09 1000000 0 1651.37/1651.89 c 110 211 209.18 37.68 5.55 1000000 0 1652.67/1653.17 c 113 191 216.80 45.08 4.81 1000000 0 1653.98/1654.44 c 104 223 211.86 39.48 5.37 1000000 0 1655.27/1655.72 c 106 196 209.39 44.64 4.69 1000000 0 1656.57/1657.00 c 113 238 215.74 39.19 5.51 1000000 0 1657.77/1658.27 c 119 187 211.27 40.07 5.27 1000000 0 1659.07/1659.54 c 117 221 215.19 42.12 5.11 1000000 0 1660.37/1660.82 c 115 236 210.28 44.03 4.78 1000000 0 1661.57/1662.10 c 111 200 213.29 42.36 5.03 1000000 0 1662.87/1663.37 c 124 200 214.06 42.49 5.04 1000000 0 1664.17/1664.67 c 113 192 202.28 37.33 5.42 1000000 0 1665.46/1665.94 c 121 198 214.32 44.54 4.81 1000000 0 1666.76/1667.21 c 113 223 217.64 45.22 4.81 1000000 0 1667.96/1668.49 c 123 198 210.41 38.23 5.50 1000000 0 1669.27/1669.76 c 111 171 214.62 41.59 5.16 1000000 0 1670.56/1671.04 c 104 214 213.74 38.51 5.55 1000000 0 1671.86/1672.31 c 110 220 212.47 37.95 5.60 1000000 0 1673.06/1673.59 c 95 208 210.87 43.31 4.87 1000000 0 1674.36/1674.87 c 115 174 211.93 41.51 5.11 1000000 0 1675.66/1676.14 c 112 204 213.10 39.49 5.40 1000000 0 1676.97/1677.41 c 114 241 213.60 38.46 5.55 1000000 0 1678.17/1678.69 c 107 208 210.23 44.03 4.77 1000000 0 1679.46/1679.96 c 103 232 210.41 42.73 4.92 1000000 0 1680.76/1681.23 c 100 198 210.35 49.38 4.26 1000000 0 1682.06/1682.51 c 108 191 212.51 42.15 5.04 1000000 0 1683.26/1683.79 c 121 207 213.51 43.71 4.88 1000000 0 1684.56/1685.08 c 109 228 209.35 42.58 4.92 1000000 0 1685.87/1686.36 c 112 227 215.05 40.67 5.29 1000000 0 1687.16/1687.64 c 112 161 211.42 42.87 4.93 1000000 0 1688.46/1688.91 c 118 207 209.69 43.11 4.86 1000000 0 1689.66/1690.18 c 108 176 212.92 44.23 4.81 1000000 0 1690.96/1691.45 c 115 205 215.68 41.45 5.20 1000000 0 1692.26/1692.73 c 111 167 211.32 42.31 4.99 1000000 0 1693.56/1694.01 c 108 189 215.10 43.50 4.94 1000000 0 1694.76/1695.28 c 120 212 214.26 45.24 4.74 1000000 0 1696.06/1696.57 c 114 241 210.46 46.15 4.56 1000000 0 1697.36/1697.84 c 126 234 214.34 40.33 5.32 1000000 0 1698.66/1699.11 c 115 224 210.96 43.36 4.87 1000000 0 1699.96/1700.40 c 107 199 212.52 36.73 5.79 1000000 0 1701.16/1701.68 c 95 213 209.54 41.53 5.05 1000000 0 1702.46/1702.97 c 107 229 212.68 44.36 4.79 1000000 0 1703.75/1704.23 c 117 168 215.16 42.37 5.08 1000000 0 1705.05/1705.50 c 118 226 212.59 40.47 5.25 1000000 0 1706.25/1706.77 c 118 229 212.58 39.44 5.39 1000000 0 1707.55/1708.04 c 95 269 217.15 48.00 4.52 1000000 0 1708.86/1709.32 c 114 217 211.91 45.54 4.65 1000000 0 1710.06/1710.60 c 112 198 215.27 39.56 5.44 1000000 0 1711.35/1711.87 c 122 181 210.31 39.37 5.34 1000000 0 1712.65/1713.15 c 115 175 216.65 48.89 4.43 1000000 0 1713.95/1714.41 c 121 252 221.77 40.91 5.42 1000000 0 1715.15/1715.68 c 125 200 219.40 43.93 4.99 1000000 0 1716.45/1716.96 c 119 180 211.89 40.94 5.18 1000000 0 1717.76/1718.24 c 111 201 215.96 45.47 4.75 1000000 0 1719.05/1719.51 c 109 216 217.56 48.34 4.50 1000000 0 1720.25/1720.79 c 117 175 210.30 39.21 5.36 1000000 0 1721.55/1722.06 c 117 166 220.53 46.43 4.75 1000000 0 1722.85/1723.33 c 116 216 210.22 39.66 5.30 1000000 0 1724.15/1724.61 c 119 203 215.83 39.10 5.52 1000000 0 1725.36/1725.89 c 116 189 212.82 39.74 5.36 1000000 0 1726.65/1727.17 c 116 222 215.54 47.06 4.58 1000000 0 1727.95/1728.43 c 121 230 217.12 37.35 5.81 1000000 0 1729.25/1729.72 c 115 225 206.36 45.09 4.58 1000000 0 1730.55/1731.00 c 96 151 208.10 38.28 5.44 1000000 0 1731.75/1732.28 c 116 218 219.32 42.09 5.21 1000000 0 1733.05/1733.55 c 113 205 211.40 45.96 4.60 1000000 0 1734.35/1734.84 c 110 208 210.67 43.62 4.83 1000000 0 1735.65/1736.12 c 116 219 211.05 37.39 5.64 1000000 0 1736.95/1737.40 c 119 207 215.07 43.34 4.96 1000000 0 1738.15/1738.68 c 110 185 212.21 39.34 5.39 1000000 0 1739.45/1739.97 c 101 163 206.48 48.03 4.30 1000000 0 1740.75/1741.24 c 111 207 210.97 40.77 5.17 1000000 0 1742.04/1742.52 c 118 231 206.87 41.07 5.04 1000000 0 1743.34/1743.80 c 98 209 214.18 45.73 4.68 1000000 0 1744.54/1745.08 c 102 142 212.74 43.62 4.88 1000000 0 1745.84/1746.36 c 111 188 209.51 42.99 4.87 1000000 0 1747.14/1747.65 c 105 243 206.93 44.77 4.62 1000000 0 1748.45/1748.93 c 113 208 211.15 36.35 5.81 1000000 0 1749.74/1750.20 c 100 183 213.18 43.85 4.86 1000000 0 1750.94/1751.48 c 111 224 205.67 38.34 5.36 1000000 0 1752.24/1752.75 c 111 213 208.37 38.84 5.37 1000000 0 1753.54/1754.03 c 105 187 206.14 41.31 4.99 1000000 0 1754.84/1755.30 c 129 241 215.44 36.32 5.93 1000000 0 1756.04/1756.58 c 108 200 211.66 42.89 4.93 1000000 0 1757.35/1757.86 c 98 217 214.89 46.89 4.58 1000000 0 1758.64/1759.15 c 115 231 207.59 44.30 4.69 1000000 0 1759.94/1760.42 c 102 180 208.87 43.05 4.85 1000000 0 1761.24/1761.70 c 116 238 212.48 42.51 5.00 1000000 0 1762.44/1762.97 c 92 241 213.80 36.61 5.84 1000000 0 1763.74/1764.25 c 110 209 207.83 41.73 4.98 1000000 0 1765.05/1765.53 c 112 185 206.36 41.92 4.92 1000000 0 1766.34/1766.80 c 98 214 211.05 45.72 4.62 1000000 0 1767.54/1768.07 c 114 191 213.33 43.25 4.93 1000000 0 1768.84/1769.35 c 120 214 226.19 46.91 4.82 1000000 0 1770.14/1770.62 c 113 200 212.52 37.85 5.61 1000000 0 1771.44/1771.91 c 93 144 209.78 38.35 5.47 1000000 0 1772.64/1773.18 c 121 264 209.81 40.96 5.12 1000000 0 1773.94/1774.46 c 111 207 211.68 41.10 5.15 1000000 0 1775.24/1775.74 c 113 215 208.19 42.71 4.87 1000000 0 1776.54/1777.01 c 107 212 213.87 43.96 4.87 1000000 0 1777.74/1778.28 c 105 171 220.54 44.20 4.99 1000000 0 1779.04/1779.56 c 118 196 213.03 38.24 5.57 1000000 0 1780.34/1780.84 c 120 180 213.42 38.94 5.48 1000000 0 1781.64/1782.11 c 109 268 211.01 41.84 5.04 1000000 0 1782.83/1783.38 c 110 218 217.48 42.34 5.14 1000000 0 1784.13/1784.66 c 112 211 207.94 42.60 4.88 1000000 0 1785.43/1785.94 c 117 188 210.60 39.45 5.34 1000000 0 1786.73/1787.22 c 95 186 209.01 41.34 5.06 1000000 0 1787.93/1788.49 c 120 221 215.50 43.51 4.95 1000000 0 1789.24/1789.76 c 116 217 215.23 44.64 4.82 1000000 0 1790.53/1791.05 c 113 191 206.90 38.37 5.39 1000000 0 1791.83/1792.32 c 114 229 213.84 36.83 5.81 1000000 0 1793.13/1793.61 c 105 250 215.43 47.45 4.54 1000000 0 1794.33/1794.88 c 110 222 211.51 37.97 5.57 1000000 0 1795.63/1796.16 c 118 179 217.37 42.82 5.08 1000000 0 1796.94/1797.43 c 104 199 211.35 42.21 5.01 1000000 0 1798.23/1798.71 c 115 185 208.62 40.91 5.10 1000000 0 1799.43/1799.98 c 109 203 211.89 42.56 4.98 1000000 0 1800.04/1800.50 HOME/run: line 2: 3486 Terminated ./PB-wave < $1
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669875-1276610886/watcher-2669875-1276610886 -o /tmp/evaluation-result-2669875-1276610886/solver-2669875-1276610886 -C 1800 -W 2000 -M 1800 run HOME/instance-2669875-1276610886.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3485 /proc/meminfo: memFree=1765340/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) R 3483 3485 3128 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158868885 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [startup+0.0841771 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3485 /proc/meminfo: memFree=1765340/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101178 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3485 /proc/meminfo: memFree=1765340/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301198 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3485 /proc/meminfo: memFree=1765340/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701238 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3485 /proc/meminfo: memFree=1765340/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50132 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3487 /proc/meminfo: memFree=1761852/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1.49 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 149 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 847 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10148 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3487 /proc/meminfo: memFree=1761604/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=3.09 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 309 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134526837 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 847 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.3008 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3487 /proc/meminfo: memFree=1761604/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=6.29 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 629 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134526851 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 847 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7004 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3487 /proc/meminfo: memFree=1761356/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=12.69 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 1269 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134525893 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 847 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3487 /proc/meminfo: memFree=1761356/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=25.48 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 2548 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134571201 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 847 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3487 /proc/meminfo: memFree=1761356/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=51.08 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 5108 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 847 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3489 /proc/meminfo: memFree=1761108/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=102.27 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 10227 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 847 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3491 /proc/meminfo: memFree=1760860/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=162.25 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 16225 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 847 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3493 /proc/meminfo: memFree=1760860/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=222.23 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 22223 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 847 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3495 /proc/meminfo: memFree=1760736/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=282.22 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 28222 0 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525792 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49152 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3495 /proc/meminfo: memFree=1760612/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=342.2 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 34220 0 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3497 /proc/meminfo: memFree=1760488/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=402.18 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 40218 0 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1122.01 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 112200 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525806 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.05 1.03 1.00 2/108 3522 /proc/meminfo: memFree=1758256/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1181.99 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 118198 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525834 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.05 1.03 1.00 2/108 3522 /proc/meminfo: memFree=1758008/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1241.98 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 124197 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.13 1.05 1.01 2/108 3524 /proc/meminfo: memFree=1757884/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1301.97 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 130196 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526967 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.12 1.06 1.00 2/108 3526 /proc/meminfo: memFree=1757884/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1361.94 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 136193 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.11 1.06 1.00 2/108 3528 /proc/meminfo: memFree=1757760/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1421.94 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 142193 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.15 1.08 1.01 2/108 3530 /proc/meminfo: memFree=1757636/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1481.91 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 148190 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526672 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.05 1.06 1.00 2/108 3530 /proc/meminfo: memFree=1757512/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1541.9 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 154189 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.02 1.05 1.00 2/108 3532 /proc/meminfo: memFree=1757388/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1601.88 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 160187 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526149 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.04 1.00 2/108 3534 /proc/meminfo: memFree=1757140/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1661.87 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 166186 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526553 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.05 1.04 1.00 2/108 3536 /proc/meminfo: memFree=1757140/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1721.85 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 172184 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.02 1.03 1.00 2/108 3538 /proc/meminfo: memFree=1756768/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1781.84 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 178183 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.01 1.03 1.00 2/108 3538 /proc/meminfo: memFree=1756768/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1800.04 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 180003 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.01 1.03 1.00 2/108 3538 /proc/meminfo: memFree=1756768/2059040 swapFree=4134608/4192956 [pid=3485] ppid=3483 vsize=8700 CPUtime=0 /proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3485/statm: 2175 244 204 178 0 68 0 [pid=3486] ppid=3485 vsize=40452 CPUtime=1800.04 /proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 180003 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3486/statm: 10113 848 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1800.03 CPU system time (s): 0.019996 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.019996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1292 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 5390 runsolver used 3.04354 second user time and 8.50171 second system time The end
Begin job on node017 at 2010-06-15 16:08:06 IDJOB=2669875 IDBENCH=1471 IDSOLVER=1171 FILE ID=node017/2669875-1276610886 PBS_JOBID= 11172279 Free space on /tmp= 62540 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669875-1276610886/watcher-2669875-1276610886 -o /tmp/evaluation-result-2669875-1276610886/solver-2669875-1276610886 -C 1800 -W 2000 -M 1800 run HOME/instance-2669875-1276610886.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 959fbe15545355cb65c359cdf131bbdc RANDOM SEED=1449042267 node017.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1765860 kB Buffers: 95192 kB Cached: 116620 kB SwapCached: 11984 kB Active: 109204 kB Inactive: 117460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1765860 kB SwapTotal: 4192956 kB SwapFree: 4134608 kB Dirty: 1040 kB Writeback: 0 kB AnonPages: 13120 kB Mapped: 9412 kB Slab: 44708 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183024 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62540 MiB End job on node017 at 2010-06-15 16:38:06