MAX-CSP 2008 Competition competition: execution trace

Solver Name	Answer	Number of falsified constraints	CPU time	Wall clock time
Concrete + CSP4J - MCRW Engine 2008-05-30	MSAT (TO)	19	3600.01	3629.72

4.62/4.73	c CPU-LOAD 2.8
4.62/4.73	c LOADED 225 V (854 E), 3150 DTPConstraint, arity 2, 2.8 cpu
6.51/6.62	s SATISFIABLE
6.51/6.62	o 3084
6.51/6.62	v 0 493 27 612 248 312 582 81 728 236 388 570 666 484 161 108 683 626 268 431 209 17 801 720 479 783 20 375 498 307 578 20 14 193 380 422 680 191 638 335 98 255 537 98 728 15 387 162 571 0 630 99 484 807 629 226 752 289 116 731 311 23 4 729 834 170 567 498 510 441 366 653 776 37 244 565 328 751 659 34 105 437 666 154 524 135 569 1 67 232 740 82 472 563 232 2 21 295 366 651 127 96 177 822 467 127 25 5 373 446 716 615 341 667 404 230 725 511 793 220 192 324 621 593 9 209 147 430 834 334 59 772 673 481 493 308 213 820 492 746 51 586 724 520 394 133 294 229 386 743 211 730 758 602 425 172 149 621 508 313 128 59 689 39 555 254 368 620 316 668 474 80 661 580 177 329 748 383 27 756 612 708 133 726 479 306 67 158 533 731 378 275 808 17 228 846 731 686 540 141 571 422 298 230 692 588 813 727 81 385 209 64 278 845 430 594 571 710 513 4 642 799 117 676 161 
6.51/6.64	o 3085
6.51/6.64	v 0 493 27 612 248 312 582 81 731 236 382 570 666 484 161 108 683 626 268 431 209 17 801 720 479 783 20 375 498 264 578 20 14 193 380 422 680 191 638 335 98 255 537 98 728 15 387 162 571 0 630 99 484 807 629 226 752 259 116 731 311 26 4 729 834 170 567 588 510 441 366 653 776 37 244 565 328 751 659 34 105 464 666 154 524 135 569 1 67 238 740 82 136 563 232 2 21 295 366 651 127 96 177 810 467 127 25 5 373 446 716 615 341 667 404 225 725 511 793 220 192 324 621 593 9 209 147 430 834 334 59 772 673 481 493 308 213 820 492 746 51 586 724 519 394 133 294 229 386 743 211 730 758 602 425 172 149 621 508 313 128 59 689 61 555 254 368 620 316 668 474 80 804 580 177 329 748 383 27 756 612 708 133 726 435 306 67 158 533 731 378 275 808 17 228 846 731 686 540 141 571 422 298 230 692 588 813 727 81 385 209 64 278 845 423 594 571 710 513 4 642 799 117 676 161 
6.51/6.65	o 3086
6.51/6.65	v 0 493 27 612 248 312 582 81 731 236 382 570 666 484 161 108 683 626 268 431 209 17 801 720 479 567 20 375 498 264 601 20 14 193 380 422 680 191 638 335 98 255 537 98 728 15 387 162 571 0 630 99 484 807 629 226 752 259 116 731 311 26 4 729 834 170 567 588 510 441 366 653 776 37 244 565 328 751 659 34 105 464 666 154 524 135 569 1 67 238 740 82 136 563 232 2 21 295 366 651 127 96 177 810 467 127 25 5 373 446 716 615 341 667 404 225 725 511 793 220 192 324 621 593 9 209 147 430 834 334 59 772 673 481 493 308 213 820 492 746 51 586 724 519 394 133 294 229 386 743 211 730 758 602 425 172 149 621 508 313 128 59 689 61 555 254 368 620 316 668 474 80 804 580 177 329 748 383 27 756 612 708 133 726 435 306 67 158 533 731 378 275 808 17 228 846 731 686 540 141 571 422 317 230 692 588 813 727 81 385 209 64 278 845 423 594 571 710 513 4 642 799 117 676 161 
6.51/6.65	o 3087
6.51/6.65	v 0 493 27 612 248 312 582 81 731 236 382 570 666 484 161 108 683 633 268 431 209 17 801 720 479 567 20 375 498 264 601 20 14 193 380 422 680 191 638 335 98 255 537 98 728 15 387 162 571 0 630 99 484 807 629 226 752 259 116 731 311 26 4 729 834 170 567 588 510 441 366 653 776 37 244 565 328 751 659 34 105 464 666 154 524 135 569 1 67 238 740 82 136 563 232 2 21 295 366 651 127 96 177 810 467 127 25 5 373 446 716 615 341 667 404 225 725 511 793 220 192 324 621 593 9 209 147 430 834 334 59 772 673 481 493 308 213 820 492 746 51 586 724 519 394 133 294 229 386 743 211 730 758 602 425 172 149 621 508 313 128 59 689 61 555 254 368 620 316 668 474 80 804 580 177 329 748 383 27 756 612 708 133 726 435 306 67 158 533 731 378 275 808 17 228 846 731 686 540 141 571 422 317 230 692 588 813 727 81 385 209 64 278 845 423 594 571 710 513 4 642 799 117 676 161 
6.51/6.67	o 3088
6.51/6.67	v 0 493 27 612 248 312 582 81 731 225 382 570 666 484 161 108 683 633 317 431 209 17 756 720 479 567 20 375 498 264 601 20 14 193 380 422 680 191 638 335 98 256 537 98 728 15 387 162 557 0 630 99 484 807 629 226 752 259 116 731 311 26 4 729 834 170 567 588 510 441 366 653 776 37 244 565 328 751 659 34 105 464 666 154 524 135 569 1 67 238 740 82 33 563 232 2 21 295 366 651 127 96 177 810 467 127 25 5 373 446 716 615 341 667 404 225 725 511 793 220 192 324 621 593 9 209 147 430 834 334 59 772 683 481 474 637 213 820 492 746 51 586 724 519 394 133 294 229 386 743 211 730 758 602 425 172 149 621 508 313 128 59 689 61 555 254 368 620 316 668 474 80 804 580 177 329 748 390 27 756 612 708 133 726 435 306 67 158 533 731 378 275 808 17 228 846 731 686 540 141 571 422 317 230 692 588 813 727 81 385 209 64 278 845 423 594 571 710 513 4 642 799 78 676 161 
6.51/6.67	o 3089
6.51/6.67	v 0 493 27 612 248 312 582 81 753 225 382 570 666 484 161 108 683 633 317 431 209 17 756 720 479 567 20 375 498 264 601 20 14 193 380 388 680 191 638 335 98 256 537 98 728 15 387 162 557 0 630 99 484 807 629 226 752 259 116 731 311 26 4 729 834 170 567 588 510 441 366 653 776 37 244 565 328 751 659 34 105 464 666 154 524 135 569 1 67 238 740 82 33 563 232 2 21 295 366 651 127 96 177 810 467 127 25 5 373 446 716 615 341 667 404 225 725 511 793 220 192 324 621 593 9 209 147 430 834 334 59 772 683 481 474 637 213 820 492 7 51 586 724 519 394 133 294 229 386 743 211 730 758 602 425 172 149 621 508 313 128 59 689 61 555 254 368 620 316 668 474 80 804 580 177 329 748 390 27 759 612 708 133 741 435 306 67 158 533 731 378 275 808 17 228 846 731 686 540 141 571 422 317 230 692 588 813 727 81 385 209 64 278 845 423 594 571 710 513 4 642 799 78 676 161 
6.51/6.68	o 3090
6.51/6.68	v 0 493 27 612 248 312 582 81 753 225 382 570 666 484 161 108 683 633 317 431 209 17 756 720 479 567 20 375 498 264 601 20 14 193 380 388 680 191 638 335 718 256 537 98 728 15 387 162 557 0 630 99 484 807 629 226 752 259 116 731 311 26 4 729 834 170 567 588 510 441 366 653 776 37 244 565 328 751 659 34 105 464 666 154 524 135 569 1 67 238 740 82 34 563 232 2 21 295 366 651 127 96 177 810 467 127 25 5 373 446 716 615 341 667 404 225 725 511 793 220 192 324 621 593 9 209 147 430 834 334 59 772 683 481 474 637 213 820 492 7 51 586 724 519 394 133 294 229 386 743 211 730 758 602 425 172 149 621 508 313 128 59 689 61 555 254 368 620 316 668 474 80 804 580 177 329 748 390 27 759 612 708 133 741 435 306 67 158 533 564 378 275 808 17 228 846 731 686 540 141 571 422 317 230 692 588 813 727 81 385 209 64 278 845 423 594 571 710 513 4 642 799 78 676 161 
6.51/6.69	o 3091
6.51/6.69	v 0 493 27 612 248 312 582 81 753 225 382 570 666 484 161 108 683 633 317 431 209 17 756 720 479 567 20 375 498 264 601 20 14 193 380 388 680 191 638 335 718 256 537 98 728 15 387 162 557 0 630 99 484 807 629 226 752 259 116 731 311 26 4 729 834 170 567 588 510 441 366 653 776 37 244 565 328 751 659 34 105 464 666 154 524 135 569 1 67 238 740 82 34 563 232 2 21 295 366 651 127 96 177 810 467 127 25 5 373 446 716 615 341 667 404 225 725 511 793 220 192 324 621 593 9 209 147 430 834 334 59 772 683 481 474 637 213 820 492 7 51 586 724 519 394 133 294 229 386 743 380 730 758 602 425 172 149 621 508 313 128 59 689 61 555 254 368 620 316 668 474 80 804 580 177 329 748 390 27 759 612 708 133 741 465 306 67 158 533 564 378 275 808 17 228 846 731 686 1 141 571 422 317 230 692 588 813 727 81 385 209 64 278 845 423 594 571 710 513 4 642 799 78 676 161 
6.60/6.70	o 3092
6.60/6.70	v 0 522 27 612 248 312 582 81 753 225 382 570 666 484 161 108 683 633 317 431 209 17 756 720 479 567 20 375 498 264 485 20 14 193 380 388 680 191 638 335 718 256 537 98 728 15 387 157 557 0 630 99 484 807 629 226 752 259 116 731 311 17 4 729 834 170 567 588 510 441 366 653 776 37 244 565 328 751 659 34 105 464 666 154 524 135 569 1 67 238 740 82 34 563 232 2 21 295 366 651 127 96 177 810 467 127 25 5 373 446 716 615 341 667 404 225 725 511 793 220 192 324 621 593 9 209 147 430 834 334 59 772 683 481 474 637 213 820 492 7 51 586 724 519 394 133 294 229 386 743 380 730 758 602 425 172 149 621 508 313 128 59 689 61 555 254 379 620 316 668 474 80 804 580 177 329 748 390 27 759 612 708 133 741 465 306 67 158 533 591 378 275 808 17 228 846 731 686 1 141 571 422 317 230 692 588 813 727 81 385 209 64 278 845 430 813 571 710 513 4 642 799 78 676 161 
6.60/6.72	o 3094
6.60/6.72	v 0 522 27 635 248 312 582 81 730 225 382 570 666 484 161 108 683 633 317 431 209 17 750 720 479 567 20 375 498 264 485 20 14 193 380 388 680 191 638 335 524 256 537 98 728 15 387 157 557 0 630 99 484 807 629 226 752 259 116 731 311 17 4 729 834 170 567 588 510 441 366 653 776 37 244 565 328 751 659 34 105 464 666 154 524 135 569 1 67 238 740 82 34 563 232 2 21 295 366 651 127 96 177 810 467 127 25 5 373 446 716 615 341 668 101 225 725 511 793 220 192 324 621 593 9 209 147 430 834 338 59 772 683 481 244 637 213 820 492 7 51 586 724 519 394 133 294 229 386 743 380 730 758 602 425 172 149 621 508 313 128 59 689 49 555 254 379 620 316 668 474 80 804 580 177 329 748 390 27 759 632 708 133 741 465 306 67 158 533 591 378 275 808 17 228 846 731 686 1 141 571 422 317 230 692 588 813 727 81 385 209 64 278 845 430 813 571 710 513 4 642 799 78 676 161 
6.60/6.77	o 3095
6.60/6.77	v 0 522 27 635 248 312 582 81 730 225 382 570 666 484 161 108 683 633 317 431 209 20 750 720 479 567 6 375 498 787 485 20 729 193 380 388 680 191 616 335 523 256 537 98 728 15 271 157 571 0 630 99 494 807 361 466 752 259 116 731 311 17 4 64 834 170 567 588 510 138 366 653 776 468 244 146 328 677 659 34 105 464 666 156 524 135 569 1 67 238 740 82 34 563 232 2 21 348 366 651 127 96 177 810 467 127 25 5 369 446 716 615 341 668 101 225 725 519 793 220 192 324 621 593 10 209 153 430 834 338 59 772 683 481 244 636 213 820 492 7 51 586 724 519 370 133 294 229 386 743 380 730 758 602 425 172 149 621 508 313 128 232 689 54 555 254 379 620 316 668 474 80 803 580 177 329 748 388 27 759 88 708 133 741 465 306 67 158 533 591 369 275 808 17 228 846 731 686 1 141 571 422 317 230 692 588 813 727 81 385 209 64 278 845 430 395 571 710 513 4 642 799 78 676 161 
6.70/6.88	o 3096
6.70/6.88	v 0 610 27 263 780 312 582 81 738 225 382 570 672 484 161 108 683 633 278 444 209 20 750 720 479 567 6 375 498 803 485 837 4 193 386 388 680 191 616 335 523 256 535 98 728 15 271 157 571 0 369 99 469 807 631 466 752 260 116 731 311 17 4 727 834 170 567 588 510 138 366 653 776 463 244 146 328 754 659 34 105 464 584 156 524 135 569 1 67 667 740 82 34 563 232 2 21 348 635 644 127 96 177 810 467 127 25 5 369 446 716 615 341 668 101 225 729 516 793 220 192 324 621 593 523 209 153 430 834 345 59 772 672 503 232 346 213 820 492 7 51 586 724 519 758 133 294 229 395 743 380 730 758 602 425 172 149 621 8 313 128 224 689 294 555 254 366 620 316 668 474 58 803 296 177 329 749 388 27 759 88 708 133 743 433 306 67 158 670 591 376 531 808 17 228 846 731 686 1 141 571 422 317 220 692 588 813 727 81 385 209 692 252 845 430 395 571 710 513 4 642 799 78 34 161 
6.70/6.89	o 3097
6.70/6.89	v 0 610 27 263 780 312 582 81 738 231 382 570 672 484 161 108 683 633 278 444 209 20 750 720 479 567 6 375 498 803 485 837 4 193 386 388 680 191 616 335 523 256 535 98 728 15 271 157 571 0 369 99 469 807 631 466 752 260 116 731 311 17 4 727 834 170 567 588 510 138 366 653 776 463 244 146 328 754 659 34 105 464 584 156 524 135 569 1 67 667 740 82 34 563 232 2 21 348 635 644 127 96 177 810 467 127 25 5 369 446 716 615 341 668 101 225 362 519 793 220 192 324 621 593 523 209 153 430 834 345 59 772 672 503 232 346 213 820 492 7 51 586 724 519 758 133 294 229 395 743 380 730 758 602 425 172 149 621 8 313 128 224 689 294 555 254 547 620 316 668 474 58 803 296 177 329 749 388 27 759 88 708 133 743 433 306 67 158 670 591 376 531 808 17 228 846 731 686 1 141 571 422 317 220 692 588 813 727 81 385 209 692 252 796 430 395 571 710 513 4 642 799 78 34 161 
6.70/6.89	o 3098
6.70/6.89	v 0 610 27 263 164 312 582 81 738 231 382 570 672 484 161 108 683 633 278 444 209 20 750 720 479 567 6 375 498 803 485 837 4 193 386 76 680 191 616 335 523 256 535 98 728 15 271 157 571 0 369 99 469 807 631 466 752 260 116 731 311 17 4 727 834 170 567 588 510 138 366 653 776 469 244 146 328 754 659 34 105 464 584 156 524 135 569 1 67 667 740 82 34 563 232 2 21 348 635 644 127 96 177 810 467 127 25 5 369 446 716 615 341 668 101 225 362 519 793 220 192 324 621 593 523 209 153 430 834 345 59 772 672 503 232 346 213 820 492 7 51 586 724 519 758 133 294 229 369 743 380 730 758 602 425 172 149 621 8 313 128 224 689 294 555 254 547 620 316 668 474 58 803 296 177 329 749 388 27 759 88 708 133 743 433 306 67 158 670 591 376 531 808 17 228 846 731 686 1 141 571 422 317 220 692 588 813 727 81 385 209 692 252 796 430 395 571 710 513 4 642 799 78 34 161 
6.79/6.92	o 3100
6.79/6.92	v 0 610 27 390 164 312 582 81 738 231 382 570 672 484 161 108 683 633 278 444 209 20 750 720 479 567 311 375 498 803 485 837 4 193 386 76 680 191 616 335 718 256 535 107 728 15 271 166 571 0 369 99 469 807 631 466 752 260 116 731 311 17 4 727 834 170 567 588 510 138 366 653 776 469 244 146 328 754 659 34 105 464 584 156 524 135 246 1 67 667 740 82 34 563 232 2 21 348 372 644 127 96 177 810 467 127 25 5 721 446 716 615 341 668 101 230 362 519 793 220 192 324 621 593 14 209 153 430 834 345 59 772 672 503 232 346 213 820 492 7 51 586 724 519 758 133 294 229 369 743 380 730 758 602 425 172 149 621 8 313 128 224 689 294 555 352 547 620 316 668 474 58 803 296 177 265 749 388 27 759 88 708 133 743 121 306 67 158 670 591 376 531 808 17 228 846 234 686 1 141 571 422 317 220 692 588 813 727 81 385 209 692 284 796 430 395 571 710 513 4 642 799 78 34 161 
6.79/6.92	o 3101
6.79/6.92	v 0 610 27 390 164 312 582 81 738 231 382 570 672 484 161 108 683 633 278 444 209 20 750 720 479 567 311 375 498 803 485 837 4 193 386 76 680 191 616 335 718 258 535 107 728 15 271 166 571 0 369 99 469 807 631 466 752 260 116 731 311 17 4 727 834 170 567 588 510 138 366 653 776 469 244 146 328 754 659 34 105 464 584 156 524 135 246 1 67 667 740 82 34 563 232 2 21 348 372 644 127 96 177 810 467 127 25 5 721 446 716 615 341 668 101 230 362 519 793 220 485 324 621 593 14 209 153 430 834 345 59 772 672 503 232 346 213 820 492 7 51 586 724 519 758 133 294 229 369 743 380 730 52 602 425 172 149 621 8 313 128 224 689 294 555 352 547 620 316 668 474 58 803 296 177 265 736 388 27 759 88 708 133 743 121 306 67 158 670 591 376 531 808 17 228 846 234 686 1 141 571 422 317 220 692 588 813 727 81 385 209 692 284 796 430 395 571 710 513 4 642 799 78 34 161 
6.79/6.93	o 3102
6.79/6.93	v 0 610 27 390 164 312 582 81 738 231 382 570 672 484 161 108 683 633 278 444 209 20 750 720 479 567 311 375 498 803 485 837 4 193 386 76 680 191 616 335 718 258 535 107 728 15 271 166 571 0 369 99 469 807 631 466 752 260 116 731 311 17 4 731 834 170 567 588 510 138 366 653 776 469 244 146 328 754 659 34 105 464 584 156 524 135 246 1 67 667 740 82 34 563 232 2 21 348 372 644 127 96 177 810 467 127 25 5 721 446 716 615 341 668 101 230 362 519 793 220 485 324 621 593 14 209 153 430 834 345 59 772 672 503 232 346 213 820 492 7 51 586 724 519 758 133 294 229 369 743 380 730 52 602 425 172 149 621 8 313 128 224 689 294 555 352 547 642 316 668 474 58 803 296 177 265 736 388 27 759 88 708 133 743 121 306 67 158 670 591 376 531 808 17 228 846 234 686 1 141 571 422 317 220 692 588 813 727 81 385 209 692 284 796 430 395 571 710 513 4 642 799 78 34 161 
6.79/6.94	o 3103
6.79/6.94	v 0 610 27 390 164 312 582 81 738 231 741 570 672 484 161 108 683 633 278 444 209 20 750 720 479 567 311 375 498 803 485 837 4 193 386 76 680 191 616 335 718 258 535 107 728 15 271 166 571 0 369 99 469 807 631 466 752 260 116 731 311 17 4 731 834 170 565 588 510 138 366 653 776 469 244 146 328 754 659 34 105 464 584 156 524 135 246 1 67 667 740 82 34 563 232 2 21 348 372 644 127 96 177 810 467 127 25 5 721 446 716 615 341 668 101 230 362 519 793 220 485 324 524 593 14 209 153 430 834 345 59 772 670 503 232 346 213 820 492 7 51 586 724 519 758 133 294 229 369 743 380 730 52 602 425 172 149 621 8 313 128 224 689 299 555 352 547 642 316 668 474 58 803 296 177 265 736 388 27 759 88 708 133 743 121 306 67 158 670 591 388 531 808 17 228 846 234 686 1 141 571 422 317 513 692 588 813 727 81 385 209 692 284 796 430 395 571 710 513 4 642 799 78 34 161 
6.79/6.95	o 3105
6.79/6.95	v 0 610 27 390 243 312 582 81 738 231 741 570 672 484 161 108 683 633 278 444 209 20 750 720 479 567 311 375 498 803 485 837 4 193 386 76 680 191 616 335 718 258 535 107 728 15 271 166 571 0 369 99 469 807 631 466 752 260 116 731 311 17 4 731 834 170 565 588 510 138 366 653 776 469 244 146 328 754 659 34 105 464 584 156 524 135 246 1 67 667 740 82 34 563 232 2 21 348 372 644 127 96 177 810 467 127 25 5 721 446 716 615 341 668 101 230 362 519 793 220 485 324 524 593 14 209 153 430 834 345 59 772 613 503 232 346 213 820 492 7 51 586 724 519 758 133 294 229 369 743 380 730 48 602 425 172 149 621 8 313 128 224 689 299 555 352 547 642 316 668 474 58 803 296 177 265 736 388 27 759 88 708 133 743 373 306 67 158 680 591 388 531 808 17 228 846 234 686 1 141 571 422 317 513 692 588 813 727 81 385 209 692 284 796 430 395 571 710 513 4 642 799 78 34 161 
6.89/7.01	o 3106
6.89/7.01	v 0 610 27 390 163 312 582 81 738 230 768 570 672 484 161 108 683 633 278 437 209 44 316 720 479 567 3 375 498 803 485 837 4 193 386 76 680 191 616 335 720 257 535 89 731 15 274 159 571 0 361 99 484 821 631 466 752 260 116 731 311 17 4 731 834 170 565 170 512 138 366 653 776 469 244 146 328 754 659 34 606 464 576 156 524 135 246 102 67 667 740 82 34 563 232 2 21 348 372 644 127 96 177 810 465 127 25 5 721 446 716 615 341 668 101 230 362 519 793 220 485 330 524 593 14 203 153 430 834 351 59 772 613 503 253 346 213 820 492 7 51 586 724 519 780 133 294 229 368 743 377 730 53 602 470 172 149 621 8 313 128 224 689 784 555 352 535 642 316 668 474 56 803 296 177 265 154 388 27 759 88 708 133 743 373 306 67 158 267 591 388 531 808 17 228 846 237 686 1 141 571 414 317 513 692 588 813 727 81 385 209 692 284 796 430 395 571 710 513 4 642 799 78 34 161 
6.89/7.03	o 3107
6.89/7.03	v 0 610 27 390 163 312 582 81 738 230 768 570 672 484 161 108 683 633 278 437 209 44 316 720 479 567 3 375 751 803 485 837 4 193 386 76 680 191 616 335 720 257 535 89 728 15 270 159 571 0 361 99 377 584 631 466 752 260 116 731 311 17 4 729 834 170 565 170 512 138 366 653 776 469 244 146 328 754 659 34 2 464 576 156 524 135 246 102 67 667 740 82 34 563 232 2 21 348 372 644 127 96 177 810 465 127 25 5 721 446 716 615 341 668 101 230 362 519 793 220 485 330 524 593 14 203 153 430 834 351 59 772 613 503 253 346 213 820 492 7 51 586 724 519 622 133 294 229 368 743 377 730 51 602 470 172 149 621 8 313 128 224 689 784 555 352 535 642 316 668 474 56 803 296 177 265 154 388 27 759 88 708 133 743 373 306 67 157 267 591 388 531 808 17 228 846 237 686 1 141 571 414 317 513 692 588 813 727 81 369 209 692 284 796 430 395 571 710 513 4 642 799 78 34 161 
6.99/7.12	o 3108
6.99/7.12	v 0 610 27 386 159 312 582 81 739 230 772 570 672 484 161 108 683 633 278 437 209 44 316 720 479 567 3 511 751 803 485 837 14 193 386 81 680 191 616 335 719 255 535 89 732 15 270 159 571 0 635 99 376 584 631 467 752 256 116 731 311 17 4 590 834 170 390 582 510 138 366 653 776 469 244 146 328 754 659 34 2 464 570 160 524 135 246 102 67 667 742 82 34 563 232 2 21 586 372 660 127 96 177 810 464 127 25 5 721 446 716 615 341 668 101 230 362 519 793 220 485 330 524 593 717 166 153 430 834 347 59 772 613 502 257 754 213 820 492 7 51 586 724 519 590 133 294 229 395 743 378 730 59 602 470 172 151 621 8 313 128 224 689 784 555 352 539 642 316 668 478 57 803 296 177 265 154 388 27 759 88 708 133 743 373 306 67 153 267 591 370 531 808 17 228 846 237 686 194 141 571 414 317 509 692 596 813 727 81 369 209 692 284 796 430 395 571 705 513 4 642 799 78 34 530 
6.99/7.14	o 3109
6.99/7.14	v 0 610 27 386 159 312 582 81 745 230 772 570 672 484 160 108 683 633 278 376 209 44 316 720 479 567 3 511 751 803 485 837 14 193 386 81 680 191 616 335 719 255 535 89 732 15 270 159 571 0 635 99 376 356 631 467 752 256 116 731 311 17 4 590 834 170 390 582 726 138 366 653 776 469 244 146 328 754 659 34 2 464 570 160 524 135 246 102 67 667 742 82 34 563 232 2 21 586 372 660 127 96 172 810 464 127 25 5 721 446 716 615 341 668 101 230 362 519 793 220 485 330 524 593 717 166 153 430 834 347 59 772 613 506 257 747 213 820 492 7 51 586 724 519 590 133 294 229 395 743 378 730 61 602 470 172 151 621 8 313 128 224 689 784 555 352 536 642 316 668 478 57 803 296 177 265 154 388 27 759 88 708 133 737 373 306 67 153 267 591 376 531 808 17 228 846 237 686 194 141 571 414 317 509 692 596 813 727 81 369 209 692 284 796 430 395 571 705 513 4 642 799 78 34 162 
7.39/7.54	o 3110
7.39/7.54	v 0 610 27 123 28 312 582 398 749 226 736 570 672 484 424 106 683 633 435 376 209 43 316 720 479 566 3 507 168 803 485 837 14 193 386 273 680 191 616 482 720 264 535 90 738 15 264 167 571 0 341 99 381 835 653 467 752 168 108 803 667 17 4 730 834 168 390 588 300 138 372 647 776 469 244 141 343 759 659 34 2 428 565 239 524 135 245 102 67 668 742 82 34 563 263 2 21 484 469 660 117 96 172 810 333 136 25 5 721 446 716 615 341 668 101 230 385 519 793 220 27 60 527 570 630 171 589 430 834 344 59 772 676 258 257 753 213 820 492 7 51 586 724 519 399 118 294 229 378 743 380 730 173 602 472 102 151 621 8 313 128 189 689 764 555 353 66 642 514 668 743 77 803 296 177 265 535 409 27 759 88 708 133 737 392 306 67 151 267 591 393 227 808 17 667 846 237 686 55 483 571 377 317 172 692 596 813 727 81 375 209 692 423 796 287 395 571 300 112 4 642 799 719 34 530 
7.39/7.56	o 3111
7.39/7.56	v 0 610 27 123 28 312 582 343 749 226 736 570 672 484 424 106 683 633 435 376 209 43 316 720 479 566 3 507 168 803 485 837 14 193 405 273 680 191 616 483 718 264 535 90 738 15 264 167 571 0 341 99 381 835 653 467 752 168 108 803 667 17 4 601 834 168 390 588 300 138 372 647 776 469 244 141 343 759 659 34 2 428 565 239 480 135 245 102 67 668 743 82 34 563 263 2 21 484 469 660 117 96 172 810 333 136 25 5 721 446 716 615 341 668 101 230 385 519 793 220 27 67 527 570 630 171 589 430 834 344 59 772 677 258 263 753 213 820 492 7 51 586 724 519 399 118 294 229 378 743 380 730 173 602 464 102 151 621 8 313 128 189 689 764 555 353 536 642 514 668 743 77 803 296 177 265 535 409 27 759 88 708 133 737 392 306 67 151 267 591 393 227 808 17 667 846 237 686 55 483 571 381 317 172 692 596 813 727 81 375 209 692 423 796 262 395 571 300 112 4 642 799 719 34 530 
7.39/7.59	o 3112
7.39/7.59	v 0 610 17 123 28 312 582 345 749 226 736 570 672 484 424 106 683 633 435 376 209 43 316 720 479 566 3 507 168 803 482 837 14 193 394 274 680 191 616 483 718 262 535 90 738 15 264 167 571 0 341 99 381 835 653 467 752 168 108 803 667 17 4 601 834 168 390 588 300 138 372 647 776 469 244 141 343 759 659 34 2 428 565 532 480 135 245 102 67 668 743 82 34 570 263 2 21 484 474 660 117 96 172 810 333 128 25 5 721 446 716 615 341 668 101 230 385 519 793 220 27 67 527 570 630 171 589 430 834 344 59 772 677 258 263 745 213 820 492 7 51 586 724 519 399 118 294 229 383 743 380 730 51 602 464 256 151 621 8 313 128 189 689 764 555 353 536 642 514 668 443 77 803 296 177 265 535 409 27 759 88 708 133 737 392 306 67 151 267 591 393 227 808 17 667 846 237 686 55 485 571 378 317 172 692 582 813 727 81 602 209 692 423 796 262 395 571 300 112 4 642 799 719 34 530 
7.49/7.64	o 3113
7.49/7.64	v 0 610 27 123 28 315 582 345 749 226 744 570 672 484 424 106 683 633 435 376 209 43 262 720 479 566 3 507 177 803 482 837 14 193 392 282 680 191 616 483 718 260 534 90 730 15 264 178 571 0 341 99 381 835 653 467 752 168 108 803 727 17 4 605 834 168 511 588 300 138 372 647 776 469 244 141 343 759 659 34 2 428 580 532 480 135 245 102 67 668 743 82 34 570 263 2 21 589 474 660 117 96 172 810 333 128 25 5 721 446 716 615 341 668 101 230 385 519 793 220 27 55 527 570 630 158 589 430 834 344 53 772 677 257 267 748 213 820 492 7 51 586 724 519 399 118 294 229 383 743 380 730 51 602 479 256 151 621 8 313 128 189 689 764 555 353 543 642 514 668 443 77 803 296 177 265 535 405 27 759 88 708 133 737 392 306 67 151 267 591 381 227 808 17 667 846 237 686 55 486 571 378 317 172 692 582 813 727 81 602 209 692 423 796 262 395 571 298 111 4 642 799 719 34 530 
7.49/7.65	o 3114
7.49/7.65	v 0 610 27 123 28 315 582 345 749 226 736 570 672 484 424 106 683 633 435 376 209 43 262 720 479 566 3 507 344 803 482 837 14 193 392 282 680 191 616 483 719 260 534 90 730 15 264 180 571 0 341 99 381 835 653 467 752 168 108 803 727 17 4 605 834 168 511 588 300 138 372 647 776 469 244 141 343 759 659 34 2 428 580 532 480 135 245 102 67 668 743 82 34 570 263 2 21 589 474 660 117 96 172 810 333 128 25 5 721 446 716 615 341 668 101 230 385 519 793 220 27 55 527 570 630 158 589 430 834 344 53 772 677 257 267 748 213 820 492 7 51 586 724 519 399 118 294 229 383 743 380 730 51 602 479 256 151 621 8 313 128 189 689 764 555 353 543 642 514 668 443 77 803 296 177 265 542 405 27 759 88 708 133 737 392 306 67 151 267 591 394 227 808 17 667 846 237 686 55 486 571 378 317 172 692 582 813 727 81 602 209 692 423 796 262 395 571 298 111 4 642 799 719 34 530 
7.49/7.66	o 3115
7.49/7.66	v 0 610 27 123 28 315 582 345 749 226 736 570 672 484 424 106 683 633 435 376 209 43 262 720 479 566 3 507 344 803 482 837 14 193 387 282 680 191 616 483 719 260 534 90 730 15 264 180 571 0 341 99 381 835 653 467 752 168 108 803 724 17 4 605 834 168 511 588 300 138 372 647 776 469 244 141 343 759 659 34 2 428 580 513 480 135 245 102 67 668 743 82 34 569 263 2 21 589 474 660 117 96 172 810 333 128 25 5 721 446 716 615 341 668 101 230 385 519 793 220 27 55 527 570 630 158 589 430 834 344 69 772 680 257 267 748 213 820 492 7 51 586 724 519 399 118 294 229 383 743 380 730 51 602 479 256 151 621 8 313 128 189 689 764 555 353 544 642 514 668 444 77 803 296 177 265 542 405 27 759 88 708 133 737 392 306 67 151 267 591 394 227 808 17 667 846 237 686 55 486 571 378 317 172 692 582 813 727 81 602 209 692 423 796 262 395 571 298 125 4 642 799 719 34 530 
7.88/8.01	o 3116
7.88/8.01	v 0 610 39 82 227 407 582 747 748 215 318 570 672 484 423 106 683 633 435 376 209 39 262 720 479 567 3 507 344 803 45 837 14 193 391 283 680 191 616 476 720 261 522 90 730 17 264 342 571 0 340 99 492 835 653 467 752 156 108 803 666 18 4 175 834 170 513 590 300 138 363 653 776 395 244 151 346 759 659 34 2 428 580 511 480 135 245 102 67 668 743 82 45 262 248 2 21 596 474 660 117 96 172 810 341 136 25 5 721 446 716 615 341 668 101 230 385 519 793 220 27 49 161 570 630 150 593 430 834 343 357 772 683 481 247 749 213 820 492 7 51 590 724 519 646 118 281 229 383 743 380 730 52 602 468 256 151 621 8 313 128 189 689 764 555 353 536 642 514 668 424 74 803 296 177 265 528 316 27 759 88 708 133 737 376 306 67 151 101 591 482 227 808 17 667 846 229 686 55 464 571 370 319 172 692 597 548 726 81 320 209 692 423 796 57 768 571 297 508 4 642 708 719 34 805 
12.73/12.90	o 3117
12.73/12.90	v 0 685 473 381 49 281 233 519 272 119 600 197 113 378 792 659 423 149 525 237 7 692 275 759 215 59 380 600 452 783 113 837 198 598 380 739 547 373 2 485 173 267 49 387 697 496 423 687 27 0 269 837 685 582 603 15 752 173 115 815 598 182 485 313 496 109 43 544 0 365 392 291 776 677 617 98 340 756 659 34 711 419 197 786 0 575 580 694 67 481 174 82 45 697 364 238 467 604 265 95 799 494 528 429 513 315 800 603 125 401 725 615 209 668 490 229 3 530 732 474 25 260 63 5 517 277 816 699 681 386 107 729 583 377 178 711 313 11 684 49 469 591 23 520 110 188 796 315 369 44 481 18 502 141 378 832 151 745 59 313 0 196 689 615 293 328 173 408 520 269 429 47 804 26 558 770 50 590 486 704 88 571 724 729 382 230 817 158 61 603 478 696 282 17 667 846 311 665 55 592 571 177 416 678 277 483 475 107 738 1 179 692 89 672 708 389 447 284 580 4 642 231 477 242 802 
15.40/15.68	o 3118
15.40/15.68	v 0 523 473 271 29 784 102 198 604 31 390 505 136 769 700 244 437 2 141 562 807 688 463 527 215 620 314 745 87 378 134 115 12 476 688 173 550 373 590 806 270 39 383 381 666 5 405 680 521 282 4 671 102 582 748 174 618 311 96 815 449 183 121 5 587 48 789 531 136 224 283 610 505 693 379 100 192 756 659 398 448 5 478 285 354 557 570 726 54 194 597 82 277 190 790 528 467 725 321 103 17 494 543 429 315 667 172 603 31 389 129 615 152 7 490 225 316 529 767 474 25 755 63 5 711 463 273 564 45 611 110 386 174 635 310 539 473 11 684 64 246 710 115 488 163 591 805 315 365 44 584 15 209 141 393 122 151 509 461 319 0 766 39 677 293 335 458 408 375 272 118 3 803 431 558 747 178 590 702 753 802 616 724 301 378 150 652 196 776 726 472 696 95 17 674 846 311 665 815 592 571 99 45 678 432 483 475 242 738 1 179 713 363 672 773 52 447 284 580 4 642 571 477 126 233 
15.50/15.71	o 3119
15.50/15.71	v 0 523 473 271 29 762 102 198 604 24 390 505 136 769 700 244 437 2 141 562 807 688 463 527 215 620 314 745 87 378 134 115 12 476 681 173 550 373 590 806 270 39 383 381 666 5 405 680 521 282 10 671 102 582 748 174 618 311 477 815 449 183 121 5 587 48 789 531 136 224 283 610 505 693 379 100 192 756 659 398 670 5 478 285 354 557 570 726 54 194 597 82 277 190 790 528 467 725 317 103 17 494 543 429 315 667 172 603 31 389 129 615 152 7 490 225 316 529 767 0 25 755 63 5 711 463 273 564 45 611 110 386 174 635 310 539 146 11 684 64 246 710 115 462 163 591 805 315 365 44 584 15 209 141 393 122 151 509 461 319 0 766 39 677 293 335 458 408 375 272 118 4 803 431 558 747 177 590 702 756 802 616 724 301 378 150 652 196 776 726 472 696 95 17 674 846 311 665 815 592 571 99 45 678 432 483 475 242 738 1 179 713 363 672 773 52 447 284 580 4 642 571 477 126 233 
15.50/15.72	o 3120
15.50/15.72	v 0 513 473 271 29 762 102 198 604 24 390 505 136 769 700 244 437 2 141 562 807 688 463 527 215 597 314 745 87 378 134 115 12 476 681 173 550 373 590 806 270 39 383 381 666 5 405 680 521 282 10 671 102 582 748 174 618 311 477 815 449 183 121 5 587 48 789 531 136 224 283 606 505 693 379 100 193 756 659 398 670 5 478 285 354 557 570 726 54 195 597 82 277 190 790 528 467 725 317 103 17 494 543 429 315 667 172 603 31 389 129 615 152 7 490 225 316 529 767 0 25 755 63 5 711 463 273 564 45 611 110 386 174 635 310 526 146 11 684 64 246 710 115 462 163 591 805 315 365 44 584 15 209 744 393 122 151 509 461 319 0 766 39 677 293 335 458 408 375 272 118 4 803 431 558 747 177 590 702 756 802 616 724 301 378 150 652 196 776 726 472 696 95 17 674 846 311 665 815 592 571 99 45 678 432 483 475 242 738 1 179 713 363 672 773 52 447 284 580 4 642 571 475 126 233 
25.81/26.15	o 3121
25.81/26.15	v 119 586 136 182 788 643 1 511 489 406 180 712 54 298 721 121 415 0 194 303 535 732 245 644 337 459 803 536 603 360 371 499 575 513 672 752 317 851 273 19 88 420 784 178 651 177 718 296 510 270 165 2 415 824 19 14 114 621 583 360 574 725 834 406 28 181 310 48 453 9 730 623 512 210 115 321 320 35 415 139 703 730 495 422 1 849 588 833 674 282 592 182 145 749 298 21 467 400 41 726 682 834 533 481 199 641 395 8 37 501 497 591 449 461 281 199 321 112 762 0 25 685 633 5 453 199 42 584 285 497 789 388 699 312 80 612 1 11 79 31 518 359 588 449 773 697 110 305 188 848 694 480 598 267 31 345 3 513 398 280 255 778 366 106 215 259 440 391 1 657 203 90 595 16 726 408 294 772 554 45 795 774 849 3 343 175 751 233 542 611 441 696 657 92 314 846 130 193 376 324 1 214 531 474 582 25 310 649 784 424 466 379 100 1 532 702 288 27 231 4 402 364 642 509 731 
25.81/26.16	o 3122
25.81/26.16	v 119 586 136 182 788 643 1 511 489 406 180 712 54 298 721 121 415 0 194 303 535 732 245 644 337 459 803 536 603 360 371 499 575 513 672 752 317 851 273 19 88 420 784 178 651 177 678 296 510 270 165 2 415 824 19 14 114 621 583 360 574 725 834 406 28 181 310 48 453 9 730 623 512 210 115 321 320 35 415 139 703 730 495 422 1 849 588 833 674 189 592 182 145 749 292 21 467 400 41 726 682 834 533 481 199 641 395 8 37 510 497 591 449 461 281 200 321 112 762 0 25 685 633 5 453 199 42 584 285 497 789 388 699 312 80 612 1 11 79 31 518 359 588 449 773 697 110 305 188 848 694 480 598 267 31 345 3 513 398 280 255 778 366 106 215 259 440 391 1 657 203 90 595 16 726 408 294 772 554 45 795 774 849 3 343 175 751 233 542 611 441 696 657 92 314 846 130 193 376 324 1 214 531 474 582 25 310 649 784 424 466 379 100 1 532 702 288 27 231 4 402 364 642 509 731 
25.81/26.17	o 3123
25.81/26.17	v 119 586 136 182 788 643 1 511 489 406 184 712 54 298 721 121 415 0 194 303 535 732 245 644 337 459 803 536 603 360 371 499 575 513 672 760 317 851 273 19 88 420 784 178 651 177 678 296 510 270 165 2 415 824 19 14 114 621 583 360 574 725 834 406 28 181 310 48 453 9 730 623 512 210 115 319 320 35 415 139 703 730 495 422 1 849 588 833 674 189 592 182 145 749 292 21 467 400 41 726 682 834 533 481 199 641 395 8 37 510 497 591 449 461 281 200 321 112 762 0 25 682 633 5 453 199 42 584 285 497 789 388 699 312 80 612 1 11 79 31 518 359 588 449 773 697 110 305 188 848 694 480 598 267 31 345 3 513 398 280 255 778 366 106 215 259 440 391 1 657 203 90 595 16 726 408 294 772 554 45 795 774 849 3 343 175 751 233 542 611 441 149 657 92 314 846 130 193 376 324 1 214 531 474 582 25 310 649 784 424 466 379 100 1 532 702 288 27 231 4 402 364 642 509 731 
26.69/27.08	o 3124
26.69/27.08	v 119 582 145 26 788 651 1 490 282 406 180 571 182 295 721 671 415 0 158 303 527 72 245 644 337 459 800 743 603 360 359 499 515 186 104 758 671 851 273 19 79 420 580 182 645 744 722 134 199 270 483 2 415 824 57 39 289 615 580 360 676 725 834 406 28 182 116 57 451 9 730 607 512 256 122 323 319 40 298 139 703 736 497 422 1 849 588 833 808 173 592 182 145 665 328 21 467 399 35 754 677 834 533 481 199 643 395 8 37 515 497 272 449 461 281 655 333 175 762 0 25 691 633 5 452 238 42 584 521 156 789 388 692 312 80 513 1 11 79 31 202 359 588 449 773 697 126 602 262 848 690 537 603 267 37 345 3 513 398 446 255 778 366 102 306 259 440 391 1 657 203 87 595 16 726 408 294 772 554 45 795 701 849 3 343 175 751 233 542 611 441 149 657 92 314 846 709 193 376 259 1 487 201 119 599 10 310 594 786 435 438 379 131 1 532 702 288 26 231 4 402 838 614 509 731 
26.89/27.23	o 3126
26.89/27.23	v 119 582 145 27 788 651 1 490 271 406 183 571 182 299 721 671 415 0 158 303 527 85 245 644 337 459 800 735 603 360 359 499 515 187 96 758 321 851 273 19 82 420 580 185 645 641 728 134 199 270 483 2 415 824 55 35 289 615 580 360 676 725 834 406 28 182 270 57 451 9 726 607 512 257 122 318 320 43 298 139 703 736 497 422 1 849 588 833 808 173 592 182 145 752 293 21 467 399 35 482 677 834 525 718 199 624 395 8 37 515 497 786 449 461 281 653 333 175 765 0 25 687 633 5 452 236 42 584 521 156 789 386 679 311 80 513 1 11 79 31 202 359 588 449 773 697 126 602 262 848 685 482 603 267 37 345 3 513 398 196 255 778 366 102 302 259 440 391 1 657 203 84 595 16 726 408 294 772 554 43 795 701 849 3 343 175 751 233 542 611 441 149 657 92 314 846 709 193 376 256 1 492 201 119 318 10 310 603 786 435 438 379 131 1 532 702 288 26 231 4 402 838 614 509 731 
26.89/27.25	o 3127
26.89/27.25	v 119 582 145 27 788 651 1 490 271 406 180 571 182 296 721 671 415 0 158 303 527 85 245 644 584 459 800 735 603 360 359 499 515 187 100 758 321 851 273 19 81 420 580 185 645 743 728 134 199 270 483 2 415 824 55 35 289 615 580 360 676 725 834 406 28 182 270 57 451 9 726 607 512 257 122 323 320 43 298 139 703 736 497 422 1 849 588 833 808 173 592 182 145 752 293 21 467 399 35 482 677 834 525 718 199 624 395 8 37 515 497 786 449 461 281 653 333 175 765 0 25 687 633 5 452 236 42 584 521 156 789 386 679 311 80 513 1 11 79 31 202 359 588 449 773 697 126 602 262 848 671 482 603 267 37 345 3 513 398 196 255 778 366 102 302 259 440 391 1 657 203 84 595 16 726 408 294 772 554 43 795 701 849 3 343 175 751 233 542 611 441 149 657 92 314 846 709 193 376 256 1 492 201 119 318 10 310 603 786 435 438 379 131 1 532 702 288 26 231 4 402 838 614 509 731 
162.68/164.31	o 3128
162.68/164.31	v 418 366 4 674 773 588 192 766 471 585 229 461 133 323 36 781 534 626 714 108 484 425 159 400 213 320 673 3 564 255 42 839 770 708 159 569 244 239 0 82 458 301 311 376 131 240 104 489 185 713 619 848 551 337 356 77 176 730 11 51 79 635 789 147 747 556 188 801 551 312 353 8 371 456 466 35 771 327 294 1 543 471 137 575 440 848 655 751 301 647 269 350 96 654 201 839 82 777 520 640 0 70 141 382 430 460 796 423 314 71 217 152 141 8 435 560 728 224 651 207 719 37 773 141 139 468 272 744 247 56 553 186 624 308 394 38 124 456 6 335 463 683 615 780 249 529 384 632 151 333 3 747 592 561 320 186 776 674 418 472 577 234 836 85 656 108 2 623 141 699 643 476 749 835 388 435 521 267 216 160 782 314 849 668 81 227 635 479 434 176 549 742 45 280 3 1 159 839 79 603 845 344 720 239 304 437 569 773 653 106 129 579 438 0 643 196 47 260 772 335 828 375 601 15 388 
358.91/362.41	o 3129
358.91/362.41	v 836 778 583 239 676 154 3 427 677 254 335 231 617 46 518 514 127 322 811 3 722 375 446 225 499 38 641 166 679 258 448 720 364 163 773 619 322 0 485 123 227 1 524 537 22 32 694 765 532 225 588 9 56 834 423 127 244 326 490 139 90 485 3 792 831 629 356 22 431 602 159 252 724 476 255 26 410 569 14 686 132 164 760 331 538 720 213 727 296 588 156 835 220 285 660 476 0 774 381 75 28 11 582 741 493 53 430 6 136 612 849 264 346 322 223 676 358 779 525 501 4 29 319 737 430 756 256 292 221 32 673 365 571 145 485 19 851 1 614 180 245 759 6 347 435 640 528 703 128 508 309 189 577 850 124 556 20 782 687 402 483 38 645 227 0 591 190 32 18 518 128 423 626 680 303 86 707 738 58 381 3 98 852 646 756 445 711 134 582 369 223 555 532 610 55 241 250 317 584 476 706 120 407 328 528 32 2 745 641 812 37 840 709 659 81 810 260 371 590 512 447 650 211 295 321 
359.21/362.78	o 3130
359.21/362.78	v 836 778 583 241 688 154 3 427 434 264 335 231 620 48 533 514 127 322 811 3 722 375 446 225 499 38 641 166 577 258 448 720 364 163 735 619 322 0 485 123 227 629 531 536 25 15 686 757 532 225 594 9 54 834 423 130 244 326 490 140 90 486 3 792 831 629 356 22 431 602 159 261 724 474 265 29 410 32 14 686 132 164 761 331 538 720 213 727 296 586 156 835 220 285 660 476 0 774 381 75 28 11 582 741 492 39 430 6 136 609 849 264 346 322 223 676 358 775 533 501 4 29 319 737 430 767 254 292 221 562 664 365 571 145 485 19 851 1 614 87 245 758 6 347 435 640 528 703 134 508 309 189 577 850 124 556 20 782 687 402 483 47 499 225 0 591 190 32 18 805 128 428 626 680 303 86 714 719 58 381 3 98 852 646 756 445 711 135 416 369 233 555 532 610 55 241 250 317 584 476 706 138 407 328 528 35 2 745 646 622 37 840 709 659 131 810 260 371 590 512 447 650 211 295 321 
1263.63/1275.89	o 3131
1263.63/1275.89	v 312 713 280 503 772 172 603 423 14 241 328 839 628 329 110 27 748 515 813 298 379 622 174 594 1 439 552 231 716 101 670 313 1 134 591 765 718 0 547 506 16 201 330 397 204 545 283 624 688 371 453 0 207 188 86 751 13 273 389 64 160 566 64 3 544 307 764 486 438 836 583 682 380 211 77 400 603 287 3 27 60 170 507 220 717 750 88 10 690 764 355 776 451 127 706 691 845 144 261 541 208 833 622 504 37 417 562 542 621 222 846 797 12 492 373 120 309 724 38 710 97 122 440 503 524 759 221 570 678 10 605 696 9 329 258 427 852 298 331 669 360 575 548 226 763 133 495 712 3 835 766 531 357 326 0 482 422 152 106 621 66 684 555 255 506 556 367 537 839 465 14 611 718 591 212 326 77 241 173 791 161 836 418 605 300 106 279 209 684 764 5 803 437 496 474 851 145 700 723 77 430 265 374 768 529 442 593 628 13 228 753 208 596 4 391 222 13 92 697 64 471 309 535 256 802

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109769-1215810058/watcher-1109769-1215810058 -o /tmp/evaluation-result-1109769-1215810058/solver-1109769-1215810058 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1109769-1215810058.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.91 1.80 1.40 4/80 15882
/proc/meminfo: memFree=1912336/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) R 15880 15882 15017 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 37703689 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 228774701727 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15882/statm: 1339 230 191 169 0 50 0
[pid=15883] ppid=15882 vsize=5356 CPUtime=0
/proc/15883/stat : 15883 (concrete.sh) R 15882 15882 15017 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 37703689 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 228774701727 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15883/statm: 1339 230 191 169 0 50 0

[startup+0.0485051 s]
/proc/loadavg: 1.91 1.80 1.40 4/80 15882
/proc/meminfo: memFree=1912336/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101772 s]
/proc/loadavg: 1.91 1.80 1.40 4/80 15882
/proc/meminfo: memFree=1912336/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301809 s]
/proc/loadavg: 1.91 1.80 1.40 4/80 15882
/proc/meminfo: memFree=1912336/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701887 s]
/proc/loadavg: 1.91 1.80 1.40 4/80 15882
/proc/meminfo: memFree=1912336/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50204 s]
/proc/loadavg: 1.91 1.80 1.40 3/90 15893
/proc/meminfo: memFree=1900800/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
[pid=15885] ppid=15882 vsize=844236 CPUtime=1.45
/proc/15885/stat : 15885 (java) S 15882 15882 15017 0 -1 0 5656 0 1 0 142 3 0 0 18 0 9 0 37703690 864497664 4938 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15885/statm: 211059 4938 1900 9 0 205620 0
[pid=15885/tid=15886] ppid=15882 vsize=844236 CPUtime=1.21
/proc/15885/task/15886/stat : 15886 (java) R 15882 15882 15017 0 -1 64 3449 0 1 0 119 2 0 0 25 0 9 0 37703691 864497664 4938 996147200 134512640 134550740 4294956000 18446744073709551615 4125374826 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15887] ppid=15882 vsize=844236 CPUtime=0.08
/proc/15885/task/15887/stat : 15887 (java) S 15882 15882 15017 0 -1 64 982 0 0 0 8 0 0 0 16 0 9 0 37703692 864497664 4938 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15888] ppid=15882 vsize=844236 CPUtime=0
/proc/15885/task/15888/stat : 15888 (java) S 15882 15882 15017 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37703692 864497664 4938 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15889] ppid=15882 vsize=844236 CPUtime=0
/proc/15885/task/15889/stat : 15889 (java) S 15882 15882 15017 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37703693 864497664 4938 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15890] ppid=15882 vsize=844236 CPUtime=0
/proc/15885/task/15890/stat : 15890 (java) S 15882 15882 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37703695 864497664 4938 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15891] ppid=15882 vsize=844236 CPUtime=0.14
/proc/15885/task/15891/stat : 15891 (java) S 15882 15882 15017 0 -1 64 493 0 0 0 14 0 0 0 16 0 9 0 37703695 864497664 4938 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15892] ppid=15882 vsize=844236 CPUtime=0
/proc/15885/task/15892/stat : 15892 (java) S 15882 15882 15017 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37703695 864497664 4938 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15893] ppid=15882 vsize=844236 CPUtime=0
/proc/15885/task/15893/stat : 15893 (java) S 15882 15882 15017 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37703695 864497664 4938 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 849592

[startup+3.10136 s]
/proc/loadavg: 1.91 1.80 1.40 5/90 15893
/proc/meminfo: memFree=1889472/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
[pid=15885] ppid=15882 vsize=846924 CPUtime=3.05
/proc/15885/stat : 15885 (java) S 15882 15882 15017 0 -1 0 12691 0 1 0 298 7 0 0 18 0 10 0 37703690 867250176 11709 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15885/statm: 211731 11709 2577 9 0 206292 0
[pid=15885/tid=15886] ppid=15882 vsize=846924 CPUtime=2.04
/proc/15885/task/15886/stat : 15886 (java) R 15882 15882 15017 0 -1 64 3837 0 1 0 201 3 0 0 25 0 10 0 37703691 867250176 11709 996147200 134512640 134550740 4294956000 18446744073709551615 4125844128 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15887] ppid=15882 vsize=846924 CPUtime=0.58
/proc/15885/task/15887/stat : 15887 (java) S 15882 15882 15017 0 -1 64 7055 0 0 0 56 2 0 0 16 0 10 0 37703692 867250176 11709 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15888] ppid=15882 vsize=846924 CPUtime=0
/proc/15885/task/15888/stat : 15888 (java) S 15882 15882 15017 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 37703692 867250176 11709 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15889] ppid=15882 vsize=846924 CPUtime=0
/proc/15885/task/15889/stat : 15889 (java) S 15882 15882 15017 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 37703693 867250176 11709 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15890] ppid=15882 vsize=846924 CPUtime=0
/proc/15885/task/15890/stat : 15890 (java) S 15882 15882 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 37703695 867250176 11709 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15891] ppid=15882 vsize=846924 CPUtime=0.39
/proc/15885/task/15891/stat : 15891 (java) S 15882 15882 15017 0 -1 64 1063 0 0 0 39 0 0 0 16 0 10 0 37703695 867250176 11709 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15892] ppid=15882 vsize=846924 CPUtime=0
/proc/15885/task/15892/stat : 15892 (java) S 15882 15882 15017 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 37703695 867250176 11709 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15893] ppid=15882 vsize=846924 CPUtime=0
/proc/15885/task/15893/stat : 15893 (java) S 15882 15882 15017 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 37703695 867250176 11709 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) 852280

[startup+6.30298 s]
/proc/loadavg: 2.00 1.81 1.41 3/90 15900
/proc/meminfo: memFree=1817512/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
[pid=15885] ppid=15882 vsize=850932 CPUtime=6.21
/proc/15885/stat : 15885 (java) S 15882 15882 15017 0 -1 0 29668 0 1 0 606 15 0 0 18 0 9 0 37703690 871354368 25956 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15885/statm: 212733 25956 2580 9 0 207293 0
[pid=15885/tid=15886] ppid=15882 vsize=850932 CPUtime=4.26
/proc/15885/task/15886/stat : 15886 (java) R 15882 15882 15017 0 -1 64 4726 0 1 0 422 4 0 0 25 0 9 0 37703691 871354368 25956 996147200 134512640 134550740 4294956000 18446744073709551615 4127307872 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15887] ppid=15882 vsize=850932 CPUtime=1.32
/proc/15885/task/15887/stat : 15887 (java) S 15882 15882 15017 0 -1 64 21917 0 0 0 124 8 0 0 17 0 9 0 37703692 871354368 25956 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15888] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15888/stat : 15888 (java) S 15882 15882 15017 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37703692 871354368 25956 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15889] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15889/stat : 15889 (java) S 15882 15882 15017 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37703693 871354368 25956 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15890] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15890/stat : 15890 (java) S 15882 15882 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37703695 871354368 25956 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15891] ppid=15882 vsize=850932 CPUtime=0.6
/proc/15885/task/15891/stat : 15891 (java) S 15882 15882 15017 0 -1 64 2287 0 0 0 59 1 0 0 15 0 9 0 37703695 871354368 25956 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15892] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15892/stat : 15892 (java) S 15882 15882 15017 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37703695 871354368 25956 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15893] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15893/stat : 15893 (java) S 15882 15882 15017 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37703695 871354368 25956 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 856288

[startup+12.7012 s]
/proc/loadavg: 2.00 1.82 1.41 3/90 15900
/proc/meminfo: memFree=1817520/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
[pid=15885] ppid=15882 vsize=850932 CPUtime=12.53
/proc/15885/stat : 15885 (java) S 15882 15882 15017 0 -1 0 29680 0 1 0 1238 15 0 0 18 0 9 0 37703690 871354368 25967 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15885/statm: 212733 25967 2580 9 0 207293 0
[pid=15885/tid=15886] ppid=15882 vsize=850932 CPUtime=10.56
/proc/15885/task/15886/stat : 15886 (java) R 15882 15882 15017 0 -1 64 4727 0 1 0 1052 4 0 0 25 0 9 0 37703691 871354368 25967 996147200 134512640 134550740 4294956000 18446744073709551615 4127307719 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15887] ppid=15882 vsize=850932 CPUtime=1.32
/proc/15885/task/15887/stat : 15887 (java) S 15882 15882 15017 0 -1 64 21917 0 0 0 124 8 0 0 16 0 9 0 37703692 871354368 25967 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15888] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15888/stat : 15888 (java) S 15882 15882 15017 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37703692 871354368 25967 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15889] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15889/stat : 15889 (java) S 15882 15882 15017 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37703693 871354368 25967 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15890] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15890/stat : 15890 (java) S 15882 15882 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37703695 871354368 25967 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15891] ppid=15882 vsize=850932 CPUtime=0.62
/proc/15885/task/15891/stat : 15891 (java) S 15882 15882 15017 0 -1 64 2298 0 0 0 61 1 0 0 15 0 9 0 37703695 871354368 25967 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15892] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15892/stat : 15892 (java) S 15882 15882 15017 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37703695 871354368 25967 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15893] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15893/stat : 15893 (java) S 15882 15882 15017 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37703695 871354368 25967 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) 856288

[startup+25.5027 s]
/proc/loadavg: 2.00 1.83 1.42 3/90 15900
/proc/meminfo: memFree=1817584/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
[pid=15885] ppid=15882 vsize=850932 CPUtime=25.21
/proc/15885/stat : 15885 (java) S 15882 15882 15017 0 -1 0 29681 0 1 0 2506 15 0 0 18 0 9 0 37703690 871354368 25968 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15885/statm: 212733 25968 2580 9 0 207293 0
[pid=15885/tid=15886] ppid=15882 vsize=850932 CPUtime=23.23
/proc/15885/task/15886/stat : 15886 (java) R 15882 15882 15017 0 -1 64 4727 0 1 0 2319 4 0 0 25 0 9 0 37703691 871354368 25968 996147200 134512640 134550740 4294956000 18446744073709551615 4127359446 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15887] ppid=15882 vsize=850932 CPUtime=1.32
/proc/15885/task/15887/stat : 15887 (java) S 15882 15882 15017 0 -1 64 21917 0 0 0 124 8 0 0 16 0 9 0 37703692 871354368 25968 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15888] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15888/stat : 15888 (java) S 15882 15882 15017 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37703692 871354368 25968 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15889] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15889/stat : 15889 (java) S 15882 15882 15017 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37703693 871354368 25968 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15890] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15890/stat : 15890 (java) S 15882 15882 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37703695 871354368 25968 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15891] ppid=15882 vsize=850932 CPUtime=0.62
/proc/15885/task/15891/stat : 15891 (java) S 15882 15882 15017 0 -1 64 2299 0 0 0 61 1 0 0 16 0 9 0 37703695 871354368 25968 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15892] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15892/stat : 15892 (java) S 15882 15882 15017 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37703695 871354368 25968 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15893] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15893/stat : 15893 (java) S 15882 15882 15017 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 37703695 871354368 25968 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 856288

[startup+51.1027 s]

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

/proc/15885/task/15891/stat : 15891 (java) S 15882 15882 15017 0 -1 64 2306 0 0 0 62 1 0 0 16 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15892] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15892/stat : 15892 (java) S 15882 15882 15017 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15893] ppid=15882 vsize=850932 CPUtime=0.03
/proc/15885/task/15893/stat : 15893 (java) S 15882 15882 15017 0 -1 64 2 0 0 0 2 1 0 0 15 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3372.73
Current children cumulated vsize (KiB) 856288

[startup+3462.3 s]
/proc/loadavg: 2.15 2.07 1.95 3/98 16125
/proc/meminfo: memFree=1737384/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
[pid=15885] ppid=15882 vsize=850932 CPUtime=3432.7
/proc/15885/stat : 15885 (java) S 15882 15882 15017 0 -1 0 29734 0 1 0 343242 28 0 0 18 0 9 0 37703690 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15885/statm: 212733 26010 2580 9 0 207293 0
[pid=15885/tid=15886] ppid=15882 vsize=850932 CPUtime=3430.67
/proc/15885/task/15886/stat : 15886 (java) R 15882 15882 15017 0 -1 64 4773 0 1 0 343052 15 0 0 25 0 9 0 37703691 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4127359971 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15885/tid=15887] ppid=15882 vsize=850932 CPUtime=1.32
/proc/15885/task/15887/stat : 15887 (java) S 15882 15882 15017 0 -1 64 21917 0 0 0 124 8 0 0 16 0 9 0 37703692 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15885/tid=15888] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15888/stat : 15888 (java) S 15882 15882 15017 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37703692 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15889] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15889/stat : 15889 (java) S 15882 15882 15017 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37703693 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15890] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15890/stat : 15890 (java) S 15882 15882 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15891] ppid=15882 vsize=850932 CPUtime=0.63
/proc/15885/task/15891/stat : 15891 (java) S 15882 15882 15017 0 -1 64 2306 0 0 0 62 1 0 0 16 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15892] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15892/stat : 15892 (java) S 15882 15882 15017 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15893] ppid=15882 vsize=850932 CPUtime=0.03
/proc/15885/task/15893/stat : 15893 (java) S 15882 15882 15017 0 -1 64 2 0 0 0 2 1 0 0 15 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3432.7
Current children cumulated vsize (KiB) 856288

[startup+3522.3 s]
/proc/loadavg: 2.05 2.05 1.95 3/98 16125
/proc/meminfo: memFree=1737320/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
[pid=15885] ppid=15882 vsize=850932 CPUtime=3492.67
/proc/15885/stat : 15885 (java) S 15882 15882 15017 0 -1 0 29735 0 1 0 349239 28 0 0 18 0 9 0 37703690 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15885/statm: 212733 26010 2580 9 0 207293 0
[pid=15885/tid=15886] ppid=15882 vsize=850932 CPUtime=3490.64
/proc/15885/task/15886/stat : 15886 (java) R 15882 15882 15017 0 -1 64 4774 0 1 0 349049 15 0 0 25 0 9 0 37703691 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4127310765 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15885/tid=15887] ppid=15882 vsize=850932 CPUtime=1.32
/proc/15885/task/15887/stat : 15887 (java) S 15882 15882 15017 0 -1 64 21917 0 0 0 124 8 0 0 16 0 9 0 37703692 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15885/tid=15888] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15888/stat : 15888 (java) S 15882 15882 15017 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37703692 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15889] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15889/stat : 15889 (java) S 15882 15882 15017 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37703693 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15890] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15890/stat : 15890 (java) S 15882 15882 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15891] ppid=15882 vsize=850932 CPUtime=0.63
/proc/15885/task/15891/stat : 15891 (java) S 15882 15882 15017 0 -1 64 2306 0 0 0 62 1 0 0 16 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15892] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15892/stat : 15892 (java) S 15882 15882 15017 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15893] ppid=15882 vsize=850932 CPUtime=0.03
/proc/15885/task/15893/stat : 15893 (java) S 15882 15882 15017 0 -1 64 2 0 0 0 2 1 0 0 15 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3492.67
Current children cumulated vsize (KiB) 856288

[startup+3582.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/98 16125
/proc/meminfo: memFree=1737192/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
[pid=15885] ppid=15882 vsize=850932 CPUtime=3552.64
/proc/15885/stat : 15885 (java) S 15882 15882 15017 0 -1 0 29735 0 1 0 355236 28 0 0 18 0 9 0 37703690 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15885/statm: 212733 26010 2580 9 0 207293 0
[pid=15885/tid=15886] ppid=15882 vsize=850932 CPUtime=3550.61
/proc/15885/task/15886/stat : 15886 (java) R 15882 15882 15017 0 -1 64 4774 0 1 0 355046 15 0 0 25 0 9 0 37703691 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4127359958 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15885/tid=15887] ppid=15882 vsize=850932 CPUtime=1.32
/proc/15885/task/15887/stat : 15887 (java) S 15882 15882 15017 0 -1 64 21917 0 0 0 124 8 0 0 16 0 9 0 37703692 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15885/tid=15888] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15888/stat : 15888 (java) S 15882 15882 15017 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37703692 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15889] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15889/stat : 15889 (java) S 15882 15882 15017 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37703693 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15890] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15890/stat : 15890 (java) S 15882 15882 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15891] ppid=15882 vsize=850932 CPUtime=0.63
/proc/15885/task/15891/stat : 15891 (java) S 15882 15882 15017 0 -1 64 2306 0 0 0 62 1 0 0 16 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15892] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15892/stat : 15892 (java) S 15882 15882 15017 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15893] ppid=15882 vsize=850932 CPUtime=0.03
/proc/15885/task/15893/stat : 15893 (java) S 15882 15882 15017 0 -1 64 2 0 0 0 2 1 0 0 15 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3552.64
Current children cumulated vsize (KiB) 856288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3629.7 s]
/proc/loadavg: 2.01 2.03 1.95 4/98 16131
/proc/meminfo: memFree=1737120/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
[pid=15885] ppid=15882 vsize=850932 CPUtime=3600.01
/proc/15885/stat : 15885 (java) S 15882 15882 15017 0 -1 0 29735 0 1 0 359973 28 0 0 18 0 9 0 37703690 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15885/statm: 212733 26010 2580 9 0 207293 0
[pid=15885/tid=15886] ppid=15882 vsize=850932 CPUtime=3597.98
/proc/15885/task/15886/stat : 15886 (java) R 15882 15882 15017 0 -1 64 4774 0 1 0 359783 15 0 0 25 0 9 0 37703691 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4127301577 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15885/tid=15887] ppid=15882 vsize=850932 CPUtime=1.32
/proc/15885/task/15887/stat : 15887 (java) S 15882 15882 15017 0 -1 64 21917 0 0 0 124 8 0 0 16 0 9 0 37703692 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15885/tid=15888] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15888/stat : 15888 (java) S 15882 15882 15017 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37703692 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15889] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15889/stat : 15889 (java) S 15882 15882 15017 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37703693 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15890] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15890/stat : 15890 (java) S 15882 15882 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15891] ppid=15882 vsize=850932 CPUtime=0.63
/proc/15885/task/15891/stat : 15891 (java) S 15882 15882 15017 0 -1 64 2306 0 0 0 62 1 0 0 16 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15892] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15892/stat : 15892 (java) S 15882 15882 15017 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15893] ppid=15882 vsize=850932 CPUtime=0.03
/proc/15885/task/15893/stat : 15893 (java) S 15882 15882 15017 0 -1 64 2 0 0 0 2 1 0 0 15 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 856288

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

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

[startup+3629.7 s]
/proc/loadavg: 2.01 2.03 1.95 4/98 16131
/proc/meminfo: memFree=1737120/2055920 swapFree=4190156/4192956
[pid=15882] ppid=15880 vsize=5356 CPUtime=0
/proc/15882/stat : 15882 (concrete.sh) S 15880 15882 15017 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 37703689 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15882/statm: 1339 242 201 169 0 50 0
[pid=15885] ppid=15882 vsize=850932 CPUtime=3600.01
/proc/15885/stat : 15885 (java) S 15882 15882 15017 0 -1 0 29735 0 1 0 359973 28 0 0 18 0 9 0 37703690 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15885/statm: 212733 26010 2580 9 0 207293 0
[pid=15885/tid=15886] ppid=15882 vsize=850932 CPUtime=3597.98
/proc/15885/task/15886/stat : 15886 (java) R 15882 15882 15017 0 -1 64 4774 0 1 0 359783 15 0 0 25 0 9 0 37703691 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4127301577 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15885/tid=15887] ppid=15882 vsize=850932 CPUtime=1.32
/proc/15885/task/15887/stat : 15887 (java) S 15882 15882 15017 0 -1 64 21917 0 0 0 124 8 0 0 16 0 9 0 37703692 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15885/tid=15888] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15888/stat : 15888 (java) S 15882 15882 15017 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37703692 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15889] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15889/stat : 15889 (java) S 15882 15882 15017 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 37703693 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15890] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15890/stat : 15890 (java) S 15882 15882 15017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15891] ppid=15882 vsize=850932 CPUtime=0.63
/proc/15885/task/15891/stat : 15891 (java) S 15882 15882 15017 0 -1 64 2306 0 0 0 62 1 0 0 16 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15892] ppid=15882 vsize=850932 CPUtime=0
/proc/15885/task/15892/stat : 15892 (java) S 15882 15882 15017 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15885/tid=15893] ppid=15882 vsize=850932 CPUtime=0.03
/proc/15885/task/15893/stat : 15893 (java) S 15882 15882 15017 0 -1 64 2 0 0 0 2 1 0 0 15 0 9 0 37703695 871354368 26010 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 856288

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15882 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.002999
# while last known CPU time is 3600.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3629.72
CPU time (s): 3600.01
CPU user time (s): 3599.73
CPU system time (s): 0.28
CPU usage (%): 99.1815
Max. virtual memory (cumulated for all children) (KiB): 861416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 5

runsolver used 4.99624 second user time and 12.4751 second system time

The end

Name	csp/os-taillard-15/ normalized-os-taillard-15-95-2.xml
MD5SUM	8376fcfcac18b60a71faf845a033c81e
Bench Category	2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark	MSAT TO
Best Number of falsified constraints	15
Best CPU time to get the best result obtained on this benchmark	3600.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	225
Number of constraints	3150
Maximum constraint arity	2
Maximum domain size	854
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	3150
Global constraints used (with number of constraints)

Trace number 1109769

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data (download as text)

Verifier Data (download as text)

Watcher Data (download as text)

Launcher Data (download as text)