Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | -75 | 69.6144 | 69.6332 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-10000opt.opb |
MD5SUM | 3c1368de4464ff81756c1b99158c803c |
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 | -75 |
Best CPU time to get the best result obtained on this benchmark | 5.76412 |
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 | 2025 |
Total number of constraints | 29711 |
Number of constraints which are clauses | 29711 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 356 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 356 |
Number of bits of the biggest sum of numbers | 9 |
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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680393-1277460485.opb. 0.00/0.00 c Instance file HOME/instance-2680393-1277460485.opb 0.00/0.00 c File size is 982467 bytes. 0.09/0.16 c Highest Coefficient sum: 4 0.09/0.16 c ============================[ Problem Statistics ]============================= 0.09/0.16 c | | 0.09/0.16 c | Parsing time: 0.16 s | 0.09/0.16 c | Number Variables: 2025 | 0.09/0.16 c | Number Clauses: 29711 | 0.09/0.16 c | Number Cardinality: 0 | 0.09/0.16 c | Number PB Constraints: 0 | 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1995 29741 87963 | 9903 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 0 0.19/0.21 o 0 0.19/0.21 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1995 29742 88098 | 9914 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: -3 0.19/0.22 o -3 0.19/0.22 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1995 29743 88233 | 9914 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: -4 0.19/0.22 o -4 0.19/0.22 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1995 29744 88368 | 9914 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -6 0.19/0.23 o -6 0.19/0.23 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1995 29745 88503 | 9915 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -7 0.19/0.24 o -7 0.19/0.24 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1995 29746 88638 | 9915 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -9 0.19/0.24 o -9 0.19/0.24 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 2 | 1995 29747 88773 | 9915 2 133 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: -10 0.19/0.25 o -10 0.19/0.25 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 2 | 1995 29748 88908 | 9916 2 133 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -11 0.19/0.26 o -11 0.19/0.26 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 4 | 1995 29749 89043 | 9916 4 131 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -12 0.19/0.26 o -12 0.19/0.26 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 4 | 1995 29750 89178 | 9916 4 131 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: -13 0.19/0.27 o -13 0.19/0.27 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 8 | 1995 29751 89313 | 9917 8 130 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: -14 0.19/0.27 o -14 0.19/0.27 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 10 | 1995 29752 89448 | 9917 10 130 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: -15 0.19/0.28 o -15 0.19/0.28 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 11 | 1995 29753 89583 | 9917 11 118 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: -16 0.19/0.29 o -16 0.19/0.29 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 12 | 1995 29754 89718 | 9918 12 119 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: -17 0.19/0.29 o -17 0.19/0.29 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 14 | 1995 29755 89853 | 9918 14 120 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: -18 0.29/0.30 o -18 0.29/0.30 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 14 | 1995 29756 89988 | 9918 14 120 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: -19 0.29/0.31 o -19 0.29/0.31 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 15 | 1995 29757 90123 | 9919 15 120 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: -20 0.29/0.31 o -20 0.29/0.31 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 16 | 1995 29758 90258 | 9919 16 121 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: -21 0.29/0.32 o -21 0.29/0.32 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 18 | 1995 29759 90393 | 9919 18 121 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: -22 0.29/0.33 o -22 0.29/0.33 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 18 | 1995 29760 90528 | 9920 18 121 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: -24 0.29/0.33 o -24 0.29/0.33 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 26 | 1995 29761 90663 | 9920 26 113 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: -25 0.29/0.34 o -25 0.29/0.34 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 29 | 1995 29762 90798 | 9920 29 114 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: -26 0.29/0.35 o -26 0.29/0.35 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 34 | 1995 29763 90933 | 9921 34 112 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: -27 0.29/0.35 o -27 0.29/0.35 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 36 | 1995 29764 91068 | 9921 36 109 | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: -28 0.29/0.36 o -28 0.29/0.36 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 90 | 1995 29765 91203 | 9921 90 106 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: -29 0.29/0.37 o -29 0.29/0.37 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 106 | 1995 29766 91338 | 9922 106 106 | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: -30 0.29/0.38 o -30 0.29/0.38 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 123 | 1995 29767 91473 | 9922 123 105 | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: -31 0.29/0.39 o -31 0.29/0.39 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 129 | 1995 29768 91608 | 9922 129 106 | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: -32 0.29/0.39 o -32 0.29/0.39 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 129 | 1995 29769 91743 | 9923 129 106 | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: -33 0.39/0.40 o -33 0.39/0.40 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 157 | 1995 29770 91878 | 9923 157 104 | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: -34 0.39/0.41 o -34 0.39/0.41 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 157 | 1995 29771 92013 | 9923 157 104 | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: -35 0.39/0.42 o -35 0.39/0.42 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 230 | 1995 29772 92148 | 9924 230 104 | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: -36 0.39/0.43 o -36 0.39/0.43 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 288 | 1995 29773 92283 | 9924 288 104 | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: -37 0.39/0.44 o -37 0.39/0.44 c Elapsed CPU time: 0.405938 s Remaining CPU time: 179.594 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 316 | 1995 29774 92418 | 9924 316 104 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: -38 0.39/0.45 o -38 0.39/0.45 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 316 | 1995 29775 92553 | 9925 316 104 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: -39 0.39/0.46 o -39 0.39/0.46 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 316 | 1995 29776 92688 | 9925 316 104 | 0.000 % | 0.39/0.47 c | 418 | 1995 29776 92688 | 10917 418 104 | 1.482 % | 0.39/0.49 c | 571 | 1995 29776 92688 | 12009 571 105 | 1.482 % | 0.48/0.51 c =============================================================================== 0.48/0.51 c New solution: -40 0.48/0.51 o -40 0.48/0.51 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s 0.48/0.51 c =============================================================================== 0.48/0.51 c | 689 | 1995 29777 92823 | 9925 689 107 | 1.482 % | 0.48/0.52 c =============================================================================== 0.48/0.52 c New solution: -42 0.48/0.52 o -42 0.48/0.52 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s 0.48/0.52 c =============================================================================== 0.48/0.52 c | 689 | 1995 29778 92958 | 9926 689 107 | 1.482 % | 0.48/0.53 c | 790 | 1995 29778 92958 | 10918 790 107 | 1.482 % | 0.48/0.55 c | 942 | 1995 29778 92958 | 12010 942 107 | 1.482 % | 0.48/0.57 c =============================================================================== 0.48/0.57 c New solution: -43 0.48/0.57 o -43 0.48/0.57 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s 0.48/0.57 c =============================================================================== 0.48/0.57 c | 988 | 1995 29779 93093 | 9926 988 107 | 1.482 % | 0.48/0.58 c | 1089 | 1995 29779 93093 | 10918 1089 108 | 1.482 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: -45 0.59/0.61 o -45 0.59/0.61 c Elapsed CPU time: 0.560914 s Remaining CPU time: 179.439 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 1216 | 1995 29780 93228 | 9926 1216 108 | 1.482 % | 0.59/0.62 c | 1317 | 1995 29780 93228 | 10919 1317 108 | 1.482 % | 0.59/0.64 c | 1468 | 1995 29780 93228 | 12011 1468 109 | 1.482 % | 0.59/0.68 c | 1693 | 1995 29780 93228 | 13212 1693 109 | 1.482 % | 0.69/0.75 c | 2031 | 1995 29780 93228 | 14533 2031 109 | 1.482 % | 0.78/0.84 c | 2537 | 1995 29780 93228 | 15986 2537 109 | 1.482 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c New solution: -46 0.89/0.95 o -46 0.89/0.95 c Elapsed CPU time: 0.896863 s Remaining CPU time: 179.103 s 0.89/0.95 c =============================================================================== 0.89/0.95 c | 3091 | 1995 29781 93363 | 9927 3091 109 | 1.482 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c New solution: -48 0.89/0.96 o -48 0.89/0.96 c Elapsed CPU time: 0.903862 s Remaining CPU time: 179.096 s 0.89/0.96 c =============================================================================== 0.89/0.96 c | 3091 | 1995 29782 93498 | 9927 3091 109 | 1.482 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c New solution: -49 0.89/0.97 o -49 0.89/0.97 c Elapsed CPU time: 0.91486 s Remaining CPU time: 179.085 s 0.89/0.97 c =============================================================================== 0.89/0.97 c | 3127 | 1995 29783 93633 | 9927 3127 109 | 1.482 % | 0.99/1.00 c | 3227 | 1995 29783 93633 | 10920 3227 109 | 1.482 % | 0.99/1.05 c | 3377 | 1995 29783 93633 | 12012 3377 109 | 1.482 % | 1.09/1.12 c | 3602 | 1995 29783 93633 | 13213 3602 109 | 1.482 % | 1.09/1.14 c =============================================================================== 1.09/1.14 c New solution: -50 1.09/1.14 o -50 1.09/1.14 c Elapsed CPU time: 1.08083 s Remaining CPU time: 178.919 s 1.09/1.14 c =============================================================================== 1.09/1.14 c | 3641 | 1995 29784 93768 | 9928 3641 109 | 1.482 % | 1.09/1.15 c =============================================================================== 1.09/1.15 c New solution: -51 1.09/1.15 o -51 1.09/1.15 c Elapsed CPU time: 1.08683 s Remaining CPU time: 178.913 s 1.09/1.15 c =============================================================================== 1.09/1.15 c | 3641 | 1995 29785 93903 | 9928 3641 109 | 1.482 % | 1.09/1.18 c | 3741 | 1995 29785 93903 | 10921 3741 109 | 1.482 % | 1.19/1.21 c =============================================================================== 1.19/1.21 c New solution: -53 1.19/1.21 o -53 1.19/1.21 c Elapsed CPU time: 1.14482 s Remaining CPU time: 178.855 s 1.19/1.21 c =============================================================================== 1.19/1.21 c | 3807 | 1995 29786 94038 | 9928 3807 109 | 1.482 % | 1.19/1.24 c | 3909 | 1995 29786 94038 | 10921 3909 109 | 1.482 % | 1.29/1.30 c | 4065 | 1995 29786 94038 | 12013 4065 109 | 1.482 % | 1.29/1.38 c | 4290 | 1995 29786 94038 | 13215 4290 109 | 1.482 % | 1.39/1.40 c =============================================================================== 1.39/1.40 c New solution: -54 1.39/1.40 o -54 1.39/1.40 c Elapsed CPU time: 1.34279 s Remaining CPU time: 178.657 s 1.39/1.40 c =============================================================================== 1.39/1.40 c | 4390 | 1995 29787 94173 | 9929 4390 109 | 1.482 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c New solution: -55 1.39/1.44 o -55 1.39/1.44 c Elapsed CPU time: 1.37379 s Remaining CPU time: 178.626 s 1.39/1.44 c =============================================================================== 1.39/1.44 c | 4465 | 1995 29788 94308 | 9929 4465 109 | 1.482 % | 1.39/1.47 c | 4565 | 1995 29788 94308 | 10922 4565 109 | 1.482 % | 1.49/1.53 c | 4717 | 1995 29788 94308 | 12014 4717 109 | 1.482 % | 1.59/1.61 c | 4942 | 1995 29788 94308 | 13215 4942 109 | 1.482 % | 1.59/1.67 c | 5280 | 1995 29788 94308 | 14537 5280 109 | 1.482 % | 1.69/1.79 c | 5786 | 1995 29788 94308 | 15991 5786 109 | 1.482 % | 2.09/2.10 c | 6545 | 1995 29788 94308 | 17590 6545 109 | 1.482 % | 2.49/2.54 c | 7685 | 1995 29788 94308 | 19349 7685 109 | 1.482 % | 3.29/3.36 c | 9394 | 1995 29788 94308 | 21284 9394 109 | 1.482 % | 4.99/5.09 c | 11959 | 1995 29788 94308 | 23412 11959 109 | 1.482 % | 7.49/7.58 c =============================================================================== 7.49/7.58 c New solution: -56 7.49/7.58 o -56 7.49/7.58 c Elapsed CPU time: 7.48586 s Remaining CPU time: 172.514 s 7.49/7.58 c =============================================================================== 7.49/7.58 c | 14787 | 1995 29789 94443 | 9929 14787 109 | 1.482 % | 7.59/7.68 c | 14889 | 1995 29789 94443 | 10922 7496 105 | 1.482 % | 7.69/7.77 c | 15043 | 1995 29789 94443 | 12014 7650 105 | 1.482 % | 7.88/7.96 c =============================================================================== 7.88/7.96 c New solution: -57 7.88/7.96 o -57 7.88/7.96 c Elapsed CPU time: 7.8568 s Remaining CPU time: 172.143 s 7.88/7.96 c =============================================================================== 7.88/7.96 c | 15266 | 1995 29790 94578 | 9930 7873 105 | 1.482 % | 7.88/7.98 c =============================================================================== 7.88/7.98 c New solution: -58 7.88/7.98 o -58 7.88/7.98 c Elapsed CPU time: 7.8848 s Remaining CPU time: 172.115 s 7.88/7.98 c =============================================================================== 7.88/7.98 c | 15284 | 1995 29791 94713 | 9930 7891 105 | 1.482 % | 7.98/8.07 c | 15391 | 1995 29791 94713 | 10923 7998 105 | 1.482 % | 8.08/8.12 c =============================================================================== 8.08/8.12 c New solution: -59 8.08/8.12 o -59 8.08/8.12 c Elapsed CPU time: 8.01578 s Remaining CPU time: 171.984 s 8.08/8.12 c =============================================================================== 8.08/8.12 c | 15448 | 1995 29792 94848 | 9930 8055 105 | 1.482 % | 8.08/8.18 c | 15550 | 1995 29792 94848 | 10923 8157 105 | 1.482 % | 8.19/8.28 c | 15704 | 1995 29792 94848 | 12016 8311 105 | 1.482 % | 8.39/8.45 c | 15931 | 1995 29792 94848 | 13217 8538 105 | 1.482 % | 8.70/8.73 c | 16268 | 1995 29792 94848 | 14539 8875 105 | 1.482 % | 9.09/9.11 c | 16776 | 1995 29792 94848 | 15993 9383 106 | 1.482 % | 9.58/9.64 c | 17535 | 1995 29792 94848 | 17592 10142 106 | 1.482 % | 10.19/10.24 c | 18675 | 1995 29792 94848 | 19352 11282 106 | 1.482 % | 11.68/11.75 c | 20383 | 1995 29792 94848 | 21287 12990 106 | 1.482 % | 13.79/13.86 c | 22945 | 1995 29792 94848 | 23415 15552 106 | 1.482 % | 16.19/16.22 c =============================================================================== 16.19/16.22 c New solution: -60 16.19/16.22 o -60 16.19/16.22 c Elapsed CPU time: 16.0716 s Remaining CPU time: 163.928 s 16.19/16.22 c =============================================================================== 16.19/16.22 c | 26722 | 1995 29793 94983 | 9931 19329 106 | 1.482 % | 16.49/16.53 c =============================================================================== 16.49/16.53 c New solution: -61 16.49/16.53 o -61 16.49/16.53 c Elapsed CPU time: 16.3775 s Remaining CPU time: 163.622 s 16.49/16.53 c =============================================================================== 16.49/16.53 c | 26760 | 1995 29794 95118 | 9931 9703 102 | 1.482 % | 16.49/16.54 c =============================================================================== 16.49/16.54 c New solution: -62 16.49/16.54 o -62 16.49/16.54 c Elapsed CPU time: 16.3865 s Remaining CPU time: 163.613 s 16.49/16.54 c =============================================================================== 16.49/16.54 c | 26760 | 1995 29795 95253 | 9931 9703 102 | 1.482 % | 16.58/16.61 c | 26862 | 1995 29795 95253 | 10924 9805 102 | 1.482 % | 16.68/16.71 c | 27015 | 1995 29795 95253 | 12017 9958 102 | 1.482 % | 16.88/16.91 c | 27243 | 1995 29795 95253 | 13219 10186 102 | 1.482 % | 17.09/17.19 c | 27580 | 1995 29795 95253 | 14540 10523 102 | 1.482 % | 17.39/17.46 c | 28088 | 1995 29795 95253 | 15995 11031 102 | 1.482 % | 17.89/17.99 c =============================================================================== 17.89/17.99 c New solution: -64 17.89/17.99 o -64 17.89/17.99 c Elapsed CPU time: 17.8343 s Remaining CPU time: 162.166 s 17.89/17.99 c =============================================================================== 17.89/17.99 c | 28846 | 1995 29796 95388 | 9932 11789 102 | 1.482 % | 17.98/18.06 c =============================================================================== 17.98/18.06 c New solution: -65 17.98/18.06 o -65 17.98/18.06 c Elapsed CPU time: 17.8953 s Remaining CPU time: 162.105 s 17.98/18.06 c =============================================================================== 17.98/18.06 c | 28887 | 1995 29797 95523 | 9932 5936 98 | 1.482 % | 18.08/18.11 c | 28988 | 1995 29797 95523 | 10925 6037 98 | 1.482 % | 18.08/18.19 c | 29139 | 1995 29797 95523 | 12018 6188 99 | 1.482 % | 18.28/18.32 c | 29364 | 1995 29797 95523 | 13219 6413 99 | 1.482 % | 18.49/18.50 c | 29704 | 1995 29797 95523 | 14541 6753 99 | 1.482 % | 18.69/18.77 c | 30214 | 1995 29797 95523 | 15996 7263 99 | 1.482 % | 19.08/19.18 c | 30974 | 1995 29797 95523 | 17595 8023 99 | 1.482 % | 19.58/19.65 c | 32118 | 1995 29797 95523 | 19355 9167 100 | 1.482 % | 20.48/20.54 c | 33829 | 1995 29797 95523 | 21290 10878 101 | 1.482 % | 22.28/22.36 c =============================================================================== 22.28/22.36 c New solution: -66 22.28/22.36 o -66 22.28/22.36 c Elapsed CPU time: 22.1656 s Remaining CPU time: 157.834 s 22.28/22.36 c =============================================================================== 22.28/22.36 c | 35863 | 1995 29798 95658 | 9932 12912 101 | 1.482 % | 22.38/22.46 c | 35967 | 1995 29798 95658 | 10925 6560 96 | 1.482 % | 22.48/22.54 c | 36120 | 1995 29798 95658 | 12018 6713 96 | 1.482 % | 22.59/22.69 c | 36345 | 1995 29798 95658 | 13220 6938 96 | 1.482 % | 22.88/22.95 c | 36683 | 1995 29798 95658 | 14542 7276 97 | 1.482 % | 23.18/23.27 c | 37192 | 1995 29798 95658 | 15996 7785 97 | 1.482 % | 23.68/23.71 c | 37951 | 1995 29798 95658 | 17596 8544 98 | 1.482 % | 24.48/24.53 c | 39092 | 1995 29798 95658 | 19355 9685 98 | 1.482 % | 25.89/25.90 c | 40800 | 1995 29798 95658 | 21291 11393 99 | 1.482 % | 28.49/28.52 c | 43364 | 1995 29798 95658 | 23420 13957 99 | 1.482 % | 33.48/33.58 c | 47212 | 1995 29798 95658 | 25762 17805 100 | 1.482 % | 34.88/34.92 c =============================================================================== 34.88/34.92 c New solution: -67 34.88/34.92 o -67 34.88/34.92 c Elapsed CPU time: 34.6637 s Remaining CPU time: 145.336 s 34.88/34.92 c =============================================================================== 34.88/34.92 c | 48574 | 1995 29799 95793 | 9933 19167 100 | 1.482 % | 34.98/35.08 c | 48675 | 1995 29799 95793 | 10926 9685 95 | 1.482 % | 35.09/35.17 c | 48825 | 1995 29799 95793 | 12018 9835 95 | 1.482 % | 35.19/35.29 c | 49050 | 1995 29799 95793 | 13220 10060 95 | 1.482 % | 35.48/35.51 c | 49387 | 1995 29799 95793 | 14542 10397 96 | 1.482 % | 35.88/35.92 c | 49893 | 1995 29799 95793 | 15997 10903 96 | 1.482 % | 36.48/36.56 c | 50654 | 1995 29799 95793 | 17596 11664 96 | 1.482 % | 37.58/37.69 c | 51793 | 1995 29799 95793 | 19356 12803 97 | 1.482 % | 38.39/38.40 c =============================================================================== 38.39/38.40 c New solution: -68 38.39/38.40 o -68 38.39/38.40 c Elapsed CPU time: 38.1172 s Remaining CPU time: 141.883 s 38.39/38.40 c =============================================================================== 38.39/38.40 c | 52952 | 1995 29800 95928 | 9933 13962 97 | 1.482 % | 38.39/38.49 c | 53052 | 1995 29800 95928 | 10926 7081 92 | 1.482 % | 38.48/38.55 c | 53204 | 1995 29800 95928 | 12019 7233 93 | 1.482 % | 38.58/38.66 c | 53430 | 1995 29800 95928 | 13221 7459 93 | 1.482 % | 38.78/38.86 c | 53770 | 1995 29800 95928 | 14543 7799 93 | 1.482 % | 39.08/39.17 c | 54276 | 1995 29800 95928 | 15997 8305 94 | 1.482 % | 39.59/39.64 c =============================================================================== 39.59/39.64 c New solution: -70 39.59/39.64 o -70 39.59/39.64 c Elapsed CPU time: 39.344 s Remaining CPU time: 140.656 s 39.59/39.64 c =============================================================================== 39.59/39.64 c | 54860 | 1995 29801 96063 | 9933 8889 94 | 1.482 % | 39.59/39.66 c =============================================================================== 39.59/39.66 c New solution: -71 39.59/39.66 o -71 39.59/39.66 c Elapsed CPU time: 39.362 s Remaining CPU time: 140.638 s 39.59/39.66 c =============================================================================== 39.59/39.66 c | 54880 | 1995 29802 96198 | 9934 8909 94 | 1.482 % | 39.68/39.70 c | 54982 | 1995 29802 96198 | 10927 9011 94 | 1.482 % | 39.68/39.76 c | 55132 | 1995 29802 96198 | 12020 9161 94 | 1.482 % | 39.78/39.88 c | 55359 | 1995 29802 96198 | 13222 9388 94 | 1.482 % | 39.98/40.02 c | 55696 | 1995 29802 96198 | 14544 9725 95 | 1.482 % | 40.17/40.24 c | 56203 | 1995 29802 96198 | 15998 10232 95 | 1.482 % | 40.69/40.77 c | 56963 | 1995 29802 96198 | 17598 10992 95 | 1.482 % | 41.68/41.72 c | 58103 | 1995 29802 96198 | 19358 12132 95 | 1.482 % | 42.79/42.89 c | 59811 | 1995 29802 96198 | 21294 13840 96 | 1.482 % | 45.08/45.17 c | 62373 | 1995 29802 96198 | 23423 16402 97 | 1.482 % | 47.78/47.82 c | 66220 | 1995 29802 96198 | 25766 20249 97 | 1.482 % | 55.87/55.98 c | 71989 | 1995 29802 96198 | 28342 11883 94 | 1.482 % | 59.47/59.59 c =============================================================================== 59.47/59.59 c New solution: -74 59.47/59.59 o -74 59.47/59.59 c Elapsed CPU time: 59.203 s Remaining CPU time: 120.797 s 59.47/59.59 c =============================================================================== 59.47/59.59 c | 76396 | 1995 29803 96333 | 9934 16290 96 | 1.482 % | 59.57/59.69 c | 76496 | 1995 29803 96333 | 10927 8245 90 | 1.482 % | 59.67/59.76 c | 76651 | 1995 29803 96333 | 12020 8400 90 | 1.482 % | 59.77/59.89 c | 76879 | 1995 29803 96333 | 13222 8628 90 | 1.482 % | 60.08/60.11 c | 77217 | 1995 29803 96333 | 14544 8966 91 | 1.482 % | 60.38/60.40 c | 77723 | 1995 29803 96333 | 15999 9472 91 | 1.482 % | 60.77/60.84 c | 78482 | 1995 29803 96333 | 17599 10231 92 | 1.482 % | 61.67/61.72 c | 79623 | 1995 29803 96333 | 19359 11372 92 | 1.482 % | 63.08/63.18 c | 81333 | 1995 29803 96333 | 21295 13082 93 | 1.482 % | 65.27/65.31 c | 83896 | 1995 29803 96333 | 23424 15645 94 | 1.482 % | 68.37/68.47 c | 87743 | 1995 29803 96333 | 25767 19492 95 | 1.482 % | 68.77/68.80 c =============================================================================== 68.77/68.80 c New solution: -75 68.77/68.80 o -75 68.77/68.80 c Elapsed CPU time: 68.3536 s Remaining CPU time: 111.646 s 68.77/68.80 c =============================================================================== 68.77/68.80 c | 88234 | 1995 29804 96468 | 9934 19983 95 | 1.482 % | 68.98/69.03 c | 88336 | 1995 29804 96468 | 10928 5098 79 | 1.482 % | 68.98/69.09 c | 88489 | 1995 29804 96468 | 12020 5251 80 | 1.482 % | 69.08/69.16 c | 88716 | 1995 29804 96468 | 13223 5478 80 | 1.482 % | 69.18/69.28 c | 89056 | 1995 29804 96468 | 14545 5818 81 | 1.482 % | 69.37/69.48 c | 89565 | 1994 29804 96468 | 15999 6315 83 | 1.531 % | 69.57/69.62 c =============================================================================== 69.57/69.62 c Best Solution: 281 69.57/69.62 s OPTIMUM FOUND 69.57/69.62 c Total CPU time: 69.1675 s 69.57/69.62 v -x1 x2 x3 -x4 -x5 -x6 x7 -x8 x9 x10 -x11 x12 x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 x23 x24 -x25 x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 x71 x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 x131 x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 x483 x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 x567 -x568 x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025
OK -75
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680393-1277460485/watcher-2680393-1277460485 -o /tmp/evaluation-result-2680393-1277460485/solver-2680393-1277460485 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680393-1277460485.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/106 26032 /proc/meminfo: memFree=1831964/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=3532 CPUtime=0 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 283 0 0 0 0 0 0 0 25 0 1 0 87343604 3616768 201 1992294400 134512640 135752675 4293025872 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 883 201 134 303 0 338 0 [startup+0.062155 s] /proc/loadavg: 1.00 1.00 1.00 2/106 26032 /proc/meminfo: memFree=1831964/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=4280 CPUtime=0.05 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 552 0 0 0 5 0 0 0 25 0 1 0 87343604 4382720 470 1992294400 134512640 135752675 4293025872 18446744073709551615 135194400 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 1070 470 216 303 0 525 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4280 [startup+0.101157 s] /proc/loadavg: 1.00 1.00 1.00 2/106 26032 /proc/meminfo: memFree=1831964/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=4892 CPUtime=0.09 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 730 0 0 0 9 0 0 0 25 0 1 0 87343604 5009408 648 1992294400 134512640 135752675 4293025872 18446744073709551615 134574209 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 1223 648 276 303 0 678 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4892 [startup+0.301171 s] /proc/loadavg: 1.00 1.00 1.00 2/106 26032 /proc/meminfo: memFree=1831964/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=5168 CPUtime=0.29 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 1148 0 0 0 27 2 0 0 25 0 1 0 87343604 5292032 826 1992294400 134512640 135752675 4293025872 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 1292 826 144 303 0 987 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5168 [startup+0.701198 s] /proc/loadavg: 1.00 1.00 1.00 2/106 26032 /proc/meminfo: memFree=1831964/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=5816 CPUtime=0.69 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 1330 0 0 0 65 4 0 0 25 0 1 0 87343604 5955584 1008 1992294400 134512640 135752675 4293025872 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 1454 1008 145 303 0 1149 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5816 [startup+1.50125 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26033 /proc/meminfo: memFree=1827492/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=7492 CPUtime=1.49 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 1739 0 0 0 143 6 0 0 25 0 1 0 87343604 7671808 1417 1992294400 134512640 135752675 4293025872 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 1873 1417 145 303 0 1568 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7492 [startup+3.10037 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26033 /proc/meminfo: memFree=1825384/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=9836 CPUtime=3.08 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 2322 0 0 0 301 7 0 0 25 0 1 0 87343604 10072064 2000 1992294400 134512640 135752675 4293025872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 2459 2000 145 303 0 2154 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 9836 [startup+6.30059 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26033 /proc/meminfo: memFree=1821912/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=12320 CPUtime=6.29 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 2958 0 0 0 620 9 0 0 25 0 1 0 87343604 12615680 2636 1992294400 134512640 135752675 4293025872 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 3080 2636 145 303 0 2775 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12320 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26033 /proc/meminfo: memFree=1817200/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=16980 CPUtime=12.69 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 4093 0 0 0 1257 12 0 0 25 0 1 0 87343604 17387520 3771 1992294400 134512640 135752675 4293025872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 4245 3771 145 303 0 3940 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16980 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26033 /proc/meminfo: memFree=1807156/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=26940 CPUtime=25.49 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 6574 0 0 0 2528 21 0 0 25 0 1 0 87343604 27586560 6252 1992294400 134512640 135752675 4293025872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 6735 6252 145 303 0 6430 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26940 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26033 /proc/meminfo: memFree=1792896/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=41152 CPUtime=51.08 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 10125 0 0 0 5074 34 0 0 25 0 1 0 87343604 42139648 9803 1992294400 134512640 135752675 4293025872 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 10288 9803 145 303 0 9983 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 41152 Solver just ended. Dumping a history of the last processes samples [startup+57.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26033 /proc/meminfo: memFree=1790044/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=44040 CPUtime=57.48 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 10838 0 0 0 5712 36 0 0 25 0 1 0 87343604 45096960 10516 1992294400 134512640 135752675 4293025872 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 11010 10516 145 303 0 10705 0 Current children cumulated CPU time (s) 57.48 Current children cumulated vsize (KiB) 44040 [startup+63.9006 s] /proc/loadavg: 1.08 1.02 1.01 2/107 26035 /proc/meminfo: memFree=1785828/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=48020 CPUtime=63.88 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 11841 0 0 0 6348 40 0 0 25 0 1 0 87343604 49172480 11519 1992294400 134512640 135752675 4293025872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 12005 11519 145 303 0 11700 0 Current children cumulated CPU time (s) 63.88 Current children cumulated vsize (KiB) 48020 [startup+67.1088 s] /proc/loadavg: 1.08 1.02 1.01 2/107 26035 /proc/meminfo: memFree=1783968/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=49960 CPUtime=67.08 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 12315 0 0 0 6667 41 0 0 25 0 1 0 87343604 51159040 11993 1992294400 134512640 135752675 4293025872 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 12490 11993 145 303 0 12185 0 Current children cumulated CPU time (s) 67.08 Current children cumulated vsize (KiB) 49960 [startup+68.7009 s] /proc/loadavg: 1.07 1.02 1.00 2/107 26035 /proc/meminfo: memFree=1783224/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=51000 CPUtime=68.67 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 12589 0 0 0 6825 42 0 0 25 0 1 0 87343604 52224000 12267 1992294400 134512640 135752675 4293025872 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 12750 12267 145 303 0 12445 0 Current children cumulated CPU time (s) 68.67 Current children cumulated vsize (KiB) 51000 [startup+69.101 s] /proc/loadavg: 1.07 1.02 1.00 2/107 26035 /proc/meminfo: memFree=1783224/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=51264 CPUtime=69.08 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 12644 0 0 0 6865 43 0 0 25 0 1 0 87343604 52494336 12322 1992294400 134512640 135752675 4293025872 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 12816 12322 145 303 0 12511 0 Current children cumulated CPU time (s) 69.08 Current children cumulated vsize (KiB) 51264 [startup+69.501 s] /proc/loadavg: 1.07 1.02 1.00 2/107 26035 /proc/meminfo: memFree=1782356/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=51776 CPUtime=69.47 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 12773 0 0 0 6904 43 0 0 25 0 1 0 87343604 53018624 12451 1992294400 134512640 135752675 4293025872 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 12944 12451 145 303 0 12639 0 Current children cumulated CPU time (s) 69.47 Current children cumulated vsize (KiB) 51776 [startup+69.601 s] /proc/loadavg: 1.07 1.02 1.00 2/107 26035 /proc/meminfo: memFree=1782356/2059040 swapFree=4140168/4192956 [pid=26032] ppid=26030 vsize=51904 CPUtime=69.57 /proc/26032/stat : 26032 (wbo1.4b) R 26030 26032 25465 0 -1 4202496 12799 0 0 0 6914 43 0 0 25 0 1 0 87343604 53149696 12477 1992294400 134512640 135752675 4293025872 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26032/statm: 12976 12477 145 303 0 12671 0 Current children cumulated CPU time (s) 69.57 Current children cumulated vsize (KiB) 51904 Child status: 0 Real time (s): 69.6332 CPU time (s): 69.6144 CPU user time (s): 69.1685 CPU system time (s): 0.445932 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 51904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 69.1685 system time used= 0.445932 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12810 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= 15 involuntary context switches= 114 runsolver used 0.113982 second user time and 0.350946 second system time The end
Begin job on node034 at 2010-06-25 12:08:05 IDJOB=2680393 IDBENCH=71839 IDSOLVER=1190 FILE ID=node034/2680393-1277460485 PBS_JOBID= 11188132 Free space on /tmp= 62436 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-10000opt.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680393-1277460485/watcher-2680393-1277460485 -o /tmp/evaluation-result-2680393-1277460485/solver-2680393-1277460485 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680393-1277460485.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3c1368de4464ff81756c1b99158c803c RANDOM SEED=1776308948 node034.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1832368 kB Buffers: 38632 kB Cached: 85636 kB SwapCached: 5348 kB Active: 61304 kB Inactive: 76148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1832368 kB SwapTotal: 4192956 kB SwapFree: 4140168 kB Dirty: 3656 kB Writeback: 0 kB AnonPages: 11732 kB Mapped: 12140 kB Slab: 67256 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182608 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62432 MiB End job on node034 at 2010-06-25 12:09:15