4.52/4.64	c CPU-LOAD 2.69
4.52/4.64	c LOADED 225 V (888 E), 3150 DTPConstraint, arity 2, 2.69 cpu
6.50/6.63	s SATISFIABLE
6.50/6.63	o 3081
6.50/6.63	v 304 560 511 678 120 161 79 798 408 36 419 13 784 729 177 188 764 244 502 334 8 88 653 77 436 749 588 484 824 322 169 703 630 535 519 157 397 340 744 590 21 234 455 654 221 208 355 456 607 822 430 662 488 762 5 398 824 107 256 541 406 128 482 822 523 713 26 7 617 337 157 251 371 74 737 619 761 457 674 377 52 333 541 440 367 174 154 828 265 731 99 533 72 265 1 2 801 148 617 702 684 487 351 792 419 568 567 203 440 422 706 97 784 735 15 857 688 511 325 657 713 384 526 739 182 836 83 36 631 540 52 584 419 83 259 832 55 443 645 752 185 768 174 95 8 374 270 601 522 639 329 315 103 185 693 401 370 44 224 516 265 621 423 427 820 183 323 23 634 742 471 377 87 761 102 304 597 77 816 31 609 351 395 807 9 697 596 283 507 832 211 421 655 666 86 744 333 657 413 216 638 88 789 207 460 307 506 513 720 25 271 522 582 451 786 593 87 202 730 160 632 307 8 354 445 
6.60/6.75	o 3083
6.60/6.75	v 304 560 511 678 120 161 79 798 415 36 419 242 649 729 177 165 764 820 502 334 8 88 653 221 436 315 588 494 12 347 169 703 630 535 519 157 114 340 744 590 21 233 455 654 212 207 355 456 607 822 430 662 488 762 5 398 824 107 181 541 406 128 482 822 523 26 26 7 643 331 222 251 360 74 737 619 739 461 674 384 53 333 541 440 367 174 60 828 265 731 99 533 72 265 553 2 801 148 623 702 690 487 351 792 419 568 739 231 440 422 706 97 784 735 3 857 688 511 325 657 726 384 526 739 182 836 183 36 631 540 52 584 419 83 259 832 55 443 655 752 185 768 177 414 8 583 270 601 522 639 117 315 101 185 720 401 370 44 0 516 265 621 538 427 820 183 323 23 634 742 471 377 87 764 102 304 597 77 837 31 609 351 395 807 9 697 596 283 507 832 211 739 655 863 86 744 332 663 416 220 638 88 789 212 460 307 802 513 720 25 271 522 582 450 803 593 87 202 730 164 633 544 8 354 778 
6.60/6.76	o 3085
6.60/6.76	v 304 560 511 678 120 161 79 798 415 36 419 242 649 729 177 165 764 820 502 334 8 88 653 221 436 315 588 494 12 347 169 703 630 535 519 157 114 340 744 590 21 233 455 654 401 207 355 456 607 822 430 662 488 762 5 398 824 107 181 541 406 128 482 822 523 26 26 7 643 331 222 251 360 74 737 619 739 461 674 384 53 333 541 440 367 174 60 828 265 731 99 533 72 265 553 2 801 148 623 702 690 487 351 792 419 568 739 231 440 422 706 97 784 735 3 857 688 511 323 657 726 384 526 739 182 836 183 36 631 540 52 584 419 83 259 832 55 443 650 752 185 768 177 357 8 583 270 601 522 639 117 315 101 185 720 401 370 44 0 516 265 621 538 427 820 183 323 23 634 742 471 377 87 764 102 304 597 77 837 31 609 351 395 807 136 697 596 283 507 832 211 739 655 863 93 744 332 663 416 220 638 88 789 212 460 307 802 513 720 25 271 522 582 450 803 593 87 202 730 164 633 544 8 354 778 
6.60/6.78	o 3086
6.60/6.78	v 304 560 511 678 120 161 79 804 415 36 419 214 792 729 177 165 764 820 502 334 8 99 653 221 436 315 588 494 12 347 169 703 630 535 519 157 114 340 744 590 21 233 455 654 401 207 355 456 607 822 430 662 488 762 5 398 824 107 181 541 411 128 482 822 523 26 26 7 650 331 222 251 360 74 737 619 746 457 674 384 53 333 541 440 367 174 60 828 265 731 99 544 72 265 553 2 801 148 623 702 690 487 351 792 419 568 739 231 440 422 706 97 784 735 3 857 688 511 323 657 726 384 526 739 182 836 183 36 631 540 52 584 419 83 255 832 55 443 650 752 185 768 177 357 8 583 270 269 522 639 117 878 101 185 720 401 370 44 0 516 265 621 538 427 820 183 323 23 634 742 471 377 87 764 102 304 597 77 837 31 609 351 395 807 136 697 596 283 507 832 211 739 655 863 93 744 332 663 416 220 638 88 789 212 460 307 802 513 720 25 271 522 582 450 803 593 87 202 730 164 633 545 8 354 778 
6.60/6.78	o 3087
6.60/6.78	v 304 560 511 678 120 161 79 804 415 36 419 214 792 729 177 165 764 820 502 334 8 99 653 221 436 315 588 494 12 347 169 703 630 535 519 157 114 340 744 590 21 233 455 654 401 207 355 456 607 822 430 662 488 762 5 398 824 107 181 541 411 128 482 822 523 26 603 7 650 331 222 251 360 74 737 619 746 457 674 384 53 333 541 440 367 174 60 828 265 731 99 544 72 265 553 2 801 148 623 702 690 487 351 792 419 568 739 231 440 422 706 97 784 735 3 857 688 511 323 657 726 384 526 739 182 836 183 36 631 540 52 584 419 83 255 832 55 443 650 752 185 768 177 357 8 583 270 269 522 639 117 878 101 185 720 401 370 44 0 516 265 621 538 427 820 183 323 23 634 742 471 377 87 764 102 304 597 77 837 31 609 351 395 807 136 697 596 283 507 832 211 739 655 863 93 744 332 663 416 220 638 88 789 212 460 307 802 513 720 25 271 522 582 450 803 593 87 202 730 164 633 545 8 354 778 
6.60/6.79	o 3088
6.60/6.79	v 304 560 511 678 120 161 79 804 415 36 419 214 806 729 177 165 764 820 502 347 8 99 653 221 436 315 588 494 12 347 169 703 630 535 519 157 114 340 744 590 21 233 455 654 401 207 355 456 607 822 430 662 488 762 5 398 824 107 181 541 411 128 482 822 523 26 603 7 650 331 222 251 360 74 737 619 746 457 674 384 53 333 541 440 367 174 60 828 265 731 99 544 72 265 553 2 801 148 623 702 690 487 351 792 419 568 739 231 440 422 706 97 784 735 3 857 688 511 323 657 726 384 526 739 182 836 183 36 631 540 52 584 419 83 255 832 61 443 650 752 185 768 177 357 8 583 270 269 522 639 117 878 101 185 720 401 370 44 0 516 265 621 538 427 820 183 323 23 634 742 471 377 87 764 102 304 597 77 837 31 609 351 395 807 136 697 596 283 507 832 211 739 655 863 93 744 332 663 416 220 638 88 789 212 460 307 802 513 720 25 271 522 582 450 803 593 87 202 730 164 633 545 8 354 778 
6.69/6.81	o 3089
6.69/6.81	v 304 560 511 678 120 161 79 804 415 36 419 367 806 729 177 165 764 820 502 347 8 99 653 221 436 315 588 124 12 347 169 703 630 535 519 157 114 340 744 590 21 233 455 654 401 207 355 456 607 822 430 662 488 762 5 398 824 107 181 541 411 128 482 822 523 26 603 7 650 331 222 251 360 74 737 619 746 457 674 384 53 333 541 440 367 174 60 828 265 731 99 544 72 265 553 2 801 148 623 702 690 487 351 792 419 568 739 231 440 422 706 97 784 735 3 857 688 511 321 657 726 384 526 739 182 836 183 36 631 540 52 584 419 83 255 832 61 443 650 752 185 768 177 357 8 583 270 269 522 639 117 878 101 185 720 401 370 44 0 516 265 621 538 427 810 183 323 23 634 742 471 377 87 764 102 304 597 77 837 31 609 351 395 807 136 697 596 283 507 832 211 739 655 863 93 744 332 663 416 220 638 88 789 212 460 307 564 513 720 25 271 522 582 450 803 593 87 202 730 164 633 545 8 354 778 
6.69/6.84	o 3090
6.69/6.84	v 304 560 511 678 120 161 79 804 426 36 419 367 806 729 177 165 761 820 502 347 8 99 653 221 436 315 588 124 12 347 169 703 630 535 519 157 114 340 744 590 21 233 455 654 401 215 355 456 607 822 430 662 35 762 5 398 824 107 181 528 411 128 482 822 523 26 603 7 663 331 118 251 360 74 737 619 746 457 674 384 53 333 541 440 368 174 60 828 476 731 99 544 72 265 553 2 801 148 623 702 690 487 362 792 410 568 742 231 440 422 706 97 782 735 3 857 688 511 321 657 726 384 526 739 280 836 183 36 631 540 52 584 419 83 255 832 61 443 653 752 185 768 177 357 8 583 270 269 522 639 117 878 649 185 720 401 370 44 0 516 265 621 538 422 810 183 323 23 634 742 471 377 87 764 102 304 597 77 837 31 609 351 395 807 136 697 596 283 501 832 211 739 655 863 93 744 332 663 416 220 638 88 789 212 460 307 564 513 720 25 271 522 582 450 803 593 87 202 730 171 633 545 8 354 457 
6.69/6.86	o 3091
6.69/6.86	v 304 560 511 678 120 161 79 804 426 36 419 367 806 729 177 165 761 820 502 347 8 99 653 221 436 315 588 124 12 347 169 703 630 535 519 157 114 340 744 590 21 233 455 654 401 215 355 456 607 822 430 662 485 762 5 398 824 107 181 528 411 128 482 822 523 26 603 7 663 331 118 251 360 74 737 619 746 223 674 384 53 333 541 440 368 174 60 828 475 731 99 544 72 265 553 2 801 148 623 702 672 487 353 792 410 568 742 231 440 422 706 97 782 735 3 857 688 511 321 657 726 384 526 78 280 836 183 36 631 540 52 584 419 83 255 832 61 443 653 752 185 768 177 357 8 583 269 269 522 639 117 878 649 185 720 401 370 44 0 516 265 621 538 422 810 183 323 23 634 742 471 377 87 764 255 304 597 77 837 31 609 351 395 807 136 697 596 283 501 832 211 739 655 863 93 744 332 663 416 220 638 88 789 212 460 307 564 513 720 25 271 522 582 450 803 593 87 202 730 171 633 545 8 354 457 
6.69/6.86	o 3092
6.69/6.86	v 304 560 511 678 120 161 79 804 426 36 419 367 806 729 177 165 761 820 502 347 8 99 653 221 436 315 588 124 12 347 169 703 630 535 519 157 114 340 744 590 21 233 455 654 401 215 355 456 607 822 430 662 485 762 5 398 824 107 181 528 411 128 482 822 523 26 603 7 663 331 118 251 360 74 737 619 746 223 674 384 53 333 541 440 368 174 60 828 475 731 99 544 72 265 553 2 801 148 623 702 672 487 353 792 410 568 742 231 440 422 706 97 782 735 3 857 688 511 321 657 726 384 526 78 280 836 183 36 631 540 52 584 419 83 255 832 61 443 653 752 185 768 177 357 8 583 269 269 522 639 117 878 649 185 720 401 370 44 0 516 265 621 538 422 810 183 323 23 634 742 471 377 87 764 704 304 597 77 837 31 609 351 395 807 136 697 596 283 501 832 211 739 655 863 93 744 332 663 416 220 638 88 789 214 460 307 564 513 720 25 271 522 582 450 803 593 87 202 730 171 633 545 8 354 457 
6.69/6.87	o 3093
6.69/6.87	v 304 560 511 678 120 161 79 804 426 36 419 367 806 729 177 165 761 818 502 347 8 99 653 221 436 315 588 124 12 347 169 703 630 535 519 157 114 340 744 590 21 233 455 654 401 215 355 456 607 822 430 662 485 762 5 398 824 107 181 528 411 128 482 822 523 26 603 7 663 324 118 251 360 74 737 619 746 223 674 384 53 333 541 440 368 174 60 828 475 731 99 544 72 265 553 2 801 148 623 702 672 487 353 792 410 568 742 231 440 422 706 97 787 735 3 857 688 511 321 657 726 384 526 78 280 836 183 36 631 540 52 584 419 83 255 832 61 443 653 752 185 768 177 357 8 583 269 826 522 639 117 878 649 185 719 401 370 44 0 516 265 621 538 422 810 183 323 23 634 742 471 377 87 764 704 304 597 77 837 31 609 351 395 807 148 697 596 32 501 832 211 739 655 863 93 744 332 663 416 220 638 88 789 214 460 307 564 513 720 25 271 522 582 450 797 593 87 202 730 171 633 545 8 354 457 
6.69/6.88	o 3094
6.69/6.88	v 304 560 511 678 120 161 781 804 417 36 419 367 806 729 177 165 761 818 502 347 8 99 653 221 436 315 588 124 18 347 169 703 630 535 519 157 114 340 744 590 21 233 455 654 401 215 355 456 607 822 430 662 485 762 5 398 824 107 181 528 411 128 482 822 523 26 603 7 663 324 118 251 360 74 737 619 746 223 674 384 53 333 541 440 368 174 60 828 475 731 99 544 72 265 553 2 801 149 623 702 672 487 353 792 410 568 742 231 440 422 706 97 787 189 3 857 688 511 319 657 726 384 526 78 280 836 183 36 631 540 52 584 419 83 255 832 61 443 653 752 185 768 177 357 8 583 269 826 522 639 117 878 649 185 719 401 370 44 0 516 265 621 538 422 810 183 323 23 634 742 471 377 87 764 704 304 597 77 837 31 609 351 395 807 148 697 596 32 501 832 211 739 655 863 93 744 332 663 416 220 638 88 789 214 460 307 564 513 720 25 271 522 582 450 797 593 87 202 730 171 633 545 8 354 457 
6.79/6.91	o 3095
6.79/6.91	v 304 560 511 678 120 161 781 804 417 36 419 367 806 729 177 165 761 818 502 347 3 99 653 221 436 315 588 124 18 347 169 703 630 535 519 157 114 340 744 590 21 212 455 654 401 215 355 456 607 822 430 662 485 762 5 398 824 107 181 541 411 608 482 822 523 264 603 7 663 324 118 251 360 74 737 619 746 214 674 384 53 333 541 440 368 174 53 828 475 731 99 544 72 245 553 2 801 149 623 702 679 487 353 792 410 568 742 231 438 422 706 97 787 189 3 857 688 511 319 657 726 384 526 78 280 836 183 36 631 540 52 584 419 82 730 832 61 443 653 752 572 768 177 357 8 583 269 826 522 639 117 878 649 185 719 401 370 44 0 516 265 621 538 422 810 183 323 23 634 742 471 377 87 764 704 304 597 77 837 31 609 351 395 807 255 697 596 32 501 832 211 739 655 863 93 744 332 663 416 212 638 88 775 214 460 307 564 513 720 25 271 522 582 450 797 593 87 202 730 171 633 422 8 354 457 
6.99/7.15	o 3096
6.99/7.15	v 289 560 511 681 120 161 781 804 426 206 3 367 799 729 103 165 711 820 502 361 3 99 707 577 436 325 270 124 212 614 169 703 630 535 519 157 114 833 744 590 21 225 367 654 413 204 355 456 607 822 430 252 485 762 10 398 824 677 181 547 420 213 482 822 523 264 603 7 306 743 118 650 360 74 724 857 746 633 674 381 304 869 814 440 511 179 53 156 475 731 99 622 72 245 327 2 801 283 623 691 679 487 142 792 410 574 742 231 85 422 706 97 782 189 3 857 688 500 319 657 726 384 526 180 280 836 186 36 629 540 52 584 419 81 734 766 66 443 653 752 178 862 177 357 8 583 270 811 522 21 117 878 650 185 719 401 370 44 0 293 265 621 538 430 809 183 323 23 634 742 471 377 87 764 704 304 597 77 837 31 519 351 395 807 283 451 596 32 514 832 211 739 655 863 93 744 332 663 443 89 638 94 775 214 460 540 564 177 720 25 272 522 582 454 782 593 87 357 730 154 633 422 8 357 446 
6.99/7.15	o 3098
6.99/7.15	v 289 560 511 681 120 161 781 804 426 206 3 367 799 729 103 165 711 820 502 361 3 99 707 577 436 325 270 124 212 614 169 703 630 535 519 157 114 833 744 590 21 225 367 654 413 204 355 456 607 822 430 252 485 762 10 398 824 677 181 547 420 213 482 822 523 264 603 7 306 743 118 650 360 74 724 857 746 633 674 381 304 869 814 440 511 179 53 156 475 731 99 622 72 245 327 2 801 283 623 691 679 487 142 792 410 574 742 231 85 422 706 97 782 189 3 857 688 500 319 657 726 384 526 180 280 836 186 36 629 540 52 584 419 81 734 766 66 443 653 752 178 862 177 357 8 583 270 811 522 638 117 878 650 185 719 401 370 44 0 293 265 621 538 430 809 183 323 23 634 742 471 377 87 764 704 304 597 77 837 31 519 351 395 807 283 451 596 32 514 832 211 739 655 863 93 744 332 663 443 89 638 94 775 214 460 540 564 177 720 25 272 522 582 457 782 593 87 357 730 154 633 422 8 357 446 
7.19/7.31	o 3099
7.19/7.31	v 289 560 511 681 120 161 781 804 426 208 7 367 799 729 135 165 716 820 502 361 3 483 710 589 436 325 270 124 212 609 169 703 630 548 519 157 114 830 744 590 21 219 367 654 411 205 355 456 607 822 430 249 485 762 10 398 824 687 181 547 419 213 482 828 523 264 603 7 306 743 118 730 360 74 614 857 746 221 674 381 591 869 814 440 511 179 53 156 475 731 99 622 72 245 327 2 801 231 552 690 729 487 142 516 410 574 742 232 81 422 706 83 786 189 3 857 688 500 319 657 634 384 526 78 269 836 175 36 243 540 52 584 419 76 743 766 66 443 641 752 591 38 177 357 5 580 270 815 522 635 117 878 653 185 722 401 370 44 0 450 265 621 538 430 308 183 323 23 634 742 471 377 87 764 594 304 408 77 837 31 519 351 395 807 283 451 596 32 518 832 211 733 655 0 93 744 332 663 451 88 645 86 775 214 3 540 571 176 720 25 270 522 582 185 801 593 89 357 730 146 633 422 8 71 446 
7.19/7.32	o 3100
7.19/7.32	v 289 560 511 681 120 653 781 802 426 208 7 367 799 729 135 165 716 820 502 361 3 485 710 589 436 325 270 124 212 609 169 703 630 548 519 157 114 830 744 590 21 219 367 654 411 205 355 456 607 822 430 249 485 762 10 398 824 687 181 547 419 213 482 828 523 264 603 7 306 743 118 730 360 74 614 857 746 221 674 381 591 869 814 440 511 179 53 156 475 731 99 622 72 245 327 2 801 231 552 705 729 487 142 516 410 574 742 232 81 422 706 83 786 189 3 857 688 500 319 657 634 384 526 78 269 836 175 36 243 540 52 584 419 76 743 766 66 443 641 752 591 38 177 357 5 580 270 815 522 635 117 878 653 185 732 401 370 44 0 450 265 621 538 424 308 183 323 23 634 742 471 377 87 764 594 304 408 77 837 31 519 351 395 807 283 451 596 32 515 832 211 668 655 0 93 744 332 663 451 88 645 86 775 214 3 540 571 176 720 25 270 522 582 185 801 593 89 357 730 146 633 422 8 71 446 
7.19/7.34	o 3101
7.19/7.34	v 289 560 511 681 120 653 781 802 426 208 7 367 799 729 135 165 716 820 502 361 3 485 710 592 436 325 270 124 212 609 169 703 630 548 519 157 114 830 744 590 21 225 367 654 411 205 355 456 607 822 430 249 485 762 10 398 824 687 181 547 419 213 482 828 523 264 603 7 306 743 118 730 360 74 614 857 746 221 674 381 591 869 814 440 511 179 53 156 475 731 99 622 72 245 327 2 801 231 552 685 692 487 142 516 410 574 742 232 81 422 706 83 787 189 3 857 688 500 319 657 634 384 526 78 269 836 175 36 243 540 52 584 419 76 743 766 66 443 641 752 591 771 177 357 5 580 270 815 522 635 117 878 653 185 732 401 370 44 0 450 265 621 538 424 308 183 323 23 634 742 471 377 87 764 580 304 408 77 837 31 519 351 395 807 283 451 596 32 515 832 211 720 655 0 93 744 332 663 451 88 645 86 775 214 3 540 566 176 720 25 270 522 582 185 801 593 791 357 730 146 633 422 8 71 446 
7.29/7.41	o 3102
7.29/7.41	v 291 560 511 681 120 653 781 798 427 208 7 367 799 729 135 165 707 795 502 361 3 485 708 592 436 325 270 124 212 606 169 703 630 548 519 157 114 830 744 590 21 225 367 654 412 205 355 456 607 822 430 249 485 762 22 398 824 687 181 547 404 213 482 828 523 264 603 7 306 742 118 753 360 74 648 857 746 221 674 381 596 869 814 440 511 179 53 156 475 731 99 608 72 247 327 2 801 231 552 685 692 487 142 516 410 565 742 232 79 422 706 81 787 189 3 857 688 500 322 657 634 384 526 78 269 836 175 36 174 540 52 584 419 634 743 770 51 443 53 752 591 771 177 357 5 580 270 815 522 635 117 878 655 185 724 401 370 44 0 450 265 621 549 424 300 183 323 23 634 742 471 377 87 764 580 304 408 77 842 31 666 351 395 807 283 452 596 32 521 832 211 720 655 0 93 744 332 664 451 88 645 86 790 214 3 540 565 176 720 338 270 522 582 185 801 593 791 357 730 148 633 422 8 71 446 
7.29/7.41	o 3103
7.29/7.41	v 291 560 511 681 120 653 781 798 427 208 7 367 799 729 135 165 707 795 502 361 3 485 708 592 436 325 270 124 212 606 169 703 630 548 519 157 114 830 744 590 21 225 367 654 412 205 355 456 607 822 430 246 485 762 22 398 824 687 181 547 404 213 482 828 523 264 603 7 306 742 118 753 360 74 648 857 746 221 674 381 596 869 814 440 511 179 53 156 475 731 99 608 72 247 327 2 801 231 552 687 692 487 142 516 410 565 742 232 79 422 706 81 787 189 3 857 688 500 322 657 634 384 526 78 269 836 175 36 176 540 52 584 419 634 743 770 51 443 53 752 591 771 177 357 5 580 270 815 522 635 117 878 655 185 724 401 370 44 0 450 265 621 549 424 300 183 323 23 634 742 471 377 87 764 580 304 408 77 842 31 666 351 395 807 283 452 596 32 521 832 211 720 655 0 93 744 332 664 451 88 645 86 790 214 3 540 565 176 720 338 270 522 582 185 801 593 791 357 730 148 633 422 8 71 446 
7.29/7.42	o 3104
7.29/7.42	v 291 560 511 681 120 653 781 798 427 208 7 367 799 729 135 165 707 795 502 361 3 485 708 592 436 325 270 124 212 606 169 703 630 548 519 157 114 830 744 590 21 225 367 654 412 205 355 456 607 822 430 246 485 762 18 398 824 687 181 547 404 213 482 828 523 264 603 7 306 742 118 753 360 74 648 857 746 221 674 381 596 869 814 440 511 179 53 156 475 731 99 608 72 247 327 2 801 231 552 687 692 487 142 516 410 565 742 232 79 422 706 81 787 189 3 857 688 500 322 657 634 384 526 78 269 836 175 36 176 540 52 584 419 634 744 770 51 443 53 752 2 151 177 357 5 580 270 815 522 635 117 878 655 185 724 401 370 44 0 450 265 621 549 424 300 183 323 23 634 742 471 377 87 764 580 304 408 77 842 31 666 351 395 807 283 452 596 32 521 832 211 720 655 0 93 744 332 664 451 53 645 86 790 214 3 540 565 176 720 338 270 522 582 185 785 593 791 357 730 148 633 422 8 71 446 
7.39/7.58	o 3105
7.39/7.58	v 291 560 511 670 120 653 781 799 427 209 7 367 806 729 135 165 190 95 504 361 3 485 749 592 436 325 270 124 212 642 169 703 616 548 519 157 114 830 744 590 21 218 367 654 416 214 355 456 607 822 430 656 485 762 18 398 824 132 181 547 414 213 482 828 523 264 603 7 306 742 118 634 360 36 648 857 746 238 674 370 60 869 814 440 511 171 319 156 475 731 99 608 72 261 327 2 801 231 536 690 677 487 142 516 410 565 742 234 81 422 706 81 787 189 3 857 688 500 322 657 642 384 526 78 269 836 175 36 176 540 52 584 419 640 742 770 51 443 623 752 855 91 177 357 7 580 270 807 522 653 117 878 654 185 729 401 370 44 0 451 265 621 549 434 821 184 323 23 663 742 471 377 84 764 142 304 619 77 842 31 666 351 395 807 283 452 596 32 521 832 211 720 655 0 93 744 332 665 451 78 645 95 767 216 3 540 569 176 720 337 270 522 582 178 786 593 536 357 730 148 633 422 8 71 446 
7.98/8.12	o 3106
7.98/8.12	v 291 560 511 670 120 653 781 262 426 160 7 367 802 729 138 826 371 91 505 348 3 472 749 593 97 551 270 137 215 654 169 703 616 548 519 157 114 830 741 590 21 217 367 646 416 214 355 456 607 822 430 655 485 754 6 398 824 92 181 547 405 213 482 828 523 264 603 7 304 742 82 648 360 36 652 857 746 636 5 235 52 869 814 440 511 172 310 156 475 731 99 526 72 4 327 585 780 232 141 683 672 487 141 516 410 565 734 266 779 422 706 99 780 189 3 857 688 500 293 657 632 384 526 78 269 836 693 36 177 540 52 584 419 729 741 770 52 438 621 752 809 857 178 357 8 579 272 844 522 645 117 878 655 185 272 401 370 41 0 451 240 614 544 434 781 181 323 23 658 742 471 378 84 764 142 304 619 77 842 31 166 351 406 807 283 469 596 72 514 832 211 730 869 0 624 744 332 664 438 52 645 152 767 237 338 540 569 28 720 444 281 522 514 535 632 596 77 275 730 158 796 414 8 439 360 
8.28/8.42	o 3108
8.28/8.42	v 288 560 511 670 638 653 781 502 420 160 7 367 802 729 98 842 371 160 475 346 3 469 749 593 70 551 270 696 84 343 177 703 616 548 519 157 329 830 741 590 21 230 367 646 414 214 355 456 607 822 430 654 485 754 13 398 824 310 181 119 416 213 482 828 523 264 517 7 304 742 99 646 360 36 651 857 745 646 5 592 52 869 814 332 512 181 414 156 174 731 99 526 72 4 327 585 780 226 623 674 664 487 139 516 410 565 731 262 79 421 706 86 789 176 3 857 688 424 316 657 175 384 526 77 281 836 274 36 175 540 642 584 665 714 724 770 56 438 655 752 809 150 178 357 8 579 270 844 522 270 117 878 649 185 273 401 370 31 0 441 240 614 544 424 781 181 323 23 670 742 471 378 84 764 142 304 619 77 842 31 166 351 406 807 283 464 596 72 514 832 211 730 869 0 621 744 332 664 395 127 645 247 767 216 463 540 569 22 720 26 272 522 514 537 633 596 77 3 730 158 783 414 17 441 360 
8.58/8.72	o 3109
8.58/8.72	v 288 655 517 241 638 404 781 509 423 160 4 359 802 729 98 450 211 115 491 359 3 215 749 593 70 551 270 696 830 359 71 703 616 548 519 157 329 830 741 590 21 230 367 646 411 214 355 456 607 822 142 654 485 754 28 459 824 310 181 532 349 213 490 827 523 264 647 7 304 742 99 415 588 36 652 857 745 650 5 592 56 869 814 332 512 181 409 156 270 731 99 526 72 4 327 585 188 229 838 677 664 487 139 516 410 565 729 244 79 445 717 80 780 176 5 857 688 384 305 657 175 384 526 78 438 836 360 36 211 540 642 584 665 733 747 770 56 442 655 752 809 150 180 357 8 579 432 844 522 273 117 878 651 185 278 401 370 31 0 295 240 614 544 433 781 181 322 23 670 742 471 376 84 764 142 304 619 77 574 31 166 351 406 807 283 468 596 72 514 832 211 730 869 0 625 744 330 203 12 106 645 121 783 212 313 540 569 419 720 26 272 522 514 537 646 596 88 8 730 146 798 411 184 457 360 
8.58/8.73	o 3110
8.58/8.73	v 288 655 517 241 638 404 781 509 423 160 4 359 802 729 98 450 211 115 491 359 3 215 749 593 70 551 270 696 830 359 71 703 616 548 519 157 329 830 741 590 21 230 367 646 416 214 355 456 607 822 142 654 485 754 28 459 824 310 181 532 349 213 490 827 523 264 647 7 304 742 99 415 588 36 652 857 745 650 5 592 56 869 814 332 512 181 409 156 270 731 99 526 72 4 327 585 188 229 838 677 664 487 139 516 410 565 729 244 79 445 717 80 780 176 5 857 688 403 305 657 175 384 526 78 440 836 360 36 211 540 642 584 665 733 747 770 56 442 655 752 809 150 180 357 8 579 432 844 522 273 117 878 651 185 278 401 370 31 0 676 240 614 544 433 781 181 322 23 670 742 471 376 84 764 142 304 619 77 574 31 166 351 406 807 283 468 596 72 514 832 211 730 869 0 630 744 330 203 12 106 645 121 783 212 313 540 569 415 720 26 272 522 514 537 646 596 88 8 730 146 798 411 184 457 360 
8.58/8.73	o 3112
8.58/8.73	v 288 655 517 241 638 404 781 509 423 160 4 359 802 729 98 450 211 115 491 359 3 215 749 593 70 551 270 696 830 359 71 703 616 548 519 157 329 830 741 590 21 230 367 646 416 214 355 456 607 822 142 654 485 754 28 459 824 310 181 532 349 213 490 827 523 264 647 7 304 742 99 415 588 36 652 857 745 650 5 592 56 869 814 332 512 181 409 156 270 731 99 526 72 4 327 585 188 229 838 677 664 487 139 516 410 565 729 244 79 445 717 80 780 176 5 857 688 403 305 657 175 384 526 78 440 836 360 36 211 540 642 584 665 733 747 770 56 442 655 752 809 150 180 357 8 579 432 844 522 273 117 878 651 185 278 401 370 31 0 676 240 614 544 433 781 181 322 23 670 742 471 376 84 764 142 304 619 77 574 31 166 351 406 807 283 468 596 72 514 832 211 730 869 0 630 744 330 664 12 106 645 121 783 212 313 540 569 415 720 26 272 522 514 537 646 596 88 8 730 146 798 411 184 457 360 
8.67/8.82	o 3113
8.67/8.82	v 288 562 815 663 638 404 781 509 428 160 5 359 803 729 98 450 211 115 491 350 3 740 749 593 70 551 270 696 830 359 71 703 616 548 519 157 329 830 741 590 21 230 367 646 416 214 355 456 607 822 142 654 485 754 28 459 824 399 181 527 349 213 490 813 523 264 647 7 304 742 99 415 588 36 652 857 745 36 5 592 648 869 814 332 512 181 409 156 270 731 99 526 72 4 327 585 180 229 838 717 679 635 139 516 410 565 730 262 510 445 717 80 780 176 5 849 688 403 305 657 90 310 526 78 439 836 360 36 211 540 642 584 665 726 746 770 56 437 655 752 809 150 180 357 8 579 421 844 522 272 117 878 651 185 278 401 370 31 0 822 240 614 541 433 734 181 831 23 670 742 471 343 84 764 142 304 619 0 34 33 166 351 406 807 283 468 596 72 514 832 211 730 869 0 630 744 330 467 12 86 645 122 790 212 286 540 569 420 720 665 272 522 514 537 646 596 88 8 730 146 783 411 464 457 360 
8.67/8.83	o 3114
8.67/8.83	v 288 562 815 663 638 404 781 509 428 160 5 359 803 729 98 450 211 115 491 350 3 740 749 593 70 551 270 696 830 359 71 703 616 548 519 157 329 830 741 590 21 230 367 646 416 214 355 456 607 822 142 654 485 754 28 459 824 399 181 527 349 213 490 813 523 264 647 7 304 742 99 415 588 36 652 857 745 36 5 592 648 869 814 332 512 181 409 156 270 731 99 526 72 4 327 585 180 229 838 717 679 635 139 516 410 565 730 262 453 445 717 80 780 176 5 849 688 403 305 657 90 310 526 78 439 836 360 36 211 540 642 584 665 726 746 770 56 437 655 752 809 150 180 357 8 579 421 844 522 272 117 878 651 185 278 401 370 31 0 822 240 614 541 433 734 181 831 23 670 742 471 343 84 764 142 304 619 0 582 33 166 351 406 807 283 468 596 72 514 832 211 730 869 0 630 744 330 467 12 86 645 122 790 212 286 540 569 420 720 665 272 522 514 537 646 596 88 8 730 152 783 411 464 457 360 
8.67/8.86	o 3115
8.67/8.86	v 288 562 514 663 638 404 781 509 428 160 5 359 803 729 98 450 211 115 491 350 3 740 737 593 70 551 270 696 830 359 71 703 616 548 519 157 329 830 741 590 21 230 367 646 411 214 163 456 607 822 142 654 485 754 28 459 824 399 181 527 349 213 490 813 523 264 647 7 304 747 99 415 588 36 652 857 745 36 5 592 648 869 814 332 512 181 409 156 270 731 99 526 72 4 327 585 193 229 838 717 679 635 139 516 410 565 730 262 453 445 717 80 780 176 5 849 688 403 296 657 95 310 526 78 439 836 360 36 211 540 642 584 665 726 746 770 56 663 655 752 809 150 180 357 8 579 427 844 522 270 117 878 651 185 278 401 370 31 0 821 240 614 541 433 734 181 835 23 670 742 471 341 84 764 142 304 619 0 582 33 166 351 406 807 283 688 596 72 514 832 211 730 869 0 630 744 330 467 12 105 645 122 790 212 286 540 569 420 720 665 272 522 514 537 645 596 88 8 730 152 783 411 168 457 360 
8.67/8.86	o 3116
8.67/8.86	v 288 562 514 663 638 404 781 509 428 160 5 359 803 729 98 450 211 115 491 350 3 740 737 593 70 551 270 696 830 359 71 703 616 548 519 157 329 830 741 590 21 230 367 646 411 214 163 456 607 822 142 654 485 754 28 459 824 399 181 527 349 213 490 813 523 264 647 7 304 747 99 415 588 36 652 857 745 36 5 592 648 869 814 332 512 181 409 156 270 731 99 526 72 4 327 585 193 229 838 749 679 635 139 516 410 565 730 262 453 445 717 80 778 176 5 849 688 403 296 657 95 310 526 78 439 836 360 36 211 540 642 584 665 726 746 770 56 663 655 752 809 150 180 357 8 579 427 844 522 270 117 878 651 185 278 401 370 31 0 821 240 614 541 433 734 181 835 23 670 742 471 341 84 764 142 304 619 0 582 33 166 351 406 807 283 688 596 72 514 832 211 730 869 0 630 744 330 467 12 105 645 122 790 212 286 540 569 420 720 665 272 522 514 537 645 596 88 8 730 152 783 411 168 457 360 
8.67/8.88	o 3119
8.67/8.88	v 288 562 514 663 638 404 781 509 428 160 5 359 803 729 98 450 211 115 491 365 3 740 749 593 70 551 270 696 830 350 71 703 616 548 519 157 329 830 741 590 21 230 367 646 411 214 163 456 607 822 142 654 485 754 28 459 824 399 181 527 349 213 490 813 523 264 647 7 304 747 99 415 588 36 652 857 745 36 5 592 648 869 814 332 512 181 409 156 270 731 99 526 72 4 327 585 193 229 838 749 679 635 139 516 410 565 730 262 453 445 717 80 778 176 5 535 688 403 296 657 95 310 526 78 439 836 360 36 211 540 642 584 665 726 746 770 56 663 655 752 809 150 180 357 8 579 427 844 522 270 117 878 651 185 278 401 370 31 0 821 240 614 543 433 734 181 835 23 670 742 471 341 84 764 142 304 619 0 582 33 166 351 406 807 283 28 596 72 514 832 211 730 869 0 630 744 330 467 12 105 645 122 790 208 286 540 569 420 720 665 272 522 514 536 645 596 88 8 730 248 783 411 168 457 360 
13.92/14.13	o 3120
13.92/14.13	v 789 9 500 15 639 675 781 698 555 408 180 328 172 81 271 833 121 399 499 385 3 822 738 571 69 184 13 695 215 271 71 42 623 536 519 616 0 830 741 590 450 301 690 646 149 659 163 456 2 822 142 180 832 754 574 459 376 245 353 512 310 213 275 15 506 110 883 722 796 739 318 422 588 848 630 857 750 160 115 631 0 869 814 75 500 281 378 688 595 719 84 477 631 803 13 369 673 239 180 230 105 645 432 404 550 21 341 237 696 540 452 3 469 176 99 605 688 399 788 657 404 687 148 508 77 837 284 63 200 7 178 353 759 547 748 770 76 369 7 757 479 811 261 108 842 257 171 681 510 597 418 878 639 41 790 401 370 532 452 580 240 185 85 280 721 181 833 814 669 742 464 332 84 295 142 432 620 0 754 13 575 739 367 807 498 456 755 310 74 832 184 1 869 714 625 187 752 452 1 659 639 102 769 76 406 540 563 250 873 344 569 400 866 808 224 414 60 116 529 651 307 194 462 2 763 
18.57/18.85	o 3121
18.57/18.85	v 403 239 559 190 631 675 610 404 237 319 74 20 728 837 491 134 17 363 491 8 800 653 465 765 613 431 83 720 541 274 749 699 623 536 809 616 864 635 75 490 27 389 211 185 259 711 163 456 97 887 142 180 637 821 540 47 382 494 72 307 148 213 279 756 506 19 2 726 846 405 301 69 588 471 632 857 759 196 821 118 615 177 239 75 492 286 392 691 31 719 170 475 725 101 648 367 281 538 410 782 14 753 194 404 560 788 487 401 696 539 639 1 277 169 94 605 688 359 774 657 436 687 777 90 549 256 334 312 552 11 757 644 198 73 803 802 175 623 535 728 497 370 533 0 841 756 85 325 275 406 406 878 16 487 786 219 1 169 547 572 240 456 713 291 111 67 829 814 657 492 513 325 8 731 216 254 624 0 450 278 575 739 815 790 383 178 169 310 1 620 501 220 782 704 69 851 759 472 0 527 265 177 84 80 406 638 671 663 873 345 668 423 866 192 326 606 805 108 13 644 516 84 455 255 749 
19.56/19.89	o 3122
19.56/19.89	v 820 323 554 190 631 675 610 405 238 319 74 21 723 501 67 134 196 290 553 6 793 368 466 789 613 431 83 720 657 277 765 699 623 536 821 616 864 635 125 490 22 358 273 84 215 718 6 456 97 887 142 160 618 825 540 47 382 494 668 304 152 213 279 756 506 730 2 41 322 394 301 69 588 471 631 857 757 196 821 697 618 177 563 75 489 286 391 158 31 7 170 405 725 101 648 762 281 534 363 799 14 250 194 404 466 788 487 401 321 702 639 1 535 169 96 605 688 359 215 657 431 400 777 89 548 256 334 312 620 11 757 693 198 91 803 802 174 623 532 728 497 370 533 1 837 753 85 325 275 405 406 878 18 168 790 219 1 668 547 572 240 456 717 291 111 70 829 814 621 492 520 325 8 731 692 254 291 0 201 765 575 739 815 790 383 416 169 310 1 620 501 220 782 704 71 851 661 472 0 527 638 166 68 94 406 745 775 314 873 253 651 423 866 188 4 606 258 108 541 316 801 84 449 26 749 
19.56/19.89	o 3123
19.56/19.89	v 820 323 554 190 631 675 610 405 238 319 74 21 723 501 67 134 196 290 553 6 793 368 466 789 613 431 83 720 657 277 765 699 623 536 821 616 864 635 125 490 22 358 273 84 215 718 6 456 97 887 142 160 618 825 540 47 382 494 668 304 152 213 279 756 506 730 2 41 322 394 301 69 588 471 631 857 757 196 821 697 618 177 563 75 489 286 391 158 31 7 170 405 725 101 648 762 281 534 363 799 14 250 194 404 466 788 487 401 321 702 639 1 535 169 96 605 688 359 215 657 431 400 777 89 548 256 334 312 620 11 757 693 198 91 803 802 174 623 532 728 497 370 533 1 837 753 85 325 275 405 406 878 18 168 790 219 1 668 547 572 240 456 717 291 111 70 829 814 621 492 520 325 8 731 692 254 630 0 201 765 575 739 815 790 383 416 169 310 1 620 501 220 782 704 71 851 661 472 0 527 638 166 68 71 406 745 775 314 873 253 651 423 866 188 4 606 258 108 541 316 801 84 449 26 749 
19.85/20.18	o 3124
19.85/20.18	v 816 325 554 190 631 675 610 407 238 320 66 15 737 688 490 134 189 278 489 0 770 364 464 176 849 431 83 720 284 628 765 699 623 536 821 616 864 635 125 490 22 358 317 84 211 708 6 456 97 887 142 160 618 825 540 47 382 494 668 304 822 213 279 756 506 730 2 41 149 407 301 69 588 471 631 857 751 196 821 697 618 177 563 75 489 292 391 158 31 7 170 405 725 101 634 134 281 534 363 758 14 250 194 404 463 776 487 401 327 702 639 1 535 169 94 605 688 834 215 657 431 400 777 89 548 256 323 312 621 11 757 693 198 94 801 802 174 623 527 728 497 370 533 1 840 753 85 325 275 405 406 878 18 168 790 219 1 668 547 572 240 456 720 291 111 69 829 814 276 492 513 325 8 731 692 254 630 0 201 765 575 739 815 790 383 416 169 310 1 620 501 220 782 704 71 851 667 472 0 527 638 166 68 70 406 745 768 314 873 253 668 423 436 188 331 606 258 108 541 324 799 84 449 26 749 
19.95/20.20	o 3125
19.95/20.20	v 816 325 554 190 631 675 610 407 238 320 66 15 737 688 490 134 189 283 559 0 770 364 466 180 849 431 83 720 284 628 765 699 623 536 821 616 864 635 125 490 22 358 267 84 211 708 6 456 97 887 142 160 618 825 540 47 382 494 668 304 822 213 279 756 506 730 2 41 149 407 301 69 588 471 631 857 751 196 821 697 618 177 563 75 489 292 391 158 31 7 170 405 725 101 634 134 281 534 363 751 14 250 194 404 463 776 487 401 318 702 639 1 535 169 92 605 688 834 215 657 431 400 777 89 548 256 323 312 621 11 757 693 198 45 801 802 174 623 527 728 497 370 533 1 840 753 85 325 275 405 406 878 18 168 790 219 1 668 547 572 240 456 720 291 111 69 829 814 276 492 513 355 8 731 692 254 630 0 201 765 575 739 815 790 383 416 169 310 1 620 501 220 782 704 71 851 658 472 0 527 638 166 68 73 406 745 771 310 873 253 668 423 0 188 331 606 258 108 541 324 799 84 449 26 749 
31.33/31.75	o 3126
31.33/31.75	v 752 463 276 7 450 166 702 179 67 270 539 842 555 647 374 127 368 818 171 545 741 296 53 623 442 512 1 247 450 612 742 446 875 126 824 705 790 636 529 490 167 238 80 713 345 436 269 884 302 887 8 538 27 355 189 776 649 78 740 811 384 53 20 212 821 556 2 7 762 138 584 297 716 103 453 7 188 532 31 822 271 172 381 350 739 443 611 110 134 16 767 638 299 368 383 797 205 540 709 77 5 330 834 326 464 691 848 558 181 263 2 26 169 127 468 654 546 807 333 436 131 545 633 691 818 406 251 4 474 793 363 832 646 151 29 802 466 95 694 597 561 176 206 630 306 839 7 763 207 370 140 878 799 750 354 219 1 76 722 663 239 491 560 269 16 58 831 816 406 161 514 619 754 264 166 40 214 0 648 319 645 721 406 269 373 4 736 298 466 174 213 789 865 692 71 62 359 633 558 444 177 93 445 702 195 4 806 249 28 239 355 875 468 66 351 223 8 129 740 554 653 439 291 483 815 
155.55/157.26	o 3127
155.55/157.26	v 12 803 153 646 0 875 373 693 701 559 221 322 382 84 487 81 545 12 757 631 303 302 124 439 847 695 369 203 236 750 156 113 532 456 440 5 345 52 626 24 560 776 304 394 200 131 595 525 824 887 220 318 478 0 740 86 531 248 433 616 31 774 8 830 306 208 825 754 260 674 108 459 405 369 534 117 825 143 408 554 134 627 459 372 644 735 9 301 226 0 635 150 741 777 214 111 654 537 1 301 464 68 846 0 395 645 498 204 231 807 874 426 572 564 734 325 320 140 35 393 442 399 660 109 26 313 432 1 225 539 585 355 606 784 676 510 722 647 211 2 844 296 109 440 394 338 16 596 545 120 751 214 460 723 783 382 876 150 611 399 554 268 308 22 636 528 761 817 661 884 13 118 400 627 263 362 328 2 460 835 500 65 554 133 367 83 4 318 647 457 724 245 44 9 150 205 640 832 110 541 186 542 728 305 41 401 464 733 0 233 446 427 383 17 792 747 84 173 394 543 250 143 670 787 341 
801.73/810.15	o 3128
801.73/810.15	v 297 816 710 366 655 688 84 97 216 207 543 25 416 603 758 148 87 10 567 726 619 220 469 710 810 188 327 851 413 323 366 245 1 492 864 656 675 25 120 98 438 759 711 217 556 405 47 883 269 9 358 777 495 535 146 664 709 315 379 76 496 403 452 43 196 861 882 169 0 710 566 279 124 664 766 143 771 680 183 462 523 110 842 219 609 284 9 250 11 374 8 29 684 345 616 173 712 792 126 243 464 93 414 2 535 328 175 762 683 250 507 794 88 523 607 11 883 45 407 568 210 12 559 686 326 853 582 1 471 655 43 403 790 225 90 135 771 558 389 545 189 860 280 704 635 231 38 507 457 371 231 660 498 862 373 759 276 125 4 298 632 727 793 27 567 546 835 377 723 49 71 230 460 8 333 384 647 1 683 411 230 109 153 691 284 349 6 822 41 525 760 570 494 664 393 538 406 14 781 410 868 568 313 673 261 649 114 675 88 191 564 129 882 824 45 773 161 463 415 457 298 4 224 652 714 
3060.25/3076.18	o 3129
3060.25/3076.18	v 750 168 680 332 18 1 880 596 243 31 384 120 794 536 476 607 822 220 37 27 141 292 141 355 98 512 460 649 547 688 232 683 877 275 849 2 562 792 594 438 719 36 484 531 338 2 557 326 169 0 853 597 413 250 477 872 330 771 830 708 30 682 456 114 330 867 99 516 176 529 587 243 477 401 733 779 542 138 26 482 609 224 284 253 808 684 337 0 96 239 868 175 794 290 358 825 705 602 129 437 531 15 247 1 57 611 783 695 105 387 275 177 625 558 452 312 545 827 1 356 214 250 527 594 26 856 396 572 141 370 101 314 781 397 698 550 395 233 663 3 110 635 143 312 730 787 17 594 838 509 53 486 703 8 777 869 238 93 356 179 140 417 517 600 274 36 607 23 801 884 439 241 336 752 141 0 204 875 688 549 307 9 30 267 698 352 86 521 140 744 783 404 117 479 596 857 288 287 561 398 366 0 637 150 486 826 198 733 537 84 315 2 15 85 230 844 30 544 790 440 696 668 143 609 398 
3595.39/3611.59	o 3130
3595.39/3611.59	v 792 129 258 201 428 458 450 358 1 559 310 83 692 642 478 424 732 100 280 788 354 507 97 173 573 853 681 472 613 6 818 618 586 511 863 722 488 735 146 340 280 378 649 115 10 477 235 3 767 880 201 94 813 705 16 456 252 605 318 354 277 88 789 15 706 153 882 74 366 412 507 809 616 671 186 375 208 480 25 602 281 458 382 871 778 108 657 5 51 575 855 200 705 89 0 525 342 562 663 419 266 815 773 887 570 349 132 25 262 718 0 468 194 426 600 852 878 811 690 557 734 74 839 152 265 426 656 881 3 858 611 110 565 457 340 438 175 102 357 282 705 57 474 564 9 5 752 842 655 477 131 843 277 785 364 112 852 628 572 483 674 595 705 171 47 667 560 344 100 11 456 767 42 295 619 250 204 182 417 357 406 0 833 359 516 85 758 654 447 625 181 551 44 16 268 422 691 772 683 570 854 488 0 106 295 827 345 116 873 216 171 630 0 89 181 652 451 387 581 736 273 361 20 513 693 
3595.49/3611.61	o 3131
3595.49/3611.61	v 792 129 258 201 428 458 450 358 2 559 310 83 692 642 478 424 732 100 280 788 354 507 97 173 573 853 681 472 613 6 818 618 586 511 863 722 488 735 146 340 280 378 649 115 10 477 235 3 767 880 201 94 813 705 16 456 252 605 318 354 277 88 789 15 706 153 882 74 366 412 507 809 616 671 178 375 208 480 25 602 281 458 382 871 778 108 657 5 51 575 855 200 705 89 0 525 342 562 663 419 266 815 773 887 564 349 132 25 262 706 0 468 194 426 600 852 878 811 690 557 739 74 839 152 265 426 656 881 3 858 611 110 565 457 340 438 175 102 357 282 705 57 474 564 300 5 752 842 655 477 131 843 277 785 364 112 852 628 572 483 674 595 705 185 47 667 560 344 100 11 456 767 42 295 619 250 204 182 417 357 406 0 833 359 516 85 758 654 447 625 181 551 44 16 262 422 691 772 671 570 854 488 0 105 295 827 345 112 873 216 171 630 0 89 178 652 451 387 581 736 273 361 20 513 693 
3595.49/3611.61	o 3132
3595.49/3611.61	v 792 129 258 201 428 458 450 341 2 559 315 83 692 642 478 424 732 100 280 788 354 507 95 173 573 853 681 472 613 6 818 618 586 511 863 722 488 735 146 340 280 378 649 115 10 477 235 3 767 880 201 94 813 705 16 456 252 605 318 354 277 88 789 15 706 153 882 74 366 412 507 809 616 671 178 375 208 480 25 602 281 458 382 871 778 108 657 5 51 575 855 200 705 89 0 525 342 562 663 419 266 815 773 887 564 349 132 25 262 706 0 468 194 426 600 852 878 811 690 557 739 74 839 152 265 426 656 881 3 858 611 110 565 457 340 438 175 102 357 282 705 57 474 564 300 5 752 842 655 477 131 843 277 785 364 112 852 628 572 483 674 595 705 185 47 667 560 344 100 11 456 767 42 295 619 250 204 182 417 357 406 0 833 359 516 85 758 654 447 625 181 551 44 16 262 422 691 772 682 570 854 488 0 105 295 827 345 112 873 216 171 630 0 89 178 652 451 387 581 736 273 361 20 513 693 

OK	18	3132
18 unsatisfied constraints, 3132 satisfied constraints

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109775-1215810209/watcher-1109775-1215810209 -o /tmp/evaluation-result-1109775-1215810209/solver-1109775-1215810209 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1109775-1215810209.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.31 2.06 1.79 4/81 15568
/proc/meminfo: memFree=1900304/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) R 15566 15568 15124 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 37719340 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 217051622047 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15568/statm: 1339 230 191 169 0 50 0
[pid=15569] ppid=15568 vsize=5356 CPUtime=0
/proc/15569/stat : 15569 (concrete.sh) R 15568 15568 15124 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 37719341 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 217051622047 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15569/statm: 1339 230 191 169 0 50 0

[startup+0.022269 s]
/proc/loadavg: 2.31 2.06 1.79 4/81 15568
/proc/meminfo: memFree=1900304/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102434 s]
/proc/loadavg: 2.31 2.06 1.79 4/81 15568
/proc/meminfo: memFree=1900304/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301474 s]
/proc/loadavg: 2.31 2.06 1.79 4/81 15568
/proc/meminfo: memFree=1900304/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701547 s]
/proc/loadavg: 2.31 2.06 1.79 4/81 15568
/proc/meminfo: memFree=1900304/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.5027 s]
/proc/loadavg: 2.31 2.06 1.79 3/91 15579
/proc/meminfo: memFree=1888512/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
[pid=15571] ppid=15568 vsize=844236 CPUtime=1.46
/proc/15571/stat : 15571 (java) S 15568 15568 15124 0 -1 0 5697 0 1 0 141 5 0 0 18 0 9 0 37719341 864497664 4969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15571/statm: 211059 4969 1900 9 0 205620 0
[pid=15571/tid=15572] ppid=15568 vsize=844236 CPUtime=1.2
/proc/15571/task/15572/stat : 15572 (java) R 15568 15568 15124 0 -1 64 3451 0 1 0 117 3 0 0 25 0 9 0 37719342 864497664 4969 996147200 134512640 134550740 4294956000 18446744073709551615 4125718388 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15573] ppid=15568 vsize=844236 CPUtime=0.08
/proc/15571/task/15573/stat : 15573 (java) S 15568 15568 15124 0 -1 64 1015 0 0 0 8 0 0 0 16 0 9 0 37719343 864497664 4969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15574] ppid=15568 vsize=844236 CPUtime=0
/proc/15571/task/15574/stat : 15574 (java) S 15568 15568 15124 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37719343 864497664 4969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15575] ppid=15568 vsize=844236 CPUtime=0
/proc/15571/task/15575/stat : 15575 (java) S 15568 15568 15124 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37719343 864497664 4969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15576] ppid=15568 vsize=844236 CPUtime=0
/proc/15571/task/15576/stat : 15576 (java) S 15568 15568 15124 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37719345 864497664 4969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15577] ppid=15568 vsize=844236 CPUtime=0.14
/proc/15571/task/15577/stat : 15577 (java) S 15568 15568 15124 0 -1 64 498 0 0 0 14 0 0 0 16 0 9 0 37719345 864497664 4969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15578] ppid=15568 vsize=844236 CPUtime=0
/proc/15571/task/15578/stat : 15578 (java) S 15568 15568 15124 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37719345 864497664 4969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15579] ppid=15568 vsize=844236 CPUtime=0
/proc/15571/task/15579/stat : 15579 (java) S 15568 15568 15124 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 37719345 864497664 4969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 849592

[startup+3.103 s]
/proc/loadavg: 2.31 2.06 1.79 3/91 15579
/proc/meminfo: memFree=1877312/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
[pid=15571] ppid=15568 vsize=846880 CPUtime=3.05
/proc/15571/stat : 15571 (java) S 15568 15568 15124 0 -1 0 13001 0 1 0 296 9 0 0 18 0 10 0 37719341 867205120 12015 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15571/statm: 211720 12015 2577 9 0 206281 0
[pid=15571/tid=15572] ppid=15568 vsize=846880 CPUtime=2
/proc/15571/task/15572/stat : 15572 (java) R 15568 15568 15124 0 -1 64 3850 0 1 0 197 3 0 0 25 0 10 0 37719342 867205120 12015 996147200 134512640 134550740 4294956000 18446744073709551615 4126432102 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15573] ppid=15568 vsize=846880 CPUtime=0.6
/proc/15571/task/15573/stat : 15573 (java) S 15568 15568 15124 0 -1 64 7348 0 0 0 57 3 0 0 15 0 10 0 37719343 867205120 12015 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15574] ppid=15568 vsize=846880 CPUtime=0
/proc/15571/task/15574/stat : 15574 (java) S 15568 15568 15124 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 37719343 867205120 12015 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15575] ppid=15568 vsize=846880 CPUtime=0
/proc/15571/task/15575/stat : 15575 (java) S 15568 15568 15124 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 37719343 867205120 12015 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15576] ppid=15568 vsize=846880 CPUtime=0
/proc/15571/task/15576/stat : 15576 (java) S 15568 15568 15124 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 37719345 867205120 12015 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15577] ppid=15568 vsize=846880 CPUtime=0.41
/proc/15571/task/15577/stat : 15577 (java) S 15568 15568 15124 0 -1 64 1066 0 0 0 40 1 0 0 15 0 10 0 37719345 867205120 12015 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15578] ppid=15568 vsize=846880 CPUtime=0
/proc/15571/task/15578/stat : 15578 (java) S 15568 15568 15124 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 37719345 867205120 12015 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15579] ppid=15568 vsize=846880 CPUtime=0
/proc/15571/task/15579/stat : 15579 (java) S 15568 15568 15124 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 37719345 867205120 12015 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 852236

[startup+6.30161 s]
/proc/loadavg: 2.29 2.06 1.79 3/91 15580
/proc/meminfo: memFree=1804664/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
[pid=15571] ppid=15568 vsize=850920 CPUtime=6.2
/proc/15571/stat : 15571 (java) S 15568 15568 15124 0 -1 0 29835 0 1 0 603 17 0 0 18 0 9 0 37719341 871342080 26205 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15571/statm: 212730 26205 2580 9 0 207290 0
[pid=15571/tid=15572] ppid=15568 vsize=850920 CPUtime=4.23
/proc/15571/task/15572/stat : 15572 (java) R 15568 15568 15124 0 -1 64 4688 0 1 0 419 4 0 0 25 0 9 0 37719342 871342080 26205 996147200 134512640 134550740 4294956000 18446744073709551615 4127305359 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15573] ppid=15568 vsize=850920 CPUtime=1.33
/proc/15571/task/15573/stat : 15573 (java) S 15568 15568 15124 0 -1 64 22111 0 0 0 124 9 0 0 17 0 9 0 37719343 871342080 26205 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15574] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15574/stat : 15574 (java) S 15568 15568 15124 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26205 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15575] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15575/stat : 15575 (java) S 15568 15568 15124 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26205 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15576] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15576/stat : 15576 (java) S 15568 15568 15124 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37719345 871342080 26205 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15577] ppid=15568 vsize=850920 CPUtime=0.62
/proc/15571/task/15577/stat : 15577 (java) S 15568 15568 15124 0 -1 64 2297 0 0 0 60 2 0 0 15 0 9 0 37719345 871342080 26205 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15578] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15578/stat : 15578 (java) S 15568 15568 15124 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37719345 871342080 26205 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15579] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15579/stat : 15579 (java) S 15568 15568 15124 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 37719345 871342080 26205 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 856276

[startup+12.7028 s]
/proc/loadavg: 2.26 2.06 1.80 3/91 15580
/proc/meminfo: memFree=1804536/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
[pid=15571] ppid=15568 vsize=850920 CPUtime=12.53
/proc/15571/stat : 15571 (java) S 15568 15568 15124 0 -1 0 29848 0 1 0 1236 17 0 0 18 0 9 0 37719341 871342080 26216 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15571/statm: 212730 26216 2580 9 0 207290 0
[pid=15571/tid=15572] ppid=15568 vsize=850920 CPUtime=10.53
/proc/15571/task/15572/stat : 15572 (java) R 15568 15568 15124 0 -1 64 4689 0 1 0 1049 4 0 0 25 0 9 0 37719342 871342080 26216 996147200 134512640 134550740 4294956000 18446744073709551615 4127326632 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15573] ppid=15568 vsize=850920 CPUtime=1.33
/proc/15571/task/15573/stat : 15573 (java) S 15568 15568 15124 0 -1 64 22111 0 0 0 124 9 0 0 16 0 9 0 37719343 871342080 26216 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15574] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15574/stat : 15574 (java) S 15568 15568 15124 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26216 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15575] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15575/stat : 15575 (java) S 15568 15568 15124 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26216 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15576] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15576/stat : 15576 (java) S 15568 15568 15124 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37719345 871342080 26216 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15577] ppid=15568 vsize=850920 CPUtime=0.63
/proc/15571/task/15577/stat : 15577 (java) S 15568 15568 15124 0 -1 64 2309 0 0 0 61 2 0 0 15 0 9 0 37719345 871342080 26216 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15578] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15578/stat : 15578 (java) S 15568 15568 15124 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37719345 871342080 26216 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15579] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15579/stat : 15579 (java) S 15568 15568 15124 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 37719345 871342080 26216 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 856276

[startup+25.5038 s]
/proc/loadavg: 2.20 2.06 1.80 3/91 15580
/proc/meminfo: memFree=1804600/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
[pid=15571] ppid=15568 vsize=850920 CPUtime=25.19
/proc/15571/stat : 15571 (java) S 15568 15568 15124 0 -1 0 29849 0 1 0 2502 17 0 0 18 0 9 0 37719341 871342080 26217 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15571/statm: 212730 26217 2580 9 0 207290 0
[pid=15571/tid=15572] ppid=15568 vsize=850920 CPUtime=23.2
/proc/15571/task/15572/stat : 15572 (java) R 15568 15568 15124 0 -1 64 4689 0 1 0 2315 5 0 0 25 0 9 0 37719342 871342080 26217 996147200 134512640 134550740 4294956000 18446744073709551615 4127299103 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15573] ppid=15568 vsize=850920 CPUtime=1.33
/proc/15571/task/15573/stat : 15573 (java) S 15568 15568 15124 0 -1 64 22111 0 0 0 124 9 0 0 16 0 9 0 37719343 871342080 26217 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15574] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15574/stat : 15574 (java) S 15568 15568 15124 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26217 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15575] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15575/stat : 15575 (java) S 15568 15568 15124 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26217 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15576] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15576/stat : 15576 (java) S 15568 15568 15124 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37719345 871342080 26217 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15577] ppid=15568 vsize=850920 CPUtime=0.64
/proc/15571/task/15577/stat : 15577 (java) S 15568 15568 15124 0 -1 64 2310 0 0 0 62 2 0 0 16 0 9 0 37719345 871342080 26217 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15578] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15578/stat : 15578 (java) S 15568 15568 15124 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37719345 871342080 26217 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15579] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15579/stat : 15579 (java) S 15568 15568 15124 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 37719345 871342080 26217 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 856276

[startup+51.1012 s]

################
# More data... #
################

/proc/15571/task/15577/stat : 15577 (java) S 15568 15568 15124 0 -1 64 2316 0 0 0 63 2 0 0 16 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15578] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15578/stat : 15578 (java) S 15568 15568 15124 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15579] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15579/stat : 15579 (java) S 15568 15568 15124 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3326.33
Current children cumulated vsize (KiB) 856276

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 15674
/proc/meminfo: memFree=1624136/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
[pid=15571] ppid=15568 vsize=850920 CPUtime=3386.31
/proc/15571/stat : 15571 (java) S 15568 15568 15124 0 -1 0 29899 0 1 0 338605 26 0 0 18 0 9 0 37719341 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15571/statm: 212730 26257 2580 9 0 207290 0
[pid=15571/tid=15572] ppid=15568 vsize=850920 CPUtime=3384.28
/proc/15571/task/15572/stat : 15572 (java) R 15568 15568 15124 0 -1 64 4733 0 1 0 338416 12 0 0 25 0 9 0 37719342 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4127308333 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15573] ppid=15568 vsize=850920 CPUtime=1.33
/proc/15571/task/15573/stat : 15573 (java) S 15568 15568 15124 0 -1 64 22111 0 0 0 124 9 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15574] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15574/stat : 15574 (java) S 15568 15568 15124 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15575] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15575/stat : 15575 (java) S 15568 15568 15124 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15576] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15576/stat : 15576 (java) S 15568 15568 15124 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15577] ppid=15568 vsize=850920 CPUtime=0.65
/proc/15571/task/15577/stat : 15577 (java) S 15568 15568 15124 0 -1 64 2316 0 0 0 63 2 0 0 16 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15578] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15578/stat : 15578 (java) S 15568 15568 15124 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15579] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15579/stat : 15579 (java) S 15568 15568 15124 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3386.31
Current children cumulated vsize (KiB) 856276

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 15680
/proc/meminfo: memFree=1623936/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
[pid=15571] ppid=15568 vsize=850920 CPUtime=3446.26
/proc/15571/stat : 15571 (java) S 15568 15568 15124 0 -1 0 29899 0 1 0 344600 26 0 0 18 0 9 0 37719341 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15571/statm: 212730 26257 2580 9 0 207290 0
[pid=15571/tid=15572] ppid=15568 vsize=850920 CPUtime=3444.25
/proc/15571/task/15572/stat : 15572 (java) R 15568 15568 15124 0 -1 64 4733 0 1 0 344412 13 0 0 25 0 9 0 37719342 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4127308333 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15573] ppid=15568 vsize=850920 CPUtime=1.33
/proc/15571/task/15573/stat : 15573 (java) S 15568 15568 15124 0 -1 64 22111 0 0 0 124 9 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15574] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15574/stat : 15574 (java) S 15568 15568 15124 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15575] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15575/stat : 15575 (java) S 15568 15568 15124 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15576] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15576/stat : 15576 (java) S 15568 15568 15124 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15577] ppid=15568 vsize=850920 CPUtime=0.65
/proc/15571/task/15577/stat : 15577 (java) S 15568 15568 15124 0 -1 64 2316 0 0 0 63 2 0 0 16 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15578] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15578/stat : 15578 (java) S 15568 15568 15124 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15579] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15579/stat : 15579 (java) S 15568 15568 15124 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3446.26
Current children cumulated vsize (KiB) 856276

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 15680
/proc/meminfo: memFree=1623872/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
[pid=15571] ppid=15568 vsize=850920 CPUtime=3506.24
/proc/15571/stat : 15571 (java) S 15568 15568 15124 0 -1 0 29899 0 1 0 350598 26 0 0 18 0 9 0 37719341 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15571/statm: 212730 26257 2580 9 0 207290 0
[pid=15571/tid=15572] ppid=15568 vsize=850920 CPUtime=3504.22
/proc/15571/task/15572/stat : 15572 (java) R 15568 15568 15124 0 -1 64 4733 0 1 0 350409 13 0 0 25 0 9 0 37719342 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4127302415 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15573] ppid=15568 vsize=850920 CPUtime=1.33
/proc/15571/task/15573/stat : 15573 (java) S 15568 15568 15124 0 -1 64 22111 0 0 0 124 9 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15574] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15574/stat : 15574 (java) S 15568 15568 15124 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15575] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15575/stat : 15575 (java) S 15568 15568 15124 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15576] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15576/stat : 15576 (java) S 15568 15568 15124 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15577] ppid=15568 vsize=850920 CPUtime=0.65
/proc/15571/task/15577/stat : 15577 (java) S 15568 15568 15124 0 -1 64 2316 0 0 0 63 2 0 0 16 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15578] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15578/stat : 15578 (java) S 15568 15568 15124 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15579] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15579/stat : 15579 (java) S 15568 15568 15124 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3506.24
Current children cumulated vsize (KiB) 856276

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 15680
/proc/meminfo: memFree=1623808/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
[pid=15571] ppid=15568 vsize=850920 CPUtime=3566.21
/proc/15571/stat : 15571 (java) S 15568 15568 15124 0 -1 0 29899 0 1 0 356595 26 0 0 18 0 9 0 37719341 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15571/statm: 212730 26257 2580 9 0 207290 0
[pid=15571/tid=15572] ppid=15568 vsize=850920 CPUtime=3564.19
/proc/15571/task/15572/stat : 15572 (java) R 15568 15568 15124 0 -1 64 4733 0 1 0 356406 13 0 0 25 0 9 0 37719342 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4127299159 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15573] ppid=15568 vsize=850920 CPUtime=1.33
/proc/15571/task/15573/stat : 15573 (java) S 15568 15568 15124 0 -1 64 22111 0 0 0 124 9 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15574] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15574/stat : 15574 (java) S 15568 15568 15124 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15575] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15575/stat : 15575 (java) S 15568 15568 15124 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15576] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15576/stat : 15576 (java) S 15568 15568 15124 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15577] ppid=15568 vsize=850920 CPUtime=0.65
/proc/15571/task/15577/stat : 15577 (java) S 15568 15568 15124 0 -1 64 2316 0 0 0 63 2 0 0 16 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15578] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15578/stat : 15578 (java) S 15568 15568 15124 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15579] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15579/stat : 15579 (java) S 15568 15568 15124 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3566.21
Current children cumulated vsize (KiB) 856276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3616.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 15680
/proc/meminfo: memFree=1623808/2055920 swapFree=4192812/4192956
[pid=15568] ppid=15566 vsize=5356 CPUtime=0
/proc/15568/stat : 15568 (concrete.sh) S 15566 15568 15124 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 37719340 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15568/statm: 1339 242 201 169 0 50 0
[pid=15571] ppid=15568 vsize=850920 CPUtime=3600.1
/proc/15571/stat : 15571 (java) S 15568 15568 15124 0 -1 0 29900 0 1 0 359984 26 0 0 18 0 9 0 37719341 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15571/statm: 212730 26257 2580 9 0 207290 0
[pid=15571/tid=15572] ppid=15568 vsize=850920 CPUtime=3598.08
/proc/15571/task/15572/stat : 15572 (java) R 15568 15568 15124 0 -1 64 4734 0 1 0 359795 13 0 0 25 0 9 0 37719342 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4127308272 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15573] ppid=15568 vsize=850920 CPUtime=1.33
/proc/15571/task/15573/stat : 15573 (java) S 15568 15568 15124 0 -1 64 22111 0 0 0 124 9 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15574] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15574/stat : 15574 (java) S 15568 15568 15124 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15575] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15575/stat : 15575 (java) S 15568 15568 15124 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 37719343 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15576] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15576/stat : 15576 (java) S 15568 15568 15124 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15577] ppid=15568 vsize=850920 CPUtime=0.65
/proc/15571/task/15577/stat : 15577 (java) S 15568 15568 15124 0 -1 64 2316 0 0 0 63 2 0 0 16 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15571/tid=15578] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15578/stat : 15578 (java) S 15568 15568 15124 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15571/tid=15579] ppid=15568 vsize=850920 CPUtime=0
/proc/15571/task/15579/stat : 15579 (java) S 15568 15568 15124 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 37719345 871342080 26257 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.1
Current children cumulated vsize (KiB) 856276

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15568 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.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3616.22
CPU time (s): 3600.1
CPU user time (s): 3599.84
CPU system time (s): 0.26
CPU usage (%): 99.5542
Max. virtual memory (cumulated for all children) (KiB): 861404

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= 8
involuntary context switches= 4

runsolver used 5.46017 second user time and 12.1701 second system time

The end

Begin job on node59 at 2008-07-11 23:03:29
IDJOB=1109775
IDBENCH=61012
IDSOLVER=335
FILE ID=node59/1109775-1215810209
PBS_JOBID= 7903272
Free space on /tmp= 66500 MiB

SOLVER NAME= Concrete + CSP4J - MCRW Engine 2008-05-30
BENCH NAME= CPAI08/csp/os-taillard-15/normalized-os-taillard-15-95-9.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -s MCRW -max BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109775-1215810209/watcher-1109775-1215810209 -o /tmp/evaluation-result-1109775-1215810209/solver-1109775-1215810209 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1109775-1215810209.xml 

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 4b78d7f43a355b62cc35ed3e75b3d9c4
RANDOM SEED=1110530255

node59.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.268
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.268
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1900784 kB
Buffers:         14892 kB
Cached:          55760 kB
SwapCached:          0 kB
Active:          75140 kB
Inactive:        29128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1900784 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1412 kB
Writeback:           0 kB
Mapped:          53716 kB
Slab:            35908 kB
Committed_AS:   166280 kB
PageTables:       1964 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66500 MiB
End job on node59 at 2008-07-12 00:03:47