Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.1 | 1800.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j605_1-unsat.opb |
MD5SUM | 42cd00962bc65fa4ff073d4ddf5f250d |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 2.82357 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9272 |
Total number of constraints | 29174 |
Number of constraints which are clauses | 28874 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 300 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 35 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 231 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.07 c PB-wave - v2 0.00/0.07 c command line = ./PB-wave 0.00/0.07 c seed = 124081528 0.00/0.07 c cutoff = 1000000 0.00/0.07 c tries = 1000000 0.00/0.07 c heuristic = c best, noise 50 / 100 0.00/0.07 #var 9272 #con 29174 0.00/0.07 mode is SAT 0.00/0.07 c tail starts after flip = 27816 0.00/0.07 c numatom = 9272, numclause = 29174, numliterals = 70818 0.00/0.07 c wff read in 0.00/0.07 c 0.00/0.07 c lowest final avg noise noise total avg mean mean 0.00/0.07 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.07 c this this this this this this success success until std 0.00/0.07 c try try try try try try rate tries assign dev 0.00/0.07 c 1.29/1.34 c 250 384 392.05 53.90 7.27 1000000 0 2.59/2.62 c 284 373 407.19 47.92 8.50 1000000 0 3.79/3.88 c 247 386 396.20 52.86 7.49 1000000 0 5.09/5.15 c 235 392 398.44 48.52 8.21 1000000 0 6.39/6.42 c 259 379 393.57 52.06 7.56 1000000 0 7.60/7.68 c 250 365 402.53 47.94 8.40 1000000 0 8.89/8.95 c 233 400 398.53 47.38 8.41 1000000 0 10.19/10.22 c 241 427 398.03 61.03 6.52 1000000 0 11.39/11.50 c 261 338 398.21 53.13 7.49 1000000 0 12.69/12.76 c 274 347 404.01 48.33 8.36 1000000 0 13.99/14.03 c 232 389 390.00 46.95 8.31 1000000 0 15.29/15.30 c 257 471 398.81 50.51 7.90 1000000 0 16.49/16.57 c 261 392 395.76 53.51 7.40 1000000 0 17.79/17.84 c 253 446 394.75 50.09 7.88 1000000 0 19.09/19.11 c 261 370 401.94 55.46 7.25 1000000 0 20.29/20.38 c 274 384 403.79 56.37 7.16 1000000 0 21.59/21.65 c 251 339 404.96 51.43 7.87 1000000 0 22.89/22.92 c 253 382 394.66 47.94 8.23 1000000 0 24.09/24.19 c 245 436 402.44 53.07 7.58 1000000 0 25.38/25.46 c 262 435 397.76 50.69 7.85 1000000 0 26.68/26.73 c 280 405 406.54 49.80 8.16 1000000 0 27.98/28.00 c 267 369 406.68 55.69 7.30 1000000 0 29.18/29.27 c 220 386 396.93 51.31 7.74 1000000 0 30.48/30.54 c 255 401 402.07 51.64 7.79 1000000 0 31.79/31.81 c 245 364 396.09 46.89 8.45 1000000 0 32.99/33.08 c 265 485 405.32 53.44 7.59 1000000 0 34.28/34.34 c 268 475 403.41 50.42 8.00 1000000 0 35.58/35.62 c 266 314 403.15 53.21 7.58 1000000 0 36.78/36.88 c 261 402 404.36 51.95 7.78 1000000 0 38.08/38.15 c 243 437 392.83 48.14 8.16 1000000 0 39.38/39.42 c 264 375 397.23 52.13 7.62 1000000 0 40.59/40.69 c 234 459 394.51 53.59 7.36 1000000 0 41.88/41.97 c 274 343 393.85 49.07 8.03 1000000 0 43.18/43.24 c 233 355 392.77 47.31 8.30 1000000 0 44.48/44.50 c 265 366 398.37 47.72 8.35 1000000 0 45.68/45.77 c 266 432 396.61 54.29 7.31 1000000 0 46.98/47.04 c 247 350 402.45 54.84 7.34 1000000 0 48.28/48.31 c 233 404 396.76 53.07 7.48 1000000 0 49.48/49.58 c 268 394 397.32 49.16 8.08 1000000 0 50.78/50.85 c 236 330 403.22 56.36 7.15 1000000 0 52.08/52.12 c 250 396 399.84 60.73 6.58 1000000 0 53.27/53.39 c 260 415 399.08 52.15 7.65 1000000 0 54.57/54.66 c 245 384 392.18 54.03 7.26 1000000 0 55.88/55.93 c 262 440 393.99 43.79 9.00 1000000 0 57.08/57.19 c 251 344 393.83 52.30 7.53 1000000 0 58.37/58.46 c 256 322 398.11 52.44 7.59 1000000 0 59.67/59.73 c 247 399 401.50 53.76 7.47 1000000 0 60.97/61.00 c 242 449 397.60 50.01 7.95 1000000 0 62.17/62.27 c 242 377 390.47 49.68 7.86 1000000 0 63.47/63.54 c 244 312 400.56 48.83 8.20 1000000 0 64.78/64.81 c 223 370 392.95 51.47 7.63 1000000 0 65.98/66.08 c 236 392 401.01 54.17 7.40 1000000 0 67.27/67.35 c 231 413 392.11 53.33 7.35 1000000 0 68.57/68.62 c 246 376 392.77 47.45 8.28 1000000 0 69.77/69.89 c 243 345 399.19 51.13 7.81 1000000 0 71.07/71.16 c 245 388 408.09 52.30 7.80 1000000 0 72.37/72.43 c 229 379 402.68 53.64 7.51 1000000 0 73.58/73.70 c 249 406 403.61 56.97 7.08 1000000 0 74.87/74.97 c 233 398 388.54 48.35 8.04 1000000 0 76.17/76.24 c 249 394 396.85 50.87 7.80 1000000 0 77.47/77.51 c 248 364 399.20 50.99 7.83 1000000 0 78.67/78.78 c 243 381 401.58 49.95 8.04 1000000 0 79.97/80.05 c 246 394 393.95 46.74 8.43 1000000 0 81.28/81.32 c 269 351 398.21 53.75 7.41 1000000 0 82.48/82.58 c 255 302 392.14 56.71 6.92 1000000 0 83.77/83.85 c 255 399 402.11 52.51 7.66 1000000 0 85.07/85.12 c 264 448 393.49 48.06 8.19 1000000 0 86.27/86.39 c 253 374 390.03 46.90 8.32 1000000 0 87.57/87.66 c 260 333 396.32 47.58 8.33 1000000 0 88.87/88.92 c 229 396 397.26 50.66 7.84 1000000 0 90.07/90.19 c 245 369 395.24 51.50 7.67 1000000 0 91.37/91.46 c 259 420 400.91 52.34 7.66 1000000 0 92.56/92.69 c 264 474 401.80 54.63 7.35 1000000 0 93.86/93.96 c 265 378 393.82 47.11 8.36 1000000 0 95.16/95.23 c 253 356 397.57 53.34 7.45 1000000 0 96.36/96.50 c 236 410 395.39 50.63 7.81 1000000 0 97.66/97.76 c 259 325 396.76 47.30 8.39 1000000 0 98.97/99.04 c 259 316 400.96 47.43 8.45 1000000 0 100.26/100.31 c 277 445 400.95 44.51 9.01 1000000 0 101.46/101.58 c 263 383 391.97 51.15 7.66 1000000 0 102.76/102.85 c 251 324 395.01 54.69 7.22 1000000 0 104.06/104.11 c 239 359 394.42 52.99 7.44 1000000 0 105.26/105.38 c 254 337 405.60 53.47 7.59 1000000 0 106.56/106.65 c 247 394 394.47 51.94 7.60 1000000 0 107.86/107.92 c 218 458 399.31 44.94 8.89 1000000 0 109.06/109.19 c 261 423 390.60 48.23 8.10 1000000 0 110.36/110.46 c 249 355 394.95 47.95 8.24 1000000 0 111.66/111.73 c 257 515 400.78 53.46 7.50 1000000 0 112.86/112.99 c 266 385 400.77 49.54 8.09 1000000 0 114.16/114.26 c 251 394 401.06 48.78 8.22 1000000 0 115.46/115.53 c 239 442 400.80 52.03 7.70 1000000 0 116.76/116.80 c 241 422 401.38 47.95 8.37 1000000 0 117.95/118.07 c 249 426 399.09 52.69 7.57 1000000 0 119.25/119.34 c 245 345 394.46 52.49 7.52 1000000 0 120.55/120.61 c 258 350 393.11 45.37 8.67 1000000 0 121.75/121.88 c 249 440 404.30 49.89 8.10 1000000 0 123.06/123.15 c 234 371 398.43 52.33 7.61 1000000 0 124.35/124.42 c 265 455 394.98 47.32 8.35 1000000 0 125.55/125.69 c 264 428 394.46 59.55 6.62 1000000 0 126.85/126.96 c 261 368 395.07 50.10 7.89 1000000 0 128.15/128.23 c 244 414 402.82 56.86 7.08 1000000 0 129.45/129.50 c 244 331 396.94 48.15 8.24 1000000 0 130.65/130.76 c 259 403 397.05 46.56 8.53 1000000 0 131.96/132.04 c 232 399 404.02 53.21 7.59 1000000 0 133.25/133.31 c 260 341 391.12 47.65 8.21 1000000 0 134.45/134.57 c 255 452 395.97 47.70 8.30 1000000 0 135.75/135.85 c 245 407 397.89 53.29 7.47 1000000 0 137.05/137.11 c 260 437 393.10 47.97 8.19 1000000 0 138.25/138.38 c 235 383 397.61 51.51 7.72 1000000 0 139.55/139.65 c 247 364 395.25 49.30 8.02 1000000 0 140.85/140.92 c 246 445 400.55 52.03 7.70 1000000 0 142.05/142.18 c 260 360 399.81 49.37 8.10 1000000 0 143.35/143.45 c 236 377 396.05 47.11 8.41 1000000 0 144.65/144.72 c 254 352 401.08 58.49 6.86 1000000 0 145.85/145.99 c 225 309 395.93 51.93 7.62 1000000 0 147.15/147.26 c 234 403 399.15 52.07 7.67 1000000 0 148.45/148.53 c 253 425 395.01 57.62 6.86 1000000 0 149.75/149.80 c 237 345 396.08 47.61 8.32 1000000 0 150.95/151.07 c 262 340 396.54 48.97 8.10 1000000 0 152.24/152.33 c 265 451 403.59 47.25 8.54 1000000 0 153.54/153.60 c 257 396 403.47 52.22 7.73 1000000 0 154.74/154.87 c 270 337 397.77 48.10 8.27 1000000 0 156.05/156.14 c 252 411 398.59 49.49 8.05 1000000 0 157.34/157.41 c 247 373 403.19 50.87 7.93 1000000 0 158.54/158.68 c 265 358 397.45 54.76 7.26 1000000 0 159.84/159.95 c 246 418 394.39 51.49 7.66 1000000 0 161.14/161.22 c 229 326 401.20 51.30 7.82 1000000 0 162.34/162.48 c 252 398 397.20 51.86 7.66 1000000 0 163.64/163.75 c 244 394 393.42 50.28 7.82 1000000 0 164.95/165.02 c 248 368 391.00 49.18 7.95 1000000 0 166.14/166.29 c 266 378 404.35 50.74 7.97 1000000 0 167.44/167.55 c 234 394 395.42 60.44 6.54 1000000 0 168.74/168.82 c 262 422 392.62 54.09 7.26 1000000 0 169.94/170.09 c 247 365 395.01 49.94 7.91 1000000 0 171.24/171.36 c 245 330 400.20 46.98 8.52 1000000 0 172.54/172.63 c 264 367 403.20 56.08 7.19 1000000 0 173.84/173.90 c 239 432 403.22 56.79 7.10 1000000 0 175.04/175.17 c 246 393 392.40 49.27 7.96 1000000 0 176.34/176.44 c 269 480 397.44 46.60 8.53 1000000 0 177.64/177.71 c 252 437 402.96 51.56 7.82 1000000 0 178.84/178.98 c 255 383 405.09 54.19 7.47 1000000 0 180.14/180.25 c 238 476 400.10 53.87 7.43 1000000 0 181.44/181.52 c 250 341 393.72 47.89 8.22 1000000 0 182.64/182.78 c 245 402 396.72 47.92 8.28 1000000 0 183.94/184.05 c 237 424 394.72 53.71 7.35 1000000 0 185.23/185.33 c 264 363 395.37 48.53 8.15 1000000 0 186.43/186.59 c 231 388 402.86 54.66 7.37 1000000 0 187.73/187.86 c 256 352 395.22 48.10 8.22 1000000 0 189.04/189.13 c 234 415 392.90 52.22 7.52 1000000 0 190.33/190.40 c 248 365 404.76 54.30 7.45 1000000 0 191.53/191.67 c 240 423 397.34 48.73 8.15 1000000 0 192.83/192.94 c 263 379 406.81 55.55 7.32 1000000 0 194.13/194.20 c 263 387 394.04 47.89 8.23 1000000 0 195.33/195.47 c 223 377 398.60 46.66 8.54 1000000 0 196.63/196.74 c 251 330 398.84 51.58 7.73 1000000 0 197.94/198.01 c 245 418 394.79 48.41 8.16 1000000 0 199.13/199.27 c 249 381 395.94 49.15 8.06 1000000 0 200.43/200.55 c 268 350 395.91 48.34 8.19 1000000 0 201.73/201.81 c 261 421 398.18 53.86 7.39 1000000 0 202.93/203.08 c 272 302 398.38 47.71 8.35 1000000 0 204.23/204.35 c 239 412 392.88 52.36 7.50 1000000 0 205.54/205.62 c 241 519 391.62 48.66 8.05 1000000 0 206.74/206.89 c 249 355 402.55 60.12 6.70 1000000 0 208.03/208.15 c 250 351 403.96 50.95 7.93 1000000 0 209.33/209.43 c 261 342 402.80 58.85 6.84 1000000 0 210.53/210.69 c 260 464 409.09 51.90 7.88 1000000 0 211.83/211.93 c 254 399 397.25 52.22 7.61 1000000 0 213.02/213.19 c 268 420 404.62 47.79 8.47 1000000 0 214.33/214.46 c 256 355 395.67 50.99 7.76 1000000 0 215.62/215.73 c 269 384 401.92 42.77 9.40 1000000 0 216.92/217.00 c 262 354 402.21 56.61 7.11 1000000 0 218.12/218.27 c 255 380 397.37 58.24 6.82 1000000 0 219.42/219.54 c 252 393 406.53 54.56 7.45 1000000 0 220.72/220.81 c 250 366 392.08 49.52 7.92 1000000 0 221.92/222.08 c 264 344 393.23 49.39 7.96 1000000 0 223.23/223.35 c 256 384 398.45 45.17 8.82 1000000 0 224.52/224.61 c 231 400 396.07 50.53 7.84 1000000 0 225.72/225.88 c 266 510 403.48 51.10 7.90 1000000 0 227.02/227.15 c 244 368 402.77 53.52 7.53 1000000 0 228.32/228.42 c 265 438 398.66 48.19 8.27 1000000 0 229.52/229.69 c 242 387 395.29 46.86 8.44 1000000 0 230.82/230.95 c 256 422 398.84 50.18 7.95 1000000 0 232.12/232.22 c 255 325 398.02 52.27 7.61 1000000 0 233.32/233.49 c 249 437 398.20 48.40 8.23 1000000 0 234.62/234.76 c 261 457 398.80 46.86 8.51 1000000 0 235.92/236.03 c 238 493 398.08 50.05 7.95 1000000 0 237.21/237.30 c 255 325 397.40 50.94 7.80 1000000 0 238.41/238.57 c 242 271 395.56 55.73 7.10 1000000 0 239.72/239.84 c 245 334 391.01 48.45 8.07 1000000 0 241.01/241.11 c 248 438 386.80 49.17 7.87 1000000 0 242.21/242.38 c 256 319 398.16 48.56 8.20 1000000 0 243.51/243.65 c 259 424 400.57 52.04 7.70 1000000 0 244.81/244.92 c 262 442 399.57 48.66 8.21 1000000 0 246.01/246.19 c 228 387 398.99 55.95 7.13 1000000 0 247.32/247.46 c 250 394 402.99 48.12 8.37 1000000 0 248.61/248.73 c 257 408 396.13 51.40 7.71 1000000 0 249.91/250.00 c 231 361 402.39 51.51 7.81 1000000 0 251.11/251.27 c 251 366 397.29 51.15 7.77 1000000 0 252.41/252.54 c 264 319 399.09 53.84 7.41 1000000 0 253.71/253.81 c 256 432 401.74 51.79 7.76 1000000 0 254.91/255.07 c 237 316 393.22 50.79 7.74 1000000 0 256.22/256.35 c 274 417 402.80 51.12 7.88 1000000 0 257.51/257.62 c 258 453 395.21 46.05 8.58 1000000 0 258.71/258.89 c 259 349 396.46 56.68 6.99 1000000 0 260.01/260.16 c 276 392 403.23 50.97 7.91 1000000 0 261.31/261.42 c 241 378 399.75 51.56 7.75 1000000 0 262.51/262.69 c 258 428 395.59 45.85 8.63 1000000 0 263.81/263.96 c 270 364 398.47 45.91 8.68 1000000 0 265.11/265.23 c 242 378 397.95 49.59 8.03 1000000 0 266.41/266.50 c 223 388 399.68 50.80 7.87 1000000 0 267.61/267.77 c 256 422 393.43 52.03 7.56 1000000 0 268.91/269.04 c 239 382 396.71 50.82 7.81 1000000 0 270.20/270.30 c 265 402 397.86 55.86 7.12 1000000 0 271.40/271.57 c 239 449 399.08 49.82 8.01 1000000 0 272.71/272.84 c 245 463 394.82 50.12 7.88 1000000 0 274.00/274.11 c 247 411 398.05 47.47 8.39 1000000 0 275.20/275.38 c 240 365 398.82 45.88 8.69 1000000 0 276.50/276.64 c 251 432 401.56 52.29 7.68 1000000 0 277.80/277.91 c 238 348 396.32 46.34 8.55 1000000 0 279.00/279.18 c 233 372 395.25 52.82 7.48 1000000 0 280.31/280.45 c 261 412 399.51 46.43 8.61 1000000 0 281.60/281.72 c 240 403 395.64 57.52 6.88 1000000 0 282.80/282.99 c 241 398 401.50 55.25 7.27 1000000 0 284.10/284.26 c 259 368 399.26 55.70 7.17 1000000 0 285.40/285.53 c 248 344 400.78 49.40 8.11 1000000 0 286.70/286.80 c 220 430 390.06 50.19 7.77 1000000 0 287.90/288.07 c 244 386 395.54 46.35 8.53 1000000 0 289.21/289.33 c 243 329 400.23 49.75 8.05 1000000 0 290.50/290.60 c 249 405 398.25 51.17 7.78 1000000 0 291.70/291.87 c 267 373 399.02 53.61 7.44 1000000 0 293.00/293.15 c 265 383 397.30 47.30 8.40 1000000 0 294.30/294.41 c 271 431 407.30 52.57 7.75 1000000 0 295.50/295.68 c 243 446 393.52 45.52 8.65 1000000 0 296.80/296.95 c 243 379 403.05 58.19 6.93 1000000 0 298.10/298.22 c 241 409 398.67 44.63 8.93 1000000 0 299.30/299.49 c 250 377 403.57 50.71 7.96 1000000 0 300.60/300.76 c 245 405 396.93 50.01 7.94 1000000 0 301.90/302.03 c 254 415 401.36 45.29 8.86 1000000 0 303.19/303.30 c 242 411 398.79 49.15 8.11 1000000 0 304.39/304.57 c 205 387 393.21 53.07 7.41 1000000 0 305.70/305.83 c 242 408 400.06 51.75 7.73 1000000 0 306.99/307.10 c 235 386 404.48 47.48 8.52 1000000 0 308.19/308.38 c 259 524 401.16 54.16 7.41 1000000 0 309.49/309.64 c 265 401 401.51 48.60 8.26 1000000 0 310.79/310.91 c 249 431 400.34 50.37 7.95 1000000 0 311.99/312.18 c 264 418 400.91 52.10 7.69 1000000 0 313.30/313.45 c 231 381 399.68 49.28 8.11 1000000 0 314.59/314.72 c 254 381 403.60 50.95 7.92 1000000 0 315.79/315.99 c 241 415 396.37 50.24 7.89 1000000 0 317.09/317.26 c 260 422 402.04 51.17 7.86 1000000 0 318.39/318.53 c 254 424 392.17 48.32 8.12 1000000 0 319.69/319.80 c 252 318 396.72 50.44 7.86 1000000 0 320.89/321.07 c 228 407 399.37 55.35 7.22 1000000 0 322.20/322.34 c 243 415 398.89 51.06 7.81 1000000 0 323.49/323.61 c 251 432 399.35 57.04 7.00 1000000 0 324.69/324.88 c 256 348 395.49 51.97 7.61 1000000 0 325.99/326.15 c 256 329 400.10 54.81 7.30 1000000 0 327.29/327.42 c 227 419 392.01 50.06 7.83 1000000 0 328.49/328.69 c 259 427 400.42 50.60 7.91 1000000 0 329.79/329.95 c 257 386 407.91 55.63 7.33 1000000 0 331.09/331.23 c 261 454 397.79 46.72 8.51 1000000 0 332.28/332.46 c 237 446 393.82 49.38 7.98 1000000 0 333.58/333.73 c 241 432 398.15 48.80 8.16 1000000 0 334.88/335.00 c 252 357 395.69 54.29 7.29 1000000 0 336.08/336.27 c 229 423 395.74 55.76 7.10 1000000 0 337.38/337.54 c 242 309 390.60 46.56 8.39 1000000 0 338.59/338.80 c 243 345 391.16 52.68 7.42 1000000 0 339.88/340.07 c 245 385 400.58 50.47 7.94 1000000 0 341.18/341.34 c 263 427 404.01 48.54 8.32 1000000 0 342.48/342.61 c 264 375 392.84 47.40 8.29 1000000 0 343.68/343.88 c 256 341 399.26 45.98 8.68 1000000 0 344.98/345.15 c 256 403 404.12 53.41 7.57 1000000 0 346.28/346.42 c 236 455 396.77 54.93 7.22 1000000 0 347.49/347.69 c 253 426 399.49 50.57 7.90 1000000 0 348.78/348.96 c 241 410 395.32 55.01 7.19 1000000 0 350.08/350.23 c 241 352 404.67 53.32 7.59 1000000 0 351.38/351.50 c 259 321 402.11 44.41 9.05 1000000 0 352.58/352.77 c 221 399 389.76 49.07 7.94 1000000 0 353.88/354.04 c 256 383 394.73 55.34 7.13 1000000 0 355.08/355.30 c 248 459 400.49 55.84 7.17 1000000 0 356.37/356.57 c 262 382 409.04 48.55 8.43 1000000 0 357.67/357.85 c 248 453 400.02 54.98 7.28 1000000 0 358.97/359.11 c 262 342 391.96 43.20 9.07 1000000 0 360.17/360.38 c 255 388 391.61 55.11 7.11 1000000 0 361.47/361.65 c 255 385 402.84 52.82 7.63 1000000 0 362.78/362.92 c 257 348 399.27 48.63 8.21 1000000 0 363.98/364.19 c 253 349 402.83 51.57 7.81 1000000 0 365.27/365.47 c 248 421 398.28 55.65 7.16 1000000 0 366.57/366.73 c 238 486 397.15 56.46 7.03 1000000 0 367.87/368.00 c 266 458 398.43 50.30 7.92 1000000 0 369.07/369.27 c 253 428 396.54 47.21 8.40 1000000 0 370.37/370.54 c 253 454 403.49 52.34 7.71 1000000 0 371.68/371.81 c 240 270 401.42 46.66 8.60 1000000 0 372.87/373.08 c 227 415 401.86 50.56 7.95 1000000 0 374.17/374.35 c 256 358 395.64 56.96 6.95 1000000 0 375.47/375.62 c 221 373 394.10 49.00 8.04 1000000 0 376.67/376.89 c 230 362 392.22 51.08 7.68 1000000 0 377.97/378.16 c 246 391 400.36 46.82 8.55 1000000 0 379.27/379.43 c 236 443 396.98 50.42 7.87 1000000 0 380.57/380.70 c 244 431 398.44 50.74 7.85 1000000 0 381.77/381.97 c 223 372 393.53 53.50 7.36 1000000 0 383.07/383.24 c 225 416 389.48 48.22 8.08 1000000 0 384.37/384.50 c 242 375 397.99 56.72 7.02 1000000 0 385.57/385.77 c 251 417 402.84 50.31 8.01 1000000 0 386.87/387.04 c 250 420 400.98 52.46 7.64 1000000 0 388.17/388.31 c 244 402 400.84 54.65 7.34 1000000 0 389.36/389.58 c 252 387 405.89 58.65 6.92 1000000 0 390.66/390.85 c 242 337 391.07 56.21 6.96 1000000 0 391.96/392.12 c 241 428 398.26 51.24 7.77 1000000 0 393.16/393.39 c 269 344 402.92 69.29 5.81 1000000 0 394.46/394.66 c 256 340 398.72 52.94 7.53 1000000 0 395.77/395.92 c 263 373 399.43 50.73 7.87 1000000 0 396.97/397.19 c 262 405 402.54 51.92 7.75 1000000 0 398.26/398.46 c 252 288 396.70 60.45 6.56 1000000 0 399.56/399.73 c 237 420 397.20 54.70 7.26 1000000 0 400.86/401.00 c 249 379 392.02 49.90 7.86 1000000 0 402.06/402.26 c 249 379 400.06 56.19 7.12 1000000 0 403.36/403.53 c 248 398 406.81 52.57 7.74 1000000 0 404.57/404.80 c 213 380 388.84 50.55 7.69 1000000 0 405.86/406.07 c 257 347 399.15 47.88 8.34 1000000 0 407.16/407.34 c 261 420 398.29 48.31 8.25 1000000 0 408.46/408.60 c 247 359 394.68 51.87 7.61 1000000 0 409.66/409.87 c 237 368 391.02 46.93 8.33 1000000 0 410.96/411.14 c 241 391 404.28 52.31 7.73 1000000 0 412.27/412.41 c 238 348 389.83 45.33 8.60 1000000 0 413.47/413.68 c 273 426 406.51 47.20 8.61 1000000 0 414.76/414.95 c 261 398 405.84 48.57 8.36 1000000 0 416.06/416.22 c 247 379 406.79 66.63 6.11 1000000 0 417.26/417.49 c 260 424 399.26 51.96 7.68 1000000 0 418.56/418.75 c 225 411 394.80 51.70 7.64 1000000 0 419.86/420.02 c 219 471 397.47 52.72 7.54 1000000 0 421.06/421.29 c 242 337 400.38 51.13 7.83 1000000 0 422.36/422.55 c 240 373 395.15 56.34 7.01 1000000 0 423.66/423.82 c 244 403 396.81 55.72 7.12 1000000 0 424.86/425.08 c 227 395 398.16 55.27 7.20 1000000 0 426.15/426.35 c 248 392 399.69 47.35 8.44 1000000 0 427.45/427.61 c 262 376 394.09 47.79 8.25 1000000 0 428.65/428.89 c 259 377 400.69 56.20 7.13 1000000 0 429.96/430.16 c 257 396 394.92 47.49 8.32 1000000 0 431.25/431.42 c 235 382 391.13 49.21 7.95 1000000 0 432.45/432.69 c 238 421 400.48 54.88 7.30 1000000 0 433.75/433.96 c 237 353 390.00 47.33 8.24 1000000 0 435.05/435.23 c 249 392 397.75 53.78 7.40 1000000 0 436.25/436.49 c 259 473 411.01 51.80 7.94 1000000 0 437.56/437.76 c 244 319 396.43 50.26 7.89 1000000 0 438.85/439.03 c 268 396 406.93 53.98 7.54 1000000 0 440.15/440.30 c 251 446 394.29 46.54 8.47 1000000 0 441.35/441.57 c 246 415 396.85 52.70 7.53 1000000 0 442.65/442.83 c 266 384 394.33 51.31 7.69 1000000 0 443.95/444.11 c 252 454 403.17 49.06 8.22 1000000 0 445.15/445.37 c 263 452 402.41 49.04 8.21 1000000 0 446.46/446.64 c 235 450 392.75 51.92 7.56 1000000 0 447.75/447.91 c 241 384 401.82 48.91 8.22 1000000 0 448.95/449.18 c 253 471 400.11 48.68 8.22 1000000 0 450.25/450.45 c 252 408 396.68 46.12 8.60 1000000 0 451.54/451.72 c 241 372 405.61 53.72 7.55 1000000 0 452.74/452.99 c 266 416 400.79 53.99 7.42 1000000 0 454.05/454.27 c 255 341 405.79 59.04 6.87 1000000 0 455.34/455.53 c 240 348 395.04 48.76 8.10 1000000 0 456.64/456.80 c 245 407 403.39 51.48 7.84 1000000 0 457.84/458.07 c 263 304 396.82 57.33 6.92 1000000 0 459.14/459.34 c 249 434 396.02 53.41 7.41 1000000 0 460.44/460.61 c 263 422 394.75 54.10 7.30 1000000 0 461.64/461.88 c 247 368 391.77 53.04 7.39 1000000 0 462.95/463.15 c 250 397 397.51 50.60 7.86 1000000 0 464.24/464.41 c 237 427 395.03 48.85 8.09 1000000 0 465.44/465.68 c 256 425 396.99 48.74 8.15 1000000 0 466.74/466.95 c 268 333 402.93 54.72 7.36 1000000 0 468.04/468.22 c 257 394 401.47 49.11 8.17 1000000 0 469.24/469.48 c 269 346 392.91 46.40 8.47 1000000 0 470.55/470.75 c 260 349 399.13 48.14 8.29 1000000 0 471.84/472.02 c 246 408 407.25 57.27 7.11 1000000 0 473.04/473.29 c 260 400 403.89 54.79 7.37 1000000 0 474.34/474.56 c 254 369 390.69 45.64 8.56 1000000 0 475.64/475.83 c 250 411 396.62 45.97 8.63 1000000 0 476.94/477.10 c 250 375 403.09 51.28 7.86 1000000 0 478.14/478.36 c 254 389 401.47 52.80 7.60 1000000 0 479.44/479.63 c 233 404 396.77 49.96 7.94 1000000 0 480.64/480.89 c 241 453 395.05 44.62 8.85 1000000 0 481.94/482.16 c 252 457 404.29 50.58 7.99 1000000 0 483.24/483.43 c 244 314 389.02 54.63 7.12 1000000 0 484.54/484.70 c 250 459 389.45 45.88 8.49 1000000 0 485.73/485.97 c 234 416 396.12 50.61 7.83 1000000 0 487.04/487.24 c 258 367 407.10 50.33 8.09 1000000 0 488.33/488.50 c 255 432 404.11 49.43 8.18 1000000 0 489.53/489.77 c 241 473 399.22 49.49 8.07 1000000 0 490.83/491.03 c 230 424 397.75 47.00 8.46 1000000 0 492.13/492.30 c 250 450 402.84 52.51 7.67 1000000 0 493.33/493.58 c 268 352 400.57 48.89 8.19 1000000 0 494.63/494.84 c 256 429 397.04 49.06 8.09 1000000 0 495.94/496.11 c 249 375 400.46 46.14 8.68 1000000 0 497.13/497.38 c 251 434 401.98 48.34 8.31 1000000 0 498.43/498.64 c 250 304 391.73 47.51 8.25 1000000 0 499.73/499.91 c 268 401 401.24 46.64 8.60 1000000 0 500.93/501.18 c 239 419 393.98 52.10 7.56 1000000 0 502.23/502.45 c 256 387 401.01 50.68 7.91 1000000 0 503.54/503.71 c 253 379 392.71 46.71 8.41 1000000 0 504.74/504.98 c 274 466 398.99 46.61 8.56 1000000 0 506.03/506.25 c 255 382 398.04 46.07 8.64 1000000 0 507.33/507.52 c 237 340 397.62 54.59 7.28 1000000 0 508.53/508.79 c 266 447 403.32 59.17 6.82 1000000 0 509.83/510.06 c 256 356 399.32 50.08 7.97 1000000 0 511.13/511.33 c 245 343 392.41 46.57 8.43 1000000 0 512.33/512.60 c 238 356 401.23 49.26 8.14 1000000 0 513.63/513.86 c 245 348 394.31 46.87 8.41 1000000 0 514.93/515.13 c 220 346 398.06 46.22 8.61 1000000 0 516.13/516.40 c 242 469 399.37 53.04 7.53 1000000 0 517.43/517.66 c 230 360 402.66 51.38 7.84 1000000 0 518.73/518.93 c 250 464 407.52 57.85 7.04 1000000 0 520.03/520.20 c 250 365 391.16 47.92 8.16 1000000 0 521.23/521.46 c 246 497 398.46 52.86 7.54 1000000 0 522.52/522.74 c 261 361 390.29 44.85 8.70 1000000 0 523.82/524.00 c 260 425 395.65 46.80 8.45 1000000 0 525.02/525.28 c 250 370 405.54 52.74 7.69 1000000 0 526.32/526.54 c 244 480 395.28 53.23 7.43 1000000 0 527.62/527.81 c 264 497 394.26 50.88 7.75 1000000 0 528.83/529.08 c 252 355 391.77 47.48 8.25 1000000 0 530.12/530.34 c 247 348 388.83 48.36 8.04 1000000 0 531.42/531.61 c 258 390 406.97 52.81 7.71 1000000 0 532.62/532.88 c 238 407 389.29 47.69 8.16 1000000 0 533.92/534.15 c 246 338 401.33 46.06 8.71 1000000 0 535.22/535.42 c 251 435 403.06 48.79 8.26 1000000 0 536.42/536.68 c 252 365 396.77 42.45 9.35 1000000 0 537.73/537.95 c 247 422 401.72 49.40 8.13 1000000 0 539.02/539.21 c 247 407 391.06 53.33 7.33 1000000 0 540.22/540.48 c 254 407 400.81 49.75 8.06 1000000 0 541.52/541.75 c 253 396 401.27 52.71 7.61 1000000 0 542.82/543.02 c 246 421 394.41 51.69 7.63 1000000 0 544.02/544.29 c 253 410 401.00 50.47 7.94 1000000 0 545.32/545.55 c 257 400 392.78 46.21 8.50 1000000 0 546.62/546.82 c 261 384 400.92 49.50 8.10 1000000 0 547.82/548.09 c 250 329 398.47 52.43 7.60 1000000 0 549.12/549.36 c 249 457 403.71 56.34 7.17 1000000 0 550.42/550.62 c 253 387 391.77 51.83 7.56 1000000 0 551.62/551.89 c 261 380 394.78 51.24 7.70 1000000 0 552.92/553.17 c 268 399 403.98 49.57 8.15 1000000 0 554.22/554.44 c 263 383 402.37 51.88 7.76 1000000 0 555.51/555.70 c 247 438 397.53 50.29 7.90 1000000 0 556.71/556.97 c 247 415 398.17 50.49 7.89 1000000 0 558.01/558.24 c 235 413 390.15 48.67 8.02 1000000 0 559.31/559.50 c 256 461 395.09 51.72 7.64 1000000 0 560.51/560.77 c 249 346 396.53 53.52 7.41 1000000 0 561.82/562.04 c 260 418 399.31 46.53 8.58 1000000 0 563.11/563.31 c 248 345 395.95 56.09 7.06 1000000 0 564.31/564.58 c 262 445 400.01 50.82 7.87 1000000 0 565.61/565.84 c 196 356 402.50 52.80 7.62 1000000 0 566.91/567.11 c 252 486 404.43 55.67 7.27 1000000 0 568.11/568.38 c 240 313 400.72 47.27 8.48 1000000 0 569.41/569.65 c 246 447 396.88 56.64 7.01 1000000 0 570.72/570.92 c 242 422 398.82 49.97 7.98 1000000 0 571.91/572.19 c 262 372 400.93 50.55 7.93 1000000 0 573.21/573.46 c 238 401 397.60 56.34 7.06 1000000 0 574.51/574.73 c 257 435 404.30 47.66 8.48 1000000 0 575.71/575.99 c 262 369 403.92 51.14 7.90 1000000 0 577.01/577.26 c 240 443 402.73 47.60 8.46 1000000 0 578.32/578.52 c 248 373 396.18 50.35 7.87 1000000 0 579.51/579.79 c 261 463 398.91 42.60 9.36 1000000 0 580.81/581.05 c 245 460 398.32 48.39 8.23 1000000 0 582.11/582.32 c 238 345 401.75 46.60 8.62 1000000 0 583.31/583.59 c 255 397 394.22 50.08 7.87 1000000 0 584.61/584.85 c 225 395 399.00 52.94 7.54 1000000 0 585.91/586.12 c 262 412 409.06 50.01 8.18 1000000 0 587.11/587.39 c 257 438 394.49 48.82 8.08 1000000 0 588.40/588.66 c 270 348 398.09 49.34 8.07 1000000 0 589.70/589.92 c 234 367 401.19 60.49 6.63 1000000 0 590.90/591.19 c 245 353 393.75 49.88 7.89 1000000 0 592.20/592.45 c 235 454 398.40 48.06 8.29 1000000 0 593.50/593.73 c 260 487 399.26 53.28 7.49 1000000 0 594.81/595.00 c 259 362 393.85 54.45 7.23 1000000 0 596.01/596.27 c 257 389 394.91 50.12 7.88 1000000 0 597.30/597.54 c 237 384 401.04 49.18 8.16 1000000 0 598.60/598.81 c 235 358 398.65 50.53 7.89 1000000 0 599.80/600.07 c 217 324 393.86 61.14 6.44 1000000 0 601.10/601.34 c 256 378 395.10 51.35 7.69 1000000 0 602.40/602.61 c 247 326 397.06 52.30 7.59 1000000 0 603.61/603.87 c 257 390 401.04 53.66 7.47 1000000 0 604.90/605.14 c 243 443 396.19 54.71 7.24 1000000 0 606.20/606.41 c 246 323 397.66 50.09 7.94 1000000 0 607.40/607.68 c 232 432 391.63 54.60 7.17 1000000 0 608.70/608.95 c 236 346 388.43 46.22 8.40 1000000 0 610.00/610.21 c 259 399 401.25 55.24 7.26 1000000 0 611.20/611.49 c 230 459 393.07 48.62 8.08 1000000 0 612.51/612.75 c 249 454 389.62 44.17 8.82 1000000 0 613.80/614.02 c 265 404 405.56 54.89 7.39 1000000 0 615.00/615.28 c 235 460 388.86 50.90 7.64 1000000 0 616.30/616.55 c 264 400 393.17 49.93 7.87 1000000 0 617.60/617.82 c 267 424 401.08 51.03 7.86 1000000 0 618.80/619.08 c 266 424 397.38 59.82 6.64 1000000 0 620.10/620.35 c 270 425 393.96 47.61 8.27 1000000 0 621.40/621.62 c 247 321 393.68 45.46 8.66 1000000 0 622.59/622.89 c 251 376 392.63 51.88 7.57 1000000 0 623.89/624.16 c 247 389 398.66 46.83 8.51 1000000 0 625.19/625.43 c 251 351 398.79 51.63 7.72 1000000 0 626.39/626.69 c 260 351 396.80 50.78 7.81 1000000 0 627.69/627.96 c 247 344 397.66 54.93 7.24 1000000 0 629.00/629.23 c 253 442 397.29 51.40 7.73 1000000 0 630.19/630.49 c 243 389 398.02 54.60 7.29 1000000 0 631.49/631.76 c 261 434 403.91 52.95 7.63 1000000 0 632.79/633.03 c 237 384 400.08 61.24 6.53 1000000 0 634.09/634.30 c 278 334 397.03 52.01 7.63 1000000 0 635.29/635.56 c 263 452 399.93 49.76 8.04 1000000 0 636.60/636.82 c 247 338 394.13 49.22 8.01 1000000 0 637.80/638.09 c 259 399 404.61 50.34 8.04 1000000 0 639.09/639.36 c 250 373 396.03 46.24 8.56 1000000 0 640.39/640.63 c 219 369 393.65 48.09 8.19 1000000 0 641.59/641.89 c 244 447 399.14 48.65 8.20 1000000 0 642.89/643.16 c 251 402 395.13 50.76 7.78 1000000 0 644.19/644.43 c 256 314 395.57 48.94 8.08 1000000 0 645.40/645.70 c 249 434 405.00 59.89 6.76 1000000 0 646.69/646.97 c 226 424 398.62 48.03 8.30 1000000 0 647.99/648.23 c 249 422 393.24 49.27 7.98 1000000 0 649.29/649.50 c 251 420 394.72 50.28 7.85 1000000 0 650.49/650.77 c 257 384 390.89 51.65 7.57 1000000 0 651.79/652.04 c 227 319 391.90 48.96 8.00 1000000 0 653.09/653.31 c 238 430 397.30 48.43 8.20 1000000 0 654.29/654.58 c 248 326 399.60 52.54 7.61 1000000 0 655.59/655.85 c 244 445 388.96 48.10 8.09 1000000 0 656.88/657.12 c 249 416 395.25 51.49 7.68 1000000 0 658.08/658.38 c 236 326 396.36 45.68 8.68 1000000 0 659.38/659.66 c 239 400 404.16 58.65 6.89 1000000 0 660.68/660.93 c 259 448 399.45 50.45 7.92 1000000 0 661.89/662.19 c 237 318 391.25 53.95 7.25 1000000 0 663.18/663.46 c 264 385 399.97 48.62 8.23 1000000 0 664.48/664.73 c 246 385 398.75 52.97 7.53 1000000 0 665.68/665.99 c 259 417 394.45 49.07 8.04 1000000 0 666.98/667.26 c 264 337 390.70 50.62 7.72 1000000 0 668.28/668.53 c 271 420 404.18 49.01 8.25 1000000 0 669.48/669.79 c 245 466 394.86 52.39 7.54 1000000 0 670.79/671.06 c 265 402 402.53 54.49 7.39 1000000 0 672.08/672.33 c 216 334 397.03 52.24 7.60 1000000 0 673.38/673.60 c 253 371 396.35 46.17 8.58 1000000 0 674.58/674.86 c 260 482 399.73 47.95 8.34 1000000 0 675.88/676.13 c 239 360 394.38 52.12 7.57 1000000 0 677.18/677.40 c 247 367 400.59 48.99 8.18 1000000 0 678.39/678.66 c 262 389 402.46 48.68 8.27 1000000 0 679.68/679.93 c 248 342 398.52 57.40 6.94 1000000 0 680.98/681.21 c 257 434 402.14 49.44 8.13 1000000 0 682.18/682.48 c 261 424 396.87 44.13 8.99 1000000 0 683.48/683.74 c 255 344 397.35 45.11 8.81 1000000 0 684.78/685.01 c 225 396 398.36 49.60 8.03 1000000 0 685.98/686.28 c 260 485 393.36 50.09 7.85 1000000 0 687.28/687.55 c 243 347 400.55 50.74 7.89 1000000 0 688.58/688.82 c 271 446 401.97 47.62 8.44 1000000 0 689.78/690.09 c 232 398 398.14 51.16 7.78 1000000 0 691.08/691.36 c 236 494 396.54 48.93 8.10 1000000 0 692.37/692.63 c 245 339 399.55 49.49 8.07 1000000 0 693.67/693.90 c 255 415 399.56 51.60 7.74 1000000 0 694.88/695.17 c 265 380 399.93 48.69 8.21 1000000 0 696.17/696.44 c 215 404 396.97 54.72 7.25 1000000 0 697.47/697.71 c 241 371 394.70 44.98 8.77 1000000 0 698.67/698.97 c 239 389 394.80 51.93 7.60 1000000 0 699.97/700.24 c 259 406 400.69 45.68 8.77 1000000 0 701.27/701.51 c 234 397 401.25 47.40 8.46 1000000 0 702.47/702.78 c 264 464 405.24 57.56 7.04 1000000 0 703.78/704.05 c 238 387 397.83 55.27 7.20 1000000 0 705.07/705.31 c 258 392 395.40 48.34 8.18 1000000 0 706.27/706.59 c 242 347 402.62 52.73 7.64 1000000 0 707.57/707.85 c 268 439 406.27 52.34 7.76 1000000 0 708.87/709.12 c 251 346 400.40 50.91 7.87 1000000 0 710.17/710.40 c 248 415 396.64 49.24 8.05 1000000 0 711.38/711.67 c 245 401 399.15 50.03 7.98 1000000 0 712.67/712.94 c 261 434 398.51 50.15 7.95 1000000 0 713.97/714.20 c 255 364 386.08 47.31 8.16 1000000 0 715.17/715.47 c 245 378 398.27 47.35 8.41 1000000 0 716.47/716.74 c 261 331 406.98 52.81 7.71 1000000 0 717.77/718.01 c 235 377 394.44 52.38 7.53 1000000 0 718.97/719.27 c 232 503 395.47 54.36 7.28 1000000 0 720.28/720.55 c 269 458 403.43 51.07 7.90 1000000 0 721.57/721.81 c 250 430 400.50 51.69 7.75 1000000 0 722.77/723.08 c 257 284 407.82 56.82 7.18 1000000 0 724.07/724.35 c 254 331 393.68 50.10 7.86 1000000 0 725.37/725.62 c 253 381 396.55 52.20 7.60 1000000 0 726.57/726.89 c 244 380 407.30 50.73 8.03 1000000 0 727.87/728.15 c 274 392 400.61 47.10 8.51 1000000 0 729.17/729.42 c 264 329 401.09 47.82 8.39 1000000 0 730.37/730.69 c 229 527 402.65 59.50 6.77 1000000 0 731.66/731.96 c 245 464 394.80 47.81 8.26 1000000 0 732.96/733.22 c 259 374 394.86 53.57 7.37 1000000 0 734.16/734.49 c 241 413 399.52 49.58 8.06 1000000 0 735.46/735.77 c 244 429 392.60 48.57 8.08 1000000 0 736.77/737.04 c 238 399 401.23 53.72 7.47 1000000 0 738.06/738.30 c 248 396 393.00 49.03 8.01 1000000 0 739.26/739.57 c 269 335 401.18 49.30 8.14 1000000 0 740.56/740.84 c 259 363 402.12 51.67 7.78 1000000 0 741.86/742.11 c 259 395 389.17 43.75 8.90 1000000 0 743.06/743.38 c 234 412 393.87 47.82 8.24 1000000 0 744.37/744.65 c 251 451 402.67 51.89 7.76 1000000 0 745.66/745.92 c 253 407 396.45 45.41 8.73 1000000 0 746.86/747.19 c 251 362 399.97 49.51 8.08 1000000 0 748.16/748.46 c 240 347 393.65 49.93 7.88 1000000 0 749.46/749.72 c 253 441 398.04 50.31 7.91 1000000 0 750.66/750.99 c 253 344 397.87 47.78 8.33 1000000 0 751.96/752.26 c 232 373 392.43 44.41 8.84 1000000 0 753.27/753.53 c 237 411 398.19 55.71 7.15 1000000 0 754.56/754.80 c 231 408 395.42 45.98 8.60 1000000 0 755.76/756.06 c 252 479 393.89 56.04 7.03 1000000 0 757.06/757.33 c 266 442 397.16 50.50 7.86 1000000 0 758.26/758.60 c 274 453 402.41 54.87 7.33 1000000 0 759.56/759.86 c 243 379 389.12 51.88 7.50 1000000 0 760.86/761.14 c 252 409 400.18 63.00 6.35 1000000 0 762.16/762.41 c 251 385 394.51 48.82 8.08 1000000 0 763.36/763.68 c 269 393 402.39 48.86 8.24 1000000 0 764.66/764.94 c 235 408 408.70 54.30 7.53 1000000 0 765.96/766.21 c 258 426 403.12 47.96 8.41 1000000 0 767.16/767.48 c 225 422 392.28 48.75 8.05 1000000 0 768.46/768.75 c 273 370 401.89 45.89 8.76 1000000 0 769.76/770.02 c 214 502 389.52 48.85 7.97 1000000 0 770.95/771.29 c 242 524 392.60 55.24 7.11 1000000 0 772.25/772.56 c 249 478 401.12 57.71 6.95 1000000 0 773.55/773.82 c 249 417 397.78 48.19 8.25 1000000 0 774.75/775.09 c 240 440 398.97 55.09 7.24 1000000 0 776.05/776.35 c 259 353 397.56 49.88 7.97 1000000 0 777.36/777.63 c 263 371 400.73 51.39 7.80 1000000 0 778.65/778.90 c 245 408 399.24 67.99 5.87 1000000 0 779.85/780.17 c 242 451 395.11 47.26 8.36 1000000 0 781.15/781.44 c 224 365 402.29 45.60 8.82 1000000 0 782.45/782.71 c 256 361 400.98 50.75 7.90 1000000 0 783.65/783.97 c 251 349 390.05 52.35 7.45 1000000 0 784.95/785.24 c 257 390 397.86 46.90 8.48 1000000 0 786.26/786.51 c 243 366 394.52 52.72 7.48 1000000 0 787.45/787.78 c 266 419 401.01 54.34 7.38 1000000 0 788.75/789.05 c 244 402 405.15 58.33 6.95 1000000 0 790.05/790.32 c 265 345 401.40 48.86 8.22 1000000 0 791.25/791.59 c 221 455 389.21 52.57 7.40 1000000 0 792.55/792.86 c 244 357 398.76 51.23 7.78 1000000 0 793.85/794.12 c 229 433 390.36 52.79 7.40 1000000 0 795.06/795.39 c 253 407 404.25 54.66 7.40 1000000 0 796.35/796.65 c 247 392 403.37 58.66 6.88 1000000 0 797.65/797.92 c 249 404 405.51 55.86 7.26 1000000 0 798.85/799.19 c 256 488 411.01 50.53 8.13 1000000 0 800.15/800.45 c 247 414 396.64 53.23 7.45 1000000 0 801.45/801.72 c 245 461 396.47 52.72 7.52 1000000 0 802.65/802.99 c 240 403 399.08 55.26 7.22 1000000 0 803.94/804.26 c 196 467 395.23 51.97 7.61 1000000 0 805.24/805.53 c 247 355 398.27 53.55 7.44 1000000 0 806.44/806.79 c 251 309 394.89 58.02 6.81 1000000 0 807.74/808.06 c 231 393 396.35 51.33 7.72 1000000 0 809.05/809.33 c 254 395 398.02 49.78 8.00 1000000 0 810.36/810.60 c 251 338 392.14 50.97 7.69 1000000 0 811.56/811.87 c 249 375 395.49 48.86 8.09 1000000 0 812.85/813.14 c 262 366 392.36 50.38 7.79 1000000 0 814.15/814.41 c 242 429 396.29 49.98 7.93 1000000 0 815.35/815.67 c 260 326 399.62 54.39 7.35 1000000 0 816.65/816.94 c 244 335 393.83 51.84 7.60 1000000 0 817.95/818.21 c 260 351 400.45 50.51 7.93 1000000 0 819.16/819.48 c 229 353 397.44 55.21 7.20 1000000 0 820.45/820.75 c 245 386 391.83 48.84 8.02 1000000 0 821.75/822.02 c 244 351 398.50 49.17 8.10 1000000 0 822.95/823.29 c 243 373 393.02 47.51 8.27 1000000 0 824.25/824.56 c 250 365 397.52 48.53 8.19 1000000 0 825.55/825.83 c 259 397 398.53 52.60 7.58 1000000 0 826.86/827.10 c 254 353 404.86 56.14 7.21 1000000 0 828.05/828.37 c 262 364 399.89 48.47 8.25 1000000 0 829.35/829.64 c 238 353 396.49 55.82 7.10 1000000 0 830.65/830.91 c 244 302 398.08 48.97 8.13 1000000 0 831.85/832.18 c 256 374 399.48 51.23 7.80 1000000 0 833.15/833.45 c 252 386 397.76 52.99 7.51 1000000 0 834.45/834.72 c 252 477 404.87 50.54 8.01 1000000 0 835.65/835.99 c 264 353 397.33 51.01 7.79 1000000 0 836.94/837.25 c 257 382 401.65 50.64 7.93 1000000 0 838.24/838.52 c 225 409 399.46 57.28 6.97 1000000 0 839.44/839.79 c 247 432 406.71 59.09 6.88 1000000 0 840.74/841.06 c 254 354 403.20 46.61 8.65 1000000 0 842.04/842.33 c 259 332 402.23 51.59 7.80 1000000 0 843.35/843.60 c 250 363 395.97 53.48 7.40 1000000 0 844.55/844.87 c 263 413 394.15 45.57 8.65 1000000 0 845.84/846.13 c 251 413 397.47 54.62 7.28 1000000 0 847.14/847.40 c 232 353 393.11 51.48 7.64 1000000 0 848.34/848.67 c 247 365 401.50 54.35 7.39 1000000 0 849.64/849.94 c 232 402 391.04 51.33 7.62 1000000 0 850.94/851.20 c 260 360 399.95 49.34 8.11 1000000 0 852.15/852.48 c 232 391 393.66 53.10 7.41 1000000 0 853.44/853.74 c 272 407 401.85 45.29 8.87 1000000 0 854.74/855.01 c 249 376 398.10 50.39 7.90 1000000 0 855.94/856.27 c 254 490 389.77 47.65 8.18 1000000 0 857.24/857.54 c 259 454 398.70 52.90 7.54 1000000 0 858.54/858.81 c 243 461 391.92 50.35 7.78 1000000 0 859.74/860.09 c 257 355 394.85 50.06 7.89 1000000 0 861.05/861.35 c 259 448 399.02 49.41 8.08 1000000 0 862.34/862.62 c 245 438 398.13 48.38 8.23 1000000 0 863.54/863.89 c 260 330 399.44 44.92 8.89 1000000 0 864.84/865.16 c 220 399 393.02 49.29 7.97 1000000 0 866.14/866.43 c 252 411 399.16 61.03 6.54 1000000 0 867.44/867.70 c 240 346 400.41 53.80 7.44 1000000 0 868.64/868.96 c 256 413 397.74 50.13 7.93 1000000 0 869.94/870.23 c 260 418 391.50 53.31 7.34 1000000 0 871.24/871.50 c 243 361 395.88 57.13 6.93 1000000 0 872.44/872.77 c 244 341 393.69 56.85 6.93 1000000 0 873.74/874.04 c 245 425 406.12 52.50 7.74 1000000 0 875.03/875.31 c 268 418 403.74 50.86 7.94 1000000 0 876.23/876.58 c 273 414 407.59 48.66 8.38 1000000 0 877.54/877.85 c 259 425 393.39 48.31 8.14 1000000 0 878.83/879.11 c 235 344 388.79 46.05 8.44 1000000 0 880.03/880.38 c 264 301 401.18 53.88 7.45 1000000 0 881.33/881.65 c 260 272 393.62 45.92 8.57 1000000 0 882.63/882.92 c 251 383 391.16 51.18 7.64 1000000 0 883.83/884.19 c 265 392 403.06 55.90 7.21 1000000 0 885.14/885.46 c 250 341 407.54 48.94 8.33 1000000 0 886.43/886.73 c 222 435 397.43 56.29 7.06 1000000 0 887.63/887.99 c 268 290 400.30 49.64 8.06 1000000 0 888.93/889.26 c 262 381 400.08 53.95 7.42 1000000 0 890.23/890.53 c 249 428 404.00 45.98 8.79 1000000 0 891.53/891.80 c 256 444 399.32 54.91 7.27 1000000 0 892.73/893.08 c 250 417 396.24 46.16 8.58 1000000 0 894.04/894.34 c 265 357 400.95 49.84 8.05 1000000 0 895.33/895.61 c 187 377 401.10 56.94 7.04 1000000 0 896.53/896.87 c 253 391 400.19 48.98 8.17 1000000 0 897.83/898.14 c 238 409 395.11 49.00 8.06 1000000 0 899.13/899.40 c 254 424 399.35 48.71 8.20 1000000 0 900.33/900.67 c 253 368 392.51 51.50 7.62 1000000 0 901.63/901.94 c 259 400 392.40 47.78 8.21 1000000 0 902.93/903.20 c 246 307 402.43 55.69 7.23 1000000 0 904.13/904.47 c 249 343 401.48 52.83 7.60 1000000 0 905.43/905.74 c 253 377 401.48 53.56 7.50 1000000 0 906.73/907.01 c 271 387 400.01 51.97 7.70 1000000 0 907.92/908.27 c 251 373 400.90 54.48 7.36 1000000 0 909.22/909.54 c 255 420 399.59 48.28 8.28 1000000 0 910.53/910.81 c 237 425 393.96 46.82 8.42 1000000 0 911.72/912.08 c 240 419 394.32 48.94 8.06 1000000 0 913.02/913.35 c 247 471 396.39 52.71 7.52 1000000 0 914.32/914.61 c 252 365 389.86 50.10 7.78 1000000 0 915.52/915.88 c 262 355 395.66 44.46 8.90 1000000 0 916.82/917.15 c 237 354 397.99 56.77 7.01 1000000 0 918.13/918.42 c 238 386 396.91 49.42 8.03 1000000 0 919.33/919.69 c 237 303 402.44 51.56 7.80 1000000 0 920.62/920.96 c 263 390 397.95 49.49 8.04 1000000 0 921.92/922.23 c 246 424 394.48 50.27 7.85 1000000 0 923.12/923.50 c 251 398 398.93 53.71 7.43 1000000 0 924.42/924.76 c 241 291 390.49 49.51 7.89 1000000 0 925.72/926.03 c 237 347 393.71 51.88 7.59 1000000 0 926.93/927.30 c 261 391 397.55 47.02 8.45 1000000 0 928.22/928.57 c 252 427 408.29 51.90 7.87 1000000 0 929.52/929.84 c 261 392 399.29 49.73 8.03 1000000 0 930.82/931.11 c 263 383 398.25 52.63 7.57 1000000 0 932.02/932.38 c 246 343 399.17 50.45 7.91 1000000 0 933.32/933.65 c 239 419 394.64 51.19 7.71 1000000 0 934.62/934.92 c 254 443 395.84 49.66 7.97 1000000 0 935.82/936.18 c 253 419 390.36 43.91 8.89 1000000 0 937.12/937.45 c 233 448 396.08 55.15 7.18 1000000 0 938.41/938.71 c 249 355 390.96 50.85 7.69 1000000 0 939.61/939.98 c 245 380 395.79 56.20 7.04 1000000 0 940.91/941.24 c 231 455 399.08 53.31 7.49 1000000 0 942.21/942.51 c 264 449 391.80 45.23 8.66 1000000 0 943.42/943.78 c 257 419 397.63 61.92 6.42 1000000 0 944.71/945.04 c 248 462 392.43 46.26 8.48 1000000 0 946.01/946.30 c 226 321 400.03 55.89 7.16 1000000 0 947.21/947.56 c 262 385 397.11 49.62 8.00 1000000 0 948.51/948.83 c 252 386 398.67 50.81 7.85 1000000 0 949.81/950.10 c 249 390 402.29 53.36 7.54 1000000 0 951.01/951.37 c 231 348 394.18 56.20 7.01 1000000 0 952.32/952.65 c 261 374 402.75 49.62 8.12 1000000 0 953.61/953.92 c 264 356 394.52 47.83 8.25 1000000 0 954.81/955.19 c 260 376 395.60 49.93 7.92 1000000 0 956.11/956.46 c 263 411 397.25 50.59 7.85 1000000 0 957.41/957.73 c 255 368 396.77 49.95 7.94 1000000 0 958.61/958.99 c 255 350 396.38 46.64 8.50 1000000 0 959.92/960.26 c 264 462 403.69 46.21 8.74 1000000 0 961.21/961.53 c 262 420 408.27 56.83 7.18 1000000 0 962.51/962.80 c 215 377 394.87 52.32 7.55 1000000 0 963.71/964.06 c 236 298 397.07 49.15 8.08 1000000 0 965.01/965.33 c 231 411 388.13 55.59 6.98 1000000 0 966.31/966.60 c 221 415 394.73 47.28 8.35 1000000 0 967.51/967.86 c 224 368 389.78 51.76 7.53 1000000 0 968.81/969.13 c 261 393 406.18 54.25 7.49 1000000 0 970.11/970.40 c 242 462 403.92 56.28 7.18 1000000 0 971.31/971.67 c 249 363 393.96 52.58 7.49 1000000 0 972.60/972.94 c 260 406 397.95 51.31 7.76 1000000 0 973.90/974.21 c 269 445 401.34 44.80 8.96 1000000 0 975.10/975.48 c 246 408 397.01 50.27 7.90 1000000 0 976.41/976.75 c 253 365 401.68 50.16 8.01 1000000 0 977.70/978.02 c 261 394 395.28 45.65 8.66 1000000 0 978.90/979.29 c 244 495 399.52 50.24 7.95 1000000 0 980.20/980.55 c 252 370 399.65 55.69 7.18 1000000 0 981.50/981.82 c 272 358 394.97 50.98 7.75 1000000 0 982.70/983.09 c 239 431 400.32 49.48 8.09 1000000 0 984.00/984.35 c 266 286 397.14 55.23 7.19 1000000 0 985.31/985.62 c 252 496 401.23 55.32 7.25 1000000 0 986.50/986.89 c 249 444 395.92 46.19 8.57 1000000 0 987.80/988.16 c 254 347 398.18 51.16 7.78 1000000 0 989.10/989.43 c 265 396 395.25 46.14 8.57 1000000 0 990.40/990.70 c 231 332 394.87 50.89 7.76 1000000 0 991.60/991.97 c 253 385 402.92 52.20 7.72 1000000 0 992.91/993.24 c 275 333 402.20 52.63 7.64 1000000 0 994.20/994.51 c 250 429 406.27 56.63 7.17 1000000 0 995.40/995.77 c 240 370 402.89 49.75 8.10 1000000 0 996.70/997.03 c 262 471 398.37 59.00 6.75 1000000 0 998.00/998.30 c 251 416 396.28 45.10 8.79 1000000 0 999.20/999.57 c 266 349 405.26 45.35 8.94 1000000 0 1000.50/1000.83 c 224 422 397.96 52.01 7.65 1000000 0 1001.70/1002.10 c 263 362 401.35 49.00 8.19 1000000 0 1003.00/1003.37 c 251 387 402.01 46.25 8.69 1000000 0 1004.30/1004.64 c 238 351 400.31 53.78 7.44 1000000 0 1005.60/1005.91 c 238 371 399.44 50.37 7.93 1000000 0 1006.79/1007.18 c 254 349 397.69 50.94 7.81 1000000 0 1008.09/1008.44 c 248 407 396.30 49.93 7.94 1000000 0 1009.40/1009.71 c 258 410 392.82 42.70 9.20 1000000 0 1010.60/1010.98 c 232 325 399.66 56.04 7.13 1000000 0 1011.89/1012.25 c 250 384 403.54 55.98 7.21 1000000 0 1013.19/1013.51 c 274 320 403.26 51.19 7.88 1000000 0 1014.39/1014.77 c 256 425 402.79 50.20 8.02 1000000 0 1015.69/1016.04 c 236 393 399.77 58.84 6.79 1000000 0 1016.99/1017.30 c 250 427 398.54 52.50 7.59 1000000 0 1018.20/1018.58 c 253 416 404.31 57.02 7.09 1000000 0 1019.49/1019.85 c 251 404 418.54 47.96 8.73 1000000 0 1020.79/1021.11 c 268 443 396.52 43.86 9.04 1000000 0 1021.99/1022.38 c 255 346 396.41 52.82 7.50 1000000 0 1023.29/1023.66 c 213 324 391.92 47.00 8.34 1000000 0 1024.59/1024.92 c 245 465 403.48 52.80 7.64 1000000 0 1025.79/1026.19 c 226 392 396.41 53.73 7.38 1000000 0 1027.10/1027.45 c 250 350 395.13 51.47 7.68 1000000 0 1028.39/1028.72 c 240 426 399.95 57.27 6.98 1000000 0 1029.59/1029.99 c 255 388 401.17 51.43 7.80 1000000 0 1030.89/1031.26 c 251 431 403.17 47.55 8.48 1000000 0 1032.19/1032.53 c 241 465 396.24 49.34 8.03 1000000 0 1033.49/1033.80 c 239 362 405.42 59.55 6.81 1000000 0 1034.69/1035.06 c 249 368 401.01 49.29 8.14 1000000 0 1035.99/1036.32 c 254 527 400.38 47.77 8.38 1000000 0 1037.19/1037.59 c 266 419 404.67 50.71 7.98 1000000 0 1038.49/1038.85 c 209 395 393.17 46.68 8.42 1000000 0 1039.78/1040.13 c 244 409 399.12 47.27 8.44 1000000 0 1040.98/1041.39 c 258 474 394.66 47.17 8.37 1000000 0 1042.28/1042.66 c 263 368 396.65 46.52 8.53 1000000 0 1043.59/1043.93 c 231 350 391.41 49.19 7.96 1000000 0 1044.88/1045.20 c 257 395 401.13 47.81 8.39 1000000 0 1046.08/1046.47 c 257 347 392.06 49.57 7.91 1000000 0 1047.38/1047.74 c 261 364 400.54 52.43 7.64 1000000 0 1048.68/1049.00 c 266 408 406.57 59.11 6.88 1000000 0 1049.88/1050.26 c 265 445 393.11 48.41 8.12 1000000 0 1051.19/1051.53 c 226 520 398.22 48.85 8.15 1000000 0 1052.48/1052.80 c 256 400 394.58 49.94 7.90 1000000 0 1053.68/1054.07 c 267 452 396.58 48.68 8.15 1000000 0 1054.98/1055.34 c 261 509 404.63 47.80 8.47 1000000 0 1056.28/1056.60 c 232 337 389.87 50.03 7.79 1000000 0 1057.48/1057.87 c 247 370 393.51 48.00 8.20 1000000 0 1058.78/1059.14 c 241 394 402.40 52.27 7.70 1000000 0 1060.08/1060.41 c 234 378 393.61 47.41 8.30 1000000 0 1061.28/1061.68 c 267 330 400.50 51.00 7.85 1000000 0 1062.58/1062.95 c 216 375 387.14 48.02 8.06 1000000 0 1063.88/1064.21 c 250 410 397.54 44.63 8.91 1000000 0 1065.08/1065.48 c 267 361 405.09 55.03 7.36 1000000 0 1066.38/1066.75 c 273 355 402.56 46.51 8.66 1000000 0 1067.68/1068.02 c 246 401 394.91 47.00 8.40 1000000 0 1068.88/1069.28 c 251 472 403.69 50.00 8.07 1000000 0 1070.18/1070.55 c 245 404 395.89 47.95 8.26 1000000 0 1071.48/1071.82 c 220 351 392.05 50.88 7.70 1000000 0 1072.67/1073.09 c 256 391 395.48 48.26 8.19 1000000 0 1073.97/1074.36 c 262 418 394.82 46.00 8.58 1000000 0 1075.27/1075.62 c 255 427 396.91 48.08 8.26 1000000 0 1076.48/1076.90 c 252 423 403.82 49.85 8.10 1000000 0 1077.77/1078.16 c 224 338 390.88 49.92 7.83 1000000 0 1079.07/1079.43 c 253 416 399.96 51.12 7.82 1000000 0 1080.27/1080.69 c 237 436 391.89 45.49 8.61 1000000 0 1081.57/1081.95 c 246 413 398.96 56.81 7.02 1000000 0 1082.87/1083.22 c 255 414 392.25 51.71 7.58 1000000 0 1084.07/1084.49 c 260 395 402.39 47.47 8.48 1000000 0 1085.38/1085.76 c 239 397 401.71 58.34 6.89 1000000 0 1086.67/1087.03 c 209 382 396.35 52.85 7.50 1000000 0 1087.87/1088.29 c 259 355 397.39 47.54 8.36 1000000 0 1089.17/1089.56 c 251 338 393.92 49.98 7.88 1000000 0 1090.47/1090.83 c 245 380 395.74 45.17 8.76 1000000 0 1091.77/1092.10 c 261 448 395.76 51.89 7.63 1000000 0 1092.97/1093.37 c 266 419 402.76 48.58 8.29 1000000 0 1094.27/1094.64 c 253 319 400.27 53.80 7.44 1000000 0 1095.57/1095.91 c 253 362 388.45 49.69 7.82 1000000 0 1096.77/1097.18 c 231 404 397.49 54.17 7.34 1000000 0 1098.07/1098.44 c 230 408 393.45 49.06 8.02 1000000 0 1099.36/1099.71 c 272 420 404.10 54.83 7.37 1000000 0 1100.56/1100.98 c 232 349 402.32 48.83 8.24 1000000 0 1101.87/1102.25 c 259 332 400.93 50.56 7.93 1000000 0 1103.16/1103.52 c 254 402 394.04 51.60 7.64 1000000 0 1104.36/1104.79 c 222 499 401.63 49.29 8.15 1000000 0 1105.66/1106.05 c 237 416 401.28 48.09 8.34 1000000 0 1106.96/1107.31 c 222 337 409.59 51.37 7.97 1000000 0 1108.16/1108.58 c 239 421 394.52 53.84 7.33 1000000 0 1109.47/1109.85 c 243 396 399.79 47.92 8.34 1000000 0 1110.76/1111.12 c 252 382 399.08 48.60 8.21 1000000 0 1111.96/1112.38 c 250 372 397.14 52.25 7.60 1000000 0 1113.26/1113.66 c 274 393 400.36 46.97 8.52 1000000 0 1114.56/1114.92 c 240 468 396.57 51.56 7.69 1000000 0 1115.76/1116.19 c 210 339 395.56 52.17 7.58 1000000 0 1117.06/1117.46 c 253 344 396.76 48.79 8.13 1000000 0 1118.37/1118.73 c 259 443 402.04 52.24 7.70 1000000 0 1119.66/1120.00 c 268 472 399.52 47.72 8.37 1000000 0 1120.86/1121.26 c 228 373 397.63 53.02 7.50 1000000 0 1122.16/1122.53 c 254 479 396.77 49.94 7.95 1000000 0 1123.46/1123.80 c 262 363 402.35 47.86 8.41 1000000 0 1124.66/1125.06 c 207 332 397.89 54.17 7.35 1000000 0 1125.97/1126.33 c 255 360 393.47 48.96 8.04 1000000 0 1127.26/1127.60 c 233 441 401.89 48.64 8.26 1000000 0 1128.46/1128.87 c 253 408 404.18 50.39 8.02 1000000 0 1129.76/1130.15 c 254 425 395.20 46.83 8.44 1000000 0 1131.06/1131.42 c 254 426 395.85 54.73 7.23 1000000 0 1132.26/1132.69 c 259 335 396.40 48.77 8.13 1000000 0 1133.56/1133.95 c 238 356 394.32 53.27 7.40 1000000 0 1134.86/1135.22 c 238 345 403.84 57.19 7.06 1000000 0 1136.05/1136.48 c 252 296 393.99 48.82 8.07 1000000 0 1137.35/1137.75 c 266 434 401.72 45.99 8.73 1000000 0 1138.65/1139.02 c 245 358 401.01 51.75 7.75 1000000 0 1139.85/1140.29 c 265 404 407.53 49.17 8.29 1000000 0 1141.15/1141.56 c 258 436 395.37 45.28 8.73 1000000 0 1142.46/1142.83 c 255 319 403.52 51.92 7.77 1000000 0 1143.66/1144.09 c 237 474 401.34 50.75 7.91 1000000 0 1144.95/1145.35 c 247 324 395.22 51.91 7.61 1000000 0 1146.25/1146.62 c 246 375 396.16 58.02 6.83 1000000 0 1147.45/1147.89 c 261 388 398.60 50.63 7.87 1000000 0 1148.75/1149.16 c 234 372 394.42 47.48 8.31 1000000 0 1150.05/1150.42 c 264 375 404.08 48.29 8.37 1000000 0 1151.26/1151.69 c 261 370 400.46 52.27 7.66 1000000 0 1152.55/1152.97 c 249 390 389.65 44.25 8.81 1000000 0 1153.85/1154.24 c 236 444 400.13 57.80 6.92 1000000 0 1155.15/1155.51 c 229 414 392.96 53.40 7.36 1000000 0 1156.35/1156.79 c 239 401 404.40 51.58 7.84 1000000 0 1157.65/1158.06 c 259 433 393.41 47.09 8.35 1000000 0 1158.95/1159.33 c 246 409 399.69 56.67 7.05 1000000 0 1160.25/1160.60 c 245 345 392.87 46.50 8.45 1000000 0 1161.45/1161.87 c 256 402 400.18 54.55 7.34 1000000 0 1162.75/1163.14 c 265 396 400.13 49.85 8.03 1000000 0 1164.05/1164.41 c 247 393 398.68 49.66 8.03 1000000 0 1165.25/1165.68 c 256 353 395.54 56.91 6.95 1000000 0 1166.55/1166.95 c 231 436 398.27 50.10 7.95 1000000 0 1167.85/1168.21 c 251 411 403.94 48.87 8.27 1000000 0 1169.05/1169.49 c 233 393 386.83 47.70 8.11 1000000 0 1170.34/1170.75 c 244 447 393.89 52.47 7.51 1000000 0 1171.64/1172.03 c 270 390 400.66 51.62 7.76 1000000 0 1172.94/1173.30 c 251 350 404.06 44.90 9.00 1000000 0 1174.14/1174.57 c 252 367 391.56 48.42 8.09 1000000 0 1175.45/1175.83 c 247 407 397.97 48.96 8.13 1000000 0 1176.74/1177.10 c 257 356 401.14 54.33 7.38 1000000 0 1177.94/1178.37 c 239 379 392.09 44.25 8.86 1000000 0 1179.24/1179.64 c 253 455 400.38 53.52 7.48 1000000 0 1180.54/1180.92 c 250 492 400.71 54.69 7.33 1000000 0 1181.74/1182.18 c 247 382 390.98 45.29 8.63 1000000 0 1183.04/1183.45 c 256 406 396.78 47.88 8.29 1000000 0 1184.35/1184.73 c 248 351 403.98 53.62 7.53 1000000 0 1185.54/1185.99 c 258 300 397.21 48.30 8.22 1000000 0 1186.84/1187.26 c 249 322 403.81 46.01 8.78 1000000 0 1188.14/1188.52 c 249 403 395.21 51.93 7.61 1000000 0 1189.34/1189.79 c 241 361 403.22 53.05 7.60 1000000 0 1190.64/1191.05 c 251 375 395.89 44.75 8.85 1000000 0 1191.95/1192.33 c 253 496 393.18 46.02 8.54 1000000 0 1193.15/1193.59 c 260 356 398.89 48.53 8.22 1000000 0 1194.44/1194.85 c 254 355 400.47 47.33 8.46 1000000 0 1195.74/1196.13 c 269 353 402.81 52.14 7.73 1000000 0 1197.04/1197.40 c 272 358 399.45 47.07 8.49 1000000 0 1198.24/1198.67 c 247 404 394.62 55.63 7.09 1000000 0 1199.54/1199.93 c 245 394 397.23 45.94 8.65 1000000 0 1200.74/1201.20 c 247 339 398.17 52.16 7.63 1000000 0 1202.04/1202.47 c 247 406 401.80 56.09 7.16 1000000 0 1203.34/1203.74 c 252 367 400.19 53.59 7.47 1000000 0 1204.63/1205.00 c 249 345 398.24 55.84 7.13 1000000 0 1205.83/1206.27 c 259 374 395.14 50.75 7.79 1000000 0 1207.13/1207.54 c 248 410 398.12 49.43 8.05 1000000 0 1208.44/1208.80 c 249 343 393.92 53.39 7.38 1000000 0 1209.64/1210.07 c 264 394 400.65 49.87 8.03 1000000 0 1210.93/1211.34 c 262 297 399.24 51.84 7.70 1000000 0 1212.23/1212.61 c 247 463 396.80 48.74 8.14 1000000 0 1213.43/1213.88 c 254 405 399.91 48.30 8.28 1000000 0 1214.73/1215.15 c 234 382 401.82 57.53 6.98 1000000 0 1216.03/1216.42 c 243 372 400.01 55.56 7.20 1000000 0 1217.24/1217.68 c 252 364 387.78 49.31 7.86 1000000 0 1218.53/1218.95 c 267 437 398.98 53.00 7.53 1000000 0 1219.83/1220.22 c 263 383 400.43 53.71 7.46 1000000 0 1221.03/1221.49 c 273 458 397.78 49.22 8.08 1000000 0 1222.33/1222.76 c 246 341 395.14 47.68 8.29 1000000 0 1223.63/1224.02 c 231 396 392.35 50.26 7.81 1000000 0 1224.83/1225.29 c 214 412 395.47 50.68 7.80 1000000 0 1226.14/1226.56 c 247 456 401.16 55.23 7.26 1000000 0 1227.43/1227.83 c 257 323 395.59 50.27 7.87 1000000 0 1228.73/1229.10 c 246 379 391.53 49.71 7.88 1000000 0 1229.93/1230.37 c 254 342 400.65 52.63 7.61 1000000 0 1231.23/1231.64 c 264 485 401.15 54.06 7.42 1000000 0 1232.53/1232.91 c 246 320 396.40 52.39 7.57 1000000 0 1233.73/1234.18 c 271 336 400.72 46.83 8.56 1000000 0 1235.03/1235.45 c 245 440 396.84 54.57 7.27 1000000 0 1236.33/1236.71 c 248 418 400.62 51.09 7.84 1000000 0 1237.53/1237.98 c 246 361 397.65 49.89 7.97 1000000 0 1238.83/1239.25 c 243 360 393.82 50.60 7.78 1000000 0 1240.13/1240.52 c 234 400 402.04 51.18 7.86 1000000 0 1241.33/1241.78 c 262 400 399.31 49.56 8.06 1000000 0 1242.63/1243.06 c 251 382 402.20 51.74 7.77 1000000 0 1243.92/1244.32 c 259 384 393.41 54.08 7.28 1000000 0 1245.12/1245.59 c 273 366 399.30 46.75 8.54 1000000 0 1246.42/1246.86 c 242 415 406.40 53.68 7.57 1000000 0 1247.72/1248.12 c 227 376 397.42 52.92 7.51 1000000 0 1248.92/1249.39 c 273 334 399.40 47.66 8.38 1000000 0 1250.23/1250.66 c 250 395 405.17 55.76 7.27 1000000 0 1251.52/1251.93 c 242 354 396.17 56.96 6.96 1000000 0 1252.72/1253.20 c 262 382 402.31 47.34 8.50 1000000 0 1254.02/1254.47 c 252 417 400.28 48.18 8.31 1000000 0 1255.32/1255.73 c 245 350 394.06 46.69 8.44 1000000 0 1256.62/1257.00 c 264 393 395.06 51.58 7.66 1000000 0 1257.82/1258.27 c 247 404 396.19 53.69 7.38 1000000 0 1259.13/1259.53 c 257 389 386.80 46.87 8.25 1000000 0 1260.42/1260.80 c 273 401 404.39 52.21 7.75 1000000 0 1261.62/1262.08 c 246 342 391.40 55.06 7.11 1000000 0 1262.92/1263.34 c 240 380 394.85 54.55 7.24 1000000 0 1264.22/1264.61 c 257 434 399.02 54.42 7.33 1000000 0 1265.42/1265.88 c 248 453 396.94 49.84 7.96 1000000 0 1266.72/1267.15 c 258 369 396.75 50.43 7.87 1000000 0 1268.02/1268.41 c 250 355 389.54 49.20 7.92 1000000 0 1269.22/1269.69 c 254 326 392.91 57.57 6.82 1000000 0 1270.52/1270.96 c 263 326 401.45 50.92 7.88 1000000 0 1271.82/1272.22 c 253 392 397.71 52.57 7.57 1000000 0 1273.02/1273.49 c 241 321 398.69 51.54 7.74 1000000 0 1274.32/1274.76 c 256 407 397.07 51.56 7.70 1000000 0 1275.62/1276.03 c 244 398 397.16 50.71 7.83 1000000 0 1276.81/1277.30 c 267 342 402.94 52.88 7.62 1000000 0 1278.11/1278.56 c 256 464 400.45 48.53 8.25 1000000 0 1279.41/1279.83 c 257 377 395.11 54.95 7.19 1000000 0 1280.71/1281.10 c 240 370 397.90 59.89 6.64 1000000 0 1281.91/1282.37 c 250 398 399.10 50.96 7.83 1000000 0 1283.22/1283.64 c 234 326 391.28 47.16 8.30 1000000 0 1284.51/1284.91 c 252 420 400.69 55.87 7.17 1000000 0 1285.71/1286.17 c 224 374 391.84 52.28 7.50 1000000 0 1287.01/1287.45 c 222 451 393.22 47.54 8.27 1000000 0 1288.31/1288.72 c 239 414 404.74 53.21 7.61 1000000 0 1289.51/1289.99 c 256 430 397.58 51.43 7.73 1000000 0 1290.81/1291.25 c 232 337 396.70 50.32 7.88 1000000 0 1292.12/1292.53 c 250 394 401.28 49.19 8.16 1000000 0 1293.31/1293.80 c 253 491 405.13 57.67 7.02 1000000 0 1294.61/1295.06 c 258 440 398.77 49.51 8.05 1000000 0 1295.91/1296.33 c 254 307 393.41 57.88 6.80 1000000 0 1297.11/1297.60 c 259 381 397.87 53.82 7.39 1000000 0 1298.41/1298.86 c 240 436 390.71 50.90 7.68 1000000 0 1299.71/1300.13 c 246 435 398.24 53.81 7.40 1000000 0 1301.01/1301.40 c 260 463 389.33 52.58 7.40 1000000 0 1302.21/1302.67 c 241 403 397.29 50.40 7.88 1000000 0 1303.51/1303.94 c 276 324 401.68 49.33 8.14 1000000 0 1304.81/1305.21 c 259 433 402.83 55.66 7.24 1000000 0 1306.01/1306.47 c 233 433 401.37 58.96 6.81 1000000 0 1307.31/1307.74 c 270 368 399.63 51.75 7.72 1000000 0 1308.61/1309.01 c 233 363 396.79 57.01 6.96 1000000 0 1309.80/1310.28 c 256 405 401.33 48.75 8.23 1000000 0 1311.10/1311.55 c 254 376 402.02 55.16 7.29 1000000 0 1312.40/1312.82 c 265 358 395.00 52.51 7.52 1000000 0 1313.60/1314.08 c 249 396 399.81 49.44 8.09 1000000 0 1314.90/1315.35 c 252 440 396.66 50.71 7.82 1000000 0 1316.21/1316.62 c 231 452 394.63 51.63 7.64 1000000 0 1317.41/1317.88 c 235 419 396.76 49.47 8.02 1000000 0 1318.70/1319.16 c 252 420 398.64 51.44 7.75 1000000 0 1320.00/1320.43 c 264 325 402.55 51.40 7.83 1000000 0 1321.20/1321.69 c 251 340 393.66 49.54 7.95 1000000 0 1322.50/1322.96 c 267 439 396.80 47.49 8.35 1000000 0 1323.80/1324.23 c 237 367 391.54 47.46 8.25 1000000 0 1325.01/1325.49 c 256 424 396.95 44.86 8.85 1000000 0 1326.30/1326.76 c 260 371 399.15 49.33 8.09 1000000 0 1327.60/1328.02 c 265 367 398.95 51.80 7.70 1000000 0 1328.80/1329.29 c 258 355 400.08 49.69 8.05 1000000 0 1330.10/1330.56 c 257 432 396.90 55.87 7.10 1000000 0 1331.40/1331.83 c 245 335 399.10 51.19 7.80 1000000 0 1332.71/1333.10 c 254 413 401.99 46.28 8.69 1000000 0 1333.91/1334.37 c 261 373 392.32 48.50 8.09 1000000 0 1335.20/1335.63 c 244 419 394.54 46.61 8.47 1000000 0 1336.50/1336.90 c 260 433 403.43 50.96 7.92 1000000 0 1337.70/1338.17 c 247 371 408.24 56.66 7.20 1000000 0 1339.00/1339.44 c 244 397 401.99 52.09 7.72 1000000 0 1340.30/1340.70 c 266 430 401.98 56.48 7.12 1000000 0 1341.50/1341.97 c 246 417 398.75 48.19 8.27 1000000 0 1342.80/1343.24 c 249 421 397.56 47.28 8.41 1000000 0 1344.10/1344.51 c 237 336 403.36 52.04 7.75 1000000 0 1345.30/1345.78 c 227 420 392.66 53.43 7.35 1000000 0 1346.60/1347.05 c 257 369 399.34 51.23 7.80 1000000 0 1347.90/1348.31 c 268 426 406.30 50.24 8.09 1000000 0 1349.09/1349.58 c 237 395 400.82 55.70 7.20 1000000 0 1350.40/1350.85 c 262 452 399.79 43.14 9.27 1000000 0 1351.69/1352.11 c 259 361 395.20 49.50 7.98 1000000 0 1352.89/1353.38 c 250 378 396.82 49.07 8.09 1000000 0 1354.19/1354.65 c 276 442 400.45 48.35 8.28 1000000 0 1355.49/1355.92 c 242 446 394.87 48.20 8.19 1000000 0 1356.69/1357.19 c 243 401 404.16 47.68 8.48 1000000 0 1358.00/1358.45 c 242 442 391.09 46.92 8.34 1000000 0 1359.29/1359.72 c 242 485 395.96 50.92 7.78 1000000 0 1360.49/1360.99 c 268 476 401.84 53.51 7.51 1000000 0 1361.79/1362.26 c 252 434 400.53 49.88 8.03 1000000 0 1363.09/1363.53 c 246 368 395.49 55.55 7.12 1000000 0 1364.39/1364.80 c 237 352 409.70 50.10 8.18 1000000 0 1365.59/1366.07 c 236 334 390.96 48.86 8.00 1000000 0 1366.90/1367.34 c 261 383 396.25 49.25 8.05 1000000 0 1368.19/1368.61 c 243 426 395.37 47.73 8.28 1000000 0 1369.39/1369.87 c 237 340 393.75 50.06 7.87 1000000 0 1370.69/1371.15 c 240 361 396.71 48.78 8.13 1000000 0 1371.99/1372.41 c 256 461 394.16 51.72 7.62 1000000 0 1373.19/1373.68 c 259 460 395.38 54.57 7.24 1000000 0 1374.49/1374.95 c 220 351 392.41 47.72 8.22 1000000 0 1375.79/1376.22 c 248 383 403.52 53.34 7.57 1000000 0 1376.99/1377.49 c 238 441 396.64 49.60 8.00 1000000 0 1378.29/1378.75 c 216 384 397.08 50.25 7.90 1000000 0 1379.59/1380.03 c 245 308 398.63 51.88 7.68 1000000 0 1380.89/1381.30 c 240 362 400.59 52.50 7.63 1000000 0 1382.09/1382.57 c 247 384 401.18 55.59 7.22 1000000 0 1383.39/1383.84 c 247 297 397.53 49.19 8.08 1000000 0 1384.68/1385.10 c 253 543 408.74 58.70 6.96 1000000 0 1385.88/1386.37 c 250 460 394.84 59.45 6.64 1000000 0 1387.18/1387.64 c 252 375 397.48 54.80 7.25 1000000 0 1388.48/1388.90 c 240 439 391.75 48.10 8.15 1000000 0 1389.68/1390.17 c 257 381 397.92 48.87 8.14 1000000 0 1390.99/1391.44 c 251 404 392.08 47.09 8.33 1000000 0 1392.28/1392.70 c 254 421 397.86 49.61 8.02 1000000 0 1393.48/1393.97 c 252 370 399.00 49.21 8.11 1000000 0 1394.78/1395.24 c 241 453 403.87 58.62 6.89 1000000 0 1396.08/1396.51 c 259 397 397.31 48.49 8.19 1000000 0 1397.28/1397.78 c 251 386 401.31 55.26 7.26 1000000 0 1398.58/1399.05 c 242 388 399.04 55.03 7.25 1000000 0 1399.89/1400.33 c 247 413 403.21 50.79 7.94 1000000 0 1401.18/1401.60 c 246 348 401.60 52.04 7.72 1000000 0 1402.38/1402.87 c 252 450 411.04 50.95 8.07 1000000 0 1403.68/1404.14 c 254 390 400.08 48.56 8.24 1000000 0 1404.98/1405.41 c 236 517 391.78 45.58 8.60 1000000 0 1406.18/1406.67 c 237 408 394.85 47.00 8.40 1000000 0 1407.49/1407.94 c 275 431 404.19 58.55 6.90 1000000 0 1408.78/1409.20 c 257 431 401.18 49.21 8.15 1000000 0 1409.98/1410.47 c 255 417 403.76 50.14 8.05 1000000 0 1411.28/1411.74 c 229 389 393.42 50.24 7.83 1000000 0 1412.58/1413.01 c 250 375 399.62 50.77 7.87 1000000 0 1413.78/1414.27 c 259 403 392.06 52.00 7.54 1000000 0 1415.07/1415.54 c 249 376 394.34 53.18 7.42 1000000 0 1416.38/1416.81 c 227 378 396.88 51.69 7.68 1000000 0 1417.57/1418.08 c 255 395 394.09 48.98 8.05 1000000 0 1418.87/1419.34 c 263 378 406.28 50.43 8.06 1000000 0 1420.17/1420.61 c 228 442 393.90 58.06 6.78 1000000 0 1421.37/1421.88 c 235 431 397.54 53.14 7.48 1000000 0 1422.67/1423.15 c 251 386 399.23 51.74 7.72 1000000 0 1423.98/1424.42 c 263 452 405.01 56.00 7.23 1000000 0 1425.18/1425.69 c 251 395 391.97 47.12 8.32 1000000 0 1426.47/1426.96 c 245 415 394.77 49.82 7.92 1000000 0 1427.77/1428.23 c 236 346 397.00 50.16 7.91 1000000 0 1429.07/1429.50 c 266 419 396.77 48.69 8.15 1000000 0 1430.27/1430.77 c 256 407 394.15 49.05 8.04 1000000 0 1431.57/1432.04 c 250 369 393.17 52.20 7.53 1000000 0 1432.88/1433.30 c 221 397 393.46 49.35 7.97 1000000 0 1434.07/1434.57 c 239 387 394.83 51.20 7.71 1000000 0 1435.37/1435.83 c 252 367 394.77 48.10 8.21 1000000 0 1436.67/1437.10 c 239 442 405.53 58.33 6.95 1000000 0 1437.87/1438.37 c 242 348 399.58 50.77 7.87 1000000 0 1439.17/1439.64 c 239 363 395.30 56.40 7.01 1000000 0 1440.48/1440.90 c 261 400 400.83 50.50 7.94 1000000 0 1441.67/1442.17 c 250 421 398.24 48.36 8.24 1000000 0 1442.97/1443.43 c 253 357 398.62 53.10 7.51 1000000 0 1444.27/1444.70 c 254 419 394.88 52.99 7.45 1000000 0 1445.47/1445.97 c 241 419 396.33 53.38 7.42 1000000 0 1446.77/1447.23 c 261 359 398.14 52.45 7.59 1000000 0 1448.07/1448.50 c 245 350 393.96 47.87 8.23 1000000 0 1449.27/1449.77 c 264 361 400.35 47.19 8.48 1000000 0 1450.57/1451.04 c 252 384 399.86 53.61 7.46 1000000 0 1451.86/1452.31 c 247 389 386.39 48.59 7.95 1000000 0 1453.06/1453.57 c 261 307 389.40 45.77 8.51 1000000 0 1454.36/1454.84 c 257 387 400.87 53.17 7.54 1000000 0 1455.66/1456.11 c 265 401 396.07 47.35 8.36 1000000 0 1456.86/1457.38 c 258 392 402.00 51.94 7.74 1000000 0 1458.17/1458.64 c 266 427 404.74 47.90 8.45 1000000 0 1459.46/1459.91 c 265 335 401.64 52.43 7.66 1000000 0 1460.66/1461.18 c 262 281 395.30 46.70 8.46 1000000 0 1461.96/1462.44 c 250 383 402.57 53.63 7.51 1000000 0 1463.26/1463.71 c 240 405 401.30 52.51 7.64 1000000 0 1464.46/1464.98 c 265 422 399.60 50.35 7.94 1000000 0 1465.77/1466.25 c 245 364 400.05 47.99 8.34 1000000 0 1467.06/1467.52 c 266 419 403.82 54.17 7.46 1000000 0 1468.26/1468.79 c 243 368 391.56 46.73 8.38 1000000 0 1469.56/1470.06 c 251 408 390.66 52.31 7.47 1000000 0 1470.86/1471.33 c 255 322 401.84 48.81 8.23 1000000 0 1472.16/1472.60 c 267 422 393.88 50.60 7.78 1000000 0 1473.36/1473.87 c 248 470 394.00 49.42 7.97 1000000 0 1474.67/1475.14 c 257 368 395.38 49.56 7.98 1000000 0 1475.96/1476.40 c 235 362 398.78 52.97 7.53 1000000 0 1477.16/1477.67 c 252 440 396.71 45.50 8.72 1000000 0 1478.46/1478.94 c 239 342 390.99 51.35 7.61 1000000 0 1479.76/1480.21 c 235 431 396.54 55.26 7.18 1000000 0 1480.96/1481.48 c 253 436 395.85 53.15 7.45 1000000 0 1482.26/1482.74 c 252 394 396.09 51.62 7.67 1000000 0 1483.56/1484.01 c 230 462 394.17 54.11 7.29 1000000 0 1484.76/1485.28 c 253 483 399.27 50.59 7.89 1000000 0 1486.06/1486.54 c 264 375 396.27 47.61 8.32 1000000 0 1487.35/1487.81 c 230 383 402.41 52.42 7.68 1000000 0 1488.55/1489.08 c 245 452 397.40 50.46 7.88 1000000 0 1489.85/1490.35 c 217 367 394.98 53.78 7.34 1000000 0 1491.16/1491.63 c 235 401 389.23 52.10 7.47 1000000 0 1492.45/1492.90 c 244 402 391.82 56.27 6.96 1000000 0 1493.65/1494.17 c 230 324 399.39 49.93 8.00 1000000 0 1494.95/1495.43 c 249 403 405.88 49.17 8.25 1000000 0 1496.25/1496.70 c 257 367 398.74 54.14 7.36 1000000 0 1497.45/1497.97 c 262 349 396.01 46.79 8.46 1000000 0 1498.76/1499.24 c 264 443 397.19 56.00 7.09 1000000 0 1500.05/1500.51 c 257 385 390.13 45.49 8.58 1000000 0 1501.25/1501.78 c 255 358 397.22 47.92 8.29 1000000 0 1502.55/1503.04 c 273 328 399.70 53.13 7.52 1000000 0 1503.85/1504.31 c 239 343 394.94 53.59 7.37 1000000 0 1505.05/1505.58 c 257 391 395.92 51.62 7.67 1000000 0 1506.35/1506.85 c 237 436 405.74 52.02 7.80 1000000 0 1507.66/1508.11 c 247 426 399.21 46.04 8.67 1000000 0 1508.85/1509.38 c 252 355 393.27 53.35 7.37 1000000 0 1510.15/1510.65 c 245 295 398.31 50.25 7.93 1000000 0 1511.45/1511.91 c 247 484 398.11 45.75 8.70 1000000 0 1512.65/1513.19 c 240 433 398.76 50.22 7.94 1000000 0 1513.95/1514.46 c 221 372 399.51 53.63 7.45 1000000 0 1515.25/1515.73 c 240 371 396.75 48.88 8.12 1000000 0 1516.55/1517.00 c 234 405 404.08 46.40 8.71 1000000 0 1517.75/1518.26 c 273 352 397.13 43.73 9.08 1000000 0 1519.05/1519.53 c 256 415 394.30 51.80 7.61 1000000 0 1520.24/1520.79 c 262 360 401.89 54.03 7.44 1000000 0 1521.54/1522.06 c 248 317 392.76 49.44 7.94 1000000 0 1522.84/1523.33 c 237 340 391.48 51.42 7.61 1000000 0 1524.05/1524.60 c 257 370 395.49 46.84 8.44 1000000 0 1525.35/1525.87 c 247 401 390.70 47.17 8.28 1000000 0 1526.64/1527.14 c 257 348 400.96 53.06 7.56 1000000 0 1527.94/1528.40 c 252 388 404.18 58.51 6.91 1000000 0 1529.14/1529.68 c 238 402 397.07 53.33 7.45 1000000 0 1530.44/1530.94 c 248 447 391.17 46.65 8.39 1000000 0 1531.75/1532.21 c 225 396 390.03 48.94 7.97 1000000 0 1532.95/1533.48 c 247 405 397.69 58.94 6.75 1000000 0 1534.24/1534.74 c 258 386 401.49 53.65 7.48 1000000 0 1535.54/1536.01 c 229 354 391.31 49.34 7.93 1000000 0 1536.74/1537.28 c 265 354 395.96 46.84 8.45 1000000 0 1538.04/1538.55 c 243 360 396.21 47.44 8.35 1000000 0 1539.34/1539.82 c 228 375 393.98 47.84 8.23 1000000 0 1540.55/1541.09 c 247 368 399.72 44.87 8.91 1000000 0 1541.84/1542.36 c 238 366 400.84 63.20 6.34 1000000 0 1543.14/1543.64 c 236 370 400.93 50.67 7.91 1000000 0 1544.44/1544.90 c 257 419 393.94 48.62 8.10 1000000 0 1545.64/1546.17 c 232 337 390.08 52.36 7.45 1000000 0 1546.94/1547.44 c 261 386 399.42 54.22 7.37 1000000 0 1548.24/1548.70 c 251 350 391.73 50.04 7.83 1000000 0 1549.44/1549.97 c 262 451 402.56 54.61 7.37 1000000 0 1550.74/1551.24 c 237 357 399.50 48.30 8.27 1000000 0 1552.04/1552.51 c 259 344 395.33 50.03 7.90 1000000 0 1553.24/1553.78 c 266 329 398.95 60.56 6.59 1000000 0 1554.54/1555.04 c 259 435 399.06 55.66 7.17 1000000 0 1555.84/1556.31 c 254 419 396.84 52.56 7.55 1000000 0 1557.04/1557.58 c 240 403 396.98 53.62 7.40 1000000 0 1558.34/1558.84 c 246 370 402.48 59.43 6.77 1000000 0 1559.63/1560.11 c 247 389 407.88 60.95 6.69 1000000 0 1560.83/1561.38 c 246 329 395.79 55.65 7.11 1000000 0 1562.13/1562.65 c 234 362 402.28 53.23 7.56 1000000 0 1563.43/1563.92 c 235 422 396.99 46.49 8.54 1000000 0 1564.63/1565.18 c 247 457 408.67 55.54 7.36 1000000 0 1565.94/1566.45 c 253 475 393.14 54.02 7.28 1000000 0 1567.23/1567.72 c 254 319 398.12 47.23 8.43 1000000 0 1568.43/1568.99 c 241 402 401.73 50.66 7.93 1000000 0 1569.73/1570.25 c 256 421 400.60 50.66 7.91 1000000 0 1571.03/1571.52 c 269 501 395.32 43.95 9.00 1000000 0 1572.23/1572.79 c 224 336 396.07 55.10 7.19 1000000 0 1573.54/1574.06 c 235 344 396.87 48.97 8.10 1000000 0 1574.83/1575.33 c 241 402 396.19 57.04 6.95 1000000 0 1576.13/1576.60 c 268 348 396.72 51.27 7.74 1000000 0 1577.33/1577.86 c 245 346 404.43 55.84 7.24 1000000 0 1578.63/1579.13 c 256 370 402.99 45.05 8.95 1000000 0 1579.93/1580.40 c 248 414 402.09 51.40 7.82 1000000 0 1581.13/1581.67 c 252 365 392.05 46.80 8.38 1000000 0 1582.43/1582.93 c 244 396 401.00 52.76 7.60 1000000 0 1583.73/1584.20 c 248 428 398.72 50.59 7.88 1000000 0 1584.93/1585.47 c 251 393 396.36 47.41 8.36 1000000 0 1586.23/1586.73 c 251 387 394.52 50.55 7.80 1000000 0 1587.53/1588.00 c 259 361 406.45 52.82 7.69 1000000 0 1588.73/1589.27 c 266 378 397.43 48.87 8.13 1000000 0 1590.03/1590.54 c 252 368 409.38 56.07 7.30 1000000 0 1591.33/1591.81 c 259 354 393.53 49.09 8.02 1000000 0 1592.52/1593.08 c 243 393 386.58 56.88 6.80 1000000 0 1593.82/1594.34 c 250 397 399.40 66.11 6.04 1000000 0 1595.12/1595.62 c 252 326 390.44 54.65 7.14 1000000 0 1596.32/1596.88 c 252 326 401.01 54.38 7.37 1000000 0 1597.62/1598.15 c 232 460 394.34 47.78 8.25 1000000 0 1598.93/1599.41 c 261 382 399.28 51.60 7.74 1000000 0 1600.12/1600.67 c 241 341 394.36 54.97 7.17 1000000 0 1601.42/1601.95 c 253 437 399.57 40.65 9.83 1000000 0 1602.72/1603.22 c 254 428 393.31 47.88 8.21 1000000 0 1603.92/1604.48 c 258 370 393.48 44.92 8.76 1000000 0 1605.22/1605.76 c 251 417 397.61 48.90 8.13 1000000 0 1606.53/1607.02 c 251 404 400.79 50.08 8.00 1000000 0 1607.73/1608.29 c 238 361 398.54 51.98 7.67 1000000 0 1609.02/1609.56 c 237 343 396.98 51.23 7.75 1000000 0 1610.32/1610.83 c 248 435 391.28 51.63 7.58 1000000 0 1611.62/1612.11 c 245 434 399.51 49.32 8.10 1000000 0 1612.82/1613.37 c 246 402 394.92 52.47 7.53 1000000 0 1614.12/1614.64 c 233 470 403.10 49.82 8.09 1000000 0 1615.43/1615.91 c 247 456 398.38 49.25 8.09 1000000 0 1616.62/1617.18 c 257 379 401.99 48.11 8.36 1000000 0 1617.92/1618.45 c 263 438 399.12 48.91 8.16 1000000 0 1619.22/1619.72 c 239 410 399.79 53.63 7.45 1000000 0 1620.42/1620.98 c 234 377 393.75 47.59 8.27 1000000 0 1621.72/1622.25 c 236 329 393.18 49.99 7.86 1000000 0 1623.02/1623.51 c 236 337 394.85 50.70 7.79 1000000 0 1624.22/1624.77 c 259 387 395.00 49.68 7.95 1000000 0 1625.51/1626.04 c 271 375 407.97 54.77 7.45 1000000 0 1626.81/1627.31 c 240 375 398.88 53.87 7.40 1000000 0 1628.01/1628.58 c 232 477 400.94 58.67 6.83 1000000 0 1629.32/1629.85 c 262 488 403.22 51.97 7.76 1000000 0 1630.62/1631.11 c 252 365 395.83 48.51 8.16 1000000 0 1631.82/1632.38 c 251 378 403.20 51.95 7.76 1000000 0 1633.11/1633.65 c 240 472 399.22 48.19 8.28 1000000 0 1634.41/1634.92 c 261 336 396.87 54.16 7.33 1000000 0 1635.61/1636.19 c 257 336 395.18 47.60 8.30 1000000 0 1636.91/1637.46 c 228 423 403.52 53.66 7.52 1000000 0 1638.21/1638.74 c 253 432 404.80 48.98 8.26 1000000 0 1639.52/1640.01 c 243 392 399.52 51.93 7.69 1000000 0 1640.72/1641.28 c 235 402 395.03 51.76 7.63 1000000 0 1642.01/1642.54 c 216 391 394.40 53.57 7.36 1000000 0 1643.31/1643.80 c 230 372 399.80 50.29 7.95 1000000 0 1644.51/1645.07 c 257 358 397.05 50.82 7.81 1000000 0 1645.81/1646.34 c 239 418 391.80 43.79 8.95 1000000 0 1647.11/1647.61 c 230 428 403.71 51.38 7.86 1000000 0 1648.32/1648.88 c 248 343 399.51 53.72 7.44 1000000 0 1649.61/1650.15 c 255 393 398.53 59.17 6.74 1000000 0 1650.91/1651.42 c 248 364 397.56 52.02 7.64 1000000 0 1652.11/1652.69 c 248 379 394.33 53.59 7.36 1000000 0 1653.41/1653.96 c 264 352 386.48 49.14 7.87 1000000 0 1654.71/1655.23 c 249 365 397.67 46.55 8.54 1000000 0 1655.91/1656.49 c 254 447 390.60 50.19 7.78 1000000 0 1657.21/1657.76 c 260 390 398.73 55.69 7.16 1000000 0 1658.50/1659.03 c 263 336 403.41 52.66 7.66 1000000 0 1659.80/1660.30 c 247 441 401.84 48.41 8.30 1000000 0 1661.00/1661.57 c 222 389 394.02 50.12 7.86 1000000 0 1662.30/1662.84 c 240 441 393.01 50.78 7.74 1000000 0 1663.60/1664.11 c 253 403 401.36 47.37 8.47 1000000 0 1664.81/1665.38 c 249 363 400.26 50.52 7.92 1000000 0 1666.10/1666.64 c 249 332 395.04 46.89 8.43 1000000 0 1667.40/1667.91 c 255 400 397.00 56.31 7.05 1000000 0 1668.60/1669.19 c 243 388 394.90 51.42 7.68 1000000 0 1669.90/1670.45 c 250 386 405.46 48.95 8.28 1000000 0 1671.20/1671.72 c 227 341 393.00 51.66 7.61 1000000 0 1672.40/1672.99 c 262 404 402.84 49.90 8.07 1000000 0 1673.71/1674.26 c 262 367 402.02 49.54 8.11 1000000 0 1675.00/1675.53 c 243 411 397.06 49.27 8.06 1000000 0 1676.30/1676.80 c 230 446 396.76 50.46 7.86 1000000 0 1677.50/1678.07 c 269 381 405.07 53.97 7.51 1000000 0 1678.80/1679.33 c 241 407 399.86 48.65 8.22 1000000 0 1680.10/1680.60 c 273 427 402.98 46.67 8.64 1000000 0 1681.31/1681.86 c 216 334 400.73 55.89 7.17 1000000 0 1682.60/1683.13 c 262 379 402.23 49.11 8.19 1000000 0 1683.90/1684.40 c 265 330 400.87 50.59 7.92 1000000 0 1685.10/1685.67 c 258 363 399.37 55.20 7.23 1000000 0 1686.40/1686.94 c 229 350 399.13 52.16 7.65 1000000 0 1687.70/1688.21 c 244 383 393.71 52.29 7.53 1000000 0 1688.90/1689.48 c 256 426 395.86 48.42 8.18 1000000 0 1690.21/1690.75 c 237 396 392.23 55.25 7.10 1000000 0 1691.49/1692.02 c 261 419 398.12 52.92 7.52 1000000 0 1692.69/1693.29 c 253 318 398.54 48.45 8.23 1000000 0 1693.99/1694.56 c 265 391 400.31 48.52 8.25 1000000 0 1695.29/1695.82 c 213 374 388.58 56.96 6.82 1000000 0 1696.49/1697.09 c 240 392 393.32 49.44 7.96 1000000 0 1697.80/1698.36 c 250 381 395.37 51.20 7.72 1000000 0 1699.09/1699.62 c 234 445 395.08 55.25 7.15 1000000 0 1700.29/1700.89 c 267 374 405.56 51.99 7.80 1000000 0 1701.59/1702.16 c 229 391 398.41 50.15 7.94 1000000 0 1702.89/1703.43 c 244 382 404.94 51.96 7.79 1000000 0 1704.09/1704.69 c 260 353 403.17 49.95 8.07 1000000 0 1705.39/1705.96 c 253 331 393.39 50.64 7.77 1000000 0 1706.70/1707.23 c 212 400 396.16 61.27 6.47 1000000 0 1707.89/1708.49 c 231 420 386.95 46.14 8.39 1000000 0 1709.19/1709.76 c 255 427 406.12 55.15 7.36 1000000 0 1710.49/1711.03 c 262 403 391.53 50.53 7.75 1000000 0 1711.79/1712.30 c 232 413 399.34 50.13 7.97 1000000 0 1712.99/1713.57 c 255 430 398.89 52.43 7.61 1000000 0 1714.30/1714.84 c 249 373 398.84 51.09 7.81 1000000 0 1715.59/1716.10 c 266 369 395.09 45.06 8.77 1000000 0 1716.79/1717.37 c 261 457 397.51 52.26 7.61 1000000 0 1718.09/1718.64 c 233 361 389.97 45.71 8.53 1000000 0 1719.39/1719.91 c 246 448 403.52 50.83 7.94 1000000 0 1720.59/1721.18 c 237 400 385.36 49.51 7.78 1000000 0 1721.89/1722.46 c 262 389 396.51 48.79 8.13 1000000 0 1723.20/1723.72 c 238 504 393.21 50.11 7.85 1000000 0 1724.39/1724.99 c 254 360 408.03 67.93 6.01 1000000 0 1725.69/1726.26 c 235 394 401.34 51.96 7.72 1000000 0 1726.99/1727.52 c 237 318 389.41 46.70 8.34 1000000 0 1728.19/1728.79 c 260 486 397.57 50.09 7.94 1000000 0 1729.49/1730.06 c 256 421 399.46 53.80 7.42 1000000 0 1730.79/1731.34 c 254 400 397.60 53.16 7.48 1000000 0 1732.08/1732.61 c 264 379 400.86 51.79 7.74 1000000 0 1733.28/1733.88 c 252 437 392.58 44.94 8.74 1000000 0 1734.58/1735.15 c 246 416 395.11 53.70 7.36 1000000 0 1735.88/1736.41 c 264 453 391.52 51.11 7.66 1000000 0 1737.08/1737.68 c 245 421 395.88 55.04 7.19 1000000 0 1738.38/1738.94 c 237 403 388.96 55.02 7.07 1000000 0 1739.69/1740.21 c 236 426 392.69 47.22 8.32 1000000 0 1740.88/1741.48 c 249 347 397.88 44.23 9.00 1000000 0 1742.18/1742.74 c 249 444 402.00 56.74 7.09 1000000 0 1743.48/1744.01 c 235 380 396.40 44.77 8.85 1000000 0 1744.68/1745.27 c 255 428 394.02 56.91 6.92 1000000 0 1745.98/1746.55 c 250 414 391.35 52.72 7.42 1000000 0 1747.29/1747.82 c 260 499 403.42 51.32 7.86 1000000 0 1748.49/1749.08 c 251 381 391.67 47.97 8.17 1000000 0 1749.78/1750.35 c 258 347 399.98 50.21 7.97 1000000 0 1751.08/1751.61 c 264 377 395.76 48.44 8.17 1000000 0 1752.28/1752.88 c 248 368 397.37 52.80 7.53 1000000 0 1753.58/1754.15 c 247 429 408.69 58.03 7.04 1000000 0 1754.88/1755.42 c 263 358 398.63 49.22 8.10 1000000 0 1756.08/1756.69 c 243 442 402.22 48.53 8.29 1000000 0 1757.38/1757.95 c 266 360 396.28 48.69 8.14 1000000 0 1758.68/1759.22 c 252 431 397.03 46.86 8.47 1000000 0 1759.87/1760.48 c 245 383 391.79 46.67 8.40 1000000 0 1761.17/1761.75 c 260 422 396.04 53.13 7.45 1000000 0 1762.47/1763.02 c 243 372 387.94 49.31 7.87 1000000 0 1763.67/1764.29 c 265 362 396.64 51.37 7.72 1000000 0 1764.98/1765.56 c 266 428 403.30 48.58 8.30 1000000 0 1766.27/1766.83 c 241 350 403.96 50.72 7.96 1000000 0 1767.47/1768.09 c 268 440 398.25 49.56 8.04 1000000 0 1768.77/1769.36 c 251 422 392.00 48.91 8.01 1000000 0 1770.07/1770.63 c 255 357 398.92 49.38 8.08 1000000 0 1771.37/1771.90 c 253 393 400.19 53.83 7.43 1000000 0 1772.58/1773.17 c 235 467 398.62 48.37 8.24 1000000 0 1773.87/1774.44 c 247 374 398.98 49.18 8.11 1000000 0 1775.17/1775.71 c 245 388 394.68 44.48 8.87 1000000 0 1776.37/1776.97 c 244 362 400.70 54.52 7.35 1000000 0 1777.67/1778.24 c 262 434 394.97 48.79 8.10 1000000 0 1778.97/1779.51 c 251 427 398.83 56.57 7.05 1000000 0 1780.17/1780.78 c 261 407 394.69 47.08 8.38 1000000 0 1781.48/1782.04 c 268 360 398.94 48.27 8.26 1000000 0 1782.77/1783.31 c 250 409 394.54 48.32 8.17 1000000 0 1783.97/1784.57 c 228 535 395.59 50.32 7.86 1000000 0 1785.27/1785.84 c 229 324 383.80 54.15 7.09 1000000 0 1786.57/1787.11 c 226 443 397.47 53.75 7.39 1000000 0 1787.77/1788.38 c 246 421 400.96 55.69 7.20 1000000 0 1789.07/1789.65 c 251 425 398.33 50.25 7.93 1000000 0 1790.37/1790.92 c 248 434 393.09 47.64 8.25 1000000 0 1791.57/1792.19 c 248 425 399.82 55.82 7.16 1000000 0 1792.87/1793.46 c 254 445 398.40 46.41 8.58 1000000 0 1794.17/1794.72 c 250 407 392.19 52.76 7.43 1000000 0 1795.37/1795.99 c 247 370 398.82 50.05 7.97 1000000 0 1796.66/1797.26 c 260 363 393.40 50.97 7.72 1000000 0 1797.97/1798.53 c 213 406 401.09 52.84 7.59 1000000 0 1799.26/1799.80 c 236 392 397.13 52.18 7.61 1000000 0 1800.08/1800.61 HOME/run: line 2: 20571 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-2685392-1278440699/watcher-2685392-1278440699 -o /tmp/evaluation-result-2685392-1278440699/solver-2685392-1278440699 -C 1800 -W 2000 -M 1800 run HOME/instance-2685392-1278440699.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.31 1.10 1.03 3/106 20570 /proc/meminfo: memFree=1840340/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) R 20568 20570 19897 0 -1 4202496 343 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256800149 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [startup+0.0886009 s] /proc/loadavg: 1.31 1.10 1.03 3/106 20570 /proc/meminfo: memFree=1840340/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100602 s] /proc/loadavg: 1.31 1.10 1.03 3/106 20570 /proc/meminfo: memFree=1840340/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300622 s] /proc/loadavg: 1.31 1.10 1.03 3/106 20570 /proc/meminfo: memFree=1840340/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700661 s] /proc/loadavg: 1.31 1.10 1.03 3/106 20570 /proc/meminfo: memFree=1840340/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50074 s] /proc/loadavg: 1.31 1.10 1.03 2/108 20572 /proc/meminfo: memFree=1835612/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1.49 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 149 0 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10089 s] /proc/loadavg: 1.31 1.10 1.03 2/108 20572 /proc/meminfo: memFree=1835488/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=3.09 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 309 0 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134537188 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.3012 s] /proc/loadavg: 1.29 1.10 1.03 2/108 20572 /proc/meminfo: memFree=1835364/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=6.29 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 629 0 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7018 s] /proc/loadavg: 1.26 1.10 1.03 2/108 20572 /proc/meminfo: memFree=1835240/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=12.69 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 1269 0 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134519909 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5011 s] /proc/loadavg: 1.28 1.11 1.03 2/108 20572 /proc/meminfo: memFree=1835116/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=25.48 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 2548 0 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134519828 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1006 s] /proc/loadavg: 1.18 1.10 1.03 2/108 20572 /proc/meminfo: memFree=1835116/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=51.08 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 5108 0 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134526127 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.13 1.09 1.03 2/108 20574 /proc/meminfo: memFree=1834868/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=102.27 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 10227 0 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.17 1.10 1.04 2/108 20576 /proc/meminfo: memFree=1834620/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=162.24 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 16224 0 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.11 1.10 1.03 2/108 20578 /proc/meminfo: memFree=1834620/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=222.22 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 22222 0 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.10 1.09 1.03 2/108 20578 /proc/meminfo: memFree=1834620/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=282.2 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 28220 0 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.04 1.07 1.03 2/108 20580 /proc/meminfo: memFree=1834496/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=342.18 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 34218 0 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.01 1.06 1.02 2/108 20582 /proc/meminfo: memFree=1834372/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=402.16 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 40216 0 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1061.98 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 106197 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20602 /proc/meminfo: memFree=1833008/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1121.96 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 112195 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134571969 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20602 /proc/meminfo: memFree=1832636/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1181.94 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 118193 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20604 /proc/meminfo: memFree=1832388/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1241.93 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 124192 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20606 /proc/meminfo: memFree=1832264/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1301.91 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 130190 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20608 /proc/meminfo: memFree=1832264/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1361.89 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 136188 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134571221 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20610 /proc/meminfo: memFree=1832140/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1421.88 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 142187 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134526346 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20610 /proc/meminfo: memFree=1832016/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1481.86 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 148185 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20612 /proc/meminfo: memFree=1831892/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1541.84 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 154183 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20614 /proc/meminfo: memFree=1831768/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1601.82 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 160181 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20616 /proc/meminfo: memFree=1831520/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1661.8 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 166179 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20618 /proc/meminfo: memFree=1831396/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1721.79 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 172178 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20618 /proc/meminfo: memFree=1831148/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1781.77 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 178176 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 20620 /proc/meminfo: memFree=1831148/2059040 swapFree=4192956/4192956 [pid=20570] ppid=20568 vsize=8700 CPUtime=0 /proc/20570/stat : 20570 (run) S 20568 20570 19897 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12276396 8908800 243 1992294400 4194304 4922060 140734184227056 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20570/statm: 2175 243 204 178 0 68 0 [pid=20571] ppid=20570 vsize=40452 CPUtime=1800.08 /proc/20571/stat : 20571 (PB-wave) R 20570 20570 19897 0 -1 4202496 1202 0 0 0 180007 1 0 0 25 0 1 0 12276396 41422848 1132 1992294400 134512640 135071400 4294901792 18446744073709551615 134537188 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20571/statm: 10113 1132 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.08 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 Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.1 CPU user time (s): 1800.07 CPU system time (s): 0.022996 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 system time used= 0.022996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1574 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= 9066 runsolver used 3.03454 second user time and 8.51071 second system time The end
Begin job on node056 at 2010-07-06 20:25:00 IDJOB=2685392 IDBENCH=75714 IDSOLVER=1171 FILE ID=node056/2685392-1278440699 PBS_JOBID= 11233489 Free space on /tmp= 98464 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_1-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685392-1278440699/watcher-2685392-1278440699 -o /tmp/evaluation-result-2685392-1278440699/solver-2685392-1278440699 -C 1800 -W 2000 -M 1800 run HOME/instance-2685392-1278440699.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 42cd00962bc65fa4ff073d4ddf5f250d RANDOM SEED=457762675 node056.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.197 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.39 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.197 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1840860 kB Buffers: 17272 kB Cached: 66352 kB SwapCached: 0 kB Active: 56684 kB Inactive: 86916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1840860 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1688 kB Writeback: 0 kB AnonPages: 60064 kB Mapped: 14404 kB Slab: 52580 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179520 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= 98464 MiB End job on node056 at 2010-07-06 20:55:00