Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.05 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9035_5-sat.opb |
MD5SUM | 6929ce14b8591d839613828587df3145 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.268958 |
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 | 18928 |
Total number of constraints | 65252 |
Number of constraints which are clauses | 64840 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 412 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 26 |
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 | 23 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 163 |
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.16 c PB-wave - v2 0.00/0.16 c command line = ./PB-wave 0.00/0.16 c seed = 78035138 0.00/0.16 c cutoff = 1000000 0.00/0.16 c tries = 1000000 0.00/0.16 c heuristic = c best, noise 50 / 100 0.00/0.16 #var 18928 #con 65252 0.00/0.16 mode is SAT 0.00/0.16 c tail starts after flip = 56784 0.00/0.16 c numatom = 18928, numclause = 65252, numliterals = 147228 0.00/0.16 c wff read in 0.00/0.16 c 0.00/0.16 c lowest final avg noise noise total avg mean mean 0.00/0.16 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.16 c this this this this this this success success until std 0.00/0.16 c try try try try try try rate tries assign dev 0.00/0.16 c 1.69/1.75 c 337 566 630.01 197.80 3.19 1000000 0 3.30/3.35 c 319 549 642.86 183.00 3.51 1000000 0 4.89/4.95 c 316 569 627.57 194.30 3.23 1000000 0 6.50/6.54 c 325 706 620.36 168.11 3.69 1000000 0 8.09/8.13 c 300 455 625.22 217.36 2.88 1000000 0 9.69/9.71 c 367 634 621.51 150.05 4.14 1000000 0 11.29/11.31 c 319 671 623.93 160.59 3.89 1000000 0 12.89/12.90 c 361 548 632.35 168.27 3.76 1000000 0 14.39/14.48 c 337 566 598.14 186.51 3.21 1000000 0 15.99/16.06 c 346 690 604.92 157.47 3.84 1000000 0 17.60/17.65 c 338 486 626.65 181.49 3.45 1000000 0 19.19/19.23 c 371 533 607.20 150.84 4.03 1000000 0 20.79/20.80 c 335 480 583.31 139.80 4.17 1000000 0 22.29/22.38 c 329 511 599.49 147.78 4.06 1000000 0 23.89/23.95 c 305 591 586.31 161.46 3.63 1000000 0 25.49/25.54 c 379 538 625.41 178.94 3.50 1000000 0 27.09/27.13 c 345 617 623.75 150.15 4.15 1000000 0 28.69/28.71 c 324 532 601.02 180.94 3.32 1000000 0 30.29/30.31 c 321 593 633.05 173.94 3.64 1000000 0 31.89/31.91 c 280 518 616.84 159.04 3.88 1000000 0 33.48/33.51 c 380 558 630.24 169.31 3.72 1000000 0 35.09/35.11 c 315 463 636.17 174.74 3.64 1000000 0 36.68/36.70 c 361 484 630.86 180.24 3.50 1000000 0 38.18/38.29 c 320 680 623.05 180.44 3.45 1000000 0 39.78/39.88 c 360 442 620.60 186.10 3.33 1000000 0 41.38/41.47 c 331 575 602.33 168.25 3.58 1000000 0 42.98/43.06 c 326 704 636.68 214.75 2.96 1000000 0 44.58/44.65 c 250 578 614.06 154.14 3.98 1000000 0 46.19/46.25 c 373 640 631.51 178.36 3.54 1000000 0 47.78/47.84 c 294 778 627.56 204.48 3.07 1000000 0 49.39/49.42 c 315 662 606.92 175.11 3.47 1000000 0 50.98/51.02 c 347 490 627.26 213.21 2.94 1000000 0 52.58/52.61 c 347 662 619.93 166.52 3.72 1000000 0 54.18/54.20 c 349 577 614.94 150.87 4.08 1000000 0 55.68/55.79 c 362 624 642.22 195.16 3.29 1000000 0 57.28/57.39 c 356 598 640.66 202.41 3.17 1000000 0 58.88/58.98 c 327 488 610.60 202.75 3.01 1000000 0 60.48/60.58 c 369 622 641.09 166.64 3.85 1000000 0 62.08/62.16 c 346 618 595.81 157.94 3.77 1000000 0 63.68/63.74 c 366 561 612.56 143.37 4.27 1000000 0 65.28/65.33 c 349 567 608.50 180.16 3.38 1000000 0 66.88/66.92 c 373 632 634.33 165.24 3.84 1000000 0 68.48/68.51 c 393 686 630.40 163.63 3.85 1000000 0 70.08/70.10 c 375 438 614.72 156.68 3.92 1000000 0 71.58/71.68 c 320 567 612.10 166.76 3.67 1000000 0 73.17/73.28 c 377 650 632.85 148.87 4.25 1000000 0 74.78/74.86 c 330 593 605.67 158.56 3.82 1000000 0 76.37/76.44 c 321 543 608.81 180.19 3.38 1000000 0 77.98/78.04 c 361 607 618.76 174.19 3.55 1000000 0 79.57/79.64 c 274 588 636.52 200.61 3.17 1000000 0 81.17/81.23 c 370 558 624.36 161.93 3.86 1000000 0 82.77/82.82 c 348 435 625.60 169.08 3.70 1000000 0 84.37/84.40 c 365 569 620.68 189.39 3.28 1000000 0 85.87/85.98 c 384 561 612.57 150.60 4.07 1000000 0 87.47/87.55 c 297 647 587.61 160.47 3.66 1000000 0 89.08/89.15 c 323 557 623.25 185.39 3.36 1000000 0 90.67/90.74 c 334 533 638.49 171.13 3.73 1000000 0 92.28/92.34 c 380 752 645.06 193.81 3.33 1000000 0 93.87/93.93 c 333 523 624.02 172.93 3.61 1000000 0 95.47/95.53 c 330 632 624.86 169.73 3.68 1000000 0 97.07/97.11 c 329 641 604.78 162.22 3.73 1000000 0 98.57/98.69 c 315 470 616.20 169.54 3.63 1000000 0 100.17/100.29 c 369 761 613.59 172.77 3.55 1000000 0 101.77/101.88 c 342 418 636.38 161.78 3.93 1000000 0 103.37/103.45 c 271 685 591.40 165.28 3.58 1000000 0 104.97/105.03 c 266 531 584.12 165.77 3.52 1000000 0 106.57/106.62 c 404 546 623.44 193.77 3.22 1000000 0 108.16/108.20 c 293 589 624.40 166.49 3.75 1000000 0 109.66/109.79 c 382 551 616.16 168.80 3.65 1000000 0 111.26/111.38 c 363 566 605.77 149.78 4.04 1000000 0 112.86/112.97 c 354 617 638.35 168.21 3.79 1000000 0 114.46/114.56 c 364 501 622.58 170.21 3.66 1000000 0 116.06/116.15 c 317 692 608.63 196.81 3.09 1000000 0 117.67/117.74 c 354 547 625.24 160.21 3.90 1000000 0 119.26/119.33 c 310 678 606.28 192.20 3.15 1000000 0 120.87/120.92 c 382 615 628.69 170.23 3.69 1000000 0 122.46/122.50 c 296 394 606.34 159.22 3.81 1000000 0 124.06/124.10 c 250 770 622.18 209.36 2.97 1000000 0 125.56/125.69 c 363 686 640.88 192.01 3.34 1000000 0 127.16/127.28 c 266 621 607.58 175.04 3.47 1000000 0 128.76/128.88 c 366 567 645.29 191.70 3.37 1000000 0 130.36/130.47 c 286 571 618.73 193.94 3.19 1000000 0 131.96/132.05 c 346 664 596.66 162.64 3.67 1000000 0 133.56/133.62 c 315 387 587.36 148.29 3.96 1000000 0 135.16/135.21 c 342 676 605.99 188.49 3.21 1000000 0 136.66/136.77 c 332 705 575.49 155.26 3.71 1000000 0 138.26/138.36 c 343 486 617.98 184.69 3.35 1000000 0 139.86/139.97 c 363 890 652.42 151.81 4.30 1000000 0 141.46/141.55 c 326 365 626.46 150.48 4.16 1000000 0 143.05/143.13 c 337 482 603.09 185.35 3.25 1000000 0 144.65/144.73 c 346 535 620.70 181.59 3.42 1000000 0 146.26/146.33 c 323 658 646.13 197.62 3.27 1000000 0 147.85/147.92 c 331 650 631.92 169.14 3.74 1000000 0 149.46/149.51 c 358 642 612.87 171.53 3.57 1000000 0 151.05/151.10 c 366 726 617.66 199.46 3.10 1000000 0 152.55/152.69 c 259 520 618.38 184.01 3.36 1000000 0 154.15/154.28 c 274 529 615.23 173.28 3.55 1000000 0 155.75/155.87 c 328 605 630.10 191.72 3.29 1000000 0 157.35/157.46 c 316 636 616.84 184.78 3.34 1000000 0 158.95/159.04 c 353 565 616.41 188.13 3.28 1000000 0 160.56/160.65 c 372 587 654.21 186.52 3.51 1000000 0 162.15/162.24 c 344 561 631.48 184.97 3.41 1000000 0 163.76/163.82 c 308 496 601.80 172.10 3.50 1000000 0 165.35/165.41 c 325 655 604.11 177.99 3.39 1000000 0 166.85/166.98 c 349 478 598.52 172.93 3.46 1000000 0 168.45/168.56 c 357 504 583.80 148.14 3.94 1000000 0 170.05/170.14 c 305 493 609.05 165.62 3.68 1000000 0 171.65/171.74 c 370 585 627.87 204.16 3.08 1000000 0 173.25/173.32 c 361 518 600.91 155.92 3.85 1000000 0 174.85/174.91 c 307 578 619.57 182.48 3.40 1000000 0 176.35/176.49 c 362 563 614.72 177.58 3.46 1000000 0 177.94/178.08 c 343 454 603.95 167.20 3.61 1000000 0 179.54/179.66 c 289 493 621.72 164.23 3.79 1000000 0 181.14/181.26 c 313 621 625.19 174.46 3.58 1000000 0 182.74/182.85 c 320 519 616.05 175.69 3.51 1000000 0 184.34/184.42 c 313 688 593.19 167.93 3.53 1000000 0 185.94/186.01 c 335 474 604.49 167.73 3.60 1000000 0 187.44/187.59 c 352 401 604.23 159.46 3.79 1000000 0 189.05/189.19 c 340 502 626.24 160.49 3.90 1000000 0 190.64/190.79 c 390 535 644.99 196.12 3.29 1000000 0 192.24/192.39 c 327 490 635.10 195.50 3.25 1000000 0 193.84/193.97 c 323 456 616.35 172.00 3.58 1000000 0 195.44/195.56 c 308 486 635.48 176.78 3.59 1000000 0 197.04/197.14 c 383 573 616.39 166.38 3.70 1000000 0 198.64/198.73 c 349 515 631.70 172.34 3.67 1000000 0 200.24/200.31 c 339 560 595.27 158.98 3.74 1000000 0 201.74/201.89 c 330 575 609.97 186.16 3.28 1000000 0 203.35/203.47 c 292 653 616.13 152.93 4.03 1000000 0 204.94/205.06 c 302 635 622.56 181.59 3.43 1000000 0 206.54/206.63 c 292 563 599.06 191.23 3.13 1000000 0 208.14/208.23 c 392 657 653.66 157.92 4.14 1000000 0 209.74/209.82 c 329 514 599.71 189.41 3.17 1000000 0 211.34/211.42 c 322 543 647.30 212.48 3.05 1000000 0 212.94/213.02 c 379 651 631.41 184.58 3.42 1000000 0 214.54/214.61 c 338 533 623.92 205.76 3.03 1000000 0 216.14/216.21 c 383 489 641.28 146.56 4.38 1000000 0 217.64/217.79 c 385 693 627.46 140.88 4.45 1000000 0 219.23/219.39 c 324 586 624.07 200.79 3.11 1000000 0 220.83/220.97 c 357 691 619.34 198.61 3.12 1000000 0 222.43/222.55 c 309 389 603.96 179.20 3.37 1000000 0 224.03/224.14 c 347 604 620.50 158.01 3.93 1000000 0 225.63/225.72 c 376 538 617.47 160.45 3.85 1000000 0 227.23/227.31 c 331 656 607.34 159.20 3.81 1000000 0 228.83/228.90 c 368 788 628.78 150.00 4.19 1000000 0 230.33/230.49 c 409 527 634.57 166.21 3.82 1000000 0 231.94/232.07 c 339 524 583.12 166.73 3.50 1000000 0 233.53/233.65 c 333 635 609.08 190.84 3.19 1000000 0 235.13/235.25 c 344 565 627.05 195.88 3.20 1000000 0 236.73/236.83 c 342 541 621.34 152.86 4.06 1000000 0 238.33/238.41 c 321 629 609.24 189.59 3.21 1000000 0 239.93/240.01 c 375 599 622.19 174.28 3.57 1000000 0 241.53/241.60 c 331 636 626.48 156.59 4.00 1000000 0 243.04/243.19 c 359 477 626.85 191.52 3.27 1000000 0 244.63/244.77 c 297 509 599.07 156.67 3.82 1000000 0 246.23/246.36 c 326 739 615.27 151.69 4.06 1000000 0 247.83/247.95 c 343 620 621.55 149.42 4.16 1000000 0 249.43/249.53 c 323 663 630.80 178.72 3.53 1000000 0 251.03/251.13 c 347 537 628.43 172.22 3.65 1000000 0 252.63/252.70 c 293 561 584.26 199.40 2.93 1000000 0 254.12/254.29 c 323 666 628.94 166.56 3.78 1000000 0 255.72/255.88 c 352 437 628.52 192.77 3.26 1000000 0 257.33/257.46 c 319 587 600.59 160.92 3.73 1000000 0 258.92/259.05 c 381 607 622.43 166.29 3.74 1000000 0 260.53/260.64 c 347 505 620.26 171.30 3.62 1000000 0 262.12/262.23 c 318 517 634.33 169.49 3.74 1000000 0 263.72/263.83 c 349 594 637.01 181.04 3.52 1000000 0 265.32/265.42 c 396 646 635.83 171.64 3.70 1000000 0 266.92/267.01 c 351 463 613.84 196.82 3.12 1000000 0 268.42/268.59 c 293 558 599.10 179.18 3.34 1000000 0 270.02/270.18 c 290 652 606.98 167.34 3.63 1000000 0 271.63/271.77 c 386 600 643.09 168.22 3.82 1000000 0 273.22/273.37 c 326 626 623.25 164.08 3.80 1000000 0 274.83/274.95 c 341 619 607.03 165.74 3.66 1000000 0 276.42/276.55 c 379 553 652.69 161.27 4.05 1000000 0 278.02/278.14 c 352 508 626.05 189.58 3.30 1000000 0 279.62/279.73 c 299 628 601.77 187.45 3.21 1000000 0 281.22/281.33 c 318 480 648.76 214.27 3.03 1000000 0 282.82/282.93 c 300 612 629.97 163.74 3.85 1000000 0 284.42/284.53 c 377 631 633.68 185.73 3.41 1000000 0 286.02/286.10 c 271 545 582.66 150.75 3.87 1000000 0 287.52/287.68 c 295 599 614.14 161.05 3.81 1000000 0 289.12/289.26 c 275 426 591.24 161.50 3.66 1000000 0 290.72/290.87 c 318 552 637.09 220.88 2.88 1000000 0 292.32/292.47 c 265 648 626.56 182.42 3.43 1000000 0 293.92/294.05 c 342 561 618.33 186.60 3.31 1000000 0 295.52/295.65 c 367 475 629.76 203.68 3.09 1000000 0 297.11/297.23 c 307 530 601.15 212.84 2.82 1000000 0 298.71/298.82 c 322 430 615.70 205.27 3.00 1000000 0 300.31/300.41 c 372 590 630.64 168.85 3.73 1000000 0 301.91/302.00 c 344 462 630.30 189.69 3.32 1000000 0 303.42/303.59 c 352 438 613.06 182.33 3.36 1000000 0 305.01/305.17 c 311 497 602.21 178.98 3.36 1000000 0 306.61/306.76 c 361 476 623.25 163.50 3.81 1000000 0 308.21/308.36 c 304 446 629.52 182.61 3.45 1000000 0 309.81/309.95 c 339 687 606.71 156.22 3.88 1000000 0 311.41/311.53 c 316 501 590.65 162.00 3.65 1000000 0 313.01/313.10 c 288 618 567.24 189.54 2.99 1000000 0 314.52/314.69 c 342 422 623.15 179.75 3.47 1000000 0 316.11/316.28 c 365 591 642.60 166.27 3.86 1000000 0 317.72/317.87 c 366 608 616.77 162.22 3.80 1000000 0 319.31/319.47 c 374 515 640.78 175.92 3.64 1000000 0 320.91/321.05 c 350 547 621.93 181.69 3.42 1000000 0 322.51/322.65 c 396 598 624.07 149.50 4.17 1000000 0 324.11/324.23 c 349 591 606.37 170.53 3.56 1000000 0 325.71/325.81 c 276 500 594.03 188.03 3.16 1000000 0 327.21/327.38 c 300 377 600.86 149.96 4.01 1000000 0 328.81/328.97 c 331 558 622.55 161.82 3.85 1000000 0 330.40/330.56 c 337 517 620.13 152.37 4.07 1000000 0 332.01/332.15 c 379 649 630.18 195.34 3.23 1000000 0 333.60/333.75 c 338 566 642.52 199.58 3.22 1000000 0 335.20/335.33 c 367 534 612.26 155.90 3.93 1000000 0 336.80/336.94 c 360 513 646.17 186.70 3.46 1000000 0 338.40/338.51 c 295 381 586.37 176.93 3.31 1000000 0 339.90/340.10 c 323 567 617.60 189.74 3.26 1000000 0 341.50/341.67 c 323 625 612.52 193.68 3.16 1000000 0 343.11/343.27 c 372 686 643.95 202.19 3.18 1000000 0 344.70/344.86 c 343 671 629.36 162.49 3.87 1000000 0 346.31/346.45 c 367 579 626.37 170.92 3.66 1000000 0 347.90/348.05 c 377 551 640.60 161.74 3.96 1000000 0 349.50/349.63 c 338 637 602.64 157.65 3.82 1000000 0 351.10/351.24 c 386 650 665.42 183.84 3.62 1000000 0 352.70/352.83 c 350 658 616.32 188.95 3.26 1000000 0 354.30/354.41 c 299 578 619.82 190.25 3.26 1000000 0 355.90/356.01 c 286 598 634.24 190.22 3.33 1000000 0 357.50/357.60 c 358 575 628.37 181.35 3.46 1000000 0 359.10/359.20 c 327 635 643.58 170.74 3.77 1000000 0 360.61/360.79 c 339 665 618.72 206.78 2.99 1000000 0 362.20/362.38 c 317 617 620.45 193.81 3.20 1000000 0 363.80/363.98 c 361 672 639.40 167.59 3.82 1000000 0 365.40/365.56 c 284 620 605.63 183.21 3.31 1000000 0 367.00/367.16 c 288 646 635.72 195.34 3.25 1000000 0 368.60/368.74 c 319 516 612.44 176.19 3.48 1000000 0 370.20/370.34 c 350 582 620.67 172.66 3.59 1000000 0 371.80/371.92 c 332 722 597.27 188.78 3.16 1000000 0 373.39/373.50 c 331 689 615.17 154.29 3.99 1000000 0 374.90/375.10 c 304 512 629.57 178.49 3.53 1000000 0 376.49/376.69 c 343 475 618.25 208.22 2.97 1000000 0 378.09/378.27 c 309 436 613.58 186.50 3.29 1000000 0 379.69/379.86 c 332 610 637.45 206.28 3.09 1000000 0 381.29/381.44 c 313 597 601.31 158.38 3.80 1000000 0 382.89/383.03 c 332 666 623.65 174.16 3.58 1000000 0 384.49/384.62 c 292 627 622.94 195.00 3.19 1000000 0 386.09/386.20 c 294 695 613.21 159.10 3.85 1000000 0 387.59/387.80 c 353 472 627.99 174.06 3.61 1000000 0 389.20/389.38 c 338 568 593.59 190.38 3.12 1000000 0 390.79/390.97 c 332 673 617.89 163.65 3.78 1000000 0 392.39/392.56 c 346 633 620.96 211.58 2.93 1000000 0 393.99/394.14 c 341 521 601.29 158.81 3.79 1000000 0 395.59/395.73 c 368 553 644.20 162.86 3.96 1000000 0 397.19/397.32 c 308 580 618.68 194.48 3.18 1000000 0 398.79/398.92 c 293 574 627.20 179.22 3.50 1000000 0 400.39/400.51 c 367 607 625.62 165.92 3.77 1000000 0 401.89/402.09 c 359 619 608.48 184.43 3.30 1000000 0 403.49/403.68 c 349 537 620.94 162.69 3.82 1000000 0 405.09/405.27 c 358 588 625.07 184.90 3.38 1000000 0 406.69/406.85 c 243 537 579.95 184.65 3.14 1000000 0 408.29/408.45 c 375 648 627.44 181.82 3.45 1000000 0 409.89/410.04 c 287 400 619.51 195.56 3.17 1000000 0 411.49/411.63 c 324 565 612.92 178.17 3.44 1000000 0 413.09/413.21 c 338 504 607.52 184.50 3.29 1000000 0 414.68/414.81 c 306 582 617.18 196.27 3.14 1000000 0 416.28/416.40 c 313 555 624.97 187.93 3.33 1000000 0 417.79/417.98 c 369 566 611.06 170.75 3.58 1000000 0 419.38/419.56 c 296 601 613.31 185.61 3.30 1000000 0 420.98/421.14 c 262 613 608.18 181.09 3.36 1000000 0 422.58/422.75 c 356 608 642.26 179.61 3.58 1000000 0 424.18/424.33 c 359 434 607.25 157.91 3.85 1000000 0 425.78/425.92 c 291 701 605.03 190.24 3.18 1000000 0 427.38/427.51 c 325 715 635.56 171.01 3.72 1000000 0 428.98/429.11 c 290 700 636.55 144.28 4.41 1000000 0 430.48/430.68 c 279 578 577.13 170.03 3.39 1000000 0 432.09/432.28 c 357 688 643.11 180.18 3.57 1000000 0 433.68/433.85 c 353 490 602.29 170.59 3.53 1000000 0 435.28/435.43 c 336 740 607.71 177.27 3.43 1000000 0 436.88/437.04 c 351 573 648.46 195.00 3.33 1000000 0 438.48/438.63 c 326 445 646.38 196.60 3.29 1000000 0 440.08/440.22 c 334 585 621.97 153.82 4.04 1000000 0 441.58/441.79 c 308 605 591.45 185.31 3.19 1000000 0 443.18/443.38 c 352 488 617.75 148.38 4.16 1000000 0 444.78/444.97 c 317 639 622.81 181.73 3.43 1000000 0 446.38/446.58 c 388 574 653.71 180.20 3.63 1000000 0 447.98/448.15 c 269 526 613.63 167.53 3.66 1000000 0 449.57/449.74 c 321 586 630.07 173.40 3.63 1000000 0 451.17/451.32 c 324 601 618.36 160.45 3.85 1000000 0 452.77/452.90 c 299 621 592.84 153.32 3.87 1000000 0 454.27/454.48 c 326 503 623.09 177.33 3.51 1000000 0 455.87/456.07 c 336 501 613.29 161.59 3.80 1000000 0 457.48/457.68 c 347 615 648.52 199.69 3.25 1000000 0 459.07/459.27 c 339 539 608.90 187.37 3.25 1000000 0 460.68/460.85 c 319 520 602.14 165.58 3.64 1000000 0 462.27/462.44 c 270 594 616.42 162.77 3.79 1000000 0 463.87/464.03 c 325 559 616.44 192.20 3.21 1000000 0 465.47/465.62 c 368 718 628.03 158.88 3.95 1000000 0 467.07/467.22 c 257 526 628.77 201.52 3.12 1000000 0 468.67/468.82 c 365 680 650.03 161.10 4.03 1000000 0 470.27/470.40 c 316 680 607.28 201.97 3.01 1000000 0 471.87/472.00 c 341 532 636.00 180.82 3.52 1000000 0 473.37/473.59 c 291 678 618.46 155.18 3.99 1000000 0 474.98/475.19 c 339 580 633.40 204.68 3.09 1000000 0 476.57/476.78 c 266 586 611.39 196.70 3.11 1000000 0 478.17/478.38 c 363 459 629.75 206.33 3.05 1000000 0 479.77/479.97 c 292 698 628.89 172.13 3.65 1000000 0 481.37/481.57 c 384 591 623.58 163.43 3.82 1000000 0 482.97/483.16 c 300 610 624.56 174.68 3.58 1000000 0 484.57/484.73 c 316 607 592.57 201.89 2.94 1000000 0 486.17/486.32 c 354 603 624.92 176.67 3.54 1000000 0 487.77/487.92 c 356 606 634.31 196.11 3.23 1000000 0 489.37/489.52 c 372 623 647.61 145.38 4.45 1000000 0 490.97/491.12 c 347 583 635.82 207.91 3.06 1000000 0 492.57/492.71 c 347 540 625.14 195.39 3.20 1000000 0 494.06/494.30 c 351 615 614.18 171.37 3.58 1000000 0 495.66/495.88 c 325 596 600.50 162.67 3.69 1000000 0 497.26/497.46 c 315 544 617.82 178.21 3.47 1000000 0 498.86/499.06 c 365 610 643.52 184.02 3.50 1000000 0 500.46/500.65 c 308 700 628.15 199.98 3.14 1000000 0 502.06/502.25 c 365 507 632.09 170.52 3.71 1000000 0 503.67/503.84 c 312 544 625.69 172.78 3.62 1000000 0 505.26/505.42 c 253 409 595.97 171.46 3.48 1000000 0 506.87/507.01 c 311 488 609.16 160.56 3.79 1000000 0 508.36/508.59 c 368 466 626.59 172.87 3.62 1000000 0 509.96/510.19 c 284 582 620.08 198.97 3.12 1000000 0 511.56/511.78 c 335 658 617.35 190.97 3.23 1000000 0 513.16/513.37 c 355 493 621.21 145.33 4.27 1000000 0 514.76/514.94 c 326 649 580.18 168.67 3.44 1000000 0 516.36/516.53 c 305 567 629.60 150.84 4.17 1000000 0 517.96/518.12 c 335 532 627.25 191.52 3.28 1000000 0 519.56/519.71 c 305 461 611.61 166.55 3.67 1000000 0 521.06/521.29 c 277 562 601.15 203.51 2.95 1000000 0 522.66/522.89 c 334 542 628.80 205.12 3.07 1000000 0 524.26/524.48 c 366 580 620.54 154.52 4.02 1000000 0 525.86/526.05 c 296 405 591.08 160.72 3.68 1000000 0 527.45/527.64 c 329 525 610.45 177.54 3.44 1000000 0 529.05/529.24 c 378 472 626.52 161.16 3.89 1000000 0 530.65/530.84 c 270 470 630.78 198.04 3.19 1000000 0 532.26/532.43 c 285 618 622.94 185.78 3.35 1000000 0 533.85/534.02 c 360 651 642.25 171.97 3.73 1000000 0 535.46/535.61 c 324 522 625.19 185.04 3.38 1000000 0 536.95/537.19 c 331 639 595.29 164.33 3.62 1000000 0 538.55/538.78 c 335 666 642.27 170.84 3.76 1000000 0 540.15/540.37 c 335 513 630.88 197.11 3.20 1000000 0 541.75/541.95 c 355 671 602.88 169.25 3.56 1000000 0 543.35/543.53 c 354 650 609.61 173.52 3.51 1000000 0 544.95/545.12 c 360 585 608.11 157.07 3.87 1000000 0 546.56/546.71 c 317 627 619.93 182.17 3.40 1000000 0 548.15/548.31 c 341 491 634.34 203.40 3.12 1000000 0 549.76/549.90 c 370 655 648.42 145.29 4.46 1000000 0 551.25/551.48 c 324 557 600.26 152.26 3.94 1000000 0 552.85/553.07 c 325 492 628.78 170.66 3.68 1000000 0 554.45/554.65 c 345 630 593.48 177.36 3.35 1000000 0 556.05/556.24 c 339 767 625.74 165.51 3.78 1000000 0 557.65/557.84 c 390 659 653.85 190.91 3.43 1000000 0 559.25/559.43 c 321 574 610.81 179.43 3.40 1000000 0 560.85/561.02 c 330 559 610.54 160.34 3.81 1000000 0 562.44/562.62 c 302 657 621.35 177.97 3.49 1000000 0 563.94/564.19 c 335 389 593.74 177.81 3.34 1000000 0 565.54/565.78 c 314 685 637.07 191.83 3.32 1000000 0 567.14/567.39 c 321 663 650.71 199.15 3.27 1000000 0 568.74/568.98 c 330 599 620.89 173.70 3.57 1000000 0 570.34/570.56 c 341 555 608.36 174.18 3.49 1000000 0 571.94/572.15 c 355 620 621.94 185.73 3.35 1000000 0 573.54/573.74 c 370 659 626.23 188.56 3.32 1000000 0 575.15/575.32 c 253 581 607.86 184.43 3.30 1000000 0 576.74/576.91 c 363 584 620.27 181.95 3.41 1000000 0 578.24/578.49 c 329 637 605.68 169.54 3.57 1000000 0 579.84/580.08 c 338 559 623.03 168.32 3.70 1000000 0 581.44/581.66 c 336 720 602.93 163.42 3.69 1000000 0 583.04/583.26 c 355 585 620.79 203.54 3.05 1000000 0 584.64/584.83 c 342 487 582.22 158.30 3.68 1000000 0 586.24/586.42 c 332 590 642.04 151.88 4.23 1000000 0 587.84/588.01 c 309 552 620.33 179.28 3.46 1000000 0 589.34/589.58 c 318 502 597.26 166.86 3.58 1000000 0 590.94/591.17 c 334 522 600.43 152.64 3.93 1000000 0 592.54/592.76 c 328 587 611.16 170.86 3.58 1000000 0 594.14/594.35 c 377 727 628.08 161.96 3.88 1000000 0 595.74/595.94 c 398 666 629.98 148.80 4.23 1000000 0 597.34/597.52 c 335 374 593.03 173.38 3.42 1000000 0 598.93/599.10 c 340 563 603.03 192.64 3.13 1000000 0 600.44/600.69 c 332 671 600.73 171.32 3.51 1000000 0 602.03/602.29 c 375 669 622.51 145.36 4.28 1000000 0 603.64/603.86 c 296 679 581.66 178.79 3.25 1000000 0 605.23/605.46 c 385 644 650.14 167.51 3.88 1000000 0 606.83/607.06 c 320 574 623.51 179.40 3.48 1000000 0 608.43/608.66 c 342 559 649.90 172.23 3.77 1000000 0 610.03/610.26 c 334 488 657.56 179.17 3.67 1000000 0 611.63/611.86 c 371 503 640.52 180.93 3.54 1000000 0 613.23/613.45 c 359 532 618.78 166.00 3.73 1000000 0 614.83/615.03 c 370 550 615.56 157.90 3.90 1000000 0 616.43/616.62 c 329 521 614.82 185.96 3.31 1000000 0 618.04/618.21 c 274 586 613.33 162.10 3.78 1000000 0 619.63/619.81 c 368 614 639.51 182.53 3.50 1000000 0 621.24/621.41 c 349 721 637.31 168.91 3.77 1000000 0 622.73/622.99 c 352 696 613.89 162.62 3.77 1000000 0 624.33/624.57 c 306 635 605.79 167.52 3.62 1000000 0 625.93/626.14 c 310 592 598.92 176.91 3.39 1000000 0 627.53/627.72 c 343 556 607.40 165.02 3.68 1000000 0 629.13/629.31 c 336 454 620.86 193.50 3.21 1000000 0 630.63/630.90 c 356 645 600.62 165.39 3.63 1000000 0 632.23/632.49 c 390 515 616.40 155.53 3.96 1000000 0 633.83/634.07 c 286 432 611.09 195.86 3.12 1000000 0 635.43/635.66 c 371 608 626.01 185.65 3.37 1000000 0 637.03/637.28 c 380 628 674.59 208.86 3.23 1000000 0 638.62/638.87 c 353 512 632.80 191.14 3.31 1000000 0 640.22/640.46 c 340 656 640.79 199.02 3.22 1000000 0 641.82/642.06 c 331 662 629.48 177.27 3.55 1000000 0 643.42/643.64 c 347 590 596.95 171.27 3.49 1000000 0 645.02/645.22 c 356 622 618.04 134.47 4.60 1000000 0 646.63/646.81 c 367 693 613.67 158.51 3.87 1000000 0 648.12/648.38 c 302 616 592.05 167.87 3.53 1000000 0 649.72/649.97 c 322 588 632.09 186.06 3.40 1000000 0 651.32/651.56 c 316 665 615.26 169.90 3.62 1000000 0 652.92/653.14 c 279 552 595.16 201.87 2.95 1000000 0 654.52/654.73 c 339 676 621.50 164.81 3.77 1000000 0 656.12/656.31 c 339 639 602.05 191.18 3.15 1000000 0 657.72/657.91 c 360 577 639.44 186.94 3.42 1000000 0 659.22/659.49 c 316 495 603.85 176.21 3.43 1000000 0 660.83/661.09 c 392 526 650.83 181.42 3.59 1000000 0 662.42/662.68 c 337 610 616.43 173.98 3.54 1000000 0 664.02/664.27 c 369 654 640.67 177.35 3.61 1000000 0 665.62/665.86 c 382 568 626.93 188.08 3.33 1000000 0 667.22/667.44 c 370 588 604.96 181.38 3.34 1000000 0 668.82/669.02 c 304 513 609.02 196.53 3.10 1000000 0 670.42/670.61 c 318 530 614.44 201.14 3.05 1000000 0 672.02/672.20 c 374 637 625.23 169.25 3.69 1000000 0 673.52/673.79 c 349 638 628.97 164.18 3.83 1000000 0 675.12/675.37 c 286 524 608.48 163.33 3.73 1000000 0 676.72/676.96 c 375 451 609.37 167.71 3.63 1000000 0 678.31/678.55 c 286 607 628.98 183.24 3.43 1000000 0 679.91/680.14 c 368 596 627.30 192.31 3.26 1000000 0 681.51/681.72 c 317 600 609.37 179.89 3.39 1000000 0 683.11/683.31 c 318 509 612.50 241.65 2.53 1000000 0 684.61/684.89 c 240 552 598.18 194.92 3.07 1000000 0 686.22/686.48 c 375 511 620.75 184.90 3.36 1000000 0 687.81/688.06 c 330 473 606.99 178.39 3.40 1000000 0 689.42/689.64 c 300 501 597.98 170.31 3.51 1000000 0 691.01/691.22 c 305 486 594.04 147.04 4.04 1000000 0 692.61/692.80 c 357 669 608.06 204.92 2.97 1000000 0 694.21/694.40 c 340 532 639.04 173.90 3.67 1000000 0 695.71/695.99 c 280 690 644.42 187.90 3.43 1000000 0 697.31/697.57 c 316 666 616.01 187.98 3.28 1000000 0 698.91/699.15 c 219 545 605.18 196.67 3.08 1000000 0 700.52/700.74 c 320 396 620.04 176.76 3.51 1000000 0 702.11/702.33 c 339 689 615.27 170.53 3.61 1000000 0 703.72/703.93 c 341 637 651.22 183.57 3.55 1000000 0 705.31/705.52 c 302 773 619.23 176.86 3.50 1000000 0 706.91/707.12 c 369 537 643.72 201.84 3.19 1000000 0 708.51/708.71 c 291 575 619.48 201.80 3.07 1000000 0 710.01/710.29 c 344 482 620.49 185.92 3.34 1000000 0 711.61/711.87 c 368 681 611.07 144.99 4.21 1000000 0 713.21/713.47 c 328 842 645.11 187.31 3.44 1000000 0 714.81/715.06 c 353 584 615.61 192.71 3.19 1000000 0 716.41/716.66 c 326 796 643.34 198.85 3.24 1000000 0 718.01/718.24 c 322 478 602.05 168.48 3.57 1000000 0 719.60/719.82 c 360 542 631.66 168.98 3.74 1000000 0 721.20/721.43 c 351 516 647.03 183.48 3.53 1000000 0 722.80/723.02 c 283 592 620.44 175.06 3.54 1000000 0 724.40/724.61 c 399 704 622.53 170.59 3.65 1000000 0 726.00/726.20 c 364 676 611.59 161.32 3.79 1000000 0 727.50/727.79 c 311 636 635.71 178.79 3.56 1000000 0 729.11/729.37 c 314 657 609.05 163.16 3.73 1000000 0 730.70/730.96 c 257 507 608.43 168.26 3.62 1000000 0 732.31/732.54 c 385 595 607.56 158.04 3.84 1000000 0 733.90/734.13 c 361 677 629.90 169.55 3.72 1000000 0 735.50/735.71 c 287 618 628.70 171.97 3.66 1000000 0 737.10/737.30 c 283 533 637.40 185.55 3.44 1000000 0 738.60/738.88 c 295 579 597.14 153.17 3.90 1000000 0 740.20/740.47 c 338 707 613.06 194.09 3.16 1000000 0 741.80/742.06 c 354 745 627.30 176.89 3.55 1000000 0 743.40/743.64 c 365 666 599.80 169.72 3.53 1000000 0 745.00/745.23 c 386 532 618.07 187.61 3.29 1000000 0 746.60/746.83 c 338 761 631.92 201.06 3.14 1000000 0 748.20/748.41 c 305 696 604.00 180.56 3.35 1000000 0 749.70/749.99 c 317 499 595.40 191.59 3.11 1000000 0 751.30/751.59 c 354 552 622.82 194.68 3.20 1000000 0 752.90/753.18 c 304 563 628.73 184.15 3.41 1000000 0 754.50/754.76 c 317 504 604.40 156.58 3.86 1000000 0 756.10/756.36 c 343 639 634.90 158.03 4.02 1000000 0 757.70/757.96 c 352 502 640.07 182.98 3.50 1000000 0 759.29/759.57 c 363 739 660.01 207.65 3.18 1000000 0 760.90/761.16 c 332 522 638.09 195.55 3.26 1000000 0 762.49/762.76 c 355 643 636.44 175.67 3.62 1000000 0 764.09/764.34 c 329 625 616.30 164.57 3.74 1000000 0 765.69/765.94 c 373 581 638.69 163.68 3.90 1000000 0 767.29/767.51 c 339 489 590.90 159.94 3.69 1000000 0 768.89/769.10 c 367 595 608.67 162.99 3.73 1000000 0 770.39/770.69 c 365 717 633.18 165.98 3.81 1000000 0 772.00/772.28 c 304 514 626.64 184.94 3.39 1000000 0 773.59/773.87 c 363 553 621.02 151.41 4.10 1000000 0 775.20/775.45 c 351 474 609.14 136.04 4.48 1000000 0 776.79/777.03 c 318 539 600.05 164.56 3.65 1000000 0 778.39/778.62 c 383 682 626.31 186.35 3.36 1000000 0 779.99/780.22 c 373 552 633.81 195.78 3.24 1000000 0 781.59/781.81 c 389 562 616.00 159.11 3.87 1000000 0 783.19/783.40 c 321 454 617.93 172.18 3.59 1000000 0 784.69/784.99 c 330 643 619.92 187.44 3.31 1000000 0 786.29/786.55 c 313 510 590.45 130.11 4.54 1000000 0 787.89/788.16 c 356 530 638.65 228.71 2.79 1000000 0 789.49/789.76 c 342 622 643.15 201.31 3.19 1000000 0 791.09/791.33 c 323 602 585.24 167.31 3.50 1000000 0 792.69/792.93 c 345 626 633.47 185.84 3.41 1000000 0 794.29/794.52 c 381 631 619.19 161.95 3.82 1000000 0 795.79/796.09 c 305 588 592.73 169.46 3.50 1000000 0 797.48/797.70 c 356 541 653.49 207.05 3.16 1000000 0 798.98/799.28 c 288 605 608.10 196.56 3.09 1000000 0 800.59/800.88 c 347 454 621.60 177.89 3.49 1000000 0 802.18/802.48 c 374 565 649.36 170.36 3.81 1000000 0 803.79/804.09 c 393 553 645.24 162.37 3.97 1000000 0 805.38/805.68 c 315 693 626.42 178.53 3.51 1000000 0 806.98/807.26 c 360 682 621.25 148.75 4.18 1000000 0 808.58/808.86 c 343 492 633.23 173.77 3.64 1000000 0 810.18/810.45 c 342 665 629.67 186.38 3.38 1000000 0 811.78/812.03 c 352 642 608.50 179.11 3.40 1000000 0 813.38/813.63 c 365 504 633.10 171.87 3.68 1000000 0 814.98/815.21 c 292 610 623.73 171.01 3.65 1000000 0 816.58/816.80 c 339 606 614.86 186.91 3.29 1000000 0 818.09/818.39 c 320 553 615.13 192.71 3.19 1000000 0 819.68/819.98 c 367 490 624.04 189.29 3.30 1000000 0 821.28/821.57 c 365 539 613.98 188.08 3.26 1000000 0 822.88/823.16 c 318 579 623.33 177.22 3.52 1000000 0 824.48/824.75 c 384 586 631.22 170.82 3.70 1000000 0 826.08/826.35 c 308 640 631.97 195.94 3.23 1000000 0 827.68/827.96 c 352 680 647.96 194.28 3.34 1000000 0 829.28/829.54 c 345 544 618.34 175.65 3.52 1000000 0 830.88/831.13 c 245 568 609.67 169.38 3.60 1000000 0 832.48/832.73 c 330 601 649.57 181.18 3.59 1000000 0 834.08/834.33 c 320 504 621.82 171.96 3.62 1000000 0 835.68/835.92 c 348 488 641.45 176.85 3.63 1000000 0 837.27/837.51 c 308 605 636.66 213.86 2.98 1000000 0 838.87/839.10 c 340 561 608.88 200.59 3.04 1000000 0 840.37/840.69 c 366 586 647.07 182.24 3.55 1000000 0 841.97/842.29 c 355 561 628.88 185.23 3.40 1000000 0 843.57/843.87 c 341 533 601.81 179.49 3.35 1000000 0 845.17/845.47 c 381 573 619.83 162.57 3.81 1000000 0 846.78/847.06 c 322 535 620.59 191.93 3.23 1000000 0 848.37/848.66 c 384 657 649.40 188.33 3.45 1000000 0 849.98/850.25 c 361 514 615.21 156.09 3.94 1000000 0 851.57/851.85 c 339 468 629.93 180.46 3.49 1000000 0 853.17/853.42 c 298 464 595.84 180.56 3.30 1000000 0 854.77/855.01 c 349 742 625.96 181.95 3.44 1000000 0 856.37/856.60 c 366 601 640.32 171.47 3.73 1000000 0 857.97/858.21 c 411 497 657.29 195.15 3.37 1000000 0 859.57/859.80 c 352 386 627.06 167.04 3.75 1000000 0 861.08/861.39 c 341 662 618.80 192.29 3.22 1000000 0 862.67/862.99 c 309 540 641.32 204.86 3.13 1000000 0 864.27/864.56 c 375 601 601.54 141.19 4.26 1000000 0 865.87/866.15 c 344 633 613.42 172.00 3.57 1000000 0 867.47/867.73 c 298 614 613.33 178.42 3.44 1000000 0 869.07/869.33 c 313 649 631.75 211.34 2.99 1000000 0 870.67/870.92 c 355 638 605.05 177.03 3.42 1000000 0 872.27/872.51 c 340 573 607.56 227.73 2.67 1000000 0 873.77/874.09 c 324 661 613.68 160.96 3.81 1000000 0 875.37/875.69 c 391 615 644.46 190.78 3.38 1000000 0 876.96/877.26 c 360 705 595.47 142.47 4.18 1000000 0 878.57/878.84 c 342 487 606.18 176.78 3.43 1000000 0 880.16/880.43 c 330 534 617.12 186.90 3.30 1000000 0 881.76/882.03 c 339 632 628.77 191.22 3.29 1000000 0 883.36/883.61 c 288 549 616.58 162.38 3.80 1000000 0 884.96/885.20 c 343 555 628.63 155.81 4.03 1000000 0 886.46/886.79 c 324 534 615.16 204.93 3.00 1000000 0 888.06/888.37 c 357 688 615.22 179.35 3.43 1000000 0 889.67/889.96 c 311 563 607.05 190.97 3.18 1000000 0 891.26/891.54 c 297 520 608.29 197.74 3.08 1000000 0 892.87/893.14 c 341 691 628.61 185.99 3.38 1000000 0 894.46/894.73 c 367 407 622.93 146.64 4.25 1000000 0 896.06/896.33 c 314 567 621.03 153.55 4.04 1000000 0 897.66/897.92 c 285 544 639.93 181.55 3.52 1000000 0 899.26/899.53 c 359 587 658.76 178.28 3.70 1000000 0 900.86/901.11 c 317 448 598.29 176.84 3.38 1000000 0 902.36/902.70 c 320 514 613.55 143.76 4.27 1000000 0 903.96/904.28 c 341 522 612.58 164.19 3.73 1000000 0 905.56/905.87 c 343 658 623.74 171.12 3.64 1000000 0 907.16/907.43 c 211 540 577.35 166.21 3.47 1000000 0 908.75/909.02 c 368 651 617.15 180.02 3.43 1000000 0 910.35/910.61 c 346 409 604.78 192.94 3.13 1000000 0 911.85/912.20 c 367 584 635.85 181.12 3.51 1000000 0 913.45/913.78 c 353 540 610.51 154.64 3.95 1000000 0 915.05/915.35 c 286 442 591.96 180.45 3.28 1000000 0 916.65/916.95 c 321 644 634.06 199.11 3.18 1000000 0 918.26/918.55 c 363 771 634.36 191.64 3.31 1000000 0 919.85/920.15 c 319 566 627.93 204.40 3.07 1000000 0 921.46/921.75 c 329 690 638.44 173.14 3.69 1000000 0 923.05/923.34 c 377 598 636.91 164.70 3.87 1000000 0 924.65/924.93 c 340 593 627.59 202.61 3.10 1000000 0 926.25/926.51 c 254 492 604.19 165.96 3.64 1000000 0 927.85/928.10 c 338 517 639.36 195.76 3.27 1000000 0 929.35/929.69 c 355 633 628.69 180.88 3.48 1000000 0 930.95/931.28 c 338 793 627.45 188.79 3.32 1000000 0 932.55/932.87 c 304 582 619.49 173.04 3.58 1000000 0 934.15/934.47 c 301 609 637.04 182.89 3.48 1000000 0 935.75/936.05 c 321 563 594.53 179.52 3.31 1000000 0 937.35/937.64 c 315 483 626.30 160.32 3.91 1000000 0 938.95/939.23 c 337 522 644.99 154.67 4.17 1000000 0 940.55/940.83 c 306 693 622.63 222.30 2.80 1000000 0 942.14/942.42 c 309 675 628.93 204.53 3.07 1000000 0 943.74/944.01 c 379 745 632.52 124.99 5.06 1000000 0 945.24/945.60 c 345 787 625.30 168.25 3.72 1000000 0 946.85/947.18 c 281 527 625.17 164.71 3.80 1000000 0 948.44/948.77 c 269 591 610.69 190.07 3.21 1000000 0 950.05/950.37 c 339 540 632.09 154.11 4.10 1000000 0 951.64/951.96 c 317 507 616.38 217.17 2.84 1000000 0 953.24/953.55 c 366 832 622.68 176.60 3.53 1000000 0 954.84/955.13 c 346 591 611.09 187.50 3.26 1000000 0 956.44/956.72 c 399 508 637.76 147.08 4.34 1000000 0 958.04/958.31 c 357 603 620.98 184.77 3.36 1000000 0 959.54/959.89 c 363 563 607.86 168.83 3.60 1000000 0 961.15/961.48 c 323 666 612.30 155.81 3.93 1000000 0 962.74/963.07 c 260 452 609.88 176.29 3.46 1000000 0 964.35/964.67 c 343 552 627.43 209.89 2.99 1000000 0 965.94/966.25 c 299 662 615.43 189.74 3.24 1000000 0 967.54/967.85 c 339 696 652.81 193.02 3.38 1000000 0 969.14/969.44 c 325 604 614.04 174.72 3.51 1000000 0 970.74/971.02 c 374 563 601.92 144.48 4.17 1000000 0 972.34/972.61 c 329 536 615.96 145.96 4.22 1000000 0 973.84/974.18 c 277 655 578.99 186.54 3.10 1000000 0 975.44/975.78 c 350 656 640.06 150.76 4.25 1000000 0 977.04/977.37 c 315 554 632.21 164.25 3.85 1000000 0 978.64/978.98 c 371 545 638.79 205.85 3.10 1000000 0 980.23/980.57 c 330 534 633.53 198.40 3.19 1000000 0 981.83/982.17 c 322 689 638.45 176.53 3.62 1000000 0 983.43/983.74 c 296 562 579.63 164.44 3.52 1000000 0 985.03/985.32 c 287 519 586.47 159.24 3.68 1000000 0 986.63/986.91 c 358 575 624.38 185.52 3.37 1000000 0 988.23/988.50 c 337 581 627.89 197.66 3.18 1000000 0 989.74/990.08 c 242 608 607.44 170.15 3.57 1000000 0 991.33/991.68 c 347 686 631.07 166.44 3.79 1000000 0 992.94/993.27 c 338 526 625.71 198.68 3.15 1000000 0 994.53/994.85 c 315 657 586.49 166.02 3.53 1000000 0 996.13/996.45 c 265 487 610.65 153.86 3.97 1000000 0 997.73/998.04 c 366 608 601.12 190.10 3.16 1000000 0 999.33/999.64 c 406 587 642.45 169.55 3.79 1000000 0 1000.93/1001.22 c 366 572 618.75 176.07 3.51 1000000 0 1002.53/1002.83 c 314 482 648.83 176.56 3.67 1000000 0 1004.13/1004.41 c 321 672 624.19 180.55 3.46 1000000 0 1005.73/1006.01 c 338 635 636.04 152.28 4.18 1000000 0 1007.23/1007.59 c 318 555 610.56 175.54 3.48 1000000 0 1008.83/1009.17 c 361 556 624.77 162.37 3.85 1000000 0 1010.43/1010.76 c 336 415 618.06 168.13 3.68 1000000 0 1012.03/1012.35 c 380 568 634.10 160.40 3.95 1000000 0 1013.63/1013.94 c 301 508 633.25 169.74 3.73 1000000 0 1015.23/1015.53 c 370 685 631.80 186.99 3.38 1000000 0 1016.83/1017.11 c 341 556 616.53 164.29 3.75 1000000 0 1018.43/1018.71 c 369 606 646.68 161.48 4.00 1000000 0 1020.02/1020.30 c 373 700 633.52 186.24 3.40 1000000 0 1021.53/1021.88 c 260 645 614.37 207.98 2.95 1000000 0 1023.12/1023.47 c 310 439 616.69 190.94 3.23 1000000 0 1024.72/1025.07 c 322 721 647.33 191.72 3.38 1000000 0 1026.32/1026.66 c 322 514 623.16 188.66 3.30 1000000 0 1027.92/1028.25 c 329 506 615.96 171.74 3.59 1000000 0 1029.52/1029.83 c 315 669 605.29 204.97 2.95 1000000 0 1031.12/1031.43 c 387 687 629.22 139.33 4.52 1000000 0 1032.72/1033.02 c 333 525 616.73 179.44 3.44 1000000 0 1034.32/1034.61 c 346 622 636.05 206.49 3.08 1000000 0 1035.93/1036.21 c 391 626 643.11 171.57 3.75 1000000 0 1037.52/1037.80 c 348 613 636.74 174.57 3.65 1000000 0 1039.13/1039.40 c 322 609 631.82 189.23 3.34 1000000 0 1040.62/1041.00 c 330 547 636.68 201.29 3.16 1000000 0 1042.22/1042.59 c 337 546 626.32 190.90 3.28 1000000 0 1043.82/1044.18 c 352 581 647.56 177.06 3.66 1000000 0 1045.42/1045.78 c 367 650 622.41 151.58 4.11 1000000 0 1047.02/1047.37 c 377 668 635.60 148.88 4.27 1000000 0 1048.62/1048.97 c 314 407 658.08 165.10 3.99 1000000 0 1050.22/1050.56 c 336 594 621.64 182.88 3.40 1000000 0 1051.82/1052.15 c 354 612 612.93 156.57 3.91 1000000 0 1053.42/1053.74 c 267 436 607.68 188.76 3.22 1000000 0 1055.02/1055.32 c 282 557 586.11 169.24 3.46 1000000 0 1056.62/1056.90 c 300 550 614.67 152.06 4.04 1000000 0 1058.12/1058.49 c 373 570 643.54 182.03 3.54 1000000 0 1059.71/1060.09 c 316 597 646.71 197.77 3.27 1000000 0 1061.31/1061.67 c 306 560 604.55 176.73 3.42 1000000 0 1062.91/1063.26 c 307 645 617.49 179.60 3.44 1000000 0 1064.52/1064.85 c 359 609 634.25 175.57 3.61 1000000 0 1066.11/1066.44 c 340 701 634.10 190.90 3.32 1000000 0 1067.72/1068.03 c 308 770 604.45 175.17 3.45 1000000 0 1069.31/1069.61 c 350 618 625.71 176.15 3.55 1000000 0 1070.91/1071.20 c 328 590 624.07 162.82 3.83 1000000 0 1072.41/1072.78 c 355 558 598.19 162.94 3.67 1000000 0 1074.01/1074.37 c 303 525 624.96 162.37 3.85 1000000 0 1075.61/1075.96 c 319 512 623.63 171.86 3.63 1000000 0 1077.21/1077.55 c 336 610 626.70 152.02 4.12 1000000 0 1078.82/1079.15 c 385 484 639.33 194.41 3.29 1000000 0 1080.41/1080.73 c 340 490 614.99 173.88 3.54 1000000 0 1082.02/1082.32 c 253 548 606.64 186.22 3.26 1000000 0 1083.61/1083.93 c 378 653 648.99 178.14 3.64 1000000 0 1085.21/1085.51 c 326 512 613.02 161.05 3.81 1000000 0 1086.71/1087.08 c 357 593 595.30 194.26 3.06 1000000 0 1088.31/1088.68 c 274 553 618.14 191.91 3.22 1000000 0 1089.91/1090.27 c 352 543 604.38 163.60 3.69 1000000 0 1091.51/1091.85 c 349 718 615.02 177.41 3.47 1000000 0 1093.11/1093.44 c 386 623 612.30 154.91 3.95 1000000 0 1094.70/1095.03 c 321 548 608.72 176.50 3.45 1000000 0 1096.31/1096.63 c 264 513 606.10 196.57 3.08 1000000 0 1097.90/1098.23 c 341 592 639.03 194.83 3.28 1000000 0 1099.50/1099.82 c 340 633 637.31 190.91 3.34 1000000 0 1101.10/1101.41 c 353 627 606.77 158.95 3.82 1000000 0 1102.60/1102.99 c 351 761 610.51 167.92 3.64 1000000 0 1104.20/1104.59 c 368 771 636.54 149.83 4.25 1000000 0 1105.80/1106.19 c 277 490 634.47 203.90 3.11 1000000 0 1107.41/1107.76 c 324 560 583.40 180.44 3.23 1000000 0 1109.00/1109.36 c 373 696 627.97 186.87 3.36 1000000 0 1110.61/1110.96 c 300 675 639.33 211.19 3.03 1000000 0 1112.20/1112.55 c 314 595 618.96 190.63 3.25 1000000 0 1113.80/1114.13 c 288 444 602.54 162.26 3.71 1000000 0 1115.40/1115.73 c 314 519 620.76 207.86 2.99 1000000 0 1117.00/1117.32 c 388 511 634.39 170.81 3.71 1000000 0 1118.60/1118.92 c 310 661 626.86 185.59 3.38 1000000 0 1120.20/1120.50 c 336 595 611.71 185.16 3.30 1000000 0 1121.71/1122.09 c 345 571 615.64 158.54 3.88 1000000 0 1123.30/1123.68 c 378 583 619.04 190.38 3.25 1000000 0 1124.90/1125.26 c 336 555 618.72 189.62 3.26 1000000 0 1126.50/1126.83 c 342 556 579.12 160.42 3.61 1000000 0 1128.10/1128.44 c 374 470 650.14 189.35 3.43 1000000 0 1129.70/1130.02 c 350 493 603.52 173.98 3.47 1000000 0 1131.30/1131.61 c 351 619 617.87 182.17 3.39 1000000 0 1132.90/1133.20 c 318 676 628.37 163.85 3.83 1000000 0 1134.39/1134.79 c 341 549 633.81 183.07 3.46 1000000 0 1136.00/1136.38 c 382 576 638.66 173.31 3.69 1000000 0 1137.59/1137.97 c 318 436 624.45 157.14 3.97 1000000 0 1139.20/1139.57 c 326 574 629.08 211.01 2.98 1000000 0 1140.79/1141.15 c 358 628 609.43 167.49 3.64 1000000 0 1142.39/1142.74 c 307 512 597.34 184.31 3.24 1000000 0 1143.99/1144.32 c 311 520 609.61 152.98 3.98 1000000 0 1145.59/1145.90 c 377 563 608.44 169.72 3.58 1000000 0 1147.09/1147.47 c 265 662 576.55 172.84 3.34 1000000 0 1148.69/1149.05 c 314 481 608.02 187.15 3.25 1000000 0 1150.30/1150.65 c 365 558 638.87 186.25 3.43 1000000 0 1151.89/1152.22 c 368 449 608.97 158.03 3.85 1000000 0 1153.50/1153.81 c 343 803 607.15 169.16 3.59 1000000 0 1154.99/1155.39 c 302 661 614.94 197.65 3.11 1000000 0 1156.59/1156.98 c 369 617 634.36 170.81 3.71 1000000 0 1158.19/1158.57 c 356 543 609.75 177.21 3.44 1000000 0 1159.79/1160.15 c 360 673 613.67 176.77 3.47 1000000 0 1161.39/1161.74 c 377 632 624.94 155.50 4.02 1000000 0 1162.99/1163.33 c 345 662 622.01 175.14 3.55 1000000 0 1164.59/1164.91 c 321 594 606.34 174.78 3.47 1000000 0 1166.09/1166.50 c 333 540 613.13 159.04 3.86 1000000 0 1167.69/1168.09 c 378 728 632.43 183.65 3.44 1000000 0 1169.29/1169.68 c 335 831 615.73 200.22 3.08 1000000 0 1170.88/1171.27 c 327 616 629.18 195.47 3.22 1000000 0 1172.48/1172.86 c 361 493 615.00 192.37 3.20 1000000 0 1174.08/1174.44 c 358 610 624.91 158.22 3.95 1000000 0 1175.68/1176.04 c 343 515 632.49 191.13 3.31 1000000 0 1177.28/1177.62 c 315 530 601.96 203.29 2.96 1000000 0 1178.89/1179.21 c 355 441 626.92 177.22 3.54 1000000 0 1180.48/1180.80 c 315 534 621.42 200.09 3.11 1000000 0 1181.98/1182.39 c 286 544 632.59 182.33 3.47 1000000 0 1183.58/1183.98 c 372 422 617.54 165.22 3.74 1000000 0 1185.18/1185.58 c 310 673 645.91 185.01 3.49 1000000 0 1186.78/1187.17 c 395 433 632.03 207.41 3.05 1000000 0 1188.38/1188.77 c 314 751 628.14 210.69 2.98 1000000 0 1189.98/1190.36 c 385 487 617.64 165.75 3.73 1000000 0 1191.58/1191.94 c 327 614 601.23 180.83 3.32 1000000 0 1193.19/1193.52 c 293 538 610.41 173.76 3.51 1000000 0 1194.78/1195.11 c 319 562 629.55 165.39 3.81 1000000 0 1196.39/1196.70 c 324 494 621.90 192.18 3.24 1000000 0 1197.88/1198.29 c 353 545 607.65 169.08 3.59 1000000 0 1199.48/1199.88 c 333 709 627.41 182.32 3.44 1000000 0 1201.08/1201.46 c 326 579 606.39 175.68 3.45 1000000 0 1202.68/1203.07 c 398 488 654.59 157.33 4.16 1000000 0 1204.28/1204.65 c 328 464 607.17 174.59 3.48 1000000 0 1205.88/1206.24 c 326 612 608.01 203.68 2.99 1000000 0 1207.48/1207.83 c 376 688 632.21 185.01 3.42 1000000 0 1209.08/1209.42 c 302 554 625.92 160.44 3.90 1000000 0 1210.68/1211.02 c 352 582 639.87 182.73 3.50 1000000 0 1212.27/1212.60 c 315 528 600.34 170.30 3.53 1000000 0 1213.77/1214.19 c 299 526 621.20 192.28 3.23 1000000 0 1215.37/1215.78 c 344 621 639.40 172.00 3.72 1000000 0 1216.97/1217.39 c 394 575 645.45 218.01 2.96 1000000 0 1218.57/1218.97 c 319 616 609.34 162.19 3.76 1000000 0 1220.17/1220.56 c 315 555 615.48 200.03 3.08 1000000 0 1221.78/1222.14 c 355 625 608.05 156.45 3.89 1000000 0 1223.37/1223.72 c 360 662 599.66 154.34 3.89 1000000 0 1224.98/1225.30 c 317 630 599.30 155.02 3.87 1000000 0 1226.47/1226.89 c 373 610 646.03 176.19 3.67 1000000 0 1228.07/1228.48 c 352 568 628.10 193.18 3.25 1000000 0 1229.67/1230.08 c 353 810 633.93 135.88 4.67 1000000 0 1231.27/1231.68 c 384 639 641.17 193.72 3.31 1000000 0 1232.87/1233.26 c 336 572 596.21 161.00 3.70 1000000 0 1234.47/1234.85 c 301 579 612.26 184.17 3.32 1000000 0 1236.07/1236.45 c 364 670 645.69 186.26 3.47 1000000 0 1237.66/1238.05 c 366 491 639.80 171.10 3.74 1000000 0 1239.27/1239.63 c 339 592 615.08 196.87 3.12 1000000 0 1240.86/1241.22 c 333 508 619.81 176.23 3.52 1000000 0 1242.46/1242.81 c 337 629 617.61 174.76 3.53 1000000 0 1244.06/1244.41 c 293 564 635.37 194.26 3.27 1000000 0 1245.56/1245.99 c 323 593 597.18 175.60 3.40 1000000 0 1247.16/1247.58 c 297 636 621.90 169.31 3.67 1000000 0 1248.76/1249.17 c 367 655 638.05 152.39 4.19 1000000 0 1250.37/1250.76 c 351 523 627.06 211.47 2.97 1000000 0 1251.96/1252.35 c 359 583 615.42 182.63 3.37 1000000 0 1253.57/1253.94 c 266 601 636.97 174.19 3.66 1000000 0 1255.16/1255.54 c 304 646 622.19 170.25 3.65 1000000 0 1256.76/1257.12 c 352 448 616.02 181.90 3.39 1000000 0 1258.36/1258.71 c 280 652 612.99 172.87 3.55 1000000 0 1259.86/1260.29 c 330 556 604.24 169.18 3.57 1000000 0 1261.46/1261.88 c 333 635 613.12 180.52 3.40 1000000 0 1263.06/1263.48 c 333 685 642.47 166.05 3.87 1000000 0 1264.66/1265.06 c 337 520 603.23 157.38 3.83 1000000 0 1266.26/1266.65 c 284 432 607.35 178.21 3.41 1000000 0 1267.86/1268.24 c 328 540 631.91 200.36 3.15 1000000 0 1269.46/1269.82 c 339 574 595.22 168.32 3.54 1000000 0 1271.05/1271.42 c 379 496 652.27 196.22 3.32 1000000 0 1272.66/1273.01 c 361 553 600.71 167.88 3.58 1000000 0 1274.16/1274.59 c 342 616 634.70 159.54 3.98 1000000 0 1275.86/1276.20 c 340 769 659.64 204.75 3.22 1000000 0 1277.35/1277.79 c 364 678 625.87 193.86 3.23 1000000 0 1278.96/1279.38 c 303 562 609.16 196.25 3.10 1000000 0 1280.55/1280.97 c 362 617 633.81 173.29 3.66 1000000 0 1282.16/1282.55 c 362 728 620.09 126.93 4.89 1000000 0 1283.75/1284.13 c 356 716 610.67 176.04 3.47 1000000 0 1285.35/1285.72 c 278 548 622.11 188.74 3.30 1000000 0 1286.95/1287.31 c 365 548 637.05 178.44 3.57 1000000 0 1288.55/1288.90 c 342 636 616.94 186.37 3.31 1000000 0 1290.05/1290.49 c 322 469 610.68 201.37 3.03 1000000 0 1291.65/1292.07 c 362 476 591.76 161.47 3.66 1000000 0 1293.26/1293.67 c 343 585 630.88 191.89 3.29 1000000 0 1294.85/1295.26 c 334 501 630.28 171.71 3.67 1000000 0 1296.46/1296.85 c 345 503 622.26 185.51 3.35 1000000 0 1298.05/1298.43 c 311 481 603.34 173.57 3.48 1000000 0 1299.65/1300.02 c 377 693 636.18 169.69 3.75 1000000 0 1301.25/1301.63 c 372 681 660.64 197.53 3.34 1000000 0 1302.85/1303.22 c 299 604 622.16 183.03 3.40 1000000 0 1304.45/1304.81 c 350 467 635.48 194.04 3.28 1000000 0 1306.05/1306.41 c 276 606 650.04 189.54 3.43 1000000 0 1307.55/1307.99 c 278 619 612.35 181.07 3.38 1000000 0 1309.15/1309.59 c 311 550 634.46 149.02 4.26 1000000 0 1310.75/1311.19 c 377 497 665.13 172.13 3.86 1000000 0 1312.35/1312.79 c 340 541 643.33 202.94 3.17 1000000 0 1313.95/1314.38 c 309 797 630.29 180.65 3.49 1000000 0 1315.55/1315.97 c 336 672 622.34 184.59 3.37 1000000 0 1317.15/1317.56 c 348 536 613.28 185.36 3.31 1000000 0 1318.75/1319.15 c 368 619 616.50 162.87 3.79 1000000 0 1320.35/1320.73 c 379 580 603.26 153.99 3.92 1000000 0 1321.95/1322.32 c 265 694 603.27 169.16 3.57 1000000 0 1323.55/1323.91 c 349 764 615.77 203.58 3.02 1000000 0 1325.06/1325.50 c 360 581 628.38 152.81 4.11 1000000 0 1326.65/1327.08 c 392 626 622.00 166.20 3.74 1000000 0 1328.25/1328.66 c 332 584 602.42 170.64 3.53 1000000 0 1329.85/1330.26 c 276 606 654.92 173.50 3.77 1000000 0 1331.45/1331.85 c 294 605 597.47 184.34 3.24 1000000 0 1333.05/1333.44 c 336 621 631.23 210.62 3.00 1000000 0 1334.65/1335.03 c 349 495 616.37 156.62 3.94 1000000 0 1336.25/1336.61 c 297 423 599.62 190.71 3.14 1000000 0 1337.85/1338.20 c 350 587 622.08 185.08 3.36 1000000 0 1339.35/1339.78 c 339 687 589.38 186.28 3.16 1000000 0 1340.95/1341.38 c 409 552 646.35 182.16 3.55 1000000 0 1342.54/1342.97 c 301 598 612.14 146.58 4.18 1000000 0 1344.14/1344.56 c 370 581 628.71 162.43 3.87 1000000 0 1345.75/1346.14 c 345 610 625.48 185.56 3.37 1000000 0 1347.35/1347.73 c 359 694 616.89 178.38 3.46 1000000 0 1348.94/1349.32 c 351 600 632.81 175.06 3.61 1000000 0 1350.54/1350.91 c 330 720 631.78 156.73 4.03 1000000 0 1352.14/1352.50 c 350 625 625.63 153.31 4.08 1000000 0 1353.65/1354.08 c 273 431 584.97 156.13 3.75 1000000 0 1355.24/1355.67 c 323 633 621.48 175.90 3.53 1000000 0 1356.84/1357.26 c 350 545 622.66 213.59 2.92 1000000 0 1358.44/1358.84 c 322 494 617.34 176.88 3.49 1000000 0 1360.04/1360.43 c 311 597 625.80 174.04 3.60 1000000 0 1361.64/1362.03 c 297 608 628.41 201.46 3.12 1000000 0 1363.24/1363.62 c 362 538 626.38 150.98 4.15 1000000 0 1364.84/1365.21 c 328 568 614.27 168.25 3.65 1000000 0 1366.34/1366.79 c 254 604 607.37 198.80 3.06 1000000 0 1367.95/1368.37 c 343 546 596.34 178.85 3.33 1000000 0 1369.54/1369.96 c 292 687 628.30 205.75 3.05 1000000 0 1371.14/1371.56 c 383 512 646.79 173.75 3.72 1000000 0 1372.74/1373.16 c 394 707 648.53 172.67 3.76 1000000 0 1374.34/1374.75 c 353 701 619.18 181.38 3.41 1000000 0 1375.94/1376.34 c 319 530 604.78 193.20 3.13 1000000 0 1377.54/1377.93 c 273 636 615.11 184.68 3.33 1000000 0 1379.14/1379.51 c 348 583 614.19 157.00 3.91 1000000 0 1380.64/1381.09 c 301 671 592.62 179.32 3.30 1000000 0 1382.24/1382.68 c 335 454 611.62 179.19 3.41 1000000 0 1383.83/1384.26 c 324 471 589.32 193.28 3.05 1000000 0 1385.43/1385.83 c 311 680 591.72 186.61 3.17 1000000 0 1387.03/1387.42 c 345 678 603.75 200.98 3.00 1000000 0 1388.63/1389.01 c 284 560 644.07 204.67 3.15 1000000 0 1390.23/1390.61 c 330 410 628.05 184.82 3.40 1000000 0 1391.83/1392.20 c 291 791 619.70 183.06 3.39 1000000 0 1393.34/1393.79 c 402 717 641.34 143.02 4.48 1000000 0 1394.93/1395.38 c 370 480 617.62 138.25 4.47 1000000 0 1396.54/1396.95 c 351 631 596.81 166.63 3.58 1000000 0 1398.13/1398.53 c 344 580 607.40 171.39 3.54 1000000 0 1399.73/1400.13 c 343 644 634.33 205.19 3.09 1000000 0 1401.33/1401.72 c 357 582 643.56 179.30 3.59 1000000 0 1402.93/1403.31 c 271 568 619.36 188.98 3.28 1000000 0 1404.43/1404.90 c 338 751 616.05 157.77 3.90 1000000 0 1406.03/1406.49 c 319 483 626.35 178.42 3.51 1000000 0 1407.64/1408.06 c 353 667 611.08 164.18 3.72 1000000 0 1409.23/1409.65 c 290 540 618.37 230.19 2.69 1000000 0 1410.83/1411.23 c 311 515 606.87 179.67 3.38 1000000 0 1412.43/1412.81 c 318 619 608.01 175.12 3.47 1000000 0 1414.03/1414.41 c 342 530 630.09 168.06 3.75 1000000 0 1415.63/1416.00 c 289 442 617.60 170.95 3.61 1000000 0 1417.13/1417.59 c 334 538 630.81 175.75 3.59 1000000 0 1418.73/1419.18 c 303 788 629.38 201.71 3.12 1000000 0 1420.33/1420.78 c 312 704 605.35 180.84 3.35 1000000 0 1421.93/1422.37 c 350 505 637.69 184.36 3.46 1000000 0 1423.53/1423.95 c 321 666 592.91 179.18 3.31 1000000 0 1425.13/1425.55 c 396 555 638.06 198.09 3.22 1000000 0 1426.72/1427.15 c 310 694 635.63 199.40 3.19 1000000 0 1428.32/1428.73 c 351 539 607.95 164.58 3.69 1000000 0 1429.92/1430.33 c 349 604 643.88 178.16 3.61 1000000 0 1431.52/1431.91 c 322 766 605.61 191.56 3.16 1000000 0 1433.12/1433.50 c 330 612 625.17 186.83 3.35 1000000 0 1434.62/1435.09 c 306 440 612.36 175.48 3.49 1000000 0 1436.23/1436.66 c 318 639 593.46 184.24 3.22 1000000 0 1437.82/1438.25 c 338 452 620.03 159.55 3.89 1000000 0 1439.43/1439.83 c 376 604 621.43 168.83 3.68 1000000 0 1441.02/1441.41 c 262 491 608.95 180.28 3.38 1000000 0 1442.52/1442.99 c 320 601 582.73 173.83 3.35 1000000 0 1444.12/1444.59 c 396 694 632.63 173.31 3.65 1000000 0 1445.72/1446.19 c 336 415 640.65 193.48 3.31 1000000 0 1447.32/1447.78 c 332 647 641.93 188.26 3.41 1000000 0 1448.92/1449.36 c 337 747 607.91 168.67 3.60 1000000 0 1450.52/1450.95 c 311 664 626.47 158.50 3.95 1000000 0 1452.12/1452.54 c 368 603 619.63 190.47 3.25 1000000 0 1453.72/1454.14 c 329 687 639.80 185.31 3.45 1000000 0 1455.32/1455.73 c 375 638 633.19 186.19 3.40 1000000 0 1456.92/1457.32 c 307 642 611.41 173.13 3.53 1000000 0 1458.52/1458.90 c 326 615 599.82 176.20 3.40 1000000 0 1460.02/1460.48 c 290 658 599.86 161.94 3.70 1000000 0 1461.61/1462.07 c 341 533 624.41 225.20 2.77 1000000 0 1463.21/1463.66 c 344 613 601.93 191.91 3.14 1000000 0 1464.82/1465.26 c 350 577 636.02 216.96 2.93 1000000 0 1466.41/1466.85 c 349 836 616.82 185.07 3.33 1000000 0 1468.02/1468.43 c 370 484 612.27 180.57 3.39 1000000 0 1469.61/1470.03 c 293 534 645.15 193.56 3.33 1000000 0 1471.21/1471.62 c 315 599 612.99 189.16 3.24 1000000 0 1472.81/1473.22 c 371 775 633.93 175.05 3.62 1000000 0 1474.41/1474.80 c 346 813 619.19 182.19 3.40 1000000 0 1476.01/1476.40 c 351 772 642.54 175.67 3.66 1000000 0 1477.51/1477.99 c 340 686 606.65 170.64 3.56 1000000 0 1479.12/1479.58 c 366 529 642.53 190.65 3.37 1000000 0 1480.71/1481.17 c 343 532 613.78 161.76 3.79 1000000 0 1482.32/1482.77 c 338 572 625.57 172.38 3.63 1000000 0 1483.91/1484.37 c 329 528 629.79 171.40 3.67 1000000 0 1485.51/1485.95 c 311 592 606.39 163.62 3.71 1000000 0 1487.11/1487.54 c 391 612 626.84 177.91 3.52 1000000 0 1488.71/1489.13 c 281 509 635.63 178.35 3.56 1000000 0 1490.31/1490.72 c 336 526 600.30 192.96 3.11 1000000 0 1491.91/1492.32 c 382 567 634.25 178.96 3.54 1000000 0 1493.51/1493.90 c 351 599 614.73 147.82 4.16 1000000 0 1495.01/1495.49 c 296 512 631.27 167.26 3.77 1000000 0 1496.61/1497.08 c 308 558 622.47 171.59 3.63 1000000 0 1498.21/1498.67 c 313 730 632.91 173.27 3.65 1000000 0 1499.81/1500.26 c 362 603 614.84 159.46 3.86 1000000 0 1501.41/1501.85 c 336 583 605.45 140.18 4.32 1000000 0 1503.00/1503.45 c 322 600 644.15 212.88 3.03 1000000 0 1504.60/1505.04 c 349 507 619.98 173.65 3.57 1000000 0 1506.20/1506.61 c 350 591 587.75 153.76 3.82 1000000 0 1507.71/1508.19 c 382 578 611.14 145.01 4.21 1000000 0 1509.30/1509.78 c 342 670 632.51 181.28 3.49 1000000 0 1510.91/1511.37 c 336 483 618.10 170.53 3.62 1000000 0 1512.50/1512.95 c 287 650 611.54 164.05 3.73 1000000 0 1514.10/1514.54 c 373 615 613.80 170.89 3.59 1000000 0 1515.70/1516.13 c 313 510 633.99 148.55 4.27 1000000 0 1517.30/1517.73 c 320 534 635.85 198.25 3.21 1000000 0 1518.90/1519.30 c 342 628 602.83 177.34 3.40 1000000 0 1520.40/1520.89 c 287 521 605.32 194.75 3.11 1000000 0 1522.00/1522.47 c 346 608 616.43 194.21 3.17 1000000 0 1523.60/1524.07 c 357 548 624.98 169.76 3.68 1000000 0 1525.20/1525.65 c 328 452 579.56 177.90 3.26 1000000 0 1526.80/1527.24 c 295 725 658.93 182.55 3.61 1000000 0 1528.40/1528.84 c 356 613 628.76 193.16 3.26 1000000 0 1530.00/1530.43 c 303 509 617.15 169.82 3.63 1000000 0 1531.60/1532.02 c 336 670 623.90 178.92 3.49 1000000 0 1533.19/1533.62 c 340 711 632.41 204.12 3.10 1000000 0 1534.79/1535.20 c 314 558 600.81 171.52 3.50 1000000 0 1536.30/1536.79 c 353 687 632.09 203.11 3.11 1000000 0 1537.89/1538.38 c 329 860 641.27 183.99 3.49 1000000 0 1539.50/1539.97 c 331 656 606.85 155.30 3.91 1000000 0 1541.09/1541.56 c 319 553 624.55 170.17 3.67 1000000 0 1542.69/1543.16 c 374 733 666.14 187.40 3.55 1000000 0 1544.29/1544.75 c 259 701 616.47 166.33 3.71 1000000 0 1545.89/1546.34 c 320 518 620.90 182.29 3.41 1000000 0 1547.49/1547.93 c 343 595 611.51 210.58 2.90 1000000 0 1549.09/1549.52 c 321 461 612.01 152.07 4.02 1000000 0 1550.60/1551.09 c 350 590 605.89 162.01 3.74 1000000 0 1552.19/1552.68 c 354 611 622.92 168.15 3.70 1000000 0 1553.80/1554.29 c 365 690 659.39 209.85 3.14 1000000 0 1555.39/1555.88 c 369 711 623.24 166.25 3.75 1000000 0 1556.99/1557.47 c 283 589 624.13 189.03 3.30 1000000 0 1558.59/1559.06 c 362 485 621.10 169.57 3.66 1000000 0 1560.19/1560.66 c 308 556 636.51 187.58 3.39 1000000 0 1561.79/1562.24 c 340 553 602.60 188.82 3.19 1000000 0 1563.39/1563.83 c 326 552 631.31 181.08 3.49 1000000 0 1564.99/1565.43 c 339 706 648.02 171.38 3.78 1000000 0 1566.59/1567.03 c 345 679 626.84 192.15 3.26 1000000 0 1568.19/1568.61 c 304 521 611.22 211.69 2.89 1000000 0 1569.79/1570.20 c 347 508 622.70 176.02 3.54 1000000 0 1571.39/1571.80 c 354 598 638.55 200.45 3.19 1000000 0 1572.88/1573.39 c 332 352 609.83 197.37 3.09 1000000 0 1574.48/1574.97 c 302 750 597.42 181.08 3.30 1000000 0 1576.08/1576.55 c 312 596 600.99 140.64 4.27 1000000 0 1577.68/1578.14 c 243 607 624.53 174.56 3.58 1000000 0 1579.28/1579.74 c 374 608 651.07 156.52 4.16 1000000 0 1580.88/1581.34 c 360 540 638.49 177.56 3.60 1000000 0 1582.49/1582.92 c 315 409 593.52 165.64 3.58 1000000 0 1584.08/1584.50 c 286 673 615.43 167.84 3.67 1000000 0 1585.69/1586.10 c 310 543 627.43 177.76 3.53 1000000 0 1587.28/1587.70 c 312 702 628.13 193.00 3.25 1000000 0 1588.78/1589.29 c 347 553 630.16 154.12 4.09 1000000 0 1590.38/1590.88 c 318 647 622.73 179.20 3.47 1000000 0 1591.98/1592.46 c 323 462 602.11 184.18 3.27 1000000 0 1593.58/1594.05 c 359 596 631.26 166.82 3.78 1000000 0 1595.18/1595.63 c 345 522 596.74 164.39 3.63 1000000 0 1596.78/1597.22 c 285 429 610.92 197.05 3.10 1000000 0 1598.38/1598.81 c 343 554 642.45 181.47 3.54 1000000 0 1599.98/1600.41 c 319 702 624.72 177.21 3.53 1000000 0 1601.57/1602.00 c 379 537 631.33 203.39 3.10 1000000 0 1603.07/1603.58 c 365 693 616.63 157.05 3.93 1000000 0 1604.67/1605.18 c 373 604 645.62 196.45 3.29 1000000 0 1606.27/1606.77 c 313 592 618.45 187.66 3.30 1000000 0 1607.87/1608.36 c 338 441 605.59 167.01 3.63 1000000 0 1609.47/1609.93 c 301 592 590.09 182.27 3.24 1000000 0 1611.08/1611.51 c 323 730 613.56 179.02 3.43 1000000 0 1612.67/1613.11 c 295 574 623.51 174.30 3.58 1000000 0 1614.28/1614.71 c 333 560 643.66 177.82 3.62 1000000 0 1615.77/1616.29 c 361 605 629.71 169.61 3.71 1000000 0 1617.37/1617.88 c 309 562 619.92 180.31 3.44 1000000 0 1618.97/1619.46 c 348 649 601.88 183.27 3.28 1000000 0 1620.57/1621.07 c 274 501 641.42 195.97 3.27 1000000 0 1622.17/1622.67 c 301 748 613.90 201.43 3.05 1000000 0 1623.77/1624.26 c 375 665 622.67 171.42 3.63 1000000 0 1625.38/1625.85 c 399 666 638.59 186.76 3.42 1000000 0 1626.97/1627.45 c 345 477 636.01 198.64 3.20 1000000 0 1628.58/1629.04 c 355 482 631.17 182.85 3.45 1000000 0 1630.17/1630.61 c 343 692 591.59 153.63 3.85 1000000 0 1631.77/1632.20 c 307 478 619.34 153.95 4.02 1000000 0 1633.27/1633.77 c 300 509 578.93 195.06 2.97 1000000 0 1634.87/1635.34 c 329 501 596.56 162.16 3.68 1000000 0 1636.47/1636.93 c 327 587 615.00 164.20 3.75 1000000 0 1638.07/1638.51 c 325 669 607.82 151.17 4.02 1000000 0 1639.67/1640.11 c 358 456 630.36 191.29 3.30 1000000 0 1641.26/1641.70 c 321 654 612.77 179.54 3.41 1000000 0 1642.76/1643.28 c 336 618 617.90 153.12 4.04 1000000 0 1644.36/1644.86 c 356 615 613.35 184.73 3.32 1000000 0 1645.96/1646.46 c 304 484 646.87 188.97 3.42 1000000 0 1647.56/1648.05 c 373 483 615.56 187.30 3.29 1000000 0 1649.16/1649.64 c 382 521 627.06 161.41 3.88 1000000 0 1650.76/1651.23 c 339 618 614.52 174.30 3.53 1000000 0 1652.36/1652.81 c 358 572 623.45 174.05 3.58 1000000 0 1653.97/1654.41 c 359 545 611.48 154.22 3.97 1000000 0 1655.46/1655.98 c 314 524 598.64 187.91 3.19 1000000 0 1657.06/1657.58 c 333 641 638.67 202.83 3.15 1000000 0 1658.66/1659.18 c 371 588 634.46 165.78 3.83 1000000 0 1660.26/1660.77 c 392 643 624.52 158.79 3.93 1000000 0 1661.86/1662.36 c 338 609 616.81 189.94 3.25 1000000 0 1663.46/1663.95 c 332 546 621.80 150.62 4.13 1000000 0 1665.06/1665.54 c 374 479 611.96 164.59 3.72 1000000 0 1666.66/1667.13 c 327 567 628.60 207.52 3.03 1000000 0 1668.26/1668.72 c 346 512 614.43 184.10 3.34 1000000 0 1669.86/1670.31 c 331 598 625.76 164.28 3.81 1000000 0 1671.46/1671.90 c 331 699 611.40 170.39 3.59 1000000 0 1672.95/1673.49 c 320 681 632.66 177.19 3.57 1000000 0 1674.55/1675.09 c 332 629 640.17 188.10 3.40 1000000 0 1676.15/1676.68 c 346 550 614.47 182.49 3.37 1000000 0 1677.75/1678.27 c 353 586 628.42 183.51 3.42 1000000 0 1679.35/1679.87 c 315 614 635.07 181.44 3.50 1000000 0 1680.95/1681.46 c 309 468 628.63 167.09 3.76 1000000 0 1682.56/1683.06 c 344 586 626.83 167.12 3.75 1000000 0 1684.15/1684.64 c 343 693 615.85 164.34 3.75 1000000 0 1685.76/1686.24 c 383 643 636.05 162.62 3.91 1000000 0 1687.35/1687.82 c 251 503 614.56 167.71 3.66 1000000 0 1688.95/1689.41 c 365 832 616.30 172.88 3.56 1000000 0 1690.55/1691.00 c 360 750 633.01 158.28 4.00 1000000 0 1692.15/1692.60 c 352 630 623.33 179.55 3.47 1000000 0 1693.65/1694.19 c 329 530 621.93 161.32 3.86 1000000 0 1695.25/1695.77 c 340 663 618.01 173.58 3.56 1000000 0 1696.86/1697.37 c 328 617 636.79 186.61 3.41 1000000 0 1698.45/1698.96 c 312 599 619.38 232.21 2.67 1000000 0 1700.06/1700.55 c 363 477 610.76 151.13 4.04 1000000 0 1701.65/1702.15 c 361 527 648.02 182.79 3.55 1000000 0 1703.25/1703.74 c 364 636 627.84 172.61 3.64 1000000 0 1704.85/1705.33 c 362 505 601.01 172.24 3.49 1000000 0 1706.45/1706.92 c 304 675 626.78 190.24 3.29 1000000 0 1708.05/1708.50 c 293 538 590.10 170.33 3.46 1000000 0 1709.55/1710.10 c 317 520 629.40 173.17 3.63 1000000 0 1711.15/1711.68 c 341 679 618.84 171.03 3.62 1000000 0 1712.75/1713.26 c 329 585 594.79 160.49 3.71 1000000 0 1714.35/1714.83 c 341 667 590.62 160.22 3.69 1000000 0 1715.94/1716.43 c 370 564 625.69 190.51 3.28 1000000 0 1717.54/1718.01 c 337 636 606.13 201.86 3.00 1000000 0 1719.14/1719.60 c 306 488 618.63 182.10 3.40 1000000 0 1720.64/1721.18 c 359 705 615.37 176.23 3.49 1000000 0 1722.24/1722.77 c 349 574 624.03 150.91 4.14 1000000 0 1723.84/1724.35 c 313 567 602.50 180.24 3.34 1000000 0 1725.45/1725.93 c 281 673 603.27 189.19 3.19 1000000 0 1727.04/1727.52 c 312 643 612.11 149.16 4.10 1000000 0 1728.65/1729.12 c 338 653 628.61 178.27 3.53 1000000 0 1730.24/1730.72 c 391 673 663.21 161.18 4.11 1000000 0 1731.84/1732.30 c 357 397 614.99 189.79 3.24 1000000 0 1733.34/1733.89 c 283 639 621.44 173.10 3.59 1000000 0 1734.94/1735.49 c 358 678 625.88 185.11 3.38 1000000 0 1736.54/1737.08 c 323 684 608.29 177.65 3.42 1000000 0 1738.14/1738.66 c 303 483 607.90 166.14 3.66 1000000 0 1739.75/1740.24 c 352 556 614.36 176.91 3.47 1000000 0 1741.34/1741.83 c 376 506 630.81 180.37 3.50 1000000 0 1742.94/1743.42 c 356 527 622.23 145.55 4.27 1000000 0 1744.54/1745.00 c 321 549 602.75 184.44 3.27 1000000 0 1746.04/1746.59 c 320 689 613.16 183.07 3.35 1000000 0 1747.64/1748.17 c 365 532 624.10 197.03 3.17 1000000 0 1749.24/1749.76 c 341 521 615.88 195.14 3.16 1000000 0 1750.83/1751.34 c 319 646 601.13 183.75 3.27 1000000 0 1752.43/1752.92 c 351 572 599.13 166.65 3.60 1000000 0 1753.94/1754.50 c 317 481 601.44 188.97 3.18 1000000 0 1755.53/1756.09 c 328 568 620.50 186.23 3.33 1000000 0 1757.13/1757.67 c 332 522 606.90 190.92 3.18 1000000 0 1758.73/1759.27 c 352 583 637.82 185.86 3.43 1000000 0 1760.33/1760.85 c 368 618 612.89 155.79 3.93 1000000 0 1761.93/1762.44 c 330 696 624.81 163.45 3.82 1000000 0 1763.53/1764.04 c 318 562 629.70 173.79 3.62 1000000 0 1765.13/1765.62 c 344 593 609.19 173.51 3.51 1000000 0 1766.73/1767.21 c 321 566 606.03 190.56 3.18 1000000 0 1768.24/1768.79 c 299 625 599.47 184.68 3.25 1000000 0 1769.83/1770.39 c 334 647 652.39 223.85 2.91 1000000 0 1771.43/1771.97 c 219 731 620.77 166.31 3.73 1000000 0 1773.03/1773.56 c 232 577 601.58 185.58 3.24 1000000 0 1774.63/1775.15 c 270 676 613.45 191.88 3.20 1000000 0 1776.23/1776.74 c 365 502 636.38 182.45 3.49 1000000 0 1777.83/1778.34 c 379 526 665.48 174.46 3.81 1000000 0 1779.43/1779.93 c 290 659 611.71 156.60 3.91 1000000 0 1781.03/1781.51 c 377 523 608.70 171.45 3.55 1000000 0 1782.54/1783.10 c 346 485 619.46 176.70 3.51 1000000 0 1784.13/1784.69 c 374 578 629.36 178.54 3.53 1000000 0 1785.73/1786.28 c 352 510 612.21 189.90 3.22 1000000 0 1787.33/1787.86 c 281 591 600.45 184.88 3.25 1000000 0 1788.93/1789.45 c 366 591 611.68 178.85 3.42 1000000 0 1790.53/1791.05 c 341 521 630.81 177.65 3.55 1000000 0 1792.13/1792.65 c 321 497 632.85 160.93 3.93 1000000 0 1793.72/1794.25 c 324 617 614.06 180.11 3.41 1000000 0 1795.32/1795.84 c 310 692 628.68 178.37 3.52 1000000 0 1796.93/1797.44 c 354 579 638.71 174.68 3.66 1000000 0 1798.52/1799.03 c 341 650 622.89 196.31 3.17 1000000 0 1800.03/1800.51 HOME/run: line 2: 23879 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-2685266-1278440397/watcher-2685266-1278440397 -o /tmp/evaluation-result-2685266-1278440397/solver-2685266-1278440397 -C 1800 -W 2000 -M 1800 run HOME/instance-2685266-1278440397.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23878 /proc/meminfo: memFree=1789096/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [startup+0.041468 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23878 /proc/meminfo: memFree=1789096/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101472 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23878 /proc/meminfo: memFree=1789096/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301493 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23878 /proc/meminfo: memFree=1789096/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701534 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23878 /proc/meminfo: memFree=1789096/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50162 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23880 /proc/meminfo: memFree=1782260/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1.49 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1709 0 0 0 148 1 0 0 21 0 1 0 12253471 41422848 1639 1992294400 134512640 135071400 4294078560 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1639 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10178 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23880 /proc/meminfo: memFree=1782012/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=3.09 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1717 0 0 0 308 1 0 0 25 0 1 0 12253471 41422848 1647 1992294400 134512640 135071400 4294078560 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1647 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30111 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23880 /proc/meminfo: memFree=1781888/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=6.29 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 628 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 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.00 1.00 1.00 2/108 23880 /proc/meminfo: memFree=1781764/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=12.69 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 1268 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 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.00 1.00 1.00 2/108 23880 /proc/meminfo: memFree=1781764/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=25.49 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 2548 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49152 [startup+51.1007 s] /proc/loadavg: 1.06 1.01 1.00 2/108 23881 /proc/meminfo: memFree=1781640/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=51.08 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 5107 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 1.08 1.03 1.00 2/108 23882 /proc/meminfo: memFree=1781392/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=102.27 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 10226 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526747 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 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.09 1.04 1.00 2/108 23884 /proc/meminfo: memFree=1781392/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=162.25 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 16224 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.16 1.06 1.01 2/108 23886 /proc/meminfo: memFree=1781268/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=222.23 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 22222 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.15 1.08 1.01 2/108 23887 /proc/meminfo: memFree=1781268/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=282.22 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 28221 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49152 [startup+342.302 s] /proc/loadavg: 1.05 1.06 1.01 2/108 23889 /proc/meminfo: memFree=1781268/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=342.2 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 34219 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526054 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.02 1.05 1.00 2/108 23890 /proc/meminfo: memFree=1781144/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=402.19 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 40218 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1122 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 112199 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23911 /proc/meminfo: memFree=1779780/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1181.98 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 118197 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23913 /proc/meminfo: memFree=1779408/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1241.96 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 124195 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23914 /proc/meminfo: memFree=1779284/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1301.96 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 130195 1 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23916 /proc/meminfo: memFree=1779284/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1361.94 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 136192 2 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23918 /proc/meminfo: memFree=1779284/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1421.93 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 142191 2 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23919 /proc/meminfo: memFree=1779036/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1481.91 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 148189 2 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23921 /proc/meminfo: memFree=1779036/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1541.89 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 154187 2 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23922 /proc/meminfo: memFree=1778912/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1601.87 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 160185 2 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23924 /proc/meminfo: memFree=1778664/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1661.86 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 166184 2 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23926 /proc/meminfo: memFree=1778664/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1721.84 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 172182 2 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23927 /proc/meminfo: memFree=1778540/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1781.83 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 178181 2 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23928 /proc/meminfo: memFree=1778540/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1800.03 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 180001 2 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23928 /proc/meminfo: memFree=1778540/2059040 swapFree=4192956/4192956 [pid=23878] ppid=23876 vsize=8700 CPUtime=0 /proc/23878/stat : 23878 (run) S 23876 23878 23061 0 -1 4202496 358 0 0 0 0 0 0 0 15 0 1 0 12253471 8908800 243 1992294400 4194304 4922060 140733309340640 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23878/statm: 2175 243 204 178 0 68 0 [pid=23879] ppid=23878 vsize=40452 CPUtime=1800.03 /proc/23879/stat : 23879 (PB-wave) R 23878 23878 23061 0 -1 4202496 1718 0 0 0 180001 2 0 0 25 0 1 0 12253471 41422848 1648 1992294400 134512640 135071400 4294078560 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23879/statm: 10113 1648 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1800.02 CPU system time (s): 0.030995 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.02 system time used= 0.030995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2089 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= 3261 runsolver used 2.90856 second user time and 8.63169 second system time The end
Begin job on node002 at 2010-07-06 20:19:58 IDJOB=2685266 IDBENCH=75163 IDSOLVER=1171 FILE ID=node002/2685266-1278440397 PBS_JOBID= 11233468 Free space on /tmp= 62564 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j90/normalized-j9035_5-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685266-1278440397/watcher-2685266-1278440397 -o /tmp/evaluation-result-2685266-1278440397/solver-2685266-1278440397 -C 1800 -W 2000 -M 1800 run HOME/instance-2685266-1278440397.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6929ce14b8591d839613828587df3145 RANDOM SEED=255671622 node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1789616 kB Buffers: 25008 kB Cached: 101600 kB SwapCached: 0 kB Active: 106632 kB Inactive: 80216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1789616 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2468 kB Writeback: 0 kB AnonPages: 60256 kB Mapped: 14512 kB Slab: 60768 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180980 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= 62564 MiB End job on node002 at 2010-07-06 20:49:58