| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.69 | 1800.1 |
| Name | /OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb |
| MD5SUM | 8d651cc878ba5f8db7c83d3bfed1cb1c |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -98026 |
| Best CPU time to get the best result obtained on this benchmark | 1800.85 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 400896 |
| Total number of constraints | 402763 |
| Number of constraints which are clauses | 400785 |
| Number of constraints which are cardinality constraints (but not clauses) | 194 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1784 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 58023 |
| Number of terms in the objective function | 1605 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 987807 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1000 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 987807 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | wbo: 1.72 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3727902-1338672903.opb. 0.00/0.00 c Instance file HOME/instance-3727902-1338672903.opb 0.00/0.00 c File size is 28235837 bytes. 3.09/3.10 c Cost Offset: -987807 3.09/3.10 c Highest Coefficient sum: 63834 3.09/3.11 c ============================[ Problem Statistics ]============================= 3.09/3.11 c | | 3.09/3.11 c | Parsing time: 3.11 s | 3.09/3.11 c | Number Variables: 400896 | 3.09/3.11 c | Number Clauses: 400785 | 3.09/3.11 c | Number Cardinality: 1977 | 3.09/3.11 c | Number PB Constraints: 1 | 3.09/3.11 c | | 3.39/3.41 c | Problem Type: Optimization | 3.39/3.41 c | Objective Function: PB Constraint | 3.39/3.41 c | | 3.39/3.41 c ============================[ Search Statistics ]============================== 3.39/3.41 c | Time (s) | ID | Bound | Shared Clauses | 3.39/3.41 c | | | value type | expCls impCls Lit/impCl | 3.39/3.41 c =============================================================================== 3.88/3.96 c | 3.96 | 0 | -987805 lb | 0 0 0.00 | 4.39/4.46 c | 4.46 | 0 | -987804 lb | 0 0 0.00 | 4.89/4.92 c | 4.92 | 0 | -987802 lb | 0 0 0.00 | 5.29/5.38 c | 5.38 | 0 | -987801 lb | 0 0 0.00 | 5.79/5.84 c | 5.84 | 0 | -987800 lb | 0 0 0.00 | 6.29/6.33 c | 6.33 | 0 | -987798 lb | 0 0 0.00 | 6.69/6.79 c | 6.80 | 0 | -987797 lb | 0 0 0.00 | 7.19/7.28 c | 7.28 | 0 | -987796 lb | 0 0 0.00 | 7.70/7.75 c | 7.76 | 0 | -987795 lb | 0 0 0.00 | 8.19/8.25 c | 8.25 | 0 | -987792 lb | 0 0 0.00 | 8.70/8.74 c | 8.74 | 0 | -987791 lb | 0 0 0.00 | 9.19/9.25 c | 9.25 | 0 | -987787 lb | 0 0 0.00 | 9.69/9.73 c | 9.74 | 0 | -987784 lb | 0 0 0.00 | 10.19/10.25 c | 10.26 | 0 | -987783 lb | 0 0 0.00 | 10.69/10.76 c | 10.76 | 0 | -987782 lb | 0 0 0.00 | 11.18/11.28 c | 11.29 | 0 | -987780 lb | 0 0 0.00 | 11.68/11.79 c | 11.79 | 0 | -987779 lb | 0 0 0.00 | 12.28/12.31 c | 12.32 | 0 | -987777 lb | 0 0 0.00 | 12.79/12.83 c | 12.83 | 0 | -987776 lb | 0 0 0.00 | 13.29/13.35 c | 13.36 | 0 | -987775 lb | 0 0 0.00 | 13.79/13.87 c | 13.87 | 0 | -987774 lb | 0 0 0.00 | 14.29/14.39 c | 14.40 | 0 | -987773 lb | 0 0 0.00 | 14.88/14.90 c | 14.90 | 0 | -987772 lb | 0 0 0.00 | 15.39/15.43 c | 15.43 | 0 | -987771 lb | 0 0 0.00 | 15.89/15.95 c | 15.96 | 0 | -987770 lb | 0 0 0.00 | 16.39/16.49 c | 16.50 | 0 | -987769 lb | 0 0 0.00 | 16.98/17.01 c | 17.01 | 0 | -987768 lb | 0 0 0.00 | 17.49/17.54 c | 17.55 | 0 | -987767 lb | 0 0 0.00 | 17.98/18.06 c | 18.07 | 0 | -987766 lb | 0 0 0.00 | 18.59/18.61 c | 18.62 | 0 | -987765 lb | 0 0 0.00 | 19.08/19.14 c | 19.15 | 0 | -987762 lb | 0 0 0.00 | 19.58/19.70 c | 19.70 | 0 | -987760 lb | 0 0 0.00 | 20.18/20.24 c | 20.25 | 0 | -987758 lb | 0 0 0.00 | 20.79/20.80 c | 20.81 | 0 | -987757 lb | 0 0 0.00 | 21.28/21.35 c | 21.36 | 0 | -987756 lb | 0 0 0.00 | 21.89/21.90 c | 21.91 | 0 | -987755 lb | 0 0 0.00 | 22.38/22.45 c | 22.45 | 0 | -987754 lb | 0 0 0.00 | 22.99/23.01 c | 23.02 | 0 | -987753 lb | 0 0 0.00 | 23.48/23.56 c | 23.57 | 0 | -987752 lb | 0 0 0.00 | 24.09/24.13 c | 24.13 | 0 | -987750 lb | 0 0 0.00 | 24.58/24.69 c | 24.69 | 0 | -987749 lb | 0 0 0.00 | 25.19/25.25 c | 25.26 | 0 | -987748 lb | 0 0 0.00 | 25.78/25.82 c | 25.82 | 0 | -987747 lb | 0 0 0.00 | 26.29/26.39 c | 26.39 | 0 | -987746 lb | 0 0 0.00 | 26.89/26.96 c | 26.96 | 0 | -987745 lb | 0 0 0.00 | 27.49/27.53 c | 27.54 | 0 | -987744 lb | 0 0 0.00 | 28.08/28.10 c | 28.11 | 0 | -987742 lb | 0 0 0.00 | 28.59/28.67 c | 28.68 | 0 | -987740 lb | 0 0 0.00 | 29.18/29.25 c | 29.25 | 0 | -987739 lb | 0 0 0.00 | 29.78/29.82 c | 29.83 | 0 | -987738 lb | 0 0 0.00 | 30.28/30.39 c | 30.39 | 0 | -987737 lb | 0 0 0.00 | 30.88/30.97 c | 30.97 | 0 | -987735 lb | 0 0 0.00 | 31.48/31.55 c | 31.55 | 0 | -987734 lb | 0 0 0.00 | 32.08/32.13 c | 32.13 | 0 | -987733 lb | 0 0 0.00 | 32.68/32.70 c | 32.70 | 0 | -987732 lb | 0 0 0.00 | 33.18/33.29 c | 33.29 | 0 | -987731 lb | 0 0 0.00 | 33.78/33.88 c | 33.89 | 0 | -987730 lb | 0 0 0.00 | 34.38/34.48 c | 34.49 | 0 | -987729 lb | 0 0 0.00 | 34.98/35.07 c | 35.07 | 0 | -987728 lb | 0 0 0.00 | 35.58/35.66 c | 35.66 | 0 | -987726 lb | 0 0 0.00 | 36.18/36.24 c | 36.24 | 0 | -987725 lb | 0 0 0.00 | 36.78/36.84 c | 36.85 | 0 | -987723 lb | 0 0 0.00 | 37.38/37.43 c | 37.44 | 0 | -987722 lb | 0 0 0.00 | 37.98/38.04 c | 38.05 | 0 | -987720 lb | 0 0 0.00 | 38.58/38.64 c | 38.64 | 0 | -987719 lb | 0 0 0.00 | 39.18/39.24 c | 39.24 | 0 | -987718 lb | 0 0 0.00 | 39.78/39.83 c | 39.83 | 0 | -987717 lb | 0 0 0.00 | 40.38/40.43 c | 40.44 | 0 | -987716 lb | 0 0 0.00 | 40.98/41.03 c | 41.04 | 0 | -987715 lb | 0 0 0.00 | 41.58/41.64 c | 41.64 | 0 | -987712 lb | 0 0 0.00 | 42.18/42.23 c | 42.24 | 0 | -987711 lb | 0 0 0.00 | 42.78/42.85 c | 42.85 | 0 | -987709 lb | 0 0 0.00 | 43.38/43.45 c | 43.45 | 0 | -987708 lb | 0 0 0.00 | 43.98/44.06 c | 44.06 | 0 | -987706 lb | 0 0 0.00 | 44.58/44.66 c | 44.67 | 0 | -987705 lb | 0 0 0.00 | 45.18/45.26 c | 45.27 | 0 | -987704 lb | 0 0 0.00 | 45.78/45.88 c | 45.89 | 0 | -987703 lb | 0 0 0.00 | 46.48/46.50 c | 46.51 | 0 | -987702 lb | 0 0 0.00 | 47.07/47.11 c | 47.12 | 0 | -987701 lb | 0 0 0.00 | 47.68/47.73 c | 47.73 | 0 | -987700 lb | 0 0 0.00 | 48.29/48.34 c | 48.34 | 0 | -987699 lb | 0 0 0.00 | 48.87/48.98 c | 48.98 | 0 | -987697 lb | 0 0 0.00 | 49.58/49.61 c | 49.62 | 0 | -987696 lb | 0 0 0.00 | 50.17/50.25 c | 50.25 | 0 | -987695 lb | 0 0 0.00 | 50.78/50.88 c | 50.88 | 0 | -987694 lb | 0 0 0.00 | 51.48/51.51 c | 51.51 | 0 | -987692 lb | 0 0 0.00 | 52.07/52.15 c | 52.16 | 0 | -987691 lb | 0 0 0.00 | 52.68/52.79 c | 52.80 | 0 | -987689 lb | 0 0 0.00 | 53.37/53.42 c | 53.42 | 0 | -987688 lb | 0 0 0.00 | 53.98/54.06 c | 54.07 | 0 | -987686 lb | 0 0 0.00 | 54.58/54.69 c | 54.69 | 0 | -987684 lb | 0 0 0.00 | 55.28/55.32 c | 55.32 | 0 | -987683 lb | 0 0 0.00 | 55.88/55.95 c | 55.95 | 0 | -987681 lb | 0 0 0.00 | 56.47/56.59 c | 56.59 | 0 | -987679 lb | 0 0 0.00 | 57.19/57.22 c | 57.23 | 0 | -987675 lb | 0 0 0.00 | 57.77/57.87 c | 57.88 | 0 | -987671 lb | 0 0 0.00 | 58.47/58.51 c | 58.52 | 0 | -987670 lb | 0 0 0.00 | 59.07/59.15 c | 59.16 | 0 | -987669 lb | 0 0 0.00 | 59.68/59.79 c | 59.80 | 0 | -987668 lb | 0 0 0.00 | 60.38/60.46 c | 60.46 | 0 | -987665 lb | 0 0 0.00 | 61.07/61.12 c | 61.12 | 0 | -987664 lb | 0 0 0.00 | 61.67/61.78 c | 61.78 | 0 | -987662 lb | 0 0 0.00 | 62.38/62.44 c | 62.44 | 0 | -987661 lb | 0 0 0.00 | 62.98/63.09 c | 63.09 | 0 | -987660 lb | 0 0 0.00 | 63.68/63.73 c | 63.74 | 0 | -987659 lb | 0 0 0.00 | 64.37/64.40 c | 64.40 | 0 | -987658 lb | 0 0 0.00 | 64.97/65.06 c | 65.06 | 0 | -987657 lb | 0 0 0.00 | 65.68/65.72 c | 65.73 | 0 | -987656 lb | 0 0 0.00 | 66.28/66.38 c | 66.39 | 0 | -987655 lb | 0 0 0.00 | 66.98/67.05 c | 67.05 | 0 | -987654 lb | 0 0 0.00 | 67.67/67.72 c | 67.72 | 0 | -987653 lb | 0 0 0.00 | 68.27/68.37 c | 68.37 | 0 | -987652 lb | 0 0 0.00 | 68.98/69.03 c | 69.03 | 0 | -987651 lb | 0 0 0.00 | 69.58/69.70 c | 69.70 | 0 | -987650 lb | 0 0 0.00 | 70.28/70.36 c | 70.36 | 0 | -987645 lb | 0 0 0.00 | 70.98/71.01 c | 71.02 | 0 | -987644 lb | 0 0 0.00 | 71.57/71.69 c | 71.69 | 0 | -987643 lb | 0 0 0.00 | 72.27/72.34 c | 72.35 | 0 | -987642 lb | 0 0 0.00 | 72.98/73.00 c | 73.01 | 0 | -987640 lb | 0 0 0.00 | 73.58/73.67 c | 73.67 | 0 | -987639 lb | 0 0 0.00 | 74.27/74.36 c | 74.37 | 0 | -987638 lb | 0 0 0.00 | 74.97/75.03 c | 75.04 | 0 | -987637 lb | 0 0 0.00 | 75.67/75.71 c | 75.72 | 0 | -987636 lb | 0 0 0.00 | 76.27/76.39 c | 76.39 | 0 | -987635 lb | 0 0 0.00 | 76.98/77.07 c | 77.07 | 0 | -987634 lb | 0 0 0.00 | 77.67/77.74 c | 77.74 | 0 | -987633 lb | 0 0 0.00 | 78.37/78.41 c | 78.42 | 0 | -987631 lb | 0 0 0.00 | 78.97/79.10 c | 79.11 | 0 | -987630 lb | 0 0 0.00 | 79.67/79.77 c | 79.77 | 0 | -987629 lb | 0 0 0.00 | 80.37/80.44 c | 80.44 | 0 | -987628 lb | 0 0 0.00 | 81.07/81.12 c | 81.12 | 0 | -987627 lb | 0 0 0.00 | 81.77/81.81 c | 81.81 | 0 | -987626 lb | 0 0 0.00 | 82.38/82.50 c | 82.50 | 0 | -987625 lb | 0 0 0.00 | 83.07/83.17 c | 83.18 | 0 | -987624 lb | 0 0 0.00 | 83.77/83.85 c | 83.85 | 0 | -987623 lb | 0 0 0.00 | 84.47/84.53 c | 84.53 | 0 | -987622 lb | 0 0 0.00 | 85.17/85.21 c | 85.21 | 0 | -987621 lb | 0 0 0.00 | 85.78/85.88 c | 85.89 | 0 | -987619 lb | 0 0 0.00 | 86.47/86.56 c | 86.56 | 0 | -987618 lb | 0 0 0.00 | 87.17/87.26 c | 87.27 | 0 | -987616 lb | 0 0 0.00 | 87.88/87.96 c | 87.96 | 0 | -987613 lb | 0 0 0.00 | 88.57/88.64 c | 88.65 | 0 | -987612 lb | 0 0 0.00 | 89.27/89.34 c | 89.34 | 0 | -987611 lb | 0 0 0.00 | 89.97/90.02 c | 90.03 | 0 | -987610 lb | 0 0 0.00 | 90.67/90.73 c | 90.73 | 0 | -987609 lb | 0 0 0.00 | 91.37/91.41 c | 91.42 | 0 | -987608 lb | 0 0 0.00 | 92.07/92.11 c | 92.11 | 0 | -987607 lb | 0 0 0.00 | 92.67/92.79 c | 92.80 | 0 | -987606 lb | 0 0 0.00 | 93.38/93.49 c | 93.49 | 0 | -987604 lb | 0 0 0.00 | 94.07/94.17 c | 94.17 | 0 | -987603 lb | 0 0 0.00 | 94.77/94.86 c | 94.86 | 0 | -987602 lb | 0 0 0.00 | 95.47/95.55 c | 95.55 | 0 | -987601 lb | 0 0 0.00 | 96.17/96.23 c | 96.24 | 0 | -987600 lb | 0 0 0.00 | 96.87/96.94 c | 96.95 | 0 | -987599 lb | 0 0 0.00 | 97.57/97.63 c | 97.64 | 0 | -987598 lb | 0 0 0.00 | 98.27/98.33 c | 98.34 | 0 | -987597 lb | 0 0 0.00 | 98.98/99.03 c | 99.04 | 0 | -987596 lb | 0 0 0.00 | 99.66/99.75 c | 99.75 | 0 | -987595 lb | 0 0 0.00 | 100.37/100.45 c | 100.45 | 0 | -987594 lb | 0 0 0.00 | 101.07/101.14 c | 101.14 | 0 | -987593 lb | 0 0 0.00 | 101.77/101.85 c | 101.85 | 0 | -987592 lb | 0 0 0.00 | 102.47/102.56 c | 102.57 | 0 | -987590 lb | 0 0 0.00 | 103.17/103.28 c | 103.28 | 0 | -987589 lb | 0 0 0.00 | 103.87/103.97 c | 103.98 | 0 | -987588 lb | 0 0 0.00 | 104.57/104.69 c | 104.69 | 0 | -987587 lb | 0 0 0.00 | 105.27/105.39 c | 105.40 | 0 | -987584 lb | 0 0 0.00 | 106.07/106.10 c | 106.11 | 0 | -987583 lb | 0 0 0.00 | 106.77/106.81 c | 106.81 | 0 | -987582 lb | 0 0 0.00 | 107.47/107.51 c | 107.52 | 0 | -987581 lb | 0 0 0.00 | 108.17/108.21 c | 108.21 | 0 | -987580 lb | 0 0 0.00 | 108.87/108.92 c | 108.92 | 0 | -987579 lb | 0 0 0.00 | 109.57/109.63 c | 109.63 | 0 | -987578 lb | 0 0 0.00 | 110.27/110.34 c | 110.35 | 0 | -987576 lb | 0 0 0.00 | 110.98/111.06 c | 111.07 | 0 | -987575 lb | 0 0 0.00 | 111.67/111.78 c | 111.79 | 0 | -987574 lb | 0 0 0.00 | 112.47/112.50 c | 112.51 | 0 | -987573 lb | 0 0 0.00 | 113.18/113.21 c | 113.21 | 0 | -987572 lb | 0 0 0.00 | 113.86/113.94 c | 113.94 | 0 | -987571 lb | 0 0 0.00 | 114.56/114.65 c | 114.65 | 0 | -987569 lb | 0 0 0.00 | 115.27/115.37 c | 115.37 | 0 | -987568 lb | 0 0 0.00 | 115.97/116.08 c | 116.08 | 0 | -987567 lb | 0 0 0.00 | 116.67/116.79 c | 116.79 | 0 | -987566 lb | 0 0 0.00 | 117.46/117.50 c | 117.51 | 0 | -987565 lb | 0 0 0.00 | 118.17/118.23 c | 118.24 | 0 | -987560 lb | 0 0 0.00 | 118.87/118.95 c | 118.95 | 0 | -987559 lb | 0 0 0.00 | 119.57/119.67 c | 119.67 | 0 | -987558 lb | 0 0 0.00 | 120.27/120.39 c | 120.39 | 0 | -987557 lb | 0 0 0.00 | 121.07/121.12 c | 121.13 | 0 | -987554 lb | 0 0 0.00 | 121.77/121.85 c | 121.85 | 0 | -987552 lb | 0 0 0.00 | 122.47/122.57 c | 122.57 | 0 | -987551 lb | 0 0 0.00 | 123.17/123.28 c | 123.28 | 0 | -987550 lb | 0 0 0.00 | 123.97/124.01 c | 124.01 | 0 | -987549 lb | 0 0 0.00 | 124.67/124.73 c | 124.73 | 0 | -987548 lb | 0 0 0.00 | 125.37/125.47 c | 125.47 | 0 | -987547 lb | 0 0 0.00 | 126.06/126.19 c | 126.19 | 0 | -987544 lb | 0 0 0.00 | 126.87/126.93 c | 126.93 | 0 | -987543 lb | 0 0 0.00 | 127.58/127.64 c | 127.64 | 0 | -987542 lb | 0 0 0.00 | 128.26/128.38 c | 128.39 | 0 | -987540 lb | 0 0 0.00 | 129.06/129.11 c | 129.11 | 0 | -987538 lb | 0 0 0.00 | 129.77/129.83 c | 129.84 | 0 | -987537 lb | 0 0 0.00 | 130.46/130.56 c | 130.56 | 0 | -987534 lb | 0 0 0.00 | 131.26/131.30 c | 131.30 | 0 | -987532 lb | 0 0 0.00 | 131.97/132.02 c | 132.03 | 0 | -987529 lb | 0 0 0.00 | 132.66/132.75 c | 132.76 | 0 | -987528 lb | 0 0 0.00 | 133.36/133.48 c | 133.48 | 0 | -987527 lb | 0 0 0.00 | 134.18/134.22 c | 134.23 | 0 | -987526 lb | 0 0 0.00 | 134.86/134.96 c | 134.97 | 0 | -987525 lb | 0 0 0.00 | 135.56/135.69 c | 135.69 | 0 | -987524 lb | 0 0 0.00 | 136.37/136.41 c | 136.42 | 0 | -987523 lb | 0 0 0.00 | 137.07/137.15 c | 137.15 | 0 | -987522 lb | 0 0 0.00 | 137.76/137.89 c | 137.90 | 0 | -987521 lb | 0 0 0.00 | 138.57/138.66 c | 138.66 | 0 | -987520 lb | 0 0 0.00 | 139.36/139.40 c | 139.40 | 0 | -987519 lb | 0 0 0.00 | 140.07/140.15 c | 140.16 | 0 | -987517 lb | 0 0 0.00 | 140.77/140.89 c | 140.89 | 0 | -987516 lb | 0 0 0.00 | 141.56/141.66 c | 141.66 | 0 | -987515 lb | 0 0 0.00 | 142.36/142.40 c | 142.41 | 0 | -987514 lb | 0 0 0.00 | 143.07/143.18 c | 143.18 | 0 | -987513 lb | 0 0 0.00 | 143.87/143.92 c | 143.93 | 0 | -987512 lb | 0 0 0.00 | 144.56/144.68 c | 144.69 | 0 | -987511 lb | 0 0 0.00 | 145.36/145.43 c | 145.43 | 0 | -987507 lb | 0 0 0.00 | 146.07/146.17 c | 146.18 | 0 | -987506 lb | 0 0 0.00 | 146.86/146.92 c | 146.93 | 0 | -987505 lb | 0 0 0.00 | 147.57/147.68 c | 147.69 | 0 | -987504 lb | 0 0 0.00 | 148.37/148.43 c | 148.44 | 0 | -987501 lb | 0 0 0.00 | 149.06/149.18 c | 149.18 | 0 | -987499 lb | 0 0 0.00 | 149.86/149.95 c | 149.95 | 0 | -987498 lb | 0 0 0.00 | 150.57/150.69 c | 150.69 | 0 | -987497 lb | 0 0 0.00 | 151.36/151.45 c | 151.45 | 0 | -987494 lb | 0 0 0.00 | 152.06/152.20 c | 152.20 | 0 | -987493 lb | 0 0 0.00 | 152.87/152.95 c | 152.95 | 0 | -987492 lb | 0 0 0.00 | 153.56/153.69 c | 153.69 | 0 | -987491 lb | 0 0 0.00 | 154.36/154.44 c | 154.44 | 0 | -987490 lb | 0 0 0.00 | 155.16/155.20 c | 155.20 | 0 | -987489 lb | 0 0 0.00 | 155.86/155.97 c | 155.97 | 0 | -987488 lb | 0 0 0.00 | 156.66/156.71 c | 156.72 | 0 | -987487 lb | 0 0 0.00 | 157.36/157.47 c | 157.47 | 0 | -987486 lb | 0 0 0.00 | 158.16/158.22 c | 158.23 | 0 | -987485 lb | 0 0 0.00 | 158.86/158.98 c | 158.99 | 0 | -987484 lb | 0 0 0.00 | 159.66/159.76 c | 159.76 | 0 | -987483 lb | 0 0 0.00 | 160.47/160.52 c | 160.52 | 0 | -987482 lb | 0 0 0.00 | 161.16/161.27 c | 161.28 | 0 | -987480 lb | 0 0 0.00 | 161.96/162.03 c | 162.04 | 0 | -987478 lb | 0 0 0.00 | 162.76/162.80 c | 162.81 | 0 | -987477 lb | 0 0 0.00 | 163.46/163.57 c | 163.57 | 0 | -987474 lb | 0 0 0.00 | 164.26/164.35 c | 164.35 | 0 | -987473 lb | 0 0 0.00 | 165.06/165.15 c | 165.15 | 0 | -987472 lb | 0 0 0.00 | 165.86/165.94 c | 165.94 | 0 | -987470 lb | 0 0 0.00 | 166.66/166.71 c | 166.71 | 0 | -987469 lb | 0 0 0.00 | 167.36/167.47 c | 167.48 | 0 | -987468 lb | 0 0 0.00 | 168.16/168.25 c | 168.25 | 0 | -987467 lb | 0 0 0.00 | 168.96/169.04 c | 169.04 | 0 | -987466 lb | 0 0 0.00 | 169.76/169.83 c | 169.83 | 0 | -987465 lb | 0 0 0.00 | 170.56/170.61 c | 170.62 | 0 | -987464 lb | 0 0 0.00 | 171.36/171.40 c | 171.40 | 0 | -987461 lb | 0 0 0.00 | 172.06/172.18 c | 172.18 | 0 | -987459 lb | 0 0 0.00 | 172.85/172.96 c | 172.96 | 0 | -987458 lb | 0 0 0.00 | 173.66/173.76 c | 173.77 | 0 | -987457 lb | 0 0 0.00 | 174.46/174.54 c | 174.55 | 0 | -987456 lb | 0 0 0.00 | 175.25/175.32 c | 175.32 | 0 | -987451 lb | 0 0 0.00 | 176.06/176.10 c | 176.11 | 0 | -987450 lb | 0 0 0.00 | 176.86/176.90 c | 176.90 | 0 | -987449 lb | 0 0 0.00 | 177.66/177.72 c | 177.72 | 0 | -987448 lb | 0 0 0.00 | 178.46/178.50 c | 178.51 | 0 | -987447 lb | 0 0 0.00 | 179.17/179.29 c | 179.30 | 0 | -987445 lb | 0 0 0.00 | 179.96/180.07 c | 180.07 | 0 | -987444 lb | 0 0 0.00 | 180.76/180.85 c | 180.86 | 0 | -987443 lb | 0 0 0.00 | 181.56/181.63 c | 181.64 | 0 | -987442 lb | 0 0 0.00 | 182.35/182.43 c | 182.43 | 0 | -987441 lb | 0 0 0.00 | 183.15/183.21 c | 183.21 | 0 | -987440 lb | 0 0 0.00 | 183.96/184.01 c | 184.02 | 0 | -987439 lb | 0 0 0.00 | 184.76/184.81 c | 184.82 | 0 | -987437 lb | 0 0 0.00 | 185.55/185.60 c | 185.61 | 0 | -987435 lb | 0 0 0.00 | 186.26/186.38 c | 186.38 | 0 | -987434 lb | 0 0 0.00 | 187.06/187.17 c | 187.17 | 0 | -987433 lb | 0 0 0.00 | 187.85/187.96 c | 187.97 | 0 | -987432 lb | 0 0 0.00 | 188.65/188.75 c | 188.75 | 0 | -987430 lb | 0 0 0.00 | 189.45/189.55 c | 189.56 | 0 | -987429 lb | 0 0 0.00 | 190.26/190.34 c | 190.35 | 0 | -987427 lb | 0 0 0.00 | 191.06/191.16 c | 191.16 | 0 | -987424 lb | 0 0 0.00 | 191.85/191.99 c | 191.99 | 0 | -987423 lb | 0 0 0.00 | 192.75/192.82 c | 192.82 | 0 | -987422 lb | 0 0 0.00 | 193.56/193.64 c | 193.64 | 0 | -987421 lb | 0 0 0.00 | 194.36/194.47 c | 194.47 | 0 | -987419 lb | 0 0 0.00 | 195.25/195.31 c | 195.32 | 0 | -987418 lb | 0 0 0.00 | 196.05/196.12 c | 196.12 | 0 | -987416 lb | 0 0 0.00 | 196.86/196.95 c | 196.96 | 0 | -987414 lb | 0 0 0.00 | 197.66/197.78 c | 197.78 | 0 | -987413 lb | 0 0 0.00 | 198.55/198.61 c | 198.61 | 0 | -987412 lb | 0 0 0.00 | 199.36/199.45 c | 199.45 | 0 | -987411 lb | 0 0 0.00 | 200.16/200.27 c | 200.27 | 0 | -987409 lb | 0 0 0.00 | 201.05/201.10 c | 201.10 | 0 | -987408 lb | 0 0 0.00 | 201.85/201.92 c | 201.93 | 0 | -987407 lb | 0 0 0.00 | 202.65/202.78 c | 202.79 | 0 | -987406 lb | 0 0 0.00 | 203.56/203.60 c | 203.60 | 0 | -987405 lb | 0 0 0.00 | 204.36/204.42 c | 204.43 | 0 | -987404 lb | 0 0 0.00 | 205.16/205.27 c | 205.28 | 0 | -987403 lb | 0 0 0.00 | 206.05/206.12 c | 206.12 | 0 | -987401 lb | 0 0 0.00 | 206.85/206.96 c | 206.96 | 0 | -987399 lb | 0 0 0.00 | 207.66/207.80 c | 207.80 | 0 | -987398 lb | 0 0 0.00 | 208.55/208.65 c | 208.65 | 0 | -987396 lb | 0 0 0.00 | 209.45/209.54 c | 209.55 | 0 | -987395 lb | 0 0 0.00 | 210.25/210.38 c | 210.39 | 0 | -987394 lb | 0 0 0.00 | 211.15/211.23 c | 211.23 | 0 | -987392 lb | 0 0 0.00 | 211.95/212.06 c | 212.06 | 0 | -987391 lb | 0 0 0.00 | 212.85/212.92 c | 212.92 | 0 | -987390 lb | 0 0 0.00 | 213.65/213.76 c | 213.77 | 0 | -987389 lb | 0 0 0.00 | 214.45/214.59 c | 214.60 | 0 | -987388 lb | 0 0 0.00 | 215.35/215.44 c | 215.44 | 0 | -987387 lb | 0 0 0.00 | 216.25/216.32 c | 216.32 | 0 | -987386 lb | 0 0 0.00 | 217.05/217.17 c | 217.17 | 0 | -987385 lb | 0 0 0.00 | 217.95/218.02 c | 218.02 | 0 | -987384 lb | 0 0 0.00 | 218.76/218.85 c | 218.86 | 0 | -987383 lb | 0 0 0.00 | 219.65/219.73 c | 219.74 | 0 | -987382 lb | 0 0 0.00 | 220.45/220.59 c | 220.59 | 0 | -987380 lb | 0 0 0.00 | 221.35/221.45 c | 221.45 | 0 | -987379 lb | 0 0 0.00 | 222.25/222.32 c | 222.33 | 0 | -987378 lb | 0 0 0.00 | 223.05/223.20 c | 223.21 | 0 | -987375 lb | 0 0 0.00 | 223.95/224.06 c | 224.06 | 0 | -987374 lb | 0 0 0.00 | 224.85/224.93 c | 224.93 | 0 | -987373 lb | 0 0 0.00 | 225.65/225.79 c | 225.80 | 0 | -987372 lb | 0 0 0.00 | 226.56/226.66 c | 226.66 | 0 | -987371 lb | 0 0 0.00 | 227.45/227.52 c | 227.52 | 0 | -987370 lb | 0 0 0.00 | 228.25/228.37 c | 228.37 | 0 | -987367 lb | 0 0 0.00 | 229.14/229.24 c | 229.25 | 0 | -987365 lb | 0 0 0.00 | 230.04/230.10 c | 230.11 | 0 | -987364 lb | 0 0 0.00 | 230.85/230.99 c | 231.00 | 0 | -987363 lb | 0 0 0.00 | 231.74/231.85 c | 231.86 | 0 | -987362 lb | 0 0 0.00 | 232.65/232.72 c | 232.72 | 0 | -987361 lb | 0 0 0.00 | 233.45/233.57 c | 233.58 | 0 | -987360 lb | 0 0 0.00 | 234.34/234.45 c | 234.45 | 0 | -987359 lb | 0 0 0.00 | 235.26/235.31 c | 235.31 | 0 | -987358 lb | 0 0 0.00 | 236.04/236.19 c | 236.20 | 0 | -987357 lb | 0 0 0.00 | 236.94/237.05 c | 237.06 | 0 | -987356 lb | 0 0 0.00 | 237.84/237.94 c | 237.94 | 0 | -987354 lb | 0 0 0.00 | 238.66/238.78 c | 238.78 | 0 | -987353 lb | 0 0 0.00 | 239.54/239.67 c | 239.68 | 0 | -987352 lb | 0 0 0.00 | 240.45/240.57 c | 240.57 | 0 | -987351 lb | 0 0 0.00 | 241.34/241.42 c | 241.43 | 0 | -987350 lb | 0 0 0.00 | 242.24/242.30 c | 242.30 | 0 | -987349 lb | 0 0 0.00 | 243.05/243.16 c | 243.16 | 0 | -987347 lb | 0 0 0.00 | 243.95/244.05 c | 244.05 | 0 | -987346 lb | 0 0 0.00 | 244.85/244.93 c | 244.93 | 0 | -987344 lb | 0 0 0.00 | 245.74/245.80 c | 245.80 | 0 | -987343 lb | 0 0 0.00 | 246.55/246.65 c | 246.65 | 0 | -987342 lb | 0 0 0.00 | 247.45/247.51 c | 247.52 | 0 | -987341 lb | 0 0 0.00 | 248.24/248.39 c | 248.39 | 0 | -987338 lb | 0 0 0.00 | 249.15/249.29 c | 249.29 | 0 | -987337 lb | 0 0 0.00 | 250.05/250.17 c | 250.18 | 0 | -987336 lb | 0 0 0.00 | 250.94/251.05 c | 251.05 | 0 | -987334 lb | 0 0 0.00 | 251.85/251.91 c | 251.92 | 0 | -987331 lb | 0 0 0.00 | 252.64/252.79 c | 252.79 | 0 | -987330 lb | 0 0 0.00 | 253.54/253.67 c | 253.68 | 0 | -987329 lb | 0 0 0.00 | 254.44/254.57 c | 254.57 | 0 | -987328 lb | 0 0 0.00 | 255.34/255.45 c | 255.45 | 0 | -987327 lb | 0 0 0.00 | 256.25/256.33 c | 256.34 | 0 | -987326 lb | 0 0 0.00 | 257.14/257.25 c | 257.25 | 0 | -987325 lb | 0 0 0.00 | 258.04/258.12 c | 258.12 | 0 | -987324 lb | 0 0 0.00 | 258.84/258.99 c | 258.99 | 0 | -987321 lb | 0 0 0.00 | 259.74/259.84 c | 259.84 | 0 | -987320 lb | 0 0 0.00 | 260.65/260.71 c | 260.71 | 0 | -987318 lb | 0 0 0.00 | 261.44/261.59 c | 261.59 | 0 | -987317 lb | 0 0 0.00 | 262.35/262.48 c | 262.48 | 0 | -987316 lb | 0 0 0.00 | 263.24/263.37 c | 263.38 | 0 | -987315 lb | 0 0 0.00 | 264.14/264.26 c | 264.26 | 0 | -987314 lb | 0 0 0.00 | 265.04/265.14 c | 265.14 | 0 | -987313 lb | 0 0 0.00 | 265.95/266.01 c | 266.01 | 0 | -987311 lb | 0 0 0.00 | 266.74/266.87 c | 266.87 | 0 | -987310 lb | 0 0 0.00 | 267.64/267.79 c | 267.79 | 0 | -987308 lb | 0 0 0.00 | 268.54/268.65 c | 268.65 | 0 | -987307 lb | 0 0 0.00 | 269.45/269.53 c | 269.53 | 0 | -987306 lb | 0 0 0.00 | 270.34/270.43 c | 270.44 | 0 | -987305 lb | 0 0 0.00 | 271.24/271.34 c | 271.34 | 0 | -987303 lb | 0 0 0.00 | 272.14/272.24 c | 272.25 | 0 | -987300 lb | 0 0 0.00 | 273.04/273.15 c | 273.16 | 0 | -987299 lb | 0 0 0.00 | 273.94/274.07 c | 274.08 | 0 | -987298 lb | 0 0 0.00 | 274.84/274.98 c | 274.98 | 0 | -987296 lb | 0 0 0.00 | 275.74/275.89 c | 275.90 | 0 | -987295 lb | 0 0 0.00 | 276.74/276.80 c | 276.81 | 0 | -987294 lb | 0 0 0.00 | 277.64/277.72 c | 277.73 | 0 | -987293 lb | 0 0 0.00 | 278.54/278.65 c | 278.65 | 0 | -987292 lb | 0 0 0.00 | 279.44/279.53 c | 279.54 | 0 | -987291 lb | 0 0 0.00 | 280.34/280.44 c | 280.44 | 0 | -987290 lb | 0 0 0.00 | 281.23/281.35 c | 281.36 | 0 | -987289 lb | 0 0 0.00 | 282.14/282.29 c | 282.29 | 0 | -987287 lb | 0 0 0.00 | 283.14/283.20 c | 283.20 | 0 | -987286 lb | 0 0 0.00 | 284.04/284.12 c | 284.12 | 0 | -987284 lb | 0 0 0.00 | 284.94/285.05 c | 285.05 | 0 | -987283 lb | 0 0 0.00 | 285.84/285.99 c | 285.99 | 0 | -987280 lb | 0 0 0.00 | 286.84/286.90 c | 286.90 | 0 | -987279 lb | 0 0 0.00 | 287.74/287.82 c | 287.83 | 0 | -987278 lb | 0 0 0.00 | 288.64/288.73 c | 288.73 | 0 | -987274 lb | 0 0 0.00 | 289.54/289.65 c | 289.65 | 0 | -987273 lb | 0 0 0.00 | 290.44/290.56 c | 290.57 | 0 | -987271 lb | 0 0 0.00 | 291.35/291.48 c | 291.48 | 0 | -987270 lb | 0 0 0.00 | 292.34/292.40 c | 292.40 | 0 | -987269 lb | 0 0 0.00 | 293.23/293.30 c | 293.30 | 0 | -987268 lb | 0 0 0.00 | 294.13/294.22 c | 294.23 | 0 | -987267 lb | 0 0 0.00 | 295.04/295.14 c | 295.15 | 0 | -987266 lb | 0 0 0.00 | 295.94/296.06 c | 296.06 | 0 | -987265 lb | 0 0 0.00 | 296.84/296.96 c | 296.96 | 0 | -987264 lb | 0 0 0.00 | 297.73/297.85 c | 297.85 | 0 | -987263 lb | 0 0 0.00 | 298.64/298.77 c | 298.77 | 0 | -987262 lb | 0 0 0.00 | 299.63/299.71 c | 299.72 | 0 | -987261 lb | 0 0 0.00 | 300.53/300.63 c | 300.63 | 0 | -987260 lb | 0 0 0.00 | 301.43/301.55 c | 301.55 | 0 | -987259 lb | 0 0 0.00 | 302.33/302.44 c | 302.44 | 0 | -987258 lb | 0 0 0.00 | 303.23/303.38 c | 303.38 | 0 | -987257 lb | 0 0 0.00 | 304.13/304.27 c | 304.28 | 0 | -987255 lb | 0 0 0.00 | 305.03/305.19 c | 305.20 | 0 | -987254 lb | 0 0 0.00 | 305.93/306.08 c | 306.08 | 0 | -987252 lb | 0 0 0.00 | 306.93/307.00 c | 307.01 | 0 | -987251 lb | 0 0 0.00 | 307.84/307.91 c | 307.91 | 0 | -987249 lb | 0 0 0.00 | 308.73/308.81 c | 308.81 | 0 | -987248 lb | 0 0 0.00 | 309.63/309.70 c | 309.70 | 0 | -987247 lb | 0 0 0.00 | 310.53/310.64 c | 310.64 | 0 | -987242 lb | 0 0 0.00 | 311.42/311.56 c | 311.57 | 0 | -987240 lb | 0 0 0.00 | 312.33/312.47 c | 312.48 | 0 | -987238 lb | 0 0 0.00 | 313.23/313.40 c | 313.40 | 0 | -987237 lb | 0 0 0.00 | 314.22/314.30 c | 314.30 | 0 | -987234 lb | 0 0 0.00 | 315.03/315.19 c | 315.19 | 0 | -987233 lb | 0 0 0.00 | 316.02/316.12 c | 316.13 | 0 | -987232 lb | 0 0 0.00 | 316.92/317.04 c | 317.05 | 0 | -987227 lb | 0 0 0.00 | 317.84/317.94 c | 317.94 | 0 | -987226 lb | 0 0 0.00 | 318.73/318.84 c | 318.85 | 0 | -987225 lb | 0 0 0.00 | 319.63/319.74 c | 319.74 | 0 | -987224 lb | 0 0 0.00 | 320.52/320.64 c | 320.65 | 0 | -987223 lb | 0 0 0.00 | 321.43/321.53 c | 321.54 | 0 | -987222 lb | 0 0 0.00 | 322.33/322.43 c | 322.44 | 0 | -987221 lb | 0 0 0.00 | 323.23/323.33 c | 323.33 | 0 | -987220 lb | 0 0 0.00 | 324.13/324.24 c | 324.25 | 0 | -987215 lb | 0 0 0.00 | 325.03/325.14 c | 325.15 | 0 | -987214 lb | 0 0 0.00 | 325.93/326.05 c | 326.06 | 0 | -987213 lb | 0 0 0.00 | 326.82/326.96 c | 326.97 | 0 | -987211 lb | 0 0 0.00 | 327.73/327.86 c | 327.87 | 0 | -987210 lb | 0 0 0.00 | 328.62/328.76 c | 328.77 | 0 | -987209 lb | 0 0 0.00 | 329.53/329.67 c | 329.67 | 0 | -987207 lb | 0 0 0.00 | 330.42/330.58 c | 330.58 | 0 | -987205 lb | 0 0 0.00 | 331.32/331.50 c | 331.50 | 0 | -987203 lb | 0 0 0.00 | 332.32/332.41 c | 332.41 | 0 | -987201 lb | 0 0 0.00 | 333.23/333.34 c | 333.35 | 0 | -987200 lb | 0 0 0.00 | 334.12/334.25 c | 334.26 | 0 | -987198 lb | 0 0 0.00 | 335.03/335.16 c | 335.17 | 0 | -987197 lb | 0 0 0.00 | 335.92/336.06 c | 336.06 | 0 | -987196 lb | 0 0 0.00 | 336.82/336.98 c | 336.99 | 0 | -987195 lb | 0 0 0.00 | 337.73/337.89 c | 337.89 | 0 | -987194 lb | 0 0 0.00 | 338.63/338.79 c | 338.80 | 0 | -987193 lb | 0 0 0.00 | 339.62/339.71 c | 339.72 | 0 | -987192 lb | 0 0 0.00 | 340.52/340.62 c | 340.62 | 0 | -987189 lb | 0 0 0.00 | 341.42/341.54 c | 341.55 | 0 | -987188 lb | 0 0 0.00 | 342.32/342.45 c | 342.46 | 0 | -987187 lb | 0 0 0.00 | 343.23/343.35 c | 343.36 | 0 | -987185 lb | 0 0 0.00 | 344.13/344.25 c | 344.25 | 0 | -987184 lb | 0 0 0.00 | 345.02/345.17 c | 345.17 | 0 | -987182 lb | 0 0 0.00 | 346.02/346.12 c | 346.12 | 0 | -987180 lb | 0 0 0.00 | 346.92/347.04 c | 347.04 | 0 | -987178 lb | 0 0 0.00 | 347.82/347.96 c | 347.96 | 0 | -987175 lb | 0 0 0.00 | 348.72/348.88 c | 348.88 | 0 | -987174 lb | 0 0 0.00 | 349.62/349.79 c | 349.79 | 0 | -987173 lb | 0 0 0.00 | 350.62/350.70 c | 350.70 | 0 | -987171 lb | 0 0 0.00 | 351.52/351.62 c | 351.62 | 0 | -987170 lb | 0 0 0.00 | 352.42/352.53 c | 352.54 | 0 | -987169 lb | 0 0 0.00 | 353.32/353.45 c | 353.45 | 0 | -987168 lb | 0 0 0.00 | 354.22/354.37 c | 354.38 | 0 | -987166 lb | 0 0 0.00 | 355.12/355.28 c | 355.29 | 0 | -987163 lb | 0 0 0.00 | 356.02/356.19 c | 356.19 | 0 | -987162 lb | 0 0 0.00 | 357.02/357.10 c | 357.11 | 0 | -987161 lb | 0 0 0.00 | 357.92/358.02 c | 358.02 | 0 | -987160 lb | 0 0 0.00 | 358.82/358.93 c | 358.93 | 0 | -987159 lb | 0 0 0.00 | 359.72/359.85 c | 359.86 | 0 | -987158 lb | 0 0 0.00 | 360.62/360.76 c | 360.76 | 0 | -987157 lb | 0 0 0.00 | 361.52/361.66 c | 361.66 | 0 | -987156 lb | 0 0 0.00 | 362.42/362.57 c | 362.58 | 0 | -987155 lb | 0 0 0.00 | 363.32/363.49 c | 363.49 | 0 | -987154 lb | 0 0 0.00 | 364.22/364.39 c | 364.39 | 0 | -987153 lb | 0 0 0.00 | 365.22/365.30 c | 365.31 | 0 | -987152 lb | 0 0 0.00 | 366.13/366.23 c | 366.23 | 0 | -987151 lb | 0 0 0.00 | 367.02/367.14 c | 367.14 | 0 | -987150 lb | 0 0 0.00 | 367.92/368.05 c | 368.06 | 0 | -987148 lb | 0 0 0.00 | 368.82/368.98 c | 368.98 | 0 | -987147 lb | 0 0 0.00 | 369.82/369.90 c | 369.91 | 0 | -987144 lb | 0 0 0.00 | 370.72/370.82 c | 370.82 | 0 | -987143 lb | 0 0 0.00 | 371.63/371.73 c | 371.74 | 0 | -987142 lb | 0 0 0.00 | 372.52/372.65 c | 372.65 | 0 | -987141 lb | 0 0 0.00 | 373.42/373.58 c | 373.58 | 0 | -987140 lb | 0 0 0.00 | 374.31/374.49 c | 374.49 | 0 | -987139 lb | 0 0 0.00 | 375.31/375.40 c | 375.41 | 0 | -987137 lb | 0 0 0.00 | 376.22/376.33 c | 376.33 | 0 | -987134 lb | 0 0 0.00 | 377.13/377.27 c | 377.28 | 0 | -987131 lb | 0 0 0.00 | 378.02/378.19 c | 378.19 | 0 | -987130 lb | 0 0 0.00 | 379.01/379.12 c | 379.13 | 0 | -987128 lb | 0 0 0.00 | 379.91/380.09 c | 380.09 | 0 | -987127 lb | 0 0 0.00 | 380.92/381.02 c | 381.02 | 0 | -987124 lb | 0 0 0.00 | 381.81/381.94 c | 381.94 | 0 | -987123 lb | 0 0 0.00 | 382.73/382.88 c | 382.88 | 0 | -987120 lb | 0 0 0.00 | 383.72/383.81 c | 383.82 | 0 | -987119 lb | 0 0 0.00 | 384.62/384.74 c | 384.75 | 0 | -987118 lb | 0 0 0.00 | 385.52/385.64 c | 385.65 | 0 | -987117 lb | 0 0 0.00 | 386.41/386.57 c | 386.58 | 0 | -987116 lb | 0 0 0.00 | 387.42/387.51 c | 387.51 | 0 | -987114 lb | 0 0 0.00 | 388.31/388.45 c | 388.46 | 0 | -987112 lb | 0 0 0.00 | 389.22/389.38 c | 389.38 | 0 | -987111 lb | 0 0 0.00 | 390.22/390.32 c | 390.32 | 0 | -987110 lb | 0 0 0.00 | 391.12/391.27 c | 391.27 | 0 | -987109 lb | 0 0 0.00 | 392.12/392.20 c | 392.20 | 0 | -987108 lb | 0 0 0.00 | 393.01/393.18 c | 393.18 | 0 | -987107 lb | 0 0 0.00 | 394.02/394.11 c | 394.12 | 0 | -987106 lb | 0 0 0.00 | 394.92/395.03 c | 395.03 | 0 | -987105 lb | 0 0 0.00 | 395.82/395.94 c | 395.95 | 0 | -987104 lb | 0 0 0.00 | 396.72/396.88 c | 396.88 | 0 | -987102 lb | 0 0 0.00 | 397.71/397.82 c | 397.82 | 0 | -987101 lb | 0 0 0.00 | 398.61/398.76 c | 398.76 | 0 | -987100 lb | 0 0 0.00 | 399.61/399.71 c | 399.71 | 0 | -987097 lb | 0 0 0.00 | 400.52/400.67 c | 400.67 | 0 | -987096 lb | 0 0 0.00 | 401.42/401.59 c | 401.59 | 0 | -987094 lb | 0 0 0.00 | 402.31/402.50 c | 402.50 | 0 | -987092 lb | 0 0 0.00 | 403.31/403.46 c | 403.46 | 0 | -987091 lb | 0 0 0.00 | 404.21/404.38 c | 404.38 | 0 | -987090 lb | 0 0 0.00 | 405.22/405.33 c | 405.34 | 0 | -987089 lb | 0 0 0.00 | 406.11/406.26 c | 406.27 | 0 | -987088 lb | 0 0 0.00 | 407.11/407.22 c | 407.22 | 0 | -987087 lb | 0 0 0.00 | 408.02/408.16 c | 408.16 | 0 | -987085 lb | 0 0 0.00 | 408.91/409.09 c | 409.09 | 0 | -987084 lb | 0 0 0.00 | 409.91/410.03 c | 410.03 | 0 | -987083 lb | 0 0 0.00 | 410.81/410.97 c | 410.97 | 0 | -987082 lb | 0 0 0.00 | 411.71/411.89 c | 411.89 | 0 | -987081 lb | 0 0 0.00 | 412.71/412.82 c | 412.82 | 0 | -987080 lb | 0 0 0.00 | 413.61/413.74 c | 413.74 | 0 | -987078 lb | 0 0 0.00 | 414.51/414.68 c | 414.68 | 0 | -987076 lb | 0 0 0.00 | 415.51/415.60 c | 415.60 | 0 | -987075 lb | 0 0 0.00 | 416.41/416.56 c | 416.57 | 0 | -987074 lb | 0 0 0.00 | 417.31/417.47 c | 417.48 | 0 | -987073 lb | 0 0 0.00 | 418.31/418.42 c | 418.42 | 0 | -987072 lb | 0 0 0.00 | 419.21/419.35 c | 419.35 | 0 | -987071 lb | 0 0 0.00 | 420.11/420.29 c | 420.29 | 0 | -987070 lb | 0 0 0.00 | 421.11/421.22 c | 421.23 | 0 | -987069 lb | 0 0 0.00 | 422.01/422.17 c | 422.18 | 0 | -987067 lb | 0 0 0.00 | 423.00/423.15 c | 423.15 | 0 | -987066 lb | 0 0 0.00 | 423.91/424.09 c | 424.09 | 0 | -987065 lb | 0 0 0.00 | 424.91/425.04 c | 425.04 | 0 | -987064 lb | 0 0 0.00 | 425.80/425.97 c | 425.97 | 0 | -987063 lb | 0 0 0.00 | 426.81/426.93 c | 426.93 | 0 | -987061 lb | 0 0 0.00 | 427.71/427.87 c | 427.87 | 0 | -987060 lb | 0 0 0.00 | 428.71/428.81 c | 428.82 | 0 | -987057 lb | 0 0 0.00 | 429.60/429.78 c | 429.78 | 0 | -987056 lb | 0 0 0.00 | 430.61/430.72 c | 430.73 | 0 | -987054 lb | 0 0 0.00 | 431.51/431.67 c | 431.68 | 0 | -987053 lb | 0 0 0.00 | 432.51/432.65 c | 432.65 | 0 | -987052 lb | 0 0 0.00 | 433.51/433.60 c | 433.60 | 0 | -987049 lb | 0 0 0.00 | 434.41/434.54 c | 434.54 | 0 | -987047 lb | 0 0 0.00 | 435.30/435.47 c | 435.48 | 0 | -987044 lb | 0 0 0.00 | 436.30/436.42 c | 436.42 | 0 | -987043 lb | 0 0 0.00 | 437.20/437.39 c | 437.40 | 0 | -987042 lb | 0 0 0.00 | 438.21/438.34 c | 438.35 | 0 | -987041 lb | 0 0 0.00 | 439.11/439.27 c | 439.27 | 0 | -987040 lb | 0 0 0.00 | 440.11/440.20 c | 440.21 | 0 | -987039 lb | 0 0 0.00 | 441.01/441.14 c | 441.15 | 0 | -987038 lb | 0 0 0.00 | 441.90/442.06 c | 442.06 | 0 | -987036 lb | 0 0 0.00 | 442.90/443.01 c | 443.02 | 0 | -987035 lb | 0 0 0.00 | 443.80/443.97 c | 443.98 | 0 | -987034 lb | 0 0 0.00 | 444.80/444.92 c | 444.92 | 0 | -987033 lb | 0 0 0.00 | 445.70/445.88 c | 445.89 | 0 | -987032 lb | 0 0 0.00 | 446.70/446.85 c | 446.85 | 0 | -987031 lb | 0 0 0.00 | 447.70/447.81 c | 447.81 | 0 | -987030 lb | 0 0 0.00 | 448.60/448.77 c | 448.78 | 0 | -987025 lb | 0 0 0.00 | 449.60/449.73 c | 449.74 | 0 | -987024 lb | 0 0 0.00 | 450.60/450.70 c | 450.70 | 0 | -987023 lb | 0 0 0.00 | 451.50/451.65 c | 451.65 | 0 | -987022 lb | 0 0 0.00 | 452.50/452.60 c | 452.61 | 0 | -987021 lb | 0 0 0.00 | 453.40/453.58 c | 453.58 | 0 | -987018 lb | 0 0 0.00 | 454.40/454.55 c | 454.55 | 0 | -987017 lb | 0 0 0.00 | 455.40/455.51 c | 455.51 | 0 | -987016 lb | 0 0 0.00 | 456.30/456.47 c | 456.48 | 0 | -987015 lb | 0 0 0.00 | 457.30/457.45 c | 457.45 | 0 | -987014 lb | 0 0 0.00 | 458.30/458.43 c | 458.43 | 0 | -987013 lb | 0 0 0.00 | 459.20/459.39 c | 459.39 | 0 | -987012 lb | 0 0 0.00 | 460.20/460.36 c | 460.36 | 0 | -987010 lb | 0 0 0.00 | 461.20/461.31 c | 461.31 | 0 | -987008 lb | 0 0 0.00 | 462.10/462.27 c | 462.28 | 0 | -987007 lb | 0 0 0.00 | 463.10/463.23 c | 463.23 | 0 | -987006 lb | 0 0 0.00 | 464.01/464.19 c | 464.19 | 0 | -987005 lb | 0 0 0.00 | 465.00/465.18 c | 465.19 | 0 | -987004 lb | 0 0 0.00 | 466.00/466.16 c | 466.17 | 0 | -987003 lb | 0 0 0.00 | 467.00/467.14 c | 467.15 | 0 | -987002 lb | 0 0 0.00 | 468.00/468.12 c | 468.13 | 0 | -987001 lb | 0 0 0.00 | 469.00/469.12 c | 469.12 | 0 | -987000 lb | 0 0 0.00 | 469.90/470.07 c | 470.08 | 0 | -986999 lb | 0 0 0.00 | 470.90/471.07 c | 471.07 | 0 | -986998 lb | 0 0 0.00 | 471.89/472.03 c | 472.04 | 0 | -986997 lb | 0 0 0.00 | 472.81/472.99 c | 473.00 | 0 | -986995 lb | 0 0 0.00 | 473.80/473.96 c | 473.96 | 0 | -986994 lb | 0 0 0.00 | 474.80/474.96 c | 474.97 | 0 | -986993 lb | 0 0 0.00 | 475.79/475.96 c | 475.96 | 0 | -986992 lb | 0 0 0.00 | 476.80/476.97 c | 476.97 | 0 | -986991 lb | 0 0 0.00 | 477.79/477.94 c | 477.95 | 0 | -986988 lb | 0 0 0.00 | 478.79/478.92 c | 478.92 | 0 | -986987 lb | 0 0 0.00 | 479.79/479.92 c | 479.92 | 0 | -986986 lb | 0 0 0.00 | 480.80/480.93 c | 480.93 | 0 | -986985 lb | 0 0 0.00 | 481.80/481.91 c | 481.91 | 0 | -986984 lb | 0 0 0.00 | 482.80/482.90 c | 482.91 | 0 | -986983 lb | 0 0 0.00 | 483.69/483.89 c | 483.90 | 0 | -986979 lb | 0 0 0.00 | 484.70/484.88 c | 484.89 | 0 | -986978 lb | 0 0 0.00 | 485.69/485.88 c | 485.88 | 0 | -986976 lb | 0 0 0.00 | 486.79/486.90 c | 486.90 | 0 | -986975 lb | 0 0 0.00 | 487.69/487.89 c | 487.89 | 0 | -986973 lb | 0 0 0.00 | 488.70/488.88 c | 488.88 | 0 | -986971 lb | 0 0 0.00 | 489.69/489.87 c | 489.87 | 0 | -986970 lb | 0 0 0.00 | 490.69/490.85 c | 490.86 | 0 | -986969 lb | 0 0 0.00 | 491.69/491.84 c | 491.85 | 0 | -986968 lb | 0 0 0.00 | 492.70/492.84 c | 492.84 | 0 | -986967 lb | 0 0 0.00 | 493.70/493.83 c | 493.84 | 0 | -986966 lb | 0 0 0.00 | 494.69/494.83 c | 494.83 | 0 | -986965 lb | 0 0 0.00 | 495.69/495.81 c | 495.81 | 0 | -986964 lb | 0 0 0.00 | 496.70/496.81 c | 496.81 | 0 | -986962 lb | 0 0 0.00 | 497.69/497.81 c | 497.82 | 0 | -986961 lb | 0 0 0.00 | 498.69/498.82 c | 498.82 | 0 | -986958 lb | 0 0 0.00 | 499.69/499.89 c | 499.89 | 0 | -986957 lb | 0 0 0.00 | 500.69/500.89 c | 500.89 | 0 | -986954 lb | 0 0 0.00 | 501.79/501.90 c | 501.91 | 0 | -986953 lb | 0 0 0.00 | 502.80/502.90 c | 502.90 | 0 | -986952 lb | 0 0 0.00 | 503.70/503.89 c | 503.90 | 0 | -986951 lb | 0 0 0.00 | 504.69/504.90 c | 504.90 | 0 | -986949 lb | 0 0 0.00 | 505.69/505.89 c | 505.90 | 0 | -986948 lb | 0 0 0.00 | 506.79/506.93 c | 506.94 | 0 | -986945 lb | 0 0 0.00 | 507.79/507.94 c | 507.94 | 0 | -986944 lb | 0 0 0.00 | 508.79/508.94 c | 508.94 | 0 | -986943 lb | 0 0 0.00 | 509.79/509.96 c | 509.97 | 0 | -986941 lb | 0 0 0.00 | 510.79/510.97 c | 510.98 | 0 | -986940 lb | 0 0 0.00 | 511.79/511.99 c | 511.99 | 0 | -986939 lb | 0 0 0.00 | 512.89/513.03 c | 513.03 | 0 | -986938 lb | 0 0 0.00 | 513.89/514.07 c | 514.07 | 0 | -986937 lb | 0 0 0.00 | 514.89/515.09 c | 515.09 | 0 | -986936 lb | 0 0 0.00 | 515.99/516.11 c | 516.12 | 0 | -986934 lb | 0 0 0.00 | 516.99/517.13 c | 517.13 | 0 | -986933 lb | 0 0 0.00 | 518.00/518.14 c | 518.14 | 0 | -986932 lb | 0 0 0.00 | 519.00/519.15 c | 519.15 | 0 | -986931 lb | 0 0 0.00 | 519.99/520.15 c | 520.16 | 0 | -986929 lb | 0 0 0.00 | 520.99/521.16 c | 521.16 | 0 | -986928 lb | 0 0 0.00 | 521.99/522.16 c | 522.17 | 0 | -986925 lb | 0 0 0.00 | 522.99/523.19 c | 523.19 | 0 | -986923 lb | 0 0 0.00 | 524.09/524.23 c | 524.24 | 0 | -986921 lb | 0 0 0.00 | 525.09/525.24 c | 525.24 | 0 | -986920 lb | 0 0 0.00 | 526.09/526.25 c | 526.26 | 0 | -986919 lb | 0 0 0.00 | 527.09/527.27 c | 527.27 | 0 | -986918 lb | 0 0 0.00 | 528.19/528.30 c | 528.30 | 0 | -986917 lb | 0 0 0.00 | 529.19/529.31 c | 529.31 | 0 | -986916 lb | 0 0 0.00 | 530.18/530.32 c | 530.33 | 0 | -986915 lb | 0 0 0.00 | 531.19/531.35 c | 531.35 | 0 | -986914 lb | 0 0 0.00 | 532.20/532.37 c | 532.37 | 0 | -986913 lb | 0 0 0.00 | 533.19/533.36 c | 533.37 | 0 | -986912 lb | 0 0 0.00 | 534.29/534.42 c | 534.43 | 0 | -986909 lb | 0 0 0.00 | 535.29/535.43 c | 535.43 | 0 | -986907 lb | 0 0 0.00 | 536.29/536.45 c | 536.45 | 0 | -986906 lb | 0 0 0.00 | 537.28/537.45 c | 537.45 | 0 | -986904 lb | 0 0 0.00 | 538.28/538.48 c | 538.49 | 0 | -986903 lb | 0 0 0.00 | 539.39/539.53 c | 539.53 | 0 | -986902 lb | 0 0 0.00 | 540.39/540.56 c | 540.57 | 0 | -986901 lb | 0 0 0.00 | 541.38/541.59 c | 541.59 | 0 | -986897 lb | 0 0 0.00 | 542.48/542.61 c | 542.62 | 0 | -986895 lb | 0 0 0.00 | 543.49/543.67 c | 543.67 | 0 | -986893 lb | 0 0 0.00 | 544.59/544.73 c | 544.74 | 0 | -986892 lb | 0 0 0.00 | 545.58/545.77 c | 545.77 | 0 | -986891 lb | 0 0 0.00 | 546.68/546.81 c | 546.81 | 0 | -986890 lb | 0 0 0.00 | 547.70/547.82 c | 547.82 | 0 | -986887 lb | 0 0 0.00 | 548.69/548.87 c | 548.88 | 0 | -986886 lb | 0 0 0.00 | 549.79/549.92 c | 549.92 | 0 | -986885 lb | 0 0 0.00 | 550.79/551.00 c | 551.00 | 0 | -986883 lb | 0 0 0.00 | 551.89/552.05 c | 552.05 | 0 | -986882 lb | 0 0 0.00 | 552.99/553.12 c | 553.13 | 0 | -986881 lb | 0 0 0.00 | 553.98/554.15 c | 554.15 | 0 | -986880 lb | 0 0 0.00 | 554.99/555.19 c | 555.20 | 0 | -986878 lb | 0 0 0.00 | 556.08/556.23 c | 556.23 | 0 | -986877 lb | 0 0 0.00 | 557.08/557.26 c | 557.27 | 0 | -986874 lb | 0 0 0.00 | 558.19/558.30 c | 558.30 | 0 | -986873 lb | 0 0 0.00 | 559.18/559.33 c | 559.34 | 0 | -986872 lb | 0 0 0.00 | 560.18/560.38 c | 560.38 | 0 | -986868 lb | 0 0 0.00 | 561.28/561.45 c | 561.46 | 0 | -986866 lb | 0 0 0.00 | 562.39/562.53 c | 562.53 | 0 | -986865 lb | 0 0 0.00 | 563.48/563.60 c | 563.61 | 0 | -986863 lb | 0 0 0.00 | 564.48/564.68 c | 564.68 | 0 | -986862 lb | 0 0 0.00 | 565.58/565.72 c | 565.73 | 0 | -986861 lb | 0 0 0.00 | 566.58/566.78 c | 566.78 | 0 | -986860 lb | 0 0 0.00 | 567.68/567.81 c | 567.82 | 0 | -986858 lb | 0 0 0.00 | 568.68/568.85 c | 568.86 | 0 | -986857 lb | 0 0 0.00 | 569.68/569.89 c | 569.90 | 0 | -986856 lb | 0 0 0.00 | 570.79/570.94 c | 570.94 | 0 | -986853 lb | 0 0 0.00 | 571.79/571.98 c | 571.98 | 0 | -986852 lb | 0 0 0.00 | 572.89/573.05 c | 573.05 | 0 | -986851 lb | 0 0 0.00 | 573.88/574.09 c | 574.09 | 0 | -986850 lb | 0 0 0.00 | 574.98/575.16 c | 575.16 | 0 | -986849 lb | 0 0 0.00 | 576.08/576.23 c | 576.24 | 0 | -986848 lb | 0 0 0.00 | 577.08/577.29 c | 577.29 | 0 | -986847 lb | 0 0 0.00 | 578.18/578.34 c | 578.35 | 0 | -986845 lb | 0 0 0.00 | 579.28/579.41 c | 579.41 | 0 | -986843 lb | 0 0 0.00 | 580.27/580.49 c | 580.50 | 0 | -986841 lb | 0 0 0.00 | 581.37/581.56 c | 581.56 | 0 | -986840 lb | 0 0 0.00 | 582.48/582.61 c | 582.61 | 0 | -986839 lb | 0 0 0.00 | 583.48/583.67 c | 583.67 | 0 | -986836 lb | 0 0 0.00 | 584.58/584.78 c | 584.78 | 0 | -986834 lb | 0 0 0.00 | 585.68/585.87 c | 585.87 | 0 | -986833 lb | 0 0 0.00 | 586.78/586.97 c | 586.97 | 0 | -986831 lb | 0 0 0.00 | 587.87/588.05 c | 588.05 | 0 | -986829 lb | 0 0 0.00 | 588.98/589.11 c | 589.12 | 0 | -986828 lb | 0 0 0.00 | 590.08/590.20 c | 590.20 | 0 | -986827 lb | 0 0 0.00 | 591.08/591.26 c | 591.26 | 0 | -986825 lb | 0 0 0.00 | 592.18/592.35 c | 592.35 | 0 | -986824 lb | 0 0 0.00 | 593.28/593.41 c | 593.41 | 0 | -986821 lb | 0 0 0.00 | 594.37/594.51 c | 594.52 | 0 | -986820 lb | 0 0 0.00 | 595.38/595.59 c | 595.59 | 0 | -986819 lb | 0 0 0.00 | 596.48/596.67 c | 596.67 | 0 | -986816 lb | 0 0 0.00 | 597.58/597.74 c | 597.74 | 0 | -986815 lb | 0 0 0.00 | 598.67/598.84 c | 598.84 | 0 | -986814 lb | 0 0 0.00 | 599.78/599.96 c | 599.96 | 0 | -986813 lb | 0 0 0.00 | 600.88/601.02 c | 601.02 | 0 | -986812 lb | 0 0 0.00 | 601.97/602.11 c | 602.12 | 0 | -986810 lb | 0 0 0.00 | 602.97/603.18 c | 603.18 | 0 | -986809 lb | 0 0 0.00 | 604.07/604.27 c | 604.27 | 0 | -986808 lb | 0 0 0.00 | 605.17/605.34 c | 605.34 | 0 | -986807 lb | 0 0 0.00 | 616.88/617.03 c | 617.03 | 0 | -986806 lb | 0 0 0.00 | 627.57/627.75 c | 627.75 | 0 | -986805 lb | 0 0 0.00 | 638.17/638.34 c | 638.34 | 0 | -986804 lb | 0 0 0.00 | 648.37/648.58 c | 648.59 | 0 | -986803 lb | 0 0 0.00 | 658.78/658.99 c | 658.99 | 0 | -986802 lb | 0 0 0.00 | 669.37/669.55 c | 669.56 | 0 | -986801 lb | 0 0 0.00 | 679.68/679.87 c | 679.88 | 0 | -986800 lb | 0 0 0.00 | 689.76/689.99 c | 689.99 | 0 | -986799 lb | 0 0 0.00 | 699.96/700.15 c | 700.15 | 0 | -986798 lb | 0 0 0.00 | 709.86/710.09 c | 710.09 | 0 | -986797 lb | 0 0 0.00 | 720.26/720.42 c | 720.43 | 0 | -986796 lb | 0 0 0.00 | 730.16/730.39 c | 730.40 | 0 | -986795 lb | 0 0 0.00 | 740.25/740.45 c | 740.46 | 0 | -986794 lb | 0 0 0.00 | 750.15/750.35 c | 750.36 | 0 | -986792 lb | 0 0 0.00 | 760.15/760.33 c | 760.33 | 0 | -986791 lb | 0 0 0.00 | 770.15/770.31 c | 770.31 | 0 | -986790 lb | 0 0 0.00 | 779.95/780.19 c | 780.19 | 0 | -986787 lb | 0 0 0.00 | 789.95/790.16 c | 790.17 | 0 | -986786 lb | 0 0 0.00 | 799.74/799.93 c | 799.93 | 0 | -986785 lb | 0 0 0.00 | 809.46/809.67 c | 809.67 | 0 | -986784 lb | 0 0 0.00 | 819.14/819.35 c | 819.35 | 0 | -986783 lb | 0 0 0.00 | 828.64/828.86 c | 828.87 | 0 | -986782 lb | 0 0 0.00 | 838.24/838.46 c | 838.46 | 0 | -986781 lb | 0 0 0.00 | 847.74/848.00 c | 848.00 | 0 | -986780 lb | 0 0 0.00 | 857.24/857.42 c | 857.43 | 0 | -986779 lb | 0 0 0.00 | 866.54/866.73 c | 866.74 | 0 | -986778 lb | 0 0 0.00 | 875.93/876.13 c | 876.13 | 0 | -986777 lb | 0 0 0.00 | 885.34/885.53 c | 885.53 | 0 | -986776 lb | 0 0 0.00 | 894.63/894.85 c | 894.85 | 0 | -986775 lb | 0 0 0.00 | 903.94/904.11 c | 904.11 | 0 | -986774 lb | 0 0 0.00 | 913.23/913.43 c | 913.43 | 0 | -986773 lb | 0 0 0.00 | 922.33/922.54 c | 922.54 | 0 | -986772 lb | 0 0 0.00 | 931.63/931.86 c | 931.87 | 0 | -986771 lb | 0 0 0.00 | 940.82/941.06 c | 941.06 | 0 | -986770 lb | 0 0 0.00 | 950.13/950.33 c | 950.34 | 0 | -986769 lb | 0 0 0.00 | 959.22/959.42 c | 959.43 | 0 | -986768 lb | 0 0 0.00 | 968.42/968.66 c | 968.66 | 0 | -986767 lb | 0 0 0.00 | 977.42/977.65 c | 977.65 | 0 | -986766 lb | 0 0 0.00 | 986.42/986.69 c | 986.70 | 0 | -986765 lb | 0 0 0.00 | 995.52/995.71 c | 995.71 | 0 | -986764 lb | 0 0 0.00 | 1004.32/1004.57 c | 1004.57 | 0 | -986763 lb | 0 0 0.00 | 1013.11/1013.35 c | 1013.36 | 0 | -986762 lb | 0 0 0.00 | 1022.11/1022.35 c | 1022.36 | 0 | -986761 lb | 0 0 0.00 | 1030.91/1031.14 c | 1031.14 | 0 | -986760 lb | 0 0 0.00 | 1039.61/1039.89 c | 1039.90 | 0 | -986759 lb | 0 0 0.00 | 1048.31/1048.52 c | 1048.52 | 0 | -986758 lb | 0 0 0.00 | 1057.00/1057.28 c | 1057.28 | 0 | -986757 lb | 0 0 0.00 | 1065.90/1066.11 c | 1066.11 | 0 | -986756 lb | 0 0 0.00 | 1074.41/1074.65 c | 1074.65 | 0 | -986755 lb | 0 0 0.00 | 1083.00/1083.23 c | 1083.23 | 0 | -986754 lb | 0 0 0.00 | 1091.41/1091.65 c | 1091.66 | 0 | -986753 lb | 0 0 0.00 | 1099.70/1099.99 c | 1099.99 | 0 | -986752 lb | 0 0 0.00 | 1108.10/1108.34 c | 1108.35 | 0 | -986751 lb | 0 0 0.00 | 1116.39/1116.69 c | 1116.69 | 0 | -986750 lb | 0 0 0.00 | 1124.69/1124.98 c | 1124.98 | 0 | -986749 lb | 0 0 0.00 | 1133.00/1133.24 c | 1133.25 | 0 | -986748 lb | 0 0 0.00 | 1141.19/1141.46 c | 1141.46 | 0 | -986747 lb | 0 0 0.00 | 1149.49/1149.77 c | 1149.78 | 0 | -986746 lb | 0 0 0.00 | 1157.79/1158.00 c | 1158.01 | 0 | -986745 lb | 0 0 0.00 | 1165.89/1166.16 c | 1166.17 | 0 | -986744 lb | 0 0 0.00 | 1174.09/1174.38 c | 1174.38 | 0 | -986743 lb | 0 0 0.00 | 1182.29/1182.52 c | 1182.52 | 0 | -986742 lb | 0 0 0.00 | 1190.59/1190.82 c | 1190.83 | 0 | -986741 lb | 0 0 0.00 | 1198.69/1198.98 c | 1198.98 | 0 | -986740 lb | 0 0 0.00 | 1206.98/1207.20 c | 1207.20 | 0 | -986739 lb | 0 0 0.00 | 1214.98/1215.25 c | 1215.26 | 0 | -986738 lb | 0 0 0.00 | 1223.08/1223.31 c | 1223.31 | 0 | -986737 lb | 0 0 0.00 | 1230.98/1231.29 c | 1231.29 | 0 | -986736 lb | 0 0 0.00 | 1238.88/1239.17 c | 1239.17 | 0 | -986735 lb | 0 0 0.00 | 1246.78/1247.07 c | 1247.08 | 0 | -986734 lb | 0 0 0.00 | 1254.68/1254.99 c | 1254.99 | 0 | -986733 lb | 0 0 0.00 | 1262.58/1262.88 c | 1262.88 | 0 | -986732 lb | 0 0 0.00 | 1270.57/1270.81 c | 1270.82 | 0 | -986731 lb | 0 0 0.00 | 1278.57/1278.81 c | 1278.82 | 0 | -986730 lb | 0 0 0.00 | 1286.37/1286.67 c | 1286.68 | 0 | -986729 lb | 0 0 0.00 | 1295.27/1295.50 c | 1295.50 | 0 | -986728 lb | 0 0 0.00 | 1304.87/1305.13 c | 1305.13 | 0 | -986727 lb | 0 0 0.00 | 1312.57/1312.89 c | 1312.90 | 0 | -986726 lb | 0 0 0.00 | 1320.37/1320.63 c | 1320.63 | 0 | -986725 lb | 0 0 0.00 | 1328.16/1328.42 c | 1328.42 | 0 | -986724 lb | 0 0 0.00 | 1335.86/1336.10 c | 1336.11 | 0 | -986723 lb | 0 0 0.00 | 1343.56/1343.84 c | 1343.84 | 0 | -986722 lb | 0 0 0.00 | 1351.36/1351.66 c | 1351.67 | 0 | -986721 lb | 0 0 0.00 | 1359.06/1359.35 c | 1359.35 | 0 | -986720 lb | 0 0 0.00 | 1366.66/1366.94 c | 1366.94 | 0 | -986719 lb | 0 0 0.00 | 1374.26/1374.55 c | 1374.56 | 0 | -986718 lb | 0 0 0.00 | 1381.76/1382.07 c | 1382.08 | 0 | -986717 lb | 0 0 0.00 | 1389.26/1389.55 c | 1389.56 | 0 | -986716 lb | 0 0 0.00 | 1396.76/1397.03 c | 1397.04 | 0 | -986715 lb | 0 0 0.00 | 1404.15/1404.46 c | 1404.46 | 0 | -986714 lb | 0 0 0.00 | 1411.65/1411.96 c | 1411.96 | 0 | -986713 lb | 0 0 0.00 | 1419.66/1419.90 c | 1419.91 | 0 | -986712 lb | 0 0 0.00 | 1426.95/1427.27 c | 1427.27 | 0 | -986711 lb | 0 0 0.00 | 1434.35/1434.60 c | 1434.61 | 0 | -986710 lb | 0 0 0.00 | 1441.65/1441.98 c | 1441.99 | 0 | -986709 lb | 0 0 0.00 | 1449.15/1449.40 c | 1449.40 | 0 | -986708 lb | 0 0 0.00 | 1456.54/1456.80 c | 1456.80 | 0 | -986707 lb | 0 0 0.00 | 1463.85/1464.14 c | 1464.15 | 0 | -986706 lb | 0 0 0.00 | 1471.24/1471.50 c | 1471.50 | 0 | -986705 lb | 0 0 0.00 | 1478.34/1478.69 c | 1478.69 | 0 | -986704 lb | 0 0 0.00 | 1485.75/1486.01 c | 1486.02 | 0 | -986703 lb | 0 0 0.00 | 1492.94/1493.22 c | 1493.22 | 0 | -986702 lb | 0 0 0.00 | 1500.05/1500.37 c | 1500.37 | 0 | -986701 lb | 0 0 0.00 | 1507.13/1507.49 c | 1507.49 | 0 | -986700 lb | 0 0 0.00 | 1514.13/1514.40 c | 1514.41 | 0 | -986699 lb | 0 0 0.00 | 1521.13/1521.47 c | 1521.48 | 0 | -986698 lb | 0 0 0.00 | 1528.23/1528.50 c | 1528.51 | 0 | -986697 lb | 0 0 0.00 | 1535.24/1535.58 c | 1535.59 | 0 | -986696 lb | 0 0 0.00 | 1542.34/1542.65 c | 1542.65 | 0 | -986695 lb | 0 0 0.00 | 1549.64/1549.98 c | 1549.98 | 0 | -986694 lb | 0 0 0.00 | 1556.73/1557.08 c | 1557.09 | 0 | -986693 lb | 0 0 0.00 | 1563.84/1564.16 c | 1564.16 | 0 | -986692 lb | 0 0 0.00 | 1570.93/1571.27 c | 1571.28 | 0 | -986691 lb | 0 0 0.00 | 1577.93/1578.20 c | 1578.20 | 0 | -986690 lb | 0 0 0.00 | 1584.92/1585.21 c | 1585.22 | 0 | -986689 lb | 0 0 0.00 | 1591.93/1592.23 c | 1592.24 | 0 | -986688 lb | 0 0 0.00 | 1599.03/1599.30 c | 1599.31 | 0 | -986687 lb | 0 0 0.00 | 1605.93/1606.22 c | 1606.23 | 0 | -986686 lb | 0 0 0.00 | 1613.62/1613.91 c | 1613.92 | 0 | -986685 lb | 0 0 0.00 | 1620.52/1620.83 c | 1620.83 | 0 | -986684 lb | 0 0 0.00 | 1627.32/1627.62 c | 1627.62 | 0 | -986683 lb | 0 0 0.00 | 1634.01/1634.33 c | 1634.33 | 0 | -986682 lb | 0 0 0.00 | 1640.92/1641.29 c | 1641.30 | 0 | -986681 lb | 0 0 0.00 | 1647.71/1648.08 c | 1648.09 | 0 | -986680 lb | 0 0 0.00 | 1654.61/1654.99 c | 1654.99 | 0 | -986679 lb | 0 0 0.00 | 1661.42/1661.70 c | 1661.70 | 0 | -986678 lb | 0 0 0.00 | 1668.11/1668.48 c | 1668.48 | 0 | -986677 lb | 0 0 0.00 | 1674.81/1675.16 c | 1675.17 | 0 | -986676 lb | 0 0 0.00 | 1681.31/1681.61 c | 1681.62 | 0 | -986675 lb | 0 0 0.00 | 1688.01/1688.31 c | 1688.32 | 0 | -986674 lb | 0 0 0.00 | 1694.51/1694.89 c | 1694.89 | 0 | -986673 lb | 0 0 0.00 | 1701.11/1701.48 c | 1701.49 | 0 | -986672 lb | 0 0 0.00 | 1707.61/1707.98 c | 1707.98 | 0 | -986671 lb | 0 0 0.00 | 1714.31/1714.61 c | 1714.61 | 0 | -986670 lb | 0 0 0.00 | 1720.71/1721.08 c | 1721.08 | 0 | -986669 lb | 0 0 0.00 | 1727.31/1727.64 c | 1727.64 | 0 | -986668 lb | 0 0 0.00 | 1733.80/1734.11 c | 1734.11 | 0 | -986667 lb | 0 0 0.00 | 1740.00/1740.35 c | 1740.35 | 0 | -986666 lb | 0 0 0.00 | 1746.41/1746.72 c | 1746.72 | 0 | -986665 lb | 0 0 0.00 | 1752.80/1753.19 c | 1753.19 | 0 | -986664 lb | 0 0 0.00 | 1759.20/1759.51 c | 1759.51 | 0 | -986663 lb | 0 0 0.00 | 1765.80/1766.11 c | 1766.11 | 0 | -986662 lb | 0 0 0.00 | 1772.10/1772.46 c | 1772.46 | 0 | -986661 lb | 0 0 0.00 | 1778.50/1778.81 c | 1778.81 | 0 | -986660 lb | 0 0 0.00 | 1784.80/1785.19 c | 1785.19 | 0 | -986659 lb | 0 0 0.00 | 1791.10/1791.47 c | 1791.48 | 0 | -986658 lb | 0 0 0.00 | 1797.59/1797.91 c | 1797.91 | 0 | -986657 lb | 0 0 0.00 | 1799.69/1800.01 c =============================================================================== 1799.69/1800.01 c Wall Clock Time: 1800.01 s 1799.69/1800.01 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3727902-1338672903/watcher-3727902-1338672903 -o /tmp/evaluation-result-3727902-1338672903/solver-3727902-1338672903 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727902-1338672903.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.09 2.03 1.94 3/177 10299 /proc/meminfo: memFree=27186692/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=31828 CPUtime=0 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) R 10297 10299 9909 0 -1 4202496 591 0 0 0 0 0 0 0 20 0 1 0 333415451 32591872 543 33554432000 4194304 5964350 140735384520560 140735384518488 4395326 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 7957 543 174 433 0 627 0 [startup+0.0705899 s] /proc/loadavg: 2.09 2.03 1.94 3/177 10299 /proc/meminfo: memFree=27186692/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=39792 CPUtime=0.06 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) R 10297 10299 9909 0 -1 4202496 2704 0 0 0 6 0 0 0 20 0 1 0 333415451 40747008 2607 33554432000 4194304 5964350 140735384520560 140735384518488 4419455 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 9948 2609 385 433 0 2618 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 39792 [startup+0.100351 s] /proc/loadavg: 2.09 2.03 1.94 3/177 10299 /proc/meminfo: memFree=27186692/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=42388 CPUtime=0.09 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) R 10297 10299 9909 0 -1 4202496 3370 0 0 0 9 0 0 0 20 0 1 0 333415451 43405312 3208 33554432000 4194304 5964350 140735384520560 140735384518488 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 10597 3208 483 433 0 3267 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42388 [startup+0.300308 s] /proc/loadavg: 2.09 2.03 1.94 3/177 10299 /proc/meminfo: memFree=27186692/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=53412 CPUtime=0.29 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) R 10297 10299 9909 0 -1 4202496 6962 0 0 0 28 1 0 0 20 0 1 0 333415451 54693888 6663 33554432000 4194304 5964350 140735384520560 140735384518648 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 13353 6663 1070 433 0 6023 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53412 [startup+0.700309 s] /proc/loadavg: 2.09 2.03 1.94 3/177 10299 /proc/meminfo: memFree=27186692/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=85744 CPUtime=0.69 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) R 10297 10299 9909 0 -1 4202496 15815 0 0 0 67 2 0 0 20 0 1 0 333415451 87801856 14858 33554432000 4194304 5964350 140735384520560 140735384518648 4395326 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 21436 14859 2199 433 0 14106 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 85744 [startup+1.50031 s] /proc/loadavg: 2.09 2.03 1.94 3/178 10300 /proc/meminfo: memFree=27117384/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=134152 CPUtime=1.49 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) R 10297 10299 9909 0 -1 4202496 29150 0 0 0 144 5 0 0 20 0 1 0 333415451 137371648 28671 33554432000 4194304 5964350 140735384520560 140735384518904 4355806 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 33538 28671 3951 433 0 26208 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 134152 [startup+3.10032 s] /proc/loadavg: 2.09 2.03 1.94 3/178 10300 /proc/meminfo: memFree=27052828/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=201808 CPUtime=3.09 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) R 10297 10299 9909 0 -1 4202496 46416 0 0 0 301 8 0 0 20 0 1 0 333415451 206651392 46899 33554432000 4194304 5964350 140735384520560 140735384518904 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 50452 46902 7052 433 0 43122 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 201808 [startup+6.30037 s] /proc/loadavg: 2.08 2.03 1.94 3/179 10301 /proc/meminfo: memFree=26721304/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=565652 CPUtime=6.29 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 113601 0 0 0 603 26 0 0 20 0 2 0 333415451 579227648 125604 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 141413 125604 193 433 0 140977 0 [pid=10299/tid=10301] ppid=10297 vsize=565652 CPUtime=3.16 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 66554 0 0 0 299 17 0 0 20 0 2 0 333415762 579227648 125604 33554432000 4194304 5964350 140735384520560 140470941702488 5122169 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 565652 [startup+12.7004 s] /proc/loadavg: 2.08 2.03 1.94 3/179 10301 /proc/meminfo: memFree=26656700/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=631188 CPUtime=12.69 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 117137 0 0 0 1240 29 0 0 20 0 2 0 333415451 646336512 132343 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 157797 132343 193 433 0 157361 0 [pid=10299/tid=10301] ppid=10297 vsize=631188 CPUtime=9.55 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 70090 0 0 0 935 20 0 0 20 0 2 0 333415762 646336512 132343 33554432000 4194304 5964350 140735384520560 140470941702440 5130914 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 631188 [startup+25.5004 s] /proc/loadavg: 2.06 2.03 1.94 3/179 10301 /proc/meminfo: memFree=26590420/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=631188 CPUtime=25.48 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 122627 0 0 0 2513 35 0 0 20 0 2 0 333415451 646336512 145172 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 157797 145172 193 433 0 157361 0 [pid=10299/tid=10301] ppid=10297 vsize=631188 CPUtime=22.31 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 75580 0 0 0 2205 26 0 0 20 0 2 0 333415762 646336512 145172 33554432000 4194304 5964350 140735384520560 140470941702680 4444974 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 631188 [startup+51.1003 s] /proc/loadavg: 2.23 2.07 1.96 3/179 10340 /proc/meminfo: memFree=26201296/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=827796 CPUtime=51.08 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 149800 0 0 0 5058 50 0 0 20 0 2 0 333415451 847663104 179726 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 206949 179726 193 433 0 206513 0 [pid=10299/tid=10301] ppid=10297 vsize=827796 CPUtime=47.85 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 102753 0 0 0 4744 41 0 0 20 0 2 0 333415762 847663104 179726 33554432000 4194304 5964350 140735384520560 140470941702488 4444974 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 827796 [startup+102.307 s] /proc/loadavg: 2.10 2.06 1.96 3/180 10341 /proc/meminfo: memFree=25431600/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=1295192 CPUtime=102.28 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 169531 0 0 0 10155 73 0 0 20 0 2 0 333415451 1326276608 287955 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 323798 287955 193 433 0 323362 0 [pid=10299/tid=10301] ppid=10297 vsize=1295192 CPUtime=98.92 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 122484 0 0 0 9827 65 0 0 20 0 2 0 333415762 1326276608 287955 33554432000 4194304 5964350 140735384520560 140470941702472 5130940 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1295192 [startup+162.3 s] /proc/loadavg: 2.03 2.05 1.96 3/179 10341 /proc/meminfo: memFree=25017184/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=1483276 CPUtime=162.26 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 206429 0 0 0 16113 113 0 0 20 0 2 0 333415451 1518874624 319061 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 370819 319061 193 433 0 370383 0 [pid=10299/tid=10301] ppid=10297 vsize=1483276 CPUtime=158.76 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 159382 0 0 0 15769 107 0 0 20 0 2 0 333415762 1518874624 319061 33554432000 4194304 5964350 140735384520560 140470941702440 5139102 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1483276 [startup+222.3 s] /proc/loadavg: 2.01 2.03 1.96 3/178 10341 /proc/meminfo: memFree=24471300/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=1688172 CPUtime=222.25 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 286570 0 0 0 22028 197 0 0 20 0 2 0 333415451 1728688128 360667 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 422043 360667 193 433 0 421607 0 [pid=10299/tid=10301] ppid=10297 vsize=1688172 CPUtime=218.6 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 239523 0 0 0 21669 191 0 0 20 0 2 0 333415762 1728688128 360667 33554432000 4194304 5964350 140735384520560 140470941702552 5122169 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 1688172 [startup+282.3 s] /proc/loadavg: 2.04 2.04 1.96 3/179 10342 /proc/meminfo: memFree=23911664/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=2015852 CPUtime=282.24 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 426089 0 0 0 27891 333 0 0 20 0 2 0 333415451 2064232448 430274 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 503963 430274 193 433 0 503527 0 [pid=10299/tid=10301] ppid=10297 vsize=2015852 CPUtime=278.45 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 379042 0 0 0 27516 329 0 0 20 0 2 0 333415762 2064232448 430274 33554432000 4194304 5964350 140735384520560 140470941702552 4395056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 2015852 [startup+342.3 s] /proc/loadavg: 2.01 2.03 1.96 3/180 10345 /proc/meminfo: memFree=23285868/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=2380444 CPUtime=342.22 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 556124 0 0 0 33753 469 0 0 20 0 2 0 333415451 2437574656 520751 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 595111 520751 193 433 0 594675 0 [pid=10299/tid=10301] ppid=10297 vsize=2380444 CPUtime=338.29 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 509077 0 0 0 33365 464 0 0 20 0 2 0 333415762 2437574656 520751 33554432000 4194304 5964350 140735384520560 140470941702552 5122278 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 2380444 [startup+402.3 s] /proc/loadavg: 2.07 2.04 1.97 3/179 10345 /proc/meminfo: memFree=22763548/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=2679500 CPUtime=402.21 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 712268 0 0 0 39616 605 0 0 20 0 2 0 333415451 2743808000 593138 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 669875 593138 193 433 0 669439 0 [pid=10299/tid=10301] ppid=10297 vsize=2679500 CPUtime=398.13 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 665221 0 0 0 39212 601 0 0 20 0 2 0 333415762 2743808000 593138 33554432000 4194304 5964350 140735384520560 140470941702488 5130821 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 2679500 [startup+462.3 s] /proc/loadavg: 2.08 2.04 1.97 3/179 10345 /proc/meminfo: memFree=22144504/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=2961980 CPUtime=462.2 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 825434 0 0 0 45492 728 0 0 20 0 2 0 333415451 3033067520 655775 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 740495 655775 193 433 0 740059 0 [pid=10299/tid=10301] ppid=10297 vsize=2961980 CPUtime=457.97 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 778387 0 0 0 45073 724 0 0 20 0 2 0 333415762 3033067520 655775 33554432000 4194304 5964350 140735384520560 140470941702552 5179564 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.02 2.01 1.99 3/179 10362 /proc/meminfo: memFree=19662424/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4422308 CPUtime=1422.06 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1260940 0 0 0 140984 1222 0 0 20 0 2 0 333415451 4528443392 978052 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1105577 978052 197 433 0 1105141 0 [pid=10299/tid=10301] ppid=10297 vsize=4422308 CPUtime=1415.51 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1213893 0 0 0 140319 1232 0 0 20 0 2 0 333415762 4528443392 978052 33554432000 4194304 5964350 140735384520560 140470941703096 4399930 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 4422308 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 10363 /proc/meminfo: memFree=19493472/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4412060 CPUtime=1482.04 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1278349 0 0 0 146954 1250 0 0 20 0 2 0 333415451 4517949440 982249 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1103015 982249 197 433 0 1102579 0 [pid=10299/tid=10301] ppid=10297 vsize=4412060 CPUtime=1475.35 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1231302 0 0 0 146274 1261 0 0 20 0 2 0 333415762 4517949440 982249 33554432000 4194304 5964350 140735384520560 140470941703096 4392838 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 4412060 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.99 3/180 10366 /proc/meminfo: memFree=19328888/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4477596 CPUtime=1542.04 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1300460 0 0 0 152926 1278 0 0 20 0 2 0 333415451 4585058304 995352 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1119399 995352 197 433 0 1118963 0 [pid=10299/tid=10301] ppid=10297 vsize=4477596 CPUtime=1535.2 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1253413 0 0 0 152231 1289 0 0 20 0 2 0 333415762 4585058304 995352 33554432000 4194304 5964350 140735384520560 140470941703096 4392627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 4477596 [startup+1602.3 s] /proc/loadavg: 2.04 2.01 2.00 3/180 10389 /proc/meminfo: memFree=19261220/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4543132 CPUtime=1602.03 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1336548 0 0 0 158892 1311 0 0 20 0 2 0 333415451 4652167168 1007381 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1135783 1007381 197 433 0 1135347 0 [pid=10299/tid=10301] ppid=10297 vsize=4543132 CPUtime=1595.04 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1289501 0 0 0 158181 1323 0 0 20 0 2 0 333415762 4652167168 1007381 33554432000 4194304 5964350 140735384520560 140470941703096 4403597 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 4543132 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10389 /proc/meminfo: memFree=18959712/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4746056 CPUtime=1662.02 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1367064 0 0 0 164862 1340 0 0 20 0 2 0 333415451 4859961344 1051050 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1186514 1051050 197 433 0 1186078 0 [pid=10299/tid=10301] ppid=10297 vsize=4746056 CPUtime=1654.89 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1320017 0 0 0 164137 1352 0 0 20 0 2 0 333415762 4859961344 1051050 33554432000 4194304 5964350 140735384520560 140470941702728 5130914 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 4746056 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10389 /proc/meminfo: memFree=18743440/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4784940 CPUtime=1722 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1391775 0 0 0 170830 1370 0 0 20 0 2 0 333415451 4899778560 1054083 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1196235 1054083 197 433 0 1195799 0 [pid=10299/tid=10301] ppid=10297 vsize=4784940 CPUtime=1714.74 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1344728 0 0 0 170090 1384 0 0 20 0 2 0 333415762 4899778560 1054083 33554432000 4194304 5964350 140735384520560 140470941702728 5142429 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 4784940 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10390 /proc/meminfo: memFree=18756592/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4674204 CPUtime=1782 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1421226 0 0 0 176798 1402 0 0 20 0 2 0 333415451 4786384896 1043470 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1168551 1043470 197 433 0 1168115 0 [pid=10299/tid=10301] ppid=10297 vsize=4674204 CPUtime=1774.58 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1374179 0 0 0 176042 1416 0 0 20 0 2 0 333415762 4786384896 1043470 33554432000 4194304 5964350 140735384520560 140470941703096 4392658 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 4674204 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10390 /proc/meminfo: memFree=18515184/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4860724 CPUtime=1791.6 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1428116 0 0 0 177752 1408 0 0 20 0 2 0 333415451 4977381376 1082947 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1215181 1082947 197 433 0 1214745 0 [pid=10299/tid=10301] ppid=10297 vsize=4860724 CPUtime=1784.16 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1381069 0 0 0 176994 1422 0 0 20 0 2 0 333415762 4977381376 1082947 33554432000 4194304 5964350 140735384520560 140470941702984 5139086 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 4860724 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10390 /proc/meminfo: memFree=18641188/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4739740 CPUtime=1794.8 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1428116 0 0 0 178072 1408 0 0 20 0 2 0 333415451 4853493760 1056317 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1184935 1056317 197 433 0 1184499 0 [pid=10299/tid=10301] ppid=10297 vsize=4739740 CPUtime=1787.36 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1381069 0 0 0 177313 1423 0 0 20 0 2 0 333415762 4853493760 1056317 33554432000 4194304 5964350 140735384520560 140470941703096 4392627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 4739740 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10390 /proc/meminfo: memFree=18572336/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4850476 CPUtime=1798 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1428199 0 0 0 178390 1410 0 0 20 0 2 0 333415451 4966887424 1076840 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1212619 1076840 197 433 0 1212183 0 [pid=10299/tid=10301] ppid=10297 vsize=4850476 CPUtime=1790.54 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1381152 0 0 0 177629 1425 0 0 20 0 2 0 333415762 4966887424 1076840 33554432000 4194304 5964350 140735384520560 140470941702728 5139055 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 4850476 [startup+1799.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10390 /proc/meminfo: memFree=18598384/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4850476 CPUtime=1798.79 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1428199 0 0 0 178469 1410 0 0 20 0 2 0 333415451 4966887424 1071247 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1212619 1071247 197 433 0 1212183 0 [pid=10299/tid=10301] ppid=10297 vsize=4850476 CPUtime=1791.34 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1381152 0 0 0 177709 1425 0 0 20 0 2 0 333415762 4966887424 1071247 33554432000 4194304 5964350 140735384520560 140470941702728 5130914 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.79 Current children cumulated vsize (KiB) 4850476 [startup+1799.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10390 /proc/meminfo: memFree=18598412/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4739740 CPUtime=1799.2 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1428199 0 0 0 178510 1410 0 0 20 0 2 0 333415451 4853493760 1050731 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1184935 1050731 197 433 0 1184499 0 [pid=10299/tid=10301] ppid=10297 vsize=4739740 CPUtime=1791.74 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1381152 0 0 0 177749 1425 0 0 20 0 2 0 333415762 4853493760 1050731 33554432000 4194304 5964350 140735384520560 140470941703096 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.2 Current children cumulated vsize (KiB) 4739740 [startup+1799.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10390 /proc/meminfo: memFree=18598412/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4739740 CPUtime=1799.59 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1428199 0 0 0 178549 1410 0 0 20 0 2 0 333415451 4853493760 1050731 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1184935 1050731 197 433 0 1184499 0 [pid=10299/tid=10301] ppid=10297 vsize=4739740 CPUtime=1792.14 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1381152 0 0 0 177789 1425 0 0 20 0 2 0 333415762 4853493760 1050731 33554432000 4194304 5964350 140735384520560 140470941703096 4392783 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (KiB) 4739740 [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10390 /proc/meminfo: memFree=18598412/32873844 swapFree=7116/7116 [pid=10299] ppid=10297 vsize=4739740 CPUtime=1799.69 cores=1,3,5,7 /proc/10299/stat : 10299 (wbo1.72) S 10297 10299 9909 0 -1 4202496 1428199 0 0 0 178559 1410 0 0 20 0 2 0 333415451 4853493760 1050731 33554432000 4194304 5964350 140735384520560 140735384520080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10299/statm: 1184935 1050731 197 433 0 1184499 0 [pid=10299/tid=10301] ppid=10297 vsize=4739740 CPUtime=1792.24 cores=1,3,5,7 /proc/10299/task/10301/stat : 10301 (wbo1.72) R 10297 10299 9909 0 -1 4202560 1381152 0 0 0 177799 1425 0 0 20 0 2 0 333415762 4853493760 1050731 33554432000 4194304 5964350 140735384520560 140470941703096 4399801 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (KiB) 4739740 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10299 and gives # childrusage.ru_utime.tv_sec=1781 # childrusage.ru_utime.tv_usec=33241 # childrusage.ru_stime.tv_sec=14 # childrusage.ru_stime.tv_usec=428806 # CPU time returned by wait4() is 1795.46 # while last known CPU time is 1799.69 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.1 CPU time (s): 1799.69 CPU user time (s): 1785.59 CPU system time (s): 14.1 CPU usage (%): 99.9774 Max. virtual memory (cumulated for all children) (KiB): 4860724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.03 system time used= 14.4288 maximum resident set size= 4331788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1428201 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= 49 involuntary context switches= 2177 runsolver used 3.35849 second user time and 8.73867 second system time The end
Begin job on node138 at 2012-06-02 23:35:04 IDJOB=3727902 IDBENCH=90877 IDSOLVER=2313 FILE ID=node138/3727902-1338672903 RUNJOBID= node138-1338669302-10021 PBS_JOBID= 14636503 Free space on /tmp= 70756 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727902-1338672903/watcher-3727902-1338672903 -o /tmp/evaluation-result-3727902-1338672903/solver-3727902-1338672903 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727902-1338672903.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d651cc878ba5f8db7c83d3bfed1cb1c RANDOM SEED=171845890 node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27187600 kB Buffers: 701912 kB Cached: 3721936 kB SwapCached: 208 kB Active: 2597972 kB Inactive: 2183176 kB Active(anon): 341844 kB Inactive(anon): 11388 kB Active(file): 2256128 kB Inactive(file): 2171788 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108648 kB Dirty: 32968 kB Writeback: 0 kB AnonPages: 355524 kB Mapped: 15136 kB Shmem: 200 kB Slab: 761756 kB SReclaimable: 203960 kB SUnreclaim: 557796 kB KernelStack: 1440 kB PageTables: 4620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 163512 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 274432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70728 MiB End job on node138 at 2012-06-03 00:05:04