Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.1 | 1800.72 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6022_1-sat.opb |
MD5SUM | 58a6f6f1a22b15b5d795e2fa09f17734 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.108982 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7930 |
Total number of constraints | 25932 |
Number of constraints which are clauses | 25676 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 256 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 35 |
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 | 28 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 206 |
Number of bits of the biggest sum of numbers | 8 |
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.07 c PB-wave - v2 0.00/0.07 c command line = ./PB-wave 0.00/0.07 c seed = 87084314 0.00/0.07 c cutoff = 1000000 0.00/0.07 c tries = 1000000 0.00/0.07 c heuristic = c best, noise 50 / 100 0.00/0.07 #var 7930 #con 25932 0.00/0.07 mode is SAT 0.00/0.07 c tail starts after flip = 23790 0.00/0.07 c numatom = 7930, numclause = 25932, numliterals = 62361 0.00/0.07 c wff read in 0.00/0.07 c 0.00/0.07 c lowest final avg noise noise total avg mean mean 0.00/0.07 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.07 c this this this this this this success success until std 0.00/0.07 c try try try try try try rate tries assign dev 0.00/0.07 c 1.28/1.30 c 180 334 330.36 53.68 6.15 1000000 0 2.48/2.53 c 143 347 333.85 60.26 5.54 1000000 0 3.68/3.76 c 164 372 329.90 55.42 5.95 1000000 0 4.88/4.99 c 180 367 327.59 49.38 6.63 1000000 0 6.18/6.22 c 163 245 323.39 57.48 5.63 1000000 0 7.38/7.44 c 154 469 330.97 58.87 5.62 1000000 0 8.58/8.68 c 180 341 329.97 60.08 5.49 1000000 0 9.89/9.91 c 156 381 329.28 58.36 5.64 1000000 0 11.08/11.14 c 188 271 326.23 55.16 5.91 1000000 0 12.28/12.36 c 170 394 323.56 55.50 5.83 1000000 0 13.48/13.59 c 173 281 325.41 59.88 5.43 1000000 0 14.78/14.82 c 167 334 326.18 54.49 5.99 1000000 0 15.98/16.05 c 150 310 332.27 59.46 5.59 1000000 0 17.18/17.28 c 171 357 331.77 52.87 6.27 1000000 0 18.48/18.50 c 161 326 328.29 54.68 6.00 1000000 0 19.68/19.73 c 154 366 323.05 54.06 5.98 1000000 0 20.88/20.96 c 158 356 319.82 57.22 5.59 1000000 0 22.08/22.18 c 155 300 329.95 61.93 5.33 1000000 0 23.38/23.42 c 160 304 336.63 64.46 5.22 1000000 0 24.58/24.64 c 176 339 323.31 49.33 6.55 1000000 0 25.77/25.87 c 176 305 324.67 55.94 5.80 1000000 0 27.07/27.10 c 160 271 323.66 71.06 4.55 1000000 0 28.27/28.33 c 180 379 333.30 60.24 5.53 1000000 0 29.47/29.56 c 155 353 327.60 54.78 5.98 1000000 0 30.68/30.79 c 176 331 337.75 58.51 5.77 1000000 0 31.97/32.02 c 172 381 339.53 57.71 5.88 1000000 0 33.17/33.24 c 173 270 326.24 53.42 6.11 1000000 0 34.37/34.47 c 139 334 326.50 70.79 4.61 1000000 0 35.67/35.70 c 147 264 327.63 64.01 5.12 1000000 0 36.87/36.93 c 174 269 327.08 55.00 5.95 1000000 0 38.07/38.15 c 148 294 320.87 57.24 5.61 1000000 0 39.27/39.38 c 167 375 325.62 58.67 5.55 1000000 0 40.58/40.61 c 178 242 331.26 55.75 5.94 1000000 0 41.78/41.84 c 158 303 324.16 54.81 5.91 1000000 0 42.97/43.07 c 174 399 325.88 62.71 5.20 1000000 0 44.17/44.30 c 173 356 333.44 56.33 5.92 1000000 0 45.47/45.52 c 165 389 322.84 56.84 5.68 1000000 0 46.67/46.75 c 185 294 329.61 54.49 6.05 1000000 0 47.87/47.98 c 146 379 322.09 60.57 5.32 1000000 0 49.17/49.21 c 188 300 339.87 54.11 6.28 1000000 0 50.37/50.44 c 179 411 322.50 54.20 5.95 1000000 0 51.57/51.67 c 148 394 331.06 59.18 5.59 1000000 0 52.87/52.90 c 172 292 335.61 57.73 5.81 1000000 0 54.07/54.13 c 171 281 329.04 56.32 5.84 1000000 0 55.27/55.36 c 177 480 333.64 55.12 6.05 1000000 0 56.46/56.58 c 179 347 326.33 54.81 5.95 1000000 0 57.76/57.82 c 172 352 330.96 56.92 5.81 1000000 0 58.96/59.04 c 159 258 323.71 59.08 5.48 1000000 0 60.16/60.27 c 168 268 320.64 58.96 5.44 1000000 0 61.47/61.50 c 177 349 321.17 54.21 5.92 1000000 0 62.67/62.73 c 153 433 331.84 59.92 5.54 1000000 0 63.86/63.96 c 187 351 325.74 53.64 6.07 1000000 0 65.06/65.20 c 136 332 335.96 64.42 5.22 1000000 0 66.36/66.43 c 184 232 332.90 55.37 6.01 1000000 0 67.56/67.66 c 173 401 326.39 49.68 6.57 1000000 0 68.76/68.89 c 177 260 324.18 53.24 6.09 1000000 0 70.06/70.11 c 163 312 335.20 59.45 5.64 1000000 0 71.26/71.34 c 175 346 328.88 58.13 5.66 1000000 0 72.47/72.57 c 172 342 324.00 53.68 6.04 1000000 0 73.76/73.80 c 179 325 329.28 55.05 5.98 1000000 0 74.96/75.02 c 178 275 323.17 52.84 6.12 1000000 0 76.16/76.25 c 192 244 328.54 50.54 6.50 1000000 0 77.36/77.48 c 189 344 331.44 52.05 6.37 1000000 0 78.66/78.71 c 165 402 324.57 51.14 6.35 1000000 0 79.86/79.93 c 188 334 332.86 53.35 6.24 1000000 0 81.06/81.16 c 166 347 330.93 56.74 5.83 1000000 0 82.26/82.39 c 192 403 325.65 56.12 5.80 1000000 0 83.56/83.62 c 167 335 330.56 52.39 6.31 1000000 0 84.76/84.85 c 168 291 338.40 62.18 5.44 1000000 0 85.95/86.08 c 169 323 339.29 58.00 5.85 1000000 0 87.25/87.31 c 172 264 324.83 58.37 5.56 1000000 0 88.45/88.54 c 196 346 341.09 56.45 6.04 1000000 0 89.65/89.77 c 139 371 328.04 60.94 5.38 1000000 0 90.95/91.00 c 183 301 336.33 58.19 5.78 1000000 0 92.15/92.22 c 183 263 329.97 55.52 5.94 1000000 0 93.36/93.45 c 182 318 327.36 55.93 5.85 1000000 0 94.56/94.68 c 171 382 322.46 53.13 6.07 1000000 0 95.85/95.91 c 167 403 323.83 59.24 5.47 1000000 0 97.05/97.15 c 168 347 339.78 56.56 6.01 1000000 0 98.25/98.37 c 163 266 321.60 67.93 4.73 1000000 0 99.45/99.60 c 177 327 320.63 54.90 5.84 1000000 0 100.75/100.83 c 171 263 331.00 67.12 4.93 1000000 0 101.95/102.06 c 139 318 328.31 61.50 5.34 1000000 0 103.15/103.28 c 147 319 320.22 57.82 5.54 1000000 0 104.46/104.51 c 147 383 318.77 56.18 5.67 1000000 0 105.65/105.74 c 181 369 342.23 65.89 5.19 1000000 0 106.85/106.97 c 179 316 328.92 54.30 6.06 1000000 0 108.15/108.20 c 153 260 326.92 56.83 5.75 1000000 0 109.35/109.43 c 188 433 339.82 60.62 5.61 1000000 0 110.55/110.66 c 168 469 334.82 55.47 6.04 1000000 0 111.75/111.89 c 192 308 334.54 57.85 5.78 1000000 0 113.04/113.11 c 149 423 324.51 53.11 6.11 1000000 0 114.25/114.34 c 169 344 330.76 60.48 5.47 1000000 0 115.45/115.57 c 167 348 323.66 60.20 5.38 1000000 0 116.74/116.80 c 182 313 331.04 55.55 5.96 1000000 0 117.94/118.03 c 177 390 330.95 56.89 5.82 1000000 0 119.14/119.26 c 185 259 333.11 63.05 5.28 1000000 0 120.34/120.49 c 180 343 332.19 52.45 6.33 1000000 0 121.64/121.72 c 159 358 330.45 58.84 5.62 1000000 0 122.84/122.95 c 181 301 330.11 55.89 5.91 1000000 0 124.04/124.18 c 166 300 330.69 51.14 6.47 1000000 0 125.35/125.41 c 158 298 327.39 52.48 6.24 1000000 0 126.54/126.64 c 158 245 320.11 56.31 5.68 1000000 0 127.74/127.87 c 193 244 335.67 58.25 5.76 1000000 0 128.94/129.10 c 180 270 322.18 57.38 5.62 1000000 0 130.24/130.32 c 141 386 324.32 57.16 5.67 1000000 0 131.44/131.55 c 186 308 330.06 50.88 6.49 1000000 0 132.64/132.78 c 180 346 330.62 59.56 5.55 1000000 0 133.94/134.00 c 190 327 336.39 58.55 5.75 1000000 0 135.14/135.23 c 142 362 330.11 63.34 5.21 1000000 0 136.35/136.46 c 171 298 329.50 55.29 5.96 1000000 0 137.54/137.69 c 182 268 329.76 54.56 6.04 1000000 0 138.84/138.92 c 153 441 332.75 58.26 5.71 1000000 0 140.04/140.15 c 171 354 333.38 59.23 5.63 1000000 0 141.24/141.38 c 171 356 332.80 67.96 4.90 1000000 0 142.53/142.61 c 162 364 332.40 58.71 5.66 1000000 0 143.73/143.84 c 173 315 326.52 54.68 5.97 1000000 0 144.93/145.07 c 155 384 326.97 54.00 6.06 1000000 0 146.14/146.30 c 136 317 330.05 60.59 5.45 1000000 0 147.43/147.52 c 181 318 330.50 61.79 5.35 1000000 0 148.63/148.75 c 176 306 327.22 56.26 5.82 1000000 0 149.83/149.98 c 130 275 330.46 54.62 6.05 1000000 0 151.13/151.21 c 163 358 329.31 59.78 5.51 1000000 0 152.33/152.44 c 178 323 328.46 59.54 5.52 1000000 0 153.53/153.67 c 187 316 333.48 57.66 5.78 1000000 0 154.83/154.91 c 190 337 331.23 57.88 5.72 1000000 0 156.04/156.13 c 164 257 325.46 50.83 6.40 1000000 0 157.24/157.36 c 161 283 321.02 49.75 6.45 1000000 0 158.43/158.58 c 182 343 331.14 58.32 5.68 1000000 0 159.73/159.81 c 180 297 332.66 57.83 5.75 1000000 0 160.93/161.04 c 156 347 329.64 55.73 5.92 1000000 0 162.13/162.27 c 161 335 322.47 60.02 5.37 1000000 0 163.43/163.50 c 161 326 325.40 55.28 5.89 1000000 0 164.63/164.73 c 170 240 332.09 50.30 6.60 1000000 0 165.83/165.96 c 164 291 333.63 62.27 5.36 1000000 0 167.03/167.18 c 165 366 328.79 50.84 6.47 1000000 0 168.33/168.41 c 182 225 326.36 48.53 6.73 1000000 0 169.53/169.64 c 160 279 333.08 62.52 5.33 1000000 0 170.73/170.87 c 164 278 324.27 53.59 6.05 1000000 0 172.03/172.10 c 169 370 340.75 60.63 5.62 1000000 0 173.22/173.33 c 156 379 329.84 54.37 6.07 1000000 0 174.42/174.56 c 167 312 327.74 51.40 6.38 1000000 0 175.62/175.79 c 168 351 333.27 59.41 5.61 1000000 0 176.93/177.02 c 170 310 329.80 58.11 5.68 1000000 0 178.13/178.25 c 178 267 329.84 56.86 5.80 1000000 0 179.32/179.48 c 181 275 333.70 65.68 5.08 1000000 0 180.62/180.71 c 184 332 337.83 58.51 5.77 1000000 0 181.82/181.94 c 164 302 324.77 60.59 5.36 1000000 0 183.02/183.17 c 179 360 335.28 51.31 6.53 1000000 0 184.22/184.40 c 161 437 328.55 56.91 5.77 1000000 0 185.52/185.63 c 174 300 329.02 55.08 5.97 1000000 0 186.72/186.85 c 180 297 326.53 52.63 6.20 1000000 0 187.93/188.08 c 164 281 327.56 56.11 5.84 1000000 0 189.22/189.31 c 175 249 322.00 62.18 5.18 1000000 0 190.42/190.54 c 162 298 322.21 60.20 5.35 1000000 0 191.62/191.77 c 169 322 326.30 57.00 5.72 1000000 0 192.82/193.00 c 166 285 333.14 63.11 5.28 1000000 0 194.12/194.22 c 158 311 320.88 54.20 5.92 1000000 0 195.32/195.45 c 181 265 332.56 57.50 5.78 1000000 0 196.52/196.68 c 173 309 333.46 59.17 5.64 1000000 0 197.82/197.91 c 185 323 334.02 55.28 6.04 1000000 0 199.02/199.15 c 187 307 341.63 60.32 5.66 1000000 0 200.22/200.38 c 165 440 330.11 59.16 5.58 1000000 0 201.52/201.61 c 174 322 327.78 64.35 5.09 1000000 0 202.72/202.84 c 177 355 336.96 55.13 6.11 1000000 0 203.91/204.07 c 182 275 335.46 54.52 6.15 1000000 0 205.21/205.31 c 184 333 339.98 63.96 5.32 1000000 0 206.41/206.54 c 160 342 331.06 60.00 5.52 1000000 0 207.61/207.76 c 178 401 324.18 52.48 6.18 1000000 0 208.82/208.99 c 128 234 330.75 53.94 6.13 1000000 0 210.11/210.22 c 174 349 330.90 58.73 5.63 1000000 0 211.31/211.45 c 147 368 325.90 54.39 5.99 1000000 0 212.51/212.68 c 160 233 326.24 54.95 5.94 1000000 0 213.81/213.91 c 158 285 327.83 59.74 5.49 1000000 0 215.01/215.14 c 155 341 325.77 52.50 6.21 1000000 0 216.21/216.37 c 200 386 336.39 53.48 6.29 1000000 0 217.51/217.60 c 173 321 340.61 56.38 6.04 1000000 0 218.72/218.83 c 138 389 327.33 60.90 5.38 1000000 0 219.92/220.05 c 183 334 326.12 54.38 6.00 1000000 0 221.11/221.28 c 155 301 331.40 57.12 5.80 1000000 0 222.41/222.51 c 145 373 326.50 51.82 6.30 1000000 0 223.61/223.74 c 161 350 331.24 55.83 5.93 1000000 0 224.81/224.97 c 159 373 336.99 58.15 5.79 1000000 0 226.01/226.19 c 153 301 320.31 54.49 5.88 1000000 0 227.31/227.42 c 168 288 324.01 54.28 5.97 1000000 0 228.51/228.65 c 167 280 328.12 56.36 5.82 1000000 0 229.71/229.88 c 176 371 328.63 57.80 5.69 1000000 0 231.01/231.11 c 175 286 336.10 61.56 5.46 1000000 0 232.21/232.34 c 178 328 332.39 56.40 5.89 1000000 0 233.40/233.57 c 181 380 332.73 55.64 5.98 1000000 0 234.70/234.80 c 141 305 324.38 57.53 5.64 1000000 0 235.90/236.03 c 170 369 327.95 54.17 6.05 1000000 0 237.10/237.26 c 166 370 328.51 59.00 5.57 1000000 0 238.30/238.50 c 177 271 341.99 55.17 6.20 1000000 0 239.61/239.73 c 162 248 334.47 58.87 5.68 1000000 0 240.81/240.96 c 175 330 335.76 64.89 5.17 1000000 0 242.00/242.19 c 157 298 325.38 53.24 6.11 1000000 0 243.30/243.41 c 157 371 317.48 52.61 6.03 1000000 0 244.50/244.64 c 163 332 321.49 50.36 6.38 1000000 0 245.70/245.87 c 165 338 338.41 57.58 5.88 1000000 0 247.00/247.10 c 163 415 327.15 52.73 6.20 1000000 0 248.20/248.33 c 157 335 327.25 54.06 6.05 1000000 0 249.40/249.56 c 174 298 329.48 54.17 6.08 1000000 0 250.60/250.79 c 168 323 322.63 60.40 5.34 1000000 0 251.90/252.02 c 173 273 325.34 56.35 5.77 1000000 0 253.10/253.25 c 159 344 330.92 56.99 5.81 1000000 0 254.30/254.48 c 156 345 321.71 54.81 5.87 1000000 0 255.60/255.70 c 163 283 324.51 55.79 5.82 1000000 0 256.79/256.93 c 182 419 326.99 51.06 6.40 1000000 0 257.99/258.16 c 173 372 326.86 52.36 6.24 1000000 0 259.19/259.39 c 125 377 334.28 58.95 5.67 1000000 0 260.50/260.62 c 195 337 338.49 63.61 5.32 1000000 0 261.70/261.85 c 167 343 333.64 52.73 6.33 1000000 0 262.89/263.08 c 195 425 337.15 51.70 6.52 1000000 0 264.19/264.31 c 156 288 337.99 58.57 5.77 1000000 0 265.39/265.54 c 164 219 337.64 58.24 5.80 1000000 0 266.59/266.77 c 176 256 333.19 55.89 5.96 1000000 0 267.89/268.00 c 178 384 323.38 60.59 5.34 1000000 0 269.09/269.23 c 166 257 325.44 51.26 6.35 1000000 0 270.29/270.45 c 178 363 325.76 55.99 5.82 1000000 0 271.50/271.69 c 192 377 326.79 55.90 5.85 1000000 0 272.79/272.91 c 136 323 330.94 51.14 6.47 1000000 0 273.99/274.14 c 159 362 321.10 52.69 6.09 1000000 0 275.19/275.37 c 158 389 328.21 54.06 6.07 1000000 0 276.49/276.60 c 176 277 331.50 55.90 5.93 1000000 0 277.69/277.83 c 161 348 329.31 60.44 5.45 1000000 0 278.89/279.06 c 157 340 323.10 59.90 5.39 1000000 0 280.09/280.29 c 184 278 329.90 57.45 5.74 1000000 0 281.39/281.52 c 177 304 328.69 55.30 5.94 1000000 0 282.59/282.74 c 169 320 327.26 55.20 5.93 1000000 0 283.78/283.98 c 170 352 335.93 56.60 5.94 1000000 0 285.08/285.21 c 186 383 336.89 60.53 5.57 1000000 0 286.28/286.44 c 161 329 336.34 59.01 5.70 1000000 0 287.48/287.67 c 155 380 333.04 61.06 5.45 1000000 0 288.68/288.89 c 178 272 328.94 58.26 5.65 1000000 0 289.98/290.12 c 159 283 331.64 62.70 5.29 1000000 0 291.18/291.35 c 178 272 326.96 56.63 5.77 1000000 0 292.39/292.58 c 175 394 337.14 65.50 5.15 1000000 0 293.68/293.81 c 168 345 328.35 54.04 6.08 1000000 0 294.88/295.04 c 164 321 335.30 57.30 5.85 1000000 0 296.08/296.27 c 155 350 326.37 59.03 5.53 1000000 0 297.28/297.50 c 173 322 316.22 49.20 6.43 1000000 0 298.58/298.73 c 177 257 330.84 55.61 5.95 1000000 0 299.78/299.95 c 171 252 320.32 57.71 5.55 1000000 0 300.98/301.18 c 163 329 336.23 57.83 5.81 1000000 0 302.29/302.41 c 152 249 315.55 57.22 5.52 1000000 0 303.49/303.64 c 166 380 326.75 58.66 5.57 1000000 0 304.68/304.87 c 168 277 332.90 55.77 5.97 1000000 0 305.98/306.10 c 126 344 325.51 62.41 5.22 1000000 0 307.18/307.33 c 162 340 329.41 55.83 5.90 1000000 0 308.38/308.55 c 145 353 319.05 57.84 5.52 1000000 0 309.58/309.78 c 178 327 329.87 58.58 5.63 1000000 0 310.88/311.01 c 182 400 334.05 56.05 5.96 1000000 0 312.08/312.24 c 172 240 328.57 63.02 5.21 1000000 0 313.28/313.48 c 190 329 332.18 53.48 6.21 1000000 0 314.58/314.70 c 173 270 326.82 61.80 5.29 1000000 0 315.77/315.93 c 173 278 326.61 50.03 6.53 1000000 0 316.97/317.16 c 184 278 341.03 58.30 5.85 1000000 0 318.17/318.38 c 168 298 324.08 63.00 5.14 1000000 0 319.47/319.62 c 169 443 330.32 54.32 6.08 1000000 0 320.67/320.85 c 164 316 328.94 56.86 5.79 1000000 0 321.87/322.07 c 169 321 326.60 63.17 5.17 1000000 0 323.18/323.30 c 150 293 331.84 60.14 5.52 1000000 0 324.38/324.53 c 166 356 331.95 60.39 5.50 1000000 0 325.57/325.76 c 177 263 331.85 53.40 6.21 1000000 0 326.77/326.99 c 176 305 321.48 50.30 6.39 1000000 0 328.07/328.22 c 186 304 317.77 46.30 6.86 1000000 0 329.27/329.45 c 145 316 323.06 58.55 5.52 1000000 0 330.47/330.68 c 175 376 337.81 53.21 6.35 1000000 0 331.77/331.90 c 162 346 324.57 58.42 5.56 1000000 0 332.97/333.13 c 167 318 335.34 55.62 6.03 1000000 0 334.18/334.36 c 173 305 329.41 56.30 5.85 1000000 0 335.38/335.59 c 157 257 331.36 55.01 6.02 1000000 0 336.67/336.81 c 179 326 338.65 65.88 5.14 1000000 0 337.87/338.04 c 170 316 325.14 58.05 5.60 1000000 0 339.07/339.27 c 177 269 327.88 55.51 5.91 1000000 0 340.37/340.50 c 168 356 331.50 58.54 5.66 1000000 0 341.57/341.73 c 185 286 323.49 59.66 5.42 1000000 0 342.76/342.96 c 191 312 338.36 63.26 5.35 1000000 0 343.96/344.19 c 182 388 332.02 58.17 5.71 1000000 0 345.27/345.42 c 165 379 340.09 63.48 5.36 1000000 0 346.46/346.65 c 163 388 331.59 58.65 5.65 1000000 0 347.66/347.87 c 166 339 328.34 51.78 6.34 1000000 0 348.96/349.10 c 160 310 325.11 57.07 5.70 1000000 0 350.16/350.33 c 189 324 332.69 56.14 5.93 1000000 0 351.36/351.56 c 153 339 324.99 58.58 5.55 1000000 0 352.56/352.80 c 177 309 329.64 64.29 5.13 1000000 0 353.86/354.03 c 151 410 328.71 61.30 5.36 1000000 0 355.07/355.26 c 172 312 327.43 57.33 5.71 1000000 0 356.27/356.49 c 173 274 321.46 54.79 5.87 1000000 0 357.56/357.72 c 151 315 334.17 52.15 6.41 1000000 0 358.76/358.94 c 172 422 322.35 51.38 6.27 1000000 0 359.96/360.17 c 153 287 321.16 54.41 5.90 1000000 0 361.26/361.40 c 184 324 334.24 58.91 5.67 1000000 0 362.46/362.63 c 161 293 324.12 54.75 5.92 1000000 0 363.66/363.86 c 162 268 327.60 59.67 5.49 1000000 0 364.86/365.09 c 159 311 322.74 51.32 6.29 1000000 0 366.16/366.32 c 175 345 328.80 58.12 5.66 1000000 0 367.36/367.55 c 156 423 332.11 60.22 5.51 1000000 0 368.56/368.77 c 149 307 329.05 57.92 5.68 1000000 0 369.86/370.00 c 183 356 328.79 59.09 5.56 1000000 0 371.06/371.23 c 173 428 331.37 55.93 5.92 1000000 0 372.26/372.46 c 184 271 332.84 50.34 6.61 1000000 0 373.46/373.69 c 168 526 328.18 59.90 5.48 1000000 0 374.76/374.92 c 167 260 338.14 57.94 5.84 1000000 0 375.96/376.15 c 160 324 322.47 59.13 5.45 1000000 0 377.16/377.38 c 169 275 325.89 55.73 5.85 1000000 0 378.45/378.61 c 173 252 320.41 54.24 5.91 1000000 0 379.65/379.84 c 150 380 331.40 58.22 5.69 1000000 0 380.85/381.07 c 184 308 328.15 50.58 6.49 1000000 0 382.15/382.30 c 151 224 330.11 60.08 5.49 1000000 0 383.35/383.53 c 184 321 326.89 53.71 6.09 1000000 0 384.55/384.76 c 185 298 339.26 57.09 5.94 1000000 0 385.75/385.99 c 183 362 333.16 55.22 6.03 1000000 0 387.06/387.22 c 161 337 329.03 65.86 5.00 1000000 0 388.25/388.44 c 168 293 329.27 57.69 5.71 1000000 0 389.45/389.67 c 158 327 328.08 60.20 5.45 1000000 0 390.75/390.90 c 158 338 340.83 61.78 5.52 1000000 0 391.95/392.13 c 149 256 327.56 58.93 5.56 1000000 0 393.15/393.36 c 175 324 327.24 49.68 6.59 1000000 0 394.35/394.59 c 164 315 326.27 60.02 5.44 1000000 0 395.65/395.82 c 167 363 332.23 59.03 5.63 1000000 0 396.85/397.05 c 177 380 326.82 54.09 6.04 1000000 0 398.05/398.28 c 179 295 337.25 54.11 6.23 1000000 0 399.35/399.51 c 176 350 323.89 52.42 6.18 1000000 0 400.55/400.73 c 171 375 316.15 55.28 5.72 1000000 0 401.74/401.97 c 202 298 338.63 53.03 6.39 1000000 0 402.94/403.20 c 173 401 333.44 56.27 5.93 1000000 0 404.24/404.43 c 143 321 322.98 55.23 5.85 1000000 0 405.44/405.66 c 160 257 327.26 52.29 6.26 1000000 0 406.64/406.88 c 164 397 329.58 50.09 6.58 1000000 0 407.95/408.11 c 167 356 336.30 57.30 5.87 1000000 0 409.14/409.34 c 178 371 332.59 54.70 6.08 1000000 0 410.34/410.57 c 177 250 325.14 57.81 5.62 1000000 0 411.54/411.79 c 161 327 325.28 53.97 6.03 1000000 0 412.84/413.02 c 181 353 331.16 59.52 5.56 1000000 0 414.04/414.25 c 146 291 322.31 60.28 5.35 1000000 0 415.24/415.49 c 162 342 334.40 60.67 5.51 1000000 0 416.54/416.72 c 172 269 327.36 64.27 5.09 1000000 0 417.75/417.94 c 171 290 332.22 57.42 5.79 1000000 0 418.95/419.17 c 177 259 330.87 52.66 6.28 1000000 0 420.24/420.40 c 143 420 339.10 57.21 5.93 1000000 0 421.44/421.62 c 163 353 326.83 55.80 5.86 1000000 0 422.64/422.85 c 173 320 336.40 62.84 5.35 1000000 0 423.84/424.08 c 178 334 325.79 56.35 5.78 1000000 0 425.14/425.31 c 173 327 328.47 53.26 6.17 1000000 0 426.34/426.54 c 159 356 321.00 50.29 6.38 1000000 0 427.54/427.76 c 168 272 325.64 51.86 6.28 1000000 0 428.74/428.99 c 165 359 333.33 55.78 5.98 1000000 0 430.04/430.22 c 156 220 334.58 54.05 6.19 1000000 0 431.25/431.45 c 189 304 328.35 54.50 6.02 1000000 0 432.44/432.68 c 165 231 325.39 56.10 5.80 1000000 0 433.74/433.91 c 164 382 332.95 59.29 5.62 1000000 0 434.94/435.14 c 168 389 337.25 57.28 5.89 1000000 0 436.14/436.37 c 174 317 324.71 56.25 5.77 1000000 0 437.34/437.60 c 151 295 327.45 56.28 5.82 1000000 0 438.65/438.82 c 169 301 330.78 52.83 6.26 1000000 0 439.85/440.05 c 189 325 333.13 51.51 6.47 1000000 0 441.04/441.28 c 142 336 333.20 61.84 5.39 1000000 0 442.34/442.51 c 155 314 325.12 56.87 5.72 1000000 0 443.54/443.73 c 148 350 316.82 55.12 5.75 1000000 0 444.74/444.96 c 165 322 333.64 58.08 5.74 1000000 0 445.94/446.19 c 190 286 331.87 56.35 5.89 1000000 0 447.24/447.42 c 176 339 332.58 62.59 5.31 1000000 0 448.44/448.64 c 177 336 329.33 56.31 5.85 1000000 0 449.64/449.87 c 183 323 337.25 55.86 6.04 1000000 0 450.94/451.10 c 168 354 336.00 56.02 6.00 1000000 0 452.14/452.33 c 163 372 333.51 61.40 5.43 1000000 0 453.34/453.56 c 190 399 332.00 55.86 5.94 1000000 0 454.53/454.79 c 187 380 331.20 56.26 5.89 1000000 0 455.83/456.01 c 175 374 326.29 54.63 5.97 1000000 0 457.03/457.25 c 160 365 331.78 56.96 5.83 1000000 0 458.23/458.48 c 164 310 319.24 50.22 6.36 1000000 0 459.54/459.70 c 160 326 327.36 54.78 5.98 1000000 0 460.74/460.93 c 164 270 327.54 58.80 5.57 1000000 0 461.93/462.16 c 152 322 329.86 57.92 5.69 1000000 0 463.13/463.39 c 161 304 344.42 63.51 5.42 1000000 0 464.43/464.61 c 151 306 329.02 56.14 5.86 1000000 0 465.63/465.84 c 159 440 321.53 57.39 5.60 1000000 0 466.83/467.07 c 175 310 336.33 62.52 5.38 1000000 0 468.13/468.31 c 166 329 328.86 58.05 5.66 1000000 0 469.33/469.53 c 157 298 328.88 57.33 5.74 1000000 0 470.54/470.76 c 164 354 329.16 53.87 6.11 1000000 0 471.74/471.99 c 184 306 327.70 55.61 5.89 1000000 0 473.03/473.22 c 175 320 323.60 56.14 5.76 1000000 0 474.23/474.44 c 187 278 328.02 53.70 6.11 1000000 0 475.43/475.67 c 181 474 328.63 57.35 5.73 1000000 0 476.73/476.90 c 172 318 332.51 61.72 5.39 1000000 0 477.93/478.13 c 185 279 326.68 64.00 5.10 1000000 0 479.13/479.36 c 149 313 337.54 66.64 5.07 1000000 0 480.33/480.59 c 149 343 323.15 57.74 5.60 1000000 0 481.63/481.82 c 163 308 327.53 54.37 6.02 1000000 0 482.82/483.04 c 169 271 327.99 57.06 5.75 1000000 0 484.02/484.27 c 200 283 329.20 60.53 5.44 1000000 0 485.32/485.50 c 179 300 332.67 59.51 5.59 1000000 0 486.52/486.73 c 180 391 334.12 52.55 6.36 1000000 0 487.72/487.96 c 192 263 336.47 56.39 5.97 1000000 0 488.92/489.19 c 161 359 329.78 60.16 5.48 1000000 0 490.22/490.42 c 160 294 332.48 56.06 5.93 1000000 0 491.43/491.64 c 123 206 325.03 67.22 4.84 1000000 0 492.63/492.87 c 166 310 326.23 56.59 5.77 1000000 0 493.92/494.10 c 164 388 331.48 64.08 5.17 1000000 0 495.12/495.33 c 177 348 333.71 52.92 6.31 1000000 0 496.32/496.55 c 158 403 328.61 54.61 6.02 1000000 0 497.52/497.79 c 171 371 330.61 57.49 5.75 1000000 0 498.82/499.02 c 181 319 339.53 51.93 6.54 1000000 0 500.02/500.24 c 171 308 325.88 53.78 6.06 1000000 0 501.22/501.47 c 174 326 321.97 49.88 6.45 1000000 0 502.43/502.69 c 157 253 325.44 58.14 5.60 1000000 0 503.72/503.92 c 184 375 334.08 57.54 5.81 1000000 0 504.92/505.15 c 150 339 322.92 54.05 5.97 1000000 0 506.12/506.38 c 174 384 330.21 55.27 5.97 1000000 0 507.42/507.61 c 134 415 328.32 55.16 5.95 1000000 0 508.62/508.85 c 179 344 334.08 59.35 5.63 1000000 0 509.82/510.07 c 180 305 329.07 54.44 6.04 1000000 0 511.12/511.30 c 170 324 323.05 50.85 6.35 1000000 0 512.32/512.53 c 176 269 332.07 52.65 6.31 1000000 0 513.52/513.75 c 159 322 316.94 55.01 5.76 1000000 0 514.71/514.98 c 172 343 331.43 63.83 5.19 1000000 0 516.01/516.21 c 169 341 328.02 53.39 6.14 1000000 0 517.21/517.44 c 164 239 323.37 58.80 5.50 1000000 0 518.41/518.67 c 182 309 333.34 63.21 5.27 1000000 0 519.71/519.90 c 153 404 321.22 57.74 5.56 1000000 0 520.91/521.13 c 171 266 330.20 56.09 5.89 1000000 0 522.11/522.36 c 138 337 323.66 55.40 5.84 1000000 0 523.32/523.59 c 168 270 339.99 59.41 5.72 1000000 0 524.61/524.82 c 164 285 329.60 59.76 5.52 1000000 0 525.81/526.05 c 164 332 332.58 52.94 6.28 1000000 0 527.01/527.28 c 157 415 323.70 55.64 5.82 1000000 0 528.31/528.51 c 180 363 335.71 54.41 6.17 1000000 0 529.51/529.74 c 164 281 338.92 54.58 6.21 1000000 0 530.71/530.97 c 161 327 326.23 58.24 5.60 1000000 0 531.91/532.19 c 174 269 323.65 51.86 6.24 1000000 0 533.21/533.42 c 167 305 318.38 52.83 6.03 1000000 0 534.42/534.65 c 154 377 329.06 60.85 5.41 1000000 0 535.61/535.88 c 172 278 331.91 58.69 5.65 1000000 0 536.91/537.11 c 177 336 327.19 59.42 5.51 1000000 0 538.11/538.34 c 157 249 319.08 52.13 6.12 1000000 0 539.31/539.57 c 159 329 334.07 54.32 6.15 1000000 0 540.51/540.80 c 173 265 333.72 52.61 6.34 1000000 0 541.81/542.02 c 165 313 323.21 49.18 6.57 1000000 0 543.01/543.25 c 181 318 323.46 51.98 6.22 1000000 0 544.21/544.48 c 172 279 337.03 59.63 5.65 1000000 0 545.50/545.71 c 159 351 333.84 56.45 5.91 1000000 0 546.70/546.94 c 163 325 328.50 55.86 5.88 1000000 0 547.90/548.16 c 171 245 328.34 53.34 6.16 1000000 0 549.10/549.39 c 180 326 333.86 66.31 5.04 1000000 0 550.40/550.62 c 175 319 321.97 54.19 5.94 1000000 0 551.60/551.85 c 175 315 335.31 59.48 5.64 1000000 0 552.80/553.08 c 191 300 342.81 59.92 5.72 1000000 0 554.11/554.31 c 159 349 335.69 64.16 5.23 1000000 0 555.31/555.54 c 175 355 329.77 56.39 5.85 1000000 0 556.50/556.77 c 185 351 331.56 59.77 5.55 1000000 0 557.70/558.00 c 154 199 325.52 62.46 5.21 1000000 0 559.00/559.22 c 174 270 323.82 50.82 6.37 1000000 0 560.20/560.45 c 163 256 327.26 53.85 6.08 1000000 0 561.40/561.68 c 150 341 329.07 51.38 6.41 1000000 0 562.70/562.91 c 174 249 334.19 56.06 5.96 1000000 0 563.90/564.14 c 175 272 331.49 56.29 5.89 1000000 0 565.10/565.37 c 167 323 323.94 54.47 5.95 1000000 0 566.40/566.60 c 177 255 329.91 57.69 5.72 1000000 0 567.60/567.83 c 181 347 337.19 55.02 6.13 1000000 0 568.80/569.06 c 135 310 327.73 59.97 5.46 1000000 0 570.00/570.29 c 166 313 335.06 59.13 5.67 1000000 0 571.30/571.52 c 162 375 336.41 54.41 6.18 1000000 0 572.49/572.75 c 169 296 321.63 54.56 5.90 1000000 0 573.69/573.98 c 170 353 327.24 55.63 5.88 1000000 0 575.00/575.21 c 168 287 326.73 61.94 5.28 1000000 0 576.20/576.44 c 176 269 327.34 55.01 5.95 1000000 0 577.39/577.67 c 142 301 328.74 57.95 5.67 1000000 0 578.59/578.90 c 141 422 323.51 57.87 5.59 1000000 0 579.89/580.13 c 187 304 329.80 51.40 6.42 1000000 0 581.09/581.35 c 159 378 313.03 52.50 5.96 1000000 0 582.29/582.59 c 158 280 332.14 55.84 5.95 1000000 0 583.59/583.82 c 149 341 329.14 59.23 5.56 1000000 0 584.79/585.04 c 189 249 337.96 51.20 6.60 1000000 0 586.00/586.28 c 170 328 332.94 54.56 6.10 1000000 0 587.29/587.51 c 182 310 340.77 56.87 5.99 1000000 0 588.49/588.73 c 191 358 330.63 52.88 6.25 1000000 0 589.69/589.97 c 175 302 327.89 57.75 5.68 1000000 0 590.89/591.19 c 164 287 331.06 56.02 5.91 1000000 0 592.19/592.42 c 144 295 319.44 56.30 5.67 1000000 0 593.39/593.65 c 160 373 326.59 53.61 6.09 1000000 0 594.59/594.88 c 175 276 327.81 56.38 5.81 1000000 0 595.89/596.11 c 184 465 332.36 50.83 6.54 1000000 0 597.09/597.34 c 159 316 322.93 56.09 5.76 1000000 0 598.29/598.57 c 175 246 330.28 59.27 5.57 1000000 0 599.58/599.80 c 163 332 331.04 52.58 6.30 1000000 0 600.78/601.03 c 164 392 332.14 61.03 5.44 1000000 0 601.98/602.26 c 170 325 325.28 54.00 6.02 1000000 0 603.18/603.49 c 163 286 330.82 55.03 6.01 1000000 0 604.48/604.71 c 157 295 328.54 58.58 5.61 1000000 0 605.68/605.94 c 157 242 324.73 52.45 6.19 1000000 0 606.89/607.17 c 148 350 325.68 56.48 5.77 1000000 0 608.18/608.40 c 185 362 328.69 57.12 5.75 1000000 0 609.38/609.63 c 172 258 324.96 54.17 6.00 1000000 0 610.58/610.86 c 175 437 331.29 60.44 5.48 1000000 0 611.78/612.09 c 161 234 340.76 61.75 5.52 1000000 0 613.08/613.32 c 175 311 333.75 58.03 5.75 1000000 0 614.28/614.55 c 192 310 330.87 56.39 5.87 1000000 0 615.48/615.78 c 159 330 328.68 59.78 5.50 1000000 0 616.79/617.01 c 173 318 329.13 57.77 5.70 1000000 0 617.99/618.24 c 173 399 332.10 50.13 6.62 1000000 0 619.18/619.47 c 176 300 331.49 58.60 5.66 1000000 0 620.48/620.70 c 158 318 329.15 64.65 5.09 1000000 0 621.68/621.93 c 175 441 331.49 56.76 5.84 1000000 0 622.88/623.15 c 157 216 332.07 58.63 5.66 1000000 0 624.08/624.38 c 179 358 329.85 61.10 5.40 1000000 0 625.38/625.61 c 173 282 327.08 52.44 6.24 1000000 0 626.58/626.84 c 161 409 335.20 67.22 4.99 1000000 0 627.78/628.07 c 177 339 332.65 56.74 5.86 1000000 0 629.08/629.30 c 182 457 334.36 61.29 5.46 1000000 0 630.28/630.53 c 169 363 325.75 58.27 5.59 1000000 0 631.48/631.76 c 167 354 325.89 59.03 5.52 1000000 0 632.67/633.00 c 166 291 340.69 55.04 6.19 1000000 0 633.97/634.22 c 151 307 330.78 59.61 5.55 1000000 0 635.17/635.45 c 152 373 325.02 58.08 5.60 1000000 0 636.37/636.68 c 145 349 322.07 58.54 5.50 1000000 0 637.68/637.91 c 172 350 339.51 63.10 5.38 1000000 0 638.88/639.14 c 199 270 346.33 56.97 6.08 1000000 0 640.07/640.37 c 167 299 329.18 51.89 6.34 1000000 0 641.27/641.59 c 178 319 320.86 52.33 6.13 1000000 0 642.57/642.83 c 164 264 334.51 54.16 6.18 1000000 0 643.77/644.06 c 158 332 330.40 59.87 5.52 1000000 0 644.97/645.28 c 174 364 328.05 59.23 5.54 1000000 0 646.27/646.51 c 159 391 331.05 65.49 5.05 1000000 0 647.47/647.73 c 176 405 326.12 58.02 5.62 1000000 0 648.68/648.97 c 181 316 330.70 61.12 5.41 1000000 0 649.88/650.19 c 188 364 333.64 53.16 6.28 1000000 0 651.17/651.42 c 170 267 330.20 57.65 5.73 1000000 0 652.37/652.65 c 130 303 325.30 59.25 5.49 1000000 0 653.57/653.88 c 165 366 335.52 54.42 6.17 1000000 0 654.87/655.11 c 184 300 330.75 46.93 7.05 1000000 0 656.07/656.34 c 164 316 329.01 53.41 6.16 1000000 0 657.27/657.57 c 157 351 330.95 55.30 5.98 1000000 0 658.57/658.80 c 165 318 324.59 63.16 5.14 1000000 0 659.77/660.03 c 189 317 335.62 56.91 5.90 1000000 0 660.96/661.26 c 163 366 335.61 55.66 6.03 1000000 0 662.16/662.49 c 147 401 328.76 53.00 6.20 1000000 0 663.46/663.73 c 168 309 334.56 58.96 5.67 1000000 0 664.66/664.95 c 155 293 325.84 55.56 5.86 1000000 0 665.86/666.19 c 172 343 331.96 52.31 6.35 1000000 0 667.16/667.41 c 178 318 326.32 52.35 6.23 1000000 0 668.36/668.64 c 162 293 330.49 57.57 5.74 1000000 0 669.57/669.87 c 186 319 335.45 51.24 6.55 1000000 0 670.86/671.10 c 156 284 332.17 51.00 6.51 1000000 0 672.06/672.32 c 163 376 332.58 53.49 6.22 1000000 0 673.26/673.55 c 177 292 335.79 58.61 5.73 1000000 0 674.46/674.78 c 164 416 324.48 55.74 5.82 1000000 0 675.76/676.01 c 178 344 333.64 57.55 5.80 1000000 0 676.96/677.24 c 142 290 318.13 53.86 5.91 1000000 0 678.16/678.47 c 174 275 321.03 52.12 6.16 1000000 0 679.47/679.70 c 150 364 338.02 53.25 6.35 1000000 0 680.67/680.93 c 166 291 322.66 49.67 6.50 1000000 0 681.86/682.15 c 171 283 326.73 57.54 5.68 1000000 0 683.06/683.39 c 193 305 331.34 54.03 6.13 1000000 0 684.36/684.62 c 180 277 330.68 57.19 5.78 1000000 0 685.56/685.84 c 157 337 328.26 55.42 5.92 1000000 0 686.76/687.07 c 170 360 340.91 63.12 5.40 1000000 0 688.06/688.30 c 187 345 328.14 56.58 5.80 1000000 0 689.26/689.54 c 157 296 327.90 54.69 6.00 1000000 0 690.46/690.77 c 149 265 322.89 52.47 6.15 1000000 0 691.66/691.99 c 155 415 324.43 59.34 5.47 1000000 0 692.95/693.23 c 183 302 341.97 59.41 5.76 1000000 0 694.15/694.45 c 167 355 325.70 53.47 6.09 1000000 0 695.35/695.68 c 151 387 323.57 57.82 5.60 1000000 0 696.65/696.91 c 176 263 319.20 54.55 5.85 1000000 0 697.85/698.13 c 178 286 324.94 54.80 5.93 1000000 0 699.05/699.36 c 151 305 330.85 53.51 6.18 1000000 0 700.25/700.58 c 153 336 330.17 67.05 4.92 1000000 0 701.56/701.81 c 121 276 325.62 57.51 5.66 1000000 0 702.75/703.04 c 181 249 324.15 53.15 6.10 1000000 0 703.95/704.27 c 174 365 324.52 55.49 5.85 1000000 0 705.25/705.50 c 166 328 321.35 52.78 6.09 1000000 0 706.45/706.73 c 175 300 326.13 50.86 6.41 1000000 0 707.65/707.96 c 166 336 332.37 55.60 5.98 1000000 0 708.85/709.19 c 188 349 334.54 53.13 6.30 1000000 0 710.15/710.42 c 183 382 335.72 52.38 6.41 1000000 0 711.35/711.65 c 147 311 334.25 60.68 5.51 1000000 0 712.55/712.88 c 175 330 325.33 58.05 5.60 1000000 0 713.85/714.11 c 143 320 324.69 59.05 5.50 1000000 0 715.05/715.34 c 194 359 336.82 49.04 6.87 1000000 0 716.25/716.57 c 173 372 320.51 56.34 5.69 1000000 0 717.44/717.79 c 167 361 324.53 55.33 5.86 1000000 0 718.74/719.03 c 173 317 328.63 51.40 6.39 1000000 0 719.94/720.25 c 157 351 329.71 56.69 5.82 1000000 0 721.14/721.48 c 158 342 330.66 58.71 5.63 1000000 0 722.45/722.71 c 163 334 330.75 59.14 5.59 1000000 0 723.64/723.94 c 176 387 345.56 62.67 5.51 1000000 0 724.84/725.17 c 195 299 333.02 50.78 6.56 1000000 0 726.14/726.40 c 185 335 332.23 60.03 5.53 1000000 0 727.34/727.63 c 173 286 327.15 62.34 5.25 1000000 0 728.54/728.86 c 174 270 326.17 52.75 6.18 1000000 0 729.74/730.08 c 171 254 326.67 55.70 5.86 1000000 0 731.04/731.31 c 178 300 333.78 57.47 5.81 1000000 0 732.25/732.54 c 159 382 326.07 58.92 5.53 1000000 0 733.45/733.77 c 161 337 322.80 55.14 5.85 1000000 0 734.64/734.99 c 184 300 332.95 63.87 5.21 1000000 0 735.94/736.22 c 176 364 335.55 54.75 6.13 1000000 0 737.14/737.45 c 164 249 329.67 58.99 5.59 1000000 0 738.34/738.68 c 167 306 331.72 55.49 5.98 1000000 0 739.64/739.91 c 176 301 332.06 59.17 5.61 1000000 0 740.84/741.14 c 180 298 336.32 57.08 5.89 1000000 0 742.04/742.36 c 169 213 328.62 57.00 5.76 1000000 0 743.24/743.59 c 170 306 330.19 57.63 5.73 1000000 0 744.54/744.82 c 175 307 324.12 55.49 5.84 1000000 0 745.74/746.04 c 172 380 330.32 64.32 5.14 1000000 0 746.93/747.27 c 159 242 330.37 57.05 5.79 1000000 0 748.23/748.50 c 188 305 338.90 60.74 5.58 1000000 0 749.44/749.73 c 161 332 324.19 60.75 5.34 1000000 0 750.63/750.96 c 178 356 325.24 57.11 5.70 1000000 0 751.83/752.19 c 177 297 336.00 61.70 5.45 1000000 0 753.14/753.42 c 178 314 326.72 56.05 5.83 1000000 0 754.34/754.65 c 158 328 329.80 56.37 5.85 1000000 0 755.53/755.88 c 192 437 336.37 55.66 6.04 1000000 0 756.83/757.10 c 184 319 326.09 58.82 5.54 1000000 0 758.03/758.34 c 141 301 332.16 57.07 5.82 1000000 0 759.23/759.57 c 167 292 329.65 57.13 5.77 1000000 0 760.43/760.80 c 162 293 333.59 59.64 5.59 1000000 0 761.73/762.02 c 165 325 327.22 53.47 6.12 1000000 0 762.93/763.25 c 171 355 326.11 50.39 6.47 1000000 0 764.14/764.48 c 150 349 337.20 60.69 5.56 1000000 0 765.43/765.71 c 153 276 322.98 55.30 5.84 1000000 0 766.63/766.94 c 164 383 327.10 56.26 5.81 1000000 0 767.83/768.17 c 163 309 324.62 54.64 5.94 1000000 0 769.13/769.40 c 176 315 320.14 51.54 6.21 1000000 0 770.33/770.63 c 163 331 324.71 58.98 5.51 1000000 0 771.53/771.85 c 173 357 324.07 51.40 6.31 1000000 0 772.73/773.08 c 147 273 324.21 52.90 6.13 1000000 0 774.03/774.31 c 180 316 336.70 57.81 5.82 1000000 0 775.23/775.54 c 181 280 333.63 54.71 6.10 1000000 0 776.43/776.77 c 162 271 334.19 55.46 6.03 1000000 0 777.72/778.00 c 175 439 335.79 63.85 5.26 1000000 0 778.92/779.23 c 188 341 330.87 59.10 5.60 1000000 0 780.12/780.46 c 181 367 333.00 63.21 5.27 1000000 0 781.32/781.69 c 155 309 334.59 53.14 6.30 1000000 0 782.62/782.92 c 174 376 333.15 52.39 6.36 1000000 0 783.82/784.15 c 162 354 328.36 57.45 5.72 1000000 0 785.03/785.37 c 180 291 330.06 59.86 5.51 1000000 0 786.32/786.60 c 168 324 332.92 51.96 6.41 1000000 0 787.52/787.83 c 178 327 326.47 62.38 5.23 1000000 0 788.72/789.06 c 184 333 324.04 49.98 6.48 1000000 0 789.92/790.28 c 185 305 334.37 53.26 6.28 1000000 0 791.22/791.51 c 160 348 325.91 53.98 6.04 1000000 0 792.42/792.74 c 167 349 328.84 60.44 5.44 1000000 0 793.62/793.97 c 191 358 332.96 54.49 6.11 1000000 0 794.82/795.20 c 163 383 329.46 59.19 5.57 1000000 0 796.13/796.42 c 184 327 327.38 50.71 6.46 1000000 0 797.32/797.65 c 169 306 318.42 53.66 5.93 1000000 0 798.52/798.88 c 179 325 340.47 58.16 5.85 1000000 0 799.82/800.11 c 193 304 329.38 58.66 5.61 1000000 0 801.02/801.34 c 163 397 324.02 57.85 5.60 1000000 0 802.22/802.57 c 176 352 334.55 56.18 5.95 1000000 0 803.51/803.80 c 133 350 319.29 54.92 5.81 1000000 0 804.71/805.03 c 178 257 335.47 60.75 5.52 1000000 0 805.92/806.26 c 158 295 325.42 56.85 5.72 1000000 0 807.12/807.48 c 142 300 323.50 62.12 5.21 1000000 0 808.41/808.71 c 152 384 324.03 51.86 6.25 1000000 0 809.61/809.93 c 170 278 333.00 61.31 5.43 1000000 0 810.81/811.17 c 149 368 341.91 59.18 5.78 1000000 0 812.01/812.39 c 154 343 323.24 52.09 6.20 1000000 0 813.31/813.62 c 163 341 330.38 52.96 6.24 1000000 0 814.51/814.85 c 171 257 338.25 61.87 5.47 1000000 0 815.71/816.08 c 160 351 334.12 57.82 5.78 1000000 0 817.02/817.31 c 161 352 324.77 60.08 5.41 1000000 0 818.21/818.54 c 172 361 327.28 52.93 6.18 1000000 0 819.41/819.77 c 185 370 331.95 53.75 6.18 1000000 0 820.61/821.00 c 179 306 325.53 55.68 5.85 1000000 0 821.91/822.23 c 190 357 334.27 54.31 6.15 1000000 0 823.11/823.45 c 173 287 328.25 53.23 6.17 1000000 0 824.31/824.68 c 167 338 331.66 55.77 5.95 1000000 0 825.61/825.91 c 172 417 320.41 51.38 6.24 1000000 0 826.82/827.14 c 158 403 334.43 65.43 5.11 1000000 0 828.01/828.37 c 165 307 316.04 58.74 5.38 1000000 0 829.21/829.59 c 182 236 326.11 60.25 5.41 1000000 0 830.51/830.82 c 202 280 332.80 56.21 5.92 1000000 0 831.71/832.05 c 182 239 332.96 63.07 5.28 1000000 0 832.91/833.27 c 164 365 322.95 58.37 5.53 1000000 0 834.21/834.50 c 183 290 335.12 53.28 6.29 1000000 0 835.40/835.74 c 165 338 335.46 57.32 5.85 1000000 0 836.60/836.96 c 168 259 334.35 61.79 5.41 1000000 0 837.81/838.19 c 144 362 320.96 52.57 6.11 1000000 0 839.10/839.41 c 157 410 333.06 55.15 6.04 1000000 0 840.30/840.65 c 156 295 332.43 75.64 4.40 1000000 0 841.50/841.88 c 153 244 325.17 54.22 6.00 1000000 0 842.80/843.11 c 183 237 325.81 52.84 6.17 1000000 0 844.00/844.34 c 182 286 330.72 60.74 5.44 1000000 0 845.20/845.56 c 162 213 327.79 52.42 6.25 1000000 0 846.40/846.80 c 180 296 334.85 55.86 5.99 1000000 0 847.71/848.02 c 159 353 329.54 56.54 5.83 1000000 0 848.91/849.25 c 159 349 332.29 54.09 6.14 1000000 0 850.10/850.48 c 178 384 330.63 60.02 5.51 1000000 0 851.40/851.71 c 151 385 321.22 54.18 5.93 1000000 0 852.60/852.94 c 182 345 326.95 53.25 6.14 1000000 0 853.80/854.17 c 165 312 330.05 59.58 5.54 1000000 0 855.10/855.40 c 185 360 337.71 51.01 6.62 1000000 0 856.30/856.63 c 160 287 324.71 56.09 5.79 1000000 0 857.50/857.86 c 162 296 335.05 55.75 6.01 1000000 0 858.70/859.09 c 148 292 322.13 53.60 6.01 1000000 0 860.00/860.31 c 168 372 335.46 56.36 5.95 1000000 0 861.20/861.55 c 158 299 329.55 53.18 6.20 1000000 0 862.40/862.78 c 170 265 330.60 61.71 5.36 1000000 0 863.69/864.01 c 139 390 325.66 54.90 5.93 1000000 0 864.89/865.24 c 163 368 331.19 62.34 5.31 1000000 0 866.09/866.46 c 160 356 315.04 50.46 6.24 1000000 0 867.29/867.69 c 156 303 326.37 55.05 5.93 1000000 0 868.60/868.91 c 174 365 329.01 58.27 5.65 1000000 0 869.80/870.14 c 176 328 331.28 59.02 5.61 1000000 0 870.99/871.37 c 173 447 333.58 55.35 6.03 1000000 0 872.29/872.60 c 167 252 323.18 58.07 5.57 1000000 0 873.49/873.83 c 158 307 333.03 62.45 5.33 1000000 0 874.69/875.06 c 170 400 332.54 52.99 6.28 1000000 0 875.89/876.29 c 172 293 331.39 56.37 5.88 1000000 0 877.19/877.51 c 175 259 329.49 53.62 6.15 1000000 0 878.39/878.75 c 170 299 327.25 56.83 5.76 1000000 0 879.60/879.98 c 166 255 334.28 53.14 6.29 1000000 0 880.89/881.21 c 177 379 333.23 56.35 5.91 1000000 0 882.09/882.44 c 186 318 331.20 56.94 5.82 1000000 0 883.29/883.67 c 163 392 323.02 57.25 5.64 1000000 0 884.49/884.89 c 150 397 327.01 62.51 5.23 1000000 0 885.79/886.12 c 168 233 325.93 55.57 5.86 1000000 0 886.99/887.35 c 181 339 323.98 58.72 5.52 1000000 0 888.19/888.57 c 166 303 324.66 57.65 5.63 1000000 0 889.49/889.80 c 171 270 322.55 61.69 5.23 1000000 0 890.69/891.03 c 131 343 327.39 49.76 6.58 1000000 0 891.89/892.26 c 150 395 334.77 62.59 5.35 1000000 0 893.09/893.49 c 176 283 337.22 58.71 5.74 1000000 0 894.38/894.72 c 176 356 323.71 55.68 5.81 1000000 0 895.58/895.95 c 154 292 332.93 59.51 5.59 1000000 0 896.78/897.18 c 179 340 329.46 54.20 6.08 1000000 0 898.08/898.41 c 158 413 327.97 52.84 6.21 1000000 0 899.28/899.64 c 194 267 334.41 57.17 5.85 1000000 0 900.49/900.87 c 152 284 329.97 51.36 6.42 1000000 0 901.69/902.10 c 143 368 320.00 58.49 5.47 1000000 0 902.98/903.32 c 169 413 333.49 57.31 5.82 1000000 0 904.18/904.55 c 182 280 325.33 51.07 6.37 1000000 0 905.38/905.78 c 119 347 317.80 56.54 5.62 1000000 0 906.68/907.01 c 163 340 322.74 56.77 5.69 1000000 0 907.88/908.24 c 158 296 323.25 54.74 5.91 1000000 0 909.08/909.47 c 166 348 336.56 52.09 6.46 1000000 0 910.28/910.69 c 171 297 323.43 44.56 7.26 1000000 0 911.59/911.92 c 165 317 332.85 60.94 5.46 1000000 0 912.78/913.15 c 188 322 339.20 50.65 6.70 1000000 0 913.98/914.38 c 175 247 329.04 59.57 5.52 1000000 0 915.28/915.61 c 172 311 329.73 68.91 4.78 1000000 0 916.48/916.84 c 173 360 323.73 55.10 5.88 1000000 0 917.68/918.07 c 158 360 329.70 49.67 6.64 1000000 0 918.98/919.30 c 174 356 331.54 54.04 6.13 1000000 0 920.18/920.53 c 166 321 327.29 55.29 5.92 1000000 0 921.38/921.76 c 169 348 331.40 58.73 5.64 1000000 0 922.58/922.99 c 158 281 326.67 60.55 5.39 1000000 0 923.87/924.22 c 190 304 339.68 60.39 5.62 1000000 0 925.07/925.45 c 170 358 326.23 54.76 5.96 1000000 0 926.27/926.67 c 179 334 320.68 56.09 5.72 1000000 0 927.57/927.90 c 130 270 328.08 55.06 5.96 1000000 0 928.77/929.13 c 180 389 325.95 50.76 6.42 1000000 0 929.97/930.36 c 166 384 325.97 53.39 6.11 1000000 0 931.17/931.59 c 171 381 338.68 54.11 6.26 1000000 0 932.48/932.82 c 165 355 332.32 61.41 5.41 1000000 0 933.67/934.05 c 181 315 330.35 51.81 6.38 1000000 0 934.87/935.28 c 170 363 329.33 56.03 5.88 1000000 0 936.17/936.51 c 149 288 322.52 63.12 5.11 1000000 0 937.37/937.74 c 165 320 325.42 57.21 5.69 1000000 0 938.57/938.96 c 181 340 326.88 57.71 5.66 1000000 0 939.77/940.19 c 173 388 324.18 52.61 6.16 1000000 0 941.07/941.42 c 179 278 328.14 55.56 5.91 1000000 0 942.27/942.65 c 183 306 336.82 58.32 5.78 1000000 0 943.48/943.88 c 152 317 333.11 58.73 5.67 1000000 0 944.77/945.12 c 165 290 326.21 55.33 5.90 1000000 0 945.97/946.35 c 140 286 328.21 63.26 5.19 1000000 0 947.17/947.57 c 176 360 325.33 54.84 5.93 1000000 0 948.47/948.80 c 172 283 321.72 52.81 6.09 1000000 0 949.67/950.03 c 177 363 329.52 46.70 7.06 1000000 0 950.87/951.26 c 175 289 333.51 60.61 5.50 1000000 0 952.07/952.49 c 180 391 332.51 50.07 6.64 1000000 0 953.37/953.72 c 172 296 332.13 58.03 5.72 1000000 0 954.56/954.95 c 169 292 328.80 51.34 6.40 1000000 0 955.76/956.17 c 151 268 325.35 59.27 5.49 1000000 0 957.06/957.40 c 197 237 325.01 51.16 6.35 1000000 0 958.26/958.63 c 173 337 326.98 57.57 5.68 1000000 0 959.46/959.86 c 169 297 324.07 56.44 5.74 1000000 0 960.66/961.09 c 164 303 328.94 55.84 5.89 1000000 0 961.96/962.32 c 170 280 325.67 62.65 5.20 1000000 0 963.17/963.55 c 174 352 332.17 51.07 6.50 1000000 0 964.37/964.78 c 174 358 325.90 59.35 5.49 1000000 0 965.66/966.01 c 156 312 322.24 58.90 5.47 1000000 0 966.86/967.23 c 156 327 324.38 55.52 5.84 1000000 0 968.06/968.47 c 139 322 338.94 67.56 5.02 1000000 0 969.36/969.70 c 174 263 332.37 55.93 5.94 1000000 0 970.56/970.93 c 163 365 340.28 60.24 5.65 1000000 0 971.76/972.16 c 169 307 338.77 55.84 6.07 1000000 0 972.96/973.39 c 166 378 332.05 55.62 5.97 1000000 0 974.26/974.62 c 166 311 328.60 56.12 5.86 1000000 0 975.46/975.85 c 172 292 325.40 52.44 6.20 1000000 0 976.66/977.09 c 159 383 331.30 58.08 5.70 1000000 0 977.96/978.32 c 161 351 333.23 53.18 6.27 1000000 0 979.16/979.54 c 167 317 329.92 56.66 5.82 1000000 0 980.35/980.78 c 177 306 330.15 52.20 6.32 1000000 0 981.65/982.01 c 193 297 333.30 58.73 5.67 1000000 0 982.85/983.23 c 182 276 333.78 56.39 5.92 1000000 0 984.06/984.46 c 181 360 326.11 51.40 6.34 1000000 0 985.26/985.69 c 155 309 320.54 55.07 5.82 1000000 0 986.55/986.92 c 136 285 325.90 54.04 6.03 1000000 0 987.75/988.15 c 185 353 330.96 58.49 5.66 1000000 0 988.95/989.38 c 159 293 335.50 66.83 5.02 1000000 0 990.25/990.61 c 166 313 328.36 54.69 6.00 1000000 0 991.45/991.84 c 165 332 329.55 52.75 6.25 1000000 0 992.65/993.07 c 176 403 341.02 64.04 5.32 1000000 0 993.96/994.30 c 178 251 329.17 56.92 5.78 1000000 0 995.16/995.53 c 176 290 333.13 55.99 5.95 1000000 0 996.35/996.76 c 135 355 327.67 57.64 5.68 1000000 0 997.55/997.99 c 167 315 323.56 58.26 5.55 1000000 0 998.85/999.22 c 165 353 321.60 59.02 5.45 1000000 0 1000.05/1000.45 c 173 320 329.35 61.14 5.39 1000000 0 1001.25/1001.68 c 182 325 324.69 56.75 5.72 1000000 0 1002.55/1002.91 c 175 256 333.28 60.22 5.53 1000000 0 1003.75/1004.14 c 166 296 321.73 59.13 5.44 1000000 0 1004.95/1005.37 c 199 403 334.55 55.76 6.00 1000000 0 1006.25/1006.60 c 169 334 331.67 56.87 5.83 1000000 0 1007.45/1007.82 c 125 322 326.49 61.87 5.28 1000000 0 1008.64/1009.05 c 164 437 328.95 58.10 5.66 1000000 0 1009.85/1010.28 c 170 253 326.68 53.47 6.11 1000000 0 1011.14/1011.51 c 159 277 326.22 57.57 5.67 1000000 0 1012.34/1012.74 c 171 196 314.76 53.48 5.89 1000000 0 1013.54/1013.97 c 173 338 330.17 57.82 5.71 1000000 0 1014.74/1015.19 c 144 382 333.11 57.09 5.84 1000000 0 1016.05/1016.42 c 171 407 335.45 58.19 5.76 1000000 0 1017.24/1017.65 c 170 377 330.02 60.64 5.44 1000000 0 1018.44/1018.88 c 184 314 326.17 53.74 6.07 1000000 0 1019.74/1020.11 c 195 387 334.77 54.99 6.09 1000000 0 1020.94/1021.33 c 168 266 332.46 61.63 5.39 1000000 0 1022.14/1022.56 c 142 275 322.33 53.72 6.00 1000000 0 1023.34/1023.79 c 170 314 322.53 55.18 5.84 1000000 0 1024.64/1025.02 c 156 335 331.32 50.95 6.50 1000000 0 1025.85/1026.25 c 167 337 330.46 57.86 5.71 1000000 0 1027.04/1027.48 c 172 353 324.10 55.70 5.82 1000000 0 1028.34/1028.71 c 169 318 326.81 58.64 5.57 1000000 0 1029.54/1029.94 c 171 247 335.55 58.29 5.76 1000000 0 1030.74/1031.17 c 173 360 329.91 54.47 6.06 1000000 0 1032.04/1032.40 c 156 269 327.36 54.05 6.06 1000000 0 1033.24/1033.63 c 160 298 330.82 59.79 5.53 1000000 0 1034.44/1034.86 c 184 247 337.43 57.85 5.83 1000000 0 1035.64/1036.09 c 164 304 331.29 63.10 5.25 1000000 0 1036.94/1037.32 c 149 271 331.60 53.32 6.22 1000000 0 1038.13/1038.55 c 193 393 335.47 56.20 5.97 1000000 0 1039.33/1039.78 c 166 289 330.02 57.80 5.71 1000000 0 1040.63/1041.00 c 179 271 321.58 53.08 6.06 1000000 0 1041.83/1042.23 c 164 320 325.15 55.47 5.86 1000000 0 1043.03/1043.46 c 159 382 324.45 51.08 6.35 1000000 0 1044.23/1044.69 c 176 357 332.24 57.36 5.79 1000000 0 1045.53/1045.92 c 175 297 324.71 52.98 6.13 1000000 0 1046.74/1047.14 c 165 302 326.85 62.11 5.26 1000000 0 1047.94/1048.37 c 152 418 321.46 56.67 5.67 1000000 0 1049.23/1049.60 c 183 295 328.34 61.19 5.37 1000000 0 1050.43/1050.83 c 159 293 323.86 62.82 5.16 1000000 0 1051.63/1052.06 c 172 310 322.40 57.17 5.64 1000000 0 1052.83/1053.28 c 142 284 331.14 58.89 5.62 1000000 0 1054.13/1054.51 c 166 323 323.61 52.09 6.21 1000000 0 1055.33/1055.74 c 185 286 328.97 59.84 5.50 1000000 0 1056.53/1056.97 c 161 407 326.38 58.32 5.60 1000000 0 1057.84/1058.21 c 174 348 331.90 61.64 5.38 1000000 0 1059.03/1059.43 c 154 233 325.77 55.83 5.83 1000000 0 1060.23/1060.66 c 186 314 325.16 51.10 6.36 1000000 0 1061.43/1061.89 c 169 244 327.35 56.21 5.82 1000000 0 1062.73/1063.12 c 155 290 323.02 55.04 5.87 1000000 0 1063.93/1064.35 c 160 340 333.86 56.39 5.92 1000000 0 1065.13/1065.58 c 179 288 330.08 51.97 6.35 1000000 0 1066.42/1066.81 c 146 310 330.99 51.59 6.42 1000000 0 1067.63/1068.03 c 171 247 328.64 61.15 5.37 1000000 0 1068.83/1069.27 c 150 313 324.41 58.15 5.58 1000000 0 1070.12/1070.50 c 154 423 335.33 57.03 5.88 1000000 0 1071.32/1071.73 c 186 338 336.03 59.02 5.69 1000000 0 1072.52/1072.96 c 172 305 329.29 55.68 5.91 1000000 0 1073.72/1074.18 c 173 305 323.74 58.62 5.52 1000000 0 1075.02/1075.41 c 185 310 321.52 62.26 5.16 1000000 0 1076.22/1076.64 c 155 270 321.03 52.95 6.06 1000000 0 1077.42/1077.87 c 183 362 340.78 54.18 6.29 1000000 0 1078.63/1079.09 c 167 253 322.01 60.37 5.33 1000000 0 1079.92/1080.32 c 165 365 332.26 60.64 5.48 1000000 0 1081.12/1081.55 c 149 262 333.54 65.12 5.12 1000000 0 1082.32/1082.78 c 179 258 325.57 49.88 6.53 1000000 0 1083.62/1084.01 c 182 248 335.90 61.90 5.43 1000000 0 1084.82/1085.24 c 153 293 328.20 61.65 5.32 1000000 0 1086.02/1086.47 c 154 289 329.34 58.89 5.59 1000000 0 1087.22/1087.70 c 188 316 328.70 57.18 5.75 1000000 0 1088.52/1088.93 c 185 440 333.78 56.52 5.91 1000000 0 1089.72/1090.15 c 186 288 334.62 57.31 5.84 1000000 0 1090.92/1091.38 c 205 319 335.57 59.30 5.66 1000000 0 1092.22/1092.61 c 160 264 328.17 55.41 5.92 1000000 0 1093.42/1093.84 c 171 402 335.10 56.20 5.96 1000000 0 1094.62/1095.07 c 167 316 325.35 50.46 6.45 1000000 0 1095.92/1096.30 c 173 274 334.22 50.52 6.62 1000000 0 1097.11/1097.52 c 173 406 322.65 49.30 6.54 1000000 0 1098.31/1098.75 c 195 283 331.74 61.35 5.41 1000000 0 1099.52/1099.98 c 151 270 324.18 53.58 6.05 1000000 0 1100.81/1101.21 c 179 306 328.12 59.62 5.50 1000000 0 1102.01/1102.44 c 178 339 329.37 52.50 6.27 1000000 0 1103.21/1103.67 c 168 362 333.10 67.44 4.94 1000000 0 1104.51/1104.90 c 154 318 326.30 55.06 5.93 1000000 0 1105.71/1106.13 c 174 369 333.73 56.49 5.91 1000000 0 1106.91/1107.36 c 168 256 331.72 55.70 5.96 1000000 0 1108.11/1108.59 c 168 438 331.60 64.73 5.12 1000000 0 1109.42/1109.82 c 171 270 327.43 55.68 5.88 1000000 0 1110.62/1111.04 c 158 304 325.57 58.91 5.53 1000000 0 1111.81/1112.27 c 154 297 323.40 52.45 6.17 1000000 0 1113.11/1113.50 c 185 285 337.11 56.37 5.98 1000000 0 1114.31/1114.73 c 181 289 341.12 55.01 6.20 1000000 0 1115.51/1115.96 c 154 356 320.08 58.22 5.50 1000000 0 1116.71/1117.19 c 171 292 326.16 56.29 5.79 1000000 0 1118.01/1118.42 c 165 332 323.73 54.06 5.99 1000000 0 1119.21/1119.64 c 183 390 333.30 61.03 5.46 1000000 0 1120.41/1120.88 c 172 378 331.44 58.73 5.64 1000000 0 1121.71/1122.10 c 176 306 329.73 61.55 5.36 1000000 0 1122.91/1123.34 c 181 390 326.93 51.32 6.37 1000000 0 1124.11/1124.57 c 165 333 332.44 52.88 6.29 1000000 0 1125.40/1125.80 c 164 307 331.33 64.60 5.13 1000000 0 1126.60/1127.03 c 175 438 330.64 54.28 6.09 1000000 0 1127.80/1128.25 c 173 349 330.86 59.81 5.53 1000000 0 1129.00/1129.48 c 178 307 333.51 54.57 6.11 1000000 0 1130.31/1130.72 c 193 302 329.93 57.59 5.73 1000000 0 1131.51/1131.94 c 185 234 333.12 50.66 6.58 1000000 0 1132.70/1133.17 c 148 275 324.15 53.17 6.10 1000000 0 1134.00/1134.40 c 135 374 332.26 58.21 5.71 1000000 0 1135.20/1135.63 c 157 329 330.05 62.16 5.31 1000000 0 1136.40/1136.86 c 187 396 329.69 55.06 5.99 1000000 0 1137.60/1138.09 c 169 287 321.11 57.75 5.56 1000000 0 1138.90/1139.32 c 173 292 334.88 60.18 5.56 1000000 0 1140.10/1140.55 c 164 298 333.35 62.86 5.30 1000000 0 1141.31/1141.77 c 161 313 327.87 53.31 6.15 1000000 0 1142.60/1143.00 c 172 352 324.32 55.50 5.84 1000000 0 1143.80/1144.23 c 173 268 323.30 52.37 6.17 1000000 0 1145.00/1145.46 c 173 354 339.14 52.96 6.40 1000000 0 1146.20/1146.69 c 151 290 330.26 56.83 5.81 1000000 0 1147.50/1147.92 c 148 359 321.75 59.96 5.37 1000000 0 1148.70/1149.14 c 158 291 327.54 59.11 5.54 1000000 0 1149.90/1150.37 c 167 272 330.93 53.63 6.17 1000000 0 1151.20/1151.60 c 170 312 329.76 49.10 6.72 1000000 0 1152.40/1152.82 c 157 476 326.58 57.66 5.66 1000000 0 1153.60/1154.05 c 170 335 325.27 54.77 5.94 1000000 0 1154.80/1155.28 c 189 355 336.87 60.09 5.61 1000000 0 1156.10/1156.51 c 162 340 330.06 58.48 5.64 1000000 0 1157.30/1157.74 c 181 449 341.99 56.35 6.07 1000000 0 1158.49/1158.97 c 175 245 330.57 51.59 6.41 1000000 0 1159.79/1160.20 c 168 328 326.14 54.34 6.00 1000000 0 1160.99/1161.44 c 170 327 327.01 51.77 6.32 1000000 0 1162.20/1162.67 c 164 301 332.34 57.81 5.75 1000000 0 1163.49/1163.90 c 152 282 330.50 59.63 5.54 1000000 0 1164.69/1165.13 c 176 378 322.59 50.48 6.39 1000000 0 1165.89/1166.36 c 162 374 329.88 56.69 5.82 1000000 0 1167.09/1167.59 c 185 283 332.30 57.33 5.80 1000000 0 1168.39/1168.81 c 134 354 327.60 52.90 6.19 1000000 0 1169.59/1170.04 c 168 275 319.80 54.74 5.84 1000000 0 1170.79/1171.27 c 185 345 330.32 56.65 5.83 1000000 0 1171.99/1172.49 c 180 268 316.90 48.10 6.59 1000000 0 1173.30/1173.73 c 169 345 333.69 60.30 5.53 1000000 0 1174.49/1174.95 c 169 250 326.65 58.45 5.59 1000000 0 1175.69/1176.18 c 170 338 323.70 48.84 6.63 1000000 0 1176.99/1177.41 c 173 279 325.09 47.97 6.78 1000000 0 1178.19/1178.63 c 175 342 327.41 56.16 5.83 1000000 0 1179.39/1179.86 c 172 260 323.77 60.25 5.37 1000000 0 1180.59/1181.09 c 176 415 329.21 54.31 6.06 1000000 0 1181.89/1182.32 c 188 286 329.19 61.62 5.34 1000000 0 1183.09/1183.54 c 182 373 328.34 58.29 5.63 1000000 0 1184.29/1184.78 c 159 358 329.99 60.16 5.49 1000000 0 1185.58/1186.01 c 178 391 331.06 58.32 5.68 1000000 0 1186.78/1187.23 c 178 379 326.89 55.91 5.85 1000000 0 1187.98/1188.46 c 171 267 320.39 58.78 5.45 1000000 0 1189.18/1189.69 c 197 319 338.93 54.24 6.25 1000000 0 1190.48/1190.92 c 181 364 334.03 52.47 6.37 1000000 0 1191.68/1192.15 c 160 299 325.62 52.12 6.25 1000000 0 1192.88/1193.38 c 149 307 321.05 56.10 5.72 1000000 0 1194.19/1194.61 c 174 397 337.45 62.06 5.44 1000000 0 1195.38/1195.84 c 175 399 327.52 53.74 6.09 1000000 0 1196.58/1197.06 c 136 322 323.96 52.06 6.22 1000000 0 1197.78/1198.29 c 161 363 328.75 62.40 5.27 1000000 0 1199.08/1199.52 c 180 286 319.63 59.62 5.36 1000000 0 1200.28/1200.75 c 148 363 318.69 58.41 5.46 1000000 0 1201.48/1201.97 c 178 290 333.37 51.89 6.42 1000000 0 1202.78/1203.21 c 179 263 333.50 55.36 6.02 1000000 0 1203.98/1204.43 c 167 360 332.04 58.66 5.66 1000000 0 1205.18/1205.66 c 186 357 335.80 52.49 6.40 1000000 0 1206.48/1206.90 c 168 385 329.78 60.97 5.41 1000000 0 1207.68/1208.13 c 136 304 330.51 55.91 5.91 1000000 0 1208.88/1209.35 c 163 324 330.48 55.93 5.91 1000000 0 1210.08/1210.58 c 156 269 334.77 60.66 5.52 1000000 0 1211.37/1211.81 c 174 312 327.98 62.81 5.22 1000000 0 1212.57/1213.04 c 178 392 330.72 54.01 6.12 1000000 0 1213.77/1214.27 c 180 322 323.29 51.91 6.23 1000000 0 1214.98/1215.50 c 181 353 332.25 54.29 6.12 1000000 0 1216.27/1216.73 c 169 291 321.87 56.78 5.67 1000000 0 1217.47/1217.95 c 178 386 335.55 54.65 6.14 1000000 0 1218.67/1219.18 c 170 399 327.57 60.04 5.46 1000000 0 1219.97/1220.41 c 163 400 326.07 63.66 5.12 1000000 0 1221.17/1221.64 c 159 253 330.06 47.90 6.89 1000000 0 1222.37/1222.87 c 177 388 336.42 51.95 6.48 1000000 0 1223.67/1224.10 c 177 327 329.48 59.66 5.52 1000000 0 1224.88/1225.33 c 181 309 333.50 62.62 5.33 1000000 0 1226.08/1226.56 c 180 272 332.45 57.00 5.83 1000000 0 1227.27/1227.78 c 172 386 331.35 62.56 5.30 1000000 0 1228.57/1229.01 c 163 302 327.72 66.54 4.93 1000000 0 1229.77/1230.24 c 164 437 336.92 57.96 5.81 1000000 0 1230.97/1231.47 c 173 420 325.32 57.03 5.70 1000000 0 1232.27/1232.70 c 145 388 335.11 56.81 5.90 1000000 0 1233.47/1233.93 c 164 330 324.39 60.73 5.34 1000000 0 1234.67/1235.15 c 169 376 325.62 53.63 6.07 1000000 0 1235.87/1236.38 c 155 277 328.77 55.32 5.94 1000000 0 1237.17/1237.61 c 178 332 329.68 60.61 5.44 1000000 0 1238.37/1238.84 c 197 381 339.13 52.92 6.41 1000000 0 1239.56/1240.07 c 183 352 329.59 57.42 5.74 1000000 0 1240.86/1241.30 c 163 224 334.95 53.94 6.21 1000000 0 1242.06/1242.53 c 142 338 327.56 53.02 6.18 1000000 0 1243.26/1243.76 c 164 305 333.48 55.79 5.98 1000000 0 1244.46/1244.99 c 186 320 328.37 50.10 6.55 1000000 0 1245.77/1246.21 c 182 359 322.32 52.31 6.16 1000000 0 1246.97/1247.44 c 147 344 329.39 58.98 5.58 1000000 0 1248.16/1248.68 c 181 366 326.26 59.38 5.49 1000000 0 1249.46/1249.90 c 150 288 323.52 59.53 5.44 1000000 0 1250.66/1251.13 c 169 348 324.34 50.36 6.44 1000000 0 1251.86/1252.36 c 178 363 331.37 52.73 6.28 1000000 0 1253.06/1253.59 c 167 329 334.12 64.69 5.16 1000000 0 1254.36/1254.82 c 168 340 328.81 57.02 5.77 1000000 0 1255.56/1256.05 c 170 328 326.96 58.21 5.62 1000000 0 1256.77/1257.28 c 195 319 335.72 56.42 5.95 1000000 0 1258.06/1258.51 c 143 273 328.05 57.59 5.70 1000000 0 1259.26/1259.74 c 186 284 325.39 52.33 6.22 1000000 0 1260.46/1260.96 c 164 267 326.94 49.72 6.58 1000000 0 1261.66/1262.19 c 162 246 318.24 51.67 6.16 1000000 0 1262.96/1263.42 c 159 324 335.18 53.53 6.26 1000000 0 1264.16/1264.65 c 159 299 332.72 59.96 5.55 1000000 0 1265.36/1265.87 c 179 248 321.49 53.08 6.06 1000000 0 1266.66/1267.10 c 168 244 322.86 56.54 5.71 1000000 0 1267.86/1268.33 c 180 237 331.84 52.23 6.35 1000000 0 1269.06/1269.56 c 156 325 337.14 62.70 5.38 1000000 0 1270.25/1270.79 c 191 303 333.99 56.31 5.93 1000000 0 1271.55/1272.02 c 165 276 324.45 56.71 5.72 1000000 0 1272.75/1273.26 c 179 360 337.22 54.89 6.14 1000000 0 1273.95/1274.48 c 178 364 326.58 61.55 5.31 1000000 0 1275.25/1275.72 c 147 327 332.49 58.54 5.68 1000000 0 1276.45/1276.95 c 172 308 335.63 47.14 7.12 1000000 0 1277.66/1278.18 c 166 208 330.86 62.50 5.29 1000000 0 1278.95/1279.41 c 174 459 329.35 60.45 5.45 1000000 0 1280.15/1280.63 c 188 362 328.12 57.42 5.71 1000000 0 1281.35/1281.86 c 157 321 333.42 56.58 5.89 1000000 0 1282.55/1283.09 c 182 297 326.36 56.34 5.79 1000000 0 1283.85/1284.32 c 171 288 325.42 55.90 5.82 1000000 0 1285.05/1285.54 c 176 348 326.77 51.00 6.41 1000000 0 1286.25/1286.78 c 178 362 331.03 58.14 5.69 1000000 0 1287.56/1288.01 c 167 305 330.45 49.52 6.67 1000000 0 1288.76/1289.23 c 154 281 326.45 60.24 5.42 1000000 0 1289.95/1290.46 c 158 364 325.55 58.36 5.58 1000000 0 1291.15/1291.68 c 174 229 318.38 54.30 5.86 1000000 0 1292.45/1292.91 c 169 367 323.74 53.75 6.02 1000000 0 1293.65/1294.14 c 170 290 328.39 57.03 5.76 1000000 0 1294.85/1295.37 c 154 365 327.97 56.26 5.83 1000000 0 1296.05/1296.59 c 147 404 329.25 61.72 5.33 1000000 0 1297.35/1297.82 c 183 249 325.38 61.34 5.30 1000000 0 1298.55/1299.05 c 174 258 332.24 53.02 6.27 1000000 0 1299.75/1300.28 c 170 376 332.82 60.76 5.48 1000000 0 1301.04/1301.51 c 144 276 322.24 55.54 5.80 1000000 0 1302.24/1302.74 c 156 340 324.53 60.81 5.34 1000000 0 1303.44/1303.97 c 171 322 329.48 56.50 5.83 1000000 0 1304.64/1305.19 c 188 344 325.24 52.83 6.16 1000000 0 1305.94/1306.42 c 152 309 329.56 54.55 6.04 1000000 0 1307.14/1307.65 c 176 343 331.16 58.08 5.70 1000000 0 1308.34/1308.88 c 160 380 322.31 61.96 5.20 1000000 0 1309.65/1310.11 c 168 389 332.19 56.84 5.84 1000000 0 1310.84/1311.33 c 148 362 328.80 55.43 5.93 1000000 0 1312.04/1312.56 c 194 340 345.79 60.34 5.73 1000000 0 1313.34/1313.80 c 179 360 328.50 53.22 6.17 1000000 0 1314.54/1315.02 c 160 267 322.30 57.16 5.64 1000000 0 1315.74/1316.25 c 179 244 327.26 54.01 6.06 1000000 0 1316.94/1317.48 c 186 358 327.10 51.70 6.33 1000000 0 1318.24/1318.71 c 155 374 322.12 56.24 5.73 1000000 0 1319.44/1319.94 c 172 366 331.55 58.89 5.63 1000000 0 1320.64/1321.16 c 163 246 320.70 50.38 6.37 1000000 0 1321.84/1322.39 c 196 335 337.23 57.13 5.90 1000000 0 1323.13/1323.62 c 188 324 332.41 52.34 6.35 1000000 0 1324.33/1324.85 c 151 298 328.17 63.69 5.15 1000000 0 1325.53/1326.08 c 171 279 327.39 55.11 5.94 1000000 0 1326.83/1327.31 c 169 453 325.60 58.02 5.61 1000000 0 1328.03/1328.53 c 157 384 322.00 56.79 5.67 1000000 0 1329.23/1329.76 c 172 280 324.09 53.44 6.07 1000000 0 1330.44/1330.99 c 183 349 342.86 61.47 5.58 1000000 0 1331.73/1332.22 c 193 297 329.48 50.22 6.56 1000000 0 1332.93/1333.45 c 163 250 333.72 59.92 5.57 1000000 0 1334.13/1334.67 c 165 305 319.55 54.31 5.88 1000000 0 1335.43/1335.90 c 181 320 320.35 55.97 5.72 1000000 0 1336.63/1337.13 c 190 279 331.32 49.03 6.76 1000000 0 1337.83/1338.36 c 177 352 326.23 58.21 5.60 1000000 0 1339.03/1339.59 c 166 361 332.05 56.82 5.84 1000000 0 1340.34/1340.82 c 147 258 329.23 55.32 5.95 1000000 0 1341.54/1342.05 c 174 346 334.63 61.66 5.43 1000000 0 1342.73/1343.28 c 191 383 330.29 59.43 5.56 1000000 0 1344.03/1344.51 c 160 387 333.72 56.70 5.89 1000000 0 1345.23/1345.73 c 172 273 328.52 52.41 6.27 1000000 0 1346.43/1346.97 c 178 290 329.50 58.05 5.68 1000000 0 1347.63/1348.19 c 163 312 330.15 51.76 6.38 1000000 0 1348.93/1349.42 c 166 282 330.19 58.40 5.65 1000000 0 1350.13/1350.65 c 168 339 326.59 55.49 5.89 1000000 0 1351.33/1351.88 c 178 317 329.10 52.89 6.22 1000000 0 1352.63/1353.11 c 182 324 322.43 53.53 6.02 1000000 0 1353.83/1354.34 c 164 399 334.93 59.22 5.66 1000000 0 1355.03/1355.57 c 183 358 334.02 55.41 6.03 1000000 0 1356.32/1356.80 c 161 269 332.39 62.33 5.33 1000000 0 1357.52/1358.03 c 175 311 322.06 47.36 6.80 1000000 0 1358.72/1359.26 c 167 313 335.80 61.27 5.48 1000000 0 1359.92/1360.49 c 191 319 331.64 55.98 5.92 1000000 0 1361.23/1361.72 c 170 262 338.22 59.22 5.71 1000000 0 1362.43/1362.94 c 182 321 330.85 54.61 6.06 1000000 0 1363.62/1364.18 c 140 360 329.53 66.08 4.99 1000000 0 1364.92/1365.40 c 160 345 321.22 57.45 5.59 1000000 0 1366.12/1366.63 c 185 259 328.18 50.65 6.48 1000000 0 1367.32/1367.86 c 174 238 320.70 57.14 5.61 1000000 0 1368.52/1369.09 c 169 313 321.29 60.22 5.34 1000000 0 1369.82/1370.32 c 166 355 326.39 50.38 6.48 1000000 0 1371.02/1371.55 c 172 426 336.43 52.68 6.39 1000000 0 1372.23/1372.78 c 157 394 327.26 52.98 6.18 1000000 0 1373.52/1374.01 c 177 315 338.82 61.62 5.50 1000000 0 1374.72/1375.24 c 193 395 330.23 49.86 6.62 1000000 0 1375.92/1376.47 c 162 376 330.89 56.71 5.83 1000000 0 1377.22/1377.70 c 173 381 321.74 57.96 5.55 1000000 0 1378.42/1378.93 c 168 237 328.53 53.39 6.15 1000000 0 1379.62/1380.16 c 180 335 340.16 61.70 5.51 1000000 0 1380.82/1381.39 c 149 317 334.04 60.19 5.55 1000000 0 1382.12/1382.61 c 191 341 333.80 51.32 6.50 1000000 0 1383.32/1383.84 c 158 349 329.72 57.32 5.75 1000000 0 1384.51/1385.07 c 180 317 344.05 54.50 6.31 1000000 0 1385.81/1386.30 c 178 272 325.35 54.65 5.95 1000000 0 1387.01/1387.53 c 179 259 331.13 64.87 5.10 1000000 0 1388.21/1388.75 c 161 270 325.63 52.70 6.18 1000000 0 1389.41/1389.98 c 152 309 326.03 52.67 6.19 1000000 0 1390.71/1391.21 c 188 318 332.66 54.64 6.09 1000000 0 1391.91/1392.44 c 151 366 339.55 57.82 5.87 1000000 0 1393.12/1393.67 c 180 309 320.82 55.49 5.78 1000000 0 1394.41/1394.90 c 143 327 335.47 53.17 6.31 1000000 0 1395.61/1396.13 c 193 323 337.55 53.81 6.27 1000000 0 1396.81/1397.36 c 188 301 330.16 53.24 6.20 1000000 0 1398.01/1398.59 c 186 376 327.28 52.69 6.21 1000000 0 1399.31/1399.81 c 170 324 328.56 57.34 5.73 1000000 0 1400.51/1401.05 c 184 334 331.10 55.71 5.94 1000000 0 1401.71/1402.27 c 170 385 330.49 61.70 5.36 1000000 0 1403.02/1403.50 c 152 369 332.89 61.96 5.37 1000000 0 1404.22/1404.73 c 186 282 335.53 54.12 6.20 1000000 0 1405.41/1405.96 c 162 268 332.69 59.08 5.63 1000000 0 1406.61/1407.19 c 172 267 329.11 59.19 5.56 1000000 0 1407.91/1408.42 c 163 278 322.23 52.54 6.13 1000000 0 1409.11/1409.65 c 184 252 323.66 54.43 5.95 1000000 0 1410.31/1410.88 c 169 331 333.68 54.68 6.10 1000000 0 1411.61/1412.11 c 135 296 324.11 59.77 5.42 1000000 0 1412.81/1413.33 c 182 339 330.19 58.18 5.68 1000000 0 1414.01/1414.56 c 153 260 331.80 54.26 6.12 1000000 0 1415.21/1415.79 c 165 324 323.58 54.45 5.94 1000000 0 1416.50/1417.02 c 178 321 334.10 57.09 5.85 1000000 0 1417.70/1418.25 c 190 349 329.41 51.31 6.42 1000000 0 1418.90/1419.48 c 181 361 335.50 59.44 5.64 1000000 0 1420.20/1420.71 c 173 332 324.51 53.98 6.01 1000000 0 1421.40/1421.93 c 177 320 323.25 55.06 5.87 1000000 0 1422.60/1423.16 c 161 368 327.76 57.63 5.69 1000000 0 1423.91/1424.40 c 175 290 337.89 60.38 5.60 1000000 0 1425.11/1425.62 c 177 325 338.54 54.79 6.18 1000000 0 1426.30/1426.85 c 179 321 326.34 52.45 6.22 1000000 0 1427.50/1428.08 c 172 306 326.88 60.13 5.44 1000000 0 1428.80/1429.31 c 173 285 324.16 56.42 5.75 1000000 0 1429.99/1430.55 c 162 320 328.71 52.53 6.26 1000000 0 1431.19/1431.78 c 172 385 326.15 60.75 5.37 1000000 0 1432.49/1433.01 c 160 292 333.94 62.54 5.34 1000000 0 1433.69/1434.24 c 173 270 332.76 54.13 6.15 1000000 0 1434.90/1435.47 c 138 361 316.90 55.81 5.68 1000000 0 1436.19/1436.70 c 144 312 321.32 50.36 6.38 1000000 0 1437.39/1437.93 c 189 295 329.68 57.42 5.74 1000000 0 1438.59/1439.16 c 174 298 331.45 55.89 5.93 1000000 0 1439.79/1440.38 c 180 265 329.25 57.66 5.71 1000000 0 1441.09/1441.61 c 179 344 326.82 60.81 5.37 1000000 0 1442.29/1442.84 c 189 434 334.90 57.90 5.78 1000000 0 1443.49/1444.07 c 159 294 324.85 54.30 5.98 1000000 0 1444.79/1445.30 c 174 282 323.19 52.17 6.20 1000000 0 1445.99/1446.52 c 179 365 326.77 58.91 5.55 1000000 0 1447.18/1447.75 c 162 273 329.62 54.82 6.01 1000000 0 1448.38/1448.98 c 187 400 333.16 55.72 5.98 1000000 0 1449.68/1450.21 c 173 310 338.74 57.93 5.85 1000000 0 1450.89/1451.44 c 165 310 321.62 54.97 5.85 1000000 0 1452.09/1452.67 c 166 419 330.75 62.23 5.31 1000000 0 1453.39/1453.90 c 162 308 323.07 58.85 5.49 1000000 0 1454.59/1455.12 c 177 319 329.02 63.35 5.19 1000000 0 1455.80/1456.35 c 175 276 326.52 59.14 5.52 1000000 0 1457.00/1457.58 c 171 298 329.69 54.28 6.07 1000000 0 1458.29/1458.81 c 168 427 326.82 57.77 5.66 1000000 0 1459.49/1460.03 c 142 283 319.90 51.50 6.21 1000000 0 1460.69/1461.26 c 184 324 327.34 55.72 5.88 1000000 0 1461.89/1462.49 c 168 312 322.90 50.48 6.40 1000000 0 1463.19/1463.71 c 174 416 328.90 56.78 5.79 1000000 0 1464.39/1464.94 c 173 371 334.88 51.49 6.50 1000000 0 1465.59/1466.17 c 166 294 322.59 50.84 6.35 1000000 0 1466.80/1467.40 c 165 260 330.43 56.09 5.89 1000000 0 1468.09/1468.63 c 184 380 327.10 54.37 6.02 1000000 0 1469.29/1469.86 c 178 325 329.47 54.76 6.02 1000000 0 1470.49/1471.09 c 174 298 329.10 55.30 5.95 1000000 0 1471.79/1472.31 c 176 343 326.29 49.68 6.57 1000000 0 1472.99/1473.54 c 181 289 329.59 60.75 5.43 1000000 0 1474.18/1474.77 c 181 325 339.29 53.93 6.29 1000000 0 1475.48/1476.00 c 151 345 329.21 59.45 5.54 1000000 0 1476.69/1477.23 c 170 328 329.94 54.94 6.01 1000000 0 1477.89/1478.46 c 178 263 333.45 60.98 5.47 1000000 0 1479.08/1479.69 c 160 288 317.56 50.48 6.29 1000000 0 1480.38/1480.92 c 138 262 329.03 53.70 6.13 1000000 0 1481.58/1482.15 c 156 277 331.24 63.94 5.18 1000000 0 1482.78/1483.38 c 154 269 335.46 56.64 5.92 1000000 0 1484.08/1484.61 c 196 421 338.42 53.07 6.38 1000000 0 1485.28/1485.84 c 160 310 341.59 54.37 6.28 1000000 0 1486.48/1487.07 c 182 244 333.05 53.02 6.28 1000000 0 1487.69/1488.29 c 164 315 321.12 56.02 5.73 1000000 0 1488.98/1489.52 c 176 342 326.20 56.91 5.73 1000000 0 1490.18/1490.75 c 163 307 325.80 59.43 5.48 1000000 0 1491.38/1491.97 c 151 357 318.49 55.53 5.74 1000000 0 1492.68/1493.20 c 173 265 321.46 52.61 6.11 1000000 0 1493.88/1494.43 c 184 408 335.51 60.60 5.54 1000000 0 1495.08/1495.66 c 168 388 324.48 52.90 6.13 1000000 0 1496.28/1496.89 c 155 343 327.20 60.80 5.38 1000000 0 1497.58/1498.12 c 171 316 325.75 55.63 5.86 1000000 0 1498.78/1499.35 c 149 311 322.39 52.78 6.11 1000000 0 1499.98/1500.58 c 158 361 330.24 59.82 5.52 1000000 0 1501.28/1501.80 c 158 365 333.88 56.33 5.93 1000000 0 1502.48/1503.03 c 144 344 326.41 64.25 5.08 1000000 0 1503.67/1504.26 c 169 319 333.99 60.84 5.49 1000000 0 1504.87/1505.49 c 167 288 327.81 67.54 4.85 1000000 0 1506.17/1506.71 c 154 382 329.88 53.83 6.13 1000000 0 1507.37/1507.94 c 193 324 327.05 51.81 6.31 1000000 0 1508.58/1509.17 c 171 359 331.23 57.89 5.72 1000000 0 1509.87/1510.40 c 160 348 335.09 52.19 6.42 1000000 0 1511.07/1511.63 c 181 340 330.54 55.84 5.92 1000000 0 1512.27/1512.85 c 177 349 331.06 61.43 5.39 1000000 0 1513.47/1514.08 c 171 335 328.26 56.40 5.82 1000000 0 1514.77/1515.31 c 156 357 331.43 56.28 5.89 1000000 0 1515.97/1516.54 c 176 353 326.37 58.63 5.57 1000000 0 1517.17/1517.77 c 170 314 343.52 71.23 4.82 1000000 0 1518.48/1519.00 c 156 293 331.31 56.00 5.92 1000000 0 1519.68/1520.23 c 184 309 332.32 61.96 5.36 1000000 0 1520.87/1521.46 c 174 355 329.87 62.06 5.32 1000000 0 1522.07/1522.69 c 157 348 334.29 53.10 6.30 1000000 0 1523.37/1523.91 c 171 386 329.83 55.11 5.98 1000000 0 1524.57/1525.15 c 175 360 334.81 58.24 5.75 1000000 0 1525.77/1526.37 c 160 344 322.39 54.82 5.88 1000000 0 1527.07/1527.60 c 162 231 330.54 63.46 5.21 1000000 0 1528.27/1528.83 c 162 272 327.00 60.24 5.43 1000000 0 1529.47/1530.06 c 168 323 322.78 51.53 6.26 1000000 0 1530.67/1531.29 c 174 398 329.97 48.56 6.79 1000000 0 1531.97/1532.52 c 170 303 331.95 55.43 5.99 1000000 0 1533.16/1533.75 c 178 324 328.16 49.46 6.63 1000000 0 1534.36/1534.98 c 176 308 329.76 54.68 6.03 1000000 0 1535.66/1536.21 c 189 366 333.22 55.32 6.02 1000000 0 1536.86/1537.44 c 177 284 331.86 57.16 5.81 1000000 0 1538.06/1538.67 c 177 274 340.97 53.93 6.32 1000000 0 1539.26/1539.89 c 179 344 332.11 60.51 5.49 1000000 0 1540.57/1541.12 c 174 393 326.08 63.59 5.13 1000000 0 1541.76/1542.36 c 166 272 331.92 61.28 5.42 1000000 0 1542.96/1543.59 c 158 351 333.29 56.17 5.93 1000000 0 1544.26/1544.81 c 167 365 323.01 55.18 5.85 1000000 0 1545.46/1546.04 c 174 204 325.57 57.43 5.67 1000000 0 1546.66/1547.27 c 167 296 334.18 52.87 6.32 1000000 0 1547.96/1548.50 c 178 349 335.04 59.21 5.66 1000000 0 1549.16/1549.73 c 174 416 331.68 58.71 5.65 1000000 0 1550.37/1550.96 c 177 285 334.94 52.33 6.40 1000000 0 1551.57/1552.19 c 199 239 338.36 55.38 6.11 1000000 0 1552.86/1553.42 c 161 343 326.59 57.40 5.69 1000000 0 1554.06/1554.65 c 170 287 327.38 58.25 5.62 1000000 0 1555.26/1555.88 c 162 349 330.65 61.82 5.35 1000000 0 1556.56/1557.11 c 169 317 333.74 52.12 6.40 1000000 0 1557.76/1558.34 c 184 278 329.28 60.73 5.42 1000000 0 1558.96/1559.56 c 165 318 327.67 57.52 5.70 1000000 0 1560.15/1560.79 c 184 358 333.78 61.24 5.45 1000000 0 1561.46/1562.03 c 143 345 325.48 62.98 5.17 1000000 0 1562.65/1563.26 c 153 313 322.28 53.77 5.99 1000000 0 1563.85/1564.48 c 151 338 323.03 53.16 6.08 1000000 0 1565.15/1565.72 c 174 362 338.64 65.90 5.14 1000000 0 1566.35/1566.95 c 175 301 333.32 56.12 5.94 1000000 0 1567.55/1568.18 c 155 376 324.75 61.47 5.28 1000000 0 1568.85/1569.41 c 145 375 336.32 55.89 6.02 1000000 0 1570.05/1570.64 c 162 355 331.36 57.78 5.73 1000000 0 1571.26/1571.87 c 174 264 337.13 56.58 5.96 1000000 0 1572.46/1573.10 c 163 344 326.51 54.77 5.96 1000000 0 1573.75/1574.33 c 173 317 335.71 64.15 5.23 1000000 0 1574.95/1575.56 c 156 310 332.10 52.50 6.33 1000000 0 1576.15/1576.79 c 144 315 329.07 52.81 6.23 1000000 0 1577.45/1578.02 c 164 372 332.27 54.72 6.07 1000000 0 1578.65/1579.25 c 183 247 329.97 57.16 5.77 1000000 0 1579.85/1580.48 c 158 371 331.64 54.09 6.13 1000000 0 1581.15/1581.70 c 160 324 329.10 59.46 5.54 1000000 0 1582.36/1582.93 c 145 351 322.81 55.86 5.78 1000000 0 1583.55/1584.16 c 180 341 326.69 50.68 6.45 1000000 0 1584.75/1585.39 c 159 379 325.39 55.39 5.87 1000000 0 1586.05/1586.62 c 170 294 331.48 65.25 5.08 1000000 0 1587.25/1587.85 c 179 294 334.77 54.79 6.11 1000000 0 1588.45/1589.07 c 166 350 322.63 54.81 5.89 1000000 0 1589.74/1590.30 c 153 307 318.78 57.05 5.59 1000000 0 1590.94/1591.53 c 179 255 322.62 57.43 5.62 1000000 0 1592.15/1592.75 c 171 321 336.95 63.05 5.34 1000000 0 1593.35/1593.99 c 177 308 334.99 54.12 6.19 1000000 0 1594.64/1595.21 c 172 314 334.32 56.30 5.94 1000000 0 1595.84/1596.44 c 188 350 330.60 50.23 6.58 1000000 0 1597.04/1597.68 c 178 231 325.05 53.24 6.11 1000000 0 1598.34/1598.90 c 164 268 326.93 56.13 5.82 1000000 0 1599.54/1600.13 c 178 399 330.22 62.26 5.30 1000000 0 1600.74/1601.36 c 164 281 338.29 64.96 5.21 1000000 0 1601.94/1602.59 c 176 370 325.04 54.56 5.96 1000000 0 1603.25/1603.81 c 129 351 320.04 52.60 6.08 1000000 0 1604.44/1605.04 c 196 312 325.79 48.22 6.76 1000000 0 1605.64/1606.27 c 187 334 327.07 53.30 6.14 1000000 0 1606.94/1607.50 c 167 295 331.75 58.60 5.66 1000000 0 1608.14/1608.73 c 168 271 323.67 55.47 5.84 1000000 0 1609.34/1609.96 c 189 312 330.37 56.36 5.86 1000000 0 1610.54/1611.18 c 155 342 326.81 61.34 5.33 1000000 0 1611.84/1612.41 c 159 365 332.72 61.42 5.42 1000000 0 1613.04/1613.64 c 179 314 335.67 57.77 5.81 1000000 0 1614.24/1614.87 c 176 324 325.24 50.22 6.48 1000000 0 1615.54/1616.10 c 162 311 327.06 57.55 5.68 1000000 0 1616.74/1617.33 c 167 295 322.51 57.13 5.65 1000000 0 1617.94/1618.56 c 170 269 324.49 51.44 6.31 1000000 0 1619.14/1619.79 c 163 370 321.98 50.13 6.42 1000000 0 1620.43/1621.02 c 161 334 328.10 52.99 6.19 1000000 0 1621.63/1622.24 c 170 333 328.84 55.40 5.94 1000000 0 1622.83/1623.47 c 191 305 328.10 59.56 5.51 1000000 0 1624.04/1624.70 c 138 363 331.39 62.42 5.31 1000000 0 1625.33/1625.93 c 169 343 321.11 56.15 5.72 1000000 0 1626.53/1627.16 c 159 282 322.35 51.84 6.22 1000000 0 1627.73/1628.39 c 149 277 327.27 56.98 5.74 1000000 0 1629.03/1629.61 c 150 376 323.00 57.57 5.61 1000000 0 1630.23/1630.84 c 165 370 334.09 58.54 5.71 1000000 0 1631.43/1632.07 c 165 226 327.50 63.14 5.19 1000000 0 1632.73/1633.31 c 168 292 323.16 48.33 6.69 1000000 0 1633.94/1634.53 c 160 368 324.61 51.04 6.36 1000000 0 1635.14/1635.76 c 181 332 327.00 56.76 5.76 1000000 0 1636.33/1636.99 c 153 444 332.91 59.16 5.63 1000000 0 1637.63/1638.22 c 145 256 326.28 55.52 5.88 1000000 0 1638.83/1639.45 c 177 267 330.06 59.05 5.59 1000000 0 1640.03/1640.68 c 172 355 325.36 57.39 5.67 1000000 0 1641.33/1641.91 c 160 352 339.86 57.93 5.87 1000000 0 1642.53/1643.14 c 138 351 328.85 56.68 5.80 1000000 0 1643.73/1644.37 c 174 345 331.73 51.78 6.41 1000000 0 1644.93/1645.59 c 159 334 326.98 57.15 5.72 1000000 0 1646.23/1646.82 c 156 292 324.58 56.92 5.70 1000000 0 1647.43/1648.05 c 185 400 330.85 53.05 6.24 1000000 0 1648.63/1649.28 c 155 204 326.02 55.01 5.93 1000000 0 1649.93/1650.51 c 194 365 334.59 61.24 5.46 1000000 0 1651.12/1651.73 c 182 331 320.98 52.70 6.09 1000000 0 1652.32/1652.96 c 184 320 334.67 64.96 5.15 1000000 0 1653.52/1654.19 c 183 348 319.35 53.48 5.97 1000000 0 1654.83/1655.42 c 182 270 320.69 52.59 6.10 1000000 0 1656.03/1656.65 c 158 342 328.02 57.74 5.68 1000000 0 1657.22/1657.87 c 133 314 326.54 60.13 5.43 1000000 0 1658.52/1659.10 c 170 256 332.98 55.13 6.04 1000000 0 1659.72/1660.33 c 186 338 329.29 52.87 6.23 1000000 0 1660.92/1661.56 c 158 387 325.63 50.58 6.44 1000000 0 1662.12/1662.79 c 161 297 326.50 53.45 6.11 1000000 0 1663.42/1664.02 c 169 350 333.63 62.86 5.31 1000000 0 1664.62/1665.25 c 157 371 327.60 54.18 6.05 1000000 0 1665.83/1666.48 c 164 414 331.14 55.89 5.92 1000000 0 1667.12/1667.71 c 174 354 334.18 57.27 5.84 1000000 0 1668.32/1668.94 c 161 300 323.51 59.90 5.40 1000000 0 1669.52/1670.17 c 145 379 325.73 51.27 6.35 1000000 0 1670.82/1671.40 c 162 377 315.82 52.86 5.97 1000000 0 1672.02/1672.62 c 171 267 329.03 51.21 6.43 1000000 0 1673.22/1673.85 c 166 335 324.48 59.14 5.49 1000000 0 1674.42/1675.08 c 164 274 324.19 53.14 6.10 1000000 0 1675.72/1676.31 c 183 300 332.87 54.42 6.12 1000000 0 1676.92/1677.54 c 199 332 342.20 61.81 5.54 1000000 0 1678.11/1678.77 c 173 417 330.90 53.16 6.22 1000000 0 1679.41/1680.00 c 195 342 341.73 51.60 6.62 1000000 0 1680.61/1681.23 c 178 407 330.22 62.03 5.32 1000000 0 1681.81/1682.46 c 147 327 322.77 55.76 5.79 1000000 0 1683.01/1683.69 c 184 334 323.17 55.07 5.87 1000000 0 1684.31/1684.92 c 144 278 329.29 55.33 5.95 1000000 0 1685.51/1686.15 c 183 373 333.23 52.23 6.38 1000000 0 1686.72/1687.37 c 157 301 326.36 56.94 5.73 1000000 0 1688.01/1688.60 c 195 337 337.90 52.87 6.39 1000000 0 1689.21/1689.83 c 176 324 321.36 54.50 5.90 1000000 0 1690.41/1691.06 c 183 326 326.75 61.38 5.32 1000000 0 1691.61/1692.29 c 180 351 334.86 55.04 6.08 1000000 0 1692.91/1693.52 c 180 264 336.30 63.88 5.26 1000000 0 1694.11/1694.75 c 175 393 329.39 59.28 5.56 1000000 0 1695.31/1695.98 c 158 288 333.29 49.93 6.68 1000000 0 1696.62/1697.21 c 158 342 322.70 57.96 5.57 1000000 0 1697.82/1698.43 c 158 344 321.13 53.03 6.06 1000000 0 1699.01/1699.67 c 166 265 326.69 59.91 5.45 1000000 0 1700.21/1700.89 c 168 346 325.45 50.81 6.40 1000000 0 1701.51/1702.12 c 187 389 329.86 50.28 6.56 1000000 0 1702.71/1703.35 c 157 314 333.39 55.38 6.02 1000000 0 1703.91/1704.58 c 173 335 323.86 58.49 5.54 1000000 0 1705.21/1705.81 c 159 221 332.16 60.24 5.51 1000000 0 1706.40/1707.03 c 156 327 330.37 51.34 6.43 1000000 0 1707.61/1708.26 c 182 239 335.34 52.41 6.40 1000000 0 1708.81/1709.49 c 167 323 322.19 60.69 5.31 1000000 0 1710.10/1710.71 c 152 357 328.44 61.46 5.34 1000000 0 1711.30/1711.94 c 153 291 328.51 55.43 5.93 1000000 0 1712.50/1713.17 c 170 283 337.04 54.09 6.23 1000000 0 1713.80/1714.41 c 150 244 323.18 64.02 5.05 1000000 0 1715.00/1715.64 c 162 337 330.06 56.59 5.83 1000000 0 1716.20/1716.86 c 194 363 332.60 56.10 5.93 1000000 0 1717.40/1718.09 c 183 289 340.86 60.61 5.62 1000000 0 1718.71/1719.32 c 169 294 329.29 54.64 6.03 1000000 0 1719.90/1720.55 c 173 316 330.59 60.64 5.45 1000000 0 1721.10/1721.78 c 145 346 328.17 57.96 5.66 1000000 0 1722.40/1723.01 c 184 301 336.57 62.27 5.40 1000000 0 1723.60/1724.24 c 169 371 330.56 55.04 6.01 1000000 0 1724.80/1725.47 c 147 399 326.73 66.25 4.93 1000000 0 1726.00/1726.69 c 163 260 321.04 53.02 6.05 1000000 0 1727.30/1727.92 c 162 283 324.20 50.45 6.43 1000000 0 1728.51/1729.15 c 184 334 325.61 50.60 6.44 1000000 0 1729.71/1730.37 c 176 276 317.41 56.42 5.63 1000000 0 1731.00/1731.60 c 184 307 331.67 56.02 5.92 1000000 0 1732.20/1732.82 c 165 297 322.17 57.83 5.57 1000000 0 1733.40/1734.05 c 182 290 331.36 58.61 5.65 1000000 0 1734.60/1735.28 c 180 258 323.83 51.93 6.24 1000000 0 1735.90/1736.51 c 172 322 326.95 50.30 6.50 1000000 0 1737.09/1737.74 c 151 327 324.44 57.36 5.66 1000000 0 1738.29/1738.97 c 159 402 337.04 58.82 5.73 1000000 0 1739.50/1740.19 c 164 387 332.83 54.17 6.14 1000000 0 1740.79/1741.42 c 180 517 334.60 51.77 6.46 1000000 0 1741.99/1742.65 c 142 311 330.49 56.94 5.80 1000000 0 1743.19/1743.89 c 173 271 333.42 56.67 5.88 1000000 0 1744.49/1745.11 c 165 256 327.77 59.09 5.55 1000000 0 1745.69/1746.34 c 181 295 336.09 59.07 5.69 1000000 0 1746.89/1747.57 c 162 289 334.53 56.97 5.87 1000000 0 1748.09/1748.80 c 166 295 334.13 55.04 6.07 1000000 0 1749.40/1750.02 c 180 258 322.55 55.41 5.82 1000000 0 1750.60/1751.25 c 179 265 344.14 56.16 6.13 1000000 0 1751.79/1752.48 c 156 363 322.98 49.80 6.48 1000000 0 1753.09/1753.71 c 179 369 325.44 51.72 6.29 1000000 0 1754.29/1754.94 c 181 316 320.52 54.75 5.85 1000000 0 1755.49/1756.16 c 175 313 333.47 61.29 5.44 1000000 0 1756.79/1757.40 c 168 266 331.28 68.98 4.80 1000000 0 1757.99/1758.63 c 156 329 329.47 60.77 5.42 1000000 0 1759.19/1759.85 c 158 327 326.84 57.89 5.65 1000000 0 1760.39/1761.08 c 161 346 327.55 59.47 5.51 1000000 0 1761.69/1762.31 c 159 298 332.45 62.60 5.31 1000000 0 1762.89/1763.54 c 168 336 334.28 57.68 5.80 1000000 0 1764.08/1764.77 c 162 315 327.58 54.87 5.97 1000000 0 1765.28/1765.99 c 155 285 324.92 55.45 5.86 1000000 0 1766.58/1767.23 c 172 349 342.00 63.39 5.40 1000000 0 1767.78/1768.46 c 177 318 324.52 58.00 5.60 1000000 0 1768.98/1769.69 c 180 444 338.10 59.12 5.72 1000000 0 1770.29/1770.92 c 171 328 329.78 59.76 5.52 1000000 0 1771.49/1772.15 c 141 370 324.24 55.47 5.85 1000000 0 1772.68/1773.38 c 120 357 319.04 66.47 4.80 1000000 0 1773.98/1774.61 c 172 262 330.56 57.32 5.77 1000000 0 1775.18/1775.84 c 157 402 336.54 61.32 5.49 1000000 0 1776.38/1777.07 c 163 330 331.44 55.19 6.01 1000000 0 1777.68/1778.30 c 168 258 333.72 59.47 5.61 1000000 0 1778.88/1779.53 c 164 315 324.85 55.87 5.81 1000000 0 1780.08/1780.76 c 184 294 332.73 56.56 5.88 1000000 0 1781.29/1781.99 c 155 386 326.14 56.56 5.77 1000000 0 1782.58/1783.22 c 191 329 331.98 54.02 6.15 1000000 0 1783.78/1784.45 c 178 367 324.62 60.02 5.41 1000000 0 1784.98/1785.68 c 167 326 336.58 57.74 5.83 1000000 0 1786.28/1786.91 c 153 248 325.57 63.09 5.16 1000000 0 1787.48/1788.14 c 178 323 328.60 57.73 5.69 1000000 0 1788.68/1789.36 c 160 316 335.25 61.05 5.49 1000000 0 1789.88/1790.59 c 191 271 337.35 62.71 5.38 1000000 0 1791.18/1791.83 c 163 301 323.86 55.45 5.84 1000000 0 1792.38/1793.06 c 172 339 329.41 60.22 5.47 1000000 0 1793.58/1794.29 c 137 252 330.48 59.51 5.55 1000000 0 1794.88/1795.52 c 175 308 334.68 53.17 6.29 1000000 0 1796.07/1796.75 c 169 279 334.01 53.62 6.23 1000000 0 1797.27/1797.98 c 144 285 326.19 55.39 5.89 1000000 0 1798.57/1799.21 c 181 339 324.92 57.74 5.63 1000000 0 1799.77/1800.44 c 188 359 332.82 51.39 6.48 1000000 0 1800.09/1800.71 HOME/run: line 2: 25472 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-2685490-1278441430/watcher-2685490-1278441430 -o /tmp/evaluation-result-2685490-1278441430/solver-2685490-1278441430 -C 1800 -W 2000 -M 1800 run HOME/instance-2685490-1278441430.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.15 1.03 1.01 3/106 25471 /proc/meminfo: memFree=1773416/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [startup+0.086681 s] /proc/loadavg: 1.15 1.03 1.01 3/106 25471 /proc/meminfo: memFree=1773416/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100682 s] /proc/loadavg: 1.15 1.03 1.01 3/106 25471 /proc/meminfo: memFree=1773416/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300719 s] /proc/loadavg: 1.15 1.03 1.01 3/106 25471 /proc/meminfo: memFree=1773416/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700792 s] /proc/loadavg: 1.15 1.03 1.01 3/106 25471 /proc/meminfo: memFree=1773416/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50094 s] /proc/loadavg: 1.13 1.03 1.01 2/108 25473 /proc/meminfo: memFree=1768936/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1.48 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 148 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 49152 [startup+3.10123 s] /proc/loadavg: 1.13 1.03 1.01 2/108 25473 /proc/meminfo: memFree=1768812/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=3.08 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 308 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 49152 [startup+6.30081 s] /proc/loadavg: 1.13 1.03 1.01 2/108 25473 /proc/meminfo: memFree=1768688/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=6.28 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 628 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526054 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.701 s] /proc/loadavg: 1.11 1.03 1.01 2/108 25473 /proc/meminfo: memFree=1768688/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=12.68 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 1268 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5003 s] /proc/loadavg: 1.10 1.03 1.01 2/108 25473 /proc/meminfo: memFree=1768688/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=25.47 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 2547 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 49152 [startup+51.1009 s] /proc/loadavg: 1.06 1.03 1.01 2/108 25475 /proc/meminfo: memFree=1768688/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=51.07 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 5107 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 1.06 1.03 1.01 2/108 25475 /proc/meminfo: memFree=1768564/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=102.26 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 10226 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.13 1.05 1.01 2/108 25477 /proc/meminfo: memFree=1768440/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=162.23 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 16223 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.12 1.06 1.01 2/108 25479 /proc/meminfo: memFree=1768440/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=222.21 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 22221 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134519845 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.04 1.05 1.00 2/108 25481 /proc/meminfo: memFree=1768316/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=282.19 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 28219 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.01 1.03 1.00 2/108 25481 /proc/meminfo: memFree=1768316/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=342.16 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 34216 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526747 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.03 1.00 2/108 25483 /proc/meminfo: memFree=1768192/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=402.14 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 40214 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ [pid=25472] ppid=25471 vsize=40452 CPUtime=1121.91 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 112190 1 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25505 /proc/meminfo: memFree=1766828/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1181.89 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 118188 1 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25505 /proc/meminfo: memFree=1766580/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1241.86 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 124185 1 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525915 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25507 /proc/meminfo: memFree=1766332/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1301.85 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 130184 1 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25509 /proc/meminfo: memFree=1766208/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1361.82 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 136181 1 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25511 /proc/meminfo: memFree=1766084/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1421.81 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 142180 1 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25522 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1481.78 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 148176 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25522 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1541.76 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 154174 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25524 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1601.74 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 160172 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25526 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1661.72 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 166170 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25528 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1721.7 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 172168 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25530 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1781.68 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 178166 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25530 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1800.09 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 180007 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25530 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=25471] ppid=25469 vsize=8700 CPUtime=0 /proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25471/statm: 2175 243 204 178 0 68 0 [pid=25472] ppid=25471 vsize=40452 CPUtime=1800.09 /proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 180007 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/25472/statm: 10113 1076 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.72 CPU time (s): 1800.1 CPU user time (s): 1800.07 CPU system time (s): 0.026995 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 system time used= 0.026995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1518 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= 8544 runsolver used 3.3005 second user time and 8.26174 second system time The end
Begin job on node045 at 2010-07-06 20:37:11 IDJOB=2685490 IDBENCH=76121 IDSOLVER=1171 FILE ID=node045/2685490-1278441430 PBS_JOBID= 11233479 Free space on /tmp= 62524 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6022_1-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685490-1278441430/watcher-2685490-1278441430 -o /tmp/evaluation-result-2685490-1278441430/solver-2685490-1278441430 -C 1800 -W 2000 -M 1800 run HOME/instance-2685490-1278441430.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 58a6f6f1a22b15b5d795e2fa09f17734 RANDOM SEED=1959181555 node045.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.265 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.53 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.265 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1773936 kB Buffers: 12108 kB Cached: 138696 kB SwapCached: 0 kB Active: 75348 kB Inactive: 135580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1773936 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1796 kB Writeback: 0 kB AnonPages: 60168 kB Mapped: 14488 kB Slab: 52408 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179468 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= 62524 MiB End job on node045 at 2010-07-06 21:07:11