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) | 22 | 3600.03 | 3613.02 |
| Name | csp/js-taillard-15/ normalized-js-taillard-15-95-2.xml |
| MD5SUM | 82e30b1cc0425fc71c427eb8ae1415f1 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MOPT |
| Best Number of falsified constraints | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1098.43 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 1785 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1171 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 1785 |
| Global constraints used (with number of constraints) |
3.34/3.46 c CPU-LOAD 1.56 3.34/3.46 c LOADED 225 V (1171 E), 210 DiffConstraint, 1575 DTPConstraint, arity 2, 1.56 cpu 8.18/8.37 s SATISFIABLE 8.18/8.37 o 1695 8.18/8.37 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 52 73 355 487 402 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 14 684 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 179 44 587 736 1096 722 603 174 215 928 312 541 562 798 110 466 617 207 133 185 498 87 380 778 747 969 436 1018 27 53 690 475 960 353 874 84 108 859 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 517 671 368 245 167 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 376 981 440 905 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 495 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.18/8.38 o 1696 8.18/8.38 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 52 73 355 487 402 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 14 684 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 179 44 587 736 1096 722 603 174 215 928 312 541 562 798 110 466 617 207 133 185 498 87 380 778 747 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 517 671 368 245 167 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 376 981 440 905 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 495 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.18/8.39 o 1697 8.18/8.39 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 52 73 355 487 402 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 14 684 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 179 44 587 736 1096 722 603 174 215 928 312 541 562 798 110 466 617 207 133 185 498 87 380 778 747 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 167 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 376 981 440 905 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 495 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.18/8.39 o 1698 8.18/8.39 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 52 73 355 487 402 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 14 684 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 179 44 587 736 1096 722 603 174 215 928 312 541 562 798 110 466 617 207 133 185 498 87 380 778 747 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 376 981 440 905 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 495 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.18/8.40 o 1699 8.18/8.40 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 52 73 355 487 402 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 14 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 179 44 587 736 1096 722 603 174 215 928 312 541 562 798 110 466 617 207 133 185 498 87 380 778 747 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 376 981 440 905 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 495 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.40 o 1700 8.29/8.40 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 52 73 355 487 402 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 14 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 179 44 587 736 1096 722 603 174 215 928 312 541 562 798 110 466 617 207 133 185 498 87 380 778 747 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 376 981 440 905 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.41 o 1701 8.29/8.41 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 52 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 14 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 179 44 587 736 1096 722 603 174 215 928 312 541 562 798 110 466 617 207 133 185 498 87 380 778 747 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 376 981 440 905 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.42 o 1702 8.29/8.42 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 52 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 14 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 517 44 587 736 1096 722 603 174 215 928 312 541 562 798 110 466 617 207 133 185 498 87 380 778 747 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 376 981 440 905 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.42 o 1703 8.29/8.42 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 52 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 14 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 517 44 587 736 1096 722 603 174 215 928 312 541 562 798 5 466 617 207 133 185 498 87 380 778 747 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 376 981 440 905 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.43 o 1704 8.29/8.43 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 52 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 14 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 517 44 587 736 1096 722 603 174 215 928 312 541 562 798 5 466 617 207 133 185 498 87 380 778 747 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 1030 981 440 905 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.43 o 1705 8.29/8.43 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 14 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 517 44 587 736 1096 722 603 174 215 928 312 541 562 798 5 466 617 207 133 185 498 87 380 778 747 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 1030 981 440 905 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.44 o 1706 8.29/8.44 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 517 44 587 736 1096 722 603 174 215 928 312 541 562 798 5 466 617 207 133 185 498 87 380 778 747 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 1030 981 440 905 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.44 o 1707 8.29/8.44 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 517 44 587 736 1096 722 603 174 215 928 312 541 562 798 5 466 617 207 133 185 498 87 380 778 747 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 1030 981 440 863 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.44 o 1708 8.29/8.44 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 517 44 587 736 1096 722 603 174 215 928 312 541 562 798 5 466 617 207 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 1030 981 440 863 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.45 o 1709 8.29/8.45 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 517 44 587 736 1096 722 603 174 215 928 312 541 604 798 5 466 617 207 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 1030 981 440 863 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 175 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.45 o 1710 8.29/8.45 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 517 44 587 736 1096 722 603 174 215 928 312 541 604 798 5 466 617 207 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 1030 981 440 863 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.46 o 1711 8.29/8.46 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 517 44 587 736 1096 722 603 174 215 928 1063 541 604 798 5 466 617 207 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 1030 981 440 863 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.46 o 1712 8.29/8.46 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 565 20 206 244 517 44 587 736 1096 722 603 174 215 928 1063 541 604 798 5 466 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 1030 981 440 863 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.47 o 1713 8.29/8.47 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 603 174 215 928 1063 541 604 798 5 466 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 336 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 1030 981 440 863 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.47 o 1714 8.29/8.47 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 603 174 215 928 1063 541 604 798 5 466 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 810 503 950 1103 32 642 1030 981 440 863 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.47 o 1715 8.29/8.47 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 40 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 603 174 215 928 1063 541 604 798 5 466 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.48 o 1716 8.29/8.48 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 603 174 215 928 1063 541 604 798 5 466 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.48 o 1717 8.29/8.48 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 930 174 215 928 1063 541 604 798 5 466 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 877 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.49 o 1718 8.29/8.49 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 930 174 215 928 1063 541 604 798 5 466 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 518 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 261 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.49 o 1719 8.29/8.49 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 930 174 215 928 1063 541 604 798 5 466 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 518 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 5 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.49 o 1720 8.29/8.49 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 381 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 930 174 215 928 1063 541 604 798 5 408 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 518 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 5 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.29/8.50 o 1721 8.29/8.50 v 274 75 501 685 1015 423 721 891 347 934 396 764 874 892 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 930 174 215 928 1063 541 604 798 5 408 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 518 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 5 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.39/8.50 o 1722 8.39/8.50 v 274 349 501 685 1015 423 721 891 347 934 396 764 874 892 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 930 174 215 928 1063 541 604 798 5 408 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 518 911 156 233 313 432 977 483 264 774 620 664 1025 1111 149 57 151 366 5 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.39/8.51 o 1723 8.39/8.51 v 274 349 501 685 1015 423 721 891 347 934 396 764 874 892 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 930 174 215 928 1063 541 604 798 5 408 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 518 911 156 233 313 432 977 483 264 774 620 664 1025 1111 1156 57 151 366 5 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 349 569 870 651 767 105 593 162 283 386 779 8.39/8.51 o 1724 8.39/8.51 v 274 349 501 685 1015 423 721 891 347 934 396 764 874 892 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 930 174 215 928 1063 541 604 798 5 408 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 671 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 518 911 156 233 313 432 977 483 264 774 620 664 1025 1111 1156 57 151 366 5 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 556 569 870 651 767 105 593 162 283 386 779 8.39/8.51 o 1725 8.39/8.51 v 274 349 501 685 1015 423 721 891 347 934 396 764 874 892 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 930 174 215 928 1063 541 604 798 5 408 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 33 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 518 911 156 233 313 432 977 483 264 774 620 664 1025 1111 1156 57 151 366 5 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 556 569 870 651 767 105 593 162 283 386 779 8.39/8.52 o 1726 8.39/8.52 v 274 349 501 685 1015 423 721 891 347 934 396 764 874 892 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 44 587 736 1096 722 930 174 215 928 1063 541 604 798 5 408 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 33 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 518 911 156 233 313 432 458 483 264 774 620 664 1025 1111 1156 57 151 366 5 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 556 569 870 651 767 105 593 162 283 386 779 8.39/8.52 o 1727 8.39/8.52 v 274 349 501 685 1015 423 721 891 347 934 396 764 874 892 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 560 587 736 1096 722 930 174 215 928 1063 541 604 798 5 408 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 475 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 33 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 518 911 156 233 313 432 458 483 264 774 620 664 1025 1111 1156 57 151 366 5 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 556 569 870 651 767 105 593 162 283 386 779 8.39/8.53 o 1728 8.39/8.53 v 274 349 501 685 1015 423 721 891 347 934 396 764 874 892 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 560 587 736 1096 722 930 174 215 928 1063 541 604 798 5 408 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 860 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 33 368 245 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 518 911 156 233 313 432 458 483 264 774 620 664 1025 1111 1156 57 151 366 5 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 556 569 870 651 767 105 593 162 283 386 779 8.39/8.53 o 1729 8.39/8.53 v 274 349 501 685 1015 423 721 891 347 934 396 764 874 892 1063 617 962 1101 246 274 475 985 3 73 355 487 1130 183 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 560 587 736 1096 722 930 174 215 928 1063 541 604 798 5 408 617 1054 133 185 498 87 380 778 925 969 436 1018 27 53 690 860 960 353 874 84 108 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 33 368 473 618 790 564 929 1050 286 449 177 321 332 90 318 118 179 813 1008 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 492 975 323 518 911 156 233 313 432 458 483 264 774 620 664 1025 1111 1156 57 151 366 5 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 556 569 870 651 767 105 593 162 283 386 779 8.39/8.57 o 1730 8.39/8.57 v 6 349 501 685 1015 423 721 891 347 934 396 764 874 892 1063 617 962 49 246 274 475 985 3 73 355 487 1130 443 478 571 240 566 831 116 193 406 833 466 301 340 704 877 691 924 1072 314 716 400 798 34 445 714 848 1062 579 732 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 560 587 736 1096 722 930 174 215 928 1063 541 604 798 5 408 617 1054 133 185 498 87 380 778 925 969 436 1018 1140 53 690 860 960 353 874 84 271 682 751 958 19 227 445 885 941 13 37 103 114 597 644 1150 69 679 1046 33 368 473 618 1112 564 929 1050 286 449 177 321 332 90 318 118 179 813 1035 512 586 783 370 486 1097 397 777 145 535 73 280 28 249 282 503 950 1103 32 642 1030 981 440 863 954 788 975 323 518 946 156 233 313 432 458 483 264 774 620 664 1025 1111 1156 57 151 366 5 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 244 466 556 569 870 651 767 105 593 162 283 386 779 8.49/8.64 o 1731 8.49/8.64 v 6 349 501 685 1015 423 721 891 347 934 403 764 874 892 1063 617 962 49 246 274 475 985 3 73 355 487 1130 443 478 571 240 566 831 116 193 406 833 973 301 340 704 170 691 924 1072 314 718 401 798 34 445 714 848 1062 579 1061 28 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 560 587 736 1096 722 930 1151 215 928 1044 541 604 798 928 408 617 1054 133 185 498 87 380 778 925 969 436 1018 1140 53 690 860 960 353 874 84 271 682 751 958 19 227 445 885 941 13 37 103 114 597 644 4 69 679 1046 33 368 473 618 857 564 929 1050 286 449 177 321 332 90 318 118 179 813 1051 512 586 783 370 486 1097 397 777 145 549 73 280 28 249 282 503 950 1103 32 642 1030 180 440 863 242 788 975 323 518 946 156 233 313 432 458 483 264 774 620 664 1025 1111 1156 57 151 366 5 106 249 641 834 570 1061 183 827 209 454 994 457 51 355 550 8 76 571 765 326 422 289 466 556 569 496 651 753 105 593 162 283 386 779 8.68/8.84 o 1732 8.68/8.84 v 6 349 501 685 1015 699 721 891 347 973 378 764 874 892 1063 617 976 69 246 274 475 985 28 73 355 487 1126 443 478 571 240 566 831 116 193 406 833 973 301 340 704 964 691 924 1072 314 718 844 945 34 445 714 848 1062 579 1061 1152 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 560 587 736 1096 722 930 1151 535 928 1044 541 604 798 954 408 617 1054 133 185 492 87 380 778 925 969 169 1018 1140 53 690 860 953 128 874 84 271 682 751 804 19 227 445 885 941 13 37 103 114 597 644 759 69 679 1046 33 368 473 618 857 564 929 1066 286 449 177 955 23 90 318 771 179 813 231 512 586 29 370 486 1097 397 539 95 549 59 334 850 202 282 503 950 7 381 642 1030 180 440 863 242 788 975 1058 518 889 1129 233 313 432 458 483 264 774 172 664 1025 1111 1156 57 151 366 5 106 249 641 834 570 1061 183 827 203 454 994 457 51 355 538 8 76 571 765 326 843 289 466 556 569 496 651 753 105 593 99 283 386 779 8.68/8.84 o 1733 8.68/8.84 v 6 349 501 685 1015 699 721 891 347 973 378 764 874 892 1063 617 976 69 246 274 475 985 28 73 355 487 1126 443 478 571 240 566 831 116 193 406 833 973 301 340 704 964 691 924 1072 314 718 844 945 34 445 714 848 1062 579 1061 1152 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 560 587 736 1096 722 930 1151 535 928 1044 541 604 798 954 408 617 1054 133 185 492 87 380 778 925 969 169 1018 1140 53 690 860 953 128 874 84 271 682 751 804 19 227 445 885 941 13 37 103 114 597 644 759 69 679 1046 33 368 473 618 857 564 929 1066 286 449 177 955 23 90 318 771 179 813 382 512 586 29 370 486 1097 397 539 95 549 59 334 850 202 282 503 950 7 381 642 1030 180 440 863 242 788 975 1058 518 889 1129 233 313 432 458 483 264 774 172 664 1025 1111 1156 57 151 366 5 106 249 641 834 570 1061 183 827 203 454 994 457 51 355 538 8 76 571 765 326 843 289 466 556 569 496 651 753 105 593 99 283 386 779 8.68/8.87 o 1734 8.68/8.87 v 6 349 501 685 1015 699 721 891 347 973 378 764 874 892 1063 617 976 69 246 274 475 985 28 73 355 487 1126 443 478 571 240 566 831 116 193 406 833 973 301 340 704 964 691 924 1072 314 718 844 945 10 445 714 848 1062 579 1061 1152 172 687 879 622 1103 103 138 487 893 1071 20 206 244 517 560 587 736 1096 722 930 1151 535 928 1044 541 604 798 954 408 617 1054 133 185 492 87 380 778 925 969 169 1018 1140 53 690 860 953 128 874 84 271 682 751 804 19 227 445 885 941 13 37 103 114 597 644 759 69 679 1046 33 368 473 618 857 564 929 1066 286 449 177 1025 23 90 318 762 808 7 382 512 586 29 370 486 1097 397 539 95 549 59 334 850 202 282 503 950 7 381 642 1030 180 440 863 242 788 975 1058 518 889 1129 233 313 432 458 483 264 774 184 664 1025 1111 1156 57 151 366 5 106 249 641 834 570 1061 183 827 203 454 994 495 51 355 538 8 76 571 765 326 84 289 466 556 569 496 651 753 118 593 99 283 386 779 9.18/9.38 o 1735 9.18/9.38 v 6 349 501 671 976 311 721 854 389 942 378 764 874 892 1063 617 976 69 246 274 475 985 25 73 355 487 1115 179 478 571 240 566 831 1103 193 406 833 973 301 340 704 977 690 924 1072 314 718 844 945 10 445 714 1119 371 607 1061 1152 172 687 879 622 1103 67 138 487 893 1071 71 206 244 517 560 587 736 1096 722 930 203 756 928 1044 541 604 798 1111 419 617 1054 133 185 492 755 310 778 925 969 1102 832 1058 53 690 860 978 56 874 84 271 682 751 1039 48 227 445 885 941 13 37 103 114 597 644 757 338 679 1046 226 368 473 618 135 564 929 1110 286 449 177 17 23 90 318 762 808 123 382 512 586 727 370 486 1097 397 466 341 549 742 856 896 202 282 503 950 1080 381 642 1030 180 440 861 1116 11 975 1077 518 888 130 233 313 432 458 483 264 774 17 664 1025 1111 9 57 151 366 971 106 249 641 834 570 1061 183 90 203 454 994 473 59 355 561 771 76 571 765 807 1065 289 466 556 594 489 651 791 130 593 99 283 386 779 9.28/9.48 o 1736 9.28/9.48 v 6 349 501 671 976 193 721 854 389 942 378 764 874 892 1063 617 976 40 246 274 475 985 25 73 355 487 1115 82 478 571 240 566 831 1103 193 406 833 973 301 340 704 382 690 924 1072 314 718 844 945 10 445 714 757 371 607 1061 1148 172 687 879 622 1086 67 138 487 893 1071 71 206 244 517 560 587 736 1096 722 930 203 756 928 1069 541 604 798 1095 419 617 1054 133 185 492 795 310 778 925 969 1102 832 1058 53 690 860 978 56 874 84 271 682 751 1039 48 227 445 885 941 13 37 103 114 597 644 978 338 679 1046 226 368 473 618 817 564 929 964 286 449 177 830 23 90 318 762 808 5 382 512 586 1004 370 486 1097 397 466 341 549 742 856 896 202 282 503 950 42 381 642 1030 180 440 861 1116 568 975 1077 518 864 1132 233 313 432 458 483 264 774 17 664 1025 1111 9 57 151 366 971 106 249 641 834 570 1061 183 18 203 454 994 76 199 355 561 771 76 571 765 807 1065 289 466 556 594 489 651 791 130 593 99 283 386 779 9.58/9.76 o 1737 9.58/9.76 v 6 349 501 671 955 618 721 854 379 942 378 764 874 892 1063 617 976 173 246 274 475 985 25 73 355 487 586 622 478 571 240 566 831 1104 193 406 833 170 301 340 1040 161 690 924 1072 314 718 844 945 10 445 714 757 1052 619 1061 122 172 687 879 622 1086 115 138 487 893 1071 12 206 244 517 560 587 736 1096 722 930 1155 756 928 1069 541 604 798 1095 419 617 14 133 185 492 795 19 314 925 969 159 832 1104 53 690 860 978 1077 874 84 271 682 751 4 48 227 445 885 941 1032 32 103 114 597 644 302 338 679 1046 197 368 473 618 810 564 929 964 280 449 177 830 29 90 318 762 808 5 382 512 586 973 370 486 1097 397 759 341 549 742 856 890 1053 282 503 950 20 381 642 1030 180 440 861 27 560 975 1077 518 864 1112 233 313 432 458 483 264 774 17 664 1025 1111 4 57 173 366 971 106 249 641 834 570 1067 0 110 203 454 586 76 199 355 561 771 82 571 765 807 37 300 466 556 193 489 651 791 130 593 99 283 386 779 9.58/9.78 o 1738 9.58/9.78 v 6 349 501 671 955 618 721 854 1109 204 378 764 874 892 1063 617 976 173 246 274 475 985 25 73 355 487 586 622 478 571 240 566 831 1104 193 406 833 170 301 340 1040 161 690 924 1072 314 718 844 945 10 445 714 757 1052 619 1061 122 172 687 879 622 1086 115 138 487 893 1071 12 206 244 517 560 587 736 1096 722 930 1155 756 928 1069 541 604 798 1095 419 617 14 133 185 492 795 19 314 925 969 159 832 1104 53 690 860 978 1077 874 84 271 682 751 4 48 227 445 885 941 1032 32 103 114 597 644 302 338 679 1046 197 368 473 618 394 560 929 964 280 449 177 830 29 90 318 762 808 5 382 512 586 973 370 486 1097 397 759 341 549 742 856 890 1053 281 503 950 20 381 642 1030 180 440 861 27 560 975 1077 518 864 1112 233 313 432 458 483 264 774 17 664 1025 1111 4 57 173 366 971 106 249 641 834 570 1067 0 110 203 454 586 76 199 355 561 771 82 571 765 807 37 300 466 556 193 489 651 791 130 593 99 283 386 779 9.68/9.81 o 1739 9.68/9.81 v 6 349 501 671 955 618 721 854 1109 204 378 764 874 892 1063 617 976 173 246 274 475 985 25 73 355 487 586 304 478 571 240 566 831 1104 193 406 833 170 301 340 1040 161 690 924 1072 314 718 844 945 10 445 714 757 1052 619 1061 122 172 687 879 622 1086 55 138 487 893 1071 12 206 244 517 560 587 736 1096 722 930 1155 756 928 1069 541 604 798 1095 419 617 14 133 185 492 795 19 314 925 969 159 832 1104 53 690 860 978 1077 874 84 271 682 969 4 48 227 445 885 941 1032 32 103 114 597 218 302 338 679 1046 197 368 473 618 394 560 929 964 280 449 177 830 29 90 318 762 808 5 382 512 586 100 370 486 1097 397 198 341 549 742 856 890 1053 281 503 950 20 381 642 1030 180 440 861 259 560 975 1077 518 864 1112 233 313 432 458 483 264 774 17 664 1025 1111 4 57 173 366 971 106 249 641 834 570 1067 0 110 321 454 586 76 199 355 561 771 82 571 765 807 37 300 466 556 193 489 651 791 130 593 99 283 386 779 9.68/9.82 o 1740 9.68/9.82 v 6 349 501 671 955 618 721 854 1109 204 378 764 874 892 1063 617 976 173 246 274 475 985 25 73 355 487 586 304 478 571 240 566 831 1104 193 406 833 170 301 340 1040 161 690 924 1072 314 718 844 945 10 445 714 757 1052 619 1061 122 172 687 879 622 1086 55 138 487 893 1071 12 206 244 517 560 587 736 1096 722 930 1155 756 928 1069 541 604 798 1095 419 617 14 133 185 492 795 19 314 925 969 159 832 1104 53 690 860 978 1077 874 84 271 682 969 1134 48 227 445 885 941 1032 32 103 114 597 218 302 338 679 1046 197 368 473 618 394 560 929 964 280 449 177 830 29 90 318 762 808 5 382 512 586 100 370 486 1097 397 198 341 549 742 856 890 1053 281 503 950 20 381 642 1030 180 440 861 259 560 975 1077 518 864 1112 233 313 432 458 483 264 774 17 664 1025 1111 4 57 173 366 971 106 249 641 834 570 1067 0 110 321 454 586 705 199 355 561 771 82 571 765 132 233 300 466 556 193 489 651 791 130 593 99 283 386 779 9.77/9.97 o 1741 9.77/9.97 v 6 349 501 671 955 618 721 854 1109 204 378 764 874 892 1063 617 976 173 246 274 475 985 25 73 355 487 586 917 478 571 240 566 831 1104 193 406 830 100 301 340 1040 123 690 924 1072 314 718 844 945 10 445 714 757 1052 1 729 1152 172 687 879 622 1086 55 138 487 893 1071 90 206 244 517 560 587 736 1096 722 930 2 756 928 1069 541 604 798 1094 402 617 14 133 185 492 795 19 314 925 969 273 832 1124 53 690 860 978 1125 874 84 271 682 969 1134 48 227 445 885 941 1041 32 103 114 597 218 302 338 679 1046 98 368 473 608 987 560 929 1047 280 449 177 573 1022 90 318 762 808 5 382 512 744 100 370 486 1097 397 198 341 549 742 856 890 1035 281 503 950 4 390 642 1030 180 440 861 46 560 975 1077 518 864 1112 233 313 432 458 483 264 774 17 664 1025 1111 4 57 208 366 970 106 249 641 834 570 1067 0 110 321 454 586 712 199 355 561 771 82 571 765 132 233 300 466 556 193 489 651 968 179 593 99 283 386 779 9.87/10.05 o 1742 9.87/10.05 v 6 349 501 671 955 618 721 854 1109 204 378 764 874 892 1063 617 976 173 246 274 475 985 30 73 355 487 586 9 478 571 240 566 831 1104 193 406 830 100 301 340 1040 123 690 924 1072 314 718 844 945 10 445 714 757 1052 1 729 1152 172 687 879 622 1068 55 138 487 893 1071 90 206 244 517 560 587 736 1096 722 930 196 756 928 1069 541 604 798 1094 402 617 14 133 185 492 795 19 314 925 969 273 832 963 53 690 860 978 1125 874 84 271 682 969 1134 48 227 445 885 941 1041 32 103 114 597 218 302 338 679 1046 98 368 473 608 953 560 929 1047 280 449 177 573 1022 90 318 762 808 5 382 512 744 808 370 486 1097 107 168 341 549 742 856 890 1035 281 503 950 1084 390 642 1030 180 440 861 1 560 975 1077 518 864 983 233 313 432 458 483 264 774 17 664 1025 1111 4 57 208 366 970 106 249 641 834 570 1067 0 110 321 454 586 824 57 355 561 771 347 571 765 132 233 300 466 897 185 489 651 968 179 593 117 283 386 779 10.86/11.03 o 1743 10.86/11.03 v 6 349 501 671 993 670 721 854 1109 204 378 764 874 892 1063 617 855 173 246 274 475 985 1069 31 355 487 647 1 478 571 240 566 831 1103 193 406 830 111 301 808 198 379 690 924 1072 314 718 844 945 8 445 714 812 1032 650 729 863 137 687 879 622 1068 1121 138 487 893 1016 18 206 244 517 560 587 736 1096 722 884 743 751 928 1071 130 604 798 944 43 617 1130 133 185 492 795 18 314 925 980 285 305 1068 26 690 860 965 45 874 84 271 682 969 1064 23 227 445 885 941 1041 46 103 114 597 218 302 338 679 1063 98 368 793 947 1049 559 929 985 308 449 177 573 974 105 318 762 808 81 382 512 744 321 385 486 1097 107 168 341 549 742 856 890 1031 281 503 972 1109 390 642 1030 180 440 693 51 560 975 1077 518 864 967 46 313 432 458 483 264 462 573 702 1025 1111 17 57 208 366 974 91 249 641 834 570 1067 0 110 321 454 586 762 3 355 561 946 347 571 765 132 233 300 466 906 332 496 651 805 217 593 107 283 386 779 10.86/11.05 o 1744 10.86/11.05 v 6 349 501 671 993 670 721 854 1109 204 378 764 874 892 1063 617 855 173 246 274 475 985 1069 31 355 487 647 1 478 571 240 566 831 1103 193 406 830 111 301 805 198 379 690 924 1072 314 718 844 945 8 445 714 812 1032 602 729 863 137 687 879 622 1068 1121 138 487 893 1016 18 206 244 517 560 587 736 1096 133 610 743 751 928 1031 130 604 798 944 43 617 1130 133 185 492 795 18 314 925 980 285 305 1068 26 690 860 965 45 874 84 271 682 969 1064 23 227 445 885 941 1041 46 103 114 597 218 302 338 679 1063 98 368 793 947 1049 559 929 985 308 449 177 573 974 105 318 762 808 81 382 512 744 321 385 486 1097 107 168 341 549 742 856 890 1031 281 503 972 26 390 642 1030 180 440 693 51 560 975 1077 518 864 967 46 313 432 458 483 264 462 573 702 1025 1111 17 57 208 366 974 91 249 641 834 570 1067 0 110 321 454 586 762 3 355 561 946 347 571 765 132 233 300 466 13 332 496 651 805 217 593 107 283 386 779 11.15/11.31 o 1745 11.15/11.31 v 6 349 501 671 993 46 721 854 1109 204 378 764 874 892 1063 617 80 173 246 274 475 985 1069 34 355 487 889 195 478 571 240 566 831 1103 193 406 830 101 297 136 247 379 690 924 1072 314 718 844 945 1 445 714 1130 390 602 729 1159 137 687 879 622 1068 1140 138 487 893 1016 71 206 244 517 560 587 736 1096 133 610 743 751 928 1054 130 604 798 1112 43 617 1136 133 185 492 795 1034 314 925 954 1015 1041 1123 26 690 860 965 1064 874 84 271 682 969 1083 23 227 445 885 941 0 46 103 114 597 218 302 338 679 1060 98 368 799 94 180 559 929 1039 308 449 177 573 974 49 318 762 808 990 382 512 744 851 385 486 1097 107 168 341 549 742 856 890 1031 281 503 972 160 390 642 1030 180 440 693 202 560 975 1077 518 864 967 50 313 432 458 483 264 462 573 702 1025 1111 14 57 208 366 917 107 249 641 834 570 1067 0 110 321 454 586 762 3 355 561 965 347 571 765 132 233 300 466 909 332 496 651 805 216 593 107 283 386 779 11.25/11.46 o 1746 11.25/11.46 v 6 349 501 671 993 601 721 854 1109 204 378 764 874 892 1063 617 3 173 246 274 475 985 1069 13 355 487 892 188 478 571 240 566 831 1067 193 406 830 97 117 136 247 379 690 924 1072 314 718 844 945 1 445 714 814 390 602 729 1159 137 687 879 622 1068 1139 138 487 893 1016 71 206 244 517 560 587 736 1096 133 610 743 751 928 1042 130 604 798 935 996 1057 1136 133 185 492 795 442 895 925 954 1015 1041 1123 26 690 860 965 1119 874 84 271 682 969 1122 18 227 445 885 941 1034 46 103 114 597 218 302 338 679 1080 98 368 788 94 180 559 929 1039 308 449 177 573 974 17 318 762 808 990 382 512 744 851 385 486 1097 107 168 341 549 742 856 890 1031 281 503 972 22 390 642 1030 180 440 693 20 560 975 1072 518 864 970 47 313 432 458 483 264 462 573 702 1025 1111 14 57 208 366 917 981 37 641 834 570 1067 0 110 321 454 586 762 185 355 561 763 347 571 765 132 233 300 514 57 332 496 651 805 218 593 107 283 386 779 11.55/11.74 o 1747 11.55/11.74 v 6 349 501 671 1016 575 721 929 1109 204 378 764 874 892 1063 617 832 1093 246 274 475 985 1066 57 355 487 916 1026 478 571 240 566 831 19 298 406 846 97 651 839 248 379 690 924 1072 314 718 844 945 1 445 714 799 1060 602 729 835 137 687 879 622 1068 4 138 487 893 1075 101 206 244 517 560 587 736 1096 133 610 743 751 928 1053 260 604 798 935 996 1057 1136 133 185 492 795 873 895 925 954 1015 1041 1141 26 690 860 965 621 874 84 271 682 969 1079 6 227 445 885 941 18 46 103 114 597 218 302 338 679 1057 98 368 964 94 180 559 929 951 308 449 177 573 974 31 318 762 808 990 367 512 744 851 368 486 1097 107 168 341 549 742 856 890 1005 281 503 972 76 390 642 1030 180 440 693 53 560 975 1072 518 864 953 188 313 432 458 483 264 462 573 702 1025 1111 14 57 208 366 404 981 2 641 834 570 1067 0 110 321 454 586 718 192 355 561 954 1024 571 765 132 233 300 514 781 319 496 651 52 218 593 107 283 386 779 11.65/11.86 o 1748 11.65/11.86 v 6 349 501 671 765 888 891 929 1109 204 378 764 874 892 1063 617 832 1093 106 274 475 985 1058 57 355 487 916 1026 461 571 240 566 831 19 298 406 846 111 651 839 1112 379 690 924 1072 314 718 844 945 1 445 714 799 1095 602 729 94 132 687 879 622 1068 55 138 487 893 1071 59 206 244 517 560 587 736 1096 133 610 743 751 928 1043 260 604 798 935 996 1057 1136 133 185 492 795 873 895 925 954 1015 1041 1141 26 690 860 944 136 874 84 271 682 969 1079 6 227 445 885 941 18 46 103 114 597 218 302 338 679 1057 98 368 955 94 180 559 929 1028 308 449 177 573 974 126 318 762 808 990 367 512 744 227 368 486 1097 107 168 341 549 742 856 890 1005 281 503 972 372 390 642 1030 180 440 693 46 560 975 1058 518 864 974 188 313 432 458 483 264 462 573 702 1025 1111 35 57 208 366 404 981 2 641 834 570 1067 0 110 321 454 586 718 192 355 561 954 347 571 765 132 233 300 514 617 319 496 651 7 218 593 107 283 386 779 14.62/14.82 o 1749 14.62/14.82 v 6 349 501 671 765 888 891 929 1116 204 378 764 874 892 1063 617 832 1115 138 274 475 879 4 64 138 255 289 363 461 571 240 566 831 1053 93 406 841 111 651 837 70 383 690 924 1072 314 718 844 1018 36 445 687 853 1128 580 985 58 302 687 879 622 1068 74 138 487 893 991 10 206 244 517 560 587 736 1096 133 610 743 751 928 1060 246 604 798 935 996 1057 1136 133 185 492 795 873 895 925 954 1015 1041 1141 22 690 860 946 631 874 84 271 682 969 1079 3 227 445 885 941 1031 43 103 114 597 218 302 338 679 1075 98 368 1039 69 180 559 929 1064 93 449 177 285 11 76 318 762 808 4 372 507 586 797 290 486 1097 107 168 341 549 742 856 890 1014 237 503 954 70 390 642 1030 180 440 874 269 540 971 1088 518 595 158 216 313 432 458 483 264 462 573 702 1025 1111 11 57 208 366 404 731 112 617 834 570 1067 0 110 321 454 586 722 980 330 561 765 345 571 765 132 233 300 487 1000 165 496 642 1013 672 881 100 283 386 779 16.11/16.39 o 1750 16.11/16.39 v 6 349 501 671 765 888 891 929 1109 204 378 764 874 892 1063 617 832 950 123 274 475 879 1053 12 138 255 289 363 461 571 240 566 831 1095 311 406 586 662 2 200 266 383 690 924 1072 314 718 844 992 39 797 1133 151 268 588 1058 44 322 687 879 622 1064 1151 138 487 893 970 6 206 244 517 560 587 736 1096 133 610 743 751 928 1025 205 585 798 935 996 1057 1138 133 185 492 795 873 895 925 954 1015 1041 1125 22 690 860 946 814 874 84 271 682 969 1079 8 227 445 885 941 1152 43 103 114 597 218 302 338 679 802 98 368 1117 72 180 559 929 1034 108 449 177 577 1012 34 318 762 808 972 380 523 885 1108 331 486 1097 107 168 341 549 742 856 890 15 232 503 965 138 390 642 1030 180 440 698 3 95 971 1027 304 609 102 205 313 432 458 483 264 462 573 702 1025 1111 1159 57 208 366 404 753 8 638 834 570 1067 0 110 321 454 586 707 203 347 561 1114 368 571 765 132 233 314 770 947 1070 496 674 1047 717 863 100 283 386 779 16.80/17.03 o 1751 16.80/17.03 v 6 349 501 671 765 888 891 929 1109 204 378 764 874 892 1063 617 832 949 1106 274 475 879 10 44 138 255 289 363 461 571 240 566 831 1096 311 406 586 662 919 200 266 383 690 924 1072 314 718 844 944 24 144 175 220 268 588 972 29 322 687 879 622 833 1050 138 487 893 970 996 106 244 517 560 587 736 1096 133 610 743 751 928 1074 507 585 798 935 996 1057 83 133 185 492 795 873 895 925 954 1015 1041 1114 22 690 860 949 16 874 84 271 682 969 1079 8 227 445 885 941 22 43 103 114 597 218 302 338 679 1065 98 368 1041 1092 149 559 929 1017 66 449 177 577 800 43 318 762 808 76 380 523 959 1093 331 486 1097 107 168 341 549 742 856 890 972 277 503 995 92 390 642 1030 180 440 698 1117 664 971 1044 304 601 127 205 313 432 458 483 264 462 573 702 1025 1111 5 57 208 366 404 753 953 623 834 570 1067 0 110 321 454 586 735 196 330 561 943 368 571 765 132 233 314 770 0 126 496 674 999 748 912 100 283 386 779 18.58/18.83 o 1752 18.58/18.83 v 6 349 501 671 765 888 891 929 1115 204 378 764 874 892 1063 617 832 956 1025 274 475 879 1136 98 138 255 289 363 461 571 240 566 831 1061 275 406 586 662 926 163 266 383 690 924 1072 314 718 844 946 19 144 175 220 268 634 1005 1066 348 687 879 622 959 73 138 487 893 970 990 205 244 517 560 587 736 1096 133 610 743 751 928 1044 481 585 798 935 996 1065 95 133 185 492 795 873 895 925 954 1015 1041 1139 56 690 860 938 657 874 84 271 682 969 980 13 227 445 885 941 1041 45 103 114 597 218 302 338 679 803 65 368 1041 1139 48 559 929 1016 50 449 177 577 1029 0 318 762 808 80 367 523 840 166 331 486 1097 107 168 341 549 742 856 874 977 226 503 1027 36 390 642 1030 180 440 643 705 965 971 1073 305 601 1139 53 313 432 458 483 264 462 573 702 1025 1111 16 57 208 366 404 743 128 616 834 570 1067 0 110 321 454 586 713 200 332 561 1016 356 571 765 132 233 314 770 985 98 496 668 214 715 874 108 283 386 779 20.57/20.89 o 1753 20.57/20.89 v 6 349 501 671 765 888 891 929 1114 204 378 764 874 892 1063 617 981 95 157 289 475 879 1125 29 138 255 289 363 461 571 240 566 831 46 280 406 586 662 20 103 247 383 690 924 1072 314 718 844 956 40 144 175 220 268 619 111 241 303 687 879 622 870 1017 160 487 893 970 999 1103 244 517 560 587 736 1096 133 610 743 751 928 1067 538 585 798 935 996 1087 101 133 185 492 795 873 895 925 954 1015 1041 1127 233 690 860 901 1028 1102 84 271 682 969 1014 18 227 445 885 941 1038 0 103 114 597 218 302 338 679 1085 310 368 1041 1135 32 559 929 1047 44 449 177 577 795 5 318 762 808 83 384 523 971 173 373 486 1097 107 168 341 549 742 899 21 80 228 503 1010 126 390 642 1030 180 440 643 705 965 971 1075 524 601 1112 43 142 432 458 483 264 462 573 702 776 871 1028 57 208 366 404 762 170 616 834 570 1067 0 110 321 454 586 742 205 362 556 997 352 571 765 132 233 314 770 39 303 496 662 1046 702 932 115 283 386 1009 27.60/27.98 o 1754 27.60/27.98 v 6 349 501 671 765 888 912 13 128 204 378 764 874 892 1063 617 828 973 1063 282 475 943 1006 22 138 255 289 363 461 571 240 566 831 1078 23 389 586 662 880 1015 187 383 690 924 1072 314 718 844 1029 2 144 175 220 268 553 644 804 833 951 954 622 1060 1143 390 487 893 986 29 102 244 517 560 587 736 1096 133 610 743 751 928 1024 479 585 798 935 996 1095 100 133 185 492 795 873 895 925 954 1137 3 86 233 690 860 901 1028 1102 84 271 682 922 1089 16 227 445 885 941 1041 30 103 114 597 218 302 338 679 1051 84 368 1041 1136 191 559 929 1037 94 449 177 329 1056 162 318 762 808 30 379 501 745 807 329 486 1097 107 168 341 549 742 866 1040 1125 228 503 960 15 390 642 1030 180 440 643 705 965 971 1033 107 601 779 250 329 428 458 483 264 462 573 702 776 871 1114 1149 193 366 404 729 815 631 834 570 1067 0 110 321 454 586 705 8 359 630 763 349 571 765 132 551 853 114 305 310 496 659 74 678 930 101 283 386 1009 38.01/38.41 o 1755 38.01/38.41 v 6 349 501 671 765 888 982 19 128 204 378 764 874 892 1063 617 828 940 21 301 475 943 1122 2 138 255 289 363 461 571 240 566 831 1104 279 408 586 662 872 159 313 383 690 924 1072 314 718 844 1033 0 144 175 220 268 553 644 804 833 951 954 622 1122 125 390 487 893 972 37 102 244 517 560 587 736 1096 133 610 743 751 922 424 524 585 798 935 996 1104 100 133 185 492 795 873 895 925 954 1151 24 86 233 690 860 901 1028 1102 84 271 682 970 2 36 227 445 885 941 1027 1109 37 114 597 218 302 338 664 803 66 373 1041 1090 169 559 929 989 287 449 177 377 814 1031 237 762 808 1076 390 531 237 321 356 486 1097 107 168 341 549 742 910 1025 56 228 503 949 371 378 642 1030 180 440 643 705 965 971 1032 94 601 818 998 1151 10 458 483 264 462 573 702 776 871 1009 1042 194 366 404 1020 77 638 834 570 1067 0 110 321 454 586 704 1112 4 103 270 369 571 765 132 816 904 108 190 311 496 662 28 667 856 97 283 386 1009 39.10/39.55 o 1756 39.10/39.55 v 6 349 501 671 765 888 982 1083 128 204 378 764 874 892 1063 617 828 947 1089 301 475 943 1010 76 138 255 289 363 461 571 240 566 831 47 325 408 586 662 932 1119 263 383 690 924 1072 314 718 844 1021 30 144 175 220 268 553 644 804 833 951 954 622 1114 125 390 487 893 1 37 102 244 517 560 587 736 1096 133 610 743 751 925 1039 547 585 798 935 996 8 100 133 185 492 795 873 895 925 954 1002 1068 78 231 690 860 901 1028 1102 84 271 682 797 1147 36 227 445 885 941 1027 9 78 114 597 218 302 338 664 803 9 373 1041 5 86 559 929 1106 287 449 1 35 44 80 188 762 808 34 390 497 243 261 358 486 1097 107 168 341 549 742 910 1032 70 228 503 1007 141 378 642 1030 180 440 643 705 965 971 1033 309 601 818 1007 332 427 458 483 264 462 573 702 776 871 962 1136 200 366 404 740 838 638 834 570 1067 0 110 321 454 586 704 1112 4 103 270 369 571 765 132 486 551 747 1165 179 496 662 254 689 958 110 283 386 1009 42.85/43.35 o 1757 42.85/43.35 v 6 349 501 671 765 888 900 47 120 204 378 764 874 892 1063 617 828 970 1072 299 475 943 1059 69 138 255 289 363 461 571 240 566 831 929 320 408 586 662 906 1024 21 383 690 924 1072 314 718 844 1029 23 144 175 220 268 553 644 804 833 951 954 622 1078 145 390 487 893 968 21 102 244 517 560 587 736 1096 133 610 743 751 925 1031 542 585 798 935 996 1075 7 133 185 492 795 873 895 925 954 1107 33 77 231 690 860 901 1028 1102 84 271 682 797 54 72 227 445 885 941 1027 14 78 114 597 218 302 338 664 806 312 373 1041 1133 31 559 929 1034 279 449 1 35 44 80 188 762 808 68 390 525 958 119 358 486 1097 107 168 341 549 742 900 1005 1111 228 739 311 478 519 642 1030 180 440 643 705 965 971 1029 187 601 818 998 1125 8 204 483 264 462 573 702 776 905 947 1154 204 366 404 501 567 626 834 131 1067 0 110 321 454 586 704 1112 4 103 270 369 571 765 132 486 551 745 1162 369 496 670 188 638 892 89 283 386 1009 45.93/46.49 o 1758 45.93/46.49 v 6 349 501 671 765 967 2 43 120 204 378 764 874 892 1063 617 816 94 159 299 475 943 1016 81 138 255 289 363 461 571 240 566 831 1084 324 408 586 662 1122 160 288 383 690 924 1072 314 718 844 1029 10 144 175 220 268 553 644 804 833 951 954 622 1034 197 390 487 625 1080 14 102 244 517 560 587 736 1096 133 610 743 751 925 1024 438 585 798 935 996 1075 22 133 185 492 795 873 895 925 954 1099 1133 77 231 690 860 901 1028 1102 84 271 712 874 995 60 227 445 885 941 1027 11 78 114 597 218 302 338 664 1041 31 373 1041 1098 87 559 929 988 83 449 1 35 44 80 188 762 808 15 390 859 961 247 278 486 1097 107 168 341 549 742 941 1045 81 718 187 333 478 519 642 1030 180 440 643 705 965 971 1079 392 601 818 998 1157 96 204 483 264 462 573 702 776 905 949 1145 216 366 404 501 567 626 834 131 1067 0 110 321 454 586 704 1112 4 103 270 369 571 765 132 486 551 746 1018 1 496 678 837 902 1062 108 283 386 1009 64.75/65.50 o 1759 64.75/65.50 v 6 349 501 671 765 874 935 1057 145 204 378 764 874 892 1063 617 808 937 194 300 475 943 1143 44 138 255 289 363 461 571 240 566 831 48 185 408 586 666 1 170 339 383 690 924 1072 314 718 844 1008 29 144 175 220 268 553 644 804 833 951 954 1 49 333 396 487 625 762 878 115 294 351 560 587 736 1096 133 610 743 751 915 1010 182 585 798 935 996 1079 101 133 185 492 795 873 895 925 954 1112 61 87 231 690 860 901 1028 1102 84 271 712 1002 1053 1083 218 445 885 941 1030 23 78 114 597 218 302 338 664 1006 260 373 891 962 501 559 929 998 3 449 1 35 44 80 188 762 811 82 390 516 22 316 348 486 1097 107 168 341 22 245 386 392 658 700 29 324 478 519 642 1030 180 440 643 705 965 971 1091 222 601 818 998 1078 53 149 483 264 462 573 702 776 891 951 975 217 366 404 501 567 626 834 131 1067 0 110 321 454 586 704 1112 4 103 270 369 571 765 132 234 324 745 154 374 469 678 837 902 1075 108 283 386 1009 180.14/181.91 o 1760 180.14/181.91 v 6 349 501 671 765 881 910 1062 110 204 378 764 874 892 1063 617 969 1120 166 347 475 943 1076 39 168 255 289 363 461 571 240 566 831 930 214 405 586 663 908 23 230 388 690 924 1072 314 718 844 1029 10 144 175 220 268 553 644 804 833 951 954 1 49 333 396 487 608 980 48 182 380 501 560 587 736 1096 133 512 780 932 957 366 509 585 798 935 996 1103 98 133 185 492 795 873 895 925 954 1016 1118 1154 224 690 860 901 1028 1102 84 271 611 700 739 1048 259 445 885 952 1034 1075 79 114 597 218 314 344 1032 188 314 373 559 950 10 559 929 963 195 449 1 35 44 80 278 638 707 823 937 1090 137 267 317 486 1097 107 420 536 29 308 386 392 658 806 979 307 480 519 642 1030 180 440 643 705 965 971 27 276 601 763 1023 1144 208 349 483 264 462 573 702 776 911 1045 48 202 366 404 501 567 626 834 131 1067 0 110 321 454 586 704 1112 4 103 270 369 571 765 132 222 378 436 559 635 493 657 837 902 1051 108 283 386 1009 220.46/222.67 o 1761 220.46/222.67 v 6 349 501 671 765 981 985 1098 128 204 378 764 874 892 1063 617 1065 130 192 347 475 943 1042 73 168 255 289 363 461 571 240 566 831 924 242 390 586 663 888 933 10 162 690 924 1072 314 718 844 1000 30 144 175 220 268 553 644 804 833 951 954 1 49 333 396 487 608 742 8 135 372 506 560 587 736 1096 133 554 930 1042 179 309 509 585 798 935 996 1072 1 408 874 492 795 873 895 925 954 1011 1029 1044 1086 690 860 901 1028 1102 84 271 611 700 739 974 174 445 885 952 1034 1102 59 114 597 218 320 560 780 1054 16 101 205 330 396 562 929 952 239 449 1 35 44 80 278 638 707 823 937 1089 137 267 317 486 1097 107 300 512 885 291 386 392 658 794 971 1061 39 519 642 1030 180 440 643 705 965 971 22 276 603 821 1011 1162 408 441 483 264 462 573 702 776 911 6 78 212 366 404 501 567 626 834 131 1067 0 110 321 454 586 704 1112 4 103 270 369 571 765 132 242 332 437 771 18 495 662 837 902 1064 108 283 386 1009 1480.76/1492.71 o 1762 1480.76/1492.71 v 439 596 97 280 378 470 668 733 998 247 401 653 736 853 1075 762 894 1000 1143 20 118 194 272 299 327 639 716 837 859 1085 62 145 279 436 727 948 1045 51 283 883 997 70 225 334 372 2 518 627 748 898 1120 1155 12 276 367 601 613 661 807 858 0 40 371 1111 114 423 641 876 39 86 299 412 424 503 668 198 351 591 984 1040 168 336 400 488 1001 1114 141 566 665 950 13 64 144 436 515 553 710 788 907 77 538 647 826 1010 1059 8 335 440 477 523 598 677 751 845 2 74 187 385 570 948 134 235 387 549 600 815 940 1050 1128 455 708 817 845 941 1013 10 44 52 160 258 403 848 988 1045 31 185 305 494 623 778 179 266 346 693 838 1076 314 403 506 691 853 1132 382 636 1102 166 245 386 458 653 671 828 922 47 249 398 484 529 962 1129 2 171 695 759 798 897 935 966 1034 55 82 148 213 328 708 725 784 907 1047 214 285 504 706 1126 180 342 368 510 817 952 607 1147 67 129 263 449 543 753 210 595 750 947 1052 502 620 1917.26/1929.48 o 1763 1917.26/1929.48 v 15 84 179 283 417 582 716 896 962 1050 24 132 262 388 794 57 263 323 398 441 532 774 886 944 1059 1144 27 75 92 806 6 126 294 589 713 1073 692 778 1057 119 590 763 938 1140 1150 408 921 109 193 318 418 517 758 962 131 466 499 774 1070 1082 326 509 730 775 865 988 1149 30 175 214 275 407 619 694 885 47 185 251 535 686 971 258 537 812 1041 1111 195 277 363 452 541 692 1080 228 315 476 605 786 1137 118 204 907 932 1038 1078 248 311 409 510 541 617 968 1018 183 465 493 601 699 738 809 95 165 195 236 291 685 762 961 1033 1076 0 181 210 442 619 509 657 973 1010 143 318 379 807 950 217 356 380 540 726 904 271 501 689 810 3 173 292 401 585 692 934 1120 159 249 1064 344 436 826 7 174 204 283 418 832 47 103 279 365 557 1083 30 201 474 514 567 660 770 946 1062 342 462 559 625 845 1100 46 298 416 525 653 808 892 77 362 425 519 535 629 731 869 594 855 882 921 1033 1109 0 93 193 270 531 674 802 1010 1088
OK 22 1763 22 unsatisfied constraints, 1763 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-1112174-1215863040/watcher-1112174-1215863040 -o /tmp/evaluation-result-1112174-1215863040/solver-1112174-1215863040 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112174-1215863040.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.11 2.09 2.01 4/80 18294 /proc/meminfo: memFree=1809864/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=18572 CPUtime=0 /proc/18294/stat : 18294 (runsolver) R 18292 18294 17992 0 -1 4194368 15 0 0 0 0 0 0 0 23 0 1 0 43005511 19017728 292 996147200 4194304 4296836 548682068416 18446744073709551615 210824129831 0 0 4096 24578 0 0 0 17 1 0 0 /proc/18294/statm: 4643 292 257 25 0 2626 0 [startup+0.0598449 s] /proc/loadavg: 2.11 2.09 2.01 4/80 18294 /proc/meminfo: memFree=1809864/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.102853 s] /proc/loadavg: 2.11 2.09 2.01 4/80 18294 /proc/meminfo: memFree=1809864/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.302895 s] /proc/loadavg: 2.11 2.09 2.01 4/80 18294 /proc/meminfo: memFree=1809864/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.702973 s] /proc/loadavg: 2.11 2.09 2.01 4/80 18294 /proc/meminfo: memFree=1809864/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+1.50114 s] /proc/loadavg: 2.10 2.08 2.01 5/90 18305 /proc/meminfo: memFree=1795832/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 [pid=18297] ppid=18294 vsize=846228 CPUtime=1.45 /proc/18297/stat : 18297 (java) S 18294 18294 17992 0 -1 0 12420 0 1 0 138 7 0 0 18 0 10 0 43005512 866537472 11544 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18297/statm: 211557 11544 2574 9 0 206118 0 [pid=18297/tid=18298] ppid=18294 vsize=846228 CPUtime=0.77 /proc/18297/task/18298/stat : 18298 (java) R 18294 18294 17992 0 -1 64 3574 0 1 0 75 2 0 0 24 0 10 0 43005513 866537472 11544 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18299] ppid=18294 vsize=846228 CPUtime=0.47 /proc/18297/task/18299/stat : 18299 (java) R 18294 18294 17992 0 -1 64 7361 0 0 0 44 3 0 0 16 0 10 0 43005514 866537472 11544 996147200 134512640 134550740 4294956000 18446744073709551615 103735954 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18300] ppid=18294 vsize=846228 CPUtime=0 /proc/18297/task/18300/stat : 18300 (java) S 18294 18294 17992 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 43005514 866537472 11544 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18301] ppid=18294 vsize=846228 CPUtime=0 /proc/18297/task/18301/stat : 18301 (java) S 18294 18294 17992 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 43005514 866537472 11544 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18302] ppid=18294 vsize=846228 CPUtime=0 /proc/18297/task/18302/stat : 18302 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 43005516 866537472 11544 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18303] ppid=18294 vsize=846228 CPUtime=0.17 /proc/18297/task/18303/stat : 18303 (java) S 18294 18294 17992 0 -1 64 748 0 0 0 17 0 0 0 16 0 10 0 43005516 866537472 11544 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18304] ppid=18294 vsize=846228 CPUtime=0 /proc/18297/task/18304/stat : 18304 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 43005516 866537472 11544 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18305] ppid=18294 vsize=846228 CPUtime=0 /proc/18297/task/18305/stat : 18305 (java) S 18294 18294 17992 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 43005516 866537472 11544 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 851584 [startup+3.10246 s] /proc/loadavg: 2.10 2.08 2.01 3/91 18306 /proc/meminfo: memFree=1768048/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 [pid=18297] ppid=18294 vsize=850824 CPUtime=3.04 /proc/18297/stat : 18297 (java) S 18294 18294 17992 0 -1 0 21916 0 1 0 291 13 0 0 18 0 10 0 43005512 871243776 20918 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18297/statm: 212706 20918 2578 9 0 207266 0 [pid=18297/tid=18298] ppid=18294 vsize=850824 CPUtime=1.56 /proc/18297/task/18298/stat : 18298 (java) R 18294 18294 17992 0 -1 64 4178 0 1 0 153 3 0 0 25 0 10 0 43005513 871243776 20918 996147200 134512640 134550740 4294956000 18446744073709551615 104454910 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18299] ppid=18294 vsize=850824 CPUtime=0.88 /proc/18297/task/18299/stat : 18299 (java) S 18294 18294 17992 0 -1 64 14736 0 0 0 82 6 0 0 16 0 10 0 43005514 871243776 20918 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18300] ppid=18294 vsize=850824 CPUtime=0 /proc/18297/task/18300/stat : 18300 (java) S 18294 18294 17992 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 43005514 871243776 20918 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18301] ppid=18294 vsize=850824 CPUtime=0 /proc/18297/task/18301/stat : 18301 (java) S 18294 18294 17992 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 43005514 871243776 20918 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18302] ppid=18294 vsize=850824 CPUtime=0 /proc/18297/task/18302/stat : 18302 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 43005516 871243776 20918 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18303] ppid=18294 vsize=850824 CPUtime=0.58 /proc/18297/task/18303/stat : 18303 (java) S 18294 18294 17992 0 -1 64 2265 0 0 0 56 2 0 0 16 0 10 0 43005516 871243776 20918 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18304] ppid=18294 vsize=850824 CPUtime=0 /proc/18297/task/18304/stat : 18304 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 43005516 871243776 20918 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18305] ppid=18294 vsize=850824 CPUtime=0 /proc/18297/task/18305/stat : 18305 (java) S 18294 18294 17992 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 43005516 871243776 20918 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18306] ppid=18294 vsize=850824 CPUtime=0 /proc/18297/task/18306/stat : 18306 (java) S 18294 18294 17992 0 -1 64 4 0 0 0 0 0 0 0 23 0 10 0 43005652 871243776 20918 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 856180 [startup+6.30109 s] /proc/loadavg: 2.10 2.08 2.01 3/90 18306 /proc/meminfo: memFree=1711280/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 [pid=18297] ppid=18294 vsize=850900 CPUtime=6.2 /proc/18297/stat : 18297 (java) S 18294 18294 17992 0 -1 0 27937 0 1 0 605 15 0 0 18 0 9 0 43005512 871321600 26926 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18297/statm: 212725 26926 2580 9 0 207285 0 [pid=18297/tid=18298] ppid=18294 vsize=850900 CPUtime=4.31 /proc/18297/task/18298/stat : 18298 (java) R 18294 18294 17992 0 -1 64 4214 0 1 0 428 3 0 0 25 0 9 0 43005513 871321600 26926 996147200 134512640 134550740 4294956000 18446744073709551615 4127289299 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18299] ppid=18294 vsize=850900 CPUtime=1.25 /proc/18297/task/18299/stat : 18299 (java) S 18294 18294 17992 0 -1 64 20697 0 0 0 117 8 0 0 16 0 9 0 43005514 871321600 26926 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18300] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18300/stat : 18300 (java) S 18294 18294 17992 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43005514 871321600 26926 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18301] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18301/stat : 18301 (java) S 18294 18294 17992 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43005514 871321600 26926 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18302] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18302/stat : 18302 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43005516 871321600 26926 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18303] ppid=18294 vsize=850900 CPUtime=0.62 /proc/18297/task/18303/stat : 18303 (java) S 18294 18294 17992 0 -1 64 2288 0 0 0 60 2 0 0 15 0 9 0 43005516 871321600 26926 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18304] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18304/stat : 18304 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43005516 871321600 26926 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18305] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18305/stat : 18305 (java) S 18294 18294 17992 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43005516 871321600 26926 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 856256 [startup+12.7014 s] /proc/loadavg: 2.08 2.08 2.01 3/90 18306 /proc/meminfo: memFree=1710704/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 [pid=18297] ppid=18294 vsize=850900 CPUtime=12.54 /proc/18297/stat : 18297 (java) S 18294 18294 17992 0 -1 0 28059 0 1 0 1238 16 0 0 18 0 9 0 43005512 871321600 27046 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18297/statm: 212725 27046 2580 9 0 207285 0 [pid=18297/tid=18298] ppid=18294 vsize=850900 CPUtime=10.62 /proc/18297/task/18298/stat : 18298 (java) R 18294 18294 17992 0 -1 64 4323 0 1 0 1058 4 0 0 25 0 9 0 43005513 871321600 27046 996147200 134512640 134550740 4294956000 18446744073709551615 4127360461 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18299] ppid=18294 vsize=850900 CPUtime=1.25 /proc/18297/task/18299/stat : 18299 (java) S 18294 18294 17992 0 -1 64 20697 0 0 0 117 8 0 0 16 0 9 0 43005514 871321600 27046 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18300] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18300/stat : 18300 (java) S 18294 18294 17992 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43005514 871321600 27046 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18301] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18301/stat : 18301 (java) S 18294 18294 17992 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43005514 871321600 27046 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18302] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18302/stat : 18302 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43005516 871321600 27046 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18303] ppid=18294 vsize=850900 CPUtime=0.64 /proc/18297/task/18303/stat : 18303 (java) S 18294 18294 17992 0 -1 64 2301 0 0 0 62 2 0 0 16 0 9 0 43005516 871321600 27046 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18304] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18304/stat : 18304 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43005516 871321600 27046 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18305] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18305/stat : 18305 (java) S 18294 18294 17992 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43005516 871321600 27046 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.54 Current children cumulated vsize (KiB) 856256 [startup+25.503 s] /proc/loadavg: 2.07 2.08 2.01 3/90 18306 /proc/meminfo: memFree=1710128/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 [pid=18297] ppid=18294 vsize=850900 CPUtime=25.23 /proc/18297/stat : 18297 (java) S 18294 18294 17992 0 -1 0 28201 0 1 0 2506 17 0 0 18 0 9 0 43005512 871321600 27188 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18297/statm: 212725 27188 2580 9 0 207285 0 [pid=18297/tid=18298] ppid=18294 vsize=850900 CPUtime=23.3 /proc/18297/task/18298/stat : 18298 (java) R 18294 18294 17992 0 -1 64 4465 0 1 0 2326 4 0 0 25 0 9 0 43005513 871321600 27188 996147200 134512640 134550740 4294956000 18446744073709551615 4127360325 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18299] ppid=18294 vsize=850900 CPUtime=1.25 /proc/18297/task/18299/stat : 18299 (java) S 18294 18294 17992 0 -1 64 20697 0 0 0 117 8 0 0 16 0 9 0 43005514 871321600 27188 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18300] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18300/stat : 18300 (java) S 18294 18294 17992 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43005514 871321600 27188 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18301] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18301/stat : 18301 (java) S 18294 18294 17992 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43005514 871321600 27188 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18302] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18302/stat : 18302 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43005516 871321600 27188 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18303] ppid=18294 vsize=850900 CPUtime=0.64 /proc/18297/task/18303/stat : 18303 (java) S 18294 18294 17992 0 -1 64 2301 0 0 0 62 2 0 0 16 0 9 0 43005516 871321600 27188 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18304] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18304/stat : 18304 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43005516 871321600 27188 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18305] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18305/stat : 18305 (java) S 18294 18294 17992 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43005516 871321600 27188 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.23 Current children cumulated vsize (KiB) 856256 [startup+51.1021 s] /proc/loadavg: 2.19 2.10 2.02 3/90 18306 ################ # More data... # ################ /proc/18297/task/18303/stat : 18303 (java) S 18294 18294 17992 0 -1 64 2308 0 0 0 64 2 0 0 16 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18304] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18304/stat : 18304 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18305] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18305/stat : 18305 (java) S 18294 18294 17992 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3329.46 Current children cumulated vsize (KiB) 856256 [startup+3402.31 s] /proc/loadavg: 2.00 2.00 2.00 3/91 18388 /proc/meminfo: memFree=1714216/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 [pid=18297] ppid=18294 vsize=850900 CPUtime=3389.43 /proc/18297/stat : 18297 (java) S 18294 18294 17992 0 -1 0 28313 0 1 0 338919 24 0 0 18 0 9 0 43005512 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18297/statm: 212725 27289 2580 9 0 207285 0 [pid=18297/tid=18298] ppid=18294 vsize=850900 CPUtime=3387.48 /proc/18297/task/18298/stat : 18298 (java) R 18294 18294 17992 0 -1 64 4565 0 1 0 338737 11 0 0 25 0 9 0 43005513 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4127296634 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18299] ppid=18294 vsize=850900 CPUtime=1.25 /proc/18297/task/18299/stat : 18299 (java) S 18294 18294 17992 0 -1 64 20702 0 0 0 117 8 0 0 16 0 9 0 43005514 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18300] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18300/stat : 18300 (java) S 18294 18294 17992 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43005514 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18301] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18301/stat : 18301 (java) S 18294 18294 17992 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43005514 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18302] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18302/stat : 18302 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18303] ppid=18294 vsize=850900 CPUtime=0.66 /proc/18297/task/18303/stat : 18303 (java) S 18294 18294 17992 0 -1 64 2308 0 0 0 64 2 0 0 16 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18304] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18304/stat : 18304 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18305] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18305/stat : 18305 (java) S 18294 18294 17992 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3389.43 Current children cumulated vsize (KiB) 856256 [startup+3462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/91 18388 /proc/meminfo: memFree=1714024/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 [pid=18297] ppid=18294 vsize=850900 CPUtime=3449.4 /proc/18297/stat : 18297 (java) S 18294 18294 17992 0 -1 0 28313 0 1 0 344916 24 0 0 18 0 9 0 43005512 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18297/statm: 212725 27289 2580 9 0 207285 0 [pid=18297/tid=18298] ppid=18294 vsize=850900 CPUtime=3447.45 /proc/18297/task/18298/stat : 18298 (java) R 18294 18294 17992 0 -1 64 4565 0 1 0 344734 11 0 0 25 0 9 0 43005513 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4127296685 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18299] ppid=18294 vsize=850900 CPUtime=1.25 /proc/18297/task/18299/stat : 18299 (java) S 18294 18294 17992 0 -1 64 20702 0 0 0 117 8 0 0 16 0 9 0 43005514 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18300] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18300/stat : 18300 (java) S 18294 18294 17992 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43005514 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18301] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18301/stat : 18301 (java) S 18294 18294 17992 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43005514 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18302] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18302/stat : 18302 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18303] ppid=18294 vsize=850900 CPUtime=0.66 /proc/18297/task/18303/stat : 18303 (java) S 18294 18294 17992 0 -1 64 2308 0 0 0 64 2 0 0 16 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18304] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18304/stat : 18304 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18305] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18305/stat : 18305 (java) S 18294 18294 17992 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3449.4 Current children cumulated vsize (KiB) 856256 [startup+3522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/91 18388 /proc/meminfo: memFree=1713960/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 [pid=18297] ppid=18294 vsize=850900 CPUtime=3509.37 /proc/18297/stat : 18297 (java) S 18294 18294 17992 0 -1 0 28313 0 1 0 350913 24 0 0 18 0 9 0 43005512 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18297/statm: 212725 27289 2580 9 0 207285 0 [pid=18297/tid=18298] ppid=18294 vsize=850900 CPUtime=3507.42 /proc/18297/task/18298/stat : 18298 (java) R 18294 18294 17992 0 -1 64 4565 0 1 0 350731 11 0 0 25 0 9 0 43005513 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4127295191 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18299] ppid=18294 vsize=850900 CPUtime=1.25 /proc/18297/task/18299/stat : 18299 (java) S 18294 18294 17992 0 -1 64 20702 0 0 0 117 8 0 0 16 0 9 0 43005514 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18300] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18300/stat : 18300 (java) S 18294 18294 17992 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43005514 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18301] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18301/stat : 18301 (java) S 18294 18294 17992 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43005514 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18302] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18302/stat : 18302 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18303] ppid=18294 vsize=850900 CPUtime=0.66 /proc/18297/task/18303/stat : 18303 (java) S 18294 18294 17992 0 -1 64 2308 0 0 0 64 2 0 0 16 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18304] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18304/stat : 18304 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18305] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18305/stat : 18305 (java) S 18294 18294 17992 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3509.37 Current children cumulated vsize (KiB) 856256 [startup+3582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/91 18388 /proc/meminfo: memFree=1713960/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 [pid=18297] ppid=18294 vsize=850900 CPUtime=3569.34 /proc/18297/stat : 18297 (java) S 18294 18294 17992 0 -1 0 28313 0 1 0 356910 24 0 0 18 0 9 0 43005512 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18297/statm: 212725 27289 2580 9 0 207285 0 [pid=18297/tid=18298] ppid=18294 vsize=850900 CPUtime=3567.38 /proc/18297/task/18298/stat : 18298 (java) R 18294 18294 17992 0 -1 64 4565 0 1 0 356727 11 0 0 25 0 9 0 43005513 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4127296685 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18299] ppid=18294 vsize=850900 CPUtime=1.25 /proc/18297/task/18299/stat : 18299 (java) S 18294 18294 17992 0 -1 64 20702 0 0 0 117 8 0 0 16 0 9 0 43005514 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18300] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18300/stat : 18300 (java) S 18294 18294 17992 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43005514 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18301] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18301/stat : 18301 (java) S 18294 18294 17992 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43005514 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18302] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18302/stat : 18302 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18303] ppid=18294 vsize=850900 CPUtime=0.66 /proc/18297/task/18303/stat : 18303 (java) S 18294 18294 17992 0 -1 64 2308 0 0 0 64 2 0 0 16 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18304] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18304/stat : 18304 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18305] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18305/stat : 18305 (java) S 18294 18294 17992 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43005516 871321600 27289 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3569.34 Current children cumulated vsize (KiB) 856256 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3613 s] /proc/loadavg: 2.00 2.00 2.00 5/91 18388 /proc/meminfo: memFree=1713896/2055920 swapFree=4192812/4192956 [pid=18294] ppid=18292 vsize=5356 CPUtime=0 /proc/18294/stat : 18294 (concrete.sh) S 18292 18294 17992 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 43005511 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18294/statm: 1339 242 201 169 0 50 0 [pid=18297] ppid=18294 vsize=850900 CPUtime=3600.03 /proc/18297/stat : 18297 (java) S 18294 18294 17992 0 -1 0 28336 0 1 0 359979 24 0 0 18 0 9 0 43005512 871321600 27311 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18297/statm: 212725 27311 2580 9 0 207285 0 [pid=18297/tid=18298] ppid=18294 vsize=850900 CPUtime=3598.07 /proc/18297/task/18298/stat : 18298 (java) R 18294 18294 17992 0 -1 64 4566 0 1 0 359796 11 0 0 25 0 9 0 43005513 871321600 27311 996147200 134512640 134550740 4294956000 18446744073709551615 4127360325 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18299] ppid=18294 vsize=850900 CPUtime=1.25 /proc/18297/task/18299/stat : 18299 (java) S 18294 18294 17992 0 -1 64 20724 0 0 0 117 8 0 0 16 0 9 0 43005514 871321600 27311 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18300] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18300/stat : 18300 (java) S 18294 18294 17992 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43005514 871321600 27311 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18301] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18301/stat : 18301 (java) S 18294 18294 17992 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43005514 871321600 27311 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18302] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18302/stat : 18302 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43005516 871321600 27311 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18303] ppid=18294 vsize=850900 CPUtime=0.66 /proc/18297/task/18303/stat : 18303 (java) S 18294 18294 17992 0 -1 64 2308 0 0 0 64 2 0 0 16 0 9 0 43005516 871321600 27311 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18297/tid=18304] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18304/stat : 18304 (java) S 18294 18294 17992 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43005516 871321600 27311 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18297/tid=18305] ppid=18294 vsize=850900 CPUtime=0 /proc/18297/task/18305/stat : 18305 (java) R 18294 18294 17992 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 43005516 871321600 27311 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3600.03 Current children cumulated vsize (KiB) 856256 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 18294 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=3999 # CPU time returned by wait4() is 0.004998 # while last known CPU time is 3600.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 3613.02 CPU time (s): 3600.03 CPU user time (s): 3599.79 CPU system time (s): 0.24 CPU usage (%): 99.6405 Max. virtual memory (cumulated for all children) (KiB): 856316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.003999 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= 15 involuntary context switches= 4 runsolver used 5.18021 second user time and 11.2543 second system time The end
Begin job on node33 at 2008-07-12 13:44:00 IDJOB=1112174 IDBENCH=61374 IDSOLVER=336 FILE ID=node33/1112174-1215863040 PBS_JOBID= 7903502 Free space on /tmp= 66472 MiB SOLVER NAME= Concrete + CSP4J - Tabu Engine 2008-05-30 BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-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-1112174-1215863040/watcher-1112174-1215863040 -o /tmp/evaluation-result-1112174-1215863040/solver-1112174-1215863040 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112174-1215863040.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 82e30b1cc0425fc71c427eb8ae1415f1 RANDOM SEED=82536793 node33.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.264 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.264 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: 1810344 kB Buffers: 49600 kB Cached: 91364 kB SwapCached: 0 kB Active: 114348 kB Inactive: 71804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1810344 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 1008 kB Writeback: 0 kB Mapped: 65460 kB Slab: 44588 kB Committed_AS: 982412 kB PageTables: 1892 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= 66472 MiB End job on node33 at 2008-07-12 14:44:15