Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.11 | 1800.51 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb |
MD5SUM | a985b0d4e6d576e8ad3098d78036fdc8 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.757884 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6832 |
Total number of constraints | 19477 |
Number of constraints which are clauses | 18953 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 524 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.05 c PB-wave - v2 0.00/0.05 c command line = ./PB-wave 0.00/0.05 c seed = 2158926 0.00/0.05 c cutoff = 1000000 0.00/0.05 c tries = 1000000 0.00/0.05 c heuristic = c best, noise 50 / 100 0.00/0.05 #var 6832 #con 19477 0.00/0.05 mode is SAT 0.00/0.05 c tail starts after flip = 20496 0.00/0.05 c numatom = 6832, numclause = 19477, numliterals = 49519 0.00/0.05 c wff read in 0.00/0.05 c 0.00/0.05 c lowest final avg noise noise total avg mean mean 0.00/0.05 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.05 c this this this this this this success success until std 0.00/0.05 c try try try try try try rate tries assign dev 0.00/0.05 c 1.49/1.52 c 217 352 374.85 85.94 4.36 1000000 0 2.89/2.98 c 228 390 383.76 100.72 3.81 1000000 0 4.40/4.45 c 212 293 367.11 79.54 4.62 1000000 0 5.89/5.92 c 219 329 363.69 87.50 4.16 1000000 0 7.29/7.40 c 222 323 365.99 95.80 3.82 1000000 0 8.79/8.86 c 194 302 373.26 97.32 3.84 1000000 0 10.29/10.33 c 219 320 371.30 88.03 4.22 1000000 0 11.69/11.79 c 227 312 378.16 99.01 3.82 1000000 0 13.19/13.26 c 187 372 373.03 97.34 3.83 1000000 0 14.69/14.73 c 223 306 377.79 88.52 4.27 1000000 0 16.19/16.20 c 198 333 373.30 100.21 3.73 1000000 0 17.59/17.66 c 220 412 384.41 98.65 3.90 1000000 0 19.08/19.13 c 191 281 379.61 99.89 3.80 1000000 0 20.58/20.61 c 222 338 371.51 86.40 4.30 1000000 0 21.99/22.08 c 212 375 380.17 106.76 3.56 1000000 0 23.48/23.55 c 210 323 376.91 98.20 3.84 1000000 0 24.98/25.02 c 234 408 382.05 88.39 4.32 1000000 0 26.39/26.48 c 231 381 387.16 86.72 4.46 1000000 0 27.88/27.95 c 207 373 382.47 107.03 3.57 1000000 0 29.38/29.40 c 236 335 392.47 105.21 3.73 1000000 0 30.79/30.86 c 201 405 389.58 105.27 3.70 1000000 0 32.28/32.32 c 221 394 383.91 99.13 3.87 1000000 0 33.68/33.78 c 246 402 384.55 85.37 4.50 1000000 0 35.19/35.24 c 215 381 376.06 83.57 4.50 1000000 0 36.68/36.70 c 235 351 388.70 92.22 4.21 1000000 0 38.08/38.17 c 220 375 381.86 102.07 3.74 1000000 0 39.59/39.63 c 203 327 370.67 99.62 3.72 1000000 0 41.08/41.11 c 217 395 377.33 97.29 3.88 1000000 0 42.48/42.58 c 220 398 378.74 88.24 4.29 1000000 0 43.99/44.04 c 254 373 389.89 88.55 4.40 1000000 0 45.48/45.51 c 248 332 386.78 94.55 4.09 1000000 0 46.88/46.98 c 214 372 377.42 93.10 4.05 1000000 0 48.38/48.44 c 219 310 368.67 97.77 3.77 1000000 0 49.88/49.91 c 235 383 373.69 86.76 4.31 1000000 0 51.28/51.38 c 234 332 384.52 105.16 3.66 1000000 0 52.78/52.85 c 241 404 394.75 99.11 3.98 1000000 0 54.28/54.31 c 217 354 386.98 96.29 4.02 1000000 0 55.68/55.77 c 223 318 380.84 87.88 4.33 1000000 0 57.18/57.23 c 230 331 392.97 92.59 4.24 1000000 0 58.68/58.70 c 226 297 377.97 91.76 4.12 1000000 0 60.07/60.16 c 217 345 389.18 90.03 4.32 1000000 0 61.58/61.63 c 230 385 381.44 96.98 3.93 1000000 0 63.07/63.10 c 221 332 384.16 86.05 4.46 1000000 0 64.47/64.56 c 230 378 393.48 107.88 3.65 1000000 0 65.98/66.02 c 214 313 390.91 84.63 4.62 1000000 0 67.37/67.49 c 228 343 382.48 101.54 3.77 1000000 0 68.87/68.96 c 200 403 356.54 97.78 3.65 1000000 0 70.38/70.43 c 244 376 375.52 79.57 4.72 1000000 0 71.87/71.90 c 232 371 383.73 83.29 4.61 1000000 0 73.27/73.38 c 223 282 364.31 92.04 3.96 1000000 0 74.78/74.85 c 207 330 372.69 105.00 3.55 1000000 0 76.27/76.32 c 219 313 386.58 98.40 3.93 1000000 0 77.67/77.78 c 225 305 379.10 92.84 4.08 1000000 0 79.18/79.25 c 237 313 384.90 103.42 3.72 1000000 0 80.67/80.70 c 239 299 389.52 86.90 4.48 1000000 0 82.07/82.16 c 220 328 382.96 86.02 4.45 1000000 0 83.58/83.63 c 206 368 376.14 99.08 3.80 1000000 0 85.07/85.10 c 207 419 363.86 101.57 3.58 1000000 0 86.47/86.56 c 229 327 390.47 90.44 4.32 1000000 0 87.97/88.03 c 225 390 371.51 91.32 4.07 1000000 0 89.37/89.50 c 244 305 381.94 85.16 4.48 1000000 0 90.87/90.96 c 236 344 382.71 85.61 4.47 1000000 0 92.37/92.43 c 208 343 363.14 92.19 3.94 1000000 0 93.87/93.91 c 229 374 373.16 96.16 3.88 1000000 0 95.27/95.37 c 223 282 388.01 97.24 3.99 1000000 0 96.77/96.83 c 197 347 384.49 92.51 4.16 1000000 0 98.27/98.30 c 234 380 378.64 83.60 4.53 1000000 0 99.66/99.77 c 223 348 387.14 104.17 3.72 1000000 0 101.17/101.24 c 213 249 371.76 102.33 3.63 1000000 0 102.66/102.72 c 216 380 383.20 105.63 3.63 1000000 0 104.06/104.19 c 209 338 372.94 91.19 4.09 1000000 0 105.57/105.66 c 230 353 370.10 94.72 3.91 1000000 0 107.06/107.12 c 242 444 385.18 98.07 3.93 1000000 0 108.56/108.60 c 221 318 376.62 91.42 4.12 1000000 0 109.97/110.07 c 233 460 376.33 90.67 4.15 1000000 0 111.46/111.53 c 250 370 397.49 93.16 4.27 1000000 0 112.96/113.01 c 205 363 371.64 91.33 4.07 1000000 0 114.37/114.48 c 187 378 382.76 88.88 4.31 1000000 0 115.86/115.96 c 241 348 377.10 91.60 4.12 1000000 0 117.36/117.43 c 210 357 372.03 90.54 4.11 1000000 0 118.86/118.90 c 183 344 371.01 104.62 3.55 1000000 0 120.26/120.37 c 222 333 370.54 94.91 3.90 1000000 0 121.76/121.84 c 227 378 376.43 92.36 4.08 1000000 0 123.26/123.32 c 215 359 377.32 106.52 3.54 1000000 0 124.66/124.79 c 240 421 383.17 97.53 3.93 1000000 0 126.16/126.26 c 232 288 374.95 97.58 3.84 1000000 0 127.66/127.73 c 220 323 387.54 90.17 4.30 1000000 0 129.16/129.20 c 182 335 368.42 96.02 3.84 1000000 0 130.56/130.68 c 222 301 377.24 90.64 4.16 1000000 0 132.06/132.16 c 230 369 377.51 87.07 4.34 1000000 0 133.56/133.64 c 220 343 374.28 99.29 3.77 1000000 0 134.96/135.10 c 220 365 386.45 96.31 4.01 1000000 0 136.46/136.56 c 237 405 387.71 94.89 4.09 1000000 0 137.96/138.02 c 236 366 390.28 103.85 3.76 1000000 0 139.36/139.49 c 232 422 383.53 85.60 4.48 1000000 0 140.86/140.96 c 206 428 369.08 84.26 4.38 1000000 0 142.36/142.44 c 228 396 374.44 106.54 3.51 1000000 0 143.86/143.91 c 215 387 377.96 83.45 4.53 1000000 0 145.25/145.36 c 253 385 384.98 76.49 5.03 1000000 0 146.75/146.82 c 237 411 384.26 100.06 3.84 1000000 0 148.15/148.27 c 242 358 396.24 84.96 4.66 1000000 0 149.65/149.75 c 243 399 377.49 107.07 3.53 1000000 0 151.15/151.21 c 231 371 377.32 96.78 3.90 1000000 0 152.55/152.68 c 225 299 379.49 100.70 3.77 1000000 0 154.05/154.16 c 219 345 373.56 93.41 4.00 1000000 0 155.55/155.63 c 227 336 374.64 100.19 3.74 1000000 0 156.95/157.09 c 243 357 379.76 84.97 4.47 1000000 0 158.45/158.56 c 230 295 388.41 91.34 4.25 1000000 0 159.95/160.05 c 212 324 363.18 95.90 3.79 1000000 0 161.45/161.51 c 224 380 376.51 78.53 4.79 1000000 0 162.85/162.97 c 225 434 389.02 105.51 3.69 1000000 0 164.35/164.43 c 248 296 387.39 93.35 4.15 1000000 0 165.85/165.91 c 231 376 381.97 91.40 4.18 1000000 0 167.25/167.38 c 219 343 366.92 92.45 3.97 1000000 0 168.75/168.86 c 218 304 367.19 94.33 3.89 1000000 0 170.25/170.31 c 237 382 384.21 90.91 4.23 1000000 0 171.65/171.77 c 238 335 390.80 97.48 4.01 1000000 0 173.15/173.24 c 224 330 373.70 90.60 4.12 1000000 0 174.65/174.72 c 194 342 364.47 96.99 3.76 1000000 0 176.15/176.20 c 220 317 380.29 96.96 3.92 1000000 0 177.55/177.66 c 224 368 386.90 85.06 4.55 1000000 0 179.05/179.13 c 217 347 370.16 80.04 4.62 1000000 0 180.45/180.59 c 234 327 382.63 91.01 4.20 1000000 0 181.95/182.06 c 218 335 385.74 93.03 4.15 1000000 0 183.45/183.54 c 212 327 373.67 90.63 4.12 1000000 0 184.95/185.01 c 214 387 379.23 89.38 4.24 1000000 0 186.35/186.49 c 231 400 381.86 106.04 3.60 1000000 0 187.85/187.96 c 210 428 392.09 95.08 4.12 1000000 0 189.35/189.42 c 228 363 384.24 90.65 4.24 1000000 0 190.74/190.88 c 236 446 395.69 95.84 4.13 1000000 0 192.24/192.35 c 226 418 371.28 101.05 3.67 1000000 0 193.74/193.82 c 211 375 368.04 83.97 4.38 1000000 0 195.14/195.29 c 235 367 384.04 105.68 3.63 1000000 0 196.64/196.75 c 231 477 383.21 97.96 3.91 1000000 0 198.14/198.22 c 226 260 365.32 76.39 4.78 1000000 0 199.54/199.69 c 220 394 386.86 88.49 4.37 1000000 0 201.04/201.16 c 252 389 385.77 92.13 4.19 1000000 0 202.54/202.63 c 219 321 391.05 97.87 4.00 1000000 0 203.94/204.10 c 198 351 377.92 104.71 3.61 1000000 0 205.44/205.57 c 238 379 381.68 98.78 3.86 1000000 0 206.94/207.04 c 237 341 389.98 103.54 3.77 1000000 0 208.44/208.50 c 231 324 388.67 83.57 4.65 1000000 0 209.84/209.96 c 240 313 386.58 90.41 4.28 1000000 0 211.34/211.43 c 247 301 396.74 95.02 4.18 1000000 0 212.74/212.88 c 201 376 397.86 97.88 4.06 1000000 0 214.24/214.35 c 249 334 382.08 89.44 4.27 1000000 0 215.74/215.82 c 221 336 382.09 92.32 4.14 1000000 0 217.14/217.29 c 214 392 375.91 102.85 3.65 1000000 0 218.64/218.76 c 209 351 372.13 105.04 3.54 1000000 0 220.14/220.23 c 250 422 381.87 88.77 4.30 1000000 0 221.54/221.70 c 234 336 373.13 89.79 4.16 1000000 0 223.04/223.15 c 235 374 384.25 86.61 4.44 1000000 0 224.54/224.62 c 238 367 385.35 90.77 4.25 1000000 0 225.94/226.08 c 220 358 385.49 102.49 3.76 1000000 0 227.44/227.55 c 231 353 379.22 85.82 4.42 1000000 0 228.94/229.01 c 245 352 384.44 93.06 4.13 1000000 0 230.33/230.46 c 244 353 387.44 89.07 4.35 1000000 0 231.83/231.93 c 222 297 391.20 97.47 4.01 1000000 0 233.33/233.40 c 225 312 374.01 99.17 3.77 1000000 0 234.73/234.87 c 219 368 375.17 100.66 3.73 1000000 0 236.23/236.33 c 217 288 375.28 96.77 3.88 1000000 0 237.73/237.80 c 231 338 384.08 99.56 3.86 1000000 0 239.13/239.26 c 227 342 380.39 92.31 4.12 1000000 0 240.63/240.74 c 202 353 361.83 89.56 4.04 1000000 0 242.13/242.22 c 217 420 360.78 93.64 3.85 1000000 0 243.53/243.69 c 219 355 377.41 102.16 3.69 1000000 0 245.03/245.16 c 220 354 379.23 100.21 3.78 1000000 0 246.53/246.63 c 215 365 376.70 88.37 4.26 1000000 0 247.93/248.10 c 198 336 369.08 104.65 3.53 1000000 0 249.43/249.56 c 235 321 383.24 96.50 3.97 1000000 0 250.93/251.02 c 229 329 377.50 99.04 3.81 1000000 0 252.33/252.48 c 213 304 380.85 85.48 4.46 1000000 0 253.83/253.95 c 227 327 372.09 91.93 4.05 1000000 0 255.33/255.41 c 225 346 397.64 83.92 4.74 1000000 0 256.73/256.88 c 247 387 398.44 89.34 4.46 1000000 0 258.23/258.35 c 227 305 388.38 98.40 3.95 1000000 0 259.73/259.82 c 204 315 372.17 94.15 3.95 1000000 0 261.13/261.29 c 215 344 377.33 109.85 3.44 1000000 0 262.63/262.76 c 213 308 357.97 85.90 4.17 1000000 0 264.13/264.23 c 227 334 385.21 100.57 3.83 1000000 0 265.53/265.70 c 231 335 386.12 96.25 4.01 1000000 0 267.03/267.18 c 212 313 362.71 84.83 4.28 1000000 0 268.53/268.65 c 213 406 356.15 89.67 3.97 1000000 0 270.03/270.12 c 225 378 384.53 97.76 3.93 1000000 0 271.43/271.58 c 221 377 371.77 80.45 4.62 1000000 0 272.93/273.05 c 232 350 381.77 90.41 4.22 1000000 0 274.43/274.50 c 244 334 404.40 77.25 5.23 1000000 0 275.82/275.97 c 222 373 387.98 101.77 3.81 1000000 0 277.32/277.44 c 206 327 373.29 100.93 3.70 1000000 0 278.82/278.91 c 227 318 376.71 98.72 3.82 1000000 0 280.22/280.39 c 213 321 367.77 105.48 3.49 1000000 0 281.72/281.86 c 244 379 384.21 75.62 5.08 1000000 0 283.22/283.32 c 238 293 378.26 90.28 4.19 1000000 0 284.62/284.79 c 226 314 382.22 89.87 4.25 1000000 0 286.12/286.25 c 234 396 381.46 89.11 4.28 1000000 0 287.62/287.72 c 244 376 392.36 88.47 4.43 1000000 0 289.02/289.18 c 215 291 385.92 87.70 4.40 1000000 0 290.52/290.65 c 218 384 381.09 84.89 4.49 1000000 0 292.02/292.13 c 219 351 372.28 89.93 4.14 1000000 0 293.53/293.60 c 223 354 358.25 83.78 4.28 1000000 0 294.92/295.08 c 225 345 375.98 96.77 3.89 1000000 0 296.42/296.55 c 211 310 372.31 95.87 3.88 1000000 0 297.93/298.02 c 226 289 376.79 90.78 4.15 1000000 0 299.32/299.49 c 215 338 386.98 108.90 3.55 1000000 0 300.82/300.95 c 216 330 373.67 96.11 3.89 1000000 0 302.33/302.44 c 224 287 367.61 91.16 4.03 1000000 0 303.82/303.91 c 241 406 385.47 97.89 3.94 1000000 0 305.22/305.38 c 242 341 381.64 79.83 4.78 1000000 0 306.73/306.84 c 218 322 384.27 87.99 4.37 1000000 0 308.22/308.31 c 240 331 387.48 92.75 4.18 1000000 0 309.62/309.76 c 241 391 399.47 95.15 4.20 1000000 0 311.12/311.23 c 230 337 381.91 89.46 4.27 1000000 0 312.62/312.70 c 223 309 382.78 104.15 3.68 1000000 0 314.02/314.19 c 218 332 374.95 96.63 3.88 1000000 0 315.52/315.66 c 216 418 373.38 88.94 4.20 1000000 0 317.02/317.12 c 228 376 392.85 91.91 4.27 1000000 0 318.41/318.60 c 225 382 373.88 93.29 4.01 1000000 0 319.92/320.05 c 225 316 384.19 88.47 4.34 1000000 0 321.41/321.53 c 211 341 374.85 88.15 4.25 1000000 0 322.81/323.00 c 213 375 373.86 90.66 4.12 1000000 0 324.32/324.46 c 240 322 376.46 80.11 4.70 1000000 0 325.81/325.94 c 237 406 372.96 94.18 3.96 1000000 0 327.31/327.41 c 198 348 377.59 98.05 3.85 1000000 0 328.72/328.89 c 218 351 372.80 100.61 3.71 1000000 0 330.21/330.36 c 246 336 383.74 95.44 4.02 1000000 0 331.71/331.83 c 214 362 368.08 86.59 4.25 1000000 0 333.12/333.30 c 209 376 373.93 88.15 4.24 1000000 0 334.61/334.76 c 226 416 381.56 92.16 4.14 1000000 0 336.11/336.22 c 218 267 374.18 96.06 3.90 1000000 0 337.52/337.69 c 219 365 378.66 95.66 3.96 1000000 0 339.01/339.17 c 235 355 386.45 84.87 4.55 1000000 0 340.51/340.63 c 220 369 375.81 100.39 3.74 1000000 0 341.92/342.10 c 238 345 380.99 78.52 4.85 1000000 0 343.41/343.58 c 205 353 368.18 100.05 3.68 1000000 0 344.91/345.05 c 233 312 380.73 91.71 4.15 1000000 0 346.42/346.52 c 230 344 373.92 91.16 4.10 1000000 0 347.81/347.98 c 204 308 378.06 101.41 3.73 1000000 0 349.31/349.44 c 225 433 369.82 90.18 4.10 1000000 0 350.81/350.92 c 219 377 372.50 95.49 3.90 1000000 0 352.21/352.39 c 246 341 384.69 89.58 4.29 1000000 0 353.71/353.85 c 239 342 382.99 99.48 3.85 1000000 0 355.21/355.32 c 231 425 395.74 108.14 3.66 1000000 0 356.61/356.78 c 211 337 376.18 90.93 4.14 1000000 0 358.11/358.25 c 212 319 360.99 86.23 4.19 1000000 0 359.61/359.71 c 242 336 377.98 84.71 4.46 1000000 0 361.00/361.18 c 216 387 379.76 94.26 4.03 1000000 0 362.50/362.63 c 234 336 404.37 99.22 4.08 1000000 0 363.91/364.09 c 211 367 390.27 99.35 3.93 1000000 0 365.40/365.56 c 242 307 376.16 90.44 4.16 1000000 0 366.90/367.02 c 209 395 364.82 79.07 4.61 1000000 0 368.31/368.48 c 237 412 389.51 87.22 4.47 1000000 0 369.80/369.96 c 215 340 376.86 87.85 4.29 1000000 0 371.30/371.43 c 232 346 386.32 98.79 3.91 1000000 0 372.71/372.90 c 243 349 388.53 88.20 4.41 1000000 0 374.20/374.36 c 216 446 385.67 83.98 4.59 1000000 0 375.70/375.82 c 214 354 376.45 95.80 3.93 1000000 0 377.11/377.29 c 229 297 374.67 88.50 4.23 1000000 0 378.60/378.77 c 231 324 378.59 93.57 4.05 1000000 0 380.10/380.25 c 219 314 369.31 96.79 3.82 1000000 0 381.61/381.73 c 191 375 367.21 96.35 3.81 1000000 0 383.00/383.19 c 210 348 391.41 94.83 4.13 1000000 0 384.50/384.66 c 213 271 371.28 98.28 3.78 1000000 0 386.01/386.13 c 238 371 374.98 85.64 4.38 1000000 0 387.50/387.60 c 210 346 375.44 97.80 3.84 1000000 0 388.90/389.07 c 215 360 369.00 85.74 4.30 1000000 0 390.41/390.55 c 228 335 378.18 95.59 3.96 1000000 0 391.90/392.02 c 244 308 389.31 91.32 4.26 1000000 0 393.30/393.49 c 185 333 369.34 103.51 3.57 1000000 0 394.80/394.96 c 231 342 373.34 90.55 4.12 1000000 0 396.30/396.42 c 220 335 375.26 85.20 4.40 1000000 0 397.70/397.88 c 248 495 395.05 79.24 4.99 1000000 0 399.20/399.34 c 226 416 390.31 87.10 4.48 1000000 0 400.70/400.81 c 225 410 374.64 90.86 4.12 1000000 0 402.10/402.29 c 195 340 378.53 89.91 4.21 1000000 0 403.60/403.77 c 208 357 370.52 103.59 3.58 1000000 0 405.09/405.24 c 228 333 376.43 102.64 3.67 1000000 0 406.59/406.70 c 202 327 386.50 89.75 4.31 1000000 0 408.00/408.18 c 230 347 375.51 91.38 4.11 1000000 0 409.49/409.64 c 238 326 389.53 89.87 4.33 1000000 0 410.99/411.12 c 216 377 370.39 82.32 4.50 1000000 0 412.49/412.60 c 196 338 376.34 89.55 4.20 1000000 0 413.89/414.07 c 217 300 377.53 96.38 3.92 1000000 0 415.39/415.53 c 209 377 392.48 89.77 4.37 1000000 0 416.89/417.00 c 207 401 375.19 104.42 3.59 1000000 0 418.29/418.48 c 247 375 375.81 85.35 4.40 1000000 0 419.79/419.96 c 240 379 371.45 79.45 4.68 1000000 0 421.29/421.43 c 223 359 374.72 96.74 3.87 1000000 0 422.69/422.88 c 227 347 384.55 102.74 3.74 1000000 0 424.19/424.36 c 199 279 378.03 104.06 3.63 1000000 0 425.69/425.82 c 232 308 379.54 92.71 4.09 1000000 0 427.09/427.28 c 230 351 385.23 93.99 4.10 1000000 0 428.59/428.76 c 231 347 376.40 102.74 3.66 1000000 0 430.09/430.23 c 220 348 375.20 83.88 4.47 1000000 0 431.59/431.71 c 213 291 369.02 97.22 3.80 1000000 0 432.99/433.18 c 231 314 393.94 97.20 4.05 1000000 0 434.49/434.66 c 202 302 372.51 103.26 3.61 1000000 0 435.99/436.13 c 206 368 380.18 89.51 4.25 1000000 0 437.49/437.61 c 225 306 379.20 92.87 4.08 1000000 0 438.89/439.07 c 208 331 379.59 98.16 3.87 1000000 0 440.39/440.53 c 219 348 382.14 90.05 4.24 1000000 0 441.89/442.00 c 210 404 376.53 85.92 4.38 1000000 0 443.29/443.47 c 223 351 375.76 102.31 3.67 1000000 0 444.79/444.94 c 231 299 376.36 97.93 3.84 1000000 0 446.28/446.41 c 215 404 377.75 96.76 3.90 1000000 0 447.68/447.89 c 220 364 377.68 89.28 4.23 1000000 0 449.18/449.35 c 235 299 392.38 95.10 4.13 1000000 0 450.68/450.81 c 249 432 395.07 90.93 4.34 1000000 0 452.08/452.27 c 231 365 376.86 96.47 3.91 1000000 0 453.58/453.74 c 231 400 384.89 94.01 4.09 1000000 0 455.08/455.20 c 244 359 380.95 82.44 4.62 1000000 0 456.48/456.66 c 236 374 379.24 81.65 4.64 1000000 0 457.98/458.14 c 227 310 370.07 99.97 3.70 1000000 0 459.48/459.61 c 220 326 367.07 90.87 4.04 1000000 0 460.88/461.08 c 225 375 374.53 102.05 3.67 1000000 0 462.38/462.55 c 236 285 388.12 98.21 3.95 1000000 0 463.88/464.01 c 245 333 385.45 87.18 4.42 1000000 0 465.28/465.48 c 218 333 382.05 94.13 4.06 1000000 0 466.78/466.94 c 218 295 374.43 104.21 3.59 1000000 0 468.28/468.41 c 234 299 380.59 99.56 3.82 1000000 0 469.68/469.87 c 206 360 386.63 92.67 4.17 1000000 0 471.18/471.35 c 206 328 373.71 95.82 3.90 1000000 0 472.68/472.81 c 209 369 381.97 94.65 4.04 1000000 0 474.08/474.27 c 186 267 381.62 79.85 4.78 1000000 0 475.58/475.73 c 220 329 384.64 97.29 3.95 1000000 0 476.98/477.19 c 220 279 369.05 90.30 4.09 1000000 0 478.48/478.67 c 225 386 370.86 90.50 4.10 1000000 0 479.98/480.14 c 225 390 368.69 95.26 3.87 1000000 0 481.48/481.61 c 228 330 374.66 108.40 3.46 1000000 0 482.88/483.06 c 221 359 385.79 98.87 3.90 1000000 0 484.38/484.54 c 222 329 362.34 84.14 4.31 1000000 0 485.88/486.00 c 216 337 393.85 104.33 3.78 1000000 0 487.28/487.46 c 219 283 391.97 97.53 4.02 1000000 0 488.78/488.94 c 217 375 363.27 97.52 3.73 1000000 0 490.27/490.40 c 213 369 396.16 87.70 4.52 1000000 0 491.67/491.86 c 216 374 383.88 87.55 4.38 1000000 0 493.17/493.34 c 222 331 365.95 96.04 3.81 1000000 0 494.67/494.82 c 207 360 375.01 92.78 4.04 1000000 0 496.07/496.29 c 237 333 388.03 99.28 3.91 1000000 0 497.57/497.76 c 220 338 378.25 106.09 3.57 1000000 0 499.07/499.21 c 237 276 389.88 91.62 4.26 1000000 0 500.57/500.70 c 214 318 372.18 94.04 3.96 1000000 0 501.97/502.16 c 232 380 394.15 93.10 4.23 1000000 0 503.47/503.63 c 222 377 389.48 102.15 3.81 1000000 0 504.87/505.09 c 218 324 377.35 88.86 4.25 1000000 0 506.37/506.57 c 222 322 368.90 87.57 4.21 1000000 0 507.87/508.04 c 211 355 373.29 93.98 3.97 1000000 0 509.37/509.51 c 215 373 385.33 99.73 3.86 1000000 0 510.77/510.99 c 218 338 368.81 102.29 3.61 1000000 0 512.27/512.46 c 202 353 377.43 99.49 3.79 1000000 0 513.77/513.93 c 213 333 369.37 85.48 4.32 1000000 0 515.17/515.39 c 202 442 387.32 104.42 3.71 1000000 0 516.67/516.85 c 216 370 372.40 92.91 4.01 1000000 0 518.17/518.33 c 222 265 362.37 89.62 4.04 1000000 0 519.67/519.80 c 229 333 380.02 95.11 4.00 1000000 0 521.07/521.27 c 230 330 376.72 100.42 3.75 1000000 0 522.57/522.73 c 230 393 379.72 80.95 4.69 1000000 0 524.07/524.20 c 191 274 369.00 86.09 4.29 1000000 0 525.47/525.67 c 227 381 379.72 97.11 3.91 1000000 0 526.97/527.14 c 245 285 387.49 84.72 4.57 1000000 0 528.47/528.61 c 227 407 378.03 100.11 3.78 1000000 0 529.87/530.09 c 224 296 380.76 99.08 3.84 1000000 0 531.37/531.55 c 244 382 379.83 83.79 4.53 1000000 0 532.86/533.02 c 226 355 372.28 107.38 3.47 1000000 0 534.27/534.49 c 213 284 370.80 91.15 4.07 1000000 0 535.77/535.95 c 219 343 384.44 93.07 4.13 1000000 0 537.27/537.42 c 210 355 372.45 92.71 4.02 1000000 0 538.67/538.88 c 211 246 372.84 97.85 3.81 1000000 0 540.17/540.34 c 232 352 376.87 85.84 4.39 1000000 0 541.67/541.81 c 219 417 379.17 93.08 4.07 1000000 0 543.07/543.27 c 227 293 380.81 102.42 3.72 1000000 0 544.57/544.74 c 214 330 373.72 88.19 4.24 1000000 0 546.07/546.20 c 225 440 387.72 94.69 4.09 1000000 0 547.47/547.66 c 221 341 381.53 92.49 4.13 1000000 0 548.97/549.13 c 208 317 375.77 95.97 3.92 1000000 0 550.47/550.60 c 215 315 373.43 102.16 3.66 1000000 0 551.87/552.07 c 216 373 384.06 96.16 3.99 1000000 0 553.37/553.54 c 191 312 383.93 98.22 3.91 1000000 0 554.87/555.01 c 223 308 373.62 89.45 4.18 1000000 0 556.27/556.47 c 212 403 378.47 80.90 4.68 1000000 0 557.77/557.93 c 211 346 403.82 103.77 3.89 1000000 0 559.17/559.39 c 232 306 394.90 94.91 4.16 1000000 0 560.67/560.85 c 213 357 382.02 92.99 4.11 1000000 0 562.17/562.31 c 239 329 382.51 94.38 4.05 1000000 0 563.57/563.78 c 223 342 377.01 91.39 4.13 1000000 0 565.07/565.26 c 218 366 378.01 101.58 3.72 1000000 0 566.57/566.72 c 224 350 377.92 90.66 4.17 1000000 0 567.97/568.19 c 233 366 380.73 100.12 3.80 1000000 0 569.47/569.64 c 242 329 380.82 82.03 4.64 1000000 0 570.97/571.11 c 226 325 380.08 86.87 4.38 1000000 0 572.37/572.58 c 220 324 379.23 110.08 3.45 1000000 0 573.87/574.04 c 241 305 384.98 88.76 4.34 1000000 0 575.36/575.52 c 217 337 373.64 96.67 3.87 1000000 0 576.86/577.00 c 234 356 381.78 98.26 3.89 1000000 0 578.26/578.47 c 218 395 380.88 90.30 4.22 1000000 0 579.76/579.92 c 220 338 378.30 81.63 4.63 1000000 0 581.16/581.39 c 209 322 368.23 96.30 3.82 1000000 0 582.66/582.86 c 223 441 391.91 81.34 4.82 1000000 0 584.16/584.34 c 227 346 376.25 96.16 3.91 1000000 0 585.66/585.82 c 221 357 370.33 91.81 4.03 1000000 0 587.17/587.30 c 201 370 361.82 93.06 3.89 1000000 0 588.56/588.77 c 196 300 375.38 84.63 4.44 1000000 0 590.06/590.25 c 207 340 377.63 101.12 3.73 1000000 0 591.57/591.73 c 206 376 360.78 82.59 4.37 1000000 0 592.96/593.18 c 221 345 385.01 95.84 4.02 1000000 0 594.46/594.65 c 248 277 376.04 76.95 4.89 1000000 0 595.97/596.11 c 221 333 388.21 98.92 3.92 1000000 0 597.36/597.58 c 228 403 377.54 95.03 3.97 1000000 0 598.86/599.05 c 232 351 394.58 105.72 3.73 1000000 0 600.36/600.53 c 218 379 378.42 91.96 4.12 1000000 0 601.76/602.00 c 221 371 370.91 92.83 4.00 1000000 0 603.26/603.46 c 245 346 395.05 86.46 4.57 1000000 0 604.77/604.93 c 234 380 383.41 93.99 4.08 1000000 0 606.26/606.40 c 225 326 371.90 91.00 4.09 1000000 0 607.66/607.87 c 207 309 376.87 105.79 3.56 1000000 0 609.16/609.35 c 223 290 368.78 88.98 4.14 1000000 0 610.66/610.83 c 216 376 373.02 96.99 3.85 1000000 0 612.06/612.29 c 227 404 387.39 85.07 4.55 1000000 0 613.56/613.74 c 245 406 383.17 90.19 4.25 1000000 0 615.05/615.22 c 198 334 362.88 98.19 3.70 1000000 0 616.55/616.70 c 225 358 367.96 86.69 4.24 1000000 0 617.96/618.17 c 219 385 371.17 84.75 4.38 1000000 0 619.45/619.64 c 210 339 384.14 89.79 4.28 1000000 0 620.95/621.12 c 213 316 373.53 96.57 3.87 1000000 0 622.36/622.58 c 230 305 395.18 99.85 3.96 1000000 0 623.85/624.05 c 195 346 374.85 107.67 3.48 1000000 0 625.35/625.51 c 229 331 380.36 99.96 3.81 1000000 0 626.76/626.97 c 212 340 386.74 88.56 4.37 1000000 0 628.25/628.43 c 229 317 390.33 95.18 4.10 1000000 0 629.75/629.90 c 223 328 374.95 97.61 3.84 1000000 0 631.16/631.38 c 240 383 387.14 99.40 3.89 1000000 0 632.65/632.84 c 220 287 375.92 83.95 4.48 1000000 0 634.15/634.31 c 207 354 380.09 102.25 3.72 1000000 0 635.56/635.77 c 225 373 390.50 98.64 3.96 1000000 0 637.05/637.24 c 216 330 380.17 103.63 3.67 1000000 0 638.55/638.72 c 193 317 375.03 92.20 4.07 1000000 0 639.96/640.18 c 181 310 372.95 94.09 3.96 1000000 0 641.45/641.64 c 217 317 384.82 102.94 3.74 1000000 0 642.95/643.12 c 217 348 373.92 88.12 4.24 1000000 0 644.36/644.58 c 227 375 370.96 82.58 4.49 1000000 0 645.85/646.04 c 247 295 395.51 91.32 4.33 1000000 0 647.35/647.51 c 210 404 391.59 88.19 4.44 1000000 0 648.75/648.98 c 218 384 370.06 95.06 3.89 1000000 0 650.25/650.45 c 244 360 390.96 98.04 3.99 1000000 0 651.74/651.92 c 240 383 378.93 96.46 3.93 1000000 0 653.15/653.38 c 200 348 375.62 103.88 3.62 1000000 0 654.64/654.85 c 209 382 385.51 95.41 4.04 1000000 0 656.14/656.34 c 224 354 375.20 101.00 3.71 1000000 0 657.65/657.82 c 181 288 367.70 101.51 3.62 1000000 0 659.04/659.28 c 225 278 371.35 90.77 4.09 1000000 0 660.54/660.75 c 227 383 389.93 100.60 3.88 1000000 0 662.05/662.23 c 210 434 372.16 93.68 3.97 1000000 0 663.44/663.69 c 203 315 395.32 93.06 4.25 1000000 0 664.94/665.16 c 212 300 382.85 108.15 3.54 1000000 0 666.45/666.62 c 238 342 391.09 81.53 4.80 1000000 0 667.84/668.10 c 184 365 363.55 103.31 3.52 1000000 0 669.34/669.56 c 223 292 364.23 91.76 3.97 1000000 0 670.85/671.04 c 210 297 371.89 98.63 3.77 1000000 0 672.34/672.50 c 231 338 394.37 95.25 4.14 1000000 0 673.74/673.96 c 221 299 385.27 96.26 4.00 1000000 0 675.25/675.44 c 217 343 365.20 94.00 3.89 1000000 0 676.74/676.90 c 231 351 380.97 84.53 4.51 1000000 0 678.14/678.36 c 232 380 389.90 90.80 4.29 1000000 0 679.65/679.83 c 240 361 386.93 96.40 4.01 1000000 0 681.04/681.28 c 239 432 395.27 103.97 3.80 1000000 0 682.54/682.75 c 245 345 389.41 94.26 4.13 1000000 0 684.05/684.21 c 232 399 384.63 85.37 4.51 1000000 0 685.44/685.68 c 226 331 377.64 95.55 3.95 1000000 0 686.94/687.15 c 228 339 373.19 87.58 4.26 1000000 0 688.44/688.62 c 246 305 380.97 89.08 4.28 1000000 0 689.84/690.09 c 238 369 372.92 95.79 3.89 1000000 0 691.34/691.56 c 212 329 356.31 83.79 4.25 1000000 0 692.84/693.03 c 221 320 371.57 81.08 4.58 1000000 0 694.34/694.50 c 229 332 376.09 94.95 3.96 1000000 0 695.74/695.96 c 228 286 375.74 95.12 3.95 1000000 0 697.24/697.43 c 220 326 369.49 93.08 3.97 1000000 0 698.63/698.89 c 235 362 381.00 92.76 4.11 1000000 0 700.13/700.35 c 232 345 393.48 96.42 4.08 1000000 0 701.64/701.81 c 186 368 388.10 98.99 3.92 1000000 0 703.03/703.29 c 219 313 370.97 82.02 4.52 1000000 0 704.53/704.75 c 209 343 388.07 95.19 4.08 1000000 0 706.04/706.22 c 219 319 366.47 83.03 4.41 1000000 0 707.43/707.69 c 228 385 375.82 93.68 4.01 1000000 0 708.93/709.16 c 220 301 375.75 104.95 3.58 1000000 0 710.44/710.63 c 235 328 389.82 96.27 4.05 1000000 0 711.83/712.08 c 233 329 388.96 93.91 4.14 1000000 0 713.33/713.54 c 236 329 381.03 81.60 4.67 1000000 0 714.84/715.01 c 214 330 363.91 106.61 3.41 1000000 0 716.23/716.49 c 223 404 390.22 94.19 4.14 1000000 0 717.73/717.96 c 218 298 368.53 89.72 4.11 1000000 0 719.24/719.42 c 220 322 385.52 101.23 3.81 1000000 0 720.63/720.89 c 226 319 372.41 100.65 3.70 1000000 0 722.13/722.35 c 237 393 389.13 83.70 4.65 1000000 0 723.64/723.81 c 212 328 369.90 86.98 4.25 1000000 0 725.03/725.29 c 226 360 372.67 93.16 4.00 1000000 0 726.53/726.77 c 225 377 362.88 89.36 4.06 1000000 0 728.04/728.25 c 234 377 372.00 93.33 3.99 1000000 0 729.53/729.72 c 208 382 365.80 94.52 3.87 1000000 0 730.93/731.19 c 235 417 395.82 88.51 4.47 1000000 0 732.43/732.66 c 227 393 380.37 97.43 3.90 1000000 0 733.93/734.11 c 247 352 386.89 88.26 4.38 1000000 0 735.33/735.59 c 248 357 387.94 95.84 4.05 1000000 0 736.83/737.07 c 215 342 359.46 94.19 3.82 1000000 0 738.33/738.55 c 216 352 374.78 96.10 3.90 1000000 0 739.83/740.02 c 226 376 376.86 87.77 4.29 1000000 0 741.23/741.48 c 222 371 384.58 97.01 3.96 1000000 0 742.73/742.95 c 244 297 381.88 93.00 4.11 1000000 0 744.22/744.43 c 224 337 377.27 94.33 4.00 1000000 0 745.63/745.89 c 250 279 387.30 94.48 4.10 1000000 0 747.12/747.36 c 243 344 391.49 102.00 3.84 1000000 0 748.62/748.83 c 234 376 369.40 80.93 4.56 1000000 0 750.12/750.30 c 218 303 382.26 96.25 3.97 1000000 0 751.52/751.76 c 205 315 385.65 105.27 3.66 1000000 0 753.02/753.23 c 240 372 395.83 107.68 3.68 1000000 0 754.52/754.70 c 214 320 375.08 93.76 4.00 1000000 0 755.92/756.16 c 241 365 380.13 75.42 5.04 1000000 0 757.42/757.62 c 220 313 388.69 91.96 4.23 1000000 0 758.83/759.08 c 238 322 390.50 102.52 3.81 1000000 0 760.32/760.54 c 214 287 374.25 99.67 3.75 1000000 0 761.82/762.01 c 239 413 383.47 82.76 4.63 1000000 0 763.23/763.49 c 225 379 383.17 85.75 4.47 1000000 0 764.72/764.96 c 217 354 375.90 97.77 3.84 1000000 0 766.22/766.43 c 210 321 380.14 93.89 4.05 1000000 0 767.72/767.90 c 203 435 395.37 93.48 4.23 1000000 0 769.12/769.36 c 244 354 390.41 94.47 4.13 1000000 0 770.62/770.83 c 223 281 360.05 95.34 3.78 1000000 0 772.12/772.30 c 238 340 378.23 97.59 3.88 1000000 0 773.52/773.76 c 240 335 389.36 98.00 3.97 1000000 0 775.02/775.21 c 227 281 386.90 88.87 4.35 1000000 0 776.42/776.68 c 232 398 373.25 86.27 4.33 1000000 0 777.92/778.14 c 216 399 388.19 103.19 3.76 1000000 0 779.42/779.61 c 233 339 378.72 91.28 4.15 1000000 0 780.82/781.07 c 226 366 373.98 97.39 3.84 1000000 0 782.32/782.53 c 235 355 380.00 100.29 3.79 1000000 0 783.71/783.99 c 226 304 385.88 90.63 4.26 1000000 0 785.22/785.47 c 232 339 356.64 90.13 3.96 1000000 0 786.71/786.95 c 227 302 380.13 106.21 3.58 1000000 0 788.21/788.42 c 217 389 365.63 86.73 4.22 1000000 0 789.62/789.88 c 220 358 384.07 90.69 4.23 1000000 0 791.11/791.33 c 250 393 393.63 93.89 4.19 1000000 0 792.51/792.79 c 209 416 378.52 86.79 4.36 1000000 0 794.02/794.26 c 225 367 365.55 102.36 3.57 1000000 0 795.51/795.73 c 187 340 371.88 97.51 3.81 1000000 0 797.01/797.20 c 212 415 376.17 86.14 4.37 1000000 0 798.42/798.67 c 216 321 378.74 97.01 3.90 1000000 0 799.91/800.13 c 241 325 386.93 83.38 4.64 1000000 0 801.41/801.60 c 241 285 378.17 82.12 4.61 1000000 0 802.82/803.07 c 229 323 389.59 96.10 4.05 1000000 0 804.31/804.54 c 236 360 386.69 94.86 4.08 1000000 0 805.81/806.01 c 215 335 373.93 82.73 4.52 1000000 0 807.22/807.48 c 231 373 370.85 96.98 3.82 1000000 0 808.71/808.95 c 213 402 374.85 88.64 4.23 1000000 0 810.21/810.42 c 229 350 380.34 94.04 4.04 1000000 0 811.62/811.89 c 227 380 377.52 95.22 3.96 1000000 0 813.11/813.35 c 231 368 380.16 105.07 3.62 1000000 0 814.61/814.82 c 245 360 384.56 95.22 4.04 1000000 0 816.01/816.28 c 217 341 386.64 88.11 4.39 1000000 0 817.51/817.76 c 227 321 390.91 115.28 3.39 1000000 0 819.01/819.24 c 239 394 381.44 95.32 4.00 1000000 0 820.51/820.71 c 214 321 368.20 96.83 3.80 1000000 0 821.91/822.19 c 212 350 370.13 82.89 4.47 1000000 0 823.41/823.67 c 231 379 375.09 100.36 3.74 1000000 0 824.91/825.14 c 226 328 378.46 92.73 4.08 1000000 0 826.41/826.62 c 223 363 365.17 105.31 3.47 1000000 0 827.81/828.07 c 243 327 397.00 99.07 4.01 1000000 0 829.30/829.54 c 232 347 396.44 96.39 4.11 1000000 0 830.80/831.01 c 237 368 383.35 83.36 4.60 1000000 0 832.20/832.47 c 231 326 382.38 100.49 3.81 1000000 0 833.70/833.95 c 223 369 377.05 89.96 4.19 1000000 0 835.20/835.41 c 231 308 381.89 93.56 4.08 1000000 0 836.60/836.88 c 208 373 384.91 98.45 3.91 1000000 0 838.10/838.35 c 236 275 388.43 80.68 4.81 1000000 0 839.60/839.81 c 240 384 394.07 99.73 3.95 1000000 0 841.00/841.26 c 238 309 396.01 96.33 4.11 1000000 0 842.50/842.73 c 221 346 371.60 89.15 4.17 1000000 0 844.00/844.20 c 230 412 366.96 88.88 4.13 1000000 0 845.40/845.67 c 194 384 366.99 92.91 3.95 1000000 0 846.90/847.13 c 239 367 389.27 101.85 3.82 1000000 0 848.40/848.61 c 238 380 383.98 96.09 4.00 1000000 0 849.80/850.09 c 233 351 376.99 82.51 4.57 1000000 0 851.30/851.56 c 210 355 381.46 104.41 3.65 1000000 0 852.80/853.03 c 231 392 365.86 75.89 4.82 1000000 0 854.30/854.50 c 218 300 376.18 78.16 4.81 1000000 0 855.70/855.97 c 232 327 368.68 88.65 4.16 1000000 0 857.20/857.45 c 247 345 377.53 92.36 4.09 1000000 0 858.70/858.91 c 235 276 387.75 97.37 3.98 1000000 0 860.10/860.37 c 209 342 384.20 104.86 3.66 1000000 0 861.60/861.84 c 239 394 384.62 92.12 4.17 1000000 0 863.10/863.30 c 218 336 388.83 101.67 3.82 1000000 0 864.50/864.78 c 220 426 370.10 100.65 3.68 1000000 0 866.00/866.25 c 215 359 377.39 86.18 4.38 1000000 0 867.50/867.71 c 265 344 392.41 84.97 4.62 1000000 0 868.90/869.17 c 223 303 392.79 99.27 3.96 1000000 0 870.40/870.64 c 228 388 372.91 90.40 4.13 1000000 0 871.89/872.10 c 231 369 383.24 85.93 4.46 1000000 0 873.29/873.56 c 227 353 380.35 94.18 4.04 1000000 0 874.79/875.04 c 214 276 382.59 104.10 3.68 1000000 0 876.29/876.51 c 226 359 379.98 92.35 4.11 1000000 0 877.69/877.98 c 216 314 378.56 100.98 3.75 1000000 0 879.19/879.46 c 241 320 369.43 89.32 4.14 1000000 0 880.69/880.93 c 207 342 374.09 104.36 3.58 1000000 0 882.19/882.40 c 236 305 382.73 89.91 4.26 1000000 0 883.59/883.87 c 233 365 371.59 97.31 3.82 1000000 0 885.09/885.34 c 232 339 378.40 92.81 4.08 1000000 0 886.59/886.81 c 208 303 372.89 96.35 3.87 1000000 0 887.99/888.28 c 246 344 380.24 92.66 4.10 1000000 0 889.49/889.74 c 220 371 379.83 92.71 4.10 1000000 0 890.99/891.22 c 221 373 374.47 93.91 3.99 1000000 0 892.39/892.68 c 213 240 391.50 101.05 3.87 1000000 0 893.89/894.14 c 248 328 402.73 85.84 4.69 1000000 0 895.39/895.62 c 225 271 375.16 98.97 3.79 1000000 0 896.89/897.10 c 226 322 383.80 93.04 4.13 1000000 0 898.29/898.57 c 209 369 367.24 93.67 3.92 1000000 0 899.79/900.06 c 222 417 377.25 110.73 3.41 1000000 0 901.29/901.52 c 232 390 388.02 104.36 3.72 1000000 0 902.69/902.99 c 201 334 365.05 101.17 3.61 1000000 0 904.19/904.47 c 228 391 373.63 88.26 4.23 1000000 0 905.69/905.95 c 227 341 381.00 99.45 3.83 1000000 0 907.19/907.43 c 209 293 363.20 99.61 3.65 1000000 0 908.69/908.90 c 225 358 371.66 96.81 3.84 1000000 0 910.09/910.36 c 226 326 384.66 98.40 3.91 1000000 0 911.59/911.81 c 239 358 403.49 89.67 4.50 1000000 0 912.99/913.28 c 219 361 372.00 91.93 4.05 1000000 0 914.48/914.76 c 207 328 376.02 89.96 4.18 1000000 0 915.99/916.23 c 238 319 390.73 95.60 4.09 1000000 0 917.38/917.69 c 208 293 380.62 90.80 4.19 1000000 0 918.88/919.16 c 224 396 377.35 85.49 4.41 1000000 0 920.39/920.63 c 239 278 374.88 90.89 4.12 1000000 0 921.88/922.11 c 203 337 357.07 86.90 4.11 1000000 0 923.28/923.57 c 235 383 371.91 99.30 3.75 1000000 0 924.79/925.03 c 236 344 383.06 96.09 3.99 1000000 0 926.28/926.51 c 190 298 362.49 92.71 3.91 1000000 0 927.68/927.98 c 195 382 378.77 94.24 4.02 1000000 0 929.19/929.45 c 221 355 377.01 88.71 4.25 1000000 0 930.68/930.91 c 233 367 386.31 86.03 4.49 1000000 0 932.08/932.37 c 237 349 377.49 73.36 5.15 1000000 0 933.59/933.85 c 212 303 388.12 86.45 4.49 1000000 0 935.08/935.32 c 213 414 376.17 96.16 3.91 1000000 0 936.48/936.79 c 217 364 378.44 90.21 4.20 1000000 0 937.99/938.25 c 225 328 384.90 101.43 3.79 1000000 0 939.48/939.73 c 224 352 383.97 95.58 4.02 1000000 0 940.88/941.20 c 233 311 377.41 83.19 4.54 1000000 0 942.39/942.67 c 213 326 369.45 100.77 3.67 1000000 0 943.88/944.14 c 214 381 363.42 87.22 4.17 1000000 0 945.38/945.60 c 236 347 374.34 89.49 4.18 1000000 0 946.79/947.07 c 229 326 378.35 89.10 4.25 1000000 0 948.28/948.54 c 211 302 386.12 96.04 4.02 1000000 0 949.78/950.01 c 222 351 378.85 87.49 4.33 1000000 0 951.18/951.48 c 225 334 390.82 100.68 3.88 1000000 0 952.68/952.95 c 240 402 398.35 98.43 4.05 1000000 0 954.18/954.43 c 223 291 367.88 95.17 3.87 1000000 0 955.58/955.89 c 233 397 392.85 91.11 4.31 1000000 0 957.07/957.35 c 210 360 375.66 94.14 3.99 1000000 0 958.57/958.82 c 214 296 352.73 85.22 4.14 1000000 0 960.08/960.30 c 210 389 377.07 91.87 4.10 1000000 0 961.47/961.77 c 204 405 371.57 89.52 4.15 1000000 0 962.97/963.24 c 235 396 377.91 87.80 4.30 1000000 0 964.38/964.70 c 218 344 387.04 98.72 3.92 1000000 0 965.87/966.16 c 217 336 392.79 96.22 4.08 1000000 0 967.37/967.64 c 234 317 379.74 91.93 4.13 1000000 0 968.88/969.10 c 206 334 372.90 103.40 3.61 1000000 0 970.27/970.58 c 233 364 377.26 97.59 3.87 1000000 0 971.77/972.05 c 196 350 373.40 98.08 3.81 1000000 0 973.28/973.51 c 200 387 374.99 87.62 4.28 1000000 0 974.67/974.98 c 212 424 367.85 90.60 4.06 1000000 0 976.17/976.46 c 216 333 371.90 94.87 3.92 1000000 0 977.68/977.93 c 213 353 375.31 90.46 4.15 1000000 0 979.17/979.40 c 227 349 380.99 95.04 4.01 1000000 0 980.57/980.87 c 237 398 379.11 96.39 3.93 1000000 0 982.08/982.34 c 236 376 384.35 94.07 4.09 1000000 0 983.57/983.80 c 202 325 369.89 89.75 4.12 1000000 0 984.97/985.27 c 224 342 387.30 97.80 3.96 1000000 0 986.48/986.75 c 182 364 375.81 90.88 4.14 1000000 0 987.97/988.22 c 239 394 381.05 84.54 4.51 1000000 0 989.37/989.69 c 232 349 375.49 90.12 4.17 1000000 0 990.87/991.16 c 223 413 378.19 82.58 4.58 1000000 0 992.37/992.62 c 221 371 390.01 97.44 4.00 1000000 0 993.77/994.09 c 228 433 390.09 97.99 3.98 1000000 0 995.27/995.56 c 217 390 384.75 89.85 4.28 1000000 0 996.77/997.03 c 197 334 361.27 88.26 4.09 1000000 0 998.17/998.49 c 235 352 386.71 86.86 4.45 1000000 0 999.67/999.96 c 231 435 390.93 99.17 3.94 1000000 0 1001.16/1001.42 c 200 299 382.26 90.05 4.25 1000000 0 1002.56/1002.89 c 217 242 379.36 111.61 3.40 1000000 0 1004.07/1004.35 c 224 382 384.13 101.59 3.78 1000000 0 1005.56/1005.84 c 224 347 366.04 100.17 3.65 1000000 0 1007.06/1007.30 c 242 351 395.15 97.45 4.05 1000000 0 1008.47/1008.77 c 224 333 374.57 86.62 4.32 1000000 0 1009.96/1010.25 c 218 357 361.97 85.87 4.22 1000000 0 1011.46/1011.71 c 245 401 374.40 94.53 3.96 1000000 0 1012.87/1013.19 c 233 328 378.49 84.82 4.46 1000000 0 1014.36/1014.66 c 229 367 373.05 101.13 3.69 1000000 0 1015.86/1016.13 c 227 410 380.03 92.33 4.12 1000000 0 1017.27/1017.59 c 252 339 392.91 94.81 4.14 1000000 0 1018.76/1019.06 c 238 349 374.47 91.06 4.11 1000000 0 1020.26/1020.53 c 233 392 390.75 96.82 4.04 1000000 0 1021.76/1022.00 c 227 380 385.45 87.09 4.43 1000000 0 1023.16/1023.47 c 228 317 373.80 89.68 4.17 1000000 0 1024.66/1024.94 c 209 371 367.67 94.61 3.89 1000000 0 1026.16/1026.41 c 241 367 383.84 99.69 3.85 1000000 0 1027.56/1027.86 c 255 353 389.52 82.29 4.73 1000000 0 1029.06/1029.32 c 223 328 394.90 89.10 4.43 1000000 0 1030.47/1030.78 c 219 314 384.04 95.28 4.03 1000000 0 1031.96/1032.24 c 245 355 389.36 87.21 4.46 1000000 0 1033.46/1033.70 c 226 355 384.61 93.54 4.11 1000000 0 1034.86/1035.19 c 231 347 372.48 87.51 4.26 1000000 0 1036.36/1036.65 c 237 379 390.18 91.40 4.27 1000000 0 1037.86/1038.11 c 229 333 377.46 90.32 4.18 1000000 0 1039.26/1039.58 c 209 339 373.18 95.10 3.92 1000000 0 1040.76/1041.05 c 212 411 383.14 96.71 3.96 1000000 0 1042.26/1042.52 c 229 339 389.93 87.81 4.44 1000000 0 1043.66/1043.98 c 192 310 388.33 105.21 3.69 1000000 0 1045.15/1045.44 c 234 354 380.13 94.59 4.02 1000000 0 1046.65/1046.91 c 213 339 379.45 99.44 3.82 1000000 0 1048.06/1048.38 c 223 363 380.27 100.29 3.79 1000000 0 1049.55/1049.84 c 197 293 385.63 98.97 3.90 1000000 0 1051.05/1051.31 c 239 409 389.90 111.17 3.51 1000000 0 1052.46/1052.78 c 221 293 369.89 92.34 4.01 1000000 0 1053.95/1054.24 c 213 396 383.96 93.09 4.12 1000000 0 1055.45/1055.72 c 188 322 370.77 99.85 3.71 1000000 0 1056.86/1057.18 c 244 364 381.89 88.38 4.32 1000000 0 1058.35/1058.66 c 220 355 364.73 91.97 3.97 1000000 0 1059.85/1060.13 c 215 372 376.81 96.80 3.89 1000000 0 1061.35/1061.61 c 223 341 370.15 86.96 4.26 1000000 0 1062.75/1063.08 c 222 336 387.87 99.52 3.90 1000000 0 1064.25/1064.54 c 224 342 391.64 86.37 4.53 1000000 0 1065.75/1066.01 c 242 314 383.13 103.20 3.71 1000000 0 1067.15/1067.46 c 234 376 395.49 88.81 4.45 1000000 0 1068.65/1068.93 c 206 389 375.00 91.69 4.09 1000000 0 1070.06/1070.38 c 206 353 377.45 96.81 3.90 1000000 0 1071.55/1071.85 c 229 291 377.84 79.85 4.73 1000000 0 1073.05/1073.30 c 229 402 388.73 97.17 4.00 1000000 0 1074.46/1074.77 c 257 374 385.43 99.22 3.88 1000000 0 1075.95/1076.24 c 210 354 354.96 87.84 4.04 1000000 0 1077.45/1077.72 c 219 327 369.24 95.31 3.87 1000000 0 1078.85/1079.19 c 239 382 372.11 90.04 4.13 1000000 0 1080.35/1080.66 c 222 385 382.66 96.94 3.95 1000000 0 1081.85/1082.13 c 240 371 397.16 87.21 4.55 1000000 0 1083.25/1083.59 c 211 302 371.06 99.79 3.72 1000000 0 1084.75/1085.07 c 204 324 384.33 101.25 3.80 1000000 0 1086.24/1086.53 c 255 346 389.65 80.04 4.87 1000000 0 1087.65/1087.99 c 241 333 384.52 87.67 4.39 1000000 0 1089.14/1089.47 c 230 279 382.19 97.49 3.92 1000000 0 1090.64/1090.94 c 215 340 382.34 82.88 4.61 1000000 0 1092.14/1092.42 c 221 330 384.62 101.06 3.81 1000000 0 1093.54/1093.89 c 211 263 369.49 91.74 4.03 1000000 0 1095.04/1095.36 c 216 413 383.88 100.24 3.83 1000000 0 1096.54/1096.82 c 240 322 386.21 89.81 4.30 1000000 0 1097.94/1098.30 c 241 428 383.11 92.74 4.13 1000000 0 1099.44/1099.76 c 227 382 379.12 94.16 4.03 1000000 0 1100.94/1101.24 c 220 367 386.79 90.23 4.29 1000000 0 1102.44/1102.70 c 206 344 366.95 102.63 3.58 1000000 0 1103.84/1104.17 c 238 313 383.26 103.97 3.69 1000000 0 1105.34/1105.64 c 235 339 377.18 96.44 3.91 1000000 0 1106.84/1107.11 c 231 393 382.88 82.79 4.62 1000000 0 1108.24/1108.59 c 220 315 380.70 98.34 3.87 1000000 0 1109.74/1110.05 c 239 298 394.13 90.95 4.33 1000000 0 1111.24/1111.52 c 233 382 380.18 84.47 4.50 1000000 0 1112.74/1113.00 c 202 405 384.83 100.24 3.84 1000000 0 1114.14/1114.47 c 208 362 373.82 94.63 3.95 1000000 0 1115.64/1115.95 c 218 321 360.47 95.17 3.79 1000000 0 1117.14/1117.43 c 226 335 365.93 93.43 3.92 1000000 0 1118.64/1118.90 c 206 368 376.10 99.50 3.78 1000000 0 1120.04/1120.36 c 239 337 378.90 85.15 4.45 1000000 0 1121.54/1121.83 c 215 402 379.52 90.34 4.20 1000000 0 1123.04/1123.30 c 224 340 372.18 96.00 3.88 1000000 0 1124.44/1124.77 c 213 437 382.24 84.25 4.54 1000000 0 1125.94/1126.25 c 212 347 364.50 93.39 3.90 1000000 0 1127.44/1127.72 c 239 351 376.88 92.09 4.09 1000000 0 1128.84/1129.18 c 249 315 393.86 84.46 4.66 1000000 0 1130.34/1130.65 c 244 368 391.57 92.49 4.23 1000000 0 1131.83/1132.12 c 210 347 384.74 100.26 3.84 1000000 0 1133.23/1133.58 c 201 284 378.48 95.19 3.98 1000000 0 1134.73/1135.06 c 230 374 376.68 95.50 3.94 1000000 0 1136.23/1136.52 c 229 354 381.16 95.39 4.00 1000000 0 1137.63/1137.99 c 228 313 369.47 83.16 4.44 1000000 0 1139.13/1139.46 c 206 374 370.57 91.13 4.07 1000000 0 1140.63/1140.93 c 219 242 382.81 100.59 3.81 1000000 0 1142.13/1142.40 c 229 291 378.50 97.60 3.88 1000000 0 1143.53/1143.87 c 230 327 366.71 89.81 4.08 1000000 0 1145.03/1145.34 c 218 324 387.15 101.93 3.80 1000000 0 1146.53/1146.81 c 237 319 368.17 85.15 4.32 1000000 0 1147.93/1148.27 c 218 353 385.18 91.25 4.22 1000000 0 1149.43/1149.73 c 226 360 383.93 100.35 3.83 1000000 0 1150.93/1151.21 c 224 367 378.67 93.56 4.05 1000000 0 1152.33/1152.69 c 221 390 362.39 98.16 3.69 1000000 0 1153.83/1154.15 c 232 341 392.65 86.50 4.54 1000000 0 1155.33/1155.62 c 216 346 376.13 97.84 3.84 1000000 0 1156.73/1157.08 c 226 465 375.15 83.51 4.49 1000000 0 1158.23/1158.54 c 231 347 373.58 93.73 3.99 1000000 0 1159.73/1160.01 c 215 328 378.02 102.76 3.68 1000000 0 1161.13/1161.47 c 216 335 381.56 98.01 3.89 1000000 0 1162.63/1162.94 c 193 273 381.72 104.89 3.64 1000000 0 1164.13/1164.42 c 220 349 380.69 87.60 4.35 1000000 0 1165.53/1165.88 c 252 329 398.65 96.66 4.12 1000000 0 1167.03/1167.35 c 216 324 371.76 108.01 3.44 1000000 0 1168.53/1168.81 c 240 362 389.47 98.55 3.95 1000000 0 1169.93/1170.29 c 199 423 362.95 89.29 4.06 1000000 0 1171.42/1171.76 c 221 333 377.67 95.31 3.96 1000000 0 1172.92/1173.21 c 245 355 404.42 90.69 4.46 1000000 0 1174.32/1174.68 c 208 318 382.70 94.62 4.04 1000000 0 1175.82/1176.15 c 231 426 383.68 98.88 3.88 1000000 0 1177.32/1177.61 c 239 366 393.40 78.71 5.00 1000000 0 1178.72/1179.07 c 245 382 395.73 96.61 4.10 1000000 0 1180.22/1180.53 c 235 414 391.68 99.98 3.92 1000000 0 1181.62/1181.99 c 222 313 389.96 93.24 4.18 1000000 0 1183.12/1183.47 c 225 343 380.46 95.29 3.99 1000000 0 1184.62/1184.93 c 231 371 376.90 85.70 4.40 1000000 0 1186.02/1186.39 c 223 323 383.22 88.71 4.32 1000000 0 1187.52/1187.86 c 217 430 384.23 107.36 3.58 1000000 0 1189.02/1189.33 c 225 398 371.31 97.91 3.79 1000000 0 1190.42/1190.79 c 236 322 373.80 90.09 4.15 1000000 0 1191.92/1192.26 c 229 308 384.94 98.54 3.91 1000000 0 1193.42/1193.72 c 218 366 377.97 91.66 4.12 1000000 0 1194.82/1195.19 c 222 344 371.89 91.64 4.06 1000000 0 1196.32/1196.65 c 225 358 378.74 93.45 4.05 1000000 0 1197.82/1198.11 c 210 268 373.84 91.00 4.11 1000000 0 1199.22/1199.58 c 195 383 377.68 90.78 4.16 1000000 0 1200.72/1201.05 c 230 370 369.93 76.71 4.82 1000000 0 1202.22/1202.52 c 218 367 377.91 94.63 3.99 1000000 0 1203.62/1203.99 c 246 374 378.65 76.75 4.93 1000000 0 1205.12/1205.45 c 243 345 391.62 88.58 4.42 1000000 0 1206.62/1206.93 c 234 301 382.24 95.79 3.99 1000000 0 1208.12/1208.40 c 249 353 386.28 99.67 3.88 1000000 0 1209.52/1209.86 c 246 378 404.54 106.03 3.82 1000000 0 1211.02/1211.32 c 226 345 379.61 96.93 3.92 1000000 0 1212.42/1212.79 c 226 282 375.26 88.09 4.26 1000000 0 1213.92/1214.26 c 214 367 387.40 98.99 3.91 1000000 0 1215.42/1215.73 c 232 295 384.95 84.22 4.57 1000000 0 1216.81/1217.19 c 224 295 380.19 96.86 3.93 1000000 0 1218.31/1218.66 c 226 382 375.12 95.43 3.93 1000000 0 1219.81/1220.13 c 226 278 386.89 101.97 3.79 1000000 0 1221.21/1221.60 c 237 387 373.51 83.36 4.48 1000000 0 1222.71/1223.05 c 208 384 386.14 91.94 4.20 1000000 0 1224.21/1224.53 c 226 342 371.80 90.84 4.09 1000000 0 1225.61/1225.99 c 225 363 379.70 85.27 4.45 1000000 0 1227.11/1227.47 c 229 340 367.55 96.23 3.82 1000000 0 1228.61/1228.95 c 228 352 373.81 97.03 3.85 1000000 0 1230.11/1230.40 c 235 358 388.10 90.66 4.28 1000000 0 1231.51/1231.86 c 218 401 381.38 103.42 3.69 1000000 0 1233.01/1233.33 c 207 366 381.05 101.32 3.76 1000000 0 1234.51/1234.80 c 213 373 375.48 96.15 3.91 1000000 0 1235.91/1236.28 c 212 302 380.97 108.80 3.50 1000000 0 1237.41/1237.75 c 197 352 394.23 102.23 3.86 1000000 0 1238.91/1239.20 c 236 437 384.19 93.11 4.13 1000000 0 1240.31/1240.66 c 230 354 385.18 100.48 3.83 1000000 0 1241.81/1242.14 c 215 326 383.84 90.58 4.24 1000000 0 1243.31/1243.60 c 203 324 392.87 87.10 4.51 1000000 0 1244.71/1245.06 c 238 334 388.35 95.39 4.07 1000000 0 1246.21/1246.51 c 244 348 412.46 83.13 4.96 1000000 0 1247.61/1247.98 c 220 350 388.59 98.02 3.96 1000000 0 1249.11/1249.44 c 229 349 381.10 105.57 3.61 1000000 0 1250.61/1250.92 c 229 313 379.71 81.77 4.64 1000000 0 1252.01/1252.38 c 226 316 388.43 97.67 3.98 1000000 0 1253.51/1253.86 c 216 332 367.07 92.38 3.97 1000000 0 1255.01/1255.32 c 228 350 378.77 92.77 4.08 1000000 0 1256.41/1256.77 c 204 366 401.84 95.33 4.22 1000000 0 1257.91/1258.24 c 223 276 368.73 99.48 3.71 1000000 0 1259.40/1259.71 c 227 399 363.35 91.55 3.97 1000000 0 1260.80/1261.17 c 241 309 396.38 85.88 4.62 1000000 0 1262.30/1262.65 c 235 358 374.97 84.95 4.41 1000000 0 1263.80/1264.12 c 246 328 381.20 94.01 4.05 1000000 0 1265.20/1265.59 c 200 301 371.37 95.82 3.88 1000000 0 1266.70/1267.06 c 221 404 373.13 92.43 4.04 1000000 0 1268.20/1268.54 c 192 348 369.51 87.94 4.20 1000000 0 1269.70/1270.01 c 245 369 386.20 94.51 4.09 1000000 0 1271.10/1271.49 c 204 300 372.55 102.79 3.62 1000000 0 1272.60/1272.95 c 232 359 376.67 91.42 4.12 1000000 0 1274.10/1274.41 c 232 310 384.58 89.44 4.30 1000000 0 1275.50/1275.89 c 238 276 373.32 81.69 4.57 1000000 0 1277.00/1277.35 c 214 310 370.27 97.33 3.80 1000000 0 1278.50/1278.81 c 244 377 389.76 89.27 4.37 1000000 0 1279.90/1280.28 c 217 347 388.44 107.59 3.61 1000000 0 1281.40/1281.73 c 209 373 394.20 87.23 4.52 1000000 0 1282.90/1283.20 c 234 383 383.34 92.15 4.16 1000000 0 1284.30/1284.66 c 230 371 380.28 97.39 3.90 1000000 0 1285.80/1286.13 c 236 344 386.27 106.58 3.62 1000000 0 1287.20/1287.59 c 229 352 382.17 76.52 4.99 1000000 0 1288.70/1289.04 c 240 402 388.41 83.84 4.63 1000000 0 1290.10/1290.49 c 244 378 381.26 91.51 4.17 1000000 0 1291.60/1291.96 c 229 378 380.81 94.58 4.03 1000000 0 1293.10/1293.43 c 235 323 389.76 87.67 4.45 1000000 0 1294.60/1294.90 c 214 352 381.69 103.75 3.68 1000000 0 1296.00/1296.36 c 238 413 384.24 100.06 3.84 1000000 0 1297.50/1297.82 c 235 416 393.52 89.49 4.40 1000000 0 1298.90/1299.27 c 253 376 393.13 87.52 4.49 1000000 0 1300.40/1300.74 c 209 291 384.66 97.57 3.94 1000000 0 1301.80/1302.19 c 251 333 392.79 98.84 3.97 1000000 0 1303.29/1303.67 c 221 319 370.43 92.73 3.99 1000000 0 1304.79/1305.13 c 244 399 374.17 87.09 4.30 1000000 0 1306.29/1306.61 c 207 368 375.56 108.38 3.47 1000000 0 1307.70/1308.08 c 226 344 390.58 96.56 4.05 1000000 0 1309.19/1309.55 c 218 339 375.81 103.45 3.63 1000000 0 1310.69/1311.01 c 222 374 387.53 81.07 4.78 1000000 0 1312.09/1312.47 c 206 313 370.87 80.12 4.63 1000000 0 1313.59/1313.95 c 231 447 370.74 84.09 4.41 1000000 0 1315.09/1315.41 c 213 310 382.04 102.73 3.72 1000000 0 1316.49/1316.86 c 233 365 402.74 86.28 4.67 1000000 0 1317.99/1318.33 c 226 330 378.83 88.19 4.30 1000000 0 1319.49/1319.80 c 246 357 386.82 96.98 3.99 1000000 0 1320.89/1321.27 c 192 347 359.58 99.08 3.63 1000000 0 1322.39/1322.75 c 233 357 380.54 95.47 3.99 1000000 0 1323.89/1324.21 c 231 345 395.18 96.28 4.10 1000000 0 1325.29/1325.68 c 210 391 372.12 107.77 3.45 1000000 0 1326.79/1327.16 c 209 381 380.60 91.70 4.15 1000000 0 1328.29/1328.62 c 244 350 391.41 80.57 4.86 1000000 0 1329.69/1330.08 c 241 426 397.14 85.57 4.64 1000000 0 1331.19/1331.55 c 237 324 389.98 90.53 4.31 1000000 0 1332.69/1333.01 c 222 403 385.87 89.47 4.31 1000000 0 1334.09/1334.49 c 215 375 367.43 91.60 4.01 1000000 0 1335.59/1335.95 c 248 327 382.41 102.68 3.72 1000000 0 1337.09/1337.41 c 208 335 381.04 92.91 4.10 1000000 0 1338.49/1338.89 c 225 374 375.29 76.51 4.91 1000000 0 1339.99/1340.36 c 213 330 374.30 97.32 3.85 1000000 0 1341.49/1341.84 c 188 392 372.42 96.51 3.86 1000000 0 1342.99/1343.31 c 247 358 392.13 100.05 3.92 1000000 0 1344.39/1344.78 c 219 298 379.90 90.59 4.19 1000000 0 1345.89/1346.24 c 219 332 378.23 88.98 4.25 1000000 0 1347.39/1347.70 c 233 276 388.58 90.12 4.31 1000000 0 1348.78/1349.18 c 180 319 373.42 92.48 4.04 1000000 0 1350.28/1350.64 c 246 405 382.53 83.83 4.56 1000000 0 1351.79/1352.11 c 219 340 378.15 102.89 3.68 1000000 0 1353.18/1353.56 c 246 376 385.92 96.09 4.02 1000000 0 1354.68/1355.03 c 229 410 380.28 88.22 4.31 1000000 0 1356.08/1356.48 c 232 388 380.43 71.12 5.35 1000000 0 1357.58/1357.95 c 257 354 402.28 87.65 4.59 1000000 0 1359.08/1359.42 c 221 338 377.74 92.60 4.08 1000000 0 1360.58/1360.90 c 170 385 355.92 93.83 3.79 1000000 0 1361.98/1362.37 c 227 344 376.41 78.98 4.77 1000000 0 1363.48/1363.83 c 233 340 383.13 99.54 3.85 1000000 0 1364.98/1365.30 c 223 341 382.48 99.68 3.84 1000000 0 1366.38/1366.77 c 205 396 386.96 109.85 3.52 1000000 0 1367.88/1368.24 c 217 302 384.11 100.84 3.81 1000000 0 1369.38/1369.72 c 221 366 373.76 98.94 3.78 1000000 0 1370.78/1371.19 c 228 268 374.35 101.87 3.67 1000000 0 1372.28/1372.65 c 209 315 380.04 87.37 4.35 1000000 0 1373.78/1374.11 c 242 369 377.76 92.90 4.07 1000000 0 1375.18/1375.57 c 233 331 398.18 101.50 3.92 1000000 0 1376.68/1377.04 c 188 345 384.33 106.00 3.63 1000000 0 1378.18/1378.51 c 218 372 371.85 94.23 3.95 1000000 0 1379.58/1379.97 c 231 307 387.39 89.87 4.31 1000000 0 1381.08/1381.45 c 225 426 370.86 83.26 4.45 1000000 0 1382.58/1382.93 c 212 335 363.17 92.93 3.91 1000000 0 1383.98/1384.39 c 237 347 381.29 89.29 4.27 1000000 0 1385.48/1385.85 c 211 374 381.95 89.74 4.26 1000000 0 1386.98/1387.33 c 210 382 379.98 100.00 3.80 1000000 0 1388.38/1388.79 c 232 340 378.62 96.15 3.94 1000000 0 1389.88/1390.26 c 233 346 382.42 92.96 4.11 1000000 0 1391.38/1391.73 c 225 336 381.62 94.41 4.04 1000000 0 1392.88/1393.20 c 232 376 378.03 93.48 4.04 1000000 0 1394.28/1394.66 c 233 348 376.30 82.30 4.57 1000000 0 1395.77/1396.13 c 226 370 388.68 97.19 4.00 1000000 0 1397.17/1397.58 c 223 404 379.76 93.07 4.08 1000000 0 1398.67/1399.05 c 224 332 380.29 90.23 4.21 1000000 0 1400.17/1400.52 c 200 300 379.27 103.16 3.68 1000000 0 1401.67/1402.00 c 224 405 382.24 96.37 3.97 1000000 0 1403.07/1403.46 c 221 383 389.90 100.90 3.86 1000000 0 1404.57/1404.92 c 249 408 390.31 100.47 3.88 1000000 0 1405.97/1406.39 c 212 380 374.39 103.22 3.63 1000000 0 1407.47/1407.87 c 207 329 382.16 97.23 3.93 1000000 0 1408.97/1409.34 c 201 327 371.54 97.11 3.83 1000000 0 1410.47/1410.80 c 228 360 386.28 98.15 3.94 1000000 0 1411.87/1412.26 c 246 414 394.99 109.69 3.60 1000000 0 1413.37/1413.72 c 207 283 381.12 97.69 3.90 1000000 0 1414.77/1415.19 c 227 396 380.70 89.76 4.24 1000000 0 1416.27/1416.66 c 228 449 371.80 89.89 4.14 1000000 0 1417.77/1418.12 c 235 334 369.32 98.18 3.76 1000000 0 1419.27/1419.60 c 230 375 377.18 101.80 3.70 1000000 0 1420.67/1421.08 c 230 325 378.72 100.78 3.76 1000000 0 1422.17/1422.54 c 239 332 374.15 92.67 4.04 1000000 0 1423.67/1424.00 c 233 380 388.00 90.19 4.30 1000000 0 1425.07/1425.47 c 208 393 376.14 96.81 3.89 1000000 0 1426.57/1426.95 c 220 344 363.68 92.40 3.94 1000000 0 1428.07/1428.41 c 213 359 379.17 91.23 4.16 1000000 0 1429.47/1429.89 c 213 381 364.65 93.83 3.89 1000000 0 1430.97/1431.36 c 214 380 369.34 90.02 4.10 1000000 0 1432.47/1432.83 c 188 317 359.24 99.16 3.62 1000000 0 1433.97/1434.30 c 231 369 371.71 102.10 3.64 1000000 0 1435.37/1435.77 c 240 473 391.13 95.74 4.09 1000000 0 1436.87/1437.24 c 251 354 398.21 90.75 4.39 1000000 0 1438.37/1438.71 c 229 357 378.71 93.16 4.07 1000000 0 1439.77/1440.18 c 227 332 383.47 100.56 3.81 1000000 0 1441.26/1441.64 c 235 355 390.32 85.04 4.59 1000000 0 1442.77/1443.10 c 244 407 397.20 102.55 3.87 1000000 0 1444.16/1444.56 c 218 399 381.16 82.42 4.62 1000000 0 1445.66/1446.04 c 228 297 385.89 96.33 4.01 1000000 0 1447.06/1447.49 c 220 407 371.58 97.36 3.82 1000000 0 1448.56/1448.95 c 218 365 378.47 97.01 3.90 1000000 0 1450.06/1450.43 c 213 274 375.99 101.86 3.69 1000000 0 1451.57/1451.90 c 236 364 381.39 86.85 4.39 1000000 0 1452.96/1453.38 c 219 303 371.04 84.36 4.40 1000000 0 1454.46/1454.85 c 221 333 370.82 95.91 3.87 1000000 0 1455.97/1456.31 c 222 364 382.60 106.36 3.60 1000000 0 1457.36/1457.78 c 212 350 396.07 90.28 4.39 1000000 0 1458.86/1459.26 c 228 351 367.29 95.67 3.84 1000000 0 1460.37/1460.71 c 237 259 375.85 83.17 4.52 1000000 0 1461.86/1462.20 c 208 339 372.02 100.44 3.70 1000000 0 1463.26/1463.67 c 258 340 390.07 88.56 4.40 1000000 0 1464.77/1465.14 c 240 340 380.15 83.91 4.53 1000000 0 1466.26/1466.61 c 216 327 371.96 103.76 3.58 1000000 0 1467.66/1468.08 c 232 355 373.07 81.45 4.58 1000000 0 1469.17/1469.56 c 227 364 376.64 93.15 4.04 1000000 0 1470.66/1471.02 c 217 262 381.30 100.19 3.81 1000000 0 1472.06/1472.50 c 227 313 386.21 105.02 3.68 1000000 0 1473.56/1473.96 c 251 365 386.46 89.32 4.33 1000000 0 1475.06/1475.43 c 233 356 381.50 101.41 3.76 1000000 0 1476.56/1476.90 c 229 356 368.08 100.81 3.65 1000000 0 1477.96/1478.39 c 197 328 365.73 96.78 3.78 1000000 0 1479.46/1479.86 c 221 358 380.17 97.24 3.91 1000000 0 1480.96/1481.33 c 243 286 374.11 86.30 4.33 1000000 0 1482.36/1482.80 c 232 298 379.86 88.78 4.28 1000000 0 1483.86/1484.26 c 246 397 395.54 95.11 4.16 1000000 0 1485.36/1485.72 c 226 336 389.55 88.88 4.38 1000000 0 1486.76/1487.18 c 243 372 380.42 93.62 4.06 1000000 0 1488.25/1488.65 c 219 336 366.10 85.54 4.28 1000000 0 1489.75/1490.11 c 224 331 379.32 85.85 4.42 1000000 0 1491.16/1491.59 c 200 409 374.55 95.79 3.91 1000000 0 1492.65/1493.06 c 199 349 379.95 96.63 3.93 1000000 0 1494.15/1494.53 c 210 231 370.57 102.91 3.60 1000000 0 1495.56/1496.00 c 229 411 384.70 92.24 4.17 1000000 0 1497.05/1497.46 c 212 418 381.86 91.39 4.18 1000000 0 1498.55/1498.92 c 218 278 377.53 101.55 3.72 1000000 0 1499.96/1500.39 c 222 464 379.78 98.89 3.84 1000000 0 1501.45/1501.87 c 201 412 361.56 86.73 4.17 1000000 0 1502.95/1503.33 c 233 408 379.29 90.70 4.18 1000000 0 1504.36/1504.80 c 199 296 367.08 91.17 4.03 1000000 0 1505.86/1506.25 c 209 293 377.87 80.95 4.67 1000000 0 1507.36/1507.72 c 209 374 373.33 94.37 3.96 1000000 0 1508.76/1509.19 c 206 308 376.45 93.76 4.01 1000000 0 1510.26/1510.65 c 225 340 386.81 93.93 4.12 1000000 0 1511.76/1512.12 c 203 358 370.64 96.75 3.83 1000000 0 1513.16/1513.58 c 249 334 395.44 93.16 4.24 1000000 0 1514.66/1515.06 c 221 349 372.02 94.83 3.92 1000000 0 1516.16/1516.53 c 228 366 380.96 89.97 4.23 1000000 0 1517.66/1518.01 c 203 388 375.84 104.58 3.59 1000000 0 1519.06/1519.49 c 228 381 379.63 92.96 4.08 1000000 0 1520.55/1520.96 c 248 340 386.51 94.62 4.08 1000000 0 1522.06/1522.42 c 233 365 380.90 88.88 4.29 1000000 0 1523.46/1523.88 c 235 354 384.00 87.86 4.37 1000000 0 1524.95/1525.35 c 200 317 369.19 99.94 3.69 1000000 0 1526.46/1526.82 c 226 354 386.03 100.36 3.85 1000000 0 1527.85/1528.28 c 219 315 375.56 90.88 4.13 1000000 0 1529.35/1529.75 c 233 333 383.54 104.57 3.67 1000000 0 1530.86/1531.22 c 223 322 374.54 103.45 3.62 1000000 0 1532.25/1532.70 c 209 292 380.13 84.49 4.50 1000000 0 1533.75/1534.17 c 204 412 375.14 98.24 3.82 1000000 0 1535.26/1535.64 c 234 343 374.87 92.33 4.06 1000000 0 1536.75/1537.11 c 219 367 378.19 108.54 3.48 1000000 0 1538.15/1538.58 c 234 292 375.82 102.02 3.68 1000000 0 1539.66/1540.05 c 212 383 373.56 93.58 3.99 1000000 0 1541.15/1541.53 c 209 304 380.32 95.31 3.99 1000000 0 1542.55/1542.99 c 226 356 396.20 82.23 4.82 1000000 0 1544.06/1544.46 c 224 343 365.54 89.22 4.10 1000000 0 1545.55/1545.93 c 234 318 386.43 105.01 3.68 1000000 0 1546.95/1547.40 c 217 421 380.71 86.09 4.42 1000000 0 1548.46/1548.87 c 233 361 372.97 81.45 4.58 1000000 0 1549.95/1550.34 c 225 400 368.78 86.42 4.27 1000000 0 1551.45/1551.81 c 210 346 366.53 90.41 4.05 1000000 0 1552.85/1553.28 c 245 364 382.06 84.13 4.54 1000000 0 1554.35/1554.73 c 252 302 392.71 87.38 4.49 1000000 0 1555.75/1556.19 c 242 384 381.71 103.45 3.69 1000000 0 1557.25/1557.65 c 213 277 391.06 90.50 4.32 1000000 0 1558.75/1559.12 c 231 284 377.32 102.18 3.69 1000000 0 1560.14/1560.58 c 224 350 393.75 104.71 3.76 1000000 0 1561.65/1562.04 c 240 420 386.56 83.39 4.64 1000000 0 1563.14/1563.51 c 213 316 372.03 99.25 3.75 1000000 0 1564.55/1564.98 c 225 352 376.93 91.60 4.11 1000000 0 1566.05/1566.46 c 225 411 375.41 86.38 4.35 1000000 0 1567.54/1567.94 c 207 326 356.50 101.79 3.50 1000000 0 1569.04/1569.42 c 208 298 374.71 102.54 3.65 1000000 0 1570.45/1570.87 c 219 346 397.39 88.87 4.47 1000000 0 1571.94/1572.33 c 227 350 380.69 89.48 4.25 1000000 0 1573.34/1573.79 c 244 330 390.77 92.05 4.25 1000000 0 1574.85/1575.26 c 242 345 379.93 94.62 4.02 1000000 0 1576.34/1576.74 c 214 338 364.57 93.57 3.90 1000000 0 1577.84/1578.20 c 221 326 379.24 101.76 3.73 1000000 0 1579.25/1579.68 c 226 385 384.44 95.19 4.04 1000000 0 1580.74/1581.16 c 237 310 360.74 92.90 3.88 1000000 0 1582.24/1582.62 c 238 329 396.14 97.82 4.05 1000000 0 1583.65/1584.08 c 222 323 384.83 95.77 4.02 1000000 0 1585.14/1585.56 c 198 346 379.07 102.13 3.71 1000000 0 1586.64/1587.02 c 232 334 384.08 95.91 4.00 1000000 0 1588.05/1588.49 c 238 314 374.68 87.81 4.27 1000000 0 1589.54/1589.96 c 205 372 383.96 93.67 4.10 1000000 0 1591.04/1591.43 c 234 311 373.95 86.92 4.30 1000000 0 1592.54/1592.91 c 233 357 372.15 92.15 4.04 1000000 0 1593.94/1594.38 c 229 408 384.31 101.80 3.78 1000000 0 1595.44/1595.86 c 224 365 369.21 101.43 3.64 1000000 0 1596.94/1597.32 c 238 354 388.93 83.76 4.64 1000000 0 1598.34/1598.78 c 244 347 404.60 95.63 4.23 1000000 0 1599.84/1600.25 c 224 339 382.45 92.52 4.13 1000000 0 1601.34/1601.72 c 212 393 356.36 85.50 4.17 1000000 0 1602.74/1603.19 c 227 431 385.79 90.77 4.25 1000000 0 1604.24/1604.66 c 236 357 377.73 96.44 3.92 1000000 0 1605.73/1606.14 c 212 318 366.12 95.79 3.82 1000000 0 1607.14/1607.59 c 252 356 390.38 93.37 4.18 1000000 0 1608.64/1609.05 c 252 375 390.54 84.48 4.62 1000000 0 1610.13/1610.52 c 218 259 370.62 82.60 4.49 1000000 0 1611.53/1611.99 c 215 320 370.27 91.04 4.07 1000000 0 1613.03/1613.45 c 205 305 369.23 94.92 3.89 1000000 0 1614.53/1614.92 c 236 401 376.36 86.96 4.33 1000000 0 1615.93/1616.38 c 220 299 387.88 99.03 3.92 1000000 0 1617.43/1617.85 c 227 313 373.89 88.30 4.23 1000000 0 1618.93/1619.32 c 226 341 374.19 99.55 3.76 1000000 0 1620.33/1620.79 c 247 356 387.00 95.34 4.06 1000000 0 1621.83/1622.26 c 229 334 384.56 98.91 3.89 1000000 0 1623.33/1623.73 c 233 390 392.76 87.49 4.49 1000000 0 1624.83/1625.20 c 210 390 379.38 90.75 4.18 1000000 0 1626.23/1626.67 c 221 342 377.93 95.55 3.96 1000000 0 1627.73/1628.13 c 218 401 375.78 94.17 3.99 1000000 0 1629.23/1629.61 c 231 329 366.58 90.92 4.03 1000000 0 1630.63/1631.08 c 214 345 378.00 99.55 3.80 1000000 0 1632.13/1632.55 c 228 401 375.88 90.09 4.17 1000000 0 1633.63/1634.01 c 230 384 390.96 97.96 3.99 1000000 0 1635.03/1635.47 c 223 417 383.67 93.06 4.12 1000000 0 1636.53/1636.92 c 217 431 383.18 90.40 4.24 1000000 0 1638.03/1638.40 c 187 296 359.35 92.70 3.88 1000000 0 1639.43/1639.87 c 218 335 390.20 94.86 4.11 1000000 0 1640.93/1641.35 c 210 468 381.82 96.94 3.94 1000000 0 1642.43/1642.82 c 239 321 389.65 101.79 3.83 1000000 0 1643.83/1644.29 c 229 313 368.40 90.74 4.06 1000000 0 1645.33/1645.75 c 217 385 378.55 89.06 4.25 1000000 0 1646.83/1647.22 c 215 389 369.31 85.50 4.32 1000000 0 1648.23/1648.68 c 229 411 378.43 95.63 3.96 1000000 0 1649.73/1650.15 c 207 293 364.48 101.02 3.61 1000000 0 1651.23/1651.62 c 229 369 371.45 90.25 4.12 1000000 0 1652.62/1653.09 c 220 380 383.24 91.14 4.20 1000000 0 1654.12/1654.57 c 219 445 365.17 80.53 4.53 1000000 0 1655.62/1656.04 c 217 316 371.63 94.35 3.94 1000000 0 1657.12/1657.52 c 200 306 365.60 95.06 3.85 1000000 0 1658.52/1658.98 c 237 327 388.62 91.43 4.25 1000000 0 1660.02/1660.46 c 225 417 377.28 89.75 4.20 1000000 0 1661.52/1661.93 c 227 354 377.12 91.46 4.12 1000000 0 1662.92/1663.39 c 226 380 375.00 85.69 4.38 1000000 0 1664.42/1664.87 c 223 352 368.36 92.09 4.00 1000000 0 1665.92/1666.34 c 201 320 371.65 98.37 3.78 1000000 0 1667.42/1667.81 c 224 366 397.92 101.01 3.94 1000000 0 1668.82/1669.28 c 244 334 385.79 97.81 3.94 1000000 0 1670.32/1670.75 c 221 355 375.48 88.28 4.25 1000000 0 1671.82/1672.21 c 237 328 378.71 89.57 4.23 1000000 0 1673.22/1673.68 c 227 338 389.24 99.55 3.91 1000000 0 1674.72/1675.14 c 252 319 392.92 83.43 4.71 1000000 0 1676.22/1676.61 c 232 369 369.63 91.46 4.04 1000000 0 1677.62/1678.06 c 227 412 390.60 98.14 3.98 1000000 0 1679.12/1679.54 c 223 292 388.51 100.72 3.86 1000000 0 1680.62/1681.02 c 232 353 368.92 85.31 4.32 1000000 0 1682.02/1682.47 c 222 353 394.52 97.97 4.03 1000000 0 1683.52/1683.94 c 229 315 384.87 91.65 4.20 1000000 0 1685.02/1685.41 c 224 328 381.96 102.95 3.71 1000000 0 1686.42/1686.88 c 201 406 372.78 93.04 4.01 1000000 0 1687.92/1688.34 c 221 402 391.12 93.22 4.20 1000000 0 1689.42/1689.81 c 168 349 373.17 101.93 3.66 1000000 0 1690.82/1691.28 c 235 393 378.67 92.17 4.11 1000000 0 1692.32/1692.75 c 225 345 371.87 81.96 4.54 1000000 0 1693.82/1694.21 c 212 349 379.24 96.56 3.93 1000000 0 1695.22/1695.67 c 224 287 377.30 88.20 4.28 1000000 0 1696.72/1697.13 c 225 332 377.73 82.27 4.59 1000000 0 1698.21/1698.61 c 217 316 374.03 91.39 4.09 1000000 0 1699.61/1700.09 c 222 343 364.03 87.98 4.14 1000000 0 1701.11/1701.58 c 213 333 362.90 99.05 3.66 1000000 0 1702.61/1703.06 c 207 333 377.24 107.27 3.52 1000000 0 1704.11/1704.52 c 226 423 380.77 87.79 4.34 1000000 0 1705.62/1706.00 c 218 308 372.59 99.77 3.73 1000000 0 1707.01/1707.48 c 205 328 367.07 97.35 3.77 1000000 0 1708.51/1708.95 c 220 324 376.56 93.59 4.02 1000000 0 1710.02/1710.42 c 212 330 366.91 101.53 3.61 1000000 0 1711.41/1711.89 c 219 411 364.33 92.75 3.93 1000000 0 1712.91/1713.37 c 211 392 387.99 99.86 3.89 1000000 0 1714.42/1714.84 c 226 392 384.22 91.03 4.22 1000000 0 1715.91/1716.31 c 230 302 384.93 99.57 3.87 1000000 0 1717.31/1717.76 c 241 360 381.16 90.76 4.20 1000000 0 1718.82/1719.23 c 227 359 396.38 100.67 3.94 1000000 0 1720.21/1720.69 c 247 385 396.00 93.38 4.24 1000000 0 1721.71/1722.16 c 238 382 377.19 94.69 3.98 1000000 0 1723.22/1723.63 c 213 342 376.55 94.28 3.99 1000000 0 1724.71/1725.10 c 222 350 371.44 94.55 3.93 1000000 0 1726.11/1726.56 c 219 293 368.32 102.44 3.60 1000000 0 1727.62/1728.03 c 221 295 368.54 92.10 4.00 1000000 0 1729.11/1729.50 c 201 391 402.80 95.87 4.20 1000000 0 1730.51/1730.98 c 224 240 368.20 81.30 4.53 1000000 0 1732.01/1732.44 c 229 395 383.11 93.46 4.10 1000000 0 1733.51/1733.91 c 234 330 381.50 88.25 4.32 1000000 0 1734.91/1735.36 c 235 375 389.77 100.56 3.88 1000000 0 1736.41/1736.83 c 234 391 372.66 83.75 4.45 1000000 0 1737.91/1738.30 c 236 358 374.93 85.26 4.40 1000000 0 1739.31/1739.76 c 266 350 396.59 77.62 5.11 1000000 0 1740.81/1741.23 c 224 370 373.87 93.36 4.00 1000000 0 1742.21/1742.68 c 232 379 395.64 84.74 4.67 1000000 0 1743.70/1744.14 c 243 385 390.63 97.60 4.00 1000000 0 1745.21/1745.63 c 223 360 374.29 106.22 3.52 1000000 0 1746.60/1747.09 c 236 353 379.51 95.46 3.98 1000000 0 1748.10/1748.56 c 231 291 373.85 92.70 4.03 1000000 0 1749.61/1750.03 c 239 325 371.05 92.58 4.01 1000000 0 1751.10/1751.50 c 237 353 377.82 91.30 4.14 1000000 0 1752.50/1752.96 c 216 338 390.76 100.14 3.90 1000000 0 1754.01/1754.44 c 210 334 372.31 82.71 4.50 1000000 0 1755.50/1755.91 c 213 327 376.23 90.90 4.14 1000000 0 1756.90/1757.36 c 236 315 383.94 94.96 4.04 1000000 0 1758.41/1758.83 c 204 344 367.21 93.35 3.93 1000000 0 1759.90/1760.31 c 218 295 365.99 95.77 3.82 1000000 0 1761.30/1761.77 c 229 342 386.27 94.86 4.07 1000000 0 1762.81/1763.24 c 233 379 378.61 97.77 3.87 1000000 0 1764.30/1764.71 c 254 320 387.90 95.58 4.06 1000000 0 1765.70/1766.18 c 227 306 383.29 95.67 4.01 1000000 0 1767.21/1767.65 c 215 347 380.77 99.74 3.82 1000000 0 1768.70/1769.11 c 215 346 366.32 92.66 3.95 1000000 0 1770.10/1770.59 c 218 304 370.81 99.20 3.74 1000000 0 1771.61/1772.06 c 226 324 361.80 85.83 4.22 1000000 0 1773.10/1773.53 c 231 308 376.17 97.65 3.85 1000000 0 1774.60/1775.02 c 227 332 374.88 101.95 3.68 1000000 0 1776.00/1776.49 c 222 268 377.21 91.95 4.10 1000000 0 1777.50/1777.96 c 232 408 381.14 97.07 3.93 1000000 0 1779.00/1779.44 c 217 358 377.78 112.27 3.37 1000000 0 1780.50/1780.91 c 237 321 387.89 99.73 3.89 1000000 0 1781.90/1782.36 c 236 311 395.15 88.07 4.49 1000000 0 1783.40/1783.83 c 223 315 380.89 89.79 4.24 1000000 0 1784.80/1785.29 c 232 356 383.54 92.91 4.13 1000000 0 1786.30/1786.75 c 248 283 384.27 78.87 4.87 1000000 0 1787.80/1788.22 c 224 355 377.00 89.63 4.21 1000000 0 1789.20/1789.69 c 218 385 388.19 89.94 4.32 1000000 0 1790.69/1791.16 c 216 326 376.97 94.22 4.00 1000000 0 1792.19/1792.63 c 199 353 371.56 97.90 3.80 1000000 0 1793.60/1794.10 c 228 330 384.62 87.84 4.38 1000000 0 1795.09/1795.57 c 223 293 380.28 82.50 4.61 1000000 0 1796.59/1797.02 c 232 321 386.37 84.09 4.59 1000000 0 1798.00/1798.48 c 223 328 380.48 92.85 4.10 1000000 0 1799.49/1799.95 c 226 294 390.15 101.15 3.86 1000000 0 1800.10/1800.50 HOME/run: line 2: 9731 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-2669890-1276611458/watcher-2669890-1276611458 -o /tmp/evaluation-result-2669890-1276611458/solver-2669890-1276611458 -C 1800 -W 2000 -M 1800 run HOME/instance-2669890-1276611458.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.08 1.03 1.01 3/106 9730 /proc/meminfo: memFree=1525744/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) R 9728 9730 9288 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420772245 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [startup+0.067072 s] /proc/loadavg: 1.08 1.03 1.01 3/106 9730 /proc/meminfo: memFree=1525744/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101073 s] /proc/loadavg: 1.08 1.03 1.01 3/106 9730 /proc/meminfo: memFree=1525744/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301087 s] /proc/loadavg: 1.08 1.03 1.01 3/106 9730 /proc/meminfo: memFree=1525744/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701116 s] /proc/loadavg: 1.08 1.03 1.01 3/106 9730 /proc/meminfo: memFree=1525744/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50117 s] /proc/loadavg: 1.07 1.03 1.01 2/108 9732 /proc/meminfo: memFree=1521636/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1.49 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1051 0 0 0 149 0 0 0 25 0 1 0 2440824 41422848 980 1992294400 134512640 135071400 4290823120 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 980 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10129 s] /proc/loadavg: 1.07 1.03 1.01 2/108 9732 /proc/meminfo: memFree=1521388/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=3.09 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 309 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30151 s] /proc/loadavg: 1.07 1.03 1.01 2/108 9732 /proc/meminfo: memFree=1521388/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=6.29 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 629 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526333 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.701 s] /proc/loadavg: 1.06 1.03 1.01 2/108 9732 /proc/meminfo: memFree=1521140/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=12.69 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 1269 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5019 s] /proc/loadavg: 1.05 1.02 1.00 2/108 9732 /proc/meminfo: memFree=1521016/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=25.48 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 2548 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1017 s] /proc/loadavg: 1.03 1.02 1.00 2/108 9734 /proc/meminfo: memFree=1521016/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=51.08 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 5108 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 1.01 1.02 1.00 2/108 9734 /proc/meminfo: memFree=1520644/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=102.27 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 10227 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526935 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/108 9736 /proc/meminfo: memFree=1520396/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=162.25 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 16225 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/108 9738 /proc/meminfo: memFree=1520396/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=222.24 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 22224 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134547326 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9740 /proc/meminfo: memFree=1520272/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=282.22 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 28222 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134572013 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9740 /proc/meminfo: memFree=1520024/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=342.21 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 34221 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9742 /proc/meminfo: memFree=1519900/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=402.2 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 40220 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526420 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1122.04 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 112203 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526584 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9767 /proc/meminfo: memFree=1518288/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1182.02 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 118201 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9767 /proc/meminfo: memFree=1518040/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1242.01 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 124200 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9769 /proc/meminfo: memFree=1517916/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1302 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 130199 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9771 /proc/meminfo: memFree=1517916/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1361.98 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 136197 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9773 /proc/meminfo: memFree=1517668/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1421.98 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 142197 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134537141 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9775 /proc/meminfo: memFree=1517668/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1481.96 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 148195 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9775 /proc/meminfo: memFree=1517544/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1541.95 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 154193 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526240 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9777 /proc/meminfo: memFree=1517296/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1601.94 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 160192 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 1.00 2/108 9779 /proc/meminfo: memFree=1517296/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1661.92 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 166190 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134547395 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/108 9781 /proc/meminfo: memFree=1517048/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1721.91 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 172189 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9783 /proc/meminfo: memFree=1517048/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1781.9 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 178188 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9783 /proc/meminfo: memFree=1517048/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1800.1 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 180008 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 secondsSolver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9783 /proc/meminfo: memFree=1517048/2059040 swapFree=4192956/4192956 [pid=9730] ppid=9728 vsize=8700 CPUtime=0 /proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9730/statm: 2175 244 204 178 0 68 0 [pid=9731] ppid=9730 vsize=40452 CPUtime=1800.1 /proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 180008 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9731/statm: 10113 988 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.11 CPU user time (s): 1800.09 CPU system time (s): 0.023996 CPU usage (%): 99.9777 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.09 system time used= 0.023996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1432 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= 4493 runsolver used 2.91256 second user time and 8.63169 second system time The end
Begin job on node034 at 2010-06-15 16:17:38 IDJOB=2669890 IDBENCH=1492 IDSOLVER=1171 FILE ID=node034/2669890-1276611458 PBS_JOBID= 11172266 Free space on /tmp= 62512 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669890-1276611458/watcher-2669890-1276611458 -o /tmp/evaluation-result-2669890-1276611458/solver-2669890-1276611458 -C 1800 -W 2000 -M 1800 run HOME/instance-2669890-1276611458.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a985b0d4e6d576e8ad3098d78036fdc8 RANDOM SEED=1104899382 node034.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.242 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.48 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.242 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1526140 kB Buffers: 65816 kB Cached: 340512 kB SwapCached: 0 kB Active: 190556 kB Inactive: 275384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1526140 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1268 kB Writeback: 0 kB AnonPages: 59612 kB Mapped: 15488 kB Slab: 45144 kB PageTables: 3888 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182316 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= 62512 MiB End job on node034 at 2010-06-15 16:47:38