Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Number of falsified constraints | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete + CSP4J - Tabu Engine 2008-05-30 | MSAT (TO) | 18 | 3600.01 | 3603.53 |
| Name | csp/os-taillard-15/ normalized-os-taillard-15-95-9.xml |
| MD5SUM | 4b78d7f43a355b62cc35ed3e75b3d9c4 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 12 |
| Best CPU time to get the best result obtained on this benchmark | 3600.35 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 3150 |
| Maximum constraint arity | 2 |
| Maximum domain size | 888 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 3150 |
| Global constraints used (with number of constraints) |
4.58/4.73 c CPU-LOAD 2.73 4.58/4.73 c LOADED 225 V (888 E), 3150 DTPConstraint, arity 2, 2.73 cpu 6.56/6.70 s SATISFIABLE 6.56/6.70 o 3081 6.56/6.70 v 304 560 511 678 120 161 79 798 408 36 419 13 784 729 177 188 764 244 502 341 8 88 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 488 762 5 398 824 107 256 541 406 128 482 822 523 43 26 7 617 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 713 384 526 764 182 468 77 36 631 540 52 584 419 83 259 832 55 443 645 752 185 768 174 95 8 374 270 601 522 639 329 315 103 185 693 401 370 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 816 31 609 351 395 807 9 697 596 283 507 832 211 421 655 666 86 744 333 657 805 216 638 88 789 207 460 307 506 513 720 25 271 522 582 451 786 593 87 202 542 160 632 307 8 354 445 6.56/6.71 o 3082 6.56/6.71 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 764 244 502 341 8 88 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 488 762 5 398 824 107 256 541 406 128 482 822 523 43 26 7 617 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 713 384 526 764 182 468 77 36 631 540 52 584 419 83 259 832 55 443 645 752 185 768 174 95 8 374 270 601 522 639 329 315 103 185 693 401 370 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 816 31 609 351 395 807 9 697 596 283 507 832 211 421 655 666 86 744 333 657 805 216 638 88 789 207 460 307 506 513 720 25 271 522 582 451 786 593 87 202 542 160 632 307 8 354 445 6.56/6.72 o 3083 6.56/6.72 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 764 244 502 341 8 88 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 488 762 5 398 824 107 299 541 406 128 482 822 523 43 26 7 617 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 713 384 526 764 182 468 77 36 631 540 52 584 419 83 259 832 55 443 645 752 185 768 174 95 8 374 270 601 522 639 329 315 103 185 693 401 370 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 816 31 609 351 395 807 9 697 596 283 507 832 211 421 655 666 86 744 333 657 805 216 638 88 789 207 460 307 506 513 720 25 271 522 582 451 786 593 87 202 542 160 632 307 8 354 445 6.56/6.72 o 3084 6.56/6.72 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 764 244 502 341 8 88 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 488 762 5 398 824 107 299 541 406 128 482 822 523 43 26 7 617 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 713 384 526 764 182 468 77 36 631 540 52 584 419 83 259 832 55 443 645 752 185 768 174 95 8 374 270 601 522 639 329 315 103 185 693 401 370 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 816 31 609 351 395 807 9 697 596 283 507 832 211 421 655 863 86 744 333 657 805 216 638 88 789 207 460 307 506 513 720 25 271 522 582 451 786 593 87 202 542 160 632 307 8 354 445 6.56/6.72 o 3085 6.56/6.72 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 244 502 341 8 88 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 488 762 5 398 824 107 299 541 406 128 482 822 523 43 26 7 617 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 713 384 526 764 182 468 77 36 631 540 52 584 419 83 259 832 55 443 645 752 185 768 174 95 8 374 270 601 522 639 329 315 103 185 693 401 370 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 816 31 609 351 395 807 9 697 596 283 507 832 211 421 655 863 86 744 333 657 805 216 638 88 789 207 460 307 506 513 720 25 271 522 582 451 786 593 87 202 542 160 632 307 8 354 445 6.56/6.73 o 3086 6.56/6.73 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 244 502 341 8 88 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 488 762 5 398 824 107 299 541 406 128 482 822 523 43 26 7 617 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 713 384 526 764 182 468 77 36 631 540 52 584 419 83 259 832 55 443 645 752 185 768 174 95 8 374 270 601 522 639 329 315 103 185 693 401 370 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 816 31 609 351 395 807 9 697 596 283 507 832 211 421 655 863 86 744 333 657 805 216 638 88 789 207 460 307 506 414 720 25 271 522 582 451 786 593 87 202 542 160 632 307 8 354 445 6.56/6.73 o 3087 6.56/6.73 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 564 502 341 8 88 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 488 762 5 398 824 107 299 541 406 128 482 822 523 43 26 7 617 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 713 384 526 764 182 468 77 36 631 540 52 584 419 83 259 832 55 443 645 752 185 768 174 95 8 374 270 601 522 639 329 315 103 185 693 401 370 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 816 31 609 351 395 807 9 697 596 283 507 832 211 421 655 863 86 744 333 657 805 216 638 88 789 207 460 307 506 414 720 25 271 522 582 451 786 593 87 202 542 160 632 307 8 354 445 6.56/6.74 o 3088 6.56/6.74 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 564 502 341 8 88 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 488 762 5 398 824 107 299 541 406 128 482 822 523 43 26 7 656 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 713 384 526 764 182 468 77 36 631 540 52 584 419 83 259 832 55 443 645 752 185 768 174 95 8 374 270 601 522 639 329 315 103 185 693 401 370 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 816 31 609 351 395 807 9 697 596 283 507 832 211 421 655 863 86 744 333 657 805 216 638 88 789 207 460 307 506 414 720 25 271 522 582 451 786 593 87 202 542 160 632 307 8 354 445 6.56/6.75 o 3089 6.56/6.75 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 564 502 341 8 88 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 488 762 5 398 824 107 299 541 406 128 482 822 523 43 26 7 656 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 713 384 526 764 182 468 77 36 631 540 52 584 419 83 259 832 55 443 645 752 576 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 18 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 816 31 609 351 395 807 20 697 596 283 507 832 211 421 655 863 86 744 333 657 805 216 638 88 789 207 460 307 506 414 720 25 271 522 582 451 786 593 87 202 542 160 632 307 8 354 445 6.56/6.77 o 3090 6.56/6.77 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 564 502 341 8 88 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 20 762 5 398 824 107 299 541 406 128 482 822 523 43 26 7 656 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 656 384 526 764 182 468 77 36 631 540 52 584 419 83 259 832 55 443 645 752 576 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 18 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 829 31 609 351 395 807 20 697 596 283 507 832 211 458 655 863 86 744 333 657 805 216 638 88 789 207 460 307 506 414 720 25 271 522 582 451 743 593 87 202 542 160 632 307 8 354 445 6.56/6.78 o 3091 6.56/6.78 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 564 502 341 8 88 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 20 762 5 398 824 107 299 541 406 128 482 822 523 43 26 7 656 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 656 384 526 764 182 468 77 36 631 540 52 584 419 83 259 832 55 443 645 752 576 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 18 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 829 31 609 351 395 807 20 697 596 283 507 832 211 458 655 863 86 744 333 657 805 216 638 88 789 207 460 307 506 414 720 25 271 522 582 451 743 593 87 825 542 160 632 307 8 354 445 6.56/6.78 o 3092 6.56/6.78 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 564 780 341 8 477 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 20 762 5 398 824 107 299 541 406 128 482 822 523 43 26 7 656 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 656 384 526 764 182 468 77 36 631 540 52 584 419 83 259 832 55 443 645 752 576 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 18 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 829 31 609 351 395 807 20 697 596 283 507 832 211 458 655 863 86 744 333 657 805 216 638 88 789 207 460 307 506 414 720 25 271 522 582 451 743 593 87 825 542 160 632 307 8 354 445 6.66/6.80 o 3093 6.66/6.80 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 564 780 313 8 477 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 20 762 5 398 824 107 299 541 406 128 482 822 523 43 26 7 656 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 656 384 526 764 182 468 760 36 631 540 52 584 419 83 259 832 55 443 645 752 576 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 18 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 829 31 609 351 395 807 20 697 596 184 507 832 753 458 655 863 86 744 333 657 805 216 638 88 789 189 460 307 506 414 720 25 271 522 582 203 743 593 87 825 542 160 632 307 8 354 445 6.66/6.81 o 3094 6.66/6.81 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 564 780 313 8 477 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 20 762 5 398 824 107 299 541 406 128 482 822 523 43 26 7 656 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 5 857 688 511 325 657 656 384 526 764 182 468 760 36 631 540 52 584 419 83 259 832 55 443 645 752 576 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 18 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 829 31 609 351 395 807 20 697 596 184 507 832 251 458 655 863 86 744 333 657 805 216 638 88 789 189 460 307 506 414 720 25 271 522 582 203 743 593 87 825 542 160 632 307 8 354 445 6.66/6.81 o 3095 6.66/6.81 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 564 780 313 8 477 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 20 762 5 398 824 107 299 541 406 128 482 822 523 43 26 7 656 337 157 251 371 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 238 440 422 706 97 784 735 5 857 688 511 325 657 656 384 526 764 182 468 760 36 631 540 52 584 419 83 259 832 55 443 645 752 576 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 18 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 829 31 609 351 395 807 20 697 596 184 507 832 251 458 655 863 86 744 333 657 805 216 638 88 789 189 460 307 506 414 720 25 271 522 582 203 743 593 87 825 542 160 632 153 8 354 445 6.66/6.82 o 3096 6.66/6.82 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 564 780 313 8 477 653 74 436 749 588 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 20 762 5 398 824 107 299 541 586 128 482 822 523 43 26 7 656 337 157 251 417 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 238 440 422 706 97 784 735 5 857 688 511 325 657 656 384 526 764 182 468 760 36 631 540 52 584 419 83 259 832 55 443 645 752 576 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 18 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 829 31 609 351 395 807 20 697 596 184 507 832 251 458 655 863 86 744 333 657 805 216 638 88 782 189 460 307 506 414 720 25 271 522 582 203 743 593 87 825 542 160 632 153 8 354 445 6.66/6.83 o 3097 6.66/6.83 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 564 780 313 8 477 653 74 436 749 137 655 824 341 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 20 762 5 398 824 107 299 541 586 128 482 822 523 43 26 7 656 337 157 251 417 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 238 440 422 706 97 784 735 5 857 688 511 325 657 656 384 526 764 182 468 760 36 631 540 52 584 419 83 259 832 55 443 645 752 576 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 18 44 224 516 265 621 423 784 820 183 323 23 634 742 471 377 87 761 102 304 597 77 829 31 609 351 395 807 20 697 596 184 507 832 251 458 655 863 86 744 333 657 805 216 638 88 782 189 460 307 506 414 720 25 271 522 582 203 743 593 87 825 542 198 632 153 8 354 445 6.66/6.85 o 3098 6.66/6.85 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 564 780 313 8 477 653 74 436 749 137 655 824 341 169 703 630 535 519 157 397 340 744 590 21 220 455 654 221 208 355 456 607 822 430 662 20 762 5 398 824 107 299 541 586 128 482 822 523 43 26 7 656 337 157 251 417 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 238 440 422 706 97 784 735 5 857 688 511 325 657 656 384 526 764 182 468 760 36 631 540 52 584 419 83 259 832 55 443 650 752 576 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 18 44 224 516 265 621 415 804 820 183 323 23 634 742 471 377 87 761 102 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 458 655 863 86 744 333 657 805 216 638 88 782 189 460 307 506 414 720 25 271 522 582 203 743 593 87 825 542 417 632 153 8 354 445 6.66/6.85 o 3099 6.66/6.85 v 304 560 511 678 120 161 297 798 408 36 419 13 784 729 177 188 248 564 780 313 8 477 653 74 436 749 137 655 824 341 169 703 630 535 519 157 397 340 744 590 21 220 455 654 221 208 355 456 607 822 430 662 20 762 5 398 824 107 299 541 586 128 482 822 523 43 26 7 656 337 157 251 417 74 735 619 761 457 674 376 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 238 440 422 706 97 784 735 5 857 688 511 325 657 656 384 526 764 182 468 760 36 631 540 52 584 419 83 259 832 55 443 650 752 576 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 18 44 224 516 265 621 415 804 820 183 323 23 634 742 471 377 87 761 102 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 451 655 863 86 744 333 657 805 216 638 88 782 189 460 307 506 414 720 25 271 522 582 203 743 593 87 825 542 417 632 153 8 354 445 6.66/6.87 o 3100 6.66/6.87 v 304 560 511 678 120 161 297 798 318 36 419 13 784 729 177 188 248 564 780 313 8 477 653 74 436 749 137 655 824 341 169 703 630 535 519 157 397 340 744 590 21 220 455 654 221 208 355 456 607 822 430 662 20 762 5 398 824 107 299 541 586 128 482 822 523 43 26 7 656 337 157 254 417 74 735 619 761 457 674 384 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 238 166 422 706 97 784 735 5 857 688 501 325 657 656 384 526 764 182 468 760 36 631 540 52 584 419 83 259 832 55 443 650 752 576 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 18 44 224 516 265 621 415 804 820 183 323 23 634 742 471 377 87 761 102 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 451 655 863 86 744 333 657 805 216 638 88 782 189 460 307 508 414 720 25 271 522 582 203 743 593 87 825 542 417 632 153 8 354 445 6.66/6.89 o 3101 6.66/6.89 v 304 560 511 678 120 161 297 798 318 36 419 13 784 729 196 188 248 564 780 313 8 477 653 74 436 749 137 655 824 341 169 703 630 535 519 157 397 340 744 590 21 220 455 654 221 208 355 456 607 822 430 662 20 762 1 398 824 107 299 541 586 128 482 822 523 43 26 7 656 337 192 505 417 74 735 619 761 457 674 384 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 238 166 422 706 97 784 735 5 857 688 501 325 657 656 384 526 764 182 472 760 36 631 540 52 584 419 83 259 832 55 443 650 752 576 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 342 44 0 516 265 621 415 804 820 183 323 23 634 742 471 377 87 761 102 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 451 655 863 86 744 333 657 805 216 638 88 782 189 460 307 509 414 720 25 271 522 582 203 743 593 87 825 542 417 632 153 8 354 445 6.76/6.97 o 3102 6.76/6.97 v 304 583 511 678 120 161 297 798 412 36 419 13 784 729 183 188 248 564 780 316 8 477 653 74 436 749 132 386 824 660 169 703 630 535 519 157 397 340 744 590 21 220 455 654 221 208 355 456 607 822 430 662 20 762 198 398 824 107 299 541 586 128 482 822 523 43 26 7 656 337 192 505 417 74 735 619 761 457 674 384 52 333 541 440 367 174 142 828 265 731 99 533 72 265 400 2 812 148 617 702 684 487 351 792 419 81 567 238 166 422 706 327 784 735 5 857 688 501 325 657 656 384 526 764 188 491 760 36 631 540 52 584 419 83 259 832 55 443 672 752 234 768 174 95 8 374 270 601 522 639 360 315 103 185 693 401 342 44 0 516 265 621 415 538 820 183 323 23 634 742 471 377 87 761 86 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 451 655 863 86 744 333 657 805 216 638 94 766 212 460 307 509 414 720 25 271 522 582 203 743 593 87 825 542 417 632 153 8 354 445 6.76/6.97 o 3103 6.76/6.97 v 304 583 511 678 120 161 297 798 412 36 419 13 784 729 183 188 248 564 780 316 8 477 653 74 436 749 132 386 824 660 169 703 630 535 519 157 397 340 744 590 21 220 455 654 221 208 355 456 607 822 430 662 20 762 198 398 824 107 299 541 586 128 482 822 523 43 26 7 656 337 192 505 417 74 735 619 761 457 674 384 52 333 541 440 367 174 142 828 265 731 99 533 72 265 400 2 812 148 617 702 684 487 351 792 419 81 567 238 166 422 706 327 784 735 5 857 688 501 325 657 656 384 526 764 188 491 760 36 631 540 52 584 419 83 259 832 55 443 672 752 234 768 174 827 8 374 270 601 522 639 360 315 103 185 693 401 342 44 0 516 265 621 415 538 820 183 323 23 634 742 471 377 87 761 86 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 451 655 863 86 744 333 657 805 216 638 94 766 212 460 307 509 414 720 25 271 522 582 203 743 593 87 825 542 417 632 153 8 354 445 6.76/6.98 o 3104 6.76/6.98 v 304 583 511 678 120 161 297 798 412 36 419 13 784 729 183 188 248 564 780 316 8 477 653 74 436 749 132 386 824 660 169 703 630 535 519 157 397 340 744 590 21 220 455 654 221 208 355 456 607 822 430 662 20 762 198 398 824 107 299 541 586 128 482 822 523 43 26 7 656 337 192 505 417 74 735 619 761 457 674 384 52 333 541 440 367 174 142 828 265 731 99 533 72 265 400 2 812 148 617 702 684 487 351 792 419 81 567 238 166 422 706 327 784 735 5 857 688 501 325 657 656 384 526 764 188 491 760 36 631 540 52 584 419 83 259 832 55 443 672 752 234 768 174 827 8 374 270 601 522 639 360 315 103 185 693 401 342 44 0 516 265 621 415 538 820 634 323 23 186 742 471 377 87 761 86 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 451 655 863 86 744 333 657 805 182 638 94 766 212 460 307 509 414 720 25 271 522 582 203 743 593 87 825 542 417 632 153 8 354 445 6.76/6.99 o 3105 6.76/6.99 v 304 583 511 678 120 161 297 798 412 36 419 13 810 729 183 188 248 564 780 316 8 477 653 74 436 749 132 386 824 660 169 703 630 535 519 157 397 340 744 590 21 220 455 654 221 208 355 456 607 822 430 662 20 762 198 398 824 107 299 541 586 128 482 822 523 43 26 7 656 337 192 505 417 74 735 619 761 457 674 384 52 333 541 440 367 174 142 828 265 731 99 533 72 265 400 2 812 148 617 702 684 487 351 792 419 81 567 238 166 422 706 327 784 735 5 857 688 501 325 657 656 384 526 764 188 491 760 36 631 540 52 584 419 83 259 832 55 443 155 752 234 768 641 827 8 374 270 601 522 639 360 315 103 185 693 401 342 44 0 516 265 621 415 538 820 634 323 23 186 742 471 377 87 761 86 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 451 655 863 86 744 333 657 805 182 638 94 766 212 108 307 509 414 720 25 271 522 582 203 743 593 87 825 542 417 632 153 8 354 445 6.86/7.04 o 3106 6.86/7.04 v 304 559 511 678 120 161 297 798 412 36 186 13 810 729 183 188 248 564 780 316 8 477 72 74 436 749 665 386 824 640 169 703 630 535 519 157 397 340 744 590 21 220 455 654 221 208 355 456 607 822 430 662 20 762 182 398 824 107 299 541 586 128 465 822 523 43 26 7 656 337 192 484 417 74 735 619 761 457 674 384 0 333 541 440 367 174 142 828 265 731 99 533 72 265 400 2 812 148 617 702 684 487 351 792 807 81 567 238 166 422 706 327 784 735 5 857 688 501 325 657 656 384 526 764 188 491 760 36 631 540 52 584 419 83 259 832 55 443 155 752 234 768 641 827 8 374 270 601 522 639 360 315 103 185 693 401 342 44 0 516 265 621 415 538 820 634 323 23 186 742 471 377 87 761 86 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 451 655 863 86 744 333 657 781 182 638 18 766 212 108 307 509 417 720 18 271 522 582 203 743 593 87 825 542 417 632 153 8 354 445 6.86/7.04 o 3107 6.86/7.04 v 304 559 511 678 120 161 297 798 430 36 186 13 810 729 373 188 248 564 780 316 8 477 72 74 436 749 665 386 824 640 169 703 630 535 519 157 397 340 744 590 21 220 455 654 221 208 355 456 607 822 430 662 20 762 182 398 824 107 299 541 586 128 465 822 523 43 26 7 656 337 192 484 417 74 735 619 761 457 674 384 0 333 541 440 367 174 142 828 265 731 99 533 72 265 400 2 812 148 617 702 684 487 351 792 807 81 567 238 166 422 706 327 784 735 5 857 688 501 325 657 656 384 526 764 188 491 760 36 631 540 52 584 419 83 259 832 55 443 155 752 234 768 641 827 8 374 270 601 522 639 360 315 103 185 693 401 342 44 0 516 265 621 415 538 820 634 323 23 186 742 471 377 87 761 86 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 451 655 863 86 744 333 657 781 182 638 18 766 212 108 307 509 417 720 18 271 522 582 203 743 593 87 825 542 417 632 153 8 354 445 6.96/7.14 o 3108 6.96/7.14 v 304 559 511 678 120 161 297 798 430 36 206 4 210 729 373 188 248 564 780 316 8 477 76 74 436 749 678 386 824 640 109 703 630 535 519 157 397 340 744 590 21 220 455 654 221 195 355 456 607 822 430 662 20 762 204 398 824 107 299 541 586 128 465 822 523 43 26 7 656 337 192 484 417 74 735 619 761 457 674 378 0 333 541 440 367 174 142 828 265 731 99 533 72 265 400 2 183 148 617 699 667 487 351 792 807 81 567 238 166 422 706 325 784 735 5 857 688 501 325 657 656 384 526 764 188 491 660 36 585 540 52 584 419 83 259 817 55 443 155 752 234 768 641 827 8 413 270 601 522 648 360 315 103 185 693 401 342 44 0 516 265 621 415 538 820 634 323 23 186 742 471 377 86 761 104 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 451 655 863 86 744 333 657 781 200 638 18 766 212 108 307 509 413 720 18 271 522 582 203 743 593 87 825 542 412 632 153 8 353 445 7.16/7.31 o 3109 7.16/7.31 v 304 559 511 678 106 161 297 799 430 65 193 4 796 729 373 188 248 564 780 316 8 477 543 1 436 749 135 386 824 640 109 703 630 535 519 157 397 340 744 590 21 229 455 654 221 182 355 456 607 822 430 662 20 762 158 398 824 107 299 541 586 128 465 822 523 43 26 7 656 337 192 485 417 74 735 619 761 457 674 378 1 333 541 440 364 174 142 828 265 731 99 533 72 265 408 2 183 146 617 692 684 487 351 792 817 81 567 238 166 422 706 325 786 735 5 857 688 501 325 657 656 384 526 765 188 491 80 36 585 540 52 573 419 83 259 842 59 443 155 752 234 768 641 827 10 413 295 573 522 649 360 315 103 185 693 401 342 44 0 516 265 621 436 538 820 634 323 23 186 742 471 377 88 761 100 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 451 655 863 86 744 333 657 781 219 638 101 782 213 108 307 562 412 720 7 271 522 582 203 743 593 87 825 542 412 632 153 8 353 445 7.16/7.33 o 3110 7.16/7.33 v 304 559 511 678 53 161 297 799 430 65 193 4 796 729 373 188 248 564 780 316 8 477 543 1 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 229 455 654 221 182 355 456 607 822 430 662 20 762 162 398 824 107 299 541 586 128 465 822 523 43 26 7 656 337 192 485 417 74 735 619 761 457 674 378 1 333 541 440 364 174 142 828 265 731 99 533 72 265 408 2 183 146 617 692 684 487 351 792 817 81 567 238 166 422 706 325 786 735 5 857 688 501 325 657 656 384 526 769 188 491 80 36 585 540 52 573 419 83 259 337 59 443 155 752 234 768 641 827 10 413 295 573 522 649 360 315 103 185 693 401 342 44 0 516 265 621 414 538 820 634 323 23 186 742 471 377 88 761 100 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 451 655 863 86 744 333 657 787 219 638 101 782 213 87 307 561 412 720 7 271 522 582 203 743 593 87 825 542 412 632 153 8 353 445 7.25/7.47 o 3111 7.25/7.47 v 304 559 511 678 825 161 297 799 430 52 176 4 210 729 373 188 248 564 780 316 8 477 545 1 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 229 472 654 221 82 474 456 607 822 430 660 20 762 178 398 824 323 299 541 586 128 465 822 523 43 26 7 656 337 192 485 417 74 735 619 761 457 674 378 1 333 541 440 364 174 142 828 265 731 99 533 72 265 408 2 183 148 617 692 681 487 351 792 817 81 567 238 166 422 706 325 786 735 5 857 688 501 325 657 656 384 526 769 188 347 90 36 578 540 52 472 419 83 259 79 59 443 155 752 234 768 641 827 10 393 295 580 522 651 360 315 103 185 693 401 342 44 0 516 265 621 417 430 820 634 323 23 186 742 471 377 88 761 100 304 597 77 829 31 609 351 395 807 20 697 596 184 518 832 251 451 655 863 86 744 333 657 808 199 638 101 782 213 135 307 561 412 720 7 271 522 582 187 743 593 87 825 542 412 632 153 8 353 445 7.35/7.53 o 3112 7.35/7.53 v 304 559 511 678 825 161 297 799 430 52 175 4 210 729 372 188 248 564 780 316 8 477 545 1 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 229 444 654 221 82 474 456 607 822 430 660 20 762 178 398 824 323 299 541 586 128 465 822 523 43 26 7 656 337 202 485 417 74 735 619 761 457 674 378 1 333 541 440 364 174 142 828 265 731 99 533 72 265 408 2 179 148 617 703 681 487 351 792 817 81 610 238 166 422 706 325 786 735 5 857 688 501 325 657 656 384 526 758 188 347 91 36 578 540 52 589 419 416 259 799 59 443 155 752 234 768 641 827 1 393 295 590 522 651 360 315 103 185 693 401 342 44 0 528 265 621 537 430 820 634 323 23 186 742 471 377 88 761 100 304 597 77 829 31 609 351 751 807 20 697 596 184 518 832 251 451 655 863 86 744 333 662 20 199 638 101 782 97 478 307 560 412 720 7 271 522 582 187 743 593 87 825 542 412 632 153 8 353 445 7.35/7.56 o 3113 7.35/7.56 v 304 559 511 678 825 161 297 799 430 52 175 4 210 729 372 188 248 564 780 316 8 477 545 1 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 229 444 654 221 82 474 456 607 822 430 660 20 762 178 398 824 323 299 541 586 128 465 822 120 43 26 7 656 337 202 485 417 74 735 619 761 457 674 378 1 333 541 440 364 174 149 828 265 731 99 533 72 265 408 2 179 148 617 701 681 487 351 792 817 81 610 238 166 422 706 325 786 735 5 857 688 501 325 657 656 384 526 758 188 347 91 36 578 540 52 593 419 416 259 799 59 443 155 752 234 768 641 827 1 384 295 585 522 651 360 315 103 185 693 401 342 44 0 528 265 621 537 430 820 634 323 23 186 742 471 377 88 761 102 304 597 77 829 31 609 351 751 807 20 697 596 184 518 832 251 451 655 863 86 744 333 662 226 199 638 101 782 97 512 307 560 412 720 7 271 522 582 187 743 593 87 825 542 412 632 153 8 353 445 7.46/7.61 o 3114 7.46/7.61 v 304 559 511 678 637 161 297 799 430 53 175 4 210 729 372 188 248 564 780 316 8 477 545 1 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 229 444 654 221 82 474 456 607 822 430 660 20 762 178 398 824 323 299 541 570 128 465 822 112 43 26 7 656 337 202 485 417 74 735 306 761 457 674 378 63 333 541 440 364 585 149 828 265 731 99 533 72 265 408 2 179 148 617 701 681 487 351 792 797 81 610 238 166 422 706 332 786 735 5 857 688 501 325 657 656 384 526 758 188 266 91 36 578 540 52 593 419 416 259 799 59 443 155 752 234 768 641 827 1 384 295 602 522 646 360 315 103 185 693 401 342 44 0 528 265 621 537 430 820 634 323 23 186 742 471 377 88 761 102 304 597 77 829 31 609 351 751 807 20 697 596 184 518 832 251 451 655 863 86 744 333 662 226 205 638 101 782 97 512 307 560 412 720 7 271 522 582 187 743 593 87 825 542 412 632 153 8 353 446 7.46/7.63 o 3115 7.46/7.63 v 304 559 511 678 637 786 297 799 430 53 175 4 210 729 372 188 248 564 780 316 2 477 545 1 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 229 444 654 221 82 474 456 607 822 430 660 20 762 178 398 824 323 299 541 570 322 465 822 112 43 26 7 656 337 202 485 417 74 735 306 761 457 674 378 63 333 541 440 364 585 149 828 265 731 99 533 72 265 408 2 179 148 617 701 681 487 351 792 797 81 610 238 166 422 706 332 786 735 5 857 688 501 325 657 656 384 526 758 188 266 91 36 578 540 52 593 419 416 259 790 59 443 155 752 234 768 641 827 1 384 295 602 522 646 360 315 103 185 693 401 342 44 0 528 265 621 537 430 820 634 323 23 186 742 471 377 88 761 102 304 150 77 829 31 609 351 751 807 20 697 596 184 518 832 251 451 655 863 86 744 333 662 226 205 638 101 782 97 512 307 560 412 720 7 271 522 582 195 743 593 84 825 542 412 632 153 8 353 446 7.56/7.70 o 3116 7.56/7.70 v 304 559 511 678 378 786 297 799 430 53 69 4 210 729 306 188 248 564 780 316 1 477 545 1 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 229 444 654 221 87 474 456 607 822 430 660 20 762 178 398 824 323 299 541 592 109 465 822 112 43 26 7 656 337 202 485 417 74 735 306 761 457 674 378 10 333 541 440 365 585 149 828 265 731 99 533 72 265 408 2 179 148 617 696 681 487 351 792 797 81 560 238 166 422 706 332 786 735 5 857 688 501 325 657 656 384 526 758 188 266 86 36 581 540 52 593 419 416 259 797 59 443 155 752 234 768 641 827 3 384 295 602 522 646 360 315 103 185 693 401 342 44 0 528 265 621 187 430 820 634 323 23 186 742 471 377 88 761 101 304 150 77 829 31 609 351 751 807 20 697 596 184 515 832 251 451 655 863 86 744 333 662 215 201 638 101 782 97 512 307 560 412 720 7 271 522 582 195 743 593 84 825 542 415 632 153 8 353 446 7.56/7.77 o 3117 7.56/7.77 v 304 559 511 678 378 786 297 799 426 53 158 4 210 729 306 188 248 564 780 316 5 477 545 2 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 178 444 654 221 86 474 456 607 822 430 660 20 762 178 398 824 323 299 541 592 132 465 822 112 43 26 7 656 337 202 485 417 74 735 306 761 457 674 378 47 333 541 440 365 585 149 828 265 731 99 533 72 265 408 2 172 148 617 695 681 487 351 792 797 81 560 238 166 422 706 332 782 735 5 857 688 501 324 657 656 384 526 758 188 266 86 36 575 540 52 593 419 416 259 797 53 443 155 752 234 768 641 826 3 384 295 601 522 646 360 520 103 303 693 401 342 44 0 528 265 621 176 430 820 634 323 23 186 742 471 377 88 761 101 304 150 77 829 31 609 351 746 807 20 697 596 184 515 832 251 451 655 863 86 744 333 662 215 201 638 101 782 97 512 307 560 412 720 7 271 522 582 201 743 593 86 825 542 415 632 153 8 353 446 7.85/8.02 o 3118 7.85/8.02 v 304 559 511 678 378 786 297 799 400 50 71 4 188 729 306 188 248 564 780 316 7 477 547 0 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 185 444 654 221 86 474 456 607 822 430 660 20 762 178 398 824 323 299 541 592 112 465 822 119 43 26 7 656 337 202 485 417 74 735 306 761 457 674 378 9 333 541 440 367 585 149 828 265 731 99 533 72 267 408 2 178 147 617 686 659 487 260 792 806 81 560 238 166 422 706 324 780 735 5 857 688 501 324 657 656 384 526 751 188 348 78 36 577 540 52 593 419 416 259 598 51 443 155 752 234 773 641 826 3 381 295 782 522 633 360 520 103 303 693 401 342 44 0 528 265 621 180 421 820 634 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 104 451 655 863 86 744 333 662 200 216 638 102 782 89 512 307 560 413 720 7 271 522 582 203 743 788 85 825 542 412 632 153 8 351 446 7.95/8.11 o 3119 7.95/8.11 v 304 559 511 678 378 786 297 799 416 58 63 4 188 729 306 188 248 564 780 316 7 477 547 0 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 191 444 654 221 86 474 456 607 822 430 660 20 762 182 398 824 323 299 541 592 135 465 822 119 43 26 7 656 337 202 485 417 74 735 306 761 457 674 378 9 333 541 440 367 585 149 828 265 731 99 533 72 308 408 2 152 147 617 691 656 487 260 792 800 81 560 238 166 422 706 324 780 735 5 857 688 501 324 657 656 384 526 751 188 348 78 36 577 540 52 593 419 416 259 598 51 443 155 752 234 782 641 826 3 399 295 782 522 642 360 520 103 303 693 401 668 44 0 528 265 621 182 421 820 634 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 66 451 655 863 87 744 335 657 200 198 638 102 782 89 512 307 560 413 720 7 271 522 582 203 743 824 85 825 542 412 632 153 8 351 446 8.65/8.83 o 3120 8.65/8.83 v 304 559 511 678 378 786 297 799 420 67 83 4 197 729 305 188 248 564 780 316 7 477 555 2 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 186 444 654 221 76 474 456 607 822 430 660 20 762 177 398 824 323 299 541 592 119 465 822 114 43 26 7 656 337 202 485 417 74 735 306 761 457 674 375 68 333 541 440 367 585 149 828 265 731 99 533 72 308 404 2 154 148 617 690 668 487 260 792 810 81 560 238 166 422 706 332 778 735 5 857 688 501 324 657 656 384 526 755 188 348 79 36 584 540 52 596 775 417 259 598 59 430 155 575 240 403 641 826 1 735 295 782 522 635 360 520 103 303 693 401 668 44 0 528 265 621 188 431 820 634 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 83 451 655 863 87 744 331 663 187 215 638 102 782 85 512 307 560 420 720 7 271 522 582 192 746 835 95 826 542 412 632 153 8 353 443 9.64/9.88 o 3121 9.64/9.88 v 666 560 511 673 378 786 297 799 188 71 58 4 398 735 306 188 248 564 780 316 5 477 552 2 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 187 444 654 221 84 474 456 607 822 430 660 20 762 176 398 824 323 299 541 592 139 465 833 823 43 26 7 656 337 202 485 417 74 735 306 761 457 674 83 0 333 541 440 369 585 149 828 265 731 99 533 72 308 409 2 155 159 617 687 657 487 260 792 807 86 560 238 166 422 706 327 788 735 5 857 688 501 324 657 656 384 526 756 188 348 88 36 575 540 52 595 775 418 259 598 54 430 155 575 240 403 641 826 5 739 295 782 522 637 360 520 103 303 693 401 668 44 0 528 265 621 183 431 820 635 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 367 451 655 863 90 744 331 657 187 422 638 102 782 87 512 307 560 415 720 7 271 522 582 200 744 843 353 74 542 411 632 153 8 86 445 11.51/11.74 o 3122 11.51/11.74 v 243 563 511 677 378 786 478 799 397 49 71 4 165 737 313 188 248 564 780 318 4 477 556 2 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 181 444 654 224 79 474 456 607 822 430 652 20 762 170 398 824 323 299 541 592 121 465 833 728 43 26 7 656 337 202 485 417 74 736 306 761 457 674 93 0 333 541 440 369 585 149 828 265 731 99 533 72 308 401 2 170 161 617 687 687 487 260 792 800 88 560 238 166 422 706 332 788 735 5 857 688 501 324 657 656 384 526 756 188 348 85 36 578 540 52 590 770 419 259 598 52 441 155 575 240 403 641 826 5 740 284 782 522 643 360 520 90 303 693 401 668 44 0 528 265 621 185 419 820 636 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 372 451 655 863 90 744 337 660 211 213 638 102 794 102 512 307 560 418 720 7 271 522 582 195 744 781 353 824 542 415 632 153 8 80 445 12.20/12.45 o 3123 12.20/12.45 v 410 563 511 147 378 786 478 799 212 661 56 4 194 680 318 479 259 182 780 318 1 477 553 3 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 419 177 654 222 79 474 456 607 822 430 652 20 762 170 398 824 323 299 541 592 115 465 833 729 43 26 7 656 337 202 485 417 74 731 306 761 457 674 84 2 333 541 440 369 585 149 828 265 731 99 533 72 308 401 2 175 150 617 693 691 487 260 792 793 86 560 238 166 422 706 331 781 735 5 857 688 501 324 657 656 384 526 757 188 348 79 36 583 540 52 586 779 415 259 599 56 446 155 575 240 403 641 826 2 739 284 782 522 635 360 520 90 303 693 401 668 44 0 528 265 621 177 419 820 632 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 389 451 655 863 93 744 337 657 211 84 638 102 779 792 512 307 560 417 720 7 271 522 582 212 742 686 353 824 542 412 591 153 8 81 443 14.68/14.95 o 3124 14.68/14.95 v 174 563 511 94 378 786 478 803 394 678 68 4 400 254 318 487 260 182 780 318 1 480 552 0 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 418 177 654 222 81 474 456 607 822 430 656 20 762 170 398 824 323 299 541 592 138 465 833 111 43 26 7 656 337 202 485 417 71 734 306 761 458 674 94 6 333 541 440 368 585 149 828 265 731 99 533 72 333 797 2 179 156 602 683 402 487 260 792 675 84 560 238 168 422 706 333 780 735 5 857 688 501 324 657 656 384 526 79 188 348 453 36 585 540 52 583 779 89 259 599 56 372 155 575 240 445 641 826 475 733 284 782 522 638 360 520 91 303 693 401 668 44 0 528 265 621 192 419 820 635 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 382 451 655 863 93 744 337 662 192 201 638 100 790 782 512 307 560 416 720 7 271 522 582 184 742 686 353 824 542 411 588 153 8 81 446 14.88/15.18 o 3125 14.88/15.18 v 164 563 511 82 378 786 478 803 394 669 71 4 394 254 318 585 260 182 780 318 4 480 541 1 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 418 177 654 222 81 474 456 607 822 430 656 20 762 170 398 824 323 299 541 592 127 465 829 120 43 26 7 656 337 202 485 417 71 734 306 761 458 674 94 6 333 541 440 368 585 149 828 265 731 99 533 72 333 799 2 170 157 602 685 439 129 260 792 350 91 560 238 167 422 706 326 781 735 5 857 688 501 325 657 656 384 526 86 188 348 453 36 585 540 52 827 779 88 259 599 56 372 155 575 240 445 641 826 475 733 284 782 522 641 360 520 101 303 693 401 668 44 0 528 265 621 190 419 820 635 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 374 451 655 863 93 744 337 660 189 214 638 100 778 782 512 307 560 415 720 7 260 522 582 184 742 686 316 824 542 408 588 153 8 81 446 19.34/19.64 o 3126 19.34/19.64 v 87 559 497 74 378 786 478 803 560 660 160 4 393 254 318 583 260 182 780 318 6 480 556 0 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 421 177 654 222 88 474 456 607 822 430 655 20 762 186 398 824 323 299 541 592 132 465 829 121 43 26 7 656 337 202 485 417 71 740 306 761 457 674 82 6 333 541 440 368 585 149 828 265 731 99 543 72 318 798 2 163 160 399 690 439 129 267 792 608 84 278 238 166 422 706 333 780 735 5 857 688 501 557 657 656 384 526 85 188 348 453 36 585 540 52 846 779 86 259 599 56 372 155 575 240 445 641 826 475 734 284 782 522 637 360 520 94 303 693 401 668 44 0 528 265 621 188 419 820 637 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 367 451 655 863 93 744 339 660 216 189 638 100 795 781 512 307 560 418 720 7 249 522 582 184 742 686 317 824 542 415 597 153 8 81 445 21.11/21.46 o 3127 21.11/21.46 v 187 574 497 76 378 786 478 799 548 676 646 4 393 254 318 584 260 182 780 318 0 480 543 0 436 749 103 386 824 640 109 703 630 535 519 157 397 340 744 590 21 418 177 654 222 90 474 456 607 822 430 659 20 762 185 398 824 323 299 541 592 139 465 827 75 43 26 7 656 337 202 485 417 703 741 306 761 457 674 92 6 333 541 440 368 585 149 828 265 731 99 543 72 318 798 2 167 161 399 690 439 129 267 792 606 89 275 245 168 422 78 333 780 735 5 857 688 501 557 657 656 384 526 86 188 348 453 36 585 540 52 828 779 85 259 599 56 370 155 575 240 445 641 826 475 734 284 782 522 650 360 520 113 303 693 401 668 44 0 528 265 621 184 419 820 640 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 367 451 655 863 93 744 339 661 196 188 638 100 795 788 512 307 560 417 720 7 250 522 582 184 742 686 331 824 542 409 599 153 8 81 446 71.25/72.01 o 3128 71.25/72.01 v 172 566 497 82 378 786 478 799 556 666 642 4 393 254 318 587 260 182 780 318 5 480 554 1 436 749 103 386 828 640 109 703 630 535 519 157 397 340 744 590 21 420 177 654 222 86 474 456 607 822 430 659 20 762 176 398 824 323 299 541 592 108 465 824 118 43 26 7 656 337 202 485 68 393 736 306 761 460 703 92 3 332 541 440 368 585 149 828 265 731 99 543 72 318 798 2 160 157 399 690 439 129 267 792 607 96 278 245 175 422 78 333 780 735 5 857 688 501 551 657 656 384 526 78 188 348 453 36 585 540 52 827 779 78 259 599 56 372 155 575 240 445 641 823 475 734 274 782 522 643 360 520 100 303 693 401 668 44 0 528 265 621 188 419 820 635 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 367 439 655 863 93 658 339 739 183 186 638 100 796 795 512 308 558 419 720 23 237 522 582 179 742 686 317 824 542 397 596 153 8 81 444 72.83/73.63 o 3129 72.83/73.63 v 172 564 497 73 378 133 478 799 558 673 640 4 393 254 318 590 260 182 780 318 3 480 554 0 436 749 103 386 828 640 109 703 630 535 519 157 397 340 744 590 21 421 177 654 222 78 474 456 607 822 430 659 20 762 176 398 824 323 299 541 592 136 465 827 72 43 26 7 656 337 202 485 701 393 736 306 761 460 703 92 3 332 541 440 368 585 149 828 265 731 99 543 72 318 798 2 157 159 399 690 439 129 267 792 612 97 275 244 173 422 78 333 780 735 5 857 688 501 552 657 656 384 526 81 188 348 453 36 585 540 52 839 779 84 259 599 56 372 155 575 240 445 641 823 475 734 274 782 522 646 360 520 92 303 733 401 668 44 0 528 265 621 196 419 820 635 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 367 444 655 863 93 658 339 739 184 185 638 100 794 795 512 308 560 420 720 23 237 522 582 179 742 686 317 824 542 392 593 153 7 81 445 101.55/102.65 o 3130 101.55/102.65 v 174 0 497 73 378 133 478 799 546 663 628 749 393 254 318 583 260 182 780 318 3 480 546 0 437 749 103 386 828 640 109 703 630 535 519 157 397 340 744 590 21 419 177 654 222 87 474 456 607 822 430 659 20 762 176 398 824 323 299 541 592 136 465 827 72 43 26 7 656 337 202 485 701 393 736 306 761 461 703 92 5 332 541 440 368 585 146 828 265 731 99 543 72 318 798 2 160 160 399 690 439 129 267 792 611 97 261 247 177 422 78 333 780 735 5 857 688 501 551 657 656 384 526 79 188 348 453 418 585 540 52 837 0 87 258 599 56 372 155 575 240 445 641 823 475 734 274 782 522 635 360 520 108 303 733 401 668 44 0 528 265 621 186 419 820 627 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 364 444 655 863 93 658 334 739 196 0 638 100 796 794 512 308 342 417 720 574 237 522 582 179 742 695 317 824 542 391 598 153 10 81 444 102.15/103.22 o 3131 102.15/103.22 v 177 0 497 73 378 133 478 799 546 660 635 749 393 254 318 590 260 182 780 318 7 480 550 0 437 749 103 386 828 640 109 703 630 535 519 157 397 340 744 590 21 419 177 654 222 87 474 456 607 822 430 659 20 759 176 398 824 290 336 541 592 136 465 821 72 306 26 7 656 333 194 485 701 393 736 306 761 461 703 92 0 332 541 440 368 585 146 828 265 731 99 543 72 318 798 2 159 157 399 690 439 129 267 792 620 97 269 243 173 422 78 333 780 735 5 857 688 501 551 657 656 384 526 80 188 348 453 418 585 540 52 761 0 87 258 599 56 372 155 575 240 445 641 823 475 734 274 782 522 639 360 520 104 303 733 401 668 44 0 528 265 621 186 419 820 633 323 23 186 742 471 377 88 761 261 870 150 77 829 31 609 351 275 807 20 697 596 184 515 832 370 444 655 863 93 658 331 739 196 0 638 100 794 794 512 308 3 413 720 582 237 522 582 179 742 695 317 824 542 401 603 153 10 81 443 117.31/118.55 o 3132 117.31/118.55 v 187 0 497 73 378 133 478 799 546 655 640 749 393 254 318 615 260 182 780 318 0 480 540 1 437 749 103 386 828 655 109 703 630 535 519 157 397 340 744 590 21 420 834 654 222 84 474 456 607 822 430 660 20 760 176 398 824 290 336 541 592 136 465 829 72 306 26 7 656 333 194 485 701 393 736 306 761 461 703 92 1 332 541 440 368 585 146 828 265 731 99 543 72 318 798 2 157 163 399 690 439 129 267 792 611 97 274 179 696 422 78 333 788 723 5 857 688 501 551 657 656 384 526 81 188 348 453 418 585 540 52 294 0 752 259 599 56 372 154 575 240 445 641 823 475 734 274 782 522 634 360 520 94 303 733 401 668 44 0 528 265 621 179 419 820 623 323 23 186 742 471 377 88 761 261 599 150 77 851 31 609 351 275 807 20 697 596 184 515 832 370 444 655 863 93 658 331 739 182 85 268 101 794 795 512 308 2 419 720 577 237 522 582 179 741 695 317 824 542 406 590 153 10 81 445
OK 18 3132 18 unsatisfied constraints, 3132 satisfied constraints
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109776-1215810263/watcher-1109776-1215810263 -o /tmp/evaluation-result-1109776-1215810263/solver-1109776-1215810263 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1109776-1215810263.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.97 1.98 1.92 4/80 13627 /proc/meminfo: memFree=1816608/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5260 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) R 13625 13627 13430 0 -1 4194304 66 0 0 0 0 0 0 0 20 0 1 0 37729154 5386240 50 996147200 4194304 4889804 548682068752 18446744073709551615 214917194394 0 0 4096 0 0 0 0 17 1 0 0 /proc/13627/statm: 1315 50 37 169 0 14 0 [startup+0.016949 s] /proc/loadavg: 1.97 1.98 1.92 4/80 13627 /proc/meminfo: memFree=1816608/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.104256 s] /proc/loadavg: 1.97 1.98 1.92 4/80 13627 /proc/meminfo: memFree=1816608/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.301281 s] /proc/loadavg: 1.97 1.98 1.92 4/80 13627 /proc/meminfo: memFree=1816608/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.701336 s] /proc/loadavg: 1.97 1.98 1.92 4/80 13627 /proc/meminfo: memFree=1816608/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+1.50144 s] /proc/loadavg: 1.97 1.98 1.92 4/90 13638 /proc/meminfo: memFree=1641552/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 [pid=13630] ppid=13627 vsize=844236 CPUtime=1.42 /proc/13630/stat : 13630 (java) S 13627 13627 13430 0 -1 0 5660 0 2 0 136 6 0 0 18 0 9 0 37729155 864497664 4941 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13630/statm: 211059 4941 1900 9 0 205620 0 [pid=13630/tid=13631] ppid=13627 vsize=844236 CPUtime=1.16 /proc/13630/task/13631/stat : 13631 (java) R 13627 13627 13430 0 -1 64 3442 0 2 0 113 3 0 0 25 0 9 0 37729156 864497664 4941 996147200 134512640 134550740 4294956000 18446744073709551615 4125231211 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13632] ppid=13627 vsize=844236 CPUtime=0.09 /proc/13630/task/13632/stat : 13632 (java) S 13627 13627 13430 0 -1 64 988 0 0 0 8 1 0 0 16 0 9 0 37729157 864497664 4941 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13633] ppid=13627 vsize=844236 CPUtime=0 /proc/13630/task/13633/stat : 13633 (java) S 13627 13627 13430 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37729157 864497664 4941 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13634] ppid=13627 vsize=844236 CPUtime=0 /proc/13630/task/13634/stat : 13634 (java) S 13627 13627 13430 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37729157 864497664 4941 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13635] ppid=13627 vsize=844236 CPUtime=0 /proc/13630/task/13635/stat : 13635 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37729159 864497664 4941 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13636] ppid=13627 vsize=844236 CPUtime=0.14 /proc/13630/task/13636/stat : 13636 (java) S 13627 13627 13430 0 -1 64 499 0 0 0 14 0 0 0 16 0 9 0 37729159 864497664 4941 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13637] ppid=13627 vsize=844236 CPUtime=0 /proc/13630/task/13637/stat : 13637 (java) S 13627 13627 13430 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37729159 864497664 4941 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13638] ppid=13627 vsize=844236 CPUtime=0 /proc/13630/task/13638/stat : 13638 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37729159 864497664 4941 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 849592 [startup+3.10166 s] /proc/loadavg: 1.97 1.98 1.92 4/90 13638 /proc/meminfo: memFree=1630224/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 [pid=13630] ppid=13627 vsize=846876 CPUtime=3 /proc/13630/stat : 13630 (java) S 13627 13627 13430 0 -1 0 12915 0 2 0 291 9 0 0 18 0 10 0 37729155 867201024 11934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13630/statm: 211719 11934 2577 9 0 206280 0 [pid=13630/tid=13631] ppid=13627 vsize=846876 CPUtime=1.97 /proc/13630/task/13631/stat : 13631 (java) R 13627 13627 13430 0 -1 64 3845 0 2 0 193 4 0 0 25 0 10 0 37729156 867201024 11934 996147200 134512640 134550740 4294956000 18446744073709551615 4126196327 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13632] ppid=13627 vsize=846876 CPUtime=0.6 /proc/13630/task/13632/stat : 13632 (java) S 13627 13627 13430 0 -1 64 7269 0 0 0 57 3 0 0 16 0 10 0 37729157 867201024 11934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13633] ppid=13627 vsize=846876 CPUtime=0 /proc/13630/task/13633/stat : 13633 (java) S 13627 13627 13430 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 37729157 867201024 11934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13634] ppid=13627 vsize=846876 CPUtime=0 /proc/13630/task/13634/stat : 13634 (java) S 13627 13627 13430 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 37729157 867201024 11934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13635] ppid=13627 vsize=846876 CPUtime=0 /proc/13630/task/13635/stat : 13635 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 37729159 867201024 11934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13636] ppid=13627 vsize=846876 CPUtime=0.4 /proc/13630/task/13636/stat : 13636 (java) S 13627 13627 13430 0 -1 64 1067 0 0 0 40 0 0 0 15 0 10 0 37729159 867201024 11934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13637] ppid=13627 vsize=846876 CPUtime=0 /proc/13630/task/13637/stat : 13637 (java) S 13627 13627 13430 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 37729159 867201024 11934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13638] ppid=13627 vsize=846876 CPUtime=0 /proc/13630/task/13638/stat : 13638 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 37729159 867201024 11934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 852232 [startup+6.30208 s] /proc/loadavg: 2.06 2.00 1.93 3/90 13639 /proc/meminfo: memFree=1557256/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 [pid=13630] ppid=13627 vsize=850916 CPUtime=6.17 /proc/13630/stat : 13630 (java) S 13627 13627 13430 0 -1 0 29881 0 2 0 600 17 0 0 18 0 9 0 37729155 871337984 26238 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13630/statm: 212729 26238 2580 9 0 207289 0 [pid=13630/tid=13631] ppid=13627 vsize=850916 CPUtime=4.19 /proc/13630/task/13631/stat : 13631 (java) R 13627 13627 13430 0 -1 64 4722 0 2 0 414 5 0 0 25 0 9 0 37729156 871337984 26238 996147200 134512640 134550740 4294956000 18446744073709551615 4127302214 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13632] ppid=13627 vsize=850916 CPUtime=1.34 /proc/13630/task/13632/stat : 13632 (java) S 13627 13627 13430 0 -1 64 22131 0 0 0 125 9 0 0 17 0 9 0 37729157 871337984 26238 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13633] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13633/stat : 13633 (java) S 13627 13627 13430 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26238 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13634] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13634/stat : 13634 (java) S 13627 13627 13430 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26238 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13635] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13635/stat : 13635 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37729159 871337984 26238 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13636] ppid=13627 vsize=850916 CPUtime=0.61 /proc/13630/task/13636/stat : 13636 (java) S 13627 13627 13430 0 -1 64 2291 0 0 0 60 1 0 0 15 0 9 0 37729159 871337984 26238 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13637] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13637/stat : 13637 (java) S 13627 13627 13430 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37729159 871337984 26238 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13638] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13638/stat : 13638 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37729159 871337984 26238 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (KiB) 856272 [startup+12.703 s] /proc/loadavg: 2.05 2.00 1.93 3/90 13674 /proc/meminfo: memFree=1771208/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 [pid=13630] ppid=13627 vsize=850916 CPUtime=12.5 /proc/13630/stat : 13630 (java) S 13627 13627 13430 0 -1 0 29895 0 2 0 1232 18 0 0 18 0 9 0 37729155 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13630/statm: 212729 26251 2580 9 0 207289 0 [pid=13630/tid=13631] ppid=13627 vsize=850916 CPUtime=10.5 /proc/13630/task/13631/stat : 13631 (java) R 13627 13627 13430 0 -1 64 4723 0 2 0 1044 6 0 0 25 0 9 0 37729156 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4127361741 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13632] ppid=13627 vsize=850916 CPUtime=1.34 /proc/13630/task/13632/stat : 13632 (java) S 13627 13627 13430 0 -1 64 22131 0 0 0 125 9 0 0 16 0 9 0 37729157 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13633] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13633/stat : 13633 (java) S 13627 13627 13430 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13634] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13634/stat : 13634 (java) S 13627 13627 13430 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13635] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13635/stat : 13635 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37729159 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13636] ppid=13627 vsize=850916 CPUtime=0.63 /proc/13630/task/13636/stat : 13636 (java) S 13627 13627 13430 0 -1 64 2304 0 0 0 62 1 0 0 16 0 9 0 37729159 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13637] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13637/stat : 13637 (java) S 13627 13627 13430 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37729159 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13638] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13638/stat : 13638 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37729159 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.5 Current children cumulated vsize (KiB) 856272 [startup+25.5027 s] /proc/loadavg: 2.04 2.00 1.93 3/90 13674 /proc/meminfo: memFree=1720904/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 [pid=13630] ppid=13627 vsize=850916 CPUtime=25.17 /proc/13630/stat : 13630 (java) S 13627 13627 13430 0 -1 0 29895 0 2 0 2499 18 0 0 18 0 9 0 37729155 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13630/statm: 212729 26251 2580 9 0 207289 0 [pid=13630/tid=13631] ppid=13627 vsize=850916 CPUtime=23.18 /proc/13630/task/13631/stat : 13631 (java) R 13627 13627 13430 0 -1 64 4723 0 2 0 2311 7 0 0 25 0 9 0 37729156 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4127366456 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13632] ppid=13627 vsize=850916 CPUtime=1.34 /proc/13630/task/13632/stat : 13632 (java) S 13627 13627 13430 0 -1 64 22131 0 0 0 125 9 0 0 16 0 9 0 37729157 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13633] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13633/stat : 13633 (java) S 13627 13627 13430 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13634] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13634/stat : 13634 (java) S 13627 13627 13430 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13635] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13635/stat : 13635 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37729159 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13636] ppid=13627 vsize=850916 CPUtime=0.63 /proc/13630/task/13636/stat : 13636 (java) S 13627 13627 13430 0 -1 64 2304 0 0 0 62 1 0 0 16 0 9 0 37729159 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13637] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13637/stat : 13637 (java) S 13627 13627 13430 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37729159 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13638] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13638/stat : 13638 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37729159 871337984 26251 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.17 Current children cumulated vsize (KiB) 856272 [startup+51.1021 s] /proc/loadavg: 2.02 2.00 1.93 3/90 13674 /proc/meminfo: memFree=1720776/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 ################ # More data... # ################ /proc/13630/task/13636/stat : 13636 (java) S 13627 13627 13430 0 -1 64 2310 0 0 0 64 1 0 0 16 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13637] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13637/stat : 13637 (java) S 13627 13627 13430 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13638] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13638/stat : 13638 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3398.9 Current children cumulated vsize (KiB) 856272 [startup+3462.3 s] /proc/loadavg: 2.00 2.00 1.97 3/84 13792 /proc/meminfo: memFree=1685624/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 [pid=13630] ppid=13627 vsize=850916 CPUtime=3458.87 /proc/13630/stat : 13630 (java) S 13627 13627 13430 0 -1 0 29909 0 2 0 345863 24 0 0 18 0 9 0 37729155 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13630/statm: 212729 26257 2580 9 0 207289 0 [pid=13630/tid=13631] ppid=13627 vsize=850916 CPUtime=3456.84 /proc/13630/task/13631/stat : 13631 (java) R 13627 13627 13430 0 -1 64 4731 0 2 0 345672 12 0 0 25 0 9 0 37729156 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4127299053 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13632] ppid=13627 vsize=850916 CPUtime=1.34 /proc/13630/task/13632/stat : 13632 (java) S 13627 13627 13430 0 -1 64 22131 0 0 0 125 9 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13633] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13633/stat : 13633 (java) S 13627 13627 13430 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13634] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13634/stat : 13634 (java) S 13627 13627 13430 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13635] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13635/stat : 13635 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13636] ppid=13627 vsize=850916 CPUtime=0.65 /proc/13630/task/13636/stat : 13636 (java) S 13627 13627 13430 0 -1 64 2310 0 0 0 64 1 0 0 16 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13637] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13637/stat : 13637 (java) S 13627 13627 13430 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13638] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13638/stat : 13638 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3458.87 Current children cumulated vsize (KiB) 856272 [startup+3522.3 s] /proc/loadavg: 2.00 2.00 1.97 3/84 13792 /proc/meminfo: memFree=1685624/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 [pid=13630] ppid=13627 vsize=850916 CPUtime=3518.84 /proc/13630/stat : 13630 (java) S 13627 13627 13430 0 -1 0 29909 0 2 0 351860 24 0 0 18 0 9 0 37729155 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13630/statm: 212729 26257 2580 9 0 207289 0 [pid=13630/tid=13631] ppid=13627 vsize=850916 CPUtime=3516.82 /proc/13630/task/13631/stat : 13631 (java) R 13627 13627 13430 0 -1 64 4731 0 2 0 351670 12 0 0 25 0 9 0 37729156 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4127299053 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13632] ppid=13627 vsize=850916 CPUtime=1.34 /proc/13630/task/13632/stat : 13632 (java) S 13627 13627 13430 0 -1 64 22131 0 0 0 125 9 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13633] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13633/stat : 13633 (java) S 13627 13627 13430 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13634] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13634/stat : 13634 (java) S 13627 13627 13430 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13635] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13635/stat : 13635 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13636] ppid=13627 vsize=850916 CPUtime=0.65 /proc/13630/task/13636/stat : 13636 (java) S 13627 13627 13430 0 -1 64 2310 0 0 0 64 1 0 0 16 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13637] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13637/stat : 13637 (java) S 13627 13627 13430 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13638] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13638/stat : 13638 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3518.84 Current children cumulated vsize (KiB) 856272 [startup+3582.3 s] /proc/loadavg: 2.00 2.00 1.97 3/84 13792 /proc/meminfo: memFree=1683896/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 [pid=13630] ppid=13627 vsize=850916 CPUtime=3578.82 /proc/13630/stat : 13630 (java) S 13627 13627 13430 0 -1 0 29909 0 2 0 357858 24 0 0 18 0 9 0 37729155 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13630/statm: 212729 26257 2580 9 0 207289 0 [pid=13630/tid=13631] ppid=13627 vsize=850916 CPUtime=3576.79 /proc/13630/task/13631/stat : 13631 (java) R 13627 13627 13430 0 -1 64 4731 0 2 0 357667 12 0 0 25 0 9 0 37729156 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4127299103 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13632] ppid=13627 vsize=850916 CPUtime=1.34 /proc/13630/task/13632/stat : 13632 (java) S 13627 13627 13430 0 -1 64 22131 0 0 0 125 9 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13633] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13633/stat : 13633 (java) S 13627 13627 13430 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13634] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13634/stat : 13634 (java) S 13627 13627 13430 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13635] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13635/stat : 13635 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13636] ppid=13627 vsize=850916 CPUtime=0.65 /proc/13630/task/13636/stat : 13636 (java) S 13627 13627 13430 0 -1 64 2310 0 0 0 64 1 0 0 16 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13637] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13637/stat : 13637 (java) S 13627 13627 13430 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13638] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13638/stat : 13638 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3578.82 Current children cumulated vsize (KiB) 856272 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3603.5 s] /proc/loadavg: 2.00 2.00 1.97 3/84 13792 /proc/meminfo: memFree=1683896/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 [pid=13630] ppid=13627 vsize=850916 CPUtime=3600.01 /proc/13630/stat : 13630 (java) S 13627 13627 13430 0 -1 0 29909 0 2 0 359977 24 0 0 18 0 9 0 37729155 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13630/statm: 212729 26257 2580 9 0 207289 0 [pid=13630/tid=13631] ppid=13627 vsize=850916 CPUtime=3597.99 /proc/13630/task/13631/stat : 13631 (java) R 13627 13627 13430 0 -1 64 4731 0 2 0 359787 12 0 0 25 0 9 0 37729156 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4127361800 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13632] ppid=13627 vsize=850916 CPUtime=1.34 /proc/13630/task/13632/stat : 13632 (java) S 13627 13627 13430 0 -1 64 22131 0 0 0 125 9 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13633] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13633/stat : 13633 (java) S 13627 13627 13430 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13634] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13634/stat : 13634 (java) S 13627 13627 13430 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13635] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13635/stat : 13635 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13636] ppid=13627 vsize=850916 CPUtime=0.65 /proc/13630/task/13636/stat : 13636 (java) S 13627 13627 13430 0 -1 64 2310 0 0 0 64 1 0 0 16 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13637] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13637/stat : 13637 (java) S 13627 13627 13430 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13638] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13638/stat : 13638 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3600.01 Current children cumulated vsize (KiB) 856272 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+3603.5 s] /proc/loadavg: 2.00 2.00 1.97 3/84 13792 /proc/meminfo: memFree=1683896/2055920 swapFree=4192812/4192956 [pid=13627] ppid=13625 vsize=5356 CPUtime=0 /proc/13627/stat : 13627 (concrete.sh) S 13625 13627 13430 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37729154 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13627/statm: 1339 242 201 169 0 50 0 [pid=13630] ppid=13627 vsize=850916 CPUtime=3600.01 /proc/13630/stat : 13630 (java) S 13627 13627 13430 0 -1 0 29909 0 2 0 359977 24 0 0 18 0 9 0 37729155 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13630/statm: 212729 26257 2580 9 0 207289 0 [pid=13630/tid=13631] ppid=13627 vsize=850916 CPUtime=3597.99 /proc/13630/task/13631/stat : 13631 (java) R 13627 13627 13430 0 -1 64 4731 0 2 0 359787 12 0 0 25 0 9 0 37729156 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4127361800 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13632] ppid=13627 vsize=850916 CPUtime=1.34 /proc/13630/task/13632/stat : 13632 (java) S 13627 13627 13430 0 -1 64 22131 0 0 0 125 9 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13633] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13633/stat : 13633 (java) S 13627 13627 13430 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13634] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13634/stat : 13634 (java) S 13627 13627 13430 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37729157 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13635] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13635/stat : 13635 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13636] ppid=13627 vsize=850916 CPUtime=0.65 /proc/13630/task/13636/stat : 13636 (java) S 13627 13627 13430 0 -1 64 2310 0 0 0 64 1 0 0 16 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13630/tid=13637] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13637/stat : 13637 (java) S 13627 13627 13430 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13630/tid=13638] ppid=13627 vsize=850916 CPUtime=0 /proc/13630/task/13638/stat : 13638 (java) S 13627 13627 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37729159 871337984 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3600.01 Current children cumulated vsize (KiB) 856272 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13627 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=3999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.005998 # while last known CPU time is 3600.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 3603.53 CPU time (s): 3600.01 CPU user time (s): 3599.77 CPU system time (s): 0.24 CPU usage (%): 99.9025 Max. virtual memory (cumulated for all children) (KiB): 861400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.003999 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 443 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= 13 involuntary context switches= 5 runsolver used 3.99839 second user time and 12.4101 second system time The end
Begin job on node10 at 2008-07-11 23:04:23 IDJOB=1109776 IDBENCH=61012 IDSOLVER=336 FILE ID=node10/1109776-1215810263 PBS_JOBID= 7903296 Free space on /tmp= 66508 MiB SOLVER NAME= Concrete + CSP4J - Tabu Engine 2008-05-30 BENCH NAME= CPAI08/csp/os-taillard-15/normalized-os-taillard-15-95-9.xml COMMAND LINE= HOME/concrete.sh -c -ext 0 -max -s Tabu BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109776-1215810263/watcher-1109776-1215810263 -o /tmp/evaluation-result-1109776-1215810263/solver-1109776-1215810263 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1109776-1215810263.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 4b78d7f43a355b62cc35ed3e75b3d9c4 RANDOM SEED=305408347 node10.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.236 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.236 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1817088 kB Buffers: 22508 kB Cached: 60860 kB SwapCached: 0 kB Active: 151972 kB Inactive: 33124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1817088 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 1228 kB Writeback: 0 kB Mapped: 122008 kB Slab: 38832 kB Committed_AS: 917696 kB PageTables: 1912 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66500 MiB End job on node10 at 2008-07-12 00:04:28