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.09 | 3602.32 |
| Name | csp/js-taillard-15/ normalized-js-taillard-15-95-4.xml |
| MD5SUM | 65012234ef8a22a0fbbf13548c18283e |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3600.16 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 1785 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1174 |
| 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.18/3.22 c CPU-LOAD 1.44 3.18/3.22 c LOADED 225 V (1174 E), 210 DiffConstraint, 1575 DTPConstraint, arity 2, 1.44 cpu 7.67/7.74 s SATISFIABLE 7.67/7.74 o 1694 7.67/7.74 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 587 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 270 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 945 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 383 5 159 614 310 1028 226 67 172 315 665 772 977 352 992 882 150 457 252 12 99 165 221 294 594 886 878 213 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 810 410 634 339 1089 71 769 133 1102 91 200 345 775 96 9 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 409 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 285 211 817 969 329 494 386 572 1013 619 1033 616 76 538 147 873 146 204 282 290 593 7.67/7.75 o 1695 7.67/7.75 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 587 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 270 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 945 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 614 310 1028 226 67 172 315 665 772 977 352 992 882 150 457 252 12 99 165 221 294 594 886 878 213 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 810 410 634 339 1089 71 769 133 1102 91 200 345 775 96 9 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 409 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 285 211 817 969 329 494 386 572 1013 619 1033 616 76 538 147 873 146 204 282 290 593 7.67/7.76 o 1696 7.67/7.76 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 587 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 270 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 945 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 614 310 1028 226 67 172 315 665 772 977 352 992 882 150 457 252 12 99 165 221 294 594 886 878 213 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 810 410 634 339 1089 71 769 133 1102 91 200 345 775 96 9 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 285 211 817 969 329 494 386 572 1013 619 1033 616 76 538 147 873 146 204 282 290 593 7.67/7.76 o 1697 7.67/7.76 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 587 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 270 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 945 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 614 310 1028 226 67 172 315 665 772 977 352 992 882 150 457 252 12 99 165 221 294 594 886 878 213 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 810 410 634 339 1089 71 769 133 1102 91 200 345 775 96 9 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 616 76 538 147 873 146 204 282 290 593 7.67/7.77 o 1698 7.67/7.77 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 587 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 270 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 945 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 614 310 1028 226 67 172 315 665 772 977 352 992 882 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 810 410 634 339 1089 71 769 133 1102 91 200 345 775 96 9 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 616 76 538 147 873 146 204 282 290 593 7.67/7.77 o 1699 7.67/7.77 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 587 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 270 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 945 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 614 310 1028 226 67 172 315 665 772 977 352 992 882 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 810 410 634 339 1089 71 769 133 1102 91 200 345 775 96 9 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.67/7.78 o 1700 7.67/7.78 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 587 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 270 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 945 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 614 310 1028 226 67 172 315 665 772 977 352 992 67 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 810 410 634 339 1089 71 769 133 1102 91 200 345 775 96 9 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.67/7.79 o 1701 7.67/7.79 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 587 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 270 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 945 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 977 352 992 67 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 810 410 634 339 1089 71 769 133 1102 91 200 345 775 96 9 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.67/7.79 o 1702 7.67/7.79 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 270 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 945 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 977 352 992 67 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 810 410 634 339 1089 71 769 133 1102 91 200 345 775 96 9 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.67/7.80 o 1703 7.67/7.80 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 878 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 945 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 977 352 992 67 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 810 410 634 339 1089 71 769 133 1102 91 200 345 775 96 9 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.80 o 1704 7.76/7.80 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 878 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 945 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 977 352 992 67 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 810 410 634 339 1089 71 769 133 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.80 o 1705 7.76/7.80 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 878 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 945 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 977 352 992 67 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 410 634 339 1089 71 769 133 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.81 o 1706 7.76/7.81 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 878 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 945 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 410 634 339 1089 71 769 133 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.81 o 1707 7.76/7.81 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 878 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 410 634 339 1089 71 769 133 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.82 o 1708 7.76/7.82 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 878 453 622 695 357 49 554 630 1065 431 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 410 634 966 1089 71 769 133 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.82 o 1709 7.76/7.82 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 878 453 622 695 357 49 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 410 634 966 1089 71 769 133 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 475 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.82 o 1710 7.76/7.82 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 860 434 508 827 771 150 196 716 541 878 453 622 695 357 49 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 410 634 966 1089 71 769 133 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.83 o 1711 7.76/7.83 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 541 878 453 622 695 357 49 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 252 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 410 634 966 1089 71 769 133 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.83 o 1712 7.76/7.83 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 541 878 453 622 695 357 49 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 1086 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 410 634 966 1089 71 769 133 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 980 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.84 o 1713 7.76/7.84 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 541 878 453 622 695 357 49 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 1086 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 410 634 966 1089 71 769 133 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.84 o 1714 7.76/7.84 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 357 49 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 1086 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 410 634 966 1089 71 769 133 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.84 o 1715 7.76/7.84 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 357 237 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 1086 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 410 634 966 1089 71 769 133 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.85 o 1716 7.76/7.85 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 357 237 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 1086 12 99 165 221 294 594 886 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 410 634 966 1089 71 769 913 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.85 o 1717 7.76/7.85 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 357 237 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 1086 12 99 165 221 294 594 749 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 410 634 966 1089 71 769 913 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.86 o 1718 7.76/7.86 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 357 237 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 1086 12 99 165 221 294 594 749 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1089 71 769 913 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.86 o 1719 7.76/7.86 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 119 237 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 992 67 150 457 1086 12 99 165 221 294 594 749 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1089 71 769 913 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.86 o 1720 7.76/7.86 v 77 571 792 833 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 119 237 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 165 221 294 594 749 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1089 71 769 913 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.87 o 1721 7.76/7.87 v 77 571 792 862 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 119 237 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 165 221 294 594 749 878 1124 55 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1089 71 769 913 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.87 o 1722 7.76/7.87 v 77 571 792 862 990 638 791 980 286 530 867 518 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 119 237 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 165 221 294 594 749 878 1124 1141 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1089 71 769 913 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.87 o 1723 7.76/7.87 v 77 571 792 862 990 638 791 980 286 530 867 127 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 119 237 554 630 1065 922 918 1008 33 369 737 686 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 165 221 294 594 749 878 1124 1141 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1089 71 769 913 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.88 o 1724 7.76/7.88 v 77 571 792 862 990 638 791 980 286 530 867 127 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 119 237 554 630 1065 922 918 1008 33 369 737 826 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 165 221 294 594 749 878 1124 1141 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1089 71 769 913 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.88 o 1725 7.76/7.88 v 77 571 792 862 990 638 791 980 286 530 867 127 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 119 237 554 630 682 922 918 1008 33 369 737 826 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 165 221 294 594 749 878 1124 1141 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1089 71 769 913 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 158 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.89 o 1726 7.76/7.89 v 77 571 792 862 990 638 791 980 286 530 867 127 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 119 237 554 630 682 922 918 1008 33 369 737 826 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 165 221 294 594 749 878 1124 1141 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1089 71 769 913 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 124 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 331 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.76/7.89 o 1727 7.76/7.89 v 77 571 792 862 990 638 791 980 286 530 867 127 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 119 237 554 630 682 922 918 1008 33 369 737 826 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 165 221 294 594 749 878 1124 1141 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1089 71 769 913 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 627 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 331 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 1013 619 1033 1113 76 538 147 873 146 204 282 290 593 7.87/7.90 o 1728 7.87/7.90 v 77 571 792 862 990 638 791 980 286 530 867 127 502 820 984 78 377 573 349 418 377 414 879 310 381 70 381 434 508 827 771 150 196 716 846 878 453 622 695 119 237 554 630 682 922 918 1008 33 369 737 826 920 382 675 395 563 924 446 655 686 75 208 733 958 881 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 165 221 294 594 749 878 1124 1141 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1089 71 769 913 1102 91 200 345 775 96 392 706 38 401 705 852 53 389 567 627 744 27 298 534 880 236 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 331 684 266 401 510 1053 30 222 283 717 879 767 192 349 764 325 711 447 604 774 300 474 678 1068 140 433 757 987 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 881 959 1033 1113 76 538 147 873 146 204 282 290 593 7.87/7.95 o 1729 7.87/7.95 v 77 571 792 862 990 638 791 980 286 530 867 127 502 820 984 78 377 505 650 11 377 414 879 310 381 70 381 434 508 827 36 150 196 716 846 878 456 622 695 119 237 554 630 682 922 918 1008 33 369 737 826 920 382 675 395 563 924 424 655 686 75 350 733 958 876 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 165 221 294 594 749 878 1124 1141 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1089 324 769 913 1100 91 200 345 775 96 392 706 38 401 705 852 53 389 567 627 744 27 298 534 880 317 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 331 684 266 401 510 1053 131 222 283 717 862 767 192 349 764 325 711 562 604 774 263 474 678 1068 140 433 757 1002 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 881 959 1033 1113 76 538 147 873 146 204 282 290 593 7.87/7.96 o 1730 7.87/7.96 v 77 571 792 862 990 638 791 980 286 530 867 127 502 820 984 78 377 505 650 11 377 414 879 310 381 70 381 434 508 827 36 150 196 716 846 878 456 622 695 119 237 554 630 682 922 918 1008 33 369 737 826 920 382 675 395 563 924 424 655 686 75 350 733 958 876 1094 71 334 665 996 95 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 165 221 294 594 749 878 1124 1141 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1089 324 769 913 1100 91 200 345 775 96 392 706 38 401 705 852 53 389 567 627 744 27 298 534 880 317 884 134 680 1059 186 476 98 103 1091 244 347 637 970 23 132 945 331 684 266 401 510 1053 131 222 283 717 862 767 192 349 764 325 402 562 604 774 263 474 678 1068 140 433 757 1002 370 1073 153 280 628 493 622 118 184 451 767 1153 211 817 969 329 494 386 572 881 959 1033 1113 76 538 147 873 146 204 282 290 593 7.87/7.99 o 1731 7.87/7.99 v 77 571 792 862 990 638 791 980 286 530 867 127 502 820 984 78 377 505 650 11 377 414 879 310 381 70 381 434 508 827 36 150 196 716 846 878 456 622 695 119 237 554 630 682 922 918 1008 33 369 737 826 920 382 675 395 563 924 429 655 686 770 350 733 958 876 1094 71 334 665 996 93 487 106 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 165 221 294 594 749 878 1124 1141 576 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1061 324 769 913 1100 91 200 345 775 96 392 706 38 182 705 852 276 389 567 627 744 27 298 534 880 317 884 134 680 793 186 476 98 103 1091 244 347 637 970 23 132 945 331 684 266 401 510 1053 131 222 283 717 862 767 192 349 764 325 402 562 604 774 263 474 678 1068 140 433 757 1002 370 1073 153 280 25 493 622 883 1093 451 767 1153 211 817 969 329 494 386 572 881 959 1033 1113 76 538 147 873 146 204 282 290 593 7.97/8.06 o 1732 7.97/8.06 v 77 571 792 862 990 638 791 980 286 530 867 127 502 820 984 78 377 505 650 11 377 414 879 310 381 70 381 434 508 827 36 150 196 716 846 878 456 622 695 133 237 554 630 682 922 918 1008 33 369 737 826 920 382 675 395 563 924 429 655 686 762 350 733 958 876 1094 71 334 665 996 93 487 980 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 157 221 294 594 749 878 1124 1141 28 1040 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1061 99 769 913 1120 91 200 345 775 96 392 706 38 182 705 852 913 389 567 627 744 960 298 534 880 295 884 134 680 793 186 476 98 103 1051 244 347 637 970 23 132 945 331 684 266 401 510 1053 131 222 283 717 865 813 192 349 764 325 402 562 604 774 263 474 678 820 299 433 757 1002 370 1073 153 280 613 493 622 883 1093 520 767 1153 211 817 969 329 494 386 572 881 959 1033 1113 76 538 147 873 146 204 282 290 593 7.97/8.06 o 1733 7.97/8.06 v 77 571 792 862 990 638 791 980 286 530 867 127 502 820 984 78 377 505 650 11 377 414 879 310 381 70 381 434 508 827 36 150 196 716 846 878 456 622 695 133 237 554 630 682 922 918 1008 33 369 737 826 920 382 675 395 563 924 429 655 686 762 350 733 958 876 1094 71 334 665 996 93 487 980 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 157 221 294 594 749 878 1124 1141 28 103 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1061 99 769 913 1120 91 200 345 775 96 392 706 38 182 705 852 913 389 567 627 744 960 298 534 880 295 884 134 680 793 186 476 98 103 1051 244 347 637 970 23 132 945 331 684 266 401 510 1053 131 222 283 717 865 813 192 349 764 325 402 562 604 774 263 474 678 820 299 433 757 1002 370 1073 153 280 613 493 622 883 1093 520 767 1153 211 817 969 329 494 386 572 881 959 1033 1113 76 538 147 873 146 204 282 290 593 7.97/8.07 o 1734 7.97/8.07 v 77 571 792 862 990 638 791 980 286 530 867 127 502 820 984 78 377 505 650 11 377 414 879 310 381 70 381 434 508 827 36 150 196 716 846 878 456 622 695 133 237 554 630 682 922 918 1008 33 369 737 826 920 382 675 395 563 924 429 655 686 762 350 733 958 876 1094 71 334 665 996 93 487 980 190 427 1127 4 5 159 267 310 1028 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 157 221 294 594 749 878 1124 1141 28 103 189 485 60 295 426 47 176 485 234 412 543 832 1078 485 634 966 1061 99 769 913 1120 91 200 345 775 96 392 706 38 182 705 852 913 391 567 627 744 960 298 534 880 295 884 134 680 793 910 999 98 103 1051 244 347 637 970 23 132 945 331 684 266 401 510 1053 131 222 283 717 865 813 192 349 764 325 402 562 604 774 263 474 678 820 299 433 757 1002 370 1073 153 280 613 493 622 883 1093 520 767 1153 211 817 969 329 494 386 572 881 959 1033 1113 76 538 147 873 146 204 282 290 593 8.07/8.17 o 1735 8.07/8.17 v 77 571 792 862 990 638 791 975 286 530 867 111 502 820 984 78 377 505 650 11 377 414 879 310 381 70 381 434 508 827 36 150 196 716 846 15 456 622 695 133 237 554 630 682 922 918 1008 33 369 737 826 920 17 675 395 563 924 429 655 686 762 350 733 958 855 1094 71 334 665 996 93 487 980 190 427 1127 4 5 159 267 310 1045 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 157 221 294 594 749 878 1124 1141 28 103 189 485 664 879 1034 47 176 514 234 412 543 832 1078 485 634 966 17 76 769 913 1154 91 200 345 959 96 392 706 38 182 705 852 276 391 567 627 744 904 298 534 880 211 884 134 680 793 910 999 1129 103 1051 1124 465 637 970 23 132 945 331 684 42 401 510 954 131 222 283 717 865 1084 192 349 764 325 402 562 604 774 257 474 678 0 299 433 757 1002 370 1073 153 280 629 493 622 883 1093 520 767 1153 211 817 969 329 494 386 572 881 959 1033 1113 76 538 147 393 146 204 282 290 593 8.07/8.18 o 1736 8.07/8.18 v 77 571 792 862 990 638 791 975 286 530 867 111 502 820 984 78 377 505 650 11 377 414 879 1066 1133 70 381 434 508 827 36 150 196 716 846 15 456 622 695 133 237 554 630 682 922 918 1008 33 369 737 826 920 17 675 395 563 924 429 655 686 762 350 733 958 855 1094 71 334 665 996 93 487 980 190 427 1127 4 5 159 267 310 1045 226 67 172 315 665 772 1059 352 25 67 150 457 1086 12 99 157 221 294 594 749 878 1124 1141 28 103 189 485 664 879 1034 47 176 514 234 412 543 832 1078 485 634 966 17 76 769 913 1154 91 200 345 959 96 392 706 38 182 705 852 276 391 567 627 744 904 298 534 880 211 884 134 680 793 910 999 1129 103 1051 1124 465 637 970 23 132 945 331 684 42 401 510 954 131 222 283 717 865 1084 192 349 764 325 402 562 604 774 257 474 678 0 299 433 757 1002 370 1073 153 280 629 493 622 883 1093 520 767 1076 211 817 969 329 494 386 572 881 959 1033 1113 76 538 147 393 146 204 282 290 593 8.27/8.30 o 1737 8.27/8.30 v 77 571 792 862 990 638 791 161 286 530 863 111 502 820 984 78 377 505 650 11 377 414 879 1066 1133 70 381 434 508 827 36 150 196 716 846 295 456 622 695 1023 237 554 630 682 922 918 1010 33 369 737 826 920 17 675 395 563 924 429 655 686 762 350 733 958 855 1094 64 334 665 1008 93 487 858 190 427 1127 4 5 159 267 310 1045 226 67 172 315 665 772 1051 352 25 67 150 457 1086 12 99 852 221 294 594 749 878 1124 1141 28 103 189 485 664 879 1034 47 176 514 234 412 580 832 1078 485 634 966 17 76 769 913 957 84 200 345 959 1117 392 706 38 182 705 851 380 391 567 627 1094 51 298 534 827 265 884 134 680 793 910 999 1129 103 1051 1129 518 637 970 23 132 945 331 684 814 401 510 1008 113 222 283 717 865 783 192 349 764 325 402 562 604 774 257 474 678 41 299 433 757 166 888 1073 153 280 629 493 622 883 1093 520 767 1076 181 817 1024 329 494 386 572 881 959 1033 1113 76 526 147 331 146 204 282 290 593 8.27/8.32 o 1738 8.27/8.32 v 77 571 792 862 990 638 791 161 286 530 863 111 502 820 984 78 377 505 650 727 377 414 879 1066 1133 70 381 434 508 827 36 150 196 716 846 295 456 622 695 1023 237 554 630 682 922 918 1010 15 369 737 826 920 17 675 395 563 802 429 655 686 762 350 733 958 855 1094 64 334 665 1008 93 487 858 190 427 1127 4 5 159 267 310 1045 226 67 172 315 665 772 1051 352 25 67 150 457 1086 12 99 852 221 294 594 749 878 1124 1141 28 103 189 485 664 879 1034 47 176 514 234 412 580 832 1078 485 634 966 17 76 769 913 964 84 200 345 959 1117 392 706 38 182 705 851 380 391 567 627 1094 51 298 534 827 265 884 134 680 793 910 999 1129 103 1051 225 518 637 970 23 132 945 331 684 814 401 510 1008 113 222 283 717 865 924 192 349 764 325 402 562 604 774 257 474 678 41 299 433 757 166 888 1073 153 280 629 493 622 883 1093 520 767 1076 181 817 1024 329 494 386 572 881 959 1033 1113 76 1119 147 331 146 204 282 290 593 8.37/8.42 o 1739 8.37/8.42 v 77 571 792 862 18 638 924 172 286 530 863 432 502 820 984 78 377 505 650 727 1008 414 879 1066 1133 70 381 434 508 827 36 150 196 716 846 943 456 622 695 2 237 554 630 682 922 918 1069 15 369 737 826 920 417 675 980 635 782 429 655 686 259 350 733 958 855 1094 64 334 665 1027 93 487 1056 190 427 1127 4 5 159 267 310 1045 620 67 172 315 665 772 1051 352 25 67 150 457 1086 12 99 852 221 294 594 749 878 1124 1141 28 103 189 485 664 879 1030 47 176 514 234 412 580 832 1078 485 634 966 17 76 769 1071 39 84 200 345 959 111 392 706 38 182 705 851 380 391 567 627 1094 70 298 534 827 290 884 134 680 793 910 999 14 103 544 370 518 637 970 23 132 945 331 684 814 401 510 64 113 222 283 717 865 924 192 349 764 325 402 562 604 774 1032 474 678 41 299 433 757 166 888 1073 153 280 629 493 622 883 1093 520 767 1076 181 817 1070 329 494 386 572 881 959 1033 1113 76 1119 147 331 146 204 282 290 593 8.37/8.45 o 1740 8.37/8.45 v 77 571 792 862 18 638 924 172 286 530 863 432 502 820 984 78 377 505 650 727 1008 414 879 1066 1133 70 381 434 508 827 36 150 196 716 846 943 456 622 695 2 237 554 630 682 922 918 1069 15 369 737 826 920 417 675 980 635 782 429 655 686 259 350 733 958 855 1094 16 334 665 1027 93 487 1056 190 427 1127 4 5 159 267 310 1045 620 58 172 315 665 772 1051 352 25 67 150 457 1086 12 99 852 182 294 594 749 878 1124 1141 28 103 189 485 664 879 1030 47 176 514 234 412 580 832 1078 485 634 966 17 76 769 1071 51 84 200 345 959 111 392 706 38 182 705 232 380 391 567 627 1094 70 298 534 851 453 884 134 680 793 910 999 14 103 544 370 518 637 970 23 132 945 331 684 814 401 510 64 113 222 283 717 865 924 192 349 764 325 402 562 604 774 1066 474 678 41 299 433 757 841 888 1073 153 280 629 493 622 883 1093 520 767 1076 181 817 1070 329 494 386 572 881 959 1033 1113 76 1119 147 960 146 204 282 290 593 8.47/8.50 o 1741 8.47/8.50 v 77 571 792 862 18 638 924 172 286 530 893 96 502 820 984 78 377 505 650 727 823 836 879 1066 1133 70 381 434 508 827 36 150 196 716 995 290 456 622 695 2 237 554 630 682 922 918 1014 15 369 737 826 920 417 675 980 635 782 429 655 686 259 350 733 958 839 1094 16 334 665 1027 93 487 1051 190 427 1127 4 5 159 267 310 1045 627 58 172 315 665 772 1055 352 25 67 150 457 1086 12 99 852 182 294 594 749 878 1124 1141 28 103 189 485 664 879 1030 47 176 490 234 412 580 832 1078 485 634 966 17 76 769 1071 51 84 200 345 959 16 392 706 38 182 705 232 380 391 567 627 1094 70 298 534 851 449 884 134 680 793 910 999 14 103 544 370 518 637 970 23 132 945 331 684 814 401 510 64 113 222 283 717 865 924 192 349 764 325 402 562 604 774 1066 474 678 41 299 433 757 841 888 1073 153 280 629 493 622 883 1093 520 767 1157 181 817 1070 329 494 386 572 881 959 1033 1113 76 1119 147 993 146 204 282 290 593 8.87/8.90 o 1742 8.87/8.90 v 77 571 792 862 32 638 99 162 286 530 893 320 502 820 984 78 377 505 650 727 823 836 879 1066 1133 70 381 434 508 827 36 150 196 716 1001 301 456 622 695 978 237 554 630 682 922 918 950 15 369 737 850 213 355 675 980 635 790 429 655 686 259 350 733 941 818 1094 16 334 665 1027 102 487 924 190 427 1127 4 5 159 267 310 1051 5 58 172 315 665 772 1009 352 25 502 153 457 1086 12 99 453 193 294 594 749 878 1124 1141 28 103 189 485 664 879 1030 84 176 496 256 412 580 832 1078 485 634 966 1069 719 769 1071 10 84 200 345 971 256 392 706 38 182 688 150 380 391 567 627 815 1144 298 534 851 380 884 134 680 793 910 999 1137 103 544 265 518 637 970 23 132 945 331 684 20 401 510 1006 113 222 283 717 865 924 188 349 764 325 402 562 604 774 1058 474 678 16 65 433 757 841 888 1073 153 280 629 895 765 883 1093 520 805 91 181 817 965 210 494 386 572 881 959 1033 1113 76 433 147 993 146 204 282 290 593 8.87/8.97 o 1743 8.87/8.97 v 77 571 792 862 32 638 99 162 286 530 893 320 502 820 984 78 377 505 650 727 823 836 879 1066 1133 70 381 434 508 1001 36 150 196 716 1001 301 456 622 695 1130 237 554 630 682 922 918 950 15 369 737 850 213 355 675 980 635 769 429 655 686 259 350 733 941 818 1094 16 334 665 1027 102 541 50 190 427 1127 4 5 159 267 310 1051 5 58 172 315 665 772 1009 352 25 502 153 457 1086 12 99 453 196 294 594 749 878 1124 1141 28 103 189 485 664 879 1030 84 176 496 256 412 580 832 1078 485 634 966 1069 216 769 1071 10 84 200 345 971 23 392 706 38 182 688 150 380 391 567 627 815 1144 298 534 797 380 884 134 680 793 910 999 1137 103 500 1049 518 637 784 23 132 945 331 684 20 401 510 0 113 222 283 717 865 924 194 349 764 325 402 562 604 774 1058 474 678 16 65 433 757 841 888 1073 153 280 629 895 1098 588 1093 520 805 91 181 817 965 210 494 386 572 881 959 1033 1113 76 433 909 993 1132 204 282 290 593 9.07/9.19 o 1744 9.07/9.19 v 77 571 792 862 32 632 99 162 286 530 893 1016 492 820 984 78 377 505 650 727 823 836 879 1066 1133 70 381 434 508 1001 36 150 196 716 264 301 456 622 695 1114 237 554 630 682 922 918 951 22 369 737 981 87 355 675 367 635 818 429 655 686 259 350 733 941 808 1094 16 334 665 1027 43 483 921 972 1032 1127 4 5 159 267 310 1051 5 58 172 315 665 772 1009 340 25 502 153 457 1086 12 99 416 196 294 594 749 878 1124 1141 28 103 189 485 664 879 1007 91 176 498 229 412 580 832 1078 485 634 966 1025 425 769 1071 1125 143 200 345 971 264 392 706 38 182 688 150 380 391 567 627 1134 134 298 534 797 431 884 134 680 793 910 999 1064 103 500 354 518 637 784 32 132 945 331 684 929 401 510 41 113 222 283 717 865 924 169 349 764 325 402 562 604 774 1044 477 678 1010 65 433 757 841 888 1073 153 280 629 895 1098 339 1093 520 805 91 181 817 1042 210 494 386 572 881 959 1033 1123 76 433 909 993 1132 204 282 290 593 9.17/9.29 o 1745 9.17/9.29 v 77 571 792 862 995 32 136 162 286 530 893 1016 492 820 984 78 377 505 650 727 823 836 879 1066 1133 70 381 434 508 1001 36 150 196 716 811 301 456 622 695 1105 237 554 630 682 922 918 965 22 369 737 1153 87 355 675 288 635 777 429 655 686 259 350 733 941 814 1094 16 334 665 1027 43 483 921 972 1032 1127 4 5 159 267 310 1051 5 58 172 315 665 772 1009 340 25 502 153 457 1086 12 99 400 196 294 594 749 878 1124 1141 28 103 189 485 664 879 1007 63 176 538 194 412 580 832 1078 485 634 966 1025 6 769 1071 119 143 200 345 932 193 392 706 38 182 593 150 380 391 567 627 816 959 298 534 797 422 884 134 680 793 910 999 1142 103 743 448 518 637 784 32 132 945 331 684 929 1024 510 947 113 222 283 717 865 924 169 349 764 325 402 562 604 774 1044 477 678 843 65 433 757 841 888 1073 153 280 629 895 1098 585 1093 520 805 91 181 817 1042 210 494 386 572 881 959 1033 1123 76 433 909 993 1132 204 282 290 593 9.47/9.51 o 1746 9.47/9.51 v 77 571 792 862 995 8 136 162 286 530 893 421 492 820 984 78 377 505 650 727 823 836 879 1066 1133 70 381 434 508 1001 36 150 196 716 811 300 456 622 695 934 237 554 630 682 922 918 948 22 369 737 62 87 355 675 288 635 794 429 655 686 259 350 733 941 804 1094 16 334 665 1027 67 483 921 972 1032 1127 0 5 159 267 310 1051 5 58 172 315 665 772 1012 340 25 502 728 457 1086 12 99 461 209 294 594 749 878 1124 1141 28 103 189 485 664 879 1019 63 176 4 240 412 580 832 1078 485 634 966 1015 245 769 1071 23 143 200 345 878 39 392 706 38 182 593 938 247 391 567 627 816 1137 298 534 797 422 884 134 680 793 910 999 53 103 176 457 518 637 784 32 132 945 331 684 910 422 491 976 113 222 283 717 865 924 169 349 764 325 402 562 604 774 1044 477 678 843 407 433 757 841 888 1073 153 280 629 895 1085 609 1093 520 805 1008 220 817 1029 210 494 386 572 881 959 1033 1130 76 433 909 993 1120 204 282 290 593 9.97/10.06 o 1747 9.97/10.06 v 77 571 792 862 995 61 136 162 286 530 875 950 230 356 984 78 377 505 650 727 823 836 879 1066 1124 71 381 434 508 1001 36 150 196 716 811 255 456 622 833 98 237 554 630 682 922 918 1008 1038 369 737 852 218 355 667 384 635 816 421 655 686 259 350 733 941 495 1094 16 334 665 1027 73 483 921 972 1032 1127 0 5 159 267 310 1051 5 58 172 315 665 772 1011 340 25 502 728 902 1086 12 99 431 202 294 594 749 878 1124 1141 28 103 189 485 664 879 1041 56 176 852 240 412 580 832 1078 485 634 966 1032 323 769 1131 44 143 200 345 878 9 392 706 38 182 508 104 251 391 567 627 892 62 298 534 962 490 884 134 680 793 910 999 48 103 176 457 518 637 784 7 132 945 331 684 808 831 900 88 113 222 283 717 865 925 177 349 764 325 402 562 604 774 1151 430 678 1131 1156 433 757 841 888 1073 153 280 629 895 1110 79 91 520 805 1143 218 817 1025 221 494 386 572 881 959 1033 1130 76 433 909 993 1118 204 282 290 593 10.07/10.17 o 1748 10.07/10.17 v 77 571 792 855 995 61 136 162 286 530 875 950 242 356 984 78 377 505 650 727 823 836 879 1066 116 171 381 434 508 1001 36 150 196 716 811 987 456 622 724 1168 237 554 630 682 922 918 942 21 369 737 848 218 355 667 384 635 816 431 655 686 259 350 733 941 834 1094 16 334 665 1027 73 483 921 972 1032 1127 0 5 159 267 310 1051 5 58 172 315 665 772 1011 340 25 502 728 902 1086 12 99 458 229 487 594 749 878 1124 1141 28 103 189 485 664 879 1041 88 176 1079 240 412 580 832 1078 485 634 966 1032 1168 769 1009 24 143 200 345 878 21 392 706 38 285 508 1048 1114 391 567 627 892 62 298 534 962 490 884 134 680 793 910 999 1166 103 176 457 518 637 784 7 132 945 331 684 808 831 900 88 113 222 283 717 865 925 177 349 764 325 402 562 604 774 1067 430 678 1131 356 433 757 841 888 1073 153 280 629 895 1110 79 91 520 805 1043 181 817 1025 283 494 386 572 881 959 1033 1130 76 433 909 993 1118 204 282 290 593 10.47/10.54 o 1749 10.47/10.54 v 77 571 792 855 995 7 136 162 286 530 875 1051 212 356 984 78 377 505 650 727 823 836 879 1066 105 171 381 434 508 1001 36 150 196 716 22 308 456 622 710 102 237 554 630 682 922 918 1015 21 369 737 164 218 355 667 388 635 809 431 655 686 259 350 733 756 873 1094 16 334 665 1027 81 483 921 972 1032 1127 0 5 159 267 310 1051 5 58 172 315 665 772 1018 340 25 502 726 454 1086 12 99 452 229 487 594 749 878 1124 1141 28 103 189 485 664 879 1041 608 1137 16 240 412 580 832 1078 485 634 966 1042 484 769 1009 1132 140 200 345 878 1115 375 706 38 285 583 175 369 391 567 627 1101 252 298 534 987 492 884 134 680 793 910 999 1131 103 176 457 518 637 784 9 132 945 331 684 808 831 900 1005 88 222 283 717 865 922 187 349 764 325 402 562 604 984 1148 430 678 50 82 433 757 841 888 1073 153 280 629 895 1101 1148 91 520 805 1138 181 817 1025 289 494 386 572 881 959 1033 1122 76 433 909 993 1126 204 282 290 593 12.07/12.18 o 1750 12.07/12.18 v 77 571 998 434 995 41 136 162 286 530 875 97 228 356 984 78 377 505 650 727 823 836 879 7 105 171 381 434 508 1001 36 150 196 716 831 48 456 628 735 1137 232 554 630 682 922 918 1043 18 369 720 814 261 355 667 966 160 358 434 655 686 259 350 733 756 873 1094 16 334 665 765 384 483 921 972 1032 1127 1165 5 159 267 310 1051 5 58 172 315 665 772 1016 645 25 502 695 897 1086 12 99 602 208 487 594 749 878 1124 1141 28 103 189 419 527 846 1047 161 609 1078 240 412 580 832 1078 485 634 988 590 649 769 925 1157 123 200 345 865 1068 371 706 38 272 588 1127 256 391 567 627 727 118 291 534 1018 821 884 134 680 793 910 1141 7 103 176 457 518 637 784 950 121 945 331 684 808 831 900 1102 50 222 283 717 865 1050 179 349 764 325 402 562 34 68 148 429 678 1160 215 310 757 841 888 1073 153 280 629 895 1062 1146 91 520 805 1161 123 817 1027 298 494 386 572 881 959 1033 1140 76 433 909 993 1117 204 282 290 593 12.17/12.22 o 1751 12.17/12.22 v 77 571 1002 434 995 41 136 162 286 530 875 97 228 356 984 78 377 505 650 727 823 836 879 7 105 171 381 434 508 1001 36 150 196 716 830 48 456 628 735 10 232 554 630 682 922 918 1043 18 369 720 26 261 355 667 966 160 358 434 655 686 259 350 733 756 873 1094 16 334 665 765 1089 483 921 972 1032 1127 1157 5 159 267 310 1051 5 58 172 315 665 772 1016 645 25 502 695 897 1086 12 99 602 208 487 594 749 878 1124 1141 28 103 189 419 527 846 1047 161 609 1078 240 412 580 832 1078 485 634 988 590 649 769 925 1157 123 200 345 865 1068 174 706 38 272 588 1127 256 391 567 627 738 118 291 534 691 821 884 134 680 793 910 1141 7 103 176 457 518 637 784 950 121 945 331 684 808 831 900 19 50 222 283 717 865 1050 179 349 764 325 402 562 34 68 148 429 997 1160 215 310 757 841 888 1073 153 280 629 895 1062 1146 91 520 805 1 123 817 1027 289 494 386 572 881 959 1033 1140 76 433 909 993 1117 204 282 290 593 12.27/12.39 o 1752 12.27/12.39 v 77 571 982 377 995 20 136 162 286 530 985 97 228 356 984 78 377 505 650 727 823 836 879 7 105 171 381 434 508 1001 36 150 196 716 1137 55 456 628 735 1111 232 554 630 682 922 918 1043 28 369 720 228 261 355 667 975 160 358 434 655 686 259 350 733 756 873 1094 16 334 665 804 391 483 921 972 1032 1127 1157 5 159 267 310 1051 5 58 172 315 665 772 1025 338 25 502 695 897 1086 12 471 618 200 487 594 749 878 1124 1141 28 103 189 419 527 846 1011 284 609 1078 240 412 580 832 1078 99 232 519 594 649 769 925 968 1002 200 345 865 963 136 706 38 272 588 1127 256 391 567 627 723 244 291 534 691 821 884 134 680 793 910 1141 7 103 176 457 518 637 784 950 857 945 331 684 808 831 900 19 50 222 283 717 865 962 179 349 764 325 402 860 34 68 148 429 997 1155 215 310 757 841 888 1073 153 280 629 895 1062 2 91 520 805 1138 123 817 1038 412 494 386 572 881 959 1033 1140 76 433 909 993 8 204 282 290 593 13.27/13.33 o 1753 13.27/13.33 v 77 571 792 875 995 37 136 162 286 530 1011 151 228 356 984 78 377 505 650 727 823 836 879 954 105 171 381 434 508 1001 36 150 196 716 833 1030 422 35 101 160 232 554 630 682 922 918 1138 24 369 703 213 261 355 667 994 160 358 434 655 686 259 350 733 756 873 1094 16 334 665 803 389 483 921 972 1032 1127 1161 5 159 267 310 1051 5 58 172 315 665 772 1000 338 25 502 713 1008 1086 12 471 631 201 487 594 749 878 1124 1141 28 103 189 419 527 868 1043 297 603 1061 240 412 580 832 1078 99 232 519 594 649 769 925 1147 21 202 345 865 981 375 706 38 272 903 84 274 385 567 627 831 240 291 534 691 821 884 134 680 793 910 995 1073 103 176 457 518 637 798 226 783 945 331 684 808 831 900 13 50 222 283 717 865 999 141 349 764 325 402 1082 15 68 148 429 997 16 215 310 757 841 888 1073 153 280 629 895 1119 51 91 520 801 978 130 817 150 412 494 386 572 881 959 1033 1126 76 433 909 1011 27 204 282 290 593 13.36/13.45 o 1754 13.36/13.45 v 77 571 792 875 995 37 136 162 286 530 578 151 228 356 984 78 377 505 650 727 823 836 879 954 88 171 381 434 508 1001 36 150 196 716 833 952 1089 35 101 160 232 554 630 682 922 918 1113 24 369 703 22 261 355 667 994 160 358 434 655 686 259 350 733 756 873 1002 16 334 665 803 39 483 921 972 1032 1127 1161 5 159 267 310 1051 5 58 172 315 665 772 1001 338 25 502 713 1008 1086 12 471 651 201 487 594 749 878 1124 1141 28 103 189 419 527 868 1043 335 603 1042 240 412 580 832 1078 99 232 519 594 649 769 925 1152 27 202 345 441 1071 381 706 38 272 1001 203 274 385 567 627 831 1 291 534 691 821 884 134 680 793 910 995 1073 103 176 457 518 637 809 939 783 945 331 684 808 831 900 0 50 222 283 717 865 943 143 349 764 325 402 1082 23 68 148 429 883 1154 215 310 757 841 888 1073 153 280 629 895 1119 3 91 520 801 1156 130 889 150 412 494 386 572 881 959 1033 1126 76 433 909 1011 27 204 282 290 593 13.76/13.87 o 1755 13.76/13.87 v 77 571 792 875 995 4 136 162 286 530 959 126 228 356 984 78 377 505 650 727 823 836 879 954 95 171 381 434 508 633 36 150 196 716 833 952 1089 35 101 160 232 554 630 682 922 918 1121 25 369 750 218 261 355 667 1019 160 358 434 655 686 259 350 733 756 873 1002 16 334 665 803 36 483 921 972 1032 1127 1143 2 159 267 310 1051 5 58 172 315 665 772 982 1096 25 502 713 1008 1086 12 471 630 197 487 594 749 878 1124 1141 28 103 189 419 527 868 1012 300 603 1014 254 412 580 832 1078 99 232 519 594 649 769 925 1150 143 202 345 405 497 381 706 38 272 602 203 274 385 567 627 72 241 291 534 691 821 884 134 680 793 910 1118 1154 103 176 457 518 637 809 222 456 945 331 684 808 831 900 21 50 222 283 717 865 1017 139 349 764 325 402 1082 23 68 148 429 883 1084 1135 310 757 841 888 1005 153 280 629 895 1070 1119 91 520 627 1042 115 498 122 412 494 386 572 881 959 1033 1144 76 433 909 1011 3 204 282 290 593 14.27/14.35 o 1756 14.27/14.35 v 77 571 792 875 995 48 136 162 286 530 920 1063 228 356 984 78 377 505 650 727 823 836 879 954 1105 171 381 434 508 633 36 150 196 716 833 952 1089 35 101 160 232 554 630 682 922 918 1090 8 369 714 84 261 355 667 966 160 358 434 655 686 259 350 733 756 873 1002 8 334 665 777 424 483 921 972 1032 1127 1143 4 159 267 310 1051 5 58 172 315 665 772 982 1096 25 502 713 1008 1086 12 471 681 206 487 594 749 878 1124 1141 28 103 189 419 527 868 993 104 603 1025 254 412 580 832 1078 99 232 519 594 649 769 924 42 143 202 345 405 29 381 706 38 272 1009 225 274 385 567 627 890 1120 85 534 691 821 884 134 680 793 910 986 1132 103 176 457 518 637 801 136 456 945 331 684 808 831 900 1062 101 222 283 717 865 1017 1092 349 764 325 402 1082 5 68 148 429 883 20 79 310 757 841 888 1005 153 280 629 895 1070 1160 91 520 627 798 1 93 134 412 494 386 572 881 959 1033 1133 76 433 909 1011 20 204 282 290 593 16.26/16.40 o 1757 16.26/16.40 v 77 571 792 875 995 59 136 162 286 530 1032 96 262 356 984 78 377 505 650 727 823 836 879 32 113 171 381 434 508 633 36 150 196 716 833 952 1089 35 101 160 232 554 630 682 922 918 1014 36 369 743 134 243 355 667 162 296 358 434 655 686 259 350 733 756 873 1030 38 334 665 793 431 537 921 972 1032 1127 1 4 159 267 310 1051 5 58 172 315 702 772 982 1096 25 502 713 1008 1086 12 471 600 213 487 594 749 878 1124 1141 28 103 189 419 527 868 1014 337 603 1034 252 412 580 832 1078 99 232 519 594 649 769 917 1077 42 230 345 419 607 629 706 38 272 938 1046 1093 385 567 627 1005 1118 185 534 691 821 884 134 680 793 910 1103 90 103 176 457 518 637 788 142 445 945 331 684 808 831 900 1092 149 222 283 717 865 1004 189 349 764 325 402 838 18 68 148 429 883 1084 69 310 757 841 888 1005 153 280 629 895 997 1152 91 520 627 798 4 93 134 412 494 386 572 881 959 1033 1113 76 433 909 992 1125 204 282 290 593 17.26/17.31 o 1758 17.26/17.31 v 77 571 792 875 995 18 136 162 286 530 1003 73 262 356 984 78 377 505 650 727 823 836 879 1088 113 171 381 434 508 633 36 150 196 716 833 952 1089 35 101 160 232 554 630 682 922 918 1014 2 369 392 230 271 355 678 155 296 358 434 655 686 259 350 733 756 873 1035 20 334 665 784 413 537 921 972 1032 1127 1168 4 159 267 310 1051 5 58 172 315 702 772 982 1096 25 502 713 1008 1086 12 471 581 202 487 594 749 878 1124 1141 28 103 189 419 527 868 1024 1071 1119 23 252 412 580 832 1078 99 232 519 594 649 769 917 976 993 1088 1136 419 607 629 706 38 272 938 995 1046 468 567 627 810 236 367 534 691 821 884 134 680 793 910 1139 100 103 176 457 518 637 788 936 775 935 331 684 808 831 900 1054 150 222 283 717 865 942 139 349 764 325 402 838 1052 1094 148 429 883 1147 241 310 757 841 888 1005 153 280 629 895 1107 1157 91 520 627 798 3 93 134 412 494 386 572 881 959 1033 1143 76 433 909 992 1130 204 282 290 593 17.36/17.40 o 1759 17.36/17.40 v 77 571 792 875 995 18 136 162 286 530 996 73 262 356 984 78 377 505 650 727 823 836 879 1088 113 171 381 434 508 633 36 150 196 716 833 952 1089 35 101 160 232 554 630 682 922 918 1014 2 369 392 486 538 629 674 162 296 358 434 655 686 259 350 733 756 873 1020 40 334 665 784 3 537 921 972 1032 1127 1168 4 159 267 310 1051 5 58 172 315 702 772 982 1096 25 502 713 1008 1086 12 471 686 183 487 594 749 878 1124 1141 28 103 189 419 527 868 1024 1071 1119 23 252 412 580 832 1078 99 232 519 594 649 769 917 976 993 1088 264 419 607 629 706 38 272 938 995 242 406 567 627 1121 344 367 534 691 821 884 134 680 793 910 1139 91 103 176 457 518 637 788 936 1133 935 331 684 808 831 900 1038 150 222 283 717 865 970 157 349 764 325 402 838 1052 1094 134 429 883 1103 241 310 757 841 888 1005 153 280 629 895 1107 61 91 520 627 798 3 93 134 412 494 386 572 881 959 1033 1145 76 433 909 992 44 204 282 290 593 26.86/27.00 o 1760 26.86/27.00 v 77 571 792 875 995 5 136 162 286 530 947 215 271 356 984 78 377 505 650 727 823 836 881 14 112 171 381 434 508 633 36 150 196 716 833 952 1089 35 101 160 232 554 630 682 922 918 1088 12 373 392 486 538 629 17 126 285 358 434 655 686 259 350 733 756 873 1040 24 334 665 808 464 537 921 972 1032 4 19 125 159 267 310 1051 5 58 172 315 702 772 982 1096 25 502 713 1008 1086 12 471 696 184 487 594 749 878 1124 1141 28 103 189 419 527 868 1024 1071 1135 23 252 412 580 832 1078 99 232 519 594 649 769 1023 1084 103 225 346 419 607 629 706 38 272 596 934 10 409 543 627 66 317 348 534 691 821 884 134 680 793 910 990 1074 103 176 457 518 637 813 935 753 820 331 684 808 831 903 1062 93 222 283 717 865 1043 182 349 764 325 402 838 1017 1089 1133 429 943 1094 215 310 757 841 888 1005 153 280 629 895 1031 1162 91 520 627 798 10 93 134 412 494 386 572 881 959 1033 1132 76 433 909 1004 1125 161 282 290 593 225.28/225.45 o 1761 225.28/225.45 v 77 571 792 875 995 27 136 162 286 530 1046 103 262 356 984 78 377 505 650 727 823 836 876 1097 100 171 381 434 508 633 36 150 196 716 833 952 1089 35 101 160 232 554 630 682 922 72 118 136 367 411 486 538 629 0 155 286 358 434 655 686 259 350 733 756 873 1001 26 334 653 806 462 537 921 972 1032 4 19 125 159 267 310 1051 5 58 172 315 702 772 982 1096 25 502 713 1008 1086 12 471 696 215 501 594 749 878 1124 1141 28 103 189 419 527 868 1024 1071 1158 23 252 412 580 832 1078 99 232 519 594 649 769 912 985 1011 1058 208 419 607 629 706 38 272 876 1018 8 438 542 637 726 312 363 543 691 821 884 134 680 793 910 980 1145 3 176 457 518 637 780 143 498 791 331 684 808 831 888 1093 143 222 283 717 865 959 189 349 764 325 402 838 1017 1089 1135 429 886 1159 212 310 757 841 888 1005 153 280 629 895 962 1009 1099 520 627 798 8 93 134 412 494 386 572 881 959 1033 1124 76 433 909 1004 1134 161 282 290 593 230.87/231.08 o 1762 230.87/231.08 v 77 571 792 875 995 5 136 162 286 530 574 81 230 356 984 78 377 505 650 727 823 836 885 9 113 171 381 434 508 633 36 150 196 716 833 952 1089 35 101 160 232 554 630 682 922 72 118 136 367 411 486 538 629 671 155 278 358 434 655 686 259 350 733 756 873 1047 26 334 658 779 1117 537 921 972 1032 4 19 125 159 267 310 1051 5 58 172 315 702 772 982 1096 25 502 713 1008 1086 12 471 666 226 512 594 749 878 1124 1141 28 103 189 419 527 868 1024 1071 1136 23 252 412 580 832 1078 99 232 519 594 649 769 925 966 1005 212 361 419 607 629 706 38 272 881 1019 1087 60 98 221 314 350 366 543 691 821 884 134 680 793 910 980 1167 3 176 457 518 637 780 1127 489 791 331 684 808 831 889 1094 118 222 283 717 865 978 164 349 764 325 402 838 1017 1089 12 429 905 1078 1 310 757 841 888 1005 153 280 629 895 962 1009 1086 520 627 798 1 93 134 412 494 386 572 881 959 1033 1136 76 433 909 1004 25 161 282 290 593 1813.94/1814.85 o 1763 1813.94/1814.85 v 118 314 535 605 827 916 212 399 774 31 86 223 394 530 857 12 108 431 532 668 856 1033 1126 77 234 289 390 467 600 798 197 562 640 1039 349 441 621 934 973 288 616 756 782 838 1010 39 103 157 332 421 633 713 796 895 102 239 308 469 645 845 10 158 338 791 939 583 649 784 956 9 538 925 995 1018 1057 24 204 366 452 596 602 791 895 1091 38 49 212 299 492 723 69 326 546 1093 40 133 220 293 413 713 924 993 1004 1101 1111 166 197 372 718 734 771 876 1121 52 123 248 409 915 1071 1119 20 88 403 571 594 616 696 772 817 1041 84 239 330 356 586 34 214 310 536 1020 1030 122 241 746 1159 70 120 475 882 1007 52 112 222 285 416 597 845 932 1028 246 399 484 685 887 1003 455 552 615 700 1065 1155 20 159 619 714 162 197 413 495 756 97 130 643 812 975 1121 530 752 22 98 257 337 633 894 1021 4 590 694 836 1080 1125 493 651 1079 351 486 632 701 974 1144 6 211 258 352 452 617 798 844 936 1035 61 358 427 711 769
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-1112180-1215863234/watcher-1112180-1215863234 -o /tmp/evaluation-result-1112180-1215863234/solver-1112180-1215863234 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112180-1215863234.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.04 2.01 2.00 4/80 17011 /proc/meminfo: memFree=1910256/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) R 17009 17011 15282 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 43026040 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 240472615583 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/17011/statm: 1339 230 191 169 0 50 0 [pid=17012] ppid=17011 vsize=5356 CPUtime=0 /proc/17012/stat : 17012 (concrete.sh) R 17011 17011 15282 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 43026040 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 240472615583 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/17012/statm: 1339 230 191 169 0 50 0 [startup+0.0477011 s] /proc/loadavg: 2.04 2.01 2.00 4/80 17011 /proc/meminfo: memFree=1910256/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.102767 s] /proc/loadavg: 2.04 2.01 2.00 4/80 17011 /proc/meminfo: memFree=1910256/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.301793 s] /proc/loadavg: 2.04 2.01 2.00 4/80 17011 /proc/meminfo: memFree=1910256/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.701859 s] /proc/loadavg: 2.04 2.01 2.00 4/80 17011 /proc/meminfo: memFree=1910256/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+1.50199 s] /proc/loadavg: 2.04 2.01 2.00 4/90 17022 /proc/meminfo: memFree=1893920/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 [pid=17014] ppid=17011 vsize=846228 CPUtime=1.47 /proc/17014/stat : 17014 (java) S 17011 17011 15282 0 -1 0 13070 0 1 0 139 8 0 0 18 0 10 0 43026041 866537472 12193 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17014/statm: 211557 12193 2574 9 0 206118 0 [pid=17014/tid=17015] ppid=17011 vsize=846228 CPUtime=0.75 /proc/17014/task/17015/stat : 17015 (java) R 17011 17011 15282 0 -1 64 3768 0 1 0 72 3 0 0 25 0 10 0 43026042 866537472 12193 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17016] ppid=17011 vsize=846228 CPUtime=0.52 /proc/17014/task/17016/stat : 17016 (java) S 17011 17011 15282 0 -1 64 7819 0 0 0 49 3 0 0 16 0 10 0 43026043 866537472 12193 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17017] ppid=17011 vsize=846228 CPUtime=0 /proc/17014/task/17017/stat : 17017 (java) S 17011 17011 15282 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 43026044 866537472 12193 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17018] ppid=17011 vsize=846228 CPUtime=0 /proc/17014/task/17018/stat : 17018 (java) S 17011 17011 15282 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 43026044 866537472 12193 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17019] ppid=17011 vsize=846228 CPUtime=0 /proc/17014/task/17019/stat : 17019 (java) S 17011 17011 15282 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 43026046 866537472 12193 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17020] ppid=17011 vsize=846228 CPUtime=0.16 /proc/17014/task/17020/stat : 17020 (java) R 17011 17011 15282 0 -1 64 748 0 0 0 16 0 0 0 16 0 10 0 43026046 866537472 12193 996147200 134512640 134550740 4294956000 18446744073709551615 101750380 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17021] ppid=17011 vsize=846228 CPUtime=0 /proc/17014/task/17021/stat : 17021 (java) S 17011 17011 15282 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 43026046 866537472 12193 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17022] ppid=17011 vsize=846228 CPUtime=0 /proc/17014/task/17022/stat : 17022 (java) S 17011 17011 15282 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 43026046 866537472 12193 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 851584 [startup+3.10126 s] /proc/loadavg: 2.04 2.01 2.00 3/91 17023 /proc/meminfo: memFree=1867800/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 [pid=17014] ppid=17011 vsize=850960 CPUtime=3.07 /proc/17014/stat : 17014 (java) S 17011 17011 15282 0 -1 0 27902 0 1 0 291 16 0 0 18 0 9 0 43026041 871383040 26894 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17014/statm: 212740 26894 2579 9 0 207300 0 [pid=17014/tid=17015] ppid=17011 vsize=850960 CPUtime=1.53 /proc/17014/task/17015/stat : 17015 (java) R 17011 17011 15282 0 -1 64 4203 0 1 0 149 4 0 0 25 0 9 0 43026042 871383040 26894 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17016] ppid=17011 vsize=850960 CPUtime=0.96 /proc/17014/task/17016/stat : 17016 (java) R 17011 17011 15282 0 -1 64 20687 0 0 0 87 9 0 0 16 0 9 0 43026043 871383040 26894 996147200 134512640 134550740 4294956000 18446744073709551615 104180252 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17017] ppid=17011 vsize=850960 CPUtime=0 /proc/17014/task/17017/stat : 17017 (java) S 17011 17011 15282 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43026044 871383040 26894 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17018] ppid=17011 vsize=850960 CPUtime=0 /proc/17014/task/17018/stat : 17018 (java) S 17011 17011 15282 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43026044 871383040 26894 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17019] ppid=17011 vsize=850960 CPUtime=0 /proc/17014/task/17019/stat : 17019 (java) S 17011 17011 15282 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43026046 871383040 26894 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17020] ppid=17011 vsize=850960 CPUtime=0.56 /proc/17014/task/17020/stat : 17020 (java) S 17011 17011 15282 0 -1 64 2275 0 0 0 54 2 0 0 15 0 9 0 43026046 871383040 26894 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17021] ppid=17011 vsize=850960 CPUtime=0 /proc/17014/task/17021/stat : 17021 (java) S 17011 17011 15282 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43026046 871383040 26894 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17022] ppid=17011 vsize=850960 CPUtime=0 /proc/17014/task/17022/stat : 17022 (java) S 17011 17011 15282 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43026046 871383040 26894 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 856316 [startup+6.3018 s] /proc/loadavg: 2.12 2.03 2.01 3/90 17023 /proc/meminfo: memFree=1811800/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 [pid=17014] ppid=17011 vsize=850900 CPUtime=6.27 /proc/17014/stat : 17014 (java) S 17011 17011 15282 0 -1 0 27949 0 1 0 611 16 0 0 18 0 9 0 43026041 871321600 26939 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17014/statm: 212725 26939 2580 9 0 207285 0 [pid=17014/tid=17015] ppid=17011 vsize=850900 CPUtime=4.49 /proc/17014/task/17015/stat : 17015 (java) R 17011 17011 15282 0 -1 64 4210 0 1 0 445 4 0 0 25 0 9 0 43026042 871321600 26939 996147200 134512640 134550740 4294956000 18446744073709551615 4127289168 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17016] ppid=17011 vsize=850900 CPUtime=1.18 /proc/17014/task/17016/stat : 17016 (java) S 17011 17011 15282 0 -1 64 20712 0 0 0 109 9 0 0 16 0 9 0 43026043 871321600 26939 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17017] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17017/stat : 17017 (java) S 17011 17011 15282 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43026044 871321600 26939 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17018] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17018/stat : 17018 (java) S 17011 17011 15282 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43026044 871321600 26939 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17019] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17019/stat : 17019 (java) S 17011 17011 15282 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43026046 871321600 26939 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17020] ppid=17011 vsize=850900 CPUtime=0.57 /proc/17014/task/17020/stat : 17020 (java) S 17011 17011 15282 0 -1 64 2290 0 0 0 55 2 0 0 15 0 9 0 43026046 871321600 26939 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17021] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17021/stat : 17021 (java) S 17011 17011 15282 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43026046 871321600 26939 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17022] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17022/stat : 17022 (java) S 17011 17011 15282 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43026046 871321600 26939 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 856256 [startup+12.7019 s] /proc/loadavg: 2.11 2.03 2.01 3/90 17023 /proc/meminfo: memFree=1810968/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 [pid=17014] ppid=17011 vsize=850900 CPUtime=12.67 /proc/17014/stat : 17014 (java) S 17011 17011 15282 0 -1 0 28214 0 1 0 1250 17 0 0 18 0 9 0 43026041 871321600 27203 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17014/statm: 212725 27203 2580 9 0 207285 0 [pid=17014/tid=17015] ppid=17011 vsize=850900 CPUtime=10.86 /proc/17014/task/17015/stat : 17015 (java) R 17011 17011 15282 0 -1 64 4463 0 1 0 1082 4 0 0 25 0 9 0 43026042 871321600 27203 996147200 134512640 134550740 4294956000 18446744073709551615 4127300495 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17016] ppid=17011 vsize=850900 CPUtime=1.18 /proc/17014/task/17016/stat : 17016 (java) S 17011 17011 15282 0 -1 64 20712 0 0 0 109 9 0 0 16 0 9 0 43026043 871321600 27203 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17017] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17017/stat : 17017 (java) S 17011 17011 15282 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43026044 871321600 27203 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17018] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17018/stat : 17018 (java) S 17011 17011 15282 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43026044 871321600 27203 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17019] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17019/stat : 17019 (java) S 17011 17011 15282 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43026046 871321600 27203 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17020] ppid=17011 vsize=850900 CPUtime=0.59 /proc/17014/task/17020/stat : 17020 (java) S 17011 17011 15282 0 -1 64 2302 0 0 0 57 2 0 0 16 0 9 0 43026046 871321600 27203 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17021] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17021/stat : 17021 (java) S 17011 17011 15282 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43026046 871321600 27203 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17022] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17022/stat : 17022 (java) S 17011 17011 15282 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43026046 871321600 27203 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 856256 [startup+25.503 s] /proc/loadavg: 2.08 2.03 2.00 3/90 17023 /proc/meminfo: memFree=1810264/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 [pid=17014] ppid=17011 vsize=850900 CPUtime=25.46 /proc/17014/stat : 17014 (java) S 17011 17011 15282 0 -1 0 28302 0 1 0 2529 17 0 0 18 0 9 0 43026041 871321600 27290 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17014/statm: 212725 27290 2580 9 0 207285 0 [pid=17014/tid=17015] ppid=17011 vsize=850900 CPUtime=23.65 /proc/17014/task/17015/stat : 17015 (java) R 17011 17011 15282 0 -1 64 4550 0 1 0 2361 4 0 0 25 0 9 0 43026042 871321600 27290 996147200 134512640 134550740 4294956000 18446744073709551615 4127364068 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17016] ppid=17011 vsize=850900 CPUtime=1.19 /proc/17014/task/17016/stat : 17016 (java) S 17011 17011 15282 0 -1 64 20713 0 0 0 110 9 0 0 16 0 9 0 43026043 871321600 27290 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17017] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17017/stat : 17017 (java) S 17011 17011 15282 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43026044 871321600 27290 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17018] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17018/stat : 17018 (java) S 17011 17011 15282 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43026044 871321600 27290 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17019] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17019/stat : 17019 (java) S 17011 17011 15282 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43026046 871321600 27290 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17020] ppid=17011 vsize=850900 CPUtime=0.59 /proc/17014/task/17020/stat : 17020 (java) S 17011 17011 15282 0 -1 64 2302 0 0 0 57 2 0 0 16 0 9 0 43026046 871321600 27290 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17021] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17021/stat : 17021 (java) S 17011 17011 15282 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43026046 871321600 27290 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17022] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17022/stat : 17022 (java) S 17011 17011 15282 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43026046 871321600 27290 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 856256 [startup+51.1023 s] ################ # More data... # ################ /proc/17014/task/17020/stat : 17020 (java) S 17011 17011 15282 0 -1 64 2308 0 0 0 59 2 0 0 16 0 9 0 43026046 871321600 27300 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17021] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17021/stat : 17021 (java) S 17011 17011 15282 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43026046 871321600 27300 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17022] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17022/stat : 17022 (java) S 17011 17011 15282 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43026046 871321600 27300 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3400.18 Current children cumulated vsize (KiB) 856256 [startup+3462.3 s] /proc/loadavg: 2.00 2.19 2.16 3/91 17412 /proc/meminfo: memFree=1840960/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 [pid=17014] ppid=17011 vsize=850900 CPUtime=3460.15 /proc/17014/stat : 17014 (java) S 17011 17011 15282 0 -1 0 28321 0 1 0 345924 91 0 0 18 0 9 0 43026041 871321600 27300 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17014/statm: 212725 27300 2580 9 0 207285 0 [pid=17014/tid=17015] ppid=17011 vsize=850900 CPUtime=3458.32 /proc/17014/task/17015/stat : 17015 (java) R 17011 17011 15282 0 -1 64 4561 0 1 0 345754 78 0 0 25 0 9 0 43026042 871321600 27300 996147200 134512640 134550740 4294956000 18446744073709551615 4127359351 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17016] ppid=17011 vsize=850900 CPUtime=1.19 /proc/17014/task/17016/stat : 17016 (java) S 17011 17011 15282 0 -1 64 20715 0 0 0 110 9 0 0 16 0 9 0 43026043 871321600 27300 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17017] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17017/stat : 17017 (java) S 17011 17011 15282 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43026044 871321600 27300 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17018] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17018/stat : 17018 (java) S 17011 17011 15282 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43026044 871321600 27300 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17019] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17019/stat : 17019 (java) S 17011 17011 15282 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43026046 871321600 27300 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17020] ppid=17011 vsize=850900 CPUtime=0.61 /proc/17014/task/17020/stat : 17020 (java) S 17011 17011 15282 0 -1 64 2308 0 0 0 59 2 0 0 16 0 9 0 43026046 871321600 27300 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17021] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17021/stat : 17021 (java) S 17011 17011 15282 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43026046 871321600 27300 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17022] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17022/stat : 17022 (java) S 17011 17011 15282 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43026046 871321600 27300 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3460.15 Current children cumulated vsize (KiB) 856256 [startup+3522.3 s] /proc/loadavg: 2.00 2.15 2.15 3/91 17412 /proc/meminfo: memFree=1840960/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 [pid=17014] ppid=17011 vsize=850900 CPUtime=3520.12 /proc/17014/stat : 17014 (java) S 17011 17011 15282 0 -1 0 28329 0 1 0 351921 91 0 0 18 0 9 0 43026041 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17014/statm: 212725 27307 2580 9 0 207285 0 [pid=17014/tid=17015] ppid=17011 vsize=850900 CPUtime=3518.29 /proc/17014/task/17015/stat : 17015 (java) R 17011 17011 15282 0 -1 64 4562 0 1 0 351751 78 0 0 25 0 9 0 43026042 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4127295107 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17016] ppid=17011 vsize=850900 CPUtime=1.19 /proc/17014/task/17016/stat : 17016 (java) S 17011 17011 15282 0 -1 64 20722 0 0 0 110 9 0 0 16 0 9 0 43026043 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17017] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17017/stat : 17017 (java) S 17011 17011 15282 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43026044 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17018] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17018/stat : 17018 (java) S 17011 17011 15282 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43026044 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17019] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17019/stat : 17019 (java) S 17011 17011 15282 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17020] ppid=17011 vsize=850900 CPUtime=0.61 /proc/17014/task/17020/stat : 17020 (java) S 17011 17011 15282 0 -1 64 2308 0 0 0 59 2 0 0 16 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17021] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17021/stat : 17021 (java) S 17011 17011 15282 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17022] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17022/stat : 17022 (java) S 17011 17011 15282 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3520.12 Current children cumulated vsize (KiB) 856256 [startup+3582.3 s] /proc/loadavg: 2.00 2.12 2.14 3/91 17412 /proc/meminfo: memFree=1840896/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 [pid=17014] ppid=17011 vsize=850900 CPUtime=3580.09 /proc/17014/stat : 17014 (java) S 17011 17011 15282 0 -1 0 28329 0 1 0 357918 91 0 0 18 0 9 0 43026041 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17014/statm: 212725 27307 2580 9 0 207285 0 [pid=17014/tid=17015] ppid=17011 vsize=850900 CPUtime=3578.27 /proc/17014/task/17015/stat : 17015 (java) R 17011 17011 15282 0 -1 64 4562 0 1 0 357749 78 0 0 25 0 9 0 43026042 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4127359181 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17016] ppid=17011 vsize=850900 CPUtime=1.19 /proc/17014/task/17016/stat : 17016 (java) S 17011 17011 15282 0 -1 64 20722 0 0 0 110 9 0 0 16 0 9 0 43026043 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17017] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17017/stat : 17017 (java) S 17011 17011 15282 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43026044 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17018] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17018/stat : 17018 (java) S 17011 17011 15282 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43026044 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17019] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17019/stat : 17019 (java) S 17011 17011 15282 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17020] ppid=17011 vsize=850900 CPUtime=0.61 /proc/17014/task/17020/stat : 17020 (java) S 17011 17011 15282 0 -1 64 2308 0 0 0 59 2 0 0 16 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17021] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17021/stat : 17021 (java) S 17011 17011 15282 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17022] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17022/stat : 17022 (java) S 17011 17011 15282 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3580.09 Current children cumulated vsize (KiB) 856256 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3602.3 s] /proc/loadavg: 2.00 2.11 2.13 3/91 17412 /proc/meminfo: memFree=1840896/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 [pid=17014] ppid=17011 vsize=850900 CPUtime=3600.09 /proc/17014/stat : 17014 (java) S 17011 17011 15282 0 -1 0 28329 0 1 0 359918 91 0 0 18 0 9 0 43026041 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17014/statm: 212725 27307 2580 9 0 207285 0 [pid=17014/tid=17015] ppid=17011 vsize=850900 CPUtime=3598.26 /proc/17014/task/17015/stat : 17015 (java) R 17011 17011 15282 0 -1 64 4562 0 1 0 359748 78 0 0 25 0 9 0 43026042 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4127359304 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17016] ppid=17011 vsize=850900 CPUtime=1.19 /proc/17014/task/17016/stat : 17016 (java) S 17011 17011 15282 0 -1 64 20722 0 0 0 110 9 0 0 16 0 9 0 43026043 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17017] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17017/stat : 17017 (java) S 17011 17011 15282 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43026044 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17018] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17018/stat : 17018 (java) S 17011 17011 15282 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43026044 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17019] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17019/stat : 17019 (java) S 17011 17011 15282 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17020] ppid=17011 vsize=850900 CPUtime=0.61 /proc/17014/task/17020/stat : 17020 (java) S 17011 17011 15282 0 -1 64 2308 0 0 0 59 2 0 0 16 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17021] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17021/stat : 17021 (java) S 17011 17011 15282 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17022] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17022/stat : 17022 (java) S 17011 17011 15282 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3600.09 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 [startup+3602.3 s] /proc/loadavg: 2.00 2.11 2.13 3/91 17412 /proc/meminfo: memFree=1840896/2055920 swapFree=4180596/4192956 [pid=17011] ppid=17009 vsize=5356 CPUtime=0 /proc/17011/stat : 17011 (concrete.sh) S 17009 17011 15282 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 43026040 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17011/statm: 1339 242 201 169 0 50 0 [pid=17014] ppid=17011 vsize=850900 CPUtime=3600.09 /proc/17014/stat : 17014 (java) S 17011 17011 15282 0 -1 0 28329 0 1 0 359918 91 0 0 18 0 9 0 43026041 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17014/statm: 212725 27307 2580 9 0 207285 0 [pid=17014/tid=17015] ppid=17011 vsize=850900 CPUtime=3598.26 /proc/17014/task/17015/stat : 17015 (java) R 17011 17011 15282 0 -1 64 4562 0 1 0 359748 78 0 0 25 0 9 0 43026042 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4127359304 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17016] ppid=17011 vsize=850900 CPUtime=1.19 /proc/17014/task/17016/stat : 17016 (java) S 17011 17011 15282 0 -1 64 20722 0 0 0 110 9 0 0 16 0 9 0 43026043 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17017] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17017/stat : 17017 (java) S 17011 17011 15282 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43026044 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17018] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17018/stat : 17018 (java) S 17011 17011 15282 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43026044 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17019] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17019/stat : 17019 (java) S 17011 17011 15282 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17020] ppid=17011 vsize=850900 CPUtime=0.61 /proc/17014/task/17020/stat : 17020 (java) S 17011 17011 15282 0 -1 64 2308 0 0 0 59 2 0 0 16 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17014/tid=17021] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17021/stat : 17021 (java) S 17011 17011 15282 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17014/tid=17022] ppid=17011 vsize=850900 CPUtime=0 /proc/17014/task/17022/stat : 17022 (java) S 17011 17011 15282 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43026046 871321600 27307 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3600.09 Current children cumulated vsize (KiB) 856256 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17011 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=1999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 3600.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 3602.32 CPU time (s): 3600.09 CPU user time (s): 3599.18 CPU system time (s): 0.91 CPU usage (%): 99.9381 Max. virtual memory (cumulated for all children) (KiB): 856520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 443 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 4 runsolver used 4.66229 second user time and 11.7772 second system time The end
Begin job on node15 at 2008-07-12 13:47:14 IDJOB=1112180 IDBENCH=61375 IDSOLVER=336 FILE ID=node15/1112180-1215863234 PBS_JOBID= 7903397 Free space on /tmp= 66496 MiB SOLVER NAME= Concrete + CSP4J - Tabu Engine 2008-05-30 BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-95-4.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-1112180-1215863234/watcher-1112180-1215863234 -o /tmp/evaluation-result-1112180-1215863234/solver-1112180-1215863234 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112180-1215863234.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 65012234ef8a22a0fbbf13548c18283e RANDOM SEED=553890810 node15.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.279 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.279 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: 1910736 kB Buffers: 14508 kB Cached: 46580 kB SwapCached: 6436 kB Active: 79612 kB Inactive: 23608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1910736 kB SwapTotal: 4192956 kB SwapFree: 4180596 kB Dirty: 1012 kB Writeback: 0 kB Mapped: 58028 kB Slab: 27040 kB Committed_AS: 987020 kB PageTables: 1956 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= 66496 MiB End job on node15 at 2008-07-12 14:47:19