| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.7 | ? | 1799.67 | 1800.09 |
| 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.7 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3705601-1338159742.opb. 0.00/0.00 c Instance file HOME/instance-3705601-1338159742.opb 0.00/0.00 c File size is 28235837 bytes. 2.69/2.75 c Cost Offset: -987807 2.69/2.75 c Highest Coefficient sum: 63834 2.69/2.75 c ============================[ Problem Statistics ]============================= 2.69/2.75 c | | 2.69/2.75 c | Parsing time: 2.76 s | 2.69/2.75 c | Number Variables: 400896 | 2.69/2.75 c | Number Clauses: 400785 | 2.69/2.75 c | Number Cardinality: 1977 | 2.69/2.75 c | Number PB Constraints: 1 | 2.69/2.75 c | | 2.99/3.03 c | Problem Type: Optimization | 2.99/3.03 c | Objective Function: PB Constraint | 2.99/3.03 c | | 2.99/3.03 c ============================[ Search Statistics ]============================== 2.99/3.03 c | Time (s) | ID | Bound | Shared Clauses | 2.99/3.03 c | | | value type | expCls impCls Lit/impCl | 2.99/3.03 c =============================================================================== 3.39/3.49 c | 3.50 | 0 | -987805 lb | 0 0 0.00 | 3.89/3.91 c | 3.91 | 0 | -987804 lb | 0 0 0.00 | 4.19/4.30 c | 4.30 | 0 | -987802 lb | 0 0 0.00 | 4.79/4.89 c | 4.68 | 0 | -987801 lb | 0 0 0.00 | 4.99/5.06 c | 5.06 | 0 | -987800 lb | 0 0 0.00 | 5.39/5.45 c | 5.46 | 0 | -987798 lb | 0 0 0.00 | 5.78/5.84 c | 5.84 | 0 | -987797 lb | 0 0 0.00 | 6.18/6.23 c | 6.24 | 0 | -987796 lb | 0 0 0.00 | 6.59/6.62 c | 6.62 | 0 | -987795 lb | 0 0 0.00 | 6.99/7.03 c | 7.03 | 0 | -987792 lb | 0 0 0.00 | 7.39/7.42 c | 7.42 | 0 | -987791 lb | 0 0 0.00 | 7.78/7.83 c | 7.84 | 0 | -987787 lb | 0 0 0.00 | 8.18/8.23 c | 8.24 | 0 | -987784 lb | 0 0 0.00 | 8.58/8.65 c | 8.65 | 0 | -987783 lb | 0 0 0.00 | 8.98/9.06 c | 9.06 | 0 | -987782 lb | 0 0 0.00 | 9.38/9.48 c | 9.48 | 0 | -987780 lb | 0 0 0.00 | 9.79/9.89 c | 9.89 | 0 | -987779 lb | 0 0 0.00 | 10.29/10.31 c | 10.31 | 0 | -987777 lb | 0 0 0.00 | 10.69/10.72 c | 10.72 | 0 | -987776 lb | 0 0 0.00 | 11.08/11.14 c | 11.15 | 0 | -987775 lb | 0 0 0.00 | 11.48/11.56 c | 11.56 | 0 | -987774 lb | 0 0 0.00 | 11.88/11.98 c | 11.99 | 0 | -987773 lb | 0 0 0.00 | 12.38/12.40 c | 12.40 | 0 | -987772 lb | 0 0 0.00 | 12.79/12.83 c | 12.83 | 0 | -987771 lb | 0 0 0.00 | 13.19/13.25 c | 13.25 | 0 | -987770 lb | 0 0 0.00 | 13.58/13.69 c | 13.69 | 0 | -987769 lb | 0 0 0.00 | 14.08/14.10 c | 14.11 | 0 | -987768 lb | 0 0 0.00 | 14.48/14.54 c | 14.54 | 0 | -987767 lb | 0 0 0.00 | 14.88/14.96 c | 14.96 | 0 | -987766 lb | 0 0 0.00 | 15.39/15.40 c | 15.41 | 0 | -987765 lb | 0 0 0.00 | 15.78/15.83 c | 15.83 | 0 | -987762 lb | 0 0 0.00 | 16.19/16.28 c | 16.28 | 0 | -987760 lb | 0 0 0.00 | 16.69/16.71 c | 16.72 | 0 | -987758 lb | 0 0 0.00 | 17.08/17.16 c | 17.17 | 0 | -987757 lb | 0 0 0.00 | 17.49/17.60 c | 17.61 | 0 | -987756 lb | 0 0 0.00 | 17.99/18.04 c | 18.05 | 0 | -987755 lb | 0 0 0.00 | 18.38/18.48 c | 18.49 | 0 | -987754 lb | 0 0 0.00 | 18.88/18.93 c | 18.93 | 0 | -987753 lb | 0 0 0.00 | 19.28/19.37 c | 19.38 | 0 | -987752 lb | 0 0 0.00 | 19.79/19.82 c | 19.83 | 0 | -987750 lb | 0 0 0.00 | 20.18/20.27 c | 20.27 | 0 | -987749 lb | 0 0 0.00 | 20.68/20.72 c | 20.73 | 0 | -987748 lb | 0 0 0.00 | 21.08/21.17 c | 21.18 | 0 | -987747 lb | 0 0 0.00 | 21.58/21.63 c | 21.63 | 0 | -987746 lb | 0 0 0.00 | 21.99/22.08 c | 22.08 | 0 | -987745 lb | 0 0 0.00 | 22.49/22.54 c | 22.54 | 0 | -987744 lb | 0 0 0.00 | 22.88/22.99 c | 23.00 | 0 | -987742 lb | 0 0 0.00 | 23.38/23.45 c | 23.45 | 0 | -987740 lb | 0 0 0.00 | 23.89/23.91 c | 23.91 | 0 | -987739 lb | 0 0 0.00 | 24.29/24.37 c | 24.37 | 0 | -987738 lb | 0 0 0.00 | 24.79/24.82 c | 24.83 | 0 | -987737 lb | 0 0 0.00 | 25.19/25.29 c | 25.29 | 0 | -987735 lb | 0 0 0.00 | 25.68/25.75 c | 25.76 | 0 | -987734 lb | 0 0 0.00 | 26.18/26.22 c | 26.22 | 0 | -987733 lb | 0 0 0.00 | 26.58/26.68 c | 26.68 | 0 | -987732 lb | 0 0 0.00 | 27.08/27.15 c | 27.15 | 0 | -987731 lb | 0 0 0.00 | 27.58/27.62 c | 27.62 | 0 | -987730 lb | 0 0 0.00 | 27.98/28.09 c | 28.10 | 0 | -987729 lb | 0 0 0.00 | 28.49/28.55 c | 28.56 | 0 | -987728 lb | 0 0 0.00 | 28.98/29.02 c | 29.02 | 0 | -987726 lb | 0 0 0.00 | 29.38/29.48 c | 29.48 | 0 | -987725 lb | 0 0 0.00 | 29.88/29.95 c | 29.96 | 0 | -987723 lb | 0 0 0.00 | 30.38/30.42 c | 30.42 | 0 | -987722 lb | 0 0 0.00 | 30.88/30.90 c | 30.90 | 0 | -987720 lb | 0 0 0.00 | 31.28/31.37 c | 31.38 | 0 | -987719 lb | 0 0 0.00 | 31.79/31.84 c | 31.85 | 0 | -987718 lb | 0 0 0.00 | 32.28/32.31 c | 32.31 | 0 | -987717 lb | 0 0 0.00 | 32.68/32.78 c | 32.79 | 0 | -987716 lb | 0 0 0.00 | 33.18/33.25 c | 33.26 | 0 | -987715 lb | 0 0 0.00 | 33.67/33.73 c | 33.74 | 0 | -987712 lb | 0 0 0.00 | 34.17/34.20 c | 34.21 | 0 | -987711 lb | 0 0 0.00 | 34.58/34.68 c | 34.69 | 0 | -987709 lb | 0 0 0.00 | 35.08/35.16 c | 35.16 | 0 | -987708 lb | 0 0 0.00 | 35.58/35.64 c | 35.64 | 0 | -987706 lb | 0 0 0.00 | 36.07/36.11 c | 36.12 | 0 | -987705 lb | 0 0 0.00 | 36.47/36.59 c | 36.59 | 0 | -987704 lb | 0 0 0.00 | 36.97/37.08 c | 37.08 | 0 | -987703 lb | 0 0 0.00 | 37.47/37.56 c | 37.56 | 0 | -987702 lb | 0 0 0.00 | 37.98/38.04 c | 38.05 | 0 | -987701 lb | 0 0 0.00 | 38.48/38.53 c | 38.53 | 0 | -987700 lb | 0 0 0.00 | 38.97/39.00 c | 39.01 | 0 | -987699 lb | 0 0 0.00 | 39.38/39.50 c | 39.50 | 0 | -987697 lb | 0 0 0.00 | 39.87/39.99 c | 40.00 | 0 | -987696 lb | 0 0 0.00 | 40.38/40.49 c | 40.50 | 0 | -987695 lb | 0 0 0.00 | 40.87/40.99 c | 40.99 | 0 | -987694 lb | 0 0 0.00 | 41.37/41.48 c | 41.48 | 0 | -987692 lb | 0 0 0.00 | 41.87/41.98 c | 41.98 | 0 | -987691 lb | 0 0 0.00 | 42.37/42.48 c | 42.49 | 0 | -987689 lb | 0 0 0.00 | 42.89/42.98 c | 42.98 | 0 | -987688 lb | 0 0 0.00 | 43.38/43.48 c | 43.48 | 0 | -987686 lb | 0 0 0.00 | 43.88/43.97 c | 43.97 | 0 | -987684 lb | 0 0 0.00 | 44.37/44.46 c | 44.47 | 0 | -987683 lb | 0 0 0.00 | 44.87/44.96 c | 44.96 | 0 | -987681 lb | 0 0 0.00 | 45.38/45.45 c | 45.46 | 0 | -987679 lb | 0 0 0.00 | 45.87/45.95 c | 45.96 | 0 | -987675 lb | 0 0 0.00 | 46.37/46.46 c | 46.46 | 0 | -987671 lb | 0 0 0.00 | 46.87/46.96 c | 46.96 | 0 | -987670 lb | 0 0 0.00 | 47.37/47.46 c | 47.47 | 0 | -987669 lb | 0 0 0.00 | 47.88/47.96 c | 47.97 | 0 | -987668 lb | 0 0 0.00 | 48.38/48.48 c | 48.48 | 0 | -987665 lb | 0 0 0.00 | 48.88/48.99 c | 48.99 | 0 | -987664 lb | 0 0 0.00 | 49.48/49.51 c | 49.51 | 0 | -987662 lb | 0 0 0.00 | 49.97/50.02 c | 50.02 | 0 | -987661 lb | 0 0 0.00 | 50.48/50.53 c | 50.53 | 0 | -987660 lb | 0 0 0.00 | 50.97/51.04 c | 51.04 | 0 | -987659 lb | 0 0 0.00 | 51.47/51.56 c | 51.56 | 0 | -987658 lb | 0 0 0.00 | 51.97/52.07 c | 52.07 | 0 | -987657 lb | 0 0 0.00 | 52.47/52.59 c | 52.59 | 0 | -987656 lb | 0 0 0.00 | 53.07/53.10 c | 53.11 | 0 | -987655 lb | 0 0 0.00 | 53.57/53.62 c | 53.62 | 0 | -987654 lb | 0 0 0.00 | 54.07/54.14 c | 54.14 | 0 | -987653 lb | 0 0 0.00 | 54.57/54.65 c | 54.66 | 0 | -987652 lb | 0 0 0.00 | 55.07/55.17 c | 55.17 | 0 | -987651 lb | 0 0 0.00 | 55.57/55.69 c | 55.69 | 0 | -987650 lb | 0 0 0.00 | 56.17/56.20 c | 56.21 | 0 | -987645 lb | 0 0 0.00 | 56.67/56.72 c | 56.72 | 0 | -987644 lb | 0 0 0.00 | 57.17/57.24 c | 57.24 | 0 | -987643 lb | 0 0 0.00 | 57.67/57.75 c | 57.76 | 0 | -987642 lb | 0 0 0.00 | 58.18/58.27 c | 58.27 | 0 | -987640 lb | 0 0 0.00 | 58.67/58.79 c | 58.80 | 0 | -987639 lb | 0 0 0.00 | 59.28/59.33 c | 59.33 | 0 | -987638 lb | 0 0 0.00 | 59.77/59.85 c | 59.86 | 0 | -987637 lb | 0 0 0.00 | 60.27/60.38 c | 60.39 | 0 | -987636 lb | 0 0 0.00 | 60.87/60.91 c | 60.91 | 0 | -987635 lb | 0 0 0.00 | 61.37/61.44 c | 61.44 | 0 | -987634 lb | 0 0 0.00 | 61.87/61.97 c | 61.97 | 0 | -987633 lb | 0 0 0.00 | 62.37/62.49 c | 62.50 | 0 | -987631 lb | 0 0 0.00 | 62.97/63.03 c | 63.03 | 0 | -987630 lb | 0 0 0.00 | 63.47/63.55 c | 63.55 | 0 | -987629 lb | 0 0 0.00 | 63.97/64.07 c | 64.07 | 0 | -987628 lb | 0 0 0.00 | 64.57/64.60 c | 64.61 | 0 | -987627 lb | 0 0 0.00 | 65.07/65.13 c | 65.14 | 0 | -987626 lb | 0 0 0.00 | 65.57/65.67 c | 65.67 | 0 | -987625 lb | 0 0 0.00 | 66.17/66.20 c | 66.20 | 0 | -987624 lb | 0 0 0.00 | 66.67/66.72 c | 66.73 | 0 | -987623 lb | 0 0 0.00 | 67.17/67.25 c | 67.25 | 0 | -987622 lb | 0 0 0.00 | 67.67/67.78 c | 67.78 | 0 | -987621 lb | 0 0 0.00 | 68.27/68.30 c | 68.31 | 0 | -987619 lb | 0 0 0.00 | 68.77/68.83 c | 68.83 | 0 | -987618 lb | 0 0 0.00 | 69.28/69.38 c | 69.38 | 0 | -987616 lb | 0 0 0.00 | 69.87/69.91 c | 69.92 | 0 | -987613 lb | 0 0 0.00 | 70.38/70.44 c | 70.45 | 0 | -987612 lb | 0 0 0.00 | 70.87/70.98 c | 70.99 | 0 | -987611 lb | 0 0 0.00 | 71.48/71.52 c | 71.52 | 0 | -987610 lb | 0 0 0.00 | 71.97/72.06 c | 72.06 | 0 | -987609 lb | 0 0 0.00 | 72.47/72.59 c | 72.60 | 0 | -987608 lb | 0 0 0.00 | 73.07/73.13 c | 73.14 | 0 | -987607 lb | 0 0 0.00 | 73.58/73.67 c | 73.67 | 0 | -987606 lb | 0 0 0.00 | 74.17/74.21 c | 74.21 | 0 | -987604 lb | 0 0 0.00 | 74.68/74.74 c | 74.74 | 0 | -987603 lb | 0 0 0.00 | 75.17/75.28 c | 75.29 | 0 | -987602 lb | 0 0 0.00 | 75.78/75.82 c | 75.82 | 0 | -987601 lb | 0 0 0.00 | 76.27/76.36 c | 76.36 | 0 | -987600 lb | 0 0 0.00 | 76.87/76.90 c | 76.91 | 0 | -987599 lb | 0 0 0.00 | 77.37/77.44 c | 77.44 | 0 | -987598 lb | 0 0 0.00 | 77.87/77.99 c | 77.99 | 0 | -987597 lb | 0 0 0.00 | 78.47/78.53 c | 78.54 | 0 | -987596 lb | 0 0 0.00 | 78.97/79.08 c | 79.08 | 0 | -987595 lb | 0 0 0.00 | 79.56/79.63 c | 79.63 | 0 | -987594 lb | 0 0 0.00 | 80.07/80.17 c | 80.17 | 0 | -987593 lb | 0 0 0.00 | 80.66/80.72 c | 80.72 | 0 | -987592 lb | 0 0 0.00 | 81.17/81.27 c | 81.28 | 0 | -987590 lb | 0 0 0.00 | 81.77/81.83 c | 81.83 | 0 | -987589 lb | 0 0 0.00 | 82.27/82.38 c | 82.38 | 0 | -987588 lb | 0 0 0.00 | 82.87/82.93 c | 82.93 | 0 | -987587 lb | 0 0 0.00 | 83.37/83.48 c | 83.48 | 0 | -987584 lb | 0 0 0.00 | 83.96/84.03 c | 84.03 | 0 | -987583 lb | 0 0 0.00 | 84.46/84.58 c | 84.59 | 0 | -987582 lb | 0 0 0.00 | 85.07/85.13 c | 85.14 | 0 | -987581 lb | 0 0 0.00 | 85.57/85.68 c | 85.68 | 0 | -987580 lb | 0 0 0.00 | 86.17/86.22 c | 86.23 | 0 | -987579 lb | 0 0 0.00 | 86.66/86.78 c | 86.78 | 0 | -987578 lb | 0 0 0.00 | 87.27/87.34 c | 87.35 | 0 | -987576 lb | 0 0 0.00 | 87.88/87.90 c | 87.91 | 0 | -987575 lb | 0 0 0.00 | 88.37/88.46 c | 88.47 | 0 | -987574 lb | 0 0 0.00 | 88.97/89.02 c | 89.02 | 0 | -987573 lb | 0 0 0.00 | 89.46/89.58 c | 89.58 | 0 | -987572 lb | 0 0 0.00 | 90.08/90.14 c | 90.15 | 0 | -987571 lb | 0 0 0.00 | 90.57/90.69 c | 90.70 | 0 | -987569 lb | 0 0 0.00 | 91.17/91.25 c | 91.26 | 0 | -987568 lb | 0 0 0.00 | 91.77/91.81 c | 91.81 | 0 | -987567 lb | 0 0 0.00 | 92.27/92.37 c | 92.37 | 0 | -987566 lb | 0 0 0.00 | 92.86/92.92 c | 92.93 | 0 | -987565 lb | 0 0 0.00 | 93.37/93.48 c | 93.49 | 0 | -987560 lb | 0 0 0.00 | 93.97/94.04 c | 94.05 | 0 | -987559 lb | 0 0 0.00 | 94.57/94.61 c | 94.61 | 0 | -987558 lb | 0 0 0.00 | 95.06/95.17 c | 95.18 | 0 | -987557 lb | 0 0 0.00 | 95.67/95.75 c | 95.75 | 0 | -987554 lb | 0 0 0.00 | 96.26/96.31 c | 96.31 | 0 | -987552 lb | 0 0 0.00 | 96.78/96.87 c | 96.88 | 0 | -987551 lb | 0 0 0.00 | 97.37/97.43 c | 97.44 | 0 | -987550 lb | 0 0 0.00 | 97.97/98.00 c | 98.01 | 0 | -987549 lb | 0 0 0.00 | 98.46/98.56 c | 98.56 | 0 | -987548 lb | 0 0 0.00 | 99.06/99.14 c | 99.15 | 0 | -987547 lb | 0 0 0.00 | 99.66/99.71 c | 99.71 | 0 | -987544 lb | 0 0 0.00 | 100.16/100.29 c | 100.29 | 0 | -987543 lb | 0 0 0.00 | 100.76/100.84 c | 100.85 | 0 | -987542 lb | 0 0 0.00 | 101.36/101.42 c | 101.42 | 0 | -987540 lb | 0 0 0.00 | 101.86/101.99 c | 101.99 | 0 | -987538 lb | 0 0 0.00 | 102.46/102.56 c | 102.56 | 0 | -987537 lb | 0 0 0.00 | 103.06/103.13 c | 103.13 | 0 | -987534 lb | 0 0 0.00 | 103.67/103.70 c | 103.70 | 0 | -987532 lb | 0 0 0.00 | 104.17/104.27 c | 104.27 | 0 | -987529 lb | 0 0 0.00 | 104.76/104.84 c | 104.85 | 0 | -987528 lb | 0 0 0.00 | 105.36/105.41 c | 105.42 | 0 | -987527 lb | 0 0 0.00 | 105.87/105.99 c | 106.00 | 0 | -987526 lb | 0 0 0.00 | 106.46/106.57 c | 106.57 | 0 | -987525 lb | 0 0 0.00 | 107.06/107.13 c | 107.14 | 0 | -987524 lb | 0 0 0.00 | 107.67/107.71 c | 107.71 | 0 | -987523 lb | 0 0 0.00 | 108.16/108.29 c | 108.29 | 0 | -987522 lb | 0 0 0.00 | 108.77/108.86 c | 108.86 | 0 | -987521 lb | 0 0 0.00 | 109.36/109.46 c | 109.46 | 0 | -987520 lb | 0 0 0.00 | 109.97/110.04 c | 110.05 | 0 | -987519 lb | 0 0 0.00 | 110.56/110.63 c | 110.64 | 0 | -987517 lb | 0 0 0.00 | 111.16/111.21 c | 111.21 | 0 | -987516 lb | 0 0 0.00 | 111.76/111.81 c | 111.81 | 0 | -987515 lb | 0 0 0.00 | 112.26/112.39 c | 112.40 | 0 | -987514 lb | 0 0 0.00 | 112.96/113.00 c | 113.01 | 0 | -987513 lb | 0 0 0.00 | 113.46/113.59 c | 113.59 | 0 | -987512 lb | 0 0 0.00 | 114.06/114.17 c | 114.18 | 0 | -987511 lb | 0 0 0.00 | 114.66/114.76 c | 114.76 | 0 | -987507 lb | 0 0 0.00 | 115.26/115.35 c | 115.35 | 0 | -987506 lb | 0 0 0.00 | 115.86/115.93 c | 115.94 | 0 | -987505 lb | 0 0 0.00 | 116.47/116.53 c | 116.54 | 0 | -987504 lb | 0 0 0.00 | 117.06/117.12 c | 117.12 | 0 | -987501 lb | 0 0 0.00 | 117.67/117.70 c | 117.71 | 0 | -987499 lb | 0 0 0.00 | 118.26/118.31 c | 118.31 | 0 | -987498 lb | 0 0 0.00 | 118.86/118.90 c | 118.90 | 0 | -987497 lb | 0 0 0.00 | 119.36/119.48 c | 119.49 | 0 | -987494 lb | 0 0 0.00 | 119.96/120.08 c | 120.08 | 0 | -987493 lb | 0 0 0.00 | 120.56/120.67 c | 120.68 | 0 | -987492 lb | 0 0 0.00 | 121.16/121.26 c | 121.26 | 0 | -987491 lb | 0 0 0.00 | 121.76/121.85 c | 121.85 | 0 | -987490 lb | 0 0 0.00 | 122.36/122.44 c | 122.44 | 0 | -987489 lb | 0 0 0.00 | 122.96/123.04 c | 123.04 | 0 | -987488 lb | 0 0 0.00 | 123.56/123.63 c | 123.64 | 0 | -987487 lb | 0 0 0.00 | 124.17/124.23 c | 124.23 | 0 | -987486 lb | 0 0 0.00 | 124.76/124.82 c | 124.83 | 0 | -987485 lb | 0 0 0.00 | 125.37/125.41 c | 125.42 | 0 | -987484 lb | 0 0 0.00 | 125.96/126.02 c | 126.03 | 0 | -987483 lb | 0 0 0.00 | 126.56/126.62 c | 126.63 | 0 | -987482 lb | 0 0 0.00 | 127.16/127.22 c | 127.23 | 0 | -987480 lb | 0 0 0.00 | 127.76/127.82 c | 127.82 | 0 | -987478 lb | 0 0 0.00 | 128.36/128.42 c | 128.42 | 0 | -987477 lb | 0 0 0.00 | 128.96/129.02 c | 129.02 | 0 | -987474 lb | 0 0 0.00 | 129.56/129.64 c | 129.64 | 0 | -987473 lb | 0 0 0.00 | 130.16/130.27 c | 130.28 | 0 | -987472 lb | 0 0 0.00 | 130.77/130.88 c | 130.89 | 0 | -987470 lb | 0 0 0.00 | 131.36/131.49 c | 131.49 | 0 | -987469 lb | 0 0 0.00 | 132.06/132.10 c | 132.10 | 0 | -987468 lb | 0 0 0.00 | 132.66/132.71 c | 132.71 | 0 | -987467 lb | 0 0 0.00 | 133.26/133.32 c | 133.33 | 0 | -987466 lb | 0 0 0.00 | 133.86/133.94 c | 133.94 | 0 | -987465 lb | 0 0 0.00 | 134.46/134.55 c | 134.56 | 0 | -987464 lb | 0 0 0.00 | 135.05/135.17 c | 135.18 | 0 | -987461 lb | 0 0 0.00 | 135.65/135.79 c | 135.79 | 0 | -987459 lb | 0 0 0.00 | 136.37/136.41 c | 136.41 | 0 | -987458 lb | 0 0 0.00 | 136.96/137.03 c | 137.03 | 0 | -987457 lb | 0 0 0.00 | 137.56/137.65 c | 137.65 | 0 | -987456 lb | 0 0 0.00 | 138.16/138.26 c | 138.26 | 0 | -987451 lb | 0 0 0.00 | 138.76/138.88 c | 138.88 | 0 | -987450 lb | 0 0 0.00 | 139.46/139.50 c | 139.50 | 0 | -987449 lb | 0 0 0.00 | 140.05/140.14 c | 140.15 | 0 | -987448 lb | 0 0 0.00 | 140.66/140.77 c | 140.77 | 0 | -987447 lb | 0 0 0.00 | 141.35/141.40 c | 141.40 | 0 | -987445 lb | 0 0 0.00 | 141.95/142.01 c | 142.01 | 0 | -987444 lb | 0 0 0.00 | 142.56/142.62 c | 142.62 | 0 | -987443 lb | 0 0 0.00 | 143.16/143.23 c | 143.23 | 0 | -987442 lb | 0 0 0.00 | 143.76/143.86 c | 143.86 | 0 | -987441 lb | 0 0 0.00 | 144.36/144.48 c | 144.48 | 0 | -987440 lb | 0 0 0.00 | 144.96/145.10 c | 145.10 | 0 | -987439 lb | 0 0 0.00 | 145.66/145.73 c | 145.73 | 0 | -987437 lb | 0 0 0.00 | 146.26/146.34 c | 146.35 | 0 | -987435 lb | 0 0 0.00 | 146.86/146.96 c | 146.97 | 0 | -987434 lb | 0 0 0.00 | 147.45/147.59 c | 147.59 | 0 | -987433 lb | 0 0 0.00 | 148.16/148.21 c | 148.21 | 0 | -987432 lb | 0 0 0.00 | 148.76/148.82 c | 148.83 | 0 | -987430 lb | 0 0 0.00 | 149.35/149.46 c | 149.46 | 0 | -987429 lb | 0 0 0.00 | 149.95/150.08 c | 150.09 | 0 | -987427 lb | 0 0 0.00 | 150.66/150.73 c | 150.73 | 0 | -987424 lb | 0 0 0.00 | 151.25/151.38 c | 151.39 | 0 | -987423 lb | 0 0 0.00 | 151.95/152.03 c | 152.03 | 0 | -987422 lb | 0 0 0.00 | 152.55/152.68 c | 152.68 | 0 | -987421 lb | 0 0 0.00 | 153.26/153.33 c | 153.33 | 0 | -987419 lb | 0 0 0.00 | 153.86/153.98 c | 153.98 | 0 | -987418 lb | 0 0 0.00 | 154.55/154.61 c | 154.61 | 0 | -987416 lb | 0 0 0.00 | 155.16/155.26 c | 155.27 | 0 | -987414 lb | 0 0 0.00 | 155.85/155.91 c | 155.91 | 0 | -987413 lb | 0 0 0.00 | 156.45/156.55 c | 156.56 | 0 | -987412 lb | 0 0 0.00 | 157.16/157.21 c | 157.21 | 0 | -987411 lb | 0 0 0.00 | 157.75/157.85 c | 157.85 | 0 | -987409 lb | 0 0 0.00 | 158.36/158.49 c | 158.50 | 0 | -987408 lb | 0 0 0.00 | 159.05/159.14 c | 159.14 | 0 | -987407 lb | 0 0 0.00 | 159.75/159.81 c | 159.81 | 0 | -987406 lb | 0 0 0.00 | 160.35/160.44 c | 160.45 | 0 | -987405 lb | 0 0 0.00 | 160.96/161.09 c | 161.09 | 0 | -987404 lb | 0 0 0.00 | 161.66/161.76 c | 161.76 | 0 | -987403 lb | 0 0 0.00 | 162.36/162.41 c | 162.42 | 0 | -987401 lb | 0 0 0.00 | 162.95/163.07 c | 163.07 | 0 | -987399 lb | 0 0 0.00 | 163.66/163.73 c | 163.74 | 0 | -987398 lb | 0 0 0.00 | 164.36/164.40 c | 164.41 | 0 | -987396 lb | 0 0 0.00 | 165.05/165.11 c | 165.11 | 0 | -987395 lb | 0 0 0.00 | 165.65/165.77 c | 165.77 | 0 | -987394 lb | 0 0 0.00 | 166.36/166.43 c | 166.43 | 0 | -987392 lb | 0 0 0.00 | 166.95/167.08 c | 167.08 | 0 | -987391 lb | 0 0 0.00 | 167.66/167.74 c | 167.75 | 0 | -987390 lb | 0 0 0.00 | 168.35/168.40 c | 168.40 | 0 | -987389 lb | 0 0 0.00 | 168.95/169.06 c | 169.06 | 0 | -987388 lb | 0 0 0.00 | 169.65/169.72 c | 169.73 | 0 | -987387 lb | 0 0 0.00 | 170.36/170.41 c | 170.42 | 0 | -987386 lb | 0 0 0.00 | 170.95/171.08 c | 171.08 | 0 | -987385 lb | 0 0 0.00 | 171.65/171.75 c | 171.75 | 0 | -987384 lb | 0 0 0.00 | 172.35/172.40 c | 172.41 | 0 | -987383 lb | 0 0 0.00 | 172.95/173.09 c | 173.09 | 0 | -987382 lb | 0 0 0.00 | 173.65/173.76 c | 173.76 | 0 | -987380 lb | 0 0 0.00 | 174.35/174.43 c | 174.44 | 0 | -987379 lb | 0 0 0.00 | 175.05/175.10 c | 175.11 | 0 | -987378 lb | 0 0 0.00 | 175.65/175.78 c | 175.78 | 0 | -987375 lb | 0 0 0.00 | 176.35/176.45 c | 176.46 | 0 | -987374 lb | 0 0 0.00 | 177.06/177.14 c | 177.14 | 0 | -987373 lb | 0 0 0.00 | 177.75/177.81 c | 177.82 | 0 | -987372 lb | 0 0 0.00 | 178.35/178.49 c | 178.50 | 0 | -987371 lb | 0 0 0.00 | 179.05/179.16 c | 179.16 | 0 | -987370 lb | 0 0 0.00 | 179.75/179.83 c | 179.84 | 0 | -987367 lb | 0 0 0.00 | 180.44/180.52 c | 180.53 | 0 | -987365 lb | 0 0 0.00 | 181.14/181.20 c | 181.20 | 0 | -987364 lb | 0 0 0.00 | 181.75/181.88 c | 181.89 | 0 | -987363 lb | 0 0 0.00 | 182.45/182.56 c | 182.56 | 0 | -987362 lb | 0 0 0.00 | 183.15/183.24 c | 183.25 | 0 | -987361 lb | 0 0 0.00 | 183.85/183.91 c | 183.92 | 0 | -987360 lb | 0 0 0.00 | 184.45/184.60 c | 184.60 | 0 | -987359 lb | 0 0 0.00 | 185.15/185.26 c | 185.26 | 0 | -987358 lb | 0 0 0.00 | 185.86/185.95 c | 185.96 | 0 | -987357 lb | 0 0 0.00 | 186.55/186.63 c | 186.63 | 0 | -987356 lb | 0 0 0.00 | 187.25/187.33 c | 187.33 | 0 | -987354 lb | 0 0 0.00 | 187.85/187.99 c | 187.99 | 0 | -987353 lb | 0 0 0.00 | 188.55/188.68 c | 188.69 | 0 | -987352 lb | 0 0 0.00 | 189.25/189.37 c | 189.38 | 0 | -987351 lb | 0 0 0.00 | 189.95/190.05 c | 190.06 | 0 | -987350 lb | 0 0 0.00 | 190.65/190.74 c | 190.75 | 0 | -987349 lb | 0 0 0.00 | 191.35/191.42 c | 191.42 | 0 | -987347 lb | 0 0 0.00 | 192.05/192.11 c | 192.11 | 0 | -987346 lb | 0 0 0.00 | 192.65/192.79 c | 192.80 | 0 | -987344 lb | 0 0 0.00 | 193.35/193.47 c | 193.48 | 0 | -987343 lb | 0 0 0.00 | 194.04/194.15 c | 194.15 | 0 | -987342 lb | 0 0 0.00 | 194.75/194.82 c | 194.83 | 0 | -987341 lb | 0 0 0.00 | 195.45/195.51 c | 195.51 | 0 | -987338 lb | 0 0 0.00 | 196.15/196.20 c | 196.20 | 0 | -987337 lb | 0 0 0.00 | 196.76/196.90 c | 196.90 | 0 | -987336 lb | 0 0 0.00 | 197.44/197.59 c | 197.59 | 0 | -987334 lb | 0 0 0.00 | 198.15/198.27 c | 198.27 | 0 | -987331 lb | 0 0 0.00 | 198.85/198.96 c | 198.96 | 0 | -987330 lb | 0 0 0.00 | 199.54/199.64 c | 199.64 | 0 | -987329 lb | 0 0 0.00 | 200.24/200.35 c | 200.35 | 0 | -987328 lb | 0 0 0.00 | 200.95/201.04 c | 201.05 | 0 | -987327 lb | 0 0 0.00 | 201.65/201.75 c | 201.75 | 0 | -987326 lb | 0 0 0.00 | 202.35/202.47 c | 202.47 | 0 | -987325 lb | 0 0 0.00 | 203.05/203.15 c | 203.16 | 0 | -987324 lb | 0 0 0.00 | 203.74/203.83 c | 203.84 | 0 | -987321 lb | 0 0 0.00 | 204.45/204.50 c | 204.51 | 0 | -987320 lb | 0 0 0.00 | 205.05/205.19 c | 205.20 | 0 | -987318 lb | 0 0 0.00 | 205.75/205.89 c | 205.89 | 0 | -987317 lb | 0 0 0.00 | 206.45/206.58 c | 206.58 | 0 | -987316 lb | 0 0 0.00 | 207.15/207.28 c | 207.28 | 0 | -987315 lb | 0 0 0.00 | 207.85/207.98 c | 207.98 | 0 | -987314 lb | 0 0 0.00 | 208.54/208.67 c | 208.67 | 0 | -987313 lb | 0 0 0.00 | 209.24/209.36 c | 209.37 | 0 | -987311 lb | 0 0 0.00 | 209.95/210.04 c | 210.04 | 0 | -987310 lb | 0 0 0.00 | 210.64/210.75 c | 210.75 | 0 | -987308 lb | 0 0 0.00 | 211.34/211.43 c | 211.43 | 0 | -987307 lb | 0 0 0.00 | 212.05/212.10 c | 212.10 | 0 | -987306 lb | 0 0 0.00 | 212.75/212.81 c | 212.82 | 0 | -987305 lb | 0 0 0.00 | 213.45/213.53 c | 213.53 | 0 | -987303 lb | 0 0 0.00 | 214.14/214.23 c | 214.24 | 0 | -987300 lb | 0 0 0.00 | 214.84/214.94 c | 214.94 | 0 | -987299 lb | 0 0 0.00 | 215.55/215.66 c | 215.66 | 0 | -987298 lb | 0 0 0.00 | 216.25/216.37 c | 216.38 | 0 | -987296 lb | 0 0 0.00 | 216.94/217.09 c | 217.09 | 0 | -987295 lb | 0 0 0.00 | 217.65/217.80 c | 217.81 | 0 | -987294 lb | 0 0 0.00 | 218.44/218.52 c | 218.53 | 0 | -987293 lb | 0 0 0.00 | 219.14/219.25 c | 219.25 | 0 | -987292 lb | 0 0 0.00 | 219.85/219.95 c | 219.95 | 0 | -987291 lb | 0 0 0.00 | 220.54/220.66 c | 220.66 | 0 | -987290 lb | 0 0 0.00 | 221.24/221.36 c | 221.37 | 0 | -987289 lb | 0 0 0.00 | 222.05/222.11 c | 222.11 | 0 | -987287 lb | 0 0 0.00 | 222.75/222.82 c | 222.83 | 0 | -987286 lb | 0 0 0.00 | 223.45/223.54 c | 223.55 | 0 | -987284 lb | 0 0 0.00 | 224.14/224.28 c | 224.28 | 0 | -987283 lb | 0 0 0.00 | 224.94/225.00 c | 225.01 | 0 | -987280 lb | 0 0 0.00 | 225.64/225.72 c | 225.72 | 0 | -987279 lb | 0 0 0.00 | 226.34/226.45 c | 226.46 | 0 | -987278 lb | 0 0 0.00 | 227.04/227.17 c | 227.17 | 0 | -987274 lb | 0 0 0.00 | 227.74/227.88 c | 227.88 | 0 | -987273 lb | 0 0 0.00 | 228.44/228.59 c | 228.59 | 0 | -987271 lb | 0 0 0.00 | 229.24/229.31 c | 229.32 | 0 | -987270 lb | 0 0 0.00 | 229.95/230.04 c | 230.04 | 0 | -987269 lb | 0 0 0.00 | 230.64/230.75 c | 230.75 | 0 | -987268 lb | 0 0 0.00 | 231.34/231.46 c | 231.46 | 0 | -987267 lb | 0 0 0.00 | 232.05/232.17 c | 232.18 | 0 | -987266 lb | 0 0 0.00 | 232.84/232.90 c | 232.90 | 0 | -987265 lb | 0 0 0.00 | 233.54/233.61 c | 233.62 | 0 | -987264 lb | 0 0 0.00 | 234.25/234.32 c | 234.32 | 0 | -987263 lb | 0 0 0.00 | 234.94/235.05 c | 235.05 | 0 | -987262 lb | 0 0 0.00 | 235.64/235.78 c | 235.78 | 0 | -987261 lb | 0 0 0.00 | 236.35/236.50 c | 236.50 | 0 | -987260 lb | 0 0 0.00 | 237.14/237.22 c | 237.22 | 0 | -987259 lb | 0 0 0.00 | 237.84/237.94 c | 237.94 | 0 | -987258 lb | 0 0 0.00 | 238.55/238.68 c | 238.69 | 0 | -987257 lb | 0 0 0.00 | 239.34/239.40 c | 239.40 | 0 | -987255 lb | 0 0 0.00 | 240.04/240.13 c | 240.13 | 0 | -987254 lb | 0 0 0.00 | 240.74/240.83 c | 240.83 | 0 | -987252 lb | 0 0 0.00 | 241.44/241.56 c | 241.56 | 0 | -987251 lb | 0 0 0.00 | 242.14/242.29 c | 242.30 | 0 | -987249 lb | 0 0 0.00 | 242.94/243.02 c | 243.03 | 0 | -987248 lb | 0 0 0.00 | 243.64/243.74 c | 243.74 | 0 | -987247 lb | 0 0 0.00 | 244.44/244.50 c | 244.50 | 0 | -987242 lb | 0 0 0.00 | 245.15/245.24 c | 245.24 | 0 | -987240 lb | 0 0 0.00 | 245.84/245.97 c | 245.97 | 0 | -987238 lb | 0 0 0.00 | 246.64/246.72 c | 246.72 | 0 | -987237 lb | 0 0 0.00 | 247.34/247.45 c | 247.46 | 0 | -987234 lb | 0 0 0.00 | 248.04/248.17 c | 248.17 | 0 | -987233 lb | 0 0 0.00 | 248.84/248.93 c | 248.93 | 0 | -987232 lb | 0 0 0.00 | 249.55/249.67 c | 249.67 | 0 | -987227 lb | 0 0 0.00 | 250.24/250.38 c | 250.38 | 0 | -987226 lb | 0 0 0.00 | 251.04/251.11 c | 251.12 | 0 | -987225 lb | 0 0 0.00 | 251.74/251.84 c | 251.84 | 0 | -987224 lb | 0 0 0.00 | 252.43/252.58 c | 252.59 | 0 | -987223 lb | 0 0 0.00 | 253.24/253.30 c | 253.31 | 0 | -987222 lb | 0 0 0.00 | 253.94/254.04 c | 254.04 | 0 | -987221 lb | 0 0 0.00 | 254.64/254.77 c | 254.77 | 0 | -987220 lb | 0 0 0.00 | 255.44/255.52 c | 255.52 | 0 | -987215 lb | 0 0 0.00 | 256.14/256.24 c | 256.25 | 0 | -987214 lb | 0 0 0.00 | 256.83/256.98 c | 256.99 | 0 | -987213 lb | 0 0 0.00 | 257.64/257.72 c | 257.72 | 0 | -987211 lb | 0 0 0.00 | 258.35/258.45 c | 258.46 | 0 | -987210 lb | 0 0 0.00 | 259.04/259.19 c | 259.19 | 0 | -987209 lb | 0 0 0.00 | 259.84/259.93 c | 259.93 | 0 | -987207 lb | 0 0 0.00 | 260.54/260.68 c | 260.68 | 0 | -987205 lb | 0 0 0.00 | 261.34/261.43 c | 261.44 | 0 | -987203 lb | 0 0 0.00 | 262.04/262.18 c | 262.18 | 0 | -987201 lb | 0 0 0.00 | 262.84/262.95 c | 262.95 | 0 | -987200 lb | 0 0 0.00 | 263.53/263.69 c | 263.69 | 0 | -987198 lb | 0 0 0.00 | 264.33/264.44 c | 264.44 | 0 | -987197 lb | 0 0 0.00 | 265.05/265.18 c | 265.18 | 0 | -987196 lb | 0 0 0.00 | 265.84/265.94 c | 265.94 | 0 | -987195 lb | 0 0 0.00 | 266.54/266.69 c | 266.69 | 0 | -987194 lb | 0 0 0.00 | 267.33/267.43 c | 267.44 | 0 | -987193 lb | 0 0 0.00 | 268.03/268.19 c | 268.19 | 0 | -987192 lb | 0 0 0.00 | 268.83/268.93 c | 268.94 | 0 | -987189 lb | 0 0 0.00 | 269.54/269.69 c | 269.69 | 0 | -987188 lb | 0 0 0.00 | 270.33/270.44 c | 270.44 | 0 | -987187 lb | 0 0 0.00 | 271.03/271.18 c | 271.19 | 0 | -987185 lb | 0 0 0.00 | 271.83/271.92 c | 271.92 | 0 | -987184 lb | 0 0 0.00 | 272.54/272.68 c | 272.69 | 0 | -987182 lb | 0 0 0.00 | 273.33/273.48 c | 273.48 | 0 | -987180 lb | 0 0 0.00 | 274.13/274.24 c | 274.25 | 0 | -987178 lb | 0 0 0.00 | 274.94/275.00 c | 275.01 | 0 | -987175 lb | 0 0 0.00 | 275.64/275.77 c | 275.77 | 0 | -987174 lb | 0 0 0.00 | 276.43/276.52 c | 276.52 | 0 | -987173 lb | 0 0 0.00 | 277.14/277.28 c | 277.28 | 0 | -987171 lb | 0 0 0.00 | 277.93/278.04 c | 278.05 | 0 | -987170 lb | 0 0 0.00 | 278.73/278.81 c | 278.81 | 0 | -987169 lb | 0 0 0.00 | 279.44/279.57 c | 279.57 | 0 | -987168 lb | 0 0 0.00 | 280.23/280.34 c | 280.34 | 0 | -987166 lb | 0 0 0.00 | 281.03/281.10 c | 281.10 | 0 | -987163 lb | 0 0 0.00 | 281.73/281.85 c | 281.86 | 0 | -987162 lb | 0 0 0.00 | 282.54/282.62 c | 282.62 | 0 | -987161 lb | 0 0 0.00 | 283.24/283.38 c | 283.39 | 0 | -987160 lb | 0 0 0.00 | 284.03/284.14 c | 284.14 | 0 | -987159 lb | 0 0 0.00 | 284.84/284.91 c | 284.92 | 0 | -987158 lb | 0 0 0.00 | 285.53/285.67 c | 285.67 | 0 | -987157 lb | 0 0 0.00 | 286.33/286.42 c | 286.43 | 0 | -987156 lb | 0 0 0.00 | 287.04/287.19 c | 287.19 | 0 | -987155 lb | 0 0 0.00 | 287.83/287.96 c | 287.96 | 0 | -987154 lb | 0 0 0.00 | 288.64/288.72 c | 288.72 | 0 | -987153 lb | 0 0 0.00 | 289.33/289.49 c | 289.49 | 0 | -987152 lb | 0 0 0.00 | 290.13/290.26 c | 290.27 | 0 | -987151 lb | 0 0 0.00 | 290.93/291.03 c | 291.04 | 0 | -987150 lb | 0 0 0.00 | 291.63/291.79 c | 291.80 | 0 | -987148 lb | 0 0 0.00 | 292.44/292.57 c | 292.57 | 0 | -987147 lb | 0 0 0.00 | 293.23/293.34 c | 293.34 | 0 | -987144 lb | 0 0 0.00 | 294.04/294.10 c | 294.11 | 0 | -987143 lb | 0 0 0.00 | 294.74/294.87 c | 294.88 | 0 | -987142 lb | 0 0 0.00 | 295.54/295.64 c | 295.65 | 0 | -987141 lb | 0 0 0.00 | 296.33/296.43 c | 296.43 | 0 | -987140 lb | 0 0 0.00 | 297.13/297.20 c | 297.20 | 0 | -987139 lb | 0 0 0.00 | 297.83/297.97 c | 297.97 | 0 | -987137 lb | 0 0 0.00 | 298.64/298.75 c | 298.75 | 0 | -987134 lb | 0 0 0.00 | 299.43/299.53 c | 299.54 | 0 | -987131 lb | 0 0 0.00 | 300.24/300.30 c | 300.31 | 0 | -987130 lb | 0 0 0.00 | 300.93/301.09 c | 301.10 | 0 | -987128 lb | 0 0 0.00 | 301.83/301.91 c | 301.91 | 0 | -987127 lb | 0 0 0.00 | 302.52/302.69 c | 302.70 | 0 | -987124 lb | 0 0 0.00 | 303.33/303.47 c | 303.48 | 0 | -987123 lb | 0 0 0.00 | 304.13/304.26 c | 304.26 | 0 | -987120 lb | 0 0 0.00 | 304.92/305.05 c | 305.05 | 0 | -987119 lb | 0 0 0.00 | 305.73/305.83 c | 305.83 | 0 | -987118 lb | 0 0 0.00 | 306.43/306.59 c | 306.59 | 0 | -987117 lb | 0 0 0.00 | 307.23/307.37 c | 307.38 | 0 | -987116 lb | 0 0 0.00 | 308.02/308.17 c | 308.17 | 0 | -987114 lb | 0 0 0.00 | 308.83/308.97 c | 308.97 | 0 | -987112 lb | 0 0 0.00 | 309.63/309.75 c | 309.76 | 0 | -987111 lb | 0 0 0.00 | 310.43/310.55 c | 310.55 | 0 | -987110 lb | 0 0 0.00 | 311.24/311.35 c | 311.35 | 0 | -987109 lb | 0 0 0.00 | 312.03/312.13 c | 312.14 | 0 | -987108 lb | 0 0 0.00 | 312.83/312.97 c | 312.97 | 0 | -987107 lb | 0 0 0.00 | 313.63/313.76 c | 313.76 | 0 | -987106 lb | 0 0 0.00 | 314.43/314.54 c | 314.54 | 0 | -987105 lb | 0 0 0.00 | 315.22/315.32 c | 315.32 | 0 | -987104 lb | 0 0 0.00 | 316.03/316.11 c | 316.11 | 0 | -987102 lb | 0 0 0.00 | 316.83/316.91 c | 316.91 | 0 | -987101 lb | 0 0 0.00 | 317.63/317.71 c | 317.71 | 0 | -987100 lb | 0 0 0.00 | 318.42/318.51 c | 318.51 | 0 | -987097 lb | 0 0 0.00 | 319.23/319.32 c | 319.33 | 0 | -987096 lb | 0 0 0.00 | 320.03/320.10 c | 320.11 | 0 | -987094 lb | 0 0 0.00 | 320.73/320.88 c | 320.88 | 0 | -987092 lb | 0 0 0.00 | 321.62/321.70 c | 321.70 | 0 | -987091 lb | 0 0 0.00 | 322.32/322.49 c | 322.49 | 0 | -987090 lb | 0 0 0.00 | 323.24/323.31 c | 323.31 | 0 | -987089 lb | 0 0 0.00 | 324.02/324.10 c | 324.11 | 0 | -987088 lb | 0 0 0.00 | 324.82/324.92 c | 324.92 | 0 | -987087 lb | 0 0 0.00 | 325.63/325.72 c | 325.73 | 0 | -987085 lb | 0 0 0.00 | 326.42/326.51 c | 326.51 | 0 | -987084 lb | 0 0 0.00 | 327.22/327.31 c | 327.31 | 0 | -987083 lb | 0 0 0.00 | 328.03/328.11 c | 328.11 | 0 | -987082 lb | 0 0 0.00 | 328.73/328.89 c | 328.90 | 0 | -987081 lb | 0 0 0.00 | 329.52/329.69 c | 329.69 | 0 | -987080 lb | 0 0 0.00 | 330.32/330.48 c | 330.48 | 0 | -987078 lb | 0 0 0.00 | 331.12/331.28 c | 331.29 | 0 | -987076 lb | 0 0 0.00 | 331.93/332.07 c | 332.07 | 0 | -987075 lb | 0 0 0.00 | 332.82/332.90 c | 332.91 | 0 | -987074 lb | 0 0 0.00 | 333.53/333.68 c | 333.68 | 0 | -987073 lb | 0 0 0.00 | 334.33/334.49 c | 334.49 | 0 | -987072 lb | 0 0 0.00 | 335.13/335.29 c | 335.29 | 0 | -987071 lb | 0 0 0.00 | 335.92/336.09 c | 336.10 | 0 | -987070 lb | 0 0 0.00 | 336.72/336.89 c | 336.89 | 0 | -987069 lb | 0 0 0.00 | 337.53/337.70 c | 337.70 | 0 | -987067 lb | 0 0 0.00 | 338.42/338.54 c | 338.54 | 0 | -987066 lb | 0 0 0.00 | 339.22/339.35 c | 339.35 | 0 | -987065 lb | 0 0 0.00 | 340.02/340.17 c | 340.17 | 0 | -987064 lb | 0 0 0.00 | 340.83/340.97 c | 340.97 | 0 | -987063 lb | 0 0 0.00 | 341.72/341.80 c | 341.80 | 0 | -987061 lb | 0 0 0.00 | 342.52/342.61 c | 342.61 | 0 | -987060 lb | 0 0 0.00 | 343.32/343.42 c | 343.42 | 0 | -987057 lb | 0 0 0.00 | 344.12/344.25 c | 344.25 | 0 | -987056 lb | 0 0 0.00 | 344.92/345.06 c | 345.06 | 0 | -987054 lb | 0 0 0.00 | 345.72/345.87 c | 345.87 | 0 | -987053 lb | 0 0 0.00 | 346.62/346.70 c | 346.70 | 0 | -987052 lb | 0 0 0.00 | 347.43/347.51 c | 347.52 | 0 | -987049 lb | 0 0 0.00 | 348.22/348.32 c | 348.32 | 0 | -987047 lb | 0 0 0.00 | 349.02/349.13 c | 349.13 | 0 | -987044 lb | 0 0 0.00 | 349.82/349.94 c | 349.94 | 0 | -987043 lb | 0 0 0.00 | 350.62/350.79 c | 350.80 | 0 | -987042 lb | 0 0 0.00 | 351.52/351.61 c | 351.62 | 0 | -987041 lb | 0 0 0.00 | 352.32/352.41 c | 352.41 | 0 | -987040 lb | 0 0 0.00 | 353.12/353.21 c | 353.22 | 0 | -987039 lb | 0 0 0.00 | 353.91/354.03 c | 354.03 | 0 | -987038 lb | 0 0 0.00 | 354.71/354.81 c | 354.81 | 0 | -987036 lb | 0 0 0.00 | 355.51/355.64 c | 355.64 | 0 | -987035 lb | 0 0 0.00 | 356.33/356.46 c | 356.47 | 0 | -987034 lb | 0 0 0.00 | 357.12/357.28 c | 357.28 | 0 | -987033 lb | 0 0 0.00 | 358.02/358.10 c | 358.11 | 0 | -987032 lb | 0 0 0.00 | 358.81/358.93 c | 358.93 | 0 | -987031 lb | 0 0 0.00 | 359.62/359.75 c | 359.76 | 0 | -987030 lb | 0 0 0.00 | 360.41/360.59 c | 360.59 | 0 | -987025 lb | 0 0 0.00 | 361.32/361.41 c | 361.42 | 0 | -987024 lb | 0 0 0.00 | 362.11/362.25 c | 362.25 | 0 | -987023 lb | 0 0 0.00 | 362.92/363.08 c | 363.08 | 0 | -987022 lb | 0 0 0.00 | 363.81/363.90 c | 363.90 | 0 | -987021 lb | 0 0 0.00 | 364.62/364.75 c | 364.75 | 0 | -987018 lb | 0 0 0.00 | 365.42/365.59 c | 365.59 | 0 | -987017 lb | 0 0 0.00 | 366.32/366.42 c | 366.43 | 0 | -987016 lb | 0 0 0.00 | 367.12/367.26 c | 367.26 | 0 | -987015 lb | 0 0 0.00 | 368.01/368.10 c | 368.11 | 0 | -987014 lb | 0 0 0.00 | 368.81/368.96 c | 368.96 | 0 | -987013 lb | 0 0 0.00 | 369.62/369.78 c | 369.79 | 0 | -987012 lb | 0 0 0.00 | 370.52/370.63 c | 370.63 | 0 | -987010 lb | 0 0 0.00 | 371.31/371.45 c | 371.46 | 0 | -987008 lb | 0 0 0.00 | 372.12/372.29 c | 372.29 | 0 | -987007 lb | 0 0 0.00 | 373.01/373.11 c | 373.11 | 0 | -987006 lb | 0 0 0.00 | 373.82/373.94 c | 373.94 | 0 | -987005 lb | 0 0 0.00 | 374.72/374.80 c | 374.80 | 0 | -987004 lb | 0 0 0.00 | 375.51/375.64 c | 375.65 | 0 | -987003 lb | 0 0 0.00 | 376.32/376.48 c | 376.49 | 0 | -987002 lb | 0 0 0.00 | 377.22/377.33 c | 377.33 | 0 | -987001 lb | 0 0 0.00 | 378.01/378.18 c | 378.19 | 0 | -987000 lb | 0 0 0.00 | 378.91/379.01 c | 379.02 | 0 | -986999 lb | 0 0 0.00 | 379.71/379.87 c | 379.88 | 0 | -986998 lb | 0 0 0.00 | 380.61/380.71 c | 380.71 | 0 | -986997 lb | 0 0 0.00 | 381.41/381.54 c | 381.55 | 0 | -986995 lb | 0 0 0.00 | 382.21/382.38 c | 382.38 | 0 | -986994 lb | 0 0 0.00 | 383.12/383.25 c | 383.26 | 0 | -986993 lb | 0 0 0.00 | 384.01/384.12 c | 384.13 | 0 | -986992 lb | 0 0 0.00 | 384.81/385.00 c | 385.00 | 0 | -986991 lb | 0 0 0.00 | 385.71/385.84 c | 385.85 | 0 | -986988 lb | 0 0 0.00 | 386.51/386.69 c | 386.70 | 0 | -986987 lb | 0 0 0.00 | 387.41/387.56 c | 387.56 | 0 | -986986 lb | 0 0 0.00 | 388.31/388.43 c | 388.43 | 0 | -986985 lb | 0 0 0.00 | 389.11/389.27 c | 389.28 | 0 | -986984 lb | 0 0 0.00 | 390.01/390.14 c | 390.14 | 0 | -986983 lb | 0 0 0.00 | 390.81/390.99 c | 391.00 | 0 | -986979 lb | 0 0 0.00 | 391.71/391.85 c | 391.86 | 0 | -986978 lb | 0 0 0.00 | 392.61/392.72 c | 392.72 | 0 | -986976 lb | 0 0 0.00 | 393.51/393.61 c | 393.61 | 0 | -986975 lb | 0 0 0.00 | 394.31/394.47 c | 394.47 | 0 | -986973 lb | 0 0 0.00 | 395.21/395.34 c | 395.34 | 0 | -986971 lb | 0 0 0.00 | 396.01/396.19 c | 396.19 | 0 | -986970 lb | 0 0 0.00 | 396.92/397.05 c | 397.05 | 0 | -986969 lb | 0 0 0.00 | 397.81/397.91 c | 397.92 | 0 | -986968 lb | 0 0 0.00 | 398.61/398.78 c | 398.78 | 0 | -986967 lb | 0 0 0.00 | 399.51/399.65 c | 399.65 | 0 | -986966 lb | 0 0 0.00 | 400.41/400.51 c | 400.51 | 0 | -986965 lb | 0 0 0.00 | 401.21/401.36 c | 401.37 | 0 | -986964 lb | 0 0 0.00 | 402.11/402.22 c | 402.23 | 0 | -986962 lb | 0 0 0.00 | 402.91/403.09 c | 403.10 | 0 | -986961 lb | 0 0 0.00 | 403.81/403.96 c | 403.96 | 0 | -986958 lb | 0 0 0.00 | 404.71/404.88 c | 404.88 | 0 | -986957 lb | 0 0 0.00 | 405.61/405.75 c | 405.75 | 0 | -986954 lb | 0 0 0.00 | 406.51/406.63 c | 406.63 | 0 | -986953 lb | 0 0 0.00 | 407.31/407.49 c | 407.49 | 0 | -986952 lb | 0 0 0.00 | 408.21/408.35 c | 408.35 | 0 | -986951 lb | 0 0 0.00 | 409.12/409.22 c | 409.22 | 0 | -986949 lb | 0 0 0.00 | 409.91/410.08 c | 410.08 | 0 | -986948 lb | 0 0 0.00 | 410.80/410.98 c | 410.98 | 0 | -986945 lb | 0 0 0.00 | 411.71/411.85 c | 411.86 | 0 | -986944 lb | 0 0 0.00 | 412.61/412.72 c | 412.72 | 0 | -986943 lb | 0 0 0.00 | 413.41/413.60 c | 413.60 | 0 | -986941 lb | 0 0 0.00 | 414.31/414.48 c | 414.48 | 0 | -986940 lb | 0 0 0.00 | 415.21/415.35 c | 415.36 | 0 | -986939 lb | 0 0 0.00 | 416.11/416.26 c | 416.26 | 0 | -986938 lb | 0 0 0.00 | 417.01/417.17 c | 417.18 | 0 | -986937 lb | 0 0 0.00 | 417.91/418.06 c | 418.07 | 0 | -986936 lb | 0 0 0.00 | 418.81/418.94 c | 418.95 | 0 | -986934 lb | 0 0 0.00 | 419.70/419.82 c | 419.82 | 0 | -986933 lb | 0 0 0.00 | 420.51/420.70 c | 420.70 | 0 | -986932 lb | 0 0 0.00 | 421.40/421.57 c | 421.57 | 0 | -986931 lb | 0 0 0.00 | 422.31/422.45 c | 422.46 | 0 | -986929 lb | 0 0 0.00 | 423.20/423.33 c | 423.33 | 0 | -986928 lb | 0 0 0.00 | 424.10/424.20 c | 424.20 | 0 | -986925 lb | 0 0 0.00 | 424.90/425.09 c | 425.10 | 0 | -986923 lb | 0 0 0.00 | 425.81/426.00 c | 426.00 | 0 | -986921 lb | 0 0 0.00 | 426.71/426.87 c | 426.88 | 0 | -986920 lb | 0 0 0.00 | 427.60/427.76 c | 427.76 | 0 | -986919 lb | 0 0 0.00 | 428.50/428.64 c | 428.64 | 0 | -986918 lb | 0 0 0.00 | 429.41/429.53 c | 429.53 | 0 | -986917 lb | 0 0 0.00 | 430.30/430.40 c | 430.41 | 0 | -986916 lb | 0 0 0.00 | 431.11/431.28 c | 431.28 | 0 | -986915 lb | 0 0 0.00 | 432.00/432.18 c | 432.19 | 0 | -986914 lb | 0 0 0.00 | 432.90/433.07 c | 433.07 | 0 | -986913 lb | 0 0 0.00 | 433.81/433.94 c | 433.94 | 0 | -986912 lb | 0 0 0.00 | 434.71/434.86 c | 434.86 | 0 | -986909 lb | 0 0 0.00 | 435.60/435.73 c | 435.74 | 0 | -986907 lb | 0 0 0.00 | 436.51/436.62 c | 436.62 | 0 | -986906 lb | 0 0 0.00 | 437.30/437.49 c | 437.49 | 0 | -986904 lb | 0 0 0.00 | 438.20/438.38 c | 438.38 | 0 | -986903 lb | 0 0 0.00 | 439.10/439.28 c | 439.29 | 0 | -986902 lb | 0 0 0.00 | 440.00/440.18 c | 440.18 | 0 | -986901 lb | 0 0 0.00 | 440.91/441.08 c | 441.08 | 0 | -986897 lb | 0 0 0.00 | 441.80/441.97 c | 441.98 | 0 | -986895 lb | 0 0 0.00 | 442.80/442.90 c | 442.90 | 0 | -986893 lb | 0 0 0.00 | 443.70/443.82 c | 443.82 | 0 | -986892 lb | 0 0 0.00 | 444.60/444.72 c | 444.72 | 0 | -986891 lb | 0 0 0.00 | 445.50/445.62 c | 445.62 | 0 | -986890 lb | 0 0 0.00 | 446.41/446.50 c | 446.51 | 0 | -986887 lb | 0 0 0.00 | 447.30/447.42 c | 447.43 | 0 | -986886 lb | 0 0 0.00 | 448.20/448.33 c | 448.33 | 0 | -986885 lb | 0 0 0.00 | 449.10/449.27 c | 449.28 | 0 | -986883 lb | 0 0 0.00 | 450.00/450.19 c | 450.20 | 0 | -986882 lb | 0 0 0.00 | 451.00/451.13 c | 451.13 | 0 | -986881 lb | 0 0 0.00 | 451.90/452.03 c | 452.03 | 0 | -986880 lb | 0 0 0.00 | 452.80/452.94 c | 452.94 | 0 | -986878 lb | 0 0 0.00 | 453.70/453.84 c | 453.85 | 0 | -986877 lb | 0 0 0.00 | 454.60/454.74 c | 454.75 | 0 | -986874 lb | 0 0 0.00 | 455.50/455.65 c | 455.65 | 0 | -986873 lb | 0 0 0.00 | 456.41/456.55 c | 456.55 | 0 | -986872 lb | 0 0 0.00 | 457.30/457.47 c | 457.47 | 0 | -986868 lb | 0 0 0.00 | 458.30/458.40 c | 458.40 | 0 | -986866 lb | 0 0 0.00 | 459.20/459.34 c | 459.34 | 0 | -986865 lb | 0 0 0.00 | 460.10/460.28 c | 460.29 | 0 | -986863 lb | 0 0 0.00 | 461.10/461.22 c | 461.23 | 0 | -986862 lb | 0 0 0.00 | 462.00/462.12 c | 462.13 | 0 | -986861 lb | 0 0 0.00 | 462.90/463.04 c | 463.05 | 0 | -986860 lb | 0 0 0.00 | 463.80/463.95 c | 463.95 | 0 | -986858 lb | 0 0 0.00 | 464.70/464.85 c | 464.85 | 0 | -986857 lb | 0 0 0.00 | 465.60/465.75 c | 465.75 | 0 | -986856 lb | 0 0 0.00 | 466.50/466.67 c | 466.68 | 0 | -986853 lb | 0 0 0.00 | 467.40/467.58 c | 467.59 | 0 | -986852 lb | 0 0 0.00 | 468.40/468.52 c | 468.53 | 0 | -986851 lb | 0 0 0.00 | 469.29/469.42 c | 469.43 | 0 | -986850 lb | 0 0 0.00 | 470.19/470.35 c | 470.35 | 0 | -986849 lb | 0 0 0.00 | 471.09/471.29 c | 471.29 | 0 | -986848 lb | 0 0 0.00 | 472.09/472.22 c | 472.23 | 0 | -986847 lb | 0 0 0.00 | 472.99/473.14 c | 473.14 | 0 | -986845 lb | 0 0 0.00 | 473.91/474.06 c | 474.06 | 0 | -986843 lb | 0 0 0.00 | 474.90/475.01 c | 475.01 | 0 | -986841 lb | 0 0 0.00 | 475.80/475.94 c | 475.94 | 0 | -986840 lb | 0 0 0.00 | 476.69/476.86 c | 476.87 | 0 | -986839 lb | 0 0 0.00 | 477.59/477.79 c | 477.79 | 0 | -986836 lb | 0 0 0.00 | 478.60/478.75 c | 478.76 | 0 | -986834 lb | 0 0 0.00 | 479.59/479.71 c | 479.71 | 0 | -986833 lb | 0 0 0.00 | 480.50/480.67 c | 480.68 | 0 | -986831 lb | 0 0 0.00 | 481.49/481.63 c | 481.63 | 0 | -986829 lb | 0 0 0.00 | 482.39/482.57 c | 482.57 | 0 | -986828 lb | 0 0 0.00 | 483.39/483.52 c | 483.52 | 0 | -986827 lb | 0 0 0.00 | 484.29/484.44 c | 484.44 | 0 | -986825 lb | 0 0 0.00 | 485.20/485.39 c | 485.39 | 0 | -986824 lb | 0 0 0.00 | 486.19/486.31 c | 486.32 | 0 | -986821 lb | 0 0 0.00 | 487.20/487.30 c | 487.31 | 0 | -986820 lb | 0 0 0.00 | 488.09/488.24 c | 488.24 | 0 | -986819 lb | 0 0 0.00 | 488.99/489.18 c | 489.18 | 0 | -986816 lb | 0 0 0.00 | 489.99/490.11 c | 490.11 | 0 | -986815 lb | 0 0 0.00 | 490.89/491.08 c | 491.09 | 0 | -986814 lb | 0 0 0.00 | 491.88/492.05 c | 492.06 | 0 | -986813 lb | 0 0 0.00 | 492.79/492.98 c | 492.99 | 0 | -986812 lb | 0 0 0.00 | 493.80/493.93 c | 493.94 | 0 | -986810 lb | 0 0 0.00 | 494.68/494.86 c | 494.87 | 0 | -986809 lb | 0 0 0.00 | 495.69/495.81 c | 495.82 | 0 | -986808 lb | 0 0 0.00 | 496.59/496.75 c | 496.75 | 0 | -986807 lb | 0 0 0.00 | 507.69/507.84 c | 507.84 | 0 | -986806 lb | 0 0 0.00 | 517.78/517.96 c | 517.96 | 0 | -986805 lb | 0 0 0.00 | 527.79/527.90 c | 527.91 | 0 | -986804 lb | 0 0 0.00 | 537.37/537.57 c | 537.58 | 0 | -986803 lb | 0 0 0.00 | 547.18/547.38 c | 547.39 | 0 | -986802 lb | 0 0 0.00 | 557.07/557.27 c | 557.27 | 0 | -986801 lb | 0 0 0.00 | 566.87/567.01 c | 567.01 | 0 | -986800 lb | 0 0 0.00 | 576.27/576.49 c | 576.49 | 0 | -986799 lb | 0 0 0.00 | 585.86/586.03 c | 586.04 | 0 | -986798 lb | 0 0 0.00 | 595.26/595.44 c | 595.44 | 0 | -986797 lb | 0 0 0.00 | 604.87/605.05 c | 605.06 | 0 | -986796 lb | 0 0 0.00 | 614.26/614.46 c | 614.47 | 0 | -986795 lb | 0 0 0.00 | 623.75/623.95 c | 623.96 | 0 | -986794 lb | 0 0 0.00 | 633.06/633.27 c | 633.27 | 0 | -986792 lb | 0 0 0.00 | 642.45/642.69 c | 642.70 | 0 | -986791 lb | 0 0 0.00 | 651.95/652.13 c | 652.13 | 0 | -986790 lb | 0 0 0.00 | 661.35/661.52 c | 661.52 | 0 | -986787 lb | 0 0 0.00 | 670.76/670.98 c | 670.98 | 0 | -986786 lb | 0 0 0.00 | 680.05/680.28 c | 680.28 | 0 | -986785 lb | 0 0 0.00 | 689.35/689.50 c | 689.51 | 0 | -986784 lb | 0 0 0.00 | 698.54/698.73 c | 698.73 | 0 | -986783 lb | 0 0 0.00 | 707.64/707.80 c | 707.80 | 0 | -986782 lb | 0 0 0.00 | 716.74/716.93 c | 716.93 | 0 | -986781 lb | 0 0 0.00 | 725.75/725.98 c | 725.98 | 0 | -986780 lb | 0 0 0.00 | 734.73/734.95 c | 734.95 | 0 | -986779 lb | 0 0 0.00 | 743.54/743.79 c | 743.80 | 0 | -986778 lb | 0 0 0.00 | 752.54/752.75 c | 752.76 | 0 | -986777 lb | 0 0 0.00 | 761.43/761.69 c | 761.69 | 0 | -986776 lb | 0 0 0.00 | 770.33/770.54 c | 770.54 | 0 | -986775 lb | 0 0 0.00 | 779.13/779.33 c | 779.33 | 0 | -986774 lb | 0 0 0.00 | 787.93/788.19 c | 788.20 | 0 | -986773 lb | 0 0 0.00 | 796.63/796.86 c | 796.86 | 0 | -986772 lb | 0 0 0.00 | 805.53/805.70 c | 805.70 | 0 | -986771 lb | 0 0 0.00 | 814.23/814.43 c | 814.44 | 0 | -986770 lb | 0 0 0.00 | 823.02/823.27 c | 823.27 | 0 | -986769 lb | 0 0 0.00 | 831.72/831.94 c | 831.94 | 0 | -986768 lb | 0 0 0.00 | 840.52/840.72 c | 840.72 | 0 | -986767 lb | 0 0 0.00 | 849.12/849.36 c | 849.36 | 0 | -986766 lb | 0 0 0.00 | 857.82/858.04 c | 858.04 | 0 | -986765 lb | 0 0 0.00 | 866.42/866.69 c | 866.69 | 0 | -986764 lb | 0 0 0.00 | 874.91/875.15 c | 875.15 | 0 | -986763 lb | 0 0 0.00 | 883.32/883.57 c | 883.57 | 0 | -986762 lb | 0 0 0.00 | 892.01/892.24 c | 892.25 | 0 | -986761 lb | 0 0 0.00 | 900.41/900.64 c | 900.65 | 0 | -986760 lb | 0 0 0.00 | 908.91/909.10 c | 909.10 | 0 | -986759 lb | 0 0 0.00 | 917.12/917.37 c | 917.38 | 0 | -986758 lb | 0 0 0.00 | 925.51/925.74 c | 925.74 | 0 | -986757 lb | 0 0 0.00 | 933.90/934.18 c | 934.18 | 0 | -986756 lb | 0 0 0.00 | 942.10/942.37 c | 942.38 | 0 | -986755 lb | 0 0 0.00 | 950.40/950.66 c | 950.66 | 0 | -986754 lb | 0 0 0.00 | 958.50/958.78 c | 958.79 | 0 | -986753 lb | 0 0 0.00 | 966.60/966.82 c | 966.83 | 0 | -986752 lb | 0 0 0.00 | 974.60/974.85 c | 974.86 | 0 | -986751 lb | 0 0 0.00 | 982.69/982.93 c | 982.93 | 0 | -986750 lb | 0 0 0.00 | 990.70/990.94 c | 990.94 | 0 | -986749 lb | 0 0 0.00 | 998.61/998.89 c | 998.89 | 0 | -986748 lb | 0 0 0.00 | 1006.60/1006.82 c | 1006.82 | 0 | -986747 lb | 0 0 0.00 | 1014.59/1014.80 c | 1014.80 | 0 | -986746 lb | 0 0 0.00 | 1022.49/1022.75 c | 1022.75 | 0 | -986745 lb | 0 0 0.00 | 1030.40/1030.62 c | 1030.63 | 0 | -986744 lb | 0 0 0.00 | 1038.29/1038.54 c | 1038.54 | 0 | -986743 lb | 0 0 0.00 | 1046.08/1046.38 c | 1046.38 | 0 | -986742 lb | 0 0 0.00 | 1054.19/1054.41 c | 1054.41 | 0 | -986741 lb | 0 0 0.00 | 1061.98/1062.26 c | 1062.26 | 0 | -986740 lb | 0 0 0.00 | 1069.89/1070.14 c | 1070.14 | 0 | -986739 lb | 0 0 0.00 | 1077.69/1077.90 c | 1077.91 | 0 | -986738 lb | 0 0 0.00 | 1085.39/1085.66 c | 1085.66 | 0 | -986737 lb | 0 0 0.00 | 1093.09/1093.35 c | 1093.35 | 0 | -986736 lb | 0 0 0.00 | 1100.68/1100.92 c | 1100.92 | 0 | -986735 lb | 0 0 0.00 | 1108.28/1108.51 c | 1108.52 | 0 | -986734 lb | 0 0 0.00 | 1115.88/1116.12 c | 1116.13 | 0 | -986733 lb | 0 0 0.00 | 1123.47/1123.72 c | 1123.72 | 0 | -986732 lb | 0 0 0.00 | 1131.07/1131.36 c | 1131.36 | 0 | -986731 lb | 0 0 0.00 | 1138.78/1139.05 c | 1139.05 | 0 | -986730 lb | 0 0 0.00 | 1146.38/1146.64 c | 1146.64 | 0 | -986729 lb | 0 0 0.00 | 1154.87/1155.11 c | 1155.11 | 0 | -986728 lb | 0 0 0.00 | 1164.16/1164.40 c | 1164.41 | 0 | -986727 lb | 0 0 0.00 | 1171.57/1171.84 c | 1171.84 | 0 | -986726 lb | 0 0 0.00 | 1179.07/1179.30 c | 1179.30 | 0 | -986725 lb | 0 0 0.00 | 1186.46/1186.75 c | 1186.75 | 0 | -986724 lb | 0 0 0.00 | 1193.87/1194.12 c | 1194.12 | 0 | -986723 lb | 0 0 0.00 | 1201.26/1201.53 c | 1201.53 | 0 | -986722 lb | 0 0 0.00 | 1208.76/1209.08 c | 1209.08 | 0 | -986721 lb | 0 0 0.00 | 1216.16/1216.44 c | 1216.44 | 0 | -986720 lb | 0 0 0.00 | 1223.46/1223.72 c | 1223.72 | 0 | -986719 lb | 0 0 0.00 | 1230.76/1231.03 c | 1231.04 | 0 | -986718 lb | 0 0 0.00 | 1237.96/1238.25 c | 1238.26 | 0 | -986717 lb | 0 0 0.00 | 1245.16/1245.41 c | 1245.41 | 0 | -986716 lb | 0 0 0.00 | 1252.26/1252.56 c | 1252.57 | 0 | -986715 lb | 0 0 0.00 | 1259.35/1259.66 c | 1259.67 | 0 | -986714 lb | 0 0 0.00 | 1266.56/1266.83 c | 1266.83 | 0 | -986713 lb | 0 0 0.00 | 1274.16/1274.47 c | 1274.47 | 0 | -986712 lb | 0 0 0.00 | 1281.26/1281.55 c | 1281.56 | 0 | -986711 lb | 0 0 0.00 | 1288.35/1288.62 c | 1288.63 | 0 | -986710 lb | 0 0 0.00 | 1295.35/1295.68 c | 1295.68 | 0 | -986709 lb | 0 0 0.00 | 1302.45/1302.78 c | 1302.78 | 0 | -986708 lb | 0 0 0.00 | 1309.54/1309.86 c | 1309.86 | 0 | -986707 lb | 0 0 0.00 | 1316.65/1316.90 c | 1316.91 | 0 | -986706 lb | 0 0 0.00 | 1323.65/1323.94 c | 1323.94 | 0 | -986705 lb | 0 0 0.00 | 1330.54/1330.86 c | 1330.87 | 0 | -986704 lb | 0 0 0.00 | 1337.64/1337.90 c | 1337.90 | 0 | -986703 lb | 0 0 0.00 | 1344.54/1344.80 c | 1344.81 | 0 | -986702 lb | 0 0 0.00 | 1351.34/1351.68 c | 1351.68 | 0 | -986701 lb | 0 0 0.00 | 1358.14/1358.50 c | 1358.50 | 0 | -986700 lb | 0 0 0.00 | 1364.84/1365.15 c | 1365.16 | 0 | -986699 lb | 0 0 0.00 | 1371.64/1371.98 c | 1371.98 | 0 | -986698 lb | 0 0 0.00 | 1378.44/1378.70 c | 1378.70 | 0 | -986697 lb | 0 0 0.00 | 1385.23/1385.54 c | 1385.54 | 0 | -986696 lb | 0 0 0.00 | 1391.93/1392.29 c | 1392.29 | 0 | -986695 lb | 0 0 0.00 | 1398.94/1399.29 c | 1399.29 | 0 | -986694 lb | 0 0 0.00 | 1405.74/1406.07 c | 1406.07 | 0 | -986693 lb | 0 0 0.00 | 1412.53/1412.81 c | 1412.82 | 0 | -986692 lb | 0 0 0.00 | 1419.33/1419.61 c | 1419.61 | 0 | -986691 lb | 0 0 0.00 | 1425.93/1426.22 c | 1426.22 | 0 | -986690 lb | 0 0 0.00 | 1432.63/1432.94 c | 1432.95 | 0 | -986689 lb | 0 0 0.00 | 1439.32/1439.63 c | 1439.63 | 0 | -986688 lb | 0 0 0.00 | 1446.13/1446.41 c | 1446.41 | 0 | -986687 lb | 0 0 0.00 | 1452.73/1453.00 c | 1453.01 | 0 | -986686 lb | 0 0 0.00 | 1460.02/1460.37 c | 1460.38 | 0 | -986685 lb | 0 0 0.00 | 1466.63/1466.99 c | 1467.00 | 0 | -986684 lb | 0 0 0.00 | 1473.22/1473.52 c | 1473.52 | 0 | -986683 lb | 0 0 0.00 | 1479.62/1479.97 c | 1479.98 | 0 | -986682 lb | 0 0 0.00 | 1486.32/1486.61 c | 1486.62 | 0 | -986681 lb | 0 0 0.00 | 1492.82/1493.10 c | 1493.10 | 0 | -986680 lb | 0 0 0.00 | 1499.41/1499.72 c | 1499.73 | 0 | -986679 lb | 0 0 0.00 | 1505.81/1506.13 c | 1506.14 | 0 | -986678 lb | 0 0 0.00 | 1512.32/1512.61 c | 1512.62 | 0 | -986677 lb | 0 0 0.00 | 1518.72/1519.01 c | 1519.02 | 0 | -986676 lb | 0 0 0.00 | 1524.81/1525.16 c | 1525.16 | 0 | -986675 lb | 0 0 0.00 | 1531.21/1531.57 c | 1531.58 | 0 | -986674 lb | 0 0 0.00 | 1537.52/1537.86 c | 1537.86 | 0 | -986673 lb | 0 0 0.00 | 1543.81/1544.11 c | 1544.12 | 0 | -986672 lb | 0 0 0.00 | 1550.01/1550.32 c | 1550.33 | 0 | -986671 lb | 0 0 0.00 | 1556.31/1556.68 c | 1556.69 | 0 | -986670 lb | 0 0 0.00 | 1562.51/1562.86 c | 1562.86 | 0 | -986669 lb | 0 0 0.00 | 1568.81/1569.12 c | 1569.12 | 0 | -986668 lb | 0 0 0.00 | 1575.01/1575.31 c | 1575.31 | 0 | -986667 lb | 0 0 0.00 | 1580.90/1581.28 c | 1581.29 | 0 | -986666 lb | 0 0 0.00 | 1587.01/1587.38 c | 1587.39 | 0 | -986665 lb | 0 0 0.00 | 1593.20/1593.58 c | 1593.58 | 0 | -986664 lb | 0 0 0.00 | 1599.30/1599.62 c | 1599.62 | 0 | -986663 lb | 0 0 0.00 | 1605.60/1605.91 c | 1605.91 | 0 | -986662 lb | 0 0 0.00 | 1611.60/1611.98 c | 1611.99 | 0 | -986661 lb | 0 0 0.00 | 1617.71/1618.05 c | 1618.05 | 0 | -986660 lb | 0 0 0.00 | 1623.80/1624.17 c | 1624.17 | 0 | -986659 lb | 0 0 0.00 | 1629.90/1630.22 c | 1630.23 | 0 | -986658 lb | 0 0 0.00 | 1635.99/1636.38 c | 1636.38 | 0 | -986657 lb | 0 0 0.00 | 1642.20/1642.59 c | 1642.59 | 0 | -986656 lb | 0 0 0.00 | 1648.40/1648.80 c | 1648.80 | 0 | -986655 lb | 0 0 0.00 | 1654.39/1654.74 c | 1654.74 | 0 | -986654 lb | 0 0 0.00 | 1660.39/1660.77 c | 1660.77 | 0 | -986653 lb | 0 0 0.00 | 1666.39/1666.73 c | 1666.73 | 0 | -986652 lb | 0 0 0.00 | 1672.28/1672.64 c | 1672.64 | 0 | -986651 lb | 0 0 0.00 | 1678.29/1678.67 c | 1678.67 | 0 | -986650 lb | 0 0 0.00 | 1684.18/1684.53 c | 1684.54 | 0 | -986649 lb | 0 0 0.00 | 1690.09/1690.41 c | 1690.42 | 0 | -986648 lb | 0 0 0.00 | 1695.98/1696.34 c | 1696.34 | 0 | -986647 lb | 0 0 0.00 | 1701.99/1702.38 c | 1702.38 | 0 | -986646 lb | 0 0 0.00 | 1707.89/1708.26 c | 1708.27 | 0 | -986645 lb | 0 0 0.00 | 1713.88/1714.20 c | 1714.20 | 0 | -986644 lb | 0 0 0.00 | 1719.68/1720.01 c | 1720.02 | 0 | -986643 lb | 0 0 0.00 | 1725.49/1725.88 c | 1725.88 | 0 | -986642 lb | 0 0 0.00 | 1731.28/1731.60 c | 1731.60 | 0 | -986641 lb | 0 0 0.00 | 1736.98/1737.32 c | 1737.32 | 0 | -986640 lb | 0 0 0.00 | 1742.78/1743.11 c | 1743.12 | 0 | -986639 lb | 0 0 0.00 | 1748.48/1748.87 c | 1748.87 | 0 | -986638 lb | 0 0 0.00 | 1754.28/1754.60 c | 1754.60 | 0 | -986637 lb | 0 0 0.00 | 1759.98/1760.33 c | 1760.34 | 0 | -986636 lb | 0 0 0.00 | 1765.77/1766.18 c | 1766.18 | 0 | -986635 lb | 0 0 0.00 | 1771.47/1771.89 c | 1771.89 | 0 | -986633 lb | 0 0 0.00 | 1777.18/1777.60 c | 1777.60 | 0 | -986632 lb | 0 0 0.00 | 1782.97/1783.31 c | 1783.31 | 0 | -986631 lb | 0 0 0.00 | 1788.57/1788.98 c | 1788.98 | 0 | -986630 lb | 0 0 0.00 | 1794.27/1794.62 c | 1794.63 | 0 | -986629 lb | 0 0 0.00 | 1799.67/1800.01 c =============================================================================== 1799.67/1800.01 c Wall Clock Time: 1800.01 s 1799.67/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-3705601-1338159742/watcher-3705601-1338159742 -o /tmp/evaluation-result-3705601-1338159742/solver-3705601-1338159742 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705601-1338159742.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.03 2.02 1.94 3/172 17812 /proc/meminfo: memFree=27454188/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=31824 CPUtime=0 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) R 17809 17812 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 282101142 32587776 548 33554432000 4194304 5963574 140737402701952 140733375134392 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 7956 548 177 432 0 627 0 [startup+0.026914 s] /proc/loadavg: 2.03 2.02 1.94 3/172 17812 /proc/meminfo: memFree=27454188/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=35264 CPUtime=0.02 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) R 17809 17812 17655 0 -1 4202496 1436 0 0 0 2 0 0 0 20 0 1 0 282101142 36110336 1388 33554432000 4194304 5963574 140737402701952 140733375134392 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 8816 1390 248 432 0 1487 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 35264 [startup+0.100275 s] /proc/loadavg: 2.03 2.02 1.94 3/172 17812 /proc/meminfo: memFree=27454188/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=42512 CPUtime=0.09 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) R 17809 17812 17655 0 -1 4202496 3426 0 0 0 9 0 0 0 20 0 1 0 282101142 43532288 3264 33554432000 4194304 5963574 140737402701952 140733375134392 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 10628 3264 497 432 0 3299 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42512 [startup+0.300271 s] /proc/loadavg: 2.03 2.02 1.94 3/172 17812 /proc/meminfo: memFree=27454188/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=53936 CPUtime=0.28 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) R 17809 17812 17655 0 -1 4202496 7116 0 0 0 28 0 0 0 20 0 1 0 282101142 55230464 6817 33554432000 4194304 5963574 140737402701952 140737402700360 4344320 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 13484 6817 1106 432 0 6155 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 53936 [startup+0.700274 s] /proc/loadavg: 2.03 2.02 1.94 3/172 17812 /proc/meminfo: memFree=27454188/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=93052 CPUtime=0.69 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) R 17809 17812 17655 0 -1 4202496 16825 0 0 0 67 2 0 0 20 0 1 0 282101142 95285248 15868 33554432000 4194304 5963574 140737402701952 140737402700360 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 23263 15869 2337 432 0 15934 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 93052 [startup+1.50028 s] /proc/loadavg: 2.03 2.02 1.94 3/177 17817 /proc/meminfo: memFree=27302456/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=148020 CPUtime=1.48 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) R 17809 17812 17655 0 -1 4202496 31643 0 0 0 144 4 0 0 20 0 1 0 282101142 151572480 31362 33554432000 4194304 5963574 140737402701952 140737402700440 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 37005 31362 4327 432 0 29676 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 148020 [startup+3.10017 s] /proc/loadavg: 2.03 2.02 1.94 3/177 17817 /proc/meminfo: memFree=27170964/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=401912 CPUtime=3.08 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 77683 0 0 0 296 12 0 0 20 0 2 0 282101142 411557888 77609 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 100478 77609 187 432 0 100043 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 401912 [startup+6.30031 s] /proc/loadavg: 2.03 2.02 1.94 3/179 17819 /proc/meminfo: memFree=26462604/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=565648 CPUtime=6.28 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 114668 0 0 0 607 21 0 0 20 0 2 0 282101142 579223552 126373 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 141412 126373 195 432 0 140977 0 [pid=17812/tid=17818] ppid=17809 vsize=565648 CPUtime=3.51 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 68039 0 0 0 337 14 0 0 20 0 2 0 282101418 579223552 126373 33554432000 4194304 5963574 140737402701952 140594111859224 4418920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 565648 [startup+12.7003 s] /proc/loadavg: 2.02 2.02 1.94 3/179 17819 /proc/meminfo: memFree=26380376/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=631184 CPUtime=12.69 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 117707 0 0 0 1244 25 0 0 20 0 2 0 282101142 646332416 133067 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 157796 133067 195 432 0 157361 0 [pid=17812/tid=17818] ppid=17809 vsize=631184 CPUtime=9.9 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 71078 0 0 0 973 17 0 0 20 0 2 0 282101418 646332416 133067 33554432000 4194304 5963574 140737402701952 140594111848768 4374795 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) 631184 [startup+25.5003 s] /proc/loadavg: 2.02 2.02 1.94 3/179 17819 /proc/meminfo: memFree=26221972/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=696720 CPUtime=25.48 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 127337 0 0 0 2517 31 0 0 20 0 2 0 282101142 713441280 158689 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 174180 158689 195 432 0 173745 0 [pid=17812/tid=17818] ppid=17809 vsize=696720 CPUtime=22.66 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 80708 0 0 0 2242 24 0 0 20 0 2 0 282101418 713441280 158689 33554432000 4194304 5963574 140737402701952 140594111848768 5138318 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 696720 [startup+51.1003 s] /proc/loadavg: 2.01 2.01 1.94 3/179 17820 /proc/meminfo: memFree=25784192/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=983588 CPUtime=51.07 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 157535 0 0 0 5060 47 0 0 20 0 2 0 282101142 1007194112 210163 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 245897 210163 195 432 0 245462 0 [pid=17812/tid=17818] ppid=17809 vsize=983588 CPUtime=48.19 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 110906 0 0 0 4779 40 0 0 20 0 2 0 282101418 1007194112 210163 33554432000 4194304 5963574 140737402701952 140594111859224 4394362 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 983588 [startup+102.307 s] /proc/loadavg: 2.00 2.01 1.94 3/179 17820 /proc/meminfo: memFree=25213652/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=1221128 CPUtime=102.27 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 184320 0 0 0 10150 77 0 0 20 0 2 0 282101142 1250435072 272784 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 305282 272784 195 432 0 304847 0 [pid=17812/tid=17818] ppid=17809 vsize=1221128 CPUtime=99.26 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 137691 0 0 0 9855 71 0 0 20 0 2 0 282101418 1250435072 272784 33554432000 4194304 5963574 140737402701952 140594111859032 4444392 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1221128 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 17820 /proc/meminfo: memFree=24486064/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=1721060 CPUtime=162.26 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 254609 0 0 0 16097 129 0 0 20 0 2 0 282101142 1762365440 369555 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 430265 369555 195 432 0 429830 0 [pid=17812/tid=17818] ppid=17809 vsize=1721060 CPUtime=159.1 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 207980 0 0 0 15787 123 0 0 20 0 2 0 282101418 1762365440 369555 33554432000 4194304 5963574 140737402701952 140594111859032 5141661 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1721060 [startup+222.3 s] /proc/loadavg: 2.06 2.03 1.95 3/179 17820 /proc/meminfo: memFree=23932276/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=2089672 CPUtime=222.25 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 433785 0 0 0 21942 283 0 0 20 0 2 0 282101142 2139824128 445002 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 522418 445002 195 432 0 521983 0 [pid=17812/tid=17818] ppid=17809 vsize=2089672 CPUtime=218.94 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 387156 0 0 0 21616 278 0 0 20 0 2 0 282101418 2139824128 445002 33554432000 4194304 5963574 140737402701952 140594111859096 4394419 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 2089672 [startup+282.3 s] /proc/loadavg: 2.02 2.02 1.95 3/179 17820 /proc/meminfo: memFree=23094876/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=2501940 CPUtime=282.23 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 605642 0 0 0 27789 434 0 0 20 0 2 0 282101142 2561986560 546264 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 625485 546264 195 432 0 625050 0 [pid=17812/tid=17818] ppid=17809 vsize=2501940 CPUtime=278.79 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 559013 0 0 0 27449 430 0 0 20 0 2 0 282101418 2561986560 546264 33554432000 4194304 5963574 140737402701952 140594111859096 5142814 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 2501940 [startup+342.3 s] /proc/loadavg: 2.01 2.02 1.95 3/179 17820 /proc/meminfo: memFree=22475668/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=2835172 CPUtime=342.22 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 759767 0 0 0 33641 581 0 0 20 0 2 0 282101142 2903216128 620917 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 708793 620917 195 432 0 708358 0 [pid=17812/tid=17818] ppid=17809 vsize=2835172 CPUtime=338.63 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 713138 0 0 0 33285 578 0 0 20 0 2 0 282101418 2903216128 620917 33554432000 4194304 5963574 140737402701952 140594111859096 4419192 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 2835172 [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.95 3/179 17821 /proc/meminfo: memFree=21703712/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=3211980 CPUtime=402.21 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 901282 0 0 0 39511 710 0 0 20 0 2 0 282101142 3289067520 713004 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 802995 713004 195 432 0 802560 0 [pid=17812/tid=17818] ppid=17809 vsize=3211980 CPUtime=398.47 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 854653 0 0 0 39140 707 0 0 20 0 2 0 282101418 3289067520 713004 33554432000 4194304 5963574 140737402701952 140594111859016 5179135 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 3211980 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.95 3/180 17824 /proc/meminfo: memFree=21071080/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=3531456 CPUtime=462.2 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 968222 0 0 0 45414 806 0 0 20 0 2 0 282101142 3616210944 790043 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 882864 790043 195 432 0 882429 0 [pid=17812/tid=17818] ppid=17809 vsize=3531456 CPUtime=458.31 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 921593 0 0 0 45028 803 0 0 20 0 2 0 282101418 3616210944 790043 33554432000 4194304 5963574 140737402701952 140594111859048 4419016 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.95 3/179 17831 /proc/meminfo: memFree=18007532/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4543128 CPUtime=1422.04 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1327518 0 0 0 141007 1197 0 0 20 0 2 0 282101142 4652163072 1005515 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1135782 1005515 198 432 0 1135347 0 [pid=17812/tid=17818] ppid=17809 vsize=4543128 CPUtime=1415.8 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1280889 0 0 0 140371 1209 0 0 20 0 2 0 282101418 4652163072 1005515 33554432000 4194304 5963574 140737402701952 140594111859640 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 4543128 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 17831 /proc/meminfo: memFree=17923076/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4543128 CPUtime=1482.02 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1363761 0 0 0 146974 1228 0 0 20 0 2 0 282101142 4652163072 1013584 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1135782 1013584 198 432 0 1135347 0 [pid=17812/tid=17818] ppid=17809 vsize=4543128 CPUtime=1475.63 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1317132 0 0 0 146322 1241 0 0 20 0 2 0 282101418 4652163072 1013584 33554432000 4194304 5963574 140737402701952 140594111859640 4392454 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 4543128 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 17831 /proc/meminfo: memFree=17764260/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4608664 CPUtime=1542.01 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1386557 0 0 0 152944 1257 0 0 20 0 2 0 282101142 4719271936 1025975 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1152166 1025975 198 432 0 1151731 0 [pid=17812/tid=17818] ppid=17809 vsize=4608664 CPUtime=1535.48 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1339928 0 0 0 152279 1269 0 0 20 0 2 0 282101418 4719271936 1025975 33554432000 4194304 5963574 140737402701952 140594111859640 4408756 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 4608664 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 17832 /proc/meminfo: memFree=17612500/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4674200 CPUtime=1602 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1412329 0 0 0 158912 1288 0 0 20 0 2 0 282101142 4786380800 1039941 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1168550 1039941 198 432 0 1168115 0 [pid=17812/tid=17818] ppid=17809 vsize=4674200 CPUtime=1595.32 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1365700 0 0 0 158230 1302 0 0 20 0 2 0 282101418 4786380800 1039941 33554432000 4194304 5963574 140737402701952 140594111859640 4403255 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 4674200 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.95 3/180 17835 /proc/meminfo: memFree=17322616/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4764340 CPUtime=1661.99 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1443755 0 0 0 164880 1319 0 0 20 0 2 0 282101142 4878684160 1057220 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1191085 1057220 198 432 0 1190650 0 [pid=17812/tid=17818] ppid=17809 vsize=4764340 CPUtime=1655.17 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1397126 0 0 0 164184 1333 0 0 20 0 2 0 282101418 4878684160 1057220 33554432000 4194304 5963574 140737402701952 140594111859528 4388608 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 4764340 [startup+1722.3 s] /proc/loadavg: 2.07 2.03 1.96 3/179 17835 /proc/meminfo: memFree=17326112/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4805272 CPUtime=1721.99 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1472873 0 0 0 170848 1351 0 0 20 0 2 0 282101142 4920598528 1063897 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1201318 1063897 198 432 0 1200883 0 [pid=17812/tid=17818] ppid=17809 vsize=4805272 CPUtime=1715.01 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1426244 0 0 0 170136 1365 0 0 20 0 2 0 282101418 4920598528 1063897 33554432000 4194304 5963574 140737402701952 140594111859528 4392422 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 4805272 [startup+1782.3 s] /proc/loadavg: 2.02 2.02 1.96 3/179 17835 /proc/meminfo: memFree=17249556/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4870808 CPUtime=1781.97 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1519194 0 0 0 176810 1387 0 0 20 0 2 0 282101142 4987707392 1081748 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1217702 1081748 198 432 0 1217267 0 [pid=17812/tid=17818] ppid=17809 vsize=4870808 CPUtime=1774.85 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1472565 0 0 0 176082 1403 0 0 20 0 2 0 282101418 4987707392 1081748 33554432000 4194304 5963574 140737402701952 140594111859640 4403192 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 4870808 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.02 2.02 1.96 3/179 17835 /proc/meminfo: memFree=17249820/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4870808 CPUtime=1791.58 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1524022 0 0 0 177763 1395 0 0 20 0 2 0 282101142 4987707392 1082061 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1217702 1082061 198 432 0 1217267 0 [pid=17812/tid=17818] ppid=17809 vsize=4870808 CPUtime=1784.44 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1477393 0 0 0 177034 1410 0 0 20 0 2 0 282101418 4987707392 1082061 33554432000 4194304 5963574 140737402701952 140594111859528 4392243 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (KiB) 4870808 [startup+1795.1 s] /proc/loadavg: 2.02 2.02 1.96 3/179 17835 /proc/meminfo: memFree=17043788/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4981544 CPUtime=1794.78 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1526667 0 0 0 178080 1398 0 0 20 0 2 0 282101142 5101101056 1108682 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1245386 1108682 198 432 0 1244951 0 [pid=17812/tid=17818] ppid=17809 vsize=4981544 CPUtime=1787.63 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1480038 0 0 0 177350 1413 0 0 20 0 2 0 282101418 5101101056 1108682 33554432000 4194304 5963574 140737402701952 140594111859528 5138270 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1794.78 Current children cumulated vsize (KiB) 4981544 [startup+1798.3 s] /proc/loadavg: 2.02 2.02 1.96 3/179 17835 /proc/meminfo: memFree=17210380/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4870808 CPUtime=1797.97 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1527936 0 0 0 178399 1398 0 0 20 0 2 0 282101142 4987707392 1089433 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1217702 1089433 198 432 0 1217267 0 [pid=17812/tid=17818] ppid=17809 vsize=4870808 CPUtime=1790.81 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1481307 0 0 0 177667 1414 0 0 20 0 2 0 282101418 4987707392 1089433 33554432000 4194304 5963574 140737402701952 140594111859640 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 4870808 [startup+1799.1 s] /proc/loadavg: 2.02 2.02 1.96 3/179 17835 /proc/meminfo: memFree=17141256/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4870808 CPUtime=1798.77 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1527936 0 0 0 178479 1398 0 0 20 0 2 0 282101142 4987707392 1089433 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1217702 1089433 198 432 0 1217267 0 [pid=17812/tid=17818] ppid=17809 vsize=4870808 CPUtime=1791.61 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1481307 0 0 0 177747 1414 0 0 20 0 2 0 282101418 4987707392 1089433 33554432000 4194304 5963574 140737402701952 140594111859640 4399488 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1798.77 Current children cumulated vsize (KiB) 4870808 [startup+1799.5 s] /proc/loadavg: 2.02 2.02 1.96 3/179 17835 /proc/meminfo: memFree=17107308/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4870808 CPUtime=1799.18 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1527936 0 0 0 178520 1398 0 0 20 0 2 0 282101142 4987707392 1089433 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1217702 1089433 198 432 0 1217267 0 [pid=17812/tid=17818] ppid=17809 vsize=4870808 CPUtime=1792.02 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1481307 0 0 0 177788 1414 0 0 20 0 2 0 282101418 4987707392 1089433 33554432000 4194304 5963574 140737402701952 140594111859640 4402959 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1799.18 Current children cumulated vsize (KiB) 4870808 [startup+1799.9 s] /proc/loadavg: 2.02 2.02 1.96 3/179 17835 /proc/meminfo: memFree=17107308/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4870808 CPUtime=1799.57 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1527936 0 0 0 178559 1398 0 0 20 0 2 0 282101142 4987707392 1089433 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1217702 1089433 198 432 0 1217267 0 [pid=17812/tid=17818] ppid=17809 vsize=4870808 CPUtime=1792.41 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1481307 0 0 0 177827 1414 0 0 20 0 2 0 282101418 4987707392 1089433 33554432000 4194304 5963574 140737402701952 140594111859640 4421747 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (KiB) 4870808 [startup+1800 s] /proc/loadavg: 2.02 2.02 1.96 3/179 17835 /proc/meminfo: memFree=17107308/32873648 swapFree=6848/6848 [pid=17812] ppid=17809 vsize=4870808 CPUtime=1799.67 cores=1,3,5,7 /proc/17812/stat : 17812 (wbo1.7) S 17809 17812 17655 0 -1 4202496 1527936 0 0 0 178569 1398 0 0 20 0 2 0 282101142 4987707392 1089433 33554432000 4194304 5963574 140737402701952 140737402701472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17812/statm: 1217702 1089433 198 432 0 1217267 0 [pid=17812/tid=17818] ppid=17809 vsize=4870808 CPUtime=1792.51 cores=1,3,5,7 /proc/17812/task/17818/stat : 17818 (wbo1.7) R 17809 17812 17655 0 -1 4202560 1481307 0 0 0 177837 1414 0 0 20 0 2 0 282101418 4987707392 1089433 33554432000 4194304 5963574 140737402701952 140594111859640 4403255 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (KiB) 4870808 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17812 and gives # childrusage.ru_utime.tv_sec=1781 # childrusage.ru_utime.tv_usec=74235 # childrusage.ru_stime.tv_sec=14 # childrusage.ru_stime.tv_usec=299826 # CPU time returned by wait4() is 1795.37 # while last known CPU time is 1799.67 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.09 CPU time (s): 1799.67 CPU user time (s): 1785.69 CPU system time (s): 13.98 CPU usage (%): 99.9764 Max. virtual memory (cumulated for all children) (KiB): 5010168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.07 system time used= 14.2998 maximum resident set size= 4464616 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1527936 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= 61 involuntary context switches= 3180 runsolver used 2.43763 second user time and 9.07462 second system time The end
Begin job on node113 at 2012-05-28 01:02:23 IDJOB=3705601 IDBENCH=90877 IDSOLVER=2283 FILE ID=node113/3705601-1338159742 RUNJOBID= node113-1338157942-17672 PBS_JOBID= 14624534 Free space on /tmp= 71344 MiB SOLVER NAME= wbo 1.7 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705601-1338159742/watcher-3705601-1338159742 -o /tmp/evaluation-result-3705601-1338159742/solver-3705601-1338159742 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705601-1338159742.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d651cc878ba5f8db7c83d3bfed1cb1c RANDOM SEED=740675944 node113.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.026 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.05 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.026 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.90 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.026 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 : 5438.54 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.026 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.026 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.026 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.026 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.026 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: 32873648 kB MemFree: 27454568 kB Buffers: 354884 kB Cached: 4216372 kB SwapCached: 0 kB Active: 1138780 kB Inactive: 3444384 kB Active(anon): 14020 kB Inactive(anon): 0 kB Active(file): 1124760 kB Inactive(file): 3444384 kB Unevictable: 6848 kB Mlocked: 6848 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 65676 kB Writeback: 0 kB AnonPages: 20348 kB Mapped: 13796 kB Shmem: 200 kB Slab: 696832 kB SReclaimable: 140676 kB SUnreclaim: 556156 kB KernelStack: 1416 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 103756 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71332 MiB End job on node113 at 2012-05-28 01:32:23