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) | 15 | 3600.08 | 3617.82 |
| Name | csp/os-taillard-15/ normalized-os-taillard-15-95-2.xml |
| MD5SUM | 8376fcfcac18b60a71faf845a033c81e |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 15 |
| Best CPU time to get the best result obtained on this benchmark | 3600.08 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 3150 |
| Maximum constraint arity | 2 |
| Maximum domain size | 854 |
| 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.13/4.27 c CPU-LOAD 2.52 4.13/4.27 c LOADED 225 V (854 E), 3150 DTPConstraint, arity 2, 2.52 cpu 5.93/6.02 s SATISFIABLE 5.93/6.02 o 3089 5.93/6.02 v 777 102 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 560 305 653 761 1 477 397 257 309 712 301 618 219 853 209 261 445 539 783 8 89 284 464 1 71 610 256 659 141 556 364 668 680 144 769 37 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 56 48 272 491 391 842 711 448 424 180 530 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 386 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 491 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 476 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.03 o 3090 5.93/6.03 v 777 102 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 257 309 712 301 618 219 853 209 261 445 539 783 8 89 284 464 1 71 610 256 659 141 556 364 668 680 144 769 37 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 56 48 272 491 391 842 711 448 424 180 530 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 386 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 491 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 476 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.03 o 3091 5.93/6.03 v 777 102 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 257 309 712 301 618 219 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 141 556 364 668 680 144 769 37 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 56 48 272 491 391 842 711 448 424 180 530 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 386 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 491 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 476 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.03 o 3092 5.93/6.03 v 777 102 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 257 309 712 301 618 219 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 141 556 364 668 680 144 769 37 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 56 48 272 491 391 842 711 448 424 180 530 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 386 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 491 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 273 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.04 o 3093 5.93/6.04 v 777 449 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 257 309 712 301 618 219 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 141 556 364 668 680 144 769 37 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 56 48 272 491 391 842 711 448 424 180 530 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 386 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 491 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 273 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.04 o 3094 5.93/6.04 v 777 449 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 257 309 712 301 618 219 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 141 556 364 668 680 144 769 37 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 56 48 272 491 391 842 711 448 424 180 530 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 386 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 818 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 273 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.04 o 3095 5.93/6.04 v 777 449 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 257 309 712 301 618 219 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 585 556 364 668 680 144 769 37 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 56 48 272 491 391 842 711 448 424 180 530 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 386 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 818 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 273 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.05 o 3096 5.93/6.05 v 777 449 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 257 309 712 301 618 219 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 585 556 364 668 680 144 769 828 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 56 48 272 491 391 842 711 448 424 180 530 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 386 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 818 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 273 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.05 o 3097 5.93/6.05 v 777 449 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 257 309 712 301 618 95 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 585 556 364 668 680 144 769 828 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 56 48 272 491 391 842 711 448 424 180 530 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 386 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 818 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 273 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.06 o 3098 5.93/6.06 v 777 449 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 257 309 712 301 618 95 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 585 556 364 668 680 144 769 828 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 56 48 272 491 391 842 711 448 424 180 530 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 790 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 818 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 273 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.06 o 3099 5.93/6.06 v 358 449 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 257 309 712 301 618 95 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 585 556 364 668 680 144 769 828 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 56 48 272 491 391 842 711 448 424 180 530 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 790 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 818 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 273 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.06 o 3100 5.93/6.06 v 358 449 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 257 309 712 301 618 95 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 585 556 364 668 680 144 769 828 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 1 48 272 491 391 842 711 448 424 180 530 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 790 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 818 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 273 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.07 o 3101 5.93/6.07 v 358 449 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 257 309 712 301 618 95 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 585 556 364 668 680 144 769 828 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 1 48 272 491 391 842 711 448 424 180 67 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 790 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 818 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 273 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.07 o 3102 5.93/6.07 v 358 449 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 247 309 712 301 618 95 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 585 556 364 668 680 144 769 828 684 454 259 754 560 60 587 291 17 819 361 455 383 146 694 562 95 465 659 792 1 48 272 491 391 842 711 448 424 180 67 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 790 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 818 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 273 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.07 o 3103 5.93/6.07 v 358 449 446 524 380 376 807 168 43 620 693 345 623 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 247 309 712 301 618 95 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 585 556 364 668 680 144 769 828 684 454 259 754 560 60 587 291 17 793 361 455 383 146 694 562 95 465 659 792 1 48 272 491 391 842 711 448 424 180 67 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 744 62 669 820 306 276 825 18 165 189 538 369 260 267 596 73 224 157 733 548 30 204 299 725 790 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 818 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 273 291 533 90 701 384 777 786 191 484 605 15 368 768 49 571 510 283 151 245 453 696 812 218 654 5.93/6.09 o 3104 5.93/6.09 v 358 736 446 524 380 376 807 168 43 620 693 345 625 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 247 309 712 301 618 95 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 585 556 364 668 680 144 769 828 684 454 259 754 560 60 587 291 17 793 361 455 383 146 694 562 95 465 659 792 1 48 272 491 391 842 711 448 424 175 67 446 629 550 731 3 492 139 93 363 20 506 797 670 224 534 452 5 62 669 820 306 276 825 18 165 189 538 369 260 267 596 84 224 157 733 548 30 204 299 725 790 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 107 440 627 698 16 786 95 211 818 293 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 675 34 273 291 533 90 701 384 777 786 191 484 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.02/6.11 o 3105 6.02/6.11 v 358 736 446 524 380 376 807 168 43 620 707 345 625 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 247 309 712 301 618 95 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 585 556 364 668 680 144 769 828 684 454 259 754 560 70 587 291 17 793 361 455 383 146 694 562 95 465 659 792 1 48 272 491 391 842 711 448 424 175 67 446 629 550 731 3 492 139 93 363 20 506 797 670 224 738 608 5 62 669 820 306 276 825 18 165 189 538 369 260 267 596 84 224 157 733 548 30 204 299 725 790 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 358 66 719 98 440 627 698 16 786 95 211 818 550 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 659 34 273 291 533 90 701 384 777 786 191 484 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.02/6.11 o 3106 6.02/6.11 v 358 736 446 524 380 376 807 168 43 620 707 345 625 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 247 309 712 301 618 95 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 585 556 364 668 680 144 769 828 684 454 259 754 560 70 587 291 17 793 361 455 383 146 694 562 95 465 659 792 1 48 272 491 391 842 711 448 424 175 67 446 629 550 731 3 492 139 93 363 20 506 797 670 224 738 608 5 62 669 820 306 276 825 18 165 189 538 369 260 267 596 84 224 157 733 548 30 204 299 725 790 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 307 66 719 98 440 627 698 16 786 95 211 818 550 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 659 34 273 291 533 90 701 384 777 786 191 484 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.02/6.12 o 3107 6.02/6.12 v 358 736 446 524 380 376 144 168 43 620 707 345 625 10 247 157 127 60 60 222 598 706 378 433 463 305 653 761 1 477 397 247 309 712 301 618 95 853 209 261 445 539 783 8 89 284 464 1 71 430 256 659 585 556 364 668 680 144 769 828 684 454 259 754 560 70 587 291 17 793 361 455 383 146 694 562 95 465 659 792 1 48 272 491 391 842 711 448 424 175 67 446 629 550 731 3 492 139 263 363 20 506 797 670 224 738 608 5 62 669 820 306 276 825 18 165 189 538 369 260 267 596 84 224 157 733 548 30 204 299 725 790 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 307 66 719 98 440 627 698 16 786 95 211 818 550 721 691 667 57 510 300 632 389 480 774 175 820 26 267 3 20 586 85 659 34 273 291 533 90 701 384 777 786 191 484 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.02/6.16 o 3108 6.02/6.16 v 358 736 446 524 271 376 144 168 43 620 698 345 625 10 247 157 127 550 60 222 598 706 378 433 463 305 653 761 1 477 397 247 309 718 301 618 95 853 209 261 445 539 783 8 89 284 468 1 71 430 265 659 585 556 364 668 680 144 769 828 684 454 259 754 560 64 587 291 17 793 361 455 383 146 694 562 95 465 659 792 1 48 272 491 391 842 711 448 424 175 67 446 629 550 358 3 492 139 263 775 20 506 720 670 224 738 454 5 62 669 820 306 276 825 18 165 189 538 369 260 267 596 91 224 157 733 548 30 204 299 725 790 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 307 66 719 98 440 627 698 16 786 95 211 818 550 721 691 667 57 510 300 632 388 480 774 175 820 26 267 3 20 586 85 451 34 273 291 533 90 701 384 777 786 191 484 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.02/6.16 o 3109 6.02/6.16 v 358 800 446 524 271 376 144 168 43 620 698 345 625 10 247 157 127 550 60 222 598 706 378 433 463 305 653 761 1 477 397 247 309 718 301 618 95 853 209 261 445 539 783 8 89 284 468 1 71 430 265 659 585 556 364 668 680 144 769 828 684 454 259 754 560 64 587 291 17 793 361 455 383 146 694 562 95 465 659 792 1 48 272 491 391 842 711 448 424 175 67 446 629 550 358 3 492 139 263 775 20 506 720 670 224 738 454 5 62 669 820 306 276 825 18 165 189 538 369 260 267 596 91 224 157 733 548 30 204 299 725 790 379 469 608 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 153 8 66 739 452 299 314 628 652 134 593 334 307 66 719 98 440 627 698 16 760 95 211 818 550 721 691 667 57 510 300 632 388 480 774 175 820 26 267 3 20 586 85 451 34 273 291 533 90 701 384 777 786 191 484 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.02/6.20 o 3110 6.02/6.20 v 358 800 446 524 495 376 144 168 43 622 713 345 625 10 247 157 127 550 60 222 598 706 378 433 463 305 653 761 1 477 397 247 309 718 301 618 95 853 209 261 445 539 783 8 89 284 468 1 71 430 265 659 585 556 364 668 680 144 769 828 684 454 259 754 560 64 587 291 17 793 361 186 383 149 694 562 95 465 659 792 1 48 272 491 391 842 711 448 424 175 67 446 629 550 358 3 492 139 263 775 20 506 720 670 224 738 454 5 62 623 820 306 276 825 18 165 189 538 369 260 267 591 91 224 157 733 548 30 204 288 725 790 379 469 602 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 176 8 66 733 452 299 314 628 652 134 593 344 307 66 719 98 441 627 698 16 760 95 211 818 550 721 691 667 57 510 300 632 388 480 774 175 820 26 267 3 20 586 85 147 34 273 291 533 90 701 384 777 786 191 484 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.12/6.21 o 3111 6.12/6.21 v 358 800 446 524 495 376 144 168 43 622 713 345 625 10 247 157 127 550 60 222 598 706 378 433 463 305 653 761 1 477 397 247 309 718 301 618 95 853 209 261 445 539 783 8 89 284 468 1 71 430 265 659 585 556 445 668 371 144 769 828 684 454 259 754 560 64 587 291 17 793 361 186 383 149 694 562 95 465 659 792 1 48 272 489 391 842 711 448 424 175 67 446 629 550 358 3 492 139 252 775 20 506 720 670 224 738 454 5 62 623 820 306 276 825 18 165 189 538 369 260 267 591 91 224 157 733 548 30 204 288 725 790 379 469 607 740 287 456 500 811 549 153 418 295 296 607 681 8 62 737 771 538 207 718 381 176 8 66 733 452 299 314 628 652 134 593 344 307 66 719 98 441 627 698 16 760 95 211 818 550 721 691 667 57 510 300 632 388 480 774 175 820 26 267 3 20 586 85 147 34 273 291 533 90 701 384 777 786 191 484 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.12/6.26 o 3112 6.12/6.26 v 358 800 446 524 168 376 144 168 43 621 713 345 625 20 247 157 127 257 60 222 598 706 378 433 463 305 653 761 1 477 397 247 788 718 301 618 95 853 209 261 445 539 783 8 89 284 468 1 71 430 265 659 591 556 445 668 371 144 769 828 684 454 259 754 560 64 587 291 17 793 361 186 383 149 694 562 95 465 659 792 1 48 272 489 391 842 711 448 424 175 67 446 629 550 358 3 492 139 252 775 20 506 720 670 145 738 454 5 62 614 820 306 276 825 18 165 189 538 369 260 267 586 91 224 157 738 548 30 204 288 725 790 379 469 607 740 287 456 500 811 549 153 530 295 380 607 681 8 62 737 771 538 207 718 381 176 8 66 733 452 299 314 628 652 134 593 344 307 66 719 98 448 627 698 16 760 95 211 818 550 721 691 667 51 510 300 632 388 480 774 175 820 26 267 3 20 586 85 147 34 273 291 533 90 701 384 777 786 191 484 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.22/6.31 o 3113 6.22/6.31 v 358 800 446 524 263 376 144 168 43 621 713 345 625 20 247 157 127 257 60 222 598 706 378 433 463 305 653 782 1 477 397 247 788 718 301 618 96 853 209 261 445 539 783 8 89 253 471 1 67 430 265 659 591 556 455 668 371 144 769 828 684 454 826 754 560 64 587 291 17 793 351 605 383 149 694 562 95 465 659 792 1 48 272 486 391 842 711 448 424 175 67 446 629 550 358 3 492 139 260 775 20 506 720 670 145 738 454 5 62 639 820 306 276 825 18 157 189 538 369 260 267 584 91 224 157 738 548 30 204 288 725 790 379 469 607 740 287 456 500 811 549 153 530 295 380 607 681 8 62 737 771 538 207 718 381 176 8 66 733 452 299 314 628 652 134 593 344 307 66 719 89 448 627 698 16 760 95 211 818 550 721 691 667 311 510 300 632 388 480 774 175 820 26 267 3 20 603 85 147 34 273 291 533 90 701 384 777 786 191 484 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.22/6.34 o 3114 6.22/6.34 v 358 800 446 524 263 376 144 168 43 621 713 345 625 20 247 157 127 257 60 222 598 706 378 433 463 305 653 782 1 477 397 247 788 718 301 618 96 853 209 261 443 539 783 8 89 253 471 1 67 430 265 659 591 556 455 668 371 144 769 828 684 454 826 754 560 64 587 291 17 793 351 605 383 149 697 562 95 465 659 792 1 48 272 480 391 842 711 448 424 175 67 446 629 550 358 3 492 139 254 775 20 506 720 670 200 738 454 5 62 616 820 306 276 825 18 160 189 538 369 260 267 584 89 224 157 738 548 30 204 299 708 790 379 469 638 740 287 456 500 811 549 153 530 295 380 607 681 8 62 737 771 538 207 718 381 176 8 32 743 452 299 314 628 652 134 593 344 307 66 719 89 448 627 698 16 760 95 211 818 550 721 691 667 311 510 98 632 388 480 774 175 820 26 267 3 20 603 85 147 34 273 291 533 90 701 384 777 786 191 496 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.32/6.48 o 3115 6.32/6.48 v 358 800 446 524 515 376 144 168 28 621 701 345 623 57 247 157 127 257 60 222 598 706 378 433 463 305 653 541 1 477 397 247 788 718 301 618 474 853 209 261 443 539 783 8 89 264 127 1 67 430 250 659 589 556 455 668 371 144 769 828 685 451 826 754 560 64 587 291 17 793 351 459 383 149 697 562 95 291 659 792 1 48 272 476 391 842 711 448 424 175 67 446 659 550 358 3 492 139 254 775 20 506 711 670 136 715 465 5 62 616 820 306 276 825 18 152 192 538 369 260 267 597 111 224 157 738 548 30 204 299 704 789 379 469 630 740 287 456 500 811 549 153 530 295 380 607 681 8 62 737 771 538 207 718 381 176 8 29 94 452 299 314 628 652 134 593 344 307 66 719 89 448 627 698 16 760 95 211 818 550 721 691 667 311 530 98 632 388 480 774 175 820 26 267 3 20 622 85 147 34 273 291 533 90 734 384 777 786 191 471 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.42/6.53 o 3116 6.42/6.53 v 358 800 446 524 515 376 144 168 28 272 703 345 623 16 247 157 127 257 60 222 598 706 378 433 463 305 653 770 1 477 397 247 788 718 301 618 474 853 209 261 435 539 783 8 89 264 466 1 67 430 276 659 589 556 455 668 371 144 769 828 685 451 826 754 560 64 587 291 17 793 351 459 383 149 697 562 95 291 659 792 1 48 272 476 391 842 711 448 424 175 67 446 659 550 358 3 492 139 254 772 20 506 711 670 136 715 376 5 62 616 820 306 276 825 18 152 191 538 369 260 267 597 111 224 157 738 548 30 204 302 718 789 379 469 630 740 527 456 500 811 549 153 530 295 383 607 681 8 62 737 771 538 207 718 381 176 8 29 94 452 299 314 628 652 134 593 344 307 66 719 89 448 627 698 16 760 95 211 818 550 721 691 667 311 530 98 632 388 480 774 175 820 26 267 3 20 587 85 147 34 273 291 533 90 663 384 777 786 191 471 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.61/6.76 o 3117 6.61/6.76 v 358 800 446 524 519 376 144 168 28 269 707 345 623 21 245 157 127 257 60 222 598 542 378 433 463 305 653 708 1 477 397 247 788 715 301 618 481 853 209 261 382 529 783 8 89 254 452 1 67 430 669 659 586 556 458 144 371 144 769 828 284 442 826 754 560 66 587 291 17 793 351 608 383 149 697 562 57 277 659 792 1 39 282 476 391 842 685 448 424 163 67 446 622 550 358 3 492 145 265 764 20 506 707 670 155 715 471 5 62 611 820 306 276 825 18 152 193 524 369 260 267 590 85 224 157 703 548 30 204 286 715 789 379 469 602 740 527 456 500 811 549 153 530 295 383 607 681 8 62 528 771 538 207 718 381 176 8 29 94 452 299 314 628 652 134 593 353 307 66 719 96 450 627 698 16 760 95 211 818 550 721 691 667 311 530 98 632 388 480 774 175 820 26 267 3 20 701 85 147 34 273 291 533 90 663 388 777 786 191 476 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 6.81/6.91 o 3118 6.81/6.91 v 358 800 683 524 460 376 144 168 29 269 716 345 623 44 245 157 127 257 60 222 598 542 376 433 463 305 653 708 1 477 401 247 788 715 301 618 481 853 209 261 382 529 783 8 89 254 287 1 67 430 669 659 586 556 454 157 371 132 769 828 95 442 826 754 560 1 587 291 82 793 351 610 383 149 697 562 57 169 659 792 1 29 281 476 391 842 685 448 424 171 67 446 632 550 358 3 492 130 265 764 20 506 707 670 146 715 471 5 62 611 820 306 276 825 18 151 193 524 369 260 267 597 90 224 157 700 548 30 204 286 702 789 379 469 309 736 527 456 500 811 549 153 530 295 383 607 681 8 62 528 771 538 207 718 381 176 8 29 724 452 299 314 628 652 134 593 353 307 66 719 111 450 627 698 16 760 95 211 818 550 721 691 667 311 530 98 632 388 480 774 175 820 26 267 3 20 701 85 147 34 273 291 533 90 663 388 777 786 191 476 605 15 362 768 49 571 510 283 151 245 453 696 812 218 654 7.01/7.15 o 3119 7.01/7.15 v 358 800 683 524 460 376 144 168 26 272 716 345 623 7 244 157 127 257 60 222 598 542 376 433 463 305 653 708 1 477 401 247 788 707 301 618 475 853 209 261 515 532 787 8 89 274 449 1 67 430 669 659 592 556 452 135 371 130 769 828 95 438 826 754 560 15 587 291 90 793 346 613 440 149 697 562 57 178 659 792 1 29 281 476 391 842 685 448 424 293 67 471 660 550 358 3 492 130 265 764 20 506 704 435 145 715 471 5 62 611 820 306 276 825 18 150 193 540 369 260 267 597 589 224 157 734 548 30 204 286 714 789 379 469 86 739 527 456 500 811 549 162 530 295 383 607 681 8 62 528 771 538 207 718 388 176 8 29 564 452 299 314 628 646 134 593 353 307 66 719 104 449 627 698 16 760 87 211 818 550 721 691 667 311 530 98 632 388 480 774 172 820 26 267 3 20 701 85 147 34 273 282 533 90 663 388 777 786 191 476 605 15 362 768 49 571 510 288 151 245 453 696 812 218 654 7.11/7.24 o 3120 7.11/7.24 v 358 800 683 524 460 376 144 168 28 273 716 345 623 49 244 157 127 257 60 222 598 542 376 433 463 305 653 708 1 477 401 247 788 713 301 618 466 853 209 261 520 532 776 8 89 274 300 1 67 430 669 659 592 556 452 160 371 134 769 828 95 438 826 754 560 11 587 291 90 793 346 626 440 149 697 562 76 258 659 792 1 28 281 476 391 842 685 448 424 153 67 471 660 550 358 3 492 130 265 764 20 506 374 435 158 715 471 5 62 611 820 306 276 825 18 150 190 540 369 260 267 597 77 224 157 734 548 30 204 286 714 789 379 469 86 742 527 456 500 811 544 162 530 295 383 607 681 8 62 528 771 538 207 718 387 176 8 29 564 452 299 314 628 646 134 593 353 307 66 719 104 449 627 698 16 760 168 211 818 550 721 691 667 311 530 98 632 388 480 774 172 820 26 267 3 20 701 85 147 34 273 282 533 90 663 388 777 786 191 476 605 15 362 768 49 571 510 288 151 245 453 696 812 218 654 7.31/7.48 o 3121 7.31/7.48 v 358 800 683 524 460 376 144 168 28 263 716 345 623 16 243 157 127 257 60 222 598 542 376 433 463 305 653 708 1 477 398 247 788 711 301 618 474 853 209 261 520 532 776 8 89 268 475 1 67 430 677 659 592 249 448 155 371 139 769 828 95 444 826 754 560 2 587 291 88 793 346 175 452 149 697 562 76 275 659 792 1 28 260 476 391 842 685 448 424 159 67 471 660 550 363 3 492 130 265 764 20 506 703 435 165 715 471 5 62 611 820 306 276 825 18 150 192 540 369 260 267 597 548 224 157 703 548 30 204 286 720 791 374 469 86 740 527 456 500 811 544 162 530 295 384 607 677 8 62 528 771 538 207 718 387 176 8 29 565 452 299 314 628 646 134 593 353 307 66 719 104 451 627 698 16 760 163 216 818 550 721 691 667 311 530 98 632 388 480 774 158 820 26 267 3 20 701 85 147 34 273 282 533 90 663 388 777 786 602 476 605 15 362 768 49 571 510 288 151 245 453 696 812 218 654 7.51/7.62 o 3122 7.51/7.62 v 358 800 683 524 460 376 144 168 33 262 716 345 623 21 246 157 127 257 60 222 598 542 376 433 463 305 653 708 1 477 398 247 788 711 301 618 26 853 209 261 525 442 788 8 89 268 452 1 67 430 672 659 592 249 452 155 371 152 769 828 95 444 826 754 560 2 587 291 88 793 346 190 382 148 697 562 76 262 659 792 1 28 264 476 391 842 685 448 424 161 67 471 660 550 363 3 492 146 265 764 20 506 703 435 165 715 471 5 62 611 820 306 276 825 18 150 192 524 369 260 267 597 548 224 157 702 547 30 204 291 718 791 374 469 86 740 527 456 500 811 544 162 530 295 384 607 689 8 62 528 771 538 207 718 387 176 8 29 730 452 299 314 628 646 134 593 85 307 66 719 99 451 627 698 16 760 336 216 818 550 721 691 667 311 530 98 632 388 480 774 162 820 26 267 3 20 701 85 147 34 273 290 533 90 663 388 777 786 602 476 605 15 362 768 49 571 510 288 151 245 453 696 812 218 654 7.61/7.80 o 3123 7.61/7.80 v 358 800 683 524 460 376 144 168 28 274 718 345 623 45 247 157 127 257 60 222 598 542 376 433 463 304 653 708 1 477 398 247 788 716 301 618 26 853 209 261 520 442 789 8 89 283 272 1 61 430 672 659 592 249 452 155 371 152 769 828 95 444 826 754 560 0 587 291 86 793 346 185 381 148 697 562 76 161 659 792 1 28 278 476 391 842 699 448 424 285 67 471 660 550 363 3 492 137 265 764 20 506 663 435 529 715 471 5 62 611 820 306 276 825 18 163 762 539 369 260 267 597 548 224 157 368 547 30 204 291 718 791 374 469 86 746 527 456 500 811 544 191 530 295 383 619 689 8 62 528 771 538 207 718 195 176 8 29 731 452 299 314 628 646 134 593 85 307 66 719 91 438 627 698 16 760 339 216 818 550 721 691 667 311 530 98 632 388 480 774 158 820 26 267 3 20 701 85 147 34 273 290 533 90 663 383 777 786 602 476 605 15 362 768 49 571 510 288 151 245 453 696 812 218 654 7.91/8.05 o 3124 7.91/8.05 v 358 800 683 524 460 376 144 168 28 275 718 345 623 34 247 157 127 257 60 222 598 542 376 433 463 307 653 708 1 477 398 247 788 141 301 618 27 853 209 261 516 442 722 3 509 283 63 1 67 430 672 659 592 249 448 154 371 152 769 828 95 444 826 754 560 0 587 291 87 793 347 174 382 177 697 559 76 158 659 792 1 28 279 476 391 842 699 448 424 159 67 471 660 131 363 3 492 204 265 764 20 506 698 435 529 705 471 5 62 611 820 306 276 825 18 163 745 534 367 260 267 597 717 224 157 368 547 30 204 291 724 791 374 469 86 746 527 456 500 811 544 159 530 295 384 619 689 8 62 528 771 538 211 718 216 176 8 29 565 452 299 314 628 646 134 593 101 307 66 719 797 438 627 698 16 760 329 216 726 550 721 691 667 311 530 98 632 388 480 774 153 820 26 267 3 20 701 85 147 34 273 280 533 90 663 388 777 786 602 476 605 15 362 768 49 571 510 288 151 245 453 696 812 218 654 7.91/8.05 o 3125 7.91/8.05 v 358 800 683 524 460 376 144 168 28 275 718 345 623 34 247 157 127 257 60 222 598 542 376 433 463 307 653 708 1 477 398 247 788 141 301 618 90 853 209 261 516 442 722 3 509 283 63 1 67 430 672 659 592 249 448 154 371 152 769 828 95 444 826 754 560 0 587 291 654 793 347 174 382 177 697 559 76 158 659 792 1 28 279 476 391 842 699 448 424 159 67 471 660 131 363 3 492 204 265 764 20 506 698 435 529 705 471 5 62 611 820 306 276 825 18 163 745 534 367 260 267 597 717 224 157 368 547 30 204 291 724 791 374 469 86 746 527 456 500 811 544 159 530 295 384 619 689 8 62 528 771 538 211 718 216 176 8 29 565 452 299 314 628 646 134 593 101 307 66 719 797 438 627 698 16 760 329 216 726 550 721 691 667 311 530 98 632 388 480 774 153 820 26 267 3 20 701 85 147 34 273 280 533 90 663 388 777 786 602 476 605 15 362 768 49 571 510 288 151 245 453 696 812 218 654 7.91/8.08 o 3126 7.91/8.08 v 358 800 683 524 460 376 144 168 28 275 718 345 623 34 247 157 127 257 60 222 598 542 376 433 463 307 653 708 1 477 398 247 788 141 301 618 90 853 209 261 517 442 722 3 509 283 468 1 67 430 672 659 592 249 453 154 371 152 769 828 95 444 826 754 560 0 587 291 654 793 347 163 382 177 697 559 76 249 659 792 1 28 279 476 391 842 699 448 424 159 67 471 660 132 363 3 492 204 265 764 20 506 698 435 529 705 471 5 62 611 820 306 276 825 18 163 745 534 367 260 267 597 549 224 157 368 707 30 204 287 724 791 374 469 86 746 527 456 500 811 544 159 530 295 384 619 689 8 62 528 771 538 564 718 216 176 8 29 385 452 299 314 628 646 134 593 101 307 66 719 797 438 627 698 16 760 329 216 726 550 721 691 667 311 530 98 632 388 480 774 153 820 26 267 3 20 701 85 147 34 273 280 533 90 663 388 777 786 602 476 605 15 362 768 49 571 510 288 151 245 453 696 812 218 654 10.10/10.21 o 3127 10.10/10.21 v 358 800 683 524 460 376 144 168 33 267 716 345 623 37 247 157 127 257 60 222 598 542 376 433 463 302 653 708 1 477 398 247 788 141 301 618 90 853 209 261 516 442 722 3 515 283 472 1 67 430 676 659 559 249 447 154 371 135 769 828 93 444 826 754 560 14 587 287 653 793 350 174 381 169 696 559 76 162 659 792 1 28 282 476 391 842 686 448 424 301 67 471 625 130 363 3 492 204 265 764 20 506 662 435 529 715 471 5 76 629 820 306 276 825 18 163 751 533 369 260 267 597 549 224 157 368 710 30 204 290 713 791 377 469 86 746 527 456 500 811 544 154 530 295 380 619 689 8 62 528 771 538 564 718 216 726 8 29 169 452 299 314 628 646 134 593 87 307 66 719 110 434 627 698 16 760 326 216 795 550 721 691 667 311 530 98 632 388 480 774 159 820 26 267 3 20 701 85 147 34 273 284 220 90 663 380 777 786 602 476 605 15 362 768 49 571 510 282 151 245 453 696 812 218 654 13.88/14.09 o 3128 13.88/14.09 v 358 800 683 524 460 376 144 168 33 267 716 345 623 54 247 776 127 257 60 222 598 542 376 433 463 155 653 708 1 477 398 247 788 142 301 618 90 853 209 261 513 442 722 3 520 282 297 1 72 430 676 659 533 249 452 153 371 153 769 828 94 439 826 754 560 145 470 291 19 793 346 221 381 599 694 559 76 254 659 792 1 28 257 476 388 842 675 448 424 153 67 471 620 134 363 3 492 204 265 764 20 506 662 435 529 697 471 5 76 631 820 306 276 825 18 163 745 528 369 260 267 597 549 224 157 366 707 30 204 287 709 790 375 469 86 746 527 456 500 811 544 163 530 295 382 619 689 8 62 528 771 538 562 718 216 726 8 29 169 452 299 314 628 651 134 593 101 307 66 719 104 446 627 698 16 760 324 204 805 550 719 691 667 311 530 98 632 388 480 774 153 820 26 267 3 20 701 85 147 34 273 288 180 90 663 384 777 786 602 476 605 15 362 768 49 571 510 288 151 245 453 696 812 218 654 24.23/24.50 o 3129 24.23/24.50 v 358 800 683 524 460 376 144 168 27 263 716 345 623 5 244 782 127 257 60 222 598 542 376 433 463 155 649 708 1 477 389 247 788 142 301 618 90 853 209 261 524 442 722 3 518 281 282 1 64 430 676 659 528 249 447 155 371 139 769 828 95 446 826 754 560 145 454 291 23 793 354 221 383 596 694 545 76 153 659 792 1 28 250 476 383 842 688 448 424 671 67 471 725 132 363 3 492 204 265 764 20 506 662 435 529 710 455 5 76 631 820 306 276 825 18 163 752 515 369 260 267 597 545 224 157 366 709 30 829 284 700 766 381 469 86 746 527 456 500 811 544 179 530 295 379 619 689 8 62 528 771 538 563 718 216 726 8 29 169 452 299 314 628 652 134 593 86 307 66 719 797 418 627 698 16 760 324 217 184 550 717 691 667 311 530 98 632 388 480 774 159 820 26 267 3 20 701 85 147 34 273 288 180 90 663 387 777 786 602 476 605 15 363 768 49 571 510 285 151 245 453 696 812 218 654 29.80/30.07 o 3130 29.80/30.07 v 358 800 683 524 460 376 144 168 525 265 716 345 623 30 242 294 127 257 60 222 598 542 376 433 463 155 649 708 1 477 389 247 788 142 301 618 90 853 209 261 521 442 722 3 509 284 298 1 68 430 676 659 528 249 459 154 371 143 769 828 94 440 826 754 560 145 68 291 23 793 347 222 381 598 694 560 76 270 659 792 1 28 275 476 383 842 686 448 424 160 67 471 723 134 363 3 492 204 265 764 20 506 662 435 529 707 457 5 76 631 820 306 276 825 18 163 754 514 369 260 267 597 545 224 157 364 1 50 829 285 699 764 375 469 86 746 527 456 500 811 544 166 530 295 384 619 689 8 62 528 771 538 562 718 216 726 8 29 169 452 299 314 628 650 134 593 87 307 66 719 797 428 627 698 16 760 324 217 184 550 719 691 667 311 530 98 632 388 480 774 162 820 26 267 3 20 701 85 147 34 273 287 180 90 663 388 777 786 602 476 605 729 363 768 49 571 510 281 151 245 453 696 812 218 654 34.48/34.78 o 3131 34.48/34.78 v 358 800 683 524 460 376 144 168 41 264 716 345 623 19 241 296 127 257 60 222 598 542 370 433 463 153 649 708 1 477 377 247 788 142 513 618 90 853 209 291 338 442 722 0 509 282 273 1 66 430 676 659 528 249 451 153 371 131 769 828 94 446 826 754 560 144 473 291 18 793 349 222 384 595 694 560 76 179 659 792 1 28 275 476 388 842 683 448 424 153 67 471 724 134 363 3 492 204 265 764 20 506 662 435 529 706 473 5 76 631 820 306 276 825 18 163 751 529 369 260 267 597 545 224 157 366 1 50 829 289 699 767 377 469 80 746 527 456 500 811 544 175 530 295 372 619 689 8 62 528 771 109 563 718 216 726 8 29 169 452 299 314 628 647 134 593 84 307 66 719 797 442 627 698 16 760 331 217 184 550 718 691 667 311 530 98 632 388 480 774 158 820 26 267 3 20 701 85 147 34 273 290 180 90 663 384 777 786 602 476 605 729 363 768 49 571 510 286 151 245 453 696 812 218 654 35.67/35.98 o 3132 35.67/35.98 v 358 800 683 524 460 376 144 168 45 264 716 345 623 1 241 296 127 257 60 222 598 542 363 433 463 153 649 708 1 477 394 247 788 142 509 618 90 853 209 291 332 442 722 0 513 287 602 1 64 430 676 848 530 249 452 153 371 137 769 828 94 441 826 754 560 144 453 291 18 793 349 222 382 596 694 560 76 174 659 792 1 28 278 476 388 842 679 448 424 159 67 471 725 130 363 3 492 204 265 764 20 506 662 435 529 697 473 5 76 631 820 306 276 825 18 163 743 529 369 260 267 597 545 224 157 366 1 50 829 286 699 767 380 469 80 746 527 456 500 811 544 169 530 295 379 619 689 8 62 528 771 109 519 718 216 726 8 29 169 452 299 314 628 649 134 593 85 307 66 719 797 422 627 698 16 760 331 217 184 550 721 691 667 311 530 98 632 388 480 774 158 820 26 267 3 20 701 85 147 34 273 280 180 90 663 374 777 786 602 476 605 729 363 768 49 571 510 288 151 245 453 696 812 218 654 36.27/36.59 o 3133 36.27/36.59 v 358 800 683 524 460 376 144 168 43 270 716 345 623 19 242 296 127 257 60 222 598 542 647 433 463 153 815 708 1 477 716 247 788 142 515 618 90 853 209 291 339 442 722 0 515 287 598 1 64 430 676 848 530 249 452 153 371 137 769 828 94 440 826 754 560 144 614 291 18 793 344 222 381 596 694 560 76 292 769 792 1 28 281 476 388 842 684 448 424 158 67 471 717 130 363 3 492 204 265 764 20 506 662 435 529 717 473 5 76 631 820 306 276 438 18 163 741 529 369 260 267 597 545 224 157 368 1 50 829 286 699 767 374 469 80 741 527 456 500 811 544 164 530 295 373 619 689 8 62 528 771 109 519 718 216 726 8 29 169 452 299 314 628 649 134 593 85 307 66 719 797 422 627 698 16 760 331 217 184 550 720 695 667 311 530 98 632 388 480 774 161 820 26 267 3 20 701 85 147 34 273 280 180 90 663 376 777 786 602 476 605 729 363 768 49 571 510 281 151 245 453 696 812 218 654 36.37/36.63 o 3134 36.37/36.63 v 358 800 683 524 460 376 144 168 45 270 716 345 623 8 243 296 127 257 60 222 598 542 647 433 463 153 815 708 1 477 358 247 788 142 515 618 90 853 209 291 341 442 722 0 510 287 598 1 64 430 676 848 530 249 452 153 371 137 769 828 94 440 826 754 560 144 65 291 18 793 344 222 381 596 694 560 76 292 769 792 1 28 257 476 388 842 684 448 424 158 67 471 717 130 363 3 492 204 265 764 20 506 662 435 529 708 473 5 76 606 820 306 276 671 18 163 741 529 369 260 267 597 545 224 157 368 1 50 829 287 699 767 374 469 80 741 527 456 500 811 544 164 530 295 370 619 689 8 62 528 771 109 519 718 216 726 8 29 169 452 299 314 628 649 134 593 85 307 66 719 797 423 627 698 16 760 331 217 184 550 720 695 667 311 530 98 632 388 480 774 157 820 26 267 3 20 701 85 147 34 273 280 180 90 663 376 777 786 602 476 605 729 363 768 49 571 510 281 151 245 453 696 812 218 654 37.66/37.91 o 3135 37.66/37.91 v 358 800 683 524 460 376 144 168 41 263 716 345 623 8 243 296 127 257 60 222 598 367 647 433 463 153 815 708 1 477 400 247 788 142 513 618 90 853 209 291 335 442 724 0 520 287 599 1 64 430 676 848 530 249 452 153 371 148 769 828 93 441 826 754 560 144 446 291 18 793 344 222 382 599 694 560 76 673 769 792 1 28 282 476 388 842 688 448 424 154 67 471 717 130 363 3 492 204 265 764 20 506 662 435 529 714 473 5 76 606 820 306 276 671 18 163 762 529 369 260 267 597 545 224 157 368 1 50 829 287 699 767 377 469 80 741 527 456 500 811 544 164 530 295 376 619 689 8 62 528 771 109 519 718 216 726 8 23 169 452 299 314 628 646 134 593 87 307 66 719 797 422 627 698 16 760 331 217 184 550 237 695 667 311 530 102 632 386 480 774 151 820 26 61 3 20 526 714 147 34 273 280 180 90 663 387 777 786 602 476 605 729 363 768 49 571 510 284 151 245 453 696 812 218 654
OK 15 3135 15 unsatisfied constraints, 3135 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-1109770-1215810063/watcher-1109770-1215810063 -o /tmp/evaluation-result-1109770-1215810063/solver-1109770-1215810063 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1109770-1215810063.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: 2.00 2.00 2.00 4/81 16143 /proc/meminfo: memFree=1607112/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 37709429 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 228706713682 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0 /proc/16143/statm: 1339 230 191 169 0 50 0 [pid=16144] ppid=16143 vsize=5356 CPUtime=0 /proc/16144/stat : 16144 (concrete.sh) R 16143 16143 13311 0 -1 4194368 25 0 0 0 0 0 0 0 19 0 1 0 37709430 5484544 235 996147200 4194304 4889804 548682068752 18446744073709551615 228706544935 0 0 4096 0 0 0 0 17 1 0 0 /proc/16144/statm: 1339 235 195 169 0 50 0 [startup+0.0396021 s] /proc/loadavg: 2.00 2.00 2.00 4/81 16143 /proc/meminfo: memFree=1607112/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.108681 s] /proc/loadavg: 2.00 2.00 2.00 4/81 16143 /proc/meminfo: memFree=1607112/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.302712 s] /proc/loadavg: 2.00 2.00 2.00 4/81 16143 /proc/meminfo: memFree=1607112/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.702783 s] /proc/loadavg: 2.00 2.00 2.00 4/81 16143 /proc/meminfo: memFree=1607112/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+1.50192 s] /proc/loadavg: 2.00 2.00 2.00 3/91 16154 /proc/meminfo: memFree=1594552/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 [pid=16146] ppid=16143 vsize=844236 CPUtime=1.44 /proc/16146/stat : 16146 (java) S 16143 16143 13311 0 -1 0 5749 0 1 0 139 5 0 0 18 0 9 0 37709430 864497664 5010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16146/statm: 211059 5010 1900 9 0 205620 0 [pid=16146/tid=16147] ppid=16143 vsize=844236 CPUtime=1.2 /proc/16146/task/16147/stat : 16147 (java) R 16143 16143 13311 0 -1 64 3463 0 1 0 117 3 0 0 25 0 9 0 37709431 864497664 5010 996147200 134512640 134550740 4294956000 18446744073709551615 4125846506 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16148] ppid=16143 vsize=844236 CPUtime=0.08 /proc/16146/task/16148/stat : 16148 (java) S 16143 16143 13311 0 -1 64 1056 0 0 0 8 0 0 0 16 0 9 0 37709432 864497664 5010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16149] ppid=16143 vsize=844236 CPUtime=0 /proc/16146/task/16149/stat : 16149 (java) S 16143 16143 13311 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37709432 864497664 5010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16150] ppid=16143 vsize=844236 CPUtime=0 /proc/16146/task/16150/stat : 16150 (java) S 16143 16143 13311 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37709432 864497664 5010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16151] ppid=16143 vsize=844236 CPUtime=0 /proc/16146/task/16151/stat : 16151 (java) S 16143 16143 13311 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37709434 864497664 5010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16152] ppid=16143 vsize=844236 CPUtime=0.13 /proc/16146/task/16152/stat : 16152 (java) S 16143 16143 13311 0 -1 64 498 0 0 0 13 0 0 0 16 0 9 0 37709434 864497664 5010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16153] ppid=16143 vsize=844236 CPUtime=0 /proc/16146/task/16153/stat : 16153 (java) S 16143 16143 13311 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37709434 864497664 5010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16154] ppid=16143 vsize=844236 CPUtime=0 /proc/16146/task/16154/stat : 16154 (java) S 16143 16143 13311 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37709434 864497664 5010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 849592 [startup+3.1022 s] /proc/loadavg: 2.00 2.00 2.00 4/92 16155 /proc/meminfo: memFree=1572848/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 [pid=16146] ppid=16143 vsize=850836 CPUtime=3.05 /proc/16146/stat : 16146 (java) S 16143 16143 13311 0 -1 0 14158 0 1 0 295 10 0 0 18 0 10 0 37709430 871256064 13083 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16146/statm: 212709 13083 2579 9 0 207270 0 [pid=16146/tid=16147] ppid=16143 vsize=850836 CPUtime=1.94 /proc/16146/task/16147/stat : 16147 (java) R 16143 16143 13311 0 -1 64 3842 0 1 0 191 3 0 0 25 0 10 0 37709431 871256064 13083 996147200 134512640 134550740 4294956000 18446744073709551615 4126150656 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16148] ppid=16143 vsize=850836 CPUtime=0.57 /proc/16146/task/16148/stat : 16148 (java) S 16143 16143 13311 0 -1 64 7339 0 0 0 54 3 0 0 16 0 10 0 37709432 871256064 13083 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16149] ppid=16143 vsize=850836 CPUtime=0 /proc/16146/task/16149/stat : 16149 (java) S 16143 16143 13311 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 37709432 871256064 13083 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16150] ppid=16143 vsize=850836 CPUtime=0 /proc/16146/task/16150/stat : 16150 (java) S 16143 16143 13311 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 37709432 871256064 13083 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16151] ppid=16143 vsize=850836 CPUtime=0 /proc/16146/task/16151/stat : 16151 (java) S 16143 16143 13311 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 37709434 871256064 13083 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16152] ppid=16143 vsize=850836 CPUtime=0.5 /proc/16146/task/16152/stat : 16152 (java) S 16143 16143 13311 0 -1 64 2241 0 0 0 48 2 0 0 16 0 10 0 37709434 871256064 13083 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16153] ppid=16143 vsize=850836 CPUtime=0 /proc/16146/task/16153/stat : 16153 (java) S 16143 16143 13311 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 37709434 871256064 13083 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16154] ppid=16143 vsize=850836 CPUtime=0 /proc/16146/task/16154/stat : 16154 (java) S 16143 16143 13311 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 37709434 871256064 13083 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16155] ppid=16143 vsize=850836 CPUtime=0 /proc/16146/task/16155/stat : 16155 (java) S 16143 16143 13311 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 37709629 871256064 13083 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 856192 [startup+6.30176 s] /proc/loadavg: 2.00 2.00 2.00 3/91 16155 /proc/meminfo: memFree=1511792/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 [pid=16146] ppid=16143 vsize=850916 CPUtime=6.22 /proc/16146/stat : 16146 (java) S 16143 16143 13311 0 -1 0 27168 0 1 0 606 16 0 0 18 0 9 0 37709430 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16146/statm: 212729 25964 2580 9 0 207289 0 [pid=16146/tid=16147] ppid=16143 vsize=850916 CPUtime=4.4 /proc/16146/task/16147/stat : 16147 (java) R 16143 16143 13311 0 -1 64 4753 0 1 0 436 4 0 0 25 0 9 0 37709431 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4127360253 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16148] ppid=16143 vsize=850916 CPUtime=1.21 /proc/16146/task/16148/stat : 16148 (java) S 16143 16143 13311 0 -1 64 19370 0 0 0 113 8 0 0 17 0 9 0 37709432 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16149] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16149/stat : 16149 (java) S 16143 16143 13311 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37709432 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16150] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16150/stat : 16150 (java) S 16143 16143 13311 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37709432 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16151] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16151/stat : 16151 (java) S 16143 16143 13311 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37709434 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16152] ppid=16143 vsize=850916 CPUtime=0.58 /proc/16146/task/16152/stat : 16152 (java) S 16143 16143 13311 0 -1 64 2307 0 0 0 56 2 0 0 15 0 9 0 37709434 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16153] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16153/stat : 16153 (java) S 16143 16143 13311 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37709434 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16154] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16154/stat : 16154 (java) S 16143 16143 13311 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37709434 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 856272 [startup+12.7019 s] /proc/loadavg: 2.00 2.00 2.00 3/91 16155 /proc/meminfo: memFree=1511616/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 [pid=16146] ppid=16143 vsize=850916 CPUtime=12.59 /proc/16146/stat : 16146 (java) S 16143 16143 13311 0 -1 0 27169 0 1 0 1243 16 0 0 18 0 9 0 37709430 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16146/statm: 212729 25964 2580 9 0 207289 0 [pid=16146/tid=16147] ppid=16143 vsize=850916 CPUtime=10.76 /proc/16146/task/16147/stat : 16147 (java) R 16143 16143 13311 0 -1 64 4754 0 1 0 1072 4 0 0 25 0 9 0 37709431 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4127306925 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16148] ppid=16143 vsize=850916 CPUtime=1.21 /proc/16146/task/16148/stat : 16148 (java) S 16143 16143 13311 0 -1 64 19370 0 0 0 113 8 0 0 16 0 9 0 37709432 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16149] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16149/stat : 16149 (java) S 16143 16143 13311 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37709432 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16150] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16150/stat : 16150 (java) S 16143 16143 13311 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37709432 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16151] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16151/stat : 16151 (java) S 16143 16143 13311 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37709434 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16152] ppid=16143 vsize=850916 CPUtime=0.58 /proc/16146/task/16152/stat : 16152 (java) S 16143 16143 13311 0 -1 64 2307 0 0 0 56 2 0 0 16 0 9 0 37709434 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16153] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16153/stat : 16153 (java) S 16143 16143 13311 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37709434 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16154] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16154/stat : 16154 (java) S 16143 16143 13311 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37709434 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 856272 [startup+25.5021 s] /proc/loadavg: 2.00 2.00 2.00 3/91 16155 /proc/meminfo: memFree=1511616/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 [pid=16146] ppid=16143 vsize=850916 CPUtime=25.32 /proc/16146/stat : 16146 (java) S 16143 16143 13311 0 -1 0 27169 0 1 0 2516 16 0 0 18 0 9 0 37709430 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16146/statm: 212729 25964 2580 9 0 207289 0 [pid=16146/tid=16147] ppid=16143 vsize=850916 CPUtime=23.5 /proc/16146/task/16147/stat : 16147 (java) R 16143 16143 13311 0 -1 64 4754 0 1 0 2346 4 0 0 25 0 9 0 37709431 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4127360340 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16148] ppid=16143 vsize=850916 CPUtime=1.21 /proc/16146/task/16148/stat : 16148 (java) S 16143 16143 13311 0 -1 64 19370 0 0 0 113 8 0 0 16 0 9 0 37709432 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16149] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16149/stat : 16149 (java) S 16143 16143 13311 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37709432 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16150] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16150/stat : 16150 (java) S 16143 16143 13311 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37709432 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16151] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16151/stat : 16151 (java) S 16143 16143 13311 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37709434 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16152] ppid=16143 vsize=850916 CPUtime=0.58 /proc/16146/task/16152/stat : 16152 (java) S 16143 16143 13311 0 -1 64 2307 0 0 0 56 2 0 0 16 0 9 0 37709434 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16153] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16153/stat : 16153 (java) S 16143 16143 13311 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37709434 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16154] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16154/stat : 16154 (java) S 16143 16143 13311 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37709434 871337984 25964 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.32 Current children cumulated vsize (KiB) 856272 ################ # More data... # ################ /proc/16146/task/16152/stat : 16152 (java) S 16143 16143 13311 0 -1 64 2313 0 0 0 58 2 0 0 16 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16153] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16153/stat : 16153 (java) S 16143 16143 13311 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16154] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16154/stat : 16154 (java) S 16143 16143 13311 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3325.93 Current children cumulated vsize (KiB) 856272 [startup+3402.31 s] /proc/loadavg: 2.00 2.00 2.00 3/84 16249 /proc/meminfo: memFree=1161720/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 [pid=16146] ppid=16143 vsize=850916 CPUtime=3385.64 /proc/16146/stat : 16146 (java) S 16143 16143 13311 0 -1 0 27185 0 1 0 338544 20 0 0 18 0 9 0 37709430 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16146/statm: 212729 25970 2580 9 0 207289 0 [pid=16146/tid=16147] ppid=16143 vsize=850916 CPUtime=3383.79 /proc/16146/task/16147/stat : 16147 (java) R 16143 16143 13311 0 -1 64 4764 0 1 0 338371 8 0 0 25 0 9 0 37709431 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4127297673 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16148] ppid=16143 vsize=850916 CPUtime=1.21 /proc/16146/task/16148/stat : 16148 (java) S 16143 16143 13311 0 -1 64 19370 0 0 0 113 8 0 0 16 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16149] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16149/stat : 16149 (java) S 16143 16143 13311 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16150] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16150/stat : 16150 (java) S 16143 16143 13311 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16151] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16151/stat : 16151 (java) S 16143 16143 13311 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16152] ppid=16143 vsize=850916 CPUtime=0.6 /proc/16146/task/16152/stat : 16152 (java) S 16143 16143 13311 0 -1 64 2313 0 0 0 58 2 0 0 16 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16153] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16153/stat : 16153 (java) S 16143 16143 13311 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16154] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16154/stat : 16154 (java) S 16143 16143 13311 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3385.64 Current children cumulated vsize (KiB) 856272 [startup+3462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/84 16249 /proc/meminfo: memFree=1153208/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 [pid=16146] ppid=16143 vsize=850916 CPUtime=3445.34 /proc/16146/stat : 16146 (java) S 16143 16143 13311 0 -1 0 27185 0 1 0 344514 20 0 0 18 0 9 0 37709430 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16146/statm: 212729 25970 2580 9 0 207289 0 [pid=16146/tid=16147] ppid=16143 vsize=850916 CPUtime=3443.5 /proc/16146/task/16147/stat : 16147 (java) R 16143 16143 13311 0 -1 64 4764 0 1 0 344342 8 0 0 25 0 9 0 37709431 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4127365067 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16148] ppid=16143 vsize=850916 CPUtime=1.21 /proc/16146/task/16148/stat : 16148 (java) S 16143 16143 13311 0 -1 64 19370 0 0 0 113 8 0 0 16 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16149] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16149/stat : 16149 (java) S 16143 16143 13311 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16150] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16150/stat : 16150 (java) S 16143 16143 13311 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16151] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16151/stat : 16151 (java) S 16143 16143 13311 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16152] ppid=16143 vsize=850916 CPUtime=0.6 /proc/16146/task/16152/stat : 16152 (java) S 16143 16143 13311 0 -1 64 2313 0 0 0 58 2 0 0 16 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16153] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16153/stat : 16153 (java) S 16143 16143 13311 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16154] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16154/stat : 16154 (java) S 16143 16143 13311 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3445.34 Current children cumulated vsize (KiB) 856272 [startup+3522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/84 16249 /proc/meminfo: memFree=1144568/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 [pid=16146] ppid=16143 vsize=850916 CPUtime=3505.05 /proc/16146/stat : 16146 (java) S 16143 16143 13311 0 -1 0 27185 0 1 0 350485 20 0 0 18 0 9 0 37709430 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16146/statm: 212729 25970 2580 9 0 207289 0 [pid=16146/tid=16147] ppid=16143 vsize=850916 CPUtime=3503.2 /proc/16146/task/16147/stat : 16147 (java) R 16143 16143 13311 0 -1 64 4764 0 1 0 350312 8 0 0 25 0 9 0 37709431 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4127324745 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16148] ppid=16143 vsize=850916 CPUtime=1.21 /proc/16146/task/16148/stat : 16148 (java) S 16143 16143 13311 0 -1 64 19370 0 0 0 113 8 0 0 16 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16149] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16149/stat : 16149 (java) S 16143 16143 13311 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16150] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16150/stat : 16150 (java) S 16143 16143 13311 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16151] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16151/stat : 16151 (java) S 16143 16143 13311 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16152] ppid=16143 vsize=850916 CPUtime=0.6 /proc/16146/task/16152/stat : 16152 (java) S 16143 16143 13311 0 -1 64 2313 0 0 0 58 2 0 0 16 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16153] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16153/stat : 16153 (java) S 16143 16143 13311 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16154] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16154/stat : 16154 (java) S 16143 16143 13311 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3505.05 Current children cumulated vsize (KiB) 856272 [startup+3582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/84 16249 /proc/meminfo: memFree=1136824/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 [pid=16146] ppid=16143 vsize=850916 CPUtime=3564.76 /proc/16146/stat : 16146 (java) S 16143 16143 13311 0 -1 0 27185 0 1 0 356456 20 0 0 18 0 9 0 37709430 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16146/statm: 212729 25970 2580 9 0 207289 0 [pid=16146/tid=16147] ppid=16143 vsize=850916 CPUtime=3562.92 /proc/16146/task/16147/stat : 16147 (java) R 16143 16143 13311 0 -1 64 4764 0 1 0 356283 9 0 0 25 0 9 0 37709431 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4127306925 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16148] ppid=16143 vsize=850916 CPUtime=1.21 /proc/16146/task/16148/stat : 16148 (java) S 16143 16143 13311 0 -1 64 19370 0 0 0 113 8 0 0 16 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16149] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16149/stat : 16149 (java) S 16143 16143 13311 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16150] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16150/stat : 16150 (java) S 16143 16143 13311 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16151] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16151/stat : 16151 (java) S 16143 16143 13311 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16152] ppid=16143 vsize=850916 CPUtime=0.6 /proc/16146/task/16152/stat : 16152 (java) S 16143 16143 13311 0 -1 64 2313 0 0 0 58 2 0 0 16 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16153] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16153/stat : 16153 (java) S 16143 16143 13311 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16154] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16154/stat : 16154 (java) S 16143 16143 13311 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3564.76 Current children cumulated vsize (KiB) 856272 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3617.8 s] /proc/loadavg: 2.00 2.00 2.00 3/84 16255 /proc/meminfo: memFree=1132536/2055920 swapFree=4192956/4192956 [pid=16143] ppid=16141 vsize=5356 CPUtime=0 /proc/16143/stat : 16143 (concrete.sh) S 16141 16143 13311 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37709429 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16143/statm: 1339 242 201 169 0 50 0 [pid=16146] ppid=16143 vsize=850916 CPUtime=3600.08 /proc/16146/stat : 16146 (java) S 16143 16143 13311 0 -1 0 27185 0 1 0 359988 20 0 0 18 0 9 0 37709430 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16146/statm: 212729 25970 2580 9 0 207289 0 [pid=16146/tid=16147] ppid=16143 vsize=850916 CPUtime=3598.24 /proc/16146/task/16147/stat : 16147 (java) R 16143 16143 13311 0 -1 64 4764 0 1 0 359815 9 0 0 25 0 9 0 37709431 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4127360291 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16148] ppid=16143 vsize=850916 CPUtime=1.21 /proc/16146/task/16148/stat : 16148 (java) S 16143 16143 13311 0 -1 64 19370 0 0 0 113 8 0 0 16 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16149] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16149/stat : 16149 (java) S 16143 16143 13311 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16150] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16150/stat : 16150 (java) S 16143 16143 13311 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37709432 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16151] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16151/stat : 16151 (java) S 16143 16143 13311 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16152] ppid=16143 vsize=850916 CPUtime=0.6 /proc/16146/task/16152/stat : 16152 (java) S 16143 16143 13311 0 -1 64 2313 0 0 0 58 2 0 0 16 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16153] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16153/stat : 16153 (java) S 16143 16143 13311 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16146/tid=16154] ppid=16143 vsize=850916 CPUtime=0 /proc/16146/task/16154/stat : 16154 (java) R 16143 16143 13311 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37709434 871337984 25970 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3600.08 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 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16143 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.004998 # while last known CPU time is 3600.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 3617.82 CPU time (s): 3600.08 CPU user time (s): 3599.88 CPU system time (s): 0.2 CPU usage (%): 99.5095 Max. virtual memory (cumulated for all children) (KiB): 856596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001999 system time used= 0.002999 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= 8 involuntary context switches= 4 runsolver used 4.03939 second user time and 12.4241 second system time The end
Begin job on node8 at 2008-07-11 23:01:04 IDJOB=1109770 IDBENCH=61011 IDSOLVER=336 FILE ID=node8/1109770-1215810063 PBS_JOBID= 7903250 Free space on /tmp= 66332 MiB SOLVER NAME= Concrete + CSP4J - Tabu Engine 2008-05-30 BENCH NAME= CPAI08/csp/os-taillard-15/normalized-os-taillard-15-95-2.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-1109770-1215810063/watcher-1109770-1215810063 -o /tmp/evaluation-result-1109770-1215810063/solver-1109770-1215810063 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1109770-1215810063.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 8376fcfcac18b60a71faf845a033c81e RANDOM SEED=544950291 node8.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.268 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.268 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1607592 kB Buffers: 60848 kB Cached: 257188 kB SwapCached: 0 kB Active: 243680 kB Inactive: 137976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1607592 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1296 kB Writeback: 0 kB Mapped: 83876 kB Slab: 51720 kB Committed_AS: 1001168 kB PageTables: 1840 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66300 MiB End job on node8 at 2008-07-12 00:01:23