| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.55 | 1800.01 |
| Name | /OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb |
| MD5SUM | 9437b3e9d1ce9c682b2f5f71866292ee |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -2832 |
| Best CPU time to get the best result obtained on this benchmark | 362.299 |
| 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 | 40937 |
| Total number of constraints | 41436 |
| Number of constraints which are clauses | 40882 |
| Number of constraints which are cardinality constraints (but not clauses) | 67 |
| Number of constraints which are nor clauses,nor cardinality constraints | 487 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 8416 |
| Number of terms in the objective function | 486 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 26273 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 256 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 26273 |
| Number of bits of the biggest sum of numbers | 15 |
| 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-3727862-1338671148.opb. 0.00/0.00 c Instance file HOME/instance-3727862-1338671148.opb 0.00/0.00 c File size is 2494378 bytes. 0.09/0.20 c Cost Offset: -26273 0.09/0.20 c Highest Coefficient sum: 14282 0.19/0.20 c ============================[ Problem Statistics ]============================= 0.19/0.20 c | | 0.19/0.20 c | Parsing time: 0.20 s | 0.19/0.20 c | Number Variables: 40937 | 0.19/0.20 c | Number Clauses: 40882 | 0.19/0.20 c | Number Cardinality: 553 | 0.19/0.20 c | Number PB Constraints: 1 | 0.19/0.20 c | | 0.19/0.23 c | Problem Type: Optimization | 0.19/0.23 c | Objective Function: PB Constraint | 0.19/0.23 c | | 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Time (s) | ID | Bound | Shared Clauses | 0.19/0.23 c | | | value type | expCls impCls Lit/impCl | 0.19/0.23 c =============================================================================== 0.19/0.27 c | 0.28 | 0 | -26272 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | -26271 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | -26269 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | -26265 lb | 0 0 0.00 | 0.39/0.42 c | 0.42 | 0 | -26257 lb | 0 0 0.00 | 0.39/0.45 c | 0.45 | 0 | -26241 lb | 0 0 0.00 | 0.39/0.49 c | 0.49 | 0 | -26209 lb | 0 0 0.00 | 0.49/0.52 c | 0.53 | 0 | -26145 lb | 0 0 0.00 | 0.49/0.56 c | 0.56 | 0 | -26017 lb | 0 0 0.00 | 0.59/0.63 c | 0.63 | 0 | -26016 lb | 0 0 0.00 | 0.69/0.73 c | 0.73 | 0 | -26015 lb | 0 0 0.00 | 0.79/0.82 c | 0.82 | 0 | -26014 lb | 0 0 0.00 | 0.89/0.91 c | 0.92 | 0 | -26013 lb | 0 0 0.00 | 1.48/1.53 c | 1.53 | 0 | -26012 lb | 0 0 0.00 | 2.19/2.21 c | 2.21 | 0 | -26011 lb | 0 0 0.00 | 2.58/2.66 c | 2.66 | 0 | -26010 lb | 0 0 0.00 | 2.79/2.84 c | 2.85 | 0 | -26009 lb | 0 0 0.00 | 3.09/3.17 c | 3.17 | 0 | -26008 lb | 0 0 0.00 | 3.29/3.31 c | 3.31 | 0 | -26007 lb | 0 0 0.00 | 3.48/3.59 c | 3.59 | 0 | -26006 lb | 0 0 0.00 | 3.78/3.81 c | 3.81 | 0 | -26005 lb | 0 0 0.00 | 3.98/4.02 c | 4.02 | 0 | -26004 lb | 0 0 0.00 | 4.08/4.18 c | 4.18 | 0 | -26003 lb | 0 0 0.00 | 4.39/4.46 c | 4.46 | 0 | -26002 lb | 0 0 0.00 | 4.48/4.59 c | 4.59 | 0 | -26001 lb | 0 0 0.00 | 4.78/4.81 c | 4.81 | 0 | -26000 lb | 0 0 0.00 | 4.98/5.02 c | 5.02 | 0 | -25999 lb | 0 0 0.00 | 7.59/7.62 c | 7.63 | 0 | -25998 lb | 0 0 0.00 | 7.78/7.87 c | 7.87 | 0 | -25997 lb | 0 0 0.00 | 7.99/8.03 c | 8.03 | 0 | -25996 lb | 0 0 0.00 | 8.19/8.20 c | 8.20 | 0 | -25995 lb | 0 0 0.00 | 8.69/8.78 c | 8.79 | 0 | -25993 lb | 0 0 0.00 | 9.28/9.36 c | 9.36 | 0 | -25976 lb | 0 0 0.00 | 9.48/9.58 c | 9.59 | 0 | -25975 lb | 0 0 0.00 | 9.68/9.70 c | 9.71 | 0 | -25974 lb | 0 0 0.00 | 9.89/9.96 c | 9.96 | 0 | -25973 lb | 0 0 0.00 | 10.38/10.42 c | 10.42 | 0 | -25972 lb | 0 0 0.00 | 10.48/10.55 c | 10.56 | 0 | -25971 lb | 0 0 0.00 | 10.68/10.71 c | 10.71 | 0 | -25970 lb | 0 0 0.00 | 11.18/11.23 c | 11.24 | 0 | -25969 lb | 0 0 0.00 | 12.78/12.88 c | 12.89 | 0 | -25968 lb | 0 0 0.00 | 13.09/13.12 c | 13.12 | 0 | -25967 lb | 0 0 0.00 | 14.58/14.61 c | 14.61 | 0 | -25966 lb | 0 0 0.00 | 14.68/14.76 c | 14.77 | 0 | -25939 lb | 0 0 0.00 | 14.88/14.97 c | 14.97 | 0 | -25883 lb | 0 0 0.00 | 15.08/15.11 c | 15.11 | 0 | -25882 lb | 0 0 0.00 | 15.28/15.34 c | 15.34 | 0 | -25881 lb | 0 0 0.00 | 15.48/15.50 c | 15.51 | 0 | -25880 lb | 0 0 0.00 | 16.98/17.08 c | 17.08 | 0 | -25879 lb | 0 0 0.00 | 17.18/17.26 c | 17.26 | 0 | -25878 lb | 0 0 0.00 | 17.59/17.66 c | 17.66 | 0 | -25877 lb | 0 0 0.00 | 17.99/18.00 c | 18.00 | 0 | -25876 lb | 0 0 0.00 | 18.49/18.58 c | 18.58 | 0 | -25875 lb | 0 0 0.00 | 18.69/18.75 c | 18.75 | 0 | -25874 lb | 0 0 0.00 | 18.88/18.93 c | 18.93 | 0 | -25873 lb | 0 0 0.00 | 19.08/19.13 c | 19.14 | 0 | -25872 lb | 0 0 0.00 | 21.48/21.52 c | 21.52 | 0 | -25871 lb | 0 0 0.00 | 23.68/23.70 c | 23.71 | 0 | -25869 lb | 0 0 0.00 | 25.87/25.94 c | 25.95 | 0 | -25868 lb | 0 0 0.00 | 29.37/29.49 c | 29.50 | 0 | -25867 lb | 0 0 0.00 | 29.68/29.75 c | 29.75 | 0 | -25865 lb | 0 0 0.00 | 41.17/41.29 c | 41.29 | 0 | -25846 lb | 0 0 0.00 | 43.16/43.28 c | 43.29 | 0 | -25845 lb | 0 0 0.00 | 45.06/45.16 c | 45.17 | 0 | -25844 lb | 0 0 0.00 | 46.45/46.54 c | 46.54 | 0 | -25843 lb | 0 0 0.00 | 46.65/46.76 c | 46.76 | 0 | -25831 lb | 0 0 0.00 | 47.45/47.57 c | 47.57 | 0 | -25830 lb | 0 0 0.00 | 48.26/48.31 c | 48.31 | 0 | -25829 lb | 0 0 0.00 | 48.45/48.55 c | 48.55 | 0 | -25828 lb | 0 0 0.00 | 49.16/49.25 c | 49.25 | 0 | -25827 lb | 0 0 0.00 | 49.56/49.64 c | 49.65 | 0 | -25826 lb | 0 0 0.00 | 50.57/50.66 c | 50.67 | 0 | -25825 lb | 0 0 0.00 | 50.86/50.93 c | 50.93 | 0 | -25824 lb | 0 0 0.00 | 53.56/53.67 c | 53.67 | 0 | -25823 lb | 0 0 0.00 | 61.25/61.35 c | 61.35 | 0 | -25822 lb | 0 0 0.00 | 62.35/62.45 c | 62.46 | 0 | -25821 lb | 0 0 0.00 | 63.76/63.82 c | 63.83 | 0 | -25820 lb | 0 0 0.00 | 66.65/66.78 c | 66.79 | 0 | -25819 lb | 0 0 0.00 | 67.75/67.87 c | 67.88 | 0 | -25818 lb | 0 0 0.00 | 67.95/68.10 c | 68.10 | 0 | -25817 lb | 0 0 0.00 | 68.16/68.24 c | 68.25 | 0 | -25816 lb | 0 0 0.00 | 69.45/69.51 c | 69.52 | 0 | -25815 lb | 0 0 0.00 | 69.55/69.67 c | 69.67 | 0 | -25813 lb | 0 0 0.00 | 69.95/70.04 c | 70.05 | 0 | -25812 lb | 0 0 0.00 | 71.15/71.22 c | 71.22 | 0 | -25811 lb | 0 0 0.00 | 71.36/71.40 c | 71.41 | 0 | -25810 lb | 0 0 0.00 | 71.55/71.64 c | 71.64 | 0 | -25809 lb | 0 0 0.00 | 71.75/71.82 c | 71.82 | 0 | -25805 lb | 0 0 0.00 | 71.95/72.02 c | 72.03 | 0 | -25802 lb | 0 0 0.00 | 72.15/72.23 c | 72.23 | 0 | -25791 lb | 0 0 0.00 | 72.85/72.92 c | 72.92 | 0 | -25790 lb | 0 0 0.00 | 73.05/73.15 c | 73.15 | 0 | -25789 lb | 0 0 0.00 | 73.65/73.76 c | 73.76 | 0 | -25788 lb | 0 0 0.00 | 74.25/74.32 c | 74.32 | 0 | -25787 lb | 0 0 0.00 | 74.55/74.61 c | 74.62 | 0 | -25786 lb | 0 0 0.00 | 74.65/74.80 c | 74.80 | 0 | -25785 lb | 0 0 0.00 | 75.05/75.15 c | 75.15 | 0 | -25784 lb | 0 0 0.00 | 75.45/75.57 c | 75.57 | 0 | -25783 lb | 0 0 0.00 | 76.05/76.18 c | 76.19 | 0 | -25782 lb | 0 0 0.00 | 80.35/80.40 c | 80.41 | 0 | -25781 lb | 0 0 0.00 | 80.45/80.56 c | 80.56 | 0 | -25780 lb | 0 0 0.00 | 80.85/80.92 c | 80.92 | 0 | -25779 lb | 0 0 0.00 | 81.05/81.17 c | 81.17 | 0 | -25778 lb | 0 0 0.00 | 81.35/81.42 c | 81.42 | 0 | -25777 lb | 0 0 0.00 | 81.45/81.54 c | 81.54 | 0 | -25772 lb | 0 0 0.00 | 81.65/81.73 c | 81.74 | 0 | -25771 lb | 0 0 0.00 | 81.85/81.90 c | 81.91 | 0 | -25770 lb | 0 0 0.00 | 81.95/82.06 c | 82.06 | 0 | -25761 lb | 0 0 0.00 | 82.15/82.20 c | 82.20 | 0 | -25760 lb | 0 0 0.00 | 82.25/82.34 c | 82.34 | 0 | -25759 lb | 0 0 0.00 | 82.35/82.47 c | 82.47 | 0 | -25758 lb | 0 0 0.00 | 82.55/82.61 c | 82.61 | 0 | -25757 lb | 0 0 0.00 | 82.65/82.79 c | 82.79 | 0 | -25756 lb | 0 0 0.00 | 83.65/83.70 c | 83.71 | 0 | -25755 lb | 0 0 0.00 | 84.45/84.56 c | 84.57 | 0 | -25753 lb | 0 0 0.00 | 84.55/84.70 c | 84.70 | 0 | -25752 lb | 0 0 0.00 | 84.85/84.91 c | 84.91 | 0 | -25751 lb | 0 0 0.00 | 85.15/85.23 c | 85.24 | 0 | -25750 lb | 0 0 0.00 | 85.25/85.37 c | 85.37 | 0 | -25748 lb | 0 0 0.00 | 85.35/85.49 c | 85.49 | 0 | -25747 lb | 0 0 0.00 | 85.55/85.63 c | 85.63 | 0 | -25744 lb | 0 0 0.00 | 85.85/85.98 c | 85.98 | 0 | -25741 lb | 0 0 0.00 | 86.15/86.22 c | 86.23 | 0 | -25740 lb | 0 0 0.00 | 86.25/86.38 c | 86.38 | 0 | -25739 lb | 0 0 0.00 | 86.35/86.49 c | 86.49 | 0 | -25738 lb | 0 0 0.00 | 86.55/86.63 c | 86.64 | 0 | -25737 lb | 0 0 0.00 | 86.65/86.76 c | 86.76 | 0 | -25736 lb | 0 0 0.00 | 86.95/87.02 c | 87.03 | 0 | -25735 lb | 0 0 0.00 | 87.15/87.22 c | 87.22 | 0 | -25734 lb | 0 0 0.00 | 87.25/87.34 c | 87.35 | 0 | -25733 lb | 0 0 0.00 | 87.35/87.48 c | 87.49 | 0 | -25729 lb | 0 0 0.00 | 92.05/92.13 c | 92.13 | 0 | -25728 lb | 0 0 0.00 | 92.15/92.30 c | 92.30 | 0 | -25727 lb | 0 0 0.00 | 92.64/92.71 c | 92.71 | 0 | -25726 lb | 0 0 0.00 | 92.74/92.89 c | 92.89 | 0 | -25725 lb | 0 0 0.00 | 103.54/103.66 c | 103.66 | 0 | -25724 lb | 0 0 0.00 | 103.74/103.80 c | 103.80 | 0 | -25723 lb | 0 0 0.00 | 103.84/103.92 c | 103.93 | 0 | -25722 lb | 0 0 0.00 | 104.04/104.11 c | 104.12 | 0 | -25721 lb | 0 0 0.00 | 104.74/104.80 c | 104.80 | 0 | -25720 lb | 0 0 0.00 | 104.84/104.98 c | 104.98 | 0 | -25719 lb | 0 0 0.00 | 105.04/105.17 c | 105.17 | 0 | -25718 lb | 0 0 0.00 | 105.34/105.49 c | 105.49 | 0 | -25717 lb | 0 0 0.00 | 109.04/109.15 c | 109.16 | 0 | -25716 lb | 0 0 0.00 | 109.24/109.33 c | 109.33 | 0 | -25715 lb | 0 0 0.00 | 109.34/109.46 c | 109.47 | 0 | -25714 lb | 0 0 0.00 | 109.54/109.62 c | 109.62 | 0 | -25713 lb | 0 0 0.00 | 109.64/109.76 c | 109.77 | 0 | -25712 lb | 0 0 0.00 | 109.85/109.96 c | 109.96 | 0 | -25711 lb | 0 0 0.00 | 110.04/110.11 c | 110.11 | 0 | -25710 lb | 0 0 0.00 | 112.14/112.25 c | 112.25 | 0 | -25709 lb | 0 0 0.00 | 112.44/112.57 c | 112.57 | 0 | -25708 lb | 0 0 0.00 | 112.84/112.92 c | 112.93 | 0 | -25707 lb | 0 0 0.00 | 113.24/113.38 c | 113.38 | 0 | -25706 lb | 0 0 0.00 | 113.54/113.65 c | 113.66 | 0 | -25705 lb | 0 0 0.00 | 113.74/113.81 c | 113.81 | 0 | -25702 lb | 0 0 0.00 | 113.94/114.00 c | 114.00 | 0 | -25701 lb | 0 0 0.00 | 114.14/114.20 c | 114.20 | 0 | -25700 lb | 0 0 0.00 | 114.54/114.62 c | 114.62 | 0 | -25699 lb | 0 0 0.00 | 117.54/117.63 c | 117.64 | 0 | -25698 lb | 0 0 0.00 | 117.84/117.91 c | 117.92 | 0 | -25697 lb | 0 0 0.00 | 118.04/118.11 c | 118.11 | 0 | -25696 lb | 0 0 0.00 | 118.14/118.26 c | 118.26 | 0 | -25695 lb | 0 0 0.00 | 118.34/118.46 c | 118.47 | 0 | -25693 lb | 0 0 0.00 | 118.53/118.66 c | 118.67 | 0 | -25692 lb | 0 0 0.00 | 118.74/118.85 c | 118.85 | 0 | -25691 lb | 0 0 0.00 | 118.93/119.02 c | 119.03 | 0 | -25690 lb | 0 0 0.00 | 119.04/119.17 c | 119.17 | 0 | -25689 lb | 0 0 0.00 | 119.24/119.34 c | 119.34 | 0 | -25688 lb | 0 0 0.00 | 119.44/119.53 c | 119.53 | 0 | -25687 lb | 0 0 0.00 | 119.64/119.76 c | 119.76 | 0 | -25682 lb | 0 0 0.00 | 119.84/119.94 c | 119.94 | 0 | -25681 lb | 0 0 0.00 | 119.94/120.09 c | 120.09 | 0 | -25680 lb | 0 0 0.00 | 121.44/121.57 c | 121.58 | 0 | -25679 lb | 0 0 0.00 | 121.84/121.96 c | 121.97 | 0 | -25678 lb | 0 0 0.00 | 122.04/122.11 c | 122.12 | 0 | -25677 lb | 0 0 0.00 | 122.13/122.28 c | 122.28 | 0 | -25676 lb | 0 0 0.00 | 122.33/122.46 c | 122.47 | 0 | -25675 lb | 0 0 0.00 | 122.53/122.66 c | 122.67 | 0 | -25673 lb | 0 0 0.00 | 122.73/122.84 c | 122.84 | 0 | -25671 lb | 0 0 0.00 | 122.83/122.97 c | 122.97 | 0 | -25670 lb | 0 0 0.00 | 123.04/123.18 c | 123.18 | 0 | -25669 lb | 0 0 0.00 | 123.23/123.36 c | 123.36 | 0 | -25668 lb | 0 0 0.00 | 123.44/123.60 c | 123.60 | 0 | -25667 lb | 0 0 0.00 | 123.64/123.78 c | 123.78 | 0 | -25666 lb | 0 0 0.00 | 123.84/123.95 c | 123.96 | 0 | -25665 lb | 0 0 0.00 | 124.04/124.18 c | 124.18 | 0 | -25664 lb | 0 0 0.00 | 124.24/124.35 c | 124.35 | 0 | -25663 lb | 0 0 0.00 | 124.44/124.51 c | 124.51 | 0 | -25662 lb | 0 0 0.00 | 124.53/124.66 c | 124.66 | 0 | -25661 lb | 0 0 0.00 | 124.73/124.86 c | 124.87 | 0 | -25660 lb | 0 0 0.00 | 124.93/125.01 c | 125.02 | 0 | -25659 lb | 0 0 0.00 | 125.03/125.15 c | 125.16 | 0 | -25658 lb | 0 0 0.00 | 125.13/125.30 c | 125.30 | 0 | -25657 lb | 0 0 0.00 | 125.34/125.45 c | 125.45 | 0 | -25656 lb | 0 0 0.00 | 125.53/125.62 c | 125.62 | 0 | -25655 lb | 0 0 0.00 | 125.64/125.76 c | 125.76 | 0 | -25652 lb | 0 0 0.00 | 125.84/125.92 c | 125.92 | 0 | -25651 lb | 0 0 0.00 | 126.04/126.12 c | 126.12 | 0 | -25650 lb | 0 0 0.00 | 126.14/126.29 c | 126.29 | 0 | -25649 lb | 0 0 0.00 | 126.34/126.46 c | 126.47 | 0 | -25647 lb | 0 0 0.00 | 126.54/126.61 c | 126.61 | 0 | -25646 lb | 0 0 0.00 | 126.64/126.77 c | 126.77 | 0 | -25645 lb | 0 0 0.00 | 126.84/126.94 c | 126.94 | 0 | -25644 lb | 0 0 0.00 | 127.13/127.29 c | 127.30 | 0 | -25643 lb | 0 0 0.00 | 127.33/127.47 c | 127.47 | 0 | -25642 lb | 0 0 0.00 | 127.55/127.65 c | 127.65 | 0 | -25641 lb | 0 0 0.00 | 127.74/127.81 c | 127.81 | 0 | -25640 lb | 0 0 0.00 | 127.84/127.98 c | 127.98 | 0 | -25639 lb | 0 0 0.00 | 128.04/128.17 c | 128.17 | 0 | -25638 lb | 0 0 0.00 | 128.24/128.38 c | 128.38 | 0 | -25637 lb | 0 0 0.00 | 128.44/128.57 c | 128.57 | 0 | -25636 lb | 0 0 0.00 | 128.64/128.74 c | 128.74 | 0 | -25635 lb | 0 0 0.00 | 128.84/128.90 c | 128.91 | 0 | -25634 lb | 0 0 0.00 | 128.94/129.08 c | 129.08 | 0 | -25633 lb | 0 0 0.00 | 129.14/129.24 c | 129.24 | 0 | -25632 lb | 0 0 0.00 | 129.34/129.41 c | 129.42 | 0 | -25631 lb | 0 0 0.00 | 129.43/129.58 c | 129.58 | 0 | -25630 lb | 0 0 0.00 | 129.64/129.77 c | 129.78 | 0 | -25629 lb | 0 0 0.00 | 129.83/129.97 c | 129.98 | 0 | -25628 lb | 0 0 0.00 | 130.03/130.15 c | 130.15 | 0 | -25627 lb | 0 0 0.00 | 130.23/130.31 c | 130.32 | 0 | -25626 lb | 0 0 0.00 | 130.43/130.50 c | 130.51 | 0 | -25625 lb | 0 0 0.00 | 130.53/130.69 c | 130.69 | 0 | -25624 lb | 0 0 0.00 | 130.74/130.88 c | 130.88 | 0 | -25623 lb | 0 0 0.00 | 130.94/131.07 c | 131.07 | 0 | -25622 lb | 0 0 0.00 | 131.24/131.30 c | 131.30 | 0 | -25621 lb | 0 0 0.00 | 131.44/131.50 c | 131.51 | 0 | -25620 lb | 0 0 0.00 | 131.54/131.69 c | 131.69 | 0 | -25619 lb | 0 0 0.00 | 131.84/131.94 c | 131.94 | 0 | -25618 lb | 0 0 0.00 | 132.04/132.16 c | 132.16 | 0 | -25617 lb | 0 0 0.00 | 132.24/132.34 c | 132.34 | 0 | -25616 lb | 0 0 0.00 | 132.44/132.54 c | 132.54 | 0 | -25615 lb | 0 0 0.00 | 132.64/132.76 c | 132.76 | 0 | -25614 lb | 0 0 0.00 | 132.83/132.93 c | 132.94 | 0 | -25613 lb | 0 0 0.00 | 133.04/133.15 c | 133.15 | 0 | -25612 lb | 0 0 0.00 | 133.23/133.36 c | 133.36 | 0 | -25611 lb | 0 0 0.00 | 133.43/133.56 c | 133.56 | 0 | -25610 lb | 0 0 0.00 | 133.63/133.79 c | 133.80 | 0 | -25609 lb | 0 0 0.00 | 133.92/134.06 c | 134.06 | 0 | -25608 lb | 0 0 0.00 | 134.33/134.42 c | 134.43 | 0 | -25607 lb | 0 0 0.00 | 134.63/134.75 c | 134.75 | 0 | -25606 lb | 0 0 0.00 | 134.83/134.99 c | 135.00 | 0 | -25605 lb | 0 0 0.00 | 135.14/135.24 c | 135.24 | 0 | -25604 lb | 0 0 0.00 | 135.33/135.43 c | 135.43 | 0 | -25603 lb | 0 0 0.00 | 135.53/135.61 c | 135.62 | 0 | -25602 lb | 0 0 0.00 | 135.83/135.98 c | 135.98 | 0 | -25601 lb | 0 0 0.00 | 136.13/136.27 c | 136.27 | 0 | -25600 lb | 0 0 0.00 | 136.33/136.49 c | 136.49 | 0 | -25599 lb | 0 0 0.00 | 136.52/136.69 c | 136.69 | 0 | -25598 lb | 0 0 0.00 | 136.82/136.95 c | 136.96 | 0 | -25597 lb | 0 0 0.00 | 137.02/137.13 c | 137.13 | 0 | -25596 lb | 0 0 0.00 | 137.13/137.30 c | 137.30 | 0 | -25595 lb | 0 0 0.00 | 137.44/137.53 c | 137.54 | 0 | -25594 lb | 0 0 0.00 | 137.63/137.76 c | 137.76 | 0 | -25593 lb | 0 0 0.00 | 137.93/138.01 c | 138.02 | 0 | -25592 lb | 0 0 0.00 | 138.13/138.24 c | 138.25 | 0 | -25591 lb | 0 0 0.00 | 138.44/138.52 c | 138.52 | 0 | -25590 lb | 0 0 0.00 | 138.63/138.71 c | 138.72 | 0 | -25589 lb | 0 0 0.00 | 138.73/138.88 c | 138.89 | 0 | -25588 lb | 0 0 0.00 | 139.03/139.18 c | 139.18 | 0 | -25587 lb | 0 0 0.00 | 139.23/139.34 c | 139.34 | 0 | -25586 lb | 0 0 0.00 | 139.43/139.54 c | 139.55 | 0 | -25585 lb | 0 0 0.00 | 139.73/139.82 c | 139.82 | 0 | -25584 lb | 0 0 0.00 | 140.13/140.25 c | 140.25 | 0 | -25583 lb | 0 0 0.00 | 140.32/140.42 c | 140.42 | 0 | -25582 lb | 0 0 0.00 | 140.52/140.62 c | 140.63 | 0 | -25581 lb | 0 0 0.00 | 140.74/140.82 c | 140.82 | 0 | -25580 lb | 0 0 0.00 | 140.83/140.98 c | 140.99 | 0 | -25579 lb | 0 0 0.00 | 141.23/141.30 c | 141.30 | 0 | -25578 lb | 0 0 0.00 | 141.43/141.59 c | 141.59 | 0 | -25577 lb | 0 0 0.00 | 141.74/141.82 c | 141.82 | 0 | -25576 lb | 0 0 0.00 | 143.62/143.75 c | 143.76 | 0 | -25575 lb | 0 0 0.00 | 143.93/144.03 c | 144.03 | 0 | -25574 lb | 0 0 0.00 | 144.22/144.31 c | 144.32 | 0 | -25573 lb | 0 0 0.00 | 144.32/144.49 c | 144.50 | 0 | -25572 lb | 0 0 0.00 | 144.72/144.85 c | 144.85 | 0 | -25571 lb | 0 0 0.00 | 144.92/145.03 c | 145.03 | 0 | -25570 lb | 0 0 0.00 | 145.12/145.22 c | 145.22 | 0 | -25569 lb | 0 0 0.00 | 145.32/145.42 c | 145.42 | 0 | -25568 lb | 0 0 0.00 | 145.52/145.61 c | 145.61 | 0 | -25567 lb | 0 0 0.00 | 145.72/145.85 c | 145.85 | 0 | -25565 lb | 0 0 0.00 | 145.92/146.05 c | 146.05 | 0 | -25564 lb | 0 0 0.00 | 146.22/146.34 c | 146.34 | 0 | -25563 lb | 0 0 0.00 | 146.52/146.62 c | 146.62 | 0 | -25562 lb | 0 0 0.00 | 146.72/146.82 c | 146.82 | 0 | -25561 lb | 0 0 0.00 | 146.92/147.08 c | 147.08 | 0 | -25560 lb | 0 0 0.00 | 147.12/147.27 c | 147.28 | 0 | -25559 lb | 0 0 0.00 | 147.32/147.48 c | 147.49 | 0 | -25558 lb | 0 0 0.00 | 147.61/147.76 c | 147.76 | 0 | -25557 lb | 0 0 0.00 | 151.12/151.25 c | 151.25 | 0 | -25556 lb | 0 0 0.00 | 151.32/151.46 c | 151.47 | 0 | -25555 lb | 0 0 0.00 | 151.52/151.64 c | 151.64 | 0 | -25554 lb | 0 0 0.00 | 151.73/151.83 c | 151.83 | 0 | -25553 lb | 0 0 0.00 | 152.02/152.10 c | 152.11 | 0 | -25552 lb | 0 0 0.00 | 152.22/152.32 c | 152.32 | 0 | -25551 lb | 0 0 0.00 | 157.41/157.59 c | 157.59 | 0 | -25550 lb | 0 0 0.00 | 161.71/161.86 c | 161.86 | 0 | -25549 lb | 0 0 0.00 | 162.11/162.24 c | 162.24 | 0 | -25548 lb | 0 0 0.00 | 163.00/163.14 c | 163.14 | 0 | -25547 lb | 0 0 0.00 | 164.20/164.33 c | 164.33 | 0 | -25546 lb | 0 0 0.00 | 164.40/164.51 c | 164.52 | 0 | -25545 lb | 0 0 0.00 | 164.61/164.73 c | 164.73 | 0 | -25544 lb | 0 0 0.00 | 164.81/164.94 c | 164.95 | 0 | -25543 lb | 0 0 0.00 | 165.00/165.16 c | 165.16 | 0 | -25542 lb | 0 0 0.00 | 170.70/170.88 c | 170.88 | 0 | -25541 lb | 0 0 0.00 | 170.90/171.09 c | 171.09 | 0 | -25540 lb | 0 0 0.00 | 171.20/171.30 c | 171.30 | 0 | -25539 lb | 0 0 0.00 | 171.40/171.57 c | 171.57 | 0 | -25538 lb | 0 0 0.00 | 171.70/171.87 c | 171.87 | 0 | -25537 lb | 0 0 0.00 | 171.90/172.09 c | 172.10 | 0 | -25536 lb | 0 0 0.00 | 172.30/172.44 c | 172.44 | 0 | -25535 lb | 0 0 0.00 | 172.61/172.76 c | 172.77 | 0 | -25534 lb | 0 0 0.00 | 172.90/173.07 c | 173.07 | 0 | -25533 lb | 0 0 0.00 | 173.20/173.35 c | 173.36 | 0 | -25532 lb | 0 0 0.00 | 173.50/173.65 c | 173.65 | 0 | -25531 lb | 0 0 0.00 | 173.80/173.93 c | 173.94 | 0 | -25529 lb | 0 0 0.00 | 174.10/174.28 c | 174.28 | 0 | -25528 lb | 0 0 0.00 | 174.40/174.57 c | 174.57 | 0 | -25527 lb | 0 0 0.00 | 174.70/174.83 c | 174.84 | 0 | -25526 lb | 0 0 0.00 | 175.00/175.16 c | 175.16 | 0 | -25525 lb | 0 0 0.00 | 175.30/175.41 c | 175.41 | 0 | -25524 lb | 0 0 0.00 | 175.50/175.65 c | 175.66 | 0 | -25523 lb | 0 0 0.00 | 175.80/175.95 c | 175.96 | 0 | -25522 lb | 0 0 0.00 | 176.10/176.21 c | 176.21 | 0 | -25521 lb | 0 0 0.00 | 176.30/176.47 c | 176.48 | 0 | -25520 lb | 0 0 0.00 | 176.60/176.74 c | 176.74 | 0 | -25519 lb | 0 0 0.00 | 176.91/177.01 c | 177.01 | 0 | -25518 lb | 0 0 0.00 | 177.10/177.26 c | 177.26 | 0 | -25517 lb | 0 0 0.00 | 177.40/177.51 c | 177.51 | 0 | -25516 lb | 0 0 0.00 | 177.70/177.80 c | 177.80 | 0 | -25515 lb | 0 0 0.00 | 177.90/178.02 c | 178.03 | 0 | -25514 lb | 0 0 0.00 | 178.20/178.31 c | 178.32 | 0 | -25513 lb | 0 0 0.00 | 178.50/178.60 c | 178.60 | 0 | -25512 lb | 0 0 0.00 | 178.70/178.89 c | 178.89 | 0 | -25511 lb | 0 0 0.00 | 179.00/179.17 c | 179.17 | 0 | -25510 lb | 0 0 0.00 | 179.30/179.44 c | 179.44 | 0 | -25509 lb | 0 0 0.00 | 179.60/179.73 c | 179.73 | 0 | -25508 lb | 0 0 0.00 | 180.21/180.33 c | 180.33 | 0 | -25507 lb | 0 0 0.00 | 180.40/180.59 c | 180.59 | 0 | -25506 lb | 0 0 0.00 | 181.00/181.18 c | 181.19 | 0 | -25505 lb | 0 0 0.00 | 181.50/181.62 c | 181.63 | 0 | -25504 lb | 0 0 0.00 | 181.90/182.07 c | 182.08 | 0 | -25503 lb | 0 0 0.00 | 182.69/182.89 c | 182.89 | 0 | -25502 lb | 0 0 0.00 | 183.19/183.32 c | 183.32 | 0 | -25501 lb | 0 0 0.00 | 183.69/183.83 c | 183.83 | 0 | -25500 lb | 0 0 0.00 | 184.19/184.32 c | 184.32 | 0 | -25499 lb | 0 0 0.00 | 184.70/184.85 c | 184.86 | 0 | -25498 lb | 0 0 0.00 | 185.40/185.57 c | 185.57 | 0 | -25497 lb | 0 0 0.00 | 185.70/185.89 c | 185.89 | 0 | -25496 lb | 0 0 0.00 | 186.00/186.18 c | 186.19 | 0 | -25495 lb | 0 0 0.00 | 186.70/186.86 c | 186.87 | 0 | -25494 lb | 0 0 0.00 | 187.30/187.46 c | 187.47 | 0 | -25493 lb | 0 0 0.00 | 188.00/188.14 c | 188.15 | 0 | -25492 lb | 0 0 0.00 | 188.39/188.50 c | 188.51 | 0 | -25491 lb | 0 0 0.00 | 189.19/189.38 c | 189.39 | 0 | -25490 lb | 0 0 0.00 | 189.59/189.71 c | 189.72 | 0 | -25489 lb | 0 0 0.00 | 190.11/190.30 c | 190.30 | 0 | -25488 lb | 0 0 0.00 | 190.80/190.90 c | 190.91 | 0 | -25487 lb | 0 0 0.00 | 191.10/191.21 c | 191.21 | 0 | -25486 lb | 0 0 0.00 | 191.50/191.62 c | 191.62 | 0 | -25485 lb | 0 0 0.00 | 192.00/192.19 c | 192.19 | 0 | -25484 lb | 0 0 0.00 | 192.50/192.65 c | 192.65 | 0 | -25483 lb | 0 0 0.00 | 192.79/192.94 c | 192.95 | 0 | -25482 lb | 0 0 0.00 | 193.09/193.26 c | 193.26 | 0 | -25481 lb | 0 0 0.00 | 193.50/193.66 c | 193.66 | 0 | -25480 lb | 0 0 0.00 | 193.99/194.12 c | 194.13 | 0 | -25479 lb | 0 0 0.00 | 194.50/194.64 c | 194.65 | 0 | -25478 lb | 0 0 0.00 | 194.99/195.14 c | 195.14 | 0 | -25477 lb | 0 0 0.00 | 195.60/195.77 c | 195.77 | 0 | -25476 lb | 0 0 0.00 | 195.99/196.15 c | 196.16 | 0 | -25475 lb | 0 0 0.00 | 196.70/196.81 c | 196.81 | 0 | -25474 lb | 0 0 0.00 | 197.29/197.40 c | 197.40 | 0 | -25473 lb | 0 0 0.00 | 197.60/197.79 c | 197.79 | 0 | -25472 lb | 0 0 0.00 | 198.00/198.17 c | 198.18 | 0 | -25471 lb | 0 0 0.00 | 198.30/198.49 c | 198.49 | 0 | -25470 lb | 0 0 0.00 | 199.70/199.83 c | 199.84 | 0 | -25469 lb | 0 0 0.00 | 204.69/204.84 c | 204.84 | 0 | -25468 lb | 0 0 0.00 | 204.99/205.19 c | 205.19 | 0 | -25467 lb | 0 0 0.00 | 205.69/205.81 c | 205.81 | 0 | -25466 lb | 0 0 0.00 | 205.99/206.19 c | 206.20 | 0 | -25465 lb | 0 0 0.00 | 206.49/206.63 c | 206.63 | 0 | -25464 lb | 0 0 0.00 | 206.89/207.06 c | 207.06 | 0 | -25463 lb | 0 0 0.00 | 207.70/207.86 c | 207.87 | 0 | -25462 lb | 0 0 0.00 | 208.09/208.21 c | 208.22 | 0 | -25461 lb | 0 0 0.00 | 208.49/208.60 c | 208.61 | 0 | -25460 lb | 0 0 0.00 | 208.89/209.02 c | 209.03 | 0 | -25459 lb | 0 0 0.00 | 209.20/209.32 c | 209.33 | 0 | -25458 lb | 0 0 0.00 | 209.80/209.99 c | 209.99 | 0 | -25457 lb | 0 0 0.00 | 210.30/210.47 c | 210.47 | 0 | -25456 lb | 0 0 0.00 | 210.90/211.04 c | 211.04 | 0 | -25455 lb | 0 0 0.00 | 211.49/211.60 c | 211.61 | 0 | -25454 lb | 0 0 0.00 | 212.39/212.58 c | 212.59 | 0 | -25453 lb | 0 0 0.00 | 213.89/214.06 c | 214.06 | 0 | -25452 lb | 0 0 0.00 | 214.19/214.36 c | 214.37 | 0 | -25451 lb | 0 0 0.00 | 214.49/214.66 c | 214.66 | 0 | -25450 lb | 0 0 0.00 | 216.29/216.40 c | 216.40 | 0 | -25449 lb | 0 0 0.00 | 216.59/216.70 c | 216.71 | 0 | -25448 lb | 0 0 0.00 | 216.89/217.00 c | 217.00 | 0 | -25447 lb | 0 0 0.00 | 217.09/217.28 c | 217.28 | 0 | -25446 lb | 0 0 0.00 | 217.39/217.59 c | 217.59 | 0 | -25445 lb | 0 0 0.00 | 217.79/217.92 c | 217.93 | 0 | -25444 lb | 0 0 0.00 | 218.09/218.23 c | 218.24 | 0 | -25443 lb | 0 0 0.00 | 218.39/218.52 c | 218.53 | 0 | -25442 lb | 0 0 0.00 | 218.69/218.83 c | 218.84 | 0 | -25441 lb | 0 0 0.00 | 218.99/219.15 c | 219.15 | 0 | -25440 lb | 0 0 0.00 | 219.39/219.51 c | 219.51 | 0 | -25439 lb | 0 0 0.00 | 219.69/219.87 c | 219.87 | 0 | -25438 lb | 0 0 0.00 | 220.09/220.26 c | 220.26 | 0 | -25437 lb | 0 0 0.00 | 220.39/220.57 c | 220.57 | 0 | -25436 lb | 0 0 0.00 | 220.79/220.91 c | 220.91 | 0 | -25435 lb | 0 0 0.00 | 221.09/221.26 c | 221.26 | 0 | -25434 lb | 0 0 0.00 | 221.49/221.66 c | 221.66 | 0 | -25433 lb | 0 0 0.00 | 224.68/224.83 c | 224.83 | 0 | -25432 lb | 0 0 0.00 | 224.98/225.13 c | 225.13 | 0 | -25431 lb | 0 0 0.00 | 225.29/225.45 c | 225.46 | 0 | -25430 lb | 0 0 0.00 | 226.29/226.47 c | 226.47 | 0 | -25429 lb | 0 0 0.00 | 226.59/226.78 c | 226.78 | 0 | -25428 lb | 0 0 0.00 | 226.99/227.13 c | 227.13 | 0 | -25427 lb | 0 0 0.00 | 227.29/227.46 c | 227.46 | 0 | -25426 lb | 0 0 0.00 | 227.69/227.82 c | 227.82 | 0 | -25425 lb | 0 0 0.00 | 227.99/228.17 c | 228.17 | 0 | -25424 lb | 0 0 0.00 | 228.99/229.14 c | 229.15 | 0 | -25423 lb | 0 0 0.00 | 229.99/230.15 c | 230.16 | 0 | -25422 lb | 0 0 0.00 | 231.19/231.39 c | 231.39 | 0 | -25421 lb | 0 0 0.00 | 231.79/231.90 c | 231.90 | 0 | -25420 lb | 0 0 0.00 | 232.09/232.28 c | 232.29 | 0 | -25419 lb | 0 0 0.00 | 232.59/232.72 c | 232.72 | 0 | -25418 lb | 0 0 0.00 | 232.99/233.17 c | 233.18 | 0 | -25417 lb | 0 0 0.00 | 233.69/233.85 c | 233.85 | 0 | -25416 lb | 0 0 0.00 | 235.59/235.75 c | 235.75 | 0 | -25415 lb | 0 0 0.00 | 235.88/236.07 c | 236.08 | 0 | -25414 lb | 0 0 0.00 | 236.29/236.43 c | 236.44 | 0 | -25413 lb | 0 0 0.00 | 236.58/236.74 c | 236.75 | 0 | -25412 lb | 0 0 0.00 | 236.88/237.08 c | 237.08 | 0 | -25411 lb | 0 0 0.00 | 237.29/237.41 c | 237.41 | 0 | -25410 lb | 0 0 0.00 | 237.98/238.16 c | 238.16 | 0 | -25409 lb | 0 0 0.00 | 238.38/238.55 c | 238.55 | 0 | -25408 lb | 0 0 0.00 | 238.79/238.95 c | 238.95 | 0 | -25407 lb | 0 0 0.00 | 239.79/239.99 c | 240.00 | 0 | -25406 lb | 0 0 0.00 | 240.19/240.33 c | 240.34 | 0 | -25405 lb | 0 0 0.00 | 240.49/240.69 c | 240.69 | 0 | -25404 lb | 0 0 0.00 | 241.09/241.28 c | 241.28 | 0 | -25403 lb | 0 0 0.00 | 241.58/241.72 c | 241.72 | 0 | -25402 lb | 0 0 0.00 | 241.98/242.10 c | 242.10 | 0 | -25401 lb | 0 0 0.00 | 242.28/242.45 c | 242.45 | 0 | -25400 lb | 0 0 0.00 | 245.19/245.38 c | 245.39 | 0 | -25399 lb | 0 0 0.00 | 245.59/245.75 c | 245.75 | 0 | -25398 lb | 0 0 0.00 | 246.09/246.20 c | 246.20 | 0 | -25397 lb | 0 0 0.00 | 246.58/246.70 c | 246.70 | 0 | -25396 lb | 0 0 0.00 | 246.98/247.16 c | 247.16 | 0 | -25395 lb | 0 0 0.00 | 247.48/247.62 c | 247.62 | 0 | -25394 lb | 0 0 0.00 | 247.98/248.14 c | 248.14 | 0 | -25393 lb | 0 0 0.00 | 248.50/248.67 c | 248.67 | 0 | -25392 lb | 0 0 0.00 | 248.99/249.10 c | 249.11 | 0 | -25391 lb | 0 0 0.00 | 249.89/250.05 c | 250.06 | 0 | -25390 lb | 0 0 0.00 | 250.29/250.46 c | 250.47 | 0 | -25389 lb | 0 0 0.00 | 250.78/250.99 c | 251.00 | 0 | -25387 lb | 0 0 0.00 | 251.38/251.54 c | 251.55 | 0 | -25386 lb | 0 0 0.00 | 254.88/255.00 c | 255.00 | 0 | -25385 lb | 0 0 0.00 | 255.38/255.54 c | 255.54 | 0 | -25384 lb | 0 0 0.00 | 256.68/256.89 c | 256.89 | 0 | -25383 lb | 0 0 0.00 | 257.19/257.37 c | 257.37 | 0 | -25382 lb | 0 0 0.00 | 257.78/257.95 c | 257.95 | 0 | -25381 lb | 0 0 0.00 | 259.18/259.37 c | 259.38 | 0 | -25380 lb | 0 0 0.00 | 259.58/259.75 c | 259.76 | 0 | -25379 lb | 0 0 0.00 | 261.69/261.83 c | 261.84 | 0 | -25378 lb | 0 0 0.00 | 262.38/262.57 c | 262.57 | 0 | -25377 lb | 0 0 0.00 | 263.08/263.29 c | 263.29 | 0 | -25376 lb | 0 0 0.00 | 263.88/264.07 c | 264.07 | 0 | -25375 lb | 0 0 0.00 | 269.48/269.67 c | 269.67 | 0 | -25374 lb | 0 0 0.00 | 270.49/270.69 c | 270.70 | 0 | -25373 lb | 0 0 0.00 | 271.18/271.34 c | 271.34 | 0 | -25372 lb | 0 0 0.00 | 274.89/275.07 c | 275.07 | 0 | -25371 lb | 0 0 0.00 | 277.88/278.02 c | 278.02 | 0 | -25370 lb | 0 0 0.00 | 280.58/280.72 c | 280.72 | 0 | -25369 lb | 0 0 0.00 | 281.58/281.75 c | 281.75 | 0 | -25368 lb | 0 0 0.00 | 282.78/282.91 c | 282.91 | 0 | -25367 lb | 0 0 0.00 | 284.78/284.93 c | 284.94 | 0 | -25366 lb | 0 0 0.00 | 286.68/286.85 c | 286.85 | 0 | -25365 lb | 0 0 0.00 | 292.18/292.33 c | 292.33 | 0 | -25364 lb | 0 0 0.00 | 313.37/313.59 c | 313.60 | 0 | -25363 lb | 0 0 0.00 | 324.16/324.33 c | 324.33 | 0 | -25362 lb | 0 0 0.00 | 355.03/355.22 c | 355.23 | 0 | -25361 lb | 0 0 0.00 | 356.83/357.07 c | 357.07 | 0 | -25360 lb | 0 0 0.00 | 360.33/360.57 c | 360.57 | 0 | -25359 lb | 0 0 0.00 | 363.33/363.58 c | 363.59 | 0 | -25358 lb | 0 0 0.00 | 393.63/393.83 c | 393.84 | 0 | -25357 lb | 0 0 0.00 | 407.02/407.27 c | 407.27 | 0 | -25356 lb | 0 0 0.00 | 550.40/550.67 c | 550.67 | 0 | -25355 lb | 0 0 0.00 | 557.29/557.56 c | 557.56 | 0 | -25354 lb | 0 0 0.00 | 582.09/582.34 c | 582.35 | 0 | -25353 lb | 0 0 0.00 | 586.28/586.51 c | 586.51 | 0 | -25352 lb | 0 0 0.00 | 592.78/593.05 c | 593.06 | 0 | -25351 lb | 0 0 0.00 | 721.86/722.14 c | 722.14 | 0 | -25350 lb | 0 0 0.00 | 768.86/769.16 c | 769.16 | 0 | -25349 lb | 0 0 0.00 | 790.75/791.02 c | 791.03 | 0 | -25348 lb | 0 0 0.00 | 820.26/820.53 c | 820.53 | 0 | -25347 lb | 0 0 0.00 | 828.95/829.24 c | 829.24 | 0 | -25346 lb | 0 0 0.00 | 855.24/855.53 c | 855.53 | 0 | -25345 lb | 0 0 0.00 | 881.13/881.48 c | 881.48 | 0 | -25344 lb | 0 0 0.00 | 1799.55/1800.00 c =============================================================================== 1799.55/1800.00 c Wall Clock Time: 1800.00 s 1799.55/1800.00 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-3727862-1338671148/watcher-3727862-1338671148 -o /tmp/evaluation-result-3727862-1338671148/solver-3727862-1338671148 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727862-1338671148.opb running on 4 cores: 0,2,4,6 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.00 2.00 2.04 2/175 4047 /proc/meminfo: memFree=26021716/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=6112 CPUtime=0 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) R 4045 4047 3468 0 -1 4202496 451 0 0 0 0 0 0 0 20 0 1 0 333240254 6258688 403 33554432000 4194304 5964350 140735094494752 140736030242952 5134084 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 1528 403 171 433 0 483 0 [startup+0.0927641 s] /proc/loadavg: 2.00 2.00 2.04 2/175 4047 /proc/meminfo: memFree=26021716/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=14716 CPUtime=0.08 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) R 4045 4047 3468 0 -1 4202496 2813 0 0 0 8 0 0 0 20 0 1 0 333240254 15069184 2716 33554432000 4194304 5964350 140735094494752 140736030242952 5136410 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 3679 2717 453 433 0 2634 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14716 [startup+0.100239 s] /proc/loadavg: 2.00 2.00 2.04 2/175 4047 /proc/meminfo: memFree=26021716/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=15756 CPUtime=0.09 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) R 4045 4047 3468 0 -1 4202496 3040 0 0 0 9 0 0 0 20 0 1 0 333240254 16134144 2943 33554432000 4194304 5964350 140735094494752 140736030242952 5136410 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 3939 2943 476 433 0 2894 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15756 [startup+0.300129 s] /proc/loadavg: 2.00 2.00 2.04 2/175 4047 /proc/meminfo: memFree=26021716/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=104056 CPUtime=0.29 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 13699 0 0 0 27 2 0 0 20 0 2 0 333240254 106553344 11744 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 26014 11744 193 433 0 25578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 104056 [startup+0.700129 s] /proc/loadavg: 2.00 2.00 2.04 2/175 4047 /proc/meminfo: memFree=26021716/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=100036 CPUtime=0.69 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 17524 0 0 0 67 2 0 0 20 0 2 0 333240254 102436864 13995 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 25009 13995 196 433 0 24573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 100036 [startup+1.5002 s] /proc/loadavg: 2.00 2.00 2.04 3/177 4049 /proc/meminfo: memFree=25964552/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=100036 CPUtime=1.48 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 18186 0 0 0 146 2 0 0 20 0 2 0 333240254 102436864 14351 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 25009 14351 198 433 0 24573 0 [pid=4047/tid=4049] ppid=4045 vsize=100036 CPUtime=1.28 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 12665 0 0 0 126 2 0 0 20 0 2 0 333240274 102436864 14351 33554432000 4194304 5964350 140735094494752 140707366730072 4389080 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 100036 [startup+3.10021 s] /proc/loadavg: 2.00 2.00 2.04 3/177 4049 /proc/meminfo: memFree=25965784/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=100036 CPUtime=3.09 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 19209 0 0 0 306 3 0 0 20 0 2 0 333240254 102436864 13956 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 25009 13956 198 433 0 24573 0 [pid=4047/tid=4049] ppid=4045 vsize=100036 CPUtime=2.87 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 13688 0 0 0 285 2 0 0 20 0 2 0 333240274 102436864 13956 33554432000 4194304 5964350 140735094494752 140707366730568 4403210 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 100036 [startup+6.30026 s] /proc/loadavg: 2.08 2.02 2.04 3/177 4049 /proc/meminfo: memFree=25954496/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=102200 CPUtime=6.28 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 23533 0 0 0 625 3 0 0 20 0 2 0 333240254 104652800 15216 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 25550 15216 198 433 0 25114 0 [pid=4047/tid=4049] ppid=4045 vsize=102200 CPUtime=6.06 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 18012 0 0 0 604 2 0 0 20 0 2 0 333240274 104652800 15216 33554432000 4194304 5964350 140735094494752 140707366730568 4399835 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 102200 [startup+12.7003 s] /proc/loadavg: 2.07 2.02 2.04 3/177 4049 /proc/meminfo: memFree=25940252/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=100036 CPUtime=12.68 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 28795 0 0 0 1264 4 0 0 20 0 2 0 333240254 102436864 17887 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 25009 17887 198 433 0 24573 0 [pid=4047/tid=4049] ppid=4045 vsize=100036 CPUtime=12.44 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 23274 0 0 0 1241 3 0 0 20 0 2 0 333240274 102436864 17887 33554432000 4194304 5964350 140735094494752 140707366730072 4392658 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 100036 [startup+25.5003 s] /proc/loadavg: 2.06 2.01 2.04 3/177 4049 /proc/meminfo: memFree=25932680/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=100036 CPUtime=25.47 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 31791 0 0 0 2542 5 0 0 20 0 2 0 333240254 102436864 19315 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 25009 19315 198 433 0 24573 0 [pid=4047/tid=4049] ppid=4045 vsize=100036 CPUtime=25.21 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 26270 0 0 0 2517 4 0 0 20 0 2 0 333240274 102436864 19315 33554432000 4194304 5964350 140735094494752 140707366730072 4403637 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 100036 [startup+51.1003 s] /proc/loadavg: 2.04 2.01 2.04 3/177 4049 /proc/meminfo: memFree=25898176/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=165572 CPUtime=51.06 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 38195 0 0 0 5099 7 0 0 20 0 2 0 333240254 169545728 25702 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 41393 25702 198 433 0 40957 0 [pid=4047/tid=4049] ppid=4045 vsize=165572 CPUtime=50.72 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 32674 0 0 0 5066 6 0 0 20 0 2 0 333240274 169545728 25702 33554432000 4194304 5964350 140735094494752 140707366730264 4391432 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 165572 [startup+102.306 s] /proc/loadavg: 2.01 2.01 2.03 3/177 4049 /proc/meminfo: memFree=25878668/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=165572 CPUtime=102.25 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 38921 0 0 0 10218 7 0 0 20 0 2 0 333240254 169545728 26872 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 41393 26872 198 433 0 40957 0 [pid=4047/tid=4049] ppid=4045 vsize=165572 CPUtime=101.79 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 33400 0 0 0 10172 7 0 0 20 0 2 0 333240274 169545728 26872 33554432000 4194304 5964350 140735094494752 140707366730072 4389080 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 165572 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.03 3/177 4049 /proc/meminfo: memFree=25806372/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=231108 CPUtime=162.2 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 99936 0 0 0 16204 16 0 0 20 0 2 0 333240254 236654592 42174 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 57777 42174 198 433 0 57341 0 [pid=4047/tid=4049] ppid=4045 vsize=231108 CPUtime=161.61 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 94415 0 0 0 16143 18 0 0 20 0 2 0 333240274 236654592 42174 33554432000 4194304 5964350 140735094494752 140707366730136 5122206 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 231108 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.02 3/177 4049 /proc/meminfo: memFree=25752340/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=231108 CPUtime=222.19 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 152566 0 0 0 22194 25 0 0 20 0 2 0 333240254 236654592 53739 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 57777 53739 198 433 0 57341 0 [pid=4047/tid=4049] ppid=4045 vsize=231108 CPUtime=221.44 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 147045 0 0 0 22117 27 0 0 20 0 2 0 333240274 236654592 53739 33554432000 4194304 5964350 140735094494752 140707366730264 4392838 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 231108 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.01 3/178 4053 /proc/meminfo: memFree=25686948/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=296644 CPUtime=282.18 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 182293 0 0 0 28186 32 0 0 20 0 2 0 333240254 303763456 64620 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 74161 64620 198 433 0 73725 0 [pid=4047/tid=4049] ppid=4045 vsize=296644 CPUtime=281.29 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 176772 0 0 0 28094 35 0 0 20 0 2 0 333240274 303763456 64620 33554432000 4194304 5964350 140735094494752 140707366730568 4222304 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 296644 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.01 3/177 4053 /proc/meminfo: memFree=25676596/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=296644 CPUtime=342.15 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 184398 0 0 0 34182 33 0 0 20 0 2 0 333240254 303763456 67710 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 74161 67710 198 433 0 73725 0 [pid=4047/tid=4049] ppid=4045 vsize=296644 CPUtime=341.11 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 178877 0 0 0 34074 37 0 0 20 0 2 0 333240274 303763456 67710 33554432000 4194304 5964350 140735094494752 140707366730072 4392755 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 296644 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4053 /proc/meminfo: memFree=25654740/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=296644 CPUtime=402.12 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 185701 0 0 0 40179 33 0 0 20 0 2 0 333240254 303763456 69099 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 74161 69099 198 433 0 73725 0 [pid=4047/tid=4049] ppid=4045 vsize=296644 CPUtime=400.94 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 180180 0 0 0 40056 38 0 0 20 0 2 0 333240274 303763456 69099 33554432000 4194304 5964350 140735094494752 140707366730568 4390788 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 296644 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4053 /proc/meminfo: memFree=25636248/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=362180 CPUtime=462.11 cores=0,2,4,6 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4059 /proc/meminfo: memFree=25397208/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=427716 CPUtime=1421.94 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 210806 0 0 0 142146 48 0 0 20 0 2 0 333240254 437981184 94803 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 106929 94803 198 433 0 106493 0 [pid=4047/tid=4049] ppid=4045 vsize=427716 CPUtime=1418.31 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 205285 0 0 0 141763 68 0 0 20 0 2 0 333240274 437981184 94803 33554432000 4194304 5964350 140735094494752 140707366729768 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 427716 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4062 /proc/meminfo: memFree=25366608/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=427716 CPUtime=1481.93 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 213612 0 0 0 148141 52 0 0 20 0 2 0 333240254 437981184 97609 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 106929 97609 198 433 0 106493 0 [pid=4047/tid=4049] ppid=4045 vsize=427716 CPUtime=1478.15 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 208091 0 0 0 147742 73 0 0 20 0 2 0 333240274 437981184 97609 33554432000 4194304 5964350 140735094494752 140707366729720 4399858 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 427716 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4063 /proc/meminfo: memFree=25355208/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=427716 CPUtime=1541.92 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 216297 0 0 0 154138 54 0 0 20 0 2 0 333240254 437981184 100294 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 106929 100294 198 433 0 106493 0 [pid=4047/tid=4049] ppid=4045 vsize=427716 CPUtime=1537.99 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 210776 0 0 0 153723 76 0 0 20 0 2 0 333240274 437981184 100294 33554432000 4194304 5964350 140735094494752 140707366729720 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 427716 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4063 /proc/meminfo: memFree=25331708/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=493252 CPUtime=1601.91 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 217958 0 0 0 160135 56 0 0 20 0 2 0 333240254 505090048 102466 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 123313 102466 198 433 0 122877 0 [pid=4047/tid=4049] ppid=4045 vsize=493252 CPUtime=1597.84 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 212437 0 0 0 159705 79 0 0 20 0 2 0 333240274 505090048 102466 33554432000 4194304 5964350 140735094494752 140707366729608 4389084 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 493252 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 4063 /proc/meminfo: memFree=25329384/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=493252 CPUtime=1661.89 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 217973 0 0 0 166133 56 0 0 20 0 2 0 333240254 505090048 102656 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 123313 102656 198 433 0 122877 0 [pid=4047/tid=4049] ppid=4045 vsize=493252 CPUtime=1657.67 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 212452 0 0 0 165687 80 0 0 20 0 2 0 333240274 505090048 102656 33554432000 4194304 5964350 140735094494752 140707366729608 4387859 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 493252 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4064 /proc/meminfo: memFree=25317512/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=493252 CPUtime=1721.87 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 219604 0 0 0 172129 58 0 0 20 0 2 0 333240254 505090048 104408 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 123313 104408 198 433 0 122877 0 [pid=4047/tid=4049] ppid=4045 vsize=493252 CPUtime=1717.5 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 214083 0 0 0 171667 83 0 0 20 0 2 0 333240274 505090048 104408 33554432000 4194304 5964350 140735094494752 140707366729720 4392783 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 493252 [startup+1782.3 s] /proc/loadavg: 2.06 2.01 2.00 3/177 4103 /proc/meminfo: memFree=25073568/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=493252 CPUtime=1781.85 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 223353 0 0 0 178122 63 0 0 20 0 2 0 333240254 505090048 108157 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 123313 108157 198 433 0 122877 0 [pid=4047/tid=4049] ppid=4045 vsize=493252 CPUtime=1777.35 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 217832 0 0 0 177646 89 0 0 20 0 2 0 333240274 505090048 108157 33554432000 4194304 5964350 140735094494752 140707366729528 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 493252 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.05 2.01 2.00 3/177 4103 /proc/meminfo: memFree=25048500/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=493252 CPUtime=1791.46 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 223745 0 0 0 179082 64 0 0 20 0 2 0 333240254 505090048 108549 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 123313 108549 198 433 0 122877 0 [pid=4047/tid=4049] ppid=4045 vsize=493252 CPUtime=1786.93 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 218224 0 0 0 178603 90 0 0 20 0 2 0 333240274 505090048 108549 33554432000 4194304 5964350 140735094494752 140707366729768 4400548 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 493252 [startup+1795.1 s] /proc/loadavg: 2.04 2.01 2.00 3/176 4103 /proc/meminfo: memFree=25033368/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=493252 CPUtime=1794.66 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 223892 0 0 0 179402 64 0 0 20 0 2 0 333240254 505090048 108696 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 123313 108696 198 433 0 122877 0 [pid=4047/tid=4049] ppid=4045 vsize=493252 CPUtime=1790.12 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 218371 0 0 0 178922 90 0 0 20 0 2 0 333240274 505090048 108696 33554432000 4194304 5964350 140735094494752 140707366729768 4392912 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 493252 [startup+1798.3 s] /proc/loadavg: 2.04 2.01 2.00 3/176 4103 /proc/meminfo: memFree=25010468/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=493252 CPUtime=1797.85 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 224059 0 0 0 179721 64 0 0 20 0 2 0 333240254 505090048 108863 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 123313 108863 198 433 0 122877 0 [pid=4047/tid=4049] ppid=4045 vsize=493252 CPUtime=1793.31 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 218538 0 0 0 179241 90 0 0 20 0 2 0 333240274 505090048 108863 33554432000 4194304 5964350 140735094494752 140707366729528 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 493252 [startup+1799.1 s] /proc/loadavg: 2.04 2.01 2.00 3/176 4103 /proc/meminfo: memFree=24999796/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=493252 CPUtime=1798.65 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 224059 0 0 0 179801 64 0 0 20 0 2 0 333240254 505090048 108863 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 123313 108863 198 433 0 122877 0 [pid=4047/tid=4049] ppid=4045 vsize=493252 CPUtime=1794.11 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 218538 0 0 0 179321 90 0 0 20 0 2 0 333240274 505090048 108863 33554432000 4194304 5964350 140735094494752 140707366729528 4400352 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (KiB) 493252 [startup+1799.5 s] /proc/loadavg: 2.04 2.01 2.00 3/177 4104 /proc/meminfo: memFree=25003884/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=493252 CPUtime=1799.06 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 224059 0 0 0 179842 64 0 0 20 0 2 0 333240254 505090048 108863 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 123313 108863 198 433 0 122877 0 [pid=4047/tid=4049] ppid=4045 vsize=493252 CPUtime=1794.51 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 218538 0 0 0 179361 90 0 0 20 0 2 0 333240274 505090048 108863 33554432000 4194304 5964350 140735094494752 140707366729528 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.06 Current children cumulated vsize (KiB) 493252 [startup+1799.9 s] /proc/loadavg: 2.04 2.01 2.00 3/177 4104 /proc/meminfo: memFree=25003884/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=493252 CPUtime=1799.45 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 224064 0 0 0 179881 64 0 0 20 0 2 0 333240254 505090048 108868 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 123313 108868 198 433 0 122877 0 [pid=4047/tid=4049] ppid=4045 vsize=493252 CPUtime=1794.9 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 218543 0 0 0 179400 90 0 0 20 0 2 0 333240274 505090048 108868 33554432000 4194304 5964350 140735094494752 140707366729528 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (KiB) 493252 [startup+1800 s] /proc/loadavg: 2.04 2.01 2.00 3/177 4104 /proc/meminfo: memFree=25003884/32873852 swapFree=6856/6856 [pid=4047] ppid=4045 vsize=493252 CPUtime=1799.55 cores=0,2,4,6 /proc/4047/stat : 4047 (wbo1.72) S 4045 4047 3468 0 -1 4202496 224067 0 0 0 179891 64 0 0 20 0 2 0 333240254 505090048 108871 33554432000 4194304 5964350 140735094494752 140735094494272 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4047/statm: 123313 108871 198 433 0 122877 0 [pid=4047/tid=4049] ppid=4045 vsize=493252 CPUtime=1795 cores=0,2,4,6 /proc/4047/task/4049/stat : 4049 (wbo1.72) R 4045 4047 3468 0 -1 4202560 218546 0 0 0 179410 90 0 0 20 0 2 0 333240274 505090048 108871 33554432000 4194304 5964350 140735094494752 140707366729528 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (KiB) 493252 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4047 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=308223 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=918860 # CPU time returned by wait4() is 1795.23 # while last known CPU time is 1799.55 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.01 CPU time (s): 1799.55 CPU user time (s): 1798.91 CPU system time (s): 0.64 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 493252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.31 system time used= 0.91886 maximum resident set size= 435492 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 224069 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= 158 involuntary context switches= 2009 runsolver used 2.71559 second user time and 7.12692 second system time The end
Begin job on node129 at 2012-06-02 23:05:48 IDJOB=3727862 IDBENCH=90325 IDSOLVER=2313 FILE ID=node129/3727862-1338671148 RUNJOBID= node129-1338669321-3785 PBS_JOBID= 14636510 Free space on /tmp= 70476 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727862-1338671148/watcher-3727862-1338671148 -o /tmp/evaluation-result-3727862-1338671148/solver-3727862-1338671148 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727862-1338671148.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9437b3e9d1ce9c682b2f5f71866292ee RANDOM SEED=1530998879 node129.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 : 2666.957 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 : 5333.91 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 : 2666.957 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 : 2666.957 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 : 2666.957 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 : 2666.957 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.90 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 : 2666.957 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.92 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 : 2666.957 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.90 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 : 2666.957 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 26022624 kB Buffers: 450160 kB Cached: 5479812 kB SwapCached: 0 kB Active: 2519068 kB Inactive: 3457532 kB Active(anon): 37920 kB Inactive(anon): 10760 kB Active(file): 2481148 kB Inactive(file): 3446772 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13736 kB Writeback: 0 kB AnonPages: 52544 kB Mapped: 15344 kB Shmem: 204 kB Slab: 738532 kB SReclaimable: 180676 kB SUnreclaim: 557856 kB KernelStack: 1472 kB PageTables: 3772 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 142796 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 28672 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= 70444 MiB End job on node129 at 2012-06-02 23:35:48