| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.7 | ? | 1799.64 | 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.7 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3705561-1338118837.opb. 0.00/0.00 c Instance file HOME/instance-3705561-1338118837.opb 0.00/0.00 c File size is 2494378 bytes. 0.19/0.20 c Cost Offset: -26273 0.19/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.28 c | 0.28 | 0 | -26272 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | -26271 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | -26269 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 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.46 | 0 | -26241 lb | 0 0 0.00 | 0.39/0.49 c | 0.49 | 0 | -26209 lb | 0 0 0.00 | 0.48/0.53 c | 0.53 | 0 | -26145 lb | 0 0 0.00 | 0.48/0.56 c | 0.56 | 0 | -26017 lb | 0 0 0.00 | 0.58/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.39/1.49 c | 1.49 | 0 | -26012 lb | 0 0 0.00 | 2.09/2.12 c | 2.13 | 0 | -26011 lb | 0 0 0.00 | 2.49/2.55 c | 2.55 | 0 | -26010 lb | 0 0 0.00 | 2.69/2.72 c | 2.72 | 0 | -26009 lb | 0 0 0.00 | 2.99/3.02 c | 3.03 | 0 | -26008 lb | 0 0 0.00 | 3.09/3.15 c | 3.15 | 0 | -26007 lb | 0 0 0.00 | 3.39/3.41 c | 3.41 | 0 | -26006 lb | 0 0 0.00 | 3.59/3.63 c | 3.63 | 0 | -26005 lb | 0 0 0.00 | 3.79/3.83 c | 3.84 | 0 | -26004 lb | 0 0 0.00 | 3.89/3.99 c | 3.99 | 0 | -26003 lb | 0 0 0.00 | 4.19/4.26 c | 4.27 | 0 | -26002 lb | 0 0 0.00 | 4.29/4.39 c | 4.39 | 0 | -26001 lb | 0 0 0.00 | 4.58/4.61 c | 4.61 | 0 | -26000 lb | 0 0 0.00 | 4.78/4.81 c | 4.82 | 0 | -25999 lb | 0 0 0.00 | 7.28/7.37 c | 7.38 | 0 | -25998 lb | 0 0 0.00 | 7.59/7.61 c | 7.61 | 0 | -25997 lb | 0 0 0.00 | 7.70/7.77 c | 7.77 | 0 | -25996 lb | 0 0 0.00 | 7.89/7.93 c | 7.94 | 0 | -25995 lb | 0 0 0.00 | 8.49/8.51 c | 8.51 | 0 | -25993 lb | 0 0 0.00 | 8.99/9.07 c | 9.08 | 0 | -25976 lb | 0 0 0.00 | 9.19/9.29 c | 9.29 | 0 | -25975 lb | 0 0 0.00 | 9.39/9.41 c | 9.41 | 0 | -25974 lb | 0 0 0.00 | 9.59/9.65 c | 9.65 | 0 | -25973 lb | 0 0 0.00 | 10.08/10.10 c | 10.10 | 0 | -25972 lb | 0 0 0.00 | 10.18/10.23 c | 10.23 | 0 | -25971 lb | 0 0 0.00 | 10.28/10.38 c | 10.38 | 0 | -25970 lb | 0 0 0.00 | 10.78/10.90 c | 10.90 | 0 | -25969 lb | 0 0 0.00 | 12.38/12.49 c | 12.50 | 0 | -25968 lb | 0 0 0.00 | 12.68/12.72 c | 12.72 | 0 | -25967 lb | 0 0 0.00 | 14.08/14.17 c | 14.18 | 0 | -25966 lb | 0 0 0.00 | 14.29/14.33 c | 14.33 | 0 | -25939 lb | 0 0 0.00 | 14.48/14.53 c | 14.53 | 0 | -25883 lb | 0 0 0.00 | 14.58/14.66 c | 14.66 | 0 | -25882 lb | 0 0 0.00 | 14.78/14.88 c | 14.88 | 0 | -25881 lb | 0 0 0.00 | 14.98/15.04 c | 15.04 | 0 | -25880 lb | 0 0 0.00 | 16.49/16.58 c | 16.59 | 0 | -25879 lb | 0 0 0.00 | 16.68/16.76 c | 16.76 | 0 | -25878 lb | 0 0 0.00 | 17.08/17.15 c | 17.15 | 0 | -25877 lb | 0 0 0.00 | 17.38/17.48 c | 17.48 | 0 | -25876 lb | 0 0 0.00 | 17.98/18.05 c | 18.05 | 0 | -25875 lb | 0 0 0.00 | 18.18/18.21 c | 18.22 | 0 | -25874 lb | 0 0 0.00 | 18.28/18.38 c | 18.39 | 0 | -25873 lb | 0 0 0.00 | 18.48/18.58 c | 18.58 | 0 | -25872 lb | 0 0 0.00 | 20.90/20.92 c | 20.92 | 0 | -25871 lb | 0 0 0.00 | 22.99/23.05 c | 23.05 | 0 | -25869 lb | 0 0 0.00 | 25.19/25.28 c | 25.29 | 0 | -25868 lb | 0 0 0.00 | 28.79/28.81 c | 28.82 | 0 | -25867 lb | 0 0 0.00 | 28.99/29.06 c | 29.06 | 0 | -25865 lb | 0 0 0.00 | 40.48/40.57 c | 40.58 | 0 | -25846 lb | 0 0 0.00 | 42.48/42.56 c | 42.57 | 0 | -25845 lb | 0 0 0.00 | 44.38/44.45 c | 44.46 | 0 | -25844 lb | 0 0 0.00 | 45.78/45.84 c | 45.84 | 0 | -25843 lb | 0 0 0.00 | 45.98/46.05 c | 46.06 | 0 | -25831 lb | 0 0 0.00 | 46.78/46.87 c | 46.87 | 0 | -25830 lb | 0 0 0.00 | 47.58/47.60 c | 47.61 | 0 | -25829 lb | 0 0 0.00 | 47.78/47.85 c | 47.85 | 0 | -25828 lb | 0 0 0.00 | 48.49/48.54 c | 48.55 | 0 | -25827 lb | 0 0 0.00 | 48.88/48.93 c | 48.93 | 0 | -25826 lb | 0 0 0.00 | 49.88/49.95 c | 49.95 | 0 | -25825 lb | 0 0 0.00 | 50.18/50.21 c | 50.21 | 0 | -25824 lb | 0 0 0.00 | 52.98/53.00 c | 53.00 | 0 | -25823 lb | 0 0 0.00 | 60.78/60.87 c | 60.88 | 0 | -25822 lb | 0 0 0.00 | 61.88/61.96 c | 61.97 | 0 | -25821 lb | 0 0 0.00 | 63.28/63.33 c | 63.33 | 0 | -25820 lb | 0 0 0.00 | 66.28/66.33 c | 66.33 | 0 | -25819 lb | 0 0 0.00 | 67.38/67.44 c | 67.45 | 0 | -25818 lb | 0 0 0.00 | 67.58/67.66 c | 67.67 | 0 | -25817 lb | 0 0 0.00 | 67.78/67.81 c | 67.81 | 0 | -25816 lb | 0 0 0.00 | 68.98/69.09 c | 69.09 | 0 | -25815 lb | 0 0 0.00 | 69.18/69.25 c | 69.25 | 0 | -25813 lb | 0 0 0.00 | 69.58/69.62 c | 69.62 | 0 | -25812 lb | 0 0 0.00 | 70.77/70.81 c | 70.81 | 0 | -25811 lb | 0 0 0.00 | 70.87/70.99 c | 70.99 | 0 | -25810 lb | 0 0 0.00 | 71.18/71.22 c | 71.22 | 0 | -25809 lb | 0 0 0.00 | 71.38/71.40 c | 71.40 | 0 | -25805 lb | 0 0 0.00 | 71.48/71.60 c | 71.61 | 0 | -25802 lb | 0 0 0.00 | 71.78/71.80 c | 71.81 | 0 | -25791 lb | 0 0 0.00 | 72.47/72.50 c | 72.50 | 0 | -25790 lb | 0 0 0.00 | 72.68/72.73 c | 72.73 | 0 | -25789 lb | 0 0 0.00 | 73.27/73.33 c | 73.34 | 0 | -25788 lb | 0 0 0.00 | 73.87/73.90 c | 73.90 | 0 | -25787 lb | 0 0 0.00 | 74.17/74.20 c | 74.20 | 0 | -25786 lb | 0 0 0.00 | 74.27/74.38 c | 74.38 | 0 | -25785 lb | 0 0 0.00 | 74.67/74.73 c | 74.74 | 0 | -25784 lb | 0 0 0.00 | 75.07/75.15 c | 75.15 | 0 | -25783 lb | 0 0 0.00 | 75.67/75.77 c | 75.78 | 0 | -25782 lb | 0 0 0.00 | 80.07/80.18 c | 80.19 | 0 | -25781 lb | 0 0 0.00 | 80.28/80.34 c | 80.34 | 0 | -25780 lb | 0 0 0.00 | 80.57/80.69 c | 80.70 | 0 | -25779 lb | 0 0 0.00 | 80.87/80.94 c | 80.94 | 0 | -25778 lb | 0 0 0.00 | 81.07/81.18 c | 81.19 | 0 | -25777 lb | 0 0 0.00 | 81.27/81.30 c | 81.30 | 0 | -25772 lb | 0 0 0.00 | 81.38/81.50 c | 81.50 | 0 | -25771 lb | 0 0 0.00 | 81.57/81.67 c | 81.67 | 0 | -25770 lb | 0 0 0.00 | 81.77/81.82 c | 81.82 | 0 | -25761 lb | 0 0 0.00 | 81.87/81.96 c | 81.96 | 0 | -25760 lb | 0 0 0.00 | 81.97/82.09 c | 82.10 | 0 | -25759 lb | 0 0 0.00 | 82.17/82.22 c | 82.22 | 0 | -25758 lb | 0 0 0.00 | 82.27/82.36 c | 82.36 | 0 | -25757 lb | 0 0 0.00 | 82.48/82.54 c | 82.54 | 0 | -25756 lb | 0 0 0.00 | 83.37/83.45 c | 83.45 | 0 | -25755 lb | 0 0 0.00 | 84.27/84.31 c | 84.31 | 0 | -25753 lb | 0 0 0.00 | 84.37/84.45 c | 84.45 | 0 | -25752 lb | 0 0 0.00 | 84.57/84.65 c | 84.66 | 0 | -25751 lb | 0 0 0.00 | 84.87/84.98 c | 84.98 | 0 | -25750 lb | 0 0 0.00 | 85.07/85.11 c | 85.11 | 0 | -25748 lb | 0 0 0.00 | 85.17/85.23 c | 85.23 | 0 | -25747 lb | 0 0 0.00 | 85.27/85.37 c | 85.37 | 0 | -25744 lb | 0 0 0.00 | 85.67/85.71 c | 85.71 | 0 | -25741 lb | 0 0 0.00 | 85.88/85.96 c | 85.96 | 0 | -25740 lb | 0 0 0.00 | 86.07/86.11 c | 86.11 | 0 | -25739 lb | 0 0 0.00 | 86.17/86.22 c | 86.22 | 0 | -25738 lb | 0 0 0.00 | 86.27/86.36 c | 86.36 | 0 | -25737 lb | 0 0 0.00 | 86.37/86.48 c | 86.49 | 0 | -25736 lb | 0 0 0.00 | 86.67/86.74 c | 86.75 | 0 | -25735 lb | 0 0 0.00 | 86.88/86.94 c | 86.94 | 0 | -25734 lb | 0 0 0.00 | 86.98/87.06 c | 87.06 | 0 | -25733 lb | 0 0 0.00 | 87.17/87.20 c | 87.20 | 0 | -25729 lb | 0 0 0.00 | 92.07/92.16 c | 92.17 | 0 | -25728 lb | 0 0 0.00 | 92.27/92.32 c | 92.33 | 0 | -25727 lb | 0 0 0.00 | 92.67/92.72 c | 92.73 | 0 | -25726 lb | 0 0 0.00 | 92.87/92.90 c | 92.91 | 0 | -25725 lb | 0 0 0.00 | 104.17/104.28 c | 104.28 | 0 | -25724 lb | 0 0 0.00 | 104.38/104.42 c | 104.42 | 0 | -25723 lb | 0 0 0.00 | 104.48/104.54 c | 104.54 | 0 | -25722 lb | 0 0 0.00 | 104.68/104.73 c | 104.73 | 0 | -25721 lb | 0 0 0.00 | 105.38/105.43 c | 105.44 | 0 | -25720 lb | 0 0 0.00 | 105.58/105.60 c | 105.61 | 0 | -25719 lb | 0 0 0.00 | 105.78/105.80 c | 105.80 | 0 | -25718 lb | 0 0 0.00 | 106.08/106.12 c | 106.12 | 0 | -25717 lb | 0 0 0.00 | 109.77/109.86 c | 109.87 | 0 | -25716 lb | 0 0 0.00 | 109.98/110.04 c | 110.04 | 0 | -25715 lb | 0 0 0.00 | 110.08/110.17 c | 110.17 | 0 | -25714 lb | 0 0 0.00 | 110.28/110.32 c | 110.33 | 0 | -25713 lb | 0 0 0.00 | 110.38/110.47 c | 110.47 | 0 | -25712 lb | 0 0 0.00 | 110.58/110.66 c | 110.66 | 0 | -25711 lb | 0 0 0.00 | 110.78/110.81 c | 110.81 | 0 | -25710 lb | 0 0 0.00 | 112.97/113.04 c | 113.04 | 0 | -25709 lb | 0 0 0.00 | 113.28/113.35 c | 113.35 | 0 | -25708 lb | 0 0 0.00 | 113.67/113.70 c | 113.71 | 0 | -25707 lb | 0 0 0.00 | 114.07/114.15 c | 114.16 | 0 | -25706 lb | 0 0 0.00 | 114.38/114.43 c | 114.44 | 0 | -25705 lb | 0 0 0.00 | 114.48/114.58 c | 114.58 | 0 | -25702 lb | 0 0 0.00 | 114.67/114.77 c | 114.77 | 0 | -25701 lb | 0 0 0.00 | 114.87/114.97 c | 114.97 | 0 | -25700 lb | 0 0 0.00 | 115.27/115.39 c | 115.39 | 0 | -25699 lb | 0 0 0.00 | 118.37/118.47 c | 118.47 | 0 | -25698 lb | 0 0 0.00 | 118.67/118.74 c | 118.75 | 0 | -25697 lb | 0 0 0.00 | 118.88/118.94 c | 118.94 | 0 | -25696 lb | 0 0 0.00 | 118.97/119.08 c | 119.09 | 0 | -25695 lb | 0 0 0.00 | 119.17/119.29 c | 119.29 | 0 | -25693 lb | 0 0 0.00 | 119.37/119.48 c | 119.49 | 0 | -25692 lb | 0 0 0.00 | 119.57/119.67 c | 119.67 | 0 | -25691 lb | 0 0 0.00 | 119.77/119.84 c | 119.84 | 0 | -25690 lb | 0 0 0.00 | 119.87/119.98 c | 119.98 | 0 | -25689 lb | 0 0 0.00 | 120.07/120.14 c | 120.15 | 0 | -25688 lb | 0 0 0.00 | 120.27/120.33 c | 120.33 | 0 | -25687 lb | 0 0 0.00 | 120.47/120.56 c | 120.56 | 0 | -25682 lb | 0 0 0.00 | 120.67/120.73 c | 120.73 | 0 | -25681 lb | 0 0 0.00 | 120.77/120.88 c | 120.88 | 0 | -25680 lb | 0 0 0.00 | 122.27/122.39 c | 122.39 | 0 | -25679 lb | 0 0 0.00 | 122.67/122.78 c | 122.78 | 0 | -25678 lb | 0 0 0.00 | 122.87/122.92 c | 122.93 | 0 | -25677 lb | 0 0 0.00 | 122.97/123.08 c | 123.09 | 0 | -25676 lb | 0 0 0.00 | 123.18/123.27 c | 123.27 | 0 | -25675 lb | 0 0 0.00 | 123.37/123.46 c | 123.46 | 0 | -25673 lb | 0 0 0.00 | 123.57/123.63 c | 123.63 | 0 | -25671 lb | 0 0 0.00 | 123.67/123.76 c | 123.76 | 0 | -25670 lb | 0 0 0.00 | 123.87/123.96 c | 123.96 | 0 | -25669 lb | 0 0 0.00 | 124.07/124.14 c | 124.14 | 0 | -25668 lb | 0 0 0.00 | 124.27/124.37 c | 124.37 | 0 | -25667 lb | 0 0 0.00 | 124.47/124.55 c | 124.55 | 0 | -25666 lb | 0 0 0.00 | 124.67/124.72 c | 124.72 | 0 | -25665 lb | 0 0 0.00 | 124.87/124.93 c | 124.94 | 0 | -25664 lb | 0 0 0.00 | 124.97/125.09 c | 125.10 | 0 | -25663 lb | 0 0 0.00 | 125.17/125.24 c | 125.25 | 0 | -25662 lb | 0 0 0.00 | 125.27/125.39 c | 125.40 | 0 | -25661 lb | 0 0 0.00 | 125.47/125.59 c | 125.60 | 0 | -25660 lb | 0 0 0.00 | 125.67/125.73 c | 125.74 | 0 | -25659 lb | 0 0 0.00 | 125.77/125.87 c | 125.87 | 0 | -25658 lb | 0 0 0.00 | 125.97/126.01 c | 126.01 | 0 | -25657 lb | 0 0 0.00 | 126.07/126.14 c | 126.15 | 0 | -25656 lb | 0 0 0.00 | 126.27/126.31 c | 126.31 | 0 | -25655 lb | 0 0 0.00 | 126.37/126.44 c | 126.44 | 0 | -25652 lb | 0 0 0.00 | 126.48/126.59 c | 126.60 | 0 | -25651 lb | 0 0 0.00 | 126.67/126.78 c | 126.79 | 0 | -25650 lb | 0 0 0.00 | 126.87/126.94 c | 126.95 | 0 | -25649 lb | 0 0 0.00 | 127.07/127.11 c | 127.12 | 0 | -25647 lb | 0 0 0.00 | 127.17/127.25 c | 127.26 | 0 | -25646 lb | 0 0 0.00 | 127.37/127.40 c | 127.41 | 0 | -25645 lb | 0 0 0.00 | 127.47/127.57 c | 127.57 | 0 | -25644 lb | 0 0 0.00 | 127.87/127.91 c | 127.92 | 0 | -25643 lb | 0 0 0.00 | 127.97/128.08 c | 128.09 | 0 | -25642 lb | 0 0 0.00 | 128.17/128.26 c | 128.26 | 0 | -25641 lb | 0 0 0.00 | 128.37/128.41 c | 128.41 | 0 | -25640 lb | 0 0 0.00 | 128.47/128.57 c | 128.57 | 0 | -25639 lb | 0 0 0.00 | 128.68/128.76 c | 128.76 | 0 | -25638 lb | 0 0 0.00 | 128.87/128.97 c | 128.97 | 0 | -25637 lb | 0 0 0.00 | 129.07/129.15 c | 129.16 | 0 | -25636 lb | 0 0 0.00 | 129.27/129.32 c | 129.32 | 0 | -25635 lb | 0 0 0.00 | 129.37/129.48 c | 129.48 | 0 | -25634 lb | 0 0 0.00 | 129.57/129.65 c | 129.66 | 0 | -25633 lb | 0 0 0.00 | 129.78/129.81 c | 129.81 | 0 | -25632 lb | 0 0 0.00 | 129.88/129.98 c | 129.98 | 0 | -25631 lb | 0 0 0.00 | 130.07/130.14 c | 130.15 | 0 | -25630 lb | 0 0 0.00 | 130.27/130.33 c | 130.33 | 0 | -25629 lb | 0 0 0.00 | 130.47/130.53 c | 130.53 | 0 | -25628 lb | 0 0 0.00 | 130.67/130.70 c | 130.71 | 0 | -25627 lb | 0 0 0.00 | 130.76/130.86 c | 130.87 | 0 | -25626 lb | 0 0 0.00 | 130.97/131.05 c | 131.05 | 0 | -25625 lb | 0 0 0.00 | 131.17/131.23 c | 131.23 | 0 | -25624 lb | 0 0 0.00 | 131.37/131.42 c | 131.42 | 0 | -25623 lb | 0 0 0.00 | 131.57/131.60 c | 131.60 | 0 | -25622 lb | 0 0 0.00 | 131.77/131.83 c | 131.83 | 0 | -25621 lb | 0 0 0.00 | 131.97/132.03 c | 132.04 | 0 | -25620 lb | 0 0 0.00 | 132.17/132.21 c | 132.22 | 0 | -25619 lb | 0 0 0.00 | 132.37/132.46 c | 132.46 | 0 | -25618 lb | 0 0 0.00 | 132.57/132.67 c | 132.67 | 0 | -25617 lb | 0 0 0.00 | 132.76/132.85 c | 132.86 | 0 | -25616 lb | 0 0 0.00 | 132.97/133.05 c | 133.05 | 0 | -25615 lb | 0 0 0.00 | 133.18/133.26 c | 133.26 | 0 | -25614 lb | 0 0 0.00 | 133.37/133.43 c | 133.44 | 0 | -25613 lb | 0 0 0.00 | 133.57/133.63 c | 133.64 | 0 | -25612 lb | 0 0 0.00 | 133.77/133.84 c | 133.84 | 0 | -25611 lb | 0 0 0.00 | 133.97/134.03 c | 134.03 | 0 | -25610 lb | 0 0 0.00 | 134.18/134.26 c | 134.26 | 0 | -25609 lb | 0 0 0.00 | 134.46/134.52 c | 134.52 | 0 | -25608 lb | 0 0 0.00 | 134.77/134.88 c | 134.88 | 0 | -25607 lb | 0 0 0.00 | 135.07/135.19 c | 135.20 | 0 | -25606 lb | 0 0 0.00 | 135.37/135.44 c | 135.44 | 0 | -25605 lb | 0 0 0.00 | 135.57/135.67 c | 135.68 | 0 | -25604 lb | 0 0 0.00 | 135.77/135.86 c | 135.87 | 0 | -25603 lb | 0 0 0.00 | 135.97/136.04 c | 136.04 | 0 | -25602 lb | 0 0 0.00 | 136.37/136.40 c | 136.41 | 0 | -25601 lb | 0 0 0.00 | 136.57/136.69 c | 136.69 | 0 | -25600 lb | 0 0 0.00 | 136.87/136.91 c | 136.91 | 0 | -25599 lb | 0 0 0.00 | 137.06/137.10 c | 137.10 | 0 | -25598 lb | 0 0 0.00 | 137.26/137.36 c | 137.36 | 0 | -25597 lb | 0 0 0.00 | 137.47/137.52 c | 137.53 | 0 | -25596 lb | 0 0 0.00 | 137.58/137.68 c | 137.68 | 0 | -25595 lb | 0 0 0.00 | 137.87/137.91 c | 137.92 | 0 | -25594 lb | 0 0 0.00 | 138.07/138.13 c | 138.13 | 0 | -25593 lb | 0 0 0.00 | 138.27/138.39 c | 138.39 | 0 | -25592 lb | 0 0 0.00 | 138.57/138.61 c | 138.61 | 0 | -25591 lb | 0 0 0.00 | 138.77/138.88 c | 138.88 | 0 | -25590 lb | 0 0 0.00 | 138.97/139.06 c | 139.06 | 0 | -25589 lb | 0 0 0.00 | 139.17/139.23 c | 139.23 | 0 | -25588 lb | 0 0 0.00 | 139.47/139.51 c | 139.52 | 0 | -25587 lb | 0 0 0.00 | 139.57/139.66 c | 139.66 | 0 | -25586 lb | 0 0 0.00 | 139.77/139.85 c | 139.86 | 0 | -25585 lb | 0 0 0.00 | 140.07/140.12 c | 140.12 | 0 | -25584 lb | 0 0 0.00 | 140.46/140.54 c | 140.54 | 0 | -25583 lb | 0 0 0.00 | 140.57/140.69 c | 140.69 | 0 | -25582 lb | 0 0 0.00 | 140.78/140.88 c | 140.89 | 0 | -25581 lb | 0 0 0.00 | 140.97/141.07 c | 141.08 | 0 | -25580 lb | 0 0 0.00 | 141.17/141.23 c | 141.23 | 0 | -25579 lb | 0 0 0.00 | 141.47/141.53 c | 141.53 | 0 | -25578 lb | 0 0 0.00 | 141.77/141.82 c | 141.82 | 0 | -25577 lb | 0 0 0.00 | 141.98/142.03 c | 142.03 | 0 | -25576 lb | 0 0 0.00 | 143.87/143.98 c | 143.98 | 0 | -25575 lb | 0 0 0.00 | 144.18/144.25 c | 144.25 | 0 | -25574 lb | 0 0 0.00 | 144.47/144.53 c | 144.53 | 0 | -25573 lb | 0 0 0.00 | 144.67/144.70 c | 144.71 | 0 | -25572 lb | 0 0 0.00 | 144.97/145.06 c | 145.07 | 0 | -25571 lb | 0 0 0.00 | 145.17/145.24 c | 145.25 | 0 | -25570 lb | 0 0 0.00 | 145.37/145.43 c | 145.44 | 0 | -25569 lb | 0 0 0.00 | 145.57/145.63 c | 145.64 | 0 | -25568 lb | 0 0 0.00 | 145.77/145.82 c | 145.82 | 0 | -25567 lb | 0 0 0.00 | 145.97/146.06 c | 146.07 | 0 | -25565 lb | 0 0 0.00 | 146.17/146.25 c | 146.26 | 0 | -25564 lb | 0 0 0.00 | 146.47/146.53 c | 146.54 | 0 | -25563 lb | 0 0 0.00 | 146.77/146.81 c | 146.81 | 0 | -25562 lb | 0 0 0.00 | 146.97/147.01 c | 147.01 | 0 | -25561 lb | 0 0 0.00 | 147.17/147.26 c | 147.27 | 0 | -25560 lb | 0 0 0.00 | 147.37/147.45 c | 147.46 | 0 | -25559 lb | 0 0 0.00 | 147.57/147.65 c | 147.65 | 0 | -25558 lb | 0 0 0.00 | 147.87/147.91 c | 147.92 | 0 | -25557 lb | 0 0 0.00 | 151.46/151.56 c | 151.56 | 0 | -25556 lb | 0 0 0.00 | 151.66/151.77 c | 151.77 | 0 | -25555 lb | 0 0 0.00 | 151.87/151.93 c | 151.94 | 0 | -25554 lb | 0 0 0.00 | 152.06/152.12 c | 152.12 | 0 | -25553 lb | 0 0 0.00 | 152.26/152.38 c | 152.39 | 0 | -25552 lb | 0 0 0.00 | 152.47/152.59 c | 152.59 | 0 | -25551 lb | 0 0 0.00 | 158.07/158.11 c | 158.12 | 0 | -25550 lb | 0 0 0.00 | 162.57/162.63 c | 162.63 | 0 | -25549 lb | 0 0 0.00 | 162.97/163.00 c | 163.00 | 0 | -25548 lb | 0 0 0.00 | 163.87/163.91 c | 163.91 | 0 | -25547 lb | 0 0 0.00 | 165.07/165.11 c | 165.12 | 0 | -25546 lb | 0 0 0.00 | 165.17/165.28 c | 165.29 | 0 | -25545 lb | 0 0 0.00 | 165.36/165.49 c | 165.49 | 0 | -25544 lb | 0 0 0.00 | 165.66/165.70 c | 165.70 | 0 | -25543 lb | 0 0 0.00 | 165.86/165.91 c | 165.92 | 0 | -25542 lb | 0 0 0.00 | 172.06/172.17 c | 172.17 | 0 | -25541 lb | 0 0 0.00 | 172.27/172.36 c | 172.37 | 0 | -25540 lb | 0 0 0.00 | 172.47/172.58 c | 172.58 | 0 | -25539 lb | 0 0 0.00 | 172.77/172.84 c | 172.84 | 0 | -25538 lb | 0 0 0.00 | 173.06/173.14 c | 173.14 | 0 | -25537 lb | 0 0 0.00 | 173.26/173.36 c | 173.36 | 0 | -25536 lb | 0 0 0.00 | 173.66/173.70 c | 173.71 | 0 | -25535 lb | 0 0 0.00 | 173.96/174.02 c | 174.03 | 0 | -25534 lb | 0 0 0.00 | 174.26/174.33 c | 174.33 | 0 | -25533 lb | 0 0 0.00 | 174.56/174.61 c | 174.61 | 0 | -25532 lb | 0 0 0.00 | 174.87/174.90 c | 174.91 | 0 | -25531 lb | 0 0 0.00 | 175.06/175.18 c | 175.19 | 0 | -25529 lb | 0 0 0.00 | 175.46/175.53 c | 175.54 | 0 | -25528 lb | 0 0 0.00 | 175.77/175.83 c | 175.83 | 0 | -25527 lb | 0 0 0.00 | 175.97/176.09 c | 176.09 | 0 | -25526 lb | 0 0 0.00 | 176.37/176.42 c | 176.42 | 0 | -25525 lb | 0 0 0.00 | 176.57/176.67 c | 176.67 | 0 | -25524 lb | 0 0 0.00 | 176.87/176.90 c | 176.91 | 0 | -25523 lb | 0 0 0.00 | 177.07/177.20 c | 177.20 | 0 | -25522 lb | 0 0 0.00 | 177.36/177.45 c | 177.46 | 0 | -25521 lb | 0 0 0.00 | 177.66/177.72 c | 177.72 | 0 | -25520 lb | 0 0 0.00 | 177.86/177.99 c | 177.99 | 0 | -25519 lb | 0 0 0.00 | 178.16/178.26 c | 178.26 | 0 | -25518 lb | 0 0 0.00 | 178.46/178.51 c | 178.51 | 0 | -25517 lb | 0 0 0.00 | 178.66/178.76 c | 178.76 | 0 | -25516 lb | 0 0 0.00 | 178.96/179.05 c | 179.05 | 0 | -25515 lb | 0 0 0.00 | 179.16/179.28 c | 179.28 | 0 | -25514 lb | 0 0 0.00 | 179.46/179.57 c | 179.57 | 0 | -25513 lb | 0 0 0.00 | 179.76/179.86 c | 179.86 | 0 | -25512 lb | 0 0 0.00 | 180.06/180.15 c | 180.15 | 0 | -25511 lb | 0 0 0.00 | 180.37/180.43 c | 180.44 | 0 | -25510 lb | 0 0 0.00 | 180.66/180.70 c | 180.71 | 0 | -25509 lb | 0 0 0.00 | 180.96/181.00 c | 181.00 | 0 | -25508 lb | 0 0 0.00 | 181.56/181.62 c | 181.62 | 0 | -25507 lb | 0 0 0.00 | 181.77/181.87 c | 181.87 | 0 | -25506 lb | 0 0 0.00 | 182.36/182.47 c | 182.47 | 0 | -25505 lb | 0 0 0.00 | 182.86/182.91 c | 182.91 | 0 | -25504 lb | 0 0 0.00 | 183.26/183.35 c | 183.36 | 0 | -25503 lb | 0 0 0.00 | 184.06/184.19 c | 184.19 | 0 | -25502 lb | 0 0 0.00 | 184.56/184.61 c | 184.62 | 0 | -25501 lb | 0 0 0.00 | 185.06/185.13 c | 185.14 | 0 | -25500 lb | 0 0 0.00 | 185.56/185.61 c | 185.61 | 0 | -25499 lb | 0 0 0.00 | 186.06/186.16 c | 186.16 | 0 | -25498 lb | 0 0 0.00 | 186.76/186.87 c | 186.88 | 0 | -25497 lb | 0 0 0.00 | 187.07/187.18 c | 187.19 | 0 | -25496 lb | 0 0 0.00 | 187.36/187.47 c | 187.47 | 0 | -25495 lb | 0 0 0.00 | 188.07/188.16 c | 188.16 | 0 | -25494 lb | 0 0 0.00 | 188.66/188.76 c | 188.76 | 0 | -25493 lb | 0 0 0.00 | 189.36/189.44 c | 189.45 | 0 | -25492 lb | 0 0 0.00 | 189.76/189.80 c | 189.80 | 0 | -25491 lb | 0 0 0.00 | 190.66/190.70 c | 190.70 | 0 | -25490 lb | 0 0 0.00 | 190.96/191.02 c | 191.02 | 0 | -25489 lb | 0 0 0.00 | 191.56/191.62 c | 191.62 | 0 | -25488 lb | 0 0 0.00 | 192.16/192.22 c | 192.23 | 0 | -25487 lb | 0 0 0.00 | 192.46/192.52 c | 192.53 | 0 | -25486 lb | 0 0 0.00 | 192.86/192.92 c | 192.93 | 0 | -25485 lb | 0 0 0.00 | 193.45/193.51 c | 193.51 | 0 | -25484 lb | 0 0 0.00 | 193.86/193.96 c | 193.96 | 0 | -25483 lb | 0 0 0.00 | 194.16/194.25 c | 194.26 | 0 | -25482 lb | 0 0 0.00 | 194.46/194.56 c | 194.56 | 0 | -25481 lb | 0 0 0.00 | 194.86/194.97 c | 194.98 | 0 | -25480 lb | 0 0 0.00 | 195.36/195.43 c | 195.43 | 0 | -25479 lb | 0 0 0.00 | 195.86/195.96 c | 195.96 | 0 | -25478 lb | 0 0 0.00 | 196.36/196.44 c | 196.45 | 0 | -25477 lb | 0 0 0.00 | 196.96/197.09 c | 197.09 | 0 | -25476 lb | 0 0 0.00 | 197.36/197.46 c | 197.46 | 0 | -25475 lb | 0 0 0.00 | 198.06/198.13 c | 198.14 | 0 | -25474 lb | 0 0 0.00 | 198.65/198.71 c | 198.71 | 0 | -25473 lb | 0 0 0.00 | 198.95/199.09 c | 199.09 | 0 | -25472 lb | 0 0 0.00 | 199.36/199.46 c | 199.47 | 0 | -25471 lb | 0 0 0.00 | 199.66/199.77 c | 199.78 | 0 | -25470 lb | 0 0 0.00 | 201.06/201.10 c | 201.10 | 0 | -25469 lb | 0 0 0.00 | 206.26/206.36 c | 206.36 | 0 | -25468 lb | 0 0 0.00 | 206.66/206.70 c | 206.70 | 0 | -25467 lb | 0 0 0.00 | 207.26/207.33 c | 207.33 | 0 | -25466 lb | 0 0 0.00 | 207.66/207.71 c | 207.71 | 0 | -25465 lb | 0 0 0.00 | 208.06/208.14 c | 208.14 | 0 | -25464 lb | 0 0 0.00 | 208.46/208.56 c | 208.56 | 0 | -25463 lb | 0 0 0.00 | 209.26/209.39 c | 209.39 | 0 | -25462 lb | 0 0 0.00 | 209.66/209.73 c | 209.73 | 0 | -25461 lb | 0 0 0.00 | 210.06/210.12 c | 210.13 | 0 | -25460 lb | 0 0 0.00 | 210.45/210.54 c | 210.54 | 0 | -25459 lb | 0 0 0.00 | 210.75/210.84 c | 210.84 | 0 | -25458 lb | 0 0 0.00 | 211.46/211.51 c | 211.51 | 0 | -25457 lb | 0 0 0.00 | 211.86/211.97 c | 211.98 | 0 | -25456 lb | 0 0 0.00 | 212.46/212.54 c | 212.54 | 0 | -25455 lb | 0 0 0.00 | 213.06/213.12 c | 213.12 | 0 | -25454 lb | 0 0 0.00 | 213.96/214.09 c | 214.09 | 0 | -25453 lb | 0 0 0.00 | 215.56/215.62 c | 215.62 | 0 | -25452 lb | 0 0 0.00 | 215.85/215.92 c | 215.93 | 0 | -25451 lb | 0 0 0.00 | 216.15/216.22 c | 216.23 | 0 | -25450 lb | 0 0 0.00 | 217.95/218.03 c | 218.03 | 0 | -25449 lb | 0 0 0.00 | 218.25/218.33 c | 218.33 | 0 | -25448 lb | 0 0 0.00 | 218.55/218.63 c | 218.63 | 0 | -25447 lb | 0 0 0.00 | 218.86/218.91 c | 218.91 | 0 | -25446 lb | 0 0 0.00 | 219.15/219.21 c | 219.22 | 0 | -25445 lb | 0 0 0.00 | 219.45/219.55 c | 219.56 | 0 | -25444 lb | 0 0 0.00 | 219.75/219.85 c | 219.86 | 0 | -25443 lb | 0 0 0.00 | 220.06/220.14 c | 220.15 | 0 | -25442 lb | 0 0 0.00 | 220.36/220.45 c | 220.45 | 0 | -25441 lb | 0 0 0.00 | 220.66/220.76 c | 220.76 | 0 | -25440 lb | 0 0 0.00 | 221.06/221.12 c | 221.12 | 0 | -25439 lb | 0 0 0.00 | 221.36/221.47 c | 221.48 | 0 | -25438 lb | 0 0 0.00 | 221.76/221.85 c | 221.85 | 0 | -25437 lb | 0 0 0.00 | 222.06/222.16 c | 222.17 | 0 | -25436 lb | 0 0 0.00 | 222.36/222.50 c | 222.50 | 0 | -25435 lb | 0 0 0.00 | 222.76/222.85 c | 222.85 | 0 | -25434 lb | 0 0 0.00 | 223.16/223.23 c | 223.23 | 0 | -25433 lb | 0 0 0.00 | 226.45/226.51 c | 226.51 | 0 | -25432 lb | 0 0 0.00 | 226.75/226.81 c | 226.81 | 0 | -25431 lb | 0 0 0.00 | 227.05/227.13 c | 227.13 | 0 | -25430 lb | 0 0 0.00 | 228.05/228.15 c | 228.16 | 0 | -25429 lb | 0 0 0.00 | 228.35/228.46 c | 228.46 | 0 | -25428 lb | 0 0 0.00 | 228.76/228.80 c | 228.81 | 0 | -25427 lb | 0 0 0.00 | 229.05/229.14 c | 229.14 | 0 | -25426 lb | 0 0 0.00 | 229.35/229.49 c | 229.49 | 0 | -25425 lb | 0 0 0.00 | 229.76/229.83 c | 229.83 | 0 | -25424 lb | 0 0 0.00 | 230.66/230.79 c | 230.79 | 0 | -25423 lb | 0 0 0.00 | 231.76/231.81 c | 231.82 | 0 | -25422 lb | 0 0 0.00 | 232.95/233.05 c | 233.05 | 0 | -25421 lb | 0 0 0.00 | 233.45/233.54 c | 233.54 | 0 | -25420 lb | 0 0 0.00 | 233.85/233.91 c | 233.92 | 0 | -25419 lb | 0 0 0.00 | 234.26/234.33 c | 234.34 | 0 | -25418 lb | 0 0 0.00 | 234.65/234.77 c | 234.77 | 0 | -25417 lb | 0 0 0.00 | 235.36/235.44 c | 235.44 | 0 | -25416 lb | 0 0 0.00 | 237.25/237.35 c | 237.35 | 0 | -25415 lb | 0 0 0.00 | 237.55/237.67 c | 237.67 | 0 | -25414 lb | 0 0 0.00 | 237.95/238.02 c | 238.03 | 0 | -25413 lb | 0 0 0.00 | 238.25/238.33 c | 238.33 | 0 | -25412 lb | 0 0 0.00 | 238.55/238.66 c | 238.66 | 0 | -25411 lb | 0 0 0.00 | 238.85/238.99 c | 238.99 | 0 | -25410 lb | 0 0 0.00 | 239.65/239.74 c | 239.74 | 0 | -25409 lb | 0 0 0.00 | 240.05/240.11 c | 240.11 | 0 | -25408 lb | 0 0 0.00 | 240.35/240.49 c | 240.49 | 0 | -25407 lb | 0 0 0.00 | 241.45/241.54 c | 241.54 | 0 | -25406 lb | 0 0 0.00 | 241.76/241.87 c | 241.87 | 0 | -25405 lb | 0 0 0.00 | 242.15/242.22 c | 242.22 | 0 | -25404 lb | 0 0 0.00 | 242.75/242.80 c | 242.81 | 0 | -25403 lb | 0 0 0.00 | 243.16/243.24 c | 243.24 | 0 | -25402 lb | 0 0 0.00 | 243.55/243.61 c | 243.62 | 0 | -25401 lb | 0 0 0.00 | 243.86/243.95 c | 243.95 | 0 | -25400 lb | 0 0 0.00 | 246.95/247.01 c | 247.01 | 0 | -25399 lb | 0 0 0.00 | 247.25/247.36 c | 247.36 | 0 | -25398 lb | 0 0 0.00 | 247.75/247.80 c | 247.80 | 0 | -25397 lb | 0 0 0.00 | 248.15/248.27 c | 248.27 | 0 | -25396 lb | 0 0 0.00 | 248.66/248.71 c | 248.72 | 0 | -25395 lb | 0 0 0.00 | 249.05/249.15 c | 249.15 | 0 | -25394 lb | 0 0 0.00 | 249.55/249.64 c | 249.65 | 0 | -25393 lb | 0 0 0.00 | 250.05/250.15 c | 250.15 | 0 | -25392 lb | 0 0 0.00 | 250.45/250.56 c | 250.56 | 0 | -25391 lb | 0 0 0.00 | 251.34/251.49 c | 251.49 | 0 | -25390 lb | 0 0 0.00 | 251.75/251.88 c | 251.88 | 0 | -25389 lb | 0 0 0.00 | 252.24/252.39 c | 252.39 | 0 | -25387 lb | 0 0 0.00 | 252.85/252.90 c | 252.91 | 0 | -25386 lb | 0 0 0.00 | 256.36/256.41 c | 256.42 | 0 | -25385 lb | 0 0 0.00 | 256.85/256.94 c | 256.94 | 0 | -25384 lb | 0 0 0.00 | 258.24/258.30 c | 258.30 | 0 | -25383 lb | 0 0 0.00 | 258.64/258.75 c | 258.75 | 0 | -25382 lb | 0 0 0.00 | 259.24/259.31 c | 259.31 | 0 | -25381 lb | 0 0 0.00 | 260.65/260.71 c | 260.72 | 0 | -25380 lb | 0 0 0.00 | 260.94/261.08 c | 261.08 | 0 | -25379 lb | 0 0 0.00 | 263.05/263.15 c | 263.15 | 0 | -25378 lb | 0 0 0.00 | 263.75/263.86 c | 263.87 | 0 | -25377 lb | 0 0 0.00 | 264.45/264.55 c | 264.56 | 0 | -25376 lb | 0 0 0.00 | 265.25/265.32 c | 265.32 | 0 | -25375 lb | 0 0 0.00 | 270.94/271.01 c | 271.02 | 0 | -25374 lb | 0 0 0.00 | 271.94/272.02 c | 272.02 | 0 | -25373 lb | 0 0 0.00 | 272.54/272.63 c | 272.63 | 0 | -25372 lb | 0 0 0.00 | 276.24/276.38 c | 276.38 | 0 | -25371 lb | 0 0 0.00 | 279.13/279.29 c | 279.30 | 0 | -25370 lb | 0 0 0.00 | 281.83/281.99 c | 282.00 | 0 | -25369 lb | 0 0 0.00 | 282.83/282.99 c | 282.99 | 0 | -25368 lb | 0 0 0.00 | 284.03/284.14 c | 284.15 | 0 | -25367 lb | 0 0 0.00 | 286.05/286.15 c | 286.15 | 0 | -25366 lb | 0 0 0.00 | 287.94/288.06 c | 288.06 | 0 | -25365 lb | 0 0 0.00 | 293.43/293.52 c | 293.53 | 0 | -25364 lb | 0 0 0.00 | 315.22/315.38 c | 315.39 | 0 | -25363 lb | 0 0 0.00 | 326.12/326.23 c | 326.24 | 0 | -25362 lb | 0 0 0.00 | 358.29/358.43 c | 358.44 | 0 | -25361 lb | 0 0 0.00 | 360.09/360.28 c | 360.29 | 0 | -25360 lb | 0 0 0.00 | 363.69/363.81 c | 363.81 | 0 | -25359 lb | 0 0 0.00 | 366.68/366.81 c | 366.81 | 0 | -25358 lb | 0 0 0.00 | 397.67/397.81 c | 397.82 | 0 | -25357 lb | 0 0 0.00 | 411.07/411.20 c | 411.20 | 0 | -25356 lb | 0 0 0.00 | 565.14/565.39 c | 565.39 | 0 | -25355 lb | 0 0 0.00 | 572.15/572.33 c | 572.34 | 0 | -25354 lb | 0 0 0.00 | 597.34/597.52 c | 597.53 | 0 | -25353 lb | 0 0 0.00 | 601.44/601.67 c | 601.67 | 0 | -25352 lb | 0 0 0.00 | 608.04/608.25 c | 608.25 | 0 | -25351 lb | 0 0 0.00 | 741.12/741.38 c | 741.38 | 0 | -25350 lb | 0 0 0.00 | 788.21/788.40 c | 788.40 | 0 | -25349 lb | 0 0 0.00 | 810.11/810.30 c | 810.30 | 0 | -25348 lb | 0 0 0.00 | 839.60/839.84 c | 839.85 | 0 | -25347 lb | 0 0 0.00 | 848.20/848.45 c | 848.45 | 0 | -25346 lb | 0 0 0.00 | 874.60/874.80 c | 874.80 | 0 | -25345 lb | 0 0 0.00 | 900.80/901.08 c | 901.08 | 0 | -25344 lb | 0 0 0.00 | 1799.64/1800.00 c =============================================================================== 1799.64/1800.00 c Wall Clock Time: 1800.00 s 1799.64/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-3705561-1338118837/watcher-3705561-1338118837 -o /tmp/evaluation-result-3705561-1338118837/solver-3705561-1338118837 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705561-1338118837.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.00 3/178 26006 /proc/meminfo: memFree=27032168/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=6108 CPUtime=0 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) R 26004 26006 22359 0 -1 4202496 452 0 0 0 0 0 0 0 20 0 1 0 278010990 6254592 405 33554432000 4194304 5963574 140735315717136 140733776827720 4395065 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 1527 405 172 432 0 483 0 [startup+0.100731 s] /proc/loadavg: 2.00 2.00 2.00 3/178 26006 /proc/meminfo: memFree=27032168/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=15644 CPUtime=0.09 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) R 26004 26006 22359 0 -1 4202496 2988 0 0 0 9 0 0 0 20 0 1 0 278010990 16019456 2892 33554432000 4194304 5963574 140735315717136 140733776827720 5301619 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 3911 2894 467 432 0 2867 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15644 [startup+0.20028 s] /proc/loadavg: 2.00 2.00 2.00 3/178 26006 /proc/meminfo: memFree=27032168/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=22024 CPUtime=0.19 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) R 26004 26006 22359 0 -1 4202496 4973 0 0 0 19 0 0 0 20 0 1 0 278010990 22552576 4739 33554432000 4194304 5963574 140735315717136 140733776827720 5155374 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 5506 4739 759 432 0 4462 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 22024 [startup+0.300327 s] /proc/loadavg: 2.00 2.00 2.00 3/178 26006 /proc/meminfo: memFree=27032168/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=104052 CPUtime=0.29 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 13344 0 0 0 27 2 0 0 20 0 2 0 278010990 106549248 11390 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 26013 11392 194 432 0 25578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 104052 [startup+0.700311 s] /proc/loadavg: 2.00 2.00 2.00 3/178 26006 /proc/meminfo: memFree=27032168/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=100032 CPUtime=0.69 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 17524 0 0 0 66 3 0 0 20 0 2 0 278010990 102432768 13996 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 25008 13996 196 432 0 24573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 100032 [startup+1.50027 s] /proc/loadavg: 2.00 2.00 2.00 3/180 26008 /proc/meminfo: memFree=26976312/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=100032 CPUtime=1.49 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 18186 0 0 0 146 3 0 0 20 0 2 0 278010990 102432768 14352 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 25008 14352 198 432 0 24573 0 [pid=26006/tid=26008] ppid=26004 vsize=100032 CPUtime=1.28 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 12665 0 0 0 125 3 0 0 20 0 2 0 278011011 102432768 14352 33554432000 4194304 5963574 140735315717136 140614105897800 5138270 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 100032 [startup+3.10027 s] /proc/loadavg: 2.00 2.00 2.00 3/180 26008 /proc/meminfo: memFree=26975808/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=100032 CPUtime=3.09 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 19770 0 0 0 306 3 0 0 20 0 2 0 278010990 102432768 14518 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 25008 14518 198 432 0 24573 0 [pid=26006/tid=26008] ppid=26004 vsize=100032 CPUtime=2.88 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 14249 0 0 0 285 3 0 0 20 0 2 0 278011011 102432768 14518 33554432000 4194304 5963574 140735315717136 140614105897800 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 100032 [startup+6.30025 s] /proc/loadavg: 2.00 2.00 2.00 3/180 26008 /proc/meminfo: memFree=26970600/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=102196 CPUtime=6.28 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 23174 0 0 0 625 3 0 0 20 0 2 0 278010990 104648704 15217 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 25549 15217 198 432 0 25114 0 [pid=26006/tid=26008] ppid=26004 vsize=102196 CPUtime=6.06 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 17653 0 0 0 603 3 0 0 20 0 2 0 278011011 104648704 15217 33554432000 4194304 5963574 140735315717136 140614105897800 4392341 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 102196 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/180 26008 /proc/meminfo: memFree=26960200/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=100032 CPUtime=12.68 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 28730 0 0 0 1264 4 0 0 20 0 2 0 278010990 102432768 17831 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 25008 17831 198 432 0 24573 0 [pid=26006/tid=26008] ppid=26004 vsize=100032 CPUtime=12.45 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 23209 0 0 0 1241 4 0 0 20 0 2 0 278011011 102432768 17831 33554432000 4194304 5963574 140735315717136 140614105897304 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 100032 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26008 /proc/meminfo: memFree=26954496/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=100032 CPUtime=25.49 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 31848 0 0 0 2544 5 0 0 20 0 2 0 278010990 102432768 19498 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 25008 19498 198 432 0 24573 0 [pid=26006/tid=26008] ppid=26004 vsize=100032 CPUtime=25.21 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 26327 0 0 0 2517 4 0 0 20 0 2 0 278011011 102432768 19498 33554432000 4194304 5963574 140735315717136 140614105897304 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 100032 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26008 /proc/meminfo: memFree=26930428/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=165568 CPUtime=51.08 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 37817 0 0 0 5102 6 0 0 20 0 2 0 278010990 169541632 25465 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 41392 25465 198 432 0 40957 0 [pid=26006/tid=26008] ppid=26004 vsize=165568 CPUtime=50.75 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 32296 0 0 0 5069 6 0 0 20 0 2 0 278011011 169541632 25465 33554432000 4194304 5963574 140735315717136 140614105897496 4388696 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 165568 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26008 /proc/meminfo: memFree=26927328/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=165568 CPUtime=102.28 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 38538 0 0 0 10222 6 0 0 20 0 2 0 278010990 169541632 26186 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 41392 26186 198 432 0 40957 0 [pid=26006/tid=26008] ppid=26004 vsize=165568 CPUtime=101.82 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 33017 0 0 0 10175 7 0 0 20 0 2 0 278011011 169541632 26186 33554432000 4194304 5963574 140735315717136 140614105897304 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 165568 [startup+162.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 26008 /proc/meminfo: memFree=26870716/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=231104 CPUtime=162.27 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 98398 0 0 0 16210 17 0 0 20 0 2 0 278010990 236650496 40303 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 57776 40303 198 432 0 57341 0 [pid=26006/tid=26008] ppid=26004 vsize=231104 CPUtime=161.66 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 92877 0 0 0 16148 18 0 0 20 0 2 0 278011011 236650496 40303 33554432000 4194304 5963574 140735315717136 140614105897368 4388696 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 231104 [startup+222.307 s] /proc/loadavg: 2.01 2.01 2.00 3/179 26009 /proc/meminfo: memFree=26824828/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=231104 CPUtime=222.26 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 149862 0 0 0 22200 26 0 0 20 0 2 0 278010990 236650496 50965 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 57776 50965 198 432 0 57341 0 [pid=26006/tid=26008] ppid=26004 vsize=231104 CPUtime=221.52 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 144341 0 0 0 22124 28 0 0 20 0 2 0 278011011 236650496 50965 33554432000 4194304 5963574 140735315717136 140614105897800 4392341 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 231104 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26048 /proc/meminfo: memFree=26937136/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=296640 CPUtime=282.23 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 181823 0 0 0 28191 32 0 0 20 0 2 0 278010990 303759360 65382 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 74160 65382 198 432 0 73725 0 [pid=26006/tid=26008] ppid=26004 vsize=296640 CPUtime=281.35 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 176302 0 0 0 28099 36 0 0 20 0 2 0 278011011 303759360 65382 33554432000 4194304 5963574 140735315717136 140614105897800 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 296640 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26048 /proc/meminfo: memFree=26699856/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=296640 CPUtime=342.2 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 183947 0 0 0 34187 33 0 0 20 0 2 0 278010990 303759360 67378 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 74160 67378 198 432 0 73725 0 [pid=26006/tid=26008] ppid=26004 vsize=296640 CPUtime=341.16 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 178426 0 0 0 34079 37 0 0 20 0 2 0 278011011 303759360 67378 33554432000 4194304 5963574 140735315717136 140614105897304 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 296640 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26048 /proc/meminfo: memFree=26495224/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=296640 CPUtime=402.17 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 185298 0 0 0 40184 33 0 0 20 0 2 0 278010990 303759360 68798 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 74160 68798 198 432 0 73725 0 [pid=26006/tid=26008] ppid=26004 vsize=296640 CPUtime=400.97 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 179777 0 0 0 40058 39 0 0 20 0 2 0 278011011 303759360 68798 33554432000 4194304 5963574 140735315717136 140614105897800 4392243 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 296640 [startup+462.3 s] /proc/loadavg: 2.22 2.06 2.02 3/179 26048 /proc/meminfo: memFree=26400320/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=362176 CPUtime=462.16 cores=0,2,4,6 ################ # More data... # ################ [startup+1362.3 s] /proc/loadavg: 2.14 2.10 2.02 3/179 26080 /proc/meminfo: memFree=26200300/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=427712 CPUtime=1362.02 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 205489 0 0 0 136160 42 0 0 20 0 2 0 278010990 437977088 88098 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 106928 88098 198 432 0 106493 0 [pid=26006/tid=26008] ppid=26004 vsize=427712 CPUtime=1358.5 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 199968 0 0 0 135789 61 0 0 20 0 2 0 278011011 437977088 88098 33554432000 4194304 5963574 140735315717136 140614105896952 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 427712 [startup+1422.3 s] /proc/loadavg: 2.13 2.10 2.02 3/179 26081 /proc/meminfo: memFree=26190692/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=427712 CPUtime=1422.01 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 208728 0 0 0 142157 44 0 0 20 0 2 0 278010990 437977088 91337 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 106928 91337 198 432 0 106493 0 [pid=26006/tid=26008] ppid=26004 vsize=427712 CPUtime=1418.36 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 203207 0 0 0 141771 65 0 0 20 0 2 0 278011011 437977088 91337 33554432000 4194304 5963574 140735315717136 140614105897000 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 427712 [startup+1482.3 s] /proc/loadavg: 2.13 2.09 2.02 3/179 26081 /proc/meminfo: memFree=26176740/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=427712 CPUtime=1482 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 211291 0 0 0 148153 47 0 0 20 0 2 0 278010990 437977088 93900 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 106928 93900 198 432 0 106493 0 [pid=26006/tid=26008] ppid=26004 vsize=427712 CPUtime=1478.2 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 205770 0 0 0 147752 68 0 0 20 0 2 0 278011011 437977088 93900 33554432000 4194304 5963574 140735315717136 140614105896472 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 427712 [startup+1542.31 s] /proc/loadavg: 2.12 2.09 2.02 3/179 26081 /proc/meminfo: memFree=26165952/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=427712 CPUtime=1542 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 213971 0 0 0 154151 49 0 0 20 0 2 0 278010990 437977088 96580 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 106928 96580 198 432 0 106493 0 [pid=26006/tid=26008] ppid=26004 vsize=427712 CPUtime=1538.05 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 208450 0 0 0 153734 71 0 0 20 0 2 0 278011011 437977088 96580 33554432000 4194304 5963574 140735315717136 140614105897000 4399937 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 427712 [startup+1602.3 s] /proc/loadavg: 2.12 2.09 2.02 3/179 26081 /proc/meminfo: memFree=26151752/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=427712 CPUtime=1601.98 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 216455 0 0 0 160147 51 0 0 20 0 2 0 278010990 437977088 99064 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 106928 99064 198 432 0 106493 0 [pid=26006/tid=26008] ppid=26004 vsize=427712 CPUtime=1597.89 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 210934 0 0 0 159715 74 0 0 20 0 2 0 278011011 437977088 99064 33554432000 4194304 5963574 140735315717136 140614105897000 4399462 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 427712 [startup+1662.3 s] /proc/loadavg: 2.12 2.09 2.02 3/179 26081 /proc/meminfo: memFree=26143944/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=427712 CPUtime=1661.97 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 218419 0 0 0 166143 54 0 0 20 0 2 0 278010990 437977088 101028 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 106928 101028 198 432 0 106493 0 [pid=26006/tid=26008] ppid=26004 vsize=427712 CPUtime=1657.73 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 212898 0 0 0 165695 78 0 0 20 0 2 0 278011011 437977088 101028 33554432000 4194304 5963574 140735315717136 140614105896952 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 427712 [startup+1722.3 s] /proc/loadavg: 2.12 2.09 2.02 3/179 26081 /proc/meminfo: memFree=26137556/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=493248 CPUtime=1721.97 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 218807 0 0 0 172142 55 0 0 20 0 2 0 278010990 505085952 101927 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 123312 101927 198 432 0 122877 0 [pid=26006/tid=26008] ppid=26004 vsize=493248 CPUtime=1717.58 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 213286 0 0 0 171678 80 0 0 20 0 2 0 278011011 505085952 101927 33554432000 4194304 5963574 140735315717136 140614105896840 4388696 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.97 Current children cumulated vsize (KiB) 493248 [startup+1782.3 s] /proc/loadavg: 2.04 2.07 2.01 3/180 26085 /proc/meminfo: memFree=26123956/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=493248 CPUtime=1781.95 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 218832 0 0 0 178140 55 0 0 20 0 2 0 278010990 505085952 102281 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 123312 102281 198 432 0 122877 0 [pid=26006/tid=26008] ppid=26004 vsize=493248 CPUtime=1777.41 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 213311 0 0 0 177660 81 0 0 20 0 2 0 278011011 505085952 102281 33554432000 4194304 5963574 140735315717136 140614105896840 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 493248 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 2.04 2.07 2.01 3/180 26085 /proc/meminfo: memFree=26122948/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=493248 CPUtime=1791.65 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 218884 0 0 0 179110 55 0 0 20 0 2 0 278010990 505085952 102361 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 123312 102361 198 432 0 122877 0 [pid=26006/tid=26008] ppid=26004 vsize=493248 CPUtime=1787.09 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 213363 0 0 0 178628 81 0 0 20 0 2 0 278011011 505085952 102361 33554432000 4194304 5963574 140735315717136 140614105896760 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (KiB) 493248 [startup+1795.2 s] /proc/loadavg: 2.04 2.07 2.01 3/180 26085 /proc/meminfo: memFree=26122700/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=493248 CPUtime=1794.85 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 218981 0 0 0 179430 55 0 0 20 0 2 0 278010990 505085952 102458 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 123312 102458 198 432 0 122877 0 [pid=26006/tid=26008] ppid=26004 vsize=493248 CPUtime=1790.28 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 213460 0 0 0 178947 81 0 0 20 0 2 0 278011011 505085952 102458 33554432000 4194304 5963574 140735315717136 140614105896760 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1794.85 Current children cumulated vsize (KiB) 493248 [startup+1798.4 s] /proc/loadavg: 2.03 2.06 2.01 3/180 26085 /proc/meminfo: memFree=26122576/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=493248 CPUtime=1798.04 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 219168 0 0 0 179749 55 0 0 20 0 2 0 278010990 505085952 102780 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 123312 102780 198 432 0 122877 0 [pid=26006/tid=26008] ppid=26004 vsize=493248 CPUtime=1793.46 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 213647 0 0 0 179265 81 0 0 20 0 2 0 278011011 505085952 102780 33554432000 4194304 5963574 140735315717136 140614105896952 4388700 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1798.04 Current children cumulated vsize (KiB) 493248 [startup+1799.2 s] /proc/loadavg: 2.03 2.06 2.01 3/180 26085 /proc/meminfo: memFree=26121320/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=493248 CPUtime=1798.84 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 219215 0 0 0 179829 55 0 0 20 0 2 0 278010990 505085952 102827 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 123312 102827 198 432 0 122877 0 [pid=26006/tid=26008] ppid=26004 vsize=493248 CPUtime=1794.26 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 213694 0 0 0 179345 81 0 0 20 0 2 0 278011011 505085952 102827 33554432000 4194304 5963574 140735315717136 140614105896472 4399468 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1798.84 Current children cumulated vsize (KiB) 493248 [startup+1799.6 s] /proc/loadavg: 2.03 2.06 2.01 3/180 26085 /proc/meminfo: memFree=26121072/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=493248 CPUtime=1799.24 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 219241 0 0 0 179869 55 0 0 20 0 2 0 278010990 505085952 102853 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 123312 102853 198 432 0 122877 0 [pid=26006/tid=26008] ppid=26004 vsize=493248 CPUtime=1794.66 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 213720 0 0 0 179385 81 0 0 20 0 2 0 278011011 505085952 102853 33554432000 4194304 5963574 140735315717136 140614105896472 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.24 Current children cumulated vsize (KiB) 493248 [startup+1800 s] /proc/loadavg: 2.03 2.06 2.01 3/180 26085 /proc/meminfo: memFree=26121072/32873648 swapFree=6336/6336 [pid=26006] ppid=26004 vsize=493248 CPUtime=1799.64 cores=0,2,4,6 /proc/26006/stat : 26006 (wbo1.7) S 26004 26006 22359 0 -1 4202496 219265 0 0 0 179909 55 0 0 20 0 2 0 278010990 505085952 102877 33554432000 4194304 5963574 140735315717136 140735315716656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26006/statm: 123312 102877 198 432 0 122877 0 [pid=26006/tid=26008] ppid=26004 vsize=493248 CPUtime=1795.06 cores=0,2,4,6 /proc/26006/task/26008/stat : 26008 (wbo1.7) R 26004 26006 22359 0 -1 4202560 213744 0 0 0 179425 81 0 0 20 0 2 0 278011011 505085952 102877 33554432000 4194304 5963574 140735315717136 140614105897000 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (KiB) 493248 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 26006 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=456201 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=828873 # CPU time returned by wait4() is 1795.29 # while last known CPU time is 1799.64 # # 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.64 CPU user time (s): 1799.09 CPU system time (s): 0.55 CPU usage (%): 99.9797 Max. virtual memory (cumulated for all children) (KiB): 493248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.46 system time used= 0.828873 maximum resident set size= 411512 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 219266 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= 148 involuntary context switches= 1881 runsolver used 5.02724 second user time and 18.2442 second system time The end
Begin job on node112 at 2012-05-27 13:40:37 IDJOB=3705561 IDBENCH=90325 IDSOLVER=2283 FILE ID=node112/3705561-1338118837 RUNJOBID= node112-1338087345-22375 PBS_JOBID= 14624440 Free space on /tmp= 71584 MiB SOLVER NAME= wbo 1.7 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.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705561-1338118837/watcher-3705561-1338118837 -o /tmp/evaluation-result-3705561-1338118837/solver-3705561-1338118837 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705561-1338118837.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9437b3e9d1ce9c682b2f5f71866292ee RANDOM SEED=760070877 node112.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.763 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.52 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.763 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.763 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.92 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.763 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.763 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.92 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.763 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.763 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.91 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.763 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: 27032168 kB Buffers: 337148 kB Cached: 4174860 kB SwapCached: 0 kB Active: 1269204 kB Inactive: 3759092 kB Active(anon): 518412 kB Inactive(anon): 0 kB Active(file): 750792 kB Inactive(file): 3759092 kB Unevictable: 6336 kB Mlocked: 6336 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 7832 kB Writeback: 0 kB AnonPages: 523872 kB Mapped: 14992 kB Shmem: 200 kB Slab: 674304 kB SReclaimable: 118224 kB SUnreclaim: 556080 kB KernelStack: 1496 kB PageTables: 4732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 153008 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 442368 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= 71576 MiB End job on node112 at 2012-05-27 14:10:37