Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | -75 | 66.058 | 66.0763 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655750-1276687482.opb. 0.00/0.00 c Instance file HOME/instance-2655750-1276687482.opb 0.00/0.00 c File size is 982467 bytes. 0.09/0.13 c Highest Coefficient sum: 4 0.09/0.13 c ============================[ Problem Statistics ]============================= 0.09/0.13 c | | 0.09/0.13 c | Parsing time: 0.13 s | 0.09/0.13 c | Number Variables: 2025 | 0.09/0.13 c | Number Clauses: 29711 | 0.09/0.13 c | Number Cardinality: 0 | 0.09/0.13 c | Number PB Constraints: 0 | 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1995 29741 87963 | 9903 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 356 0.09/0.18 o 356 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1995 29742 88098 | 9914 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 353 0.09/0.18 o 353 0.09/0.18 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1995 29743 88233 | 9914 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 352 0.09/0.19 o 352 0.09/0.19 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1995 29744 88368 | 9914 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 350 0.19/0.20 o 350 0.19/0.20 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1995 29745 88503 | 9915 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 349 0.19/0.20 o 349 0.19/0.20 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1995 29746 88638 | 9915 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 347 0.19/0.21 o 347 0.19/0.21 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 2 | 1995 29747 88773 | 9915 2 133 | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 346 0.19/0.21 o 346 0.19/0.21 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 2 | 1995 29748 88908 | 9916 2 133 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 345 0.19/0.22 o 345 0.19/0.22 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 4 | 1995 29749 89043 | 9916 4 131 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 344 0.19/0.23 o 344 0.19/0.23 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 4 | 1995 29750 89178 | 9916 4 131 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 343 0.19/0.23 o 343 0.19/0.23 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 8 | 1995 29751 89313 | 9917 8 130 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 342 0.19/0.24 o 342 0.19/0.24 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 10 | 1995 29752 89448 | 9917 10 130 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 341 0.19/0.24 o 341 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 | 11 | 1995 29753 89583 | 9917 11 118 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 340 0.19/0.25 o 340 0.19/0.25 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 12 | 1995 29754 89718 | 9918 12 119 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 339 0.19/0.26 o 339 0.19/0.26 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 14 | 1995 29755 89853 | 9918 14 120 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 338 0.19/0.26 o 338 0.19/0.26 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 14 | 1995 29756 89988 | 9918 14 120 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 337 0.19/0.27 o 337 0.19/0.27 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 15 | 1995 29757 90123 | 9919 15 120 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 336 0.19/0.27 o 336 0.19/0.27 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 16 | 1995 29758 90258 | 9919 16 121 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 335 0.19/0.28 o 335 0.19/0.28 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 18 | 1995 29759 90393 | 9919 18 121 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 334 0.19/0.29 o 334 0.19/0.29 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 18 | 1995 29760 90528 | 9920 18 121 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 332 0.19/0.29 o 332 0.19/0.29 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 26 | 1995 29761 90663 | 9920 26 113 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: 331 0.29/0.30 o 331 0.29/0.30 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 29 | 1995 29762 90798 | 9920 29 114 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 330 0.29/0.31 o 330 0.29/0.31 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 34 | 1995 29763 90933 | 9921 34 112 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 329 0.29/0.31 o 329 0.29/0.31 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 36 | 1995 29764 91068 | 9921 36 109 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 328 0.29/0.32 o 328 0.29/0.32 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 90 | 1995 29765 91203 | 9921 90 106 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 327 0.29/0.33 o 327 0.29/0.33 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 106 | 1995 29766 91338 | 9922 106 106 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 326 0.29/0.34 o 326 0.29/0.34 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 123 | 1995 29767 91473 | 9922 123 105 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 325 0.29/0.34 o 325 0.29/0.34 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 129 | 1995 29768 91608 | 9922 129 106 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: 324 0.29/0.35 o 324 0.29/0.35 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 129 | 1995 29769 91743 | 9923 129 106 | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: 323 0.29/0.36 o 323 0.29/0.36 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 157 | 1995 29770 91878 | 9923 157 104 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 322 0.29/0.37 o 322 0.29/0.37 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 157 | 1995 29771 92013 | 9923 157 104 | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: 321 0.29/0.38 o 321 0.29/0.38 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 230 | 1995 29772 92148 | 9924 230 104 | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 320 0.29/0.39 o 320 0.29/0.39 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 288 | 1995 29773 92283 | 9924 288 104 | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 319 0.39/0.40 o 319 0.39/0.40 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 316 | 1995 29774 92418 | 9924 316 104 | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 318 0.39/0.40 o 318 0.39/0.40 c Elapsed CPU time: 0.355945 s Remaining CPU time: 179.644 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 316 | 1995 29775 92553 | 9925 316 104 | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 317 0.39/0.41 o 317 0.39/0.41 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 316 | 1995 29776 92688 | 9925 316 104 | 0.000 % | 0.39/0.42 c | 418 | 1995 29776 92688 | 10917 418 104 | 1.482 % | 0.39/0.44 c | 571 | 1995 29776 92688 | 12009 571 105 | 1.482 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: 316 0.39/0.46 o 316 0.39/0.46 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 689 | 1995 29777 92823 | 9925 689 107 | 1.482 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: 314 0.39/0.46 o 314 0.39/0.46 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 689 | 1995 29778 92958 | 9926 689 107 | 1.482 % | 0.39/0.48 c | 790 | 1995 29778 92958 | 10918 790 107 | 1.482 % | 0.49/0.50 c | 942 | 1995 29778 92958 | 12010 942 107 | 1.482 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: 313 0.49/0.51 o 313 0.49/0.51 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 988 | 1995 29779 93093 | 9926 988 107 | 1.482 % | 0.49/0.52 c | 1089 | 1995 29779 93093 | 10918 1089 108 | 1.482 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: 311 0.49/0.55 o 311 0.49/0.55 c Elapsed CPU time: 0.494924 s Remaining CPU time: 179.505 s 0.49/0.55 c =============================================================================== 0.49/0.55 c | 1216 | 1995 29780 93228 | 9926 1216 108 | 1.482 % | 0.49/0.56 c | 1317 | 1995 29780 93228 | 10919 1317 108 | 1.482 % | 0.49/0.58 c | 1468 | 1995 29780 93228 | 12011 1468 109 | 1.482 % | 0.59/0.62 c | 1693 | 1995 29780 93228 | 13212 1693 109 | 1.482 % | 0.59/0.68 c | 2031 | 1995 29780 93228 | 14533 2031 109 | 1.482 % | 0.69/0.76 c | 2537 | 1995 29780 93228 | 15986 2537 109 | 1.482 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: 310 0.79/0.87 o 310 0.79/0.87 c Elapsed CPU time: 0.807877 s Remaining CPU time: 179.192 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 3091 | 1995 29781 93363 | 9927 3091 109 | 1.482 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: 308 0.79/0.87 o 308 0.79/0.87 c Elapsed CPU time: 0.814876 s Remaining CPU time: 179.185 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 3091 | 1995 29782 93498 | 9927 3091 109 | 1.482 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c New solution: 307 0.79/0.89 o 307 0.79/0.89 c Elapsed CPU time: 0.825874 s Remaining CPU time: 179.174 s 0.79/0.89 c =============================================================================== 0.79/0.89 c | 3127 | 1995 29783 93633 | 9927 3127 109 | 1.482 % | 0.89/0.92 c | 3227 | 1995 29783 93633 | 10920 3227 109 | 1.482 % | 0.89/0.96 c | 3377 | 1995 29783 93633 | 12012 3377 109 | 1.482 % | 1.00/1.03 c | 3602 | 1995 29783 93633 | 13213 3602 109 | 1.482 % | 1.00/1.04 c =============================================================================== 1.00/1.04 c New solution: 306 1.00/1.04 o 306 1.00/1.04 c Elapsed CPU time: 0.978851 s Remaining CPU time: 179.021 s 1.00/1.04 c =============================================================================== 1.00/1.04 c | 3641 | 1995 29784 93768 | 9928 3641 109 | 1.482 % | 1.00/1.05 c =============================================================================== 1.00/1.05 c New solution: 305 1.00/1.05 o 305 1.00/1.05 c Elapsed CPU time: 0.98585 s Remaining CPU time: 179.014 s 1.00/1.05 c =============================================================================== 1.00/1.05 c | 3641 | 1995 29785 93903 | 9928 3641 109 | 1.482 % | 1.00/1.08 c | 3741 | 1995 29785 93903 | 10921 3741 109 | 1.482 % | 1.09/1.11 c =============================================================================== 1.09/1.11 c New solution: 303 1.09/1.11 o 303 1.09/1.11 c Elapsed CPU time: 1.04184 s Remaining CPU time: 178.958 s 1.09/1.11 c =============================================================================== 1.09/1.11 c | 3807 | 1995 29786 94038 | 9928 3807 109 | 1.482 % | 1.09/1.14 c | 3909 | 1995 29786 94038 | 10921 3909 109 | 1.482 % | 1.09/1.19 c | 4065 | 1995 29786 94038 | 12013 4065 109 | 1.482 % | 1.19/1.27 c | 4290 | 1995 29786 94038 | 13215 4290 109 | 1.482 % | 1.19/1.29 c =============================================================================== 1.19/1.29 c New solution: 302 1.19/1.29 o 302 1.19/1.29 c Elapsed CPU time: 1.22281 s Remaining CPU time: 178.777 s 1.19/1.29 c =============================================================================== 1.19/1.29 c | 4390 | 1995 29787 94173 | 9929 4390 109 | 1.482 % | 1.29/1.32 c =============================================================================== 1.29/1.32 c New solution: 301 1.29/1.32 o 301 1.29/1.32 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s 1.29/1.32 c =============================================================================== 1.29/1.32 c | 4465 | 1995 29788 94308 | 9929 4465 109 | 1.482 % | 1.29/1.35 c | 4565 | 1995 29788 94308 | 10922 4565 109 | 1.482 % | 1.39/1.41 c | 4717 | 1995 29788 94308 | 12014 4717 109 | 1.482 % | 1.39/1.48 c | 4942 | 1995 29788 94308 | 13215 4942 109 | 1.482 % | 1.49/1.54 c | 5280 | 1995 29788 94308 | 14537 5280 109 | 1.482 % | 1.59/1.66 c | 5786 | 1995 29788 94308 | 15991 5786 109 | 1.482 % | 1.89/1.94 c | 6545 | 1995 29788 94308 | 17590 6545 109 | 1.482 % | 2.29/2.35 c | 7685 | 1995 29788 94308 | 19349 7685 109 | 1.482 % | 3.09/3.12 c | 9394 | 1995 29788 94308 | 21284 9394 109 | 1.482 % | 4.69/4.75 c | 11959 | 1995 29788 94308 | 23412 11959 109 | 1.482 % | 6.98/7.09 c =============================================================================== 6.98/7.09 c New solution: 300 6.98/7.09 o 300 6.98/7.09 c Elapsed CPU time: 6.98294 s Remaining CPU time: 173.017 s 6.98/7.09 c =============================================================================== 6.98/7.09 c | 14787 | 1995 29789 94443 | 9929 14787 109 | 1.482 % | 7.09/7.19 c | 14889 | 1995 29789 94443 | 10922 7496 105 | 1.482 % | 7.19/7.28 c | 15043 | 1995 29789 94443 | 12014 7650 105 | 1.482 % | 7.39/7.46 c =============================================================================== 7.39/7.46 c New solution: 299 7.39/7.46 o 299 7.39/7.46 c Elapsed CPU time: 7.34788 s Remaining CPU time: 172.652 s 7.39/7.46 c =============================================================================== 7.39/7.46 c | 15266 | 1995 29790 94578 | 9930 7873 105 | 1.482 % | 7.39/7.48 c =============================================================================== 7.39/7.48 c New solution: 298 7.39/7.48 o 298 7.39/7.48 c Elapsed CPU time: 7.37488 s Remaining CPU time: 172.625 s 7.39/7.48 c =============================================================================== 7.39/7.48 c | 15284 | 1995 29791 94713 | 9930 7891 105 | 1.482 % | 7.49/7.57 c | 15391 | 1995 29791 94713 | 10923 7998 105 | 1.482 % | 7.60/7.61 c =============================================================================== 7.60/7.61 c New solution: 297 7.60/7.61 o 297 7.60/7.61 c Elapsed CPU time: 7.49486 s Remaining CPU time: 172.505 s 7.60/7.61 c =============================================================================== 7.60/7.61 c | 15448 | 1995 29792 94848 | 9930 8055 105 | 1.482 % | 7.60/7.67 c | 15550 | 1995 29792 94848 | 10923 8157 105 | 1.482 % | 7.69/7.76 c | 15704 | 1995 29792 94848 | 12016 8311 105 | 1.482 % | 7.89/7.92 c | 15931 | 1995 29792 94848 | 13217 8538 105 | 1.482 % | 8.09/8.18 c | 16268 | 1995 29792 94848 | 14539 8875 105 | 1.482 % | 8.49/8.55 c | 16776 | 1995 29792 94848 | 15993 9383 106 | 1.482 % | 8.99/9.04 c | 17535 | 1995 29792 94848 | 17592 10142 106 | 1.482 % | 9.58/9.60 c | 18675 | 1995 29792 94848 | 19352 11282 106 | 1.482 % | 10.99/11.02 c | 20383 | 1995 29792 94848 | 21287 12990 106 | 1.482 % | 12.98/13.01 c | 22945 | 1995 29792 94848 | 23415 15552 106 | 1.482 % | 15.19/15.24 c =============================================================================== 15.19/15.24 c New solution: 296 15.19/15.24 o 296 15.19/15.24 c Elapsed CPU time: 15.0817 s Remaining CPU time: 164.918 s 15.19/15.24 c =============================================================================== 15.19/15.24 c | 26722 | 1995 29793 94983 | 9931 19329 106 | 1.482 % | 15.58/15.68 c =============================================================================== 15.58/15.68 c New solution: 295 15.58/15.68 o 295 15.58/15.68 c Elapsed CPU time: 15.5146 s Remaining CPU time: 164.485 s 15.58/15.68 c =============================================================================== 15.58/15.68 c | 26760 | 1995 29794 95118 | 9931 9703 102 | 1.482 % | 15.58/15.68 c =============================================================================== 15.58/15.68 c New solution: 294 15.58/15.68 o 294 15.58/15.68 c Elapsed CPU time: 15.5216 s Remaining CPU time: 164.478 s 15.58/15.68 c =============================================================================== 15.58/15.68 c | 26760 | 1995 29795 95253 | 9931 9703 102 | 1.482 % | 15.69/15.75 c | 26862 | 1995 29795 95253 | 10924 9805 102 | 1.482 % | 15.79/15.84 c | 27015 | 1995 29795 95253 | 12017 9958 102 | 1.482 % | 15.99/16.03 c | 27243 | 1995 29795 95253 | 13219 10186 102 | 1.482 % | 16.29/16.30 c | 27580 | 1995 29795 95253 | 14540 10523 102 | 1.482 % | 16.50/16.55 c | 28088 | 1995 29795 95253 | 15995 11031 102 | 1.482 % | 16.99/17.05 c =============================================================================== 16.99/17.05 c New solution: 292 16.99/17.05 o 292 16.99/17.05 c Elapsed CPU time: 16.8784 s Remaining CPU time: 163.122 s 16.99/17.05 c =============================================================================== 16.99/17.05 c | 28846 | 1995 29796 95388 | 9932 11789 102 | 1.482 % | 17.09/17.13 c =============================================================================== 17.09/17.13 c New solution: 291 17.09/17.13 o 291 17.09/17.13 c Elapsed CPU time: 16.9534 s Remaining CPU time: 163.047 s 17.09/17.13 c =============================================================================== 17.09/17.13 c | 28887 | 1995 29797 95523 | 9932 5936 98 | 1.482 % | 17.09/17.18 c | 28988 | 1995 29797 95523 | 10925 6037 98 | 1.482 % | 17.18/17.25 c | 29139 | 1995 29797 95523 | 12018 6188 99 | 1.482 % | 17.28/17.38 c | 29364 | 1995 29797 95523 | 13219 6413 99 | 1.482 % | 17.49/17.54 c | 29704 | 1995 29797 95523 | 14541 6753 99 | 1.482 % | 17.79/17.80 c | 30214 | 1995 29797 95523 | 15996 7263 99 | 1.482 % | 18.09/18.18 c | 30974 | 1995 29797 95523 | 17595 8023 99 | 1.482 % | 18.59/18.62 c | 32118 | 1995 29797 95523 | 19355 9167 100 | 1.482 % | 19.39/19.47 c | 33829 | 1995 29797 95523 | 21290 10878 101 | 1.482 % | 21.08/21.18 c =============================================================================== 21.08/21.18 c New solution: 290 21.08/21.18 o 290 21.08/21.18 c Elapsed CPU time: 20.9798 s Remaining CPU time: 159.02 s 21.08/21.18 c =============================================================================== 21.08/21.18 c | 35863 | 1995 29798 95658 | 9932 12912 101 | 1.482 % | 21.18/21.29 c | 35967 | 1995 29798 95658 | 10925 6560 96 | 1.482 % | 21.28/21.37 c | 36120 | 1995 29798 95658 | 12018 6713 96 | 1.482 % | 21.48/21.51 c | 36345 | 1995 29798 95658 | 13220 6938 96 | 1.482 % | 21.68/21.75 c | 36683 | 1995 29798 95658 | 14542 7276 97 | 1.482 % | 22.00/22.05 c | 37192 | 1995 29798 95658 | 15996 7785 97 | 1.482 % | 22.39/22.46 c | 37951 | 1995 29798 95658 | 17596 8544 98 | 1.482 % | 23.19/23.22 c | 39092 | 1995 29798 95658 | 19355 9685 98 | 1.482 % | 24.48/24.52 c | 40800 | 1995 29798 95658 | 21291 11393 99 | 1.482 % | 26.88/26.99 c | 43364 | 1995 29798 95658 | 23420 13957 99 | 1.482 % | 31.69/31.76 c | 47212 | 1995 29798 95658 | 25762 17805 100 | 1.482 % | 32.99/33.04 c =============================================================================== 32.99/33.04 c New solution: 289 32.99/33.04 o 289 32.99/33.04 c Elapsed CPU time: 32.797 s Remaining CPU time: 147.203 s 32.99/33.04 c =============================================================================== 32.99/33.04 c | 48574 | 1995 29799 95793 | 9933 19167 100 | 1.482 % | 33.18/33.25 c | 48675 | 1995 29799 95793 | 10926 9685 95 | 1.482 % | 33.28/33.33 c | 48825 | 1995 29799 95793 | 12018 9835 95 | 1.482 % | 33.38/33.44 c | 49050 | 1995 29799 95793 | 13220 10060 95 | 1.482 % | 33.58/33.65 c | 49387 | 1995 29799 95793 | 14542 10397 96 | 1.482 % | 33.99/34.03 c | 49893 | 1995 29799 95793 | 15997 10903 96 | 1.482 % | 34.58/34.63 c | 50654 | 1995 29799 95793 | 17596 11664 96 | 1.482 % | 35.69/35.70 c | 51793 | 1995 29799 95793 | 19356 12803 97 | 1.482 % | 36.29/36.36 c =============================================================================== 36.29/36.36 c New solution: 288 36.29/36.36 o 288 36.29/36.36 c Elapsed CPU time: 36.1035 s Remaining CPU time: 143.896 s 36.29/36.36 c =============================================================================== 36.29/36.36 c | 52952 | 1995 29800 95928 | 9933 13962 97 | 1.482 % | 36.38/36.48 c | 53052 | 1995 29800 95928 | 10926 7081 92 | 1.482 % | 36.48/36.53 c | 53204 | 1995 29800 95928 | 12019 7233 93 | 1.482 % | 36.58/36.64 c | 53430 | 1995 29800 95928 | 13221 7459 93 | 1.482 % | 36.78/36.82 c | 53770 | 1995 29800 95928 | 14543 7799 93 | 1.482 % | 37.09/37.11 c | 54276 | 1995 29800 95928 | 15997 8305 94 | 1.482 % | 37.48/37.55 c =============================================================================== 37.48/37.55 c New solution: 286 37.48/37.55 o 286 37.48/37.55 c Elapsed CPU time: 37.2793 s Remaining CPU time: 142.721 s 37.48/37.55 c =============================================================================== 37.48/37.55 c | 54860 | 1995 29801 96063 | 9933 8889 94 | 1.482 % | 37.48/37.57 c =============================================================================== 37.48/37.57 c New solution: 285 37.48/37.57 o 285 37.48/37.57 c Elapsed CPU time: 37.2943 s Remaining CPU time: 142.706 s 37.48/37.57 c =============================================================================== 37.48/37.57 c | 54880 | 1995 29802 96198 | 9934 8909 94 | 1.482 % | 37.58/37.61 c | 54982 | 1995 29802 96198 | 10927 9011 94 | 1.482 % | 37.58/37.66 c | 55132 | 1995 29802 96198 | 12020 9161 94 | 1.482 % | 37.68/37.77 c | 55359 | 1995 29802 96198 | 13222 9388 94 | 1.482 % | 37.88/37.91 c | 55696 | 1995 29802 96198 | 14544 9725 95 | 1.482 % | 38.08/38.12 c | 56203 | 1995 29802 96198 | 15998 10232 95 | 1.482 % | 38.58/38.61 c | 56963 | 1995 29802 96198 | 17598 10992 95 | 1.482 % | 39.49/39.50 c | 58103 | 1995 29802 96198 | 19358 12132 95 | 1.482 % | 40.48/40.59 c | 59811 | 1995 29802 96198 | 21294 13840 96 | 1.482 % | 42.68/42.74 c | 62373 | 1995 29802 96198 | 23423 16402 97 | 1.482 % | 45.17/45.25 c | 66220 | 1995 29802 96198 | 25766 20249 97 | 1.482 % | 52.98/53.03 c | 71989 | 1995 29802 96198 | 28342 11883 94 | 1.482 % | 56.37/56.44 c =============================================================================== 56.37/56.44 c New solution: 282 56.37/56.44 o 282 56.37/56.44 c Elapsed CPU time: 56.0905 s Remaining CPU time: 123.91 s 56.37/56.44 c =============================================================================== 56.37/56.44 c | 76396 | 1995 29803 96333 | 9934 16290 96 | 1.482 % | 56.48/56.57 c | 76496 | 1995 29803 96333 | 10927 8245 90 | 1.482 % | 56.58/56.63 c | 76651 | 1995 29803 96333 | 12020 8400 90 | 1.482 % | 56.68/56.75 c | 76879 | 1995 29803 96333 | 13222 8628 90 | 1.482 % | 56.88/56.96 c | 77217 | 1995 29803 96333 | 14544 8966 91 | 1.482 % | 57.19/57.24 c | 77723 | 1995 29803 96333 | 15999 9472 91 | 1.482 % | 57.58/57.65 c | 78482 | 1995 29803 96333 | 17599 10231 92 | 1.482 % | 58.37/58.48 c | 79623 | 1995 29803 96333 | 19359 11372 92 | 1.482 % | 59.78/59.85 c | 81333 | 1995 29803 96333 | 21295 13082 93 | 1.482 % | 61.77/61.88 c | 83896 | 1995 29803 96333 | 23424 15645 94 | 1.482 % | 64.78/64.87 c | 87743 | 1995 29803 96333 | 25767 19492 95 | 1.482 % | 65.08/65.18 c =============================================================================== 65.08/65.18 c New solution: 281 65.08/65.18 o 281 65.08/65.18 c Elapsed CPU time: 64.7772 s Remaining CPU time: 115.223 s 65.08/65.18 c =============================================================================== 65.08/65.18 c | 88234 | 1995 29804 96468 | 9934 19983 95 | 1.482 % | 65.48/65.51 c | 88336 | 1995 29804 96468 | 10928 5098 79 | 1.482 % | 65.48/65.57 c | 88489 | 1995 29804 96468 | 12020 5251 80 | 1.482 % | 65.58/65.63 c | 88716 | 1995 29804 96468 | 13223 5478 80 | 1.482 % | 65.67/65.75 c | 89056 | 1995 29804 96468 | 14545 5818 81 | 1.482 % | 65.88/65.94 c | 89565 | 1994 29804 96468 | 15999 6315 83 | 1.531 % | 65.98/66.06 c =============================================================================== 65.98/66.06 c Best Solution: 281 65.98/66.06 s OPTIMUM FOUND 65.98/66.06 c Total CPU time: 65.652 s 65.98/66.07 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-2655750-1276687482/watcher-2655750-1276687482 -o /tmp/evaluation-result-2655750-1276687482/solver-2655750-1276687482 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655750-1276687482.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.01 3/105 15311 /proc/meminfo: memFree=1740336/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=3796 CPUtime=0 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 346 0 0 0 0 0 0 0 25 0 1 0 10042344 3887104 264 1992294400 134512640 135751879 4291971968 18446744073709551615 134560803 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 949 266 144 303 0 404 0 [startup+0.084378 s] /proc/loadavg: 1.00 1.00 1.01 3/105 15311 /proc/meminfo: memFree=1740336/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=4892 CPUtime=0.08 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 743 0 0 0 8 0 0 0 25 0 1 0 10042344 5009408 661 1992294400 134512640 135751879 4291971968 18446744073709551615 135196570 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 1223 661 286 303 0 678 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4892 [startup+0.10038 s] /proc/loadavg: 1.00 1.00 1.01 3/105 15311 /proc/meminfo: memFree=1740336/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=5024 CPUtime=0.09 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 815 0 0 0 9 0 0 0 25 0 1 0 10042344 5144576 733 1992294400 134512640 135751879 4291971968 18446744073709551615 135192482 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 1256 733 316 303 0 711 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5024 [startup+0.300401 s] /proc/loadavg: 1.00 1.00 1.01 3/105 15311 /proc/meminfo: memFree=1740336/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=5168 CPUtime=0.29 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 1152 0 0 0 26 3 0 0 18 0 1 0 10042344 5292032 830 1992294400 134512640 135751879 4291971968 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 1292 830 146 303 0 987 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5168 [startup+0.700443 s] /proc/loadavg: 1.00 1.00 1.01 3/105 15311 /proc/meminfo: memFree=1740336/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=6072 CPUtime=0.69 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 1380 0 0 0 64 5 0 0 18 0 1 0 10042344 6217728 1058 1992294400 134512640 135751879 4291971968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 1518 1058 147 303 0 1213 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6072 [startup+1.50053 s] /proc/loadavg: 1.00 1.00 1.01 2/106 15312 /proc/meminfo: memFree=1735864/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=7752 CPUtime=1.49 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 1799 0 0 0 142 7 0 0 18 0 1 0 10042344 7938048 1477 1992294400 134512640 135751879 4291971968 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 1938 1477 147 303 0 1633 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7752 [startup+3.1007 s] /proc/loadavg: 1.00 1.00 1.01 2/106 15312 /proc/meminfo: memFree=1733632/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=10092 CPUtime=3.09 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 2408 0 0 0 300 9 0 0 20 0 1 0 10042344 10334208 2086 1992294400 134512640 135751879 4291971968 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 2523 2086 147 303 0 2218 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10092 [startup+6.30103 s] /proc/loadavg: 1.00 1.00 1.01 2/106 15312 /proc/meminfo: memFree=1730284/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=12828 CPUtime=6.29 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 3056 0 0 0 619 10 0 0 25 0 1 0 10042344 13135872 2734 1992294400 134512640 135751879 4291971968 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 3207 2734 147 303 0 2902 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12828 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.01 2/106 15314 /proc/meminfo: memFree=1725200/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=17492 CPUtime=12.69 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 4233 0 0 0 1255 14 0 0 25 0 1 0 10042344 17911808 3911 1992294400 134512640 135751879 4291971968 18446744073709551615 134616380 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 4373 3911 148 303 0 4068 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17492 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.01 2/106 15314 /proc/meminfo: memFree=1714784/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=27816 CPUtime=25.49 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 6803 0 0 0 2528 21 0 0 25 0 1 0 10042344 28483584 6481 1992294400 134512640 135751879 4291971968 18446744073709551615 134616371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 6954 6481 148 303 0 6649 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27816 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.01 2/106 15314 /proc/meminfo: memFree=1700276/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=42504 CPUtime=51.07 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 10444 0 0 0 5076 31 0 0 25 0 1 0 10042344 43524096 10122 1992294400 134512640 135751879 4291971968 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 10626 10122 148 303 0 10321 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 42504 Solver just ended. Dumping a history of the last processes samples [startup+57.5015 s] /proc/loadavg: 1.00 1.00 1.01 2/106 15314 /proc/meminfo: memFree=1696556/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=46224 CPUtime=57.48 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 11386 0 0 0 5714 34 0 0 25 0 1 0 10042344 47333376 11064 1992294400 134512640 135751879 4291971968 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 11556 11064 148 303 0 11251 0 Current children cumulated CPU time (s) 57.48 Current children cumulated vsize (KiB) 46224 [startup+60.7008 s] /proc/loadavg: 1.00 1.00 1.01 2/106 15314 /proc/meminfo: memFree=1694448/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=48152 CPUtime=60.67 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 11865 0 0 0 6032 35 0 0 25 0 1 0 10042344 49307648 11543 1992294400 134512640 135751879 4291971968 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 12038 11543 148 303 0 11733 0 Current children cumulated CPU time (s) 60.67 Current children cumulated vsize (KiB) 48152 [startup+63.9011 s] /proc/loadavg: 1.00 1.00 1.01 2/106 15314 /proc/meminfo: memFree=1692340/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=50164 CPUtime=63.88 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 12367 0 0 0 6350 38 0 0 25 0 1 0 10042344 51367936 12045 1992294400 134512640 135751879 4291971968 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 12541 12045 148 303 0 12236 0 Current children cumulated CPU time (s) 63.88 Current children cumulated vsize (KiB) 50164 [startup+64.7012 s] /proc/loadavg: 1.00 1.00 1.01 2/106 15314 /proc/meminfo: memFree=1692340/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=50804 CPUtime=64.67 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 12520 0 0 0 6429 38 0 0 25 0 1 0 10042344 52023296 12198 1992294400 134512640 135751879 4291971968 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 12701 12198 148 303 0 12396 0 Current children cumulated CPU time (s) 64.67 Current children cumulated vsize (KiB) 50804 [startup+65.5013 s] /proc/loadavg: 1.00 1.00 1.01 2/106 15314 /proc/meminfo: memFree=1691596/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=51188 CPUtime=65.48 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 12624 0 0 0 6509 39 0 0 25 0 1 0 10042344 52416512 12302 1992294400 134512640 135751879 4291971968 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 12797 12302 148 303 0 12492 0 Current children cumulated CPU time (s) 65.48 Current children cumulated vsize (KiB) 51188 [startup+65.9013 s] /proc/loadavg: 1.00 1.00 1.01 2/106 15314 /proc/meminfo: memFree=1690604/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=51700 CPUtime=65.88 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 12763 0 0 0 6549 39 0 0 25 0 1 0 10042344 52940800 12441 1992294400 134512640 135751879 4291971968 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 12925 12441 148 303 0 12620 0 Current children cumulated CPU time (s) 65.88 Current children cumulated vsize (KiB) 51700 [startup+66.0084 s] /proc/loadavg: 1.00 1.00 1.01 2/106 15314 /proc/meminfo: memFree=1690604/2059040 swapFree=4192956/4192956 [pid=15311] ppid=15309 vsize=51828 CPUtime=65.98 /proc/15311/stat : 15311 (wbo1.4b) R 15309 15311 14905 0 -1 4202496 12794 0 0 0 6559 39 0 0 25 0 1 0 10042344 53071872 12472 1992294400 134512640 135751879 4291971968 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15311/statm: 12957 12472 148 303 0 12652 0 Current children cumulated CPU time (s) 65.98 Current children cumulated vsize (KiB) 51828 Child status: 0 Real time (s): 66.0763 CPU time (s): 66.058 CPU user time (s): 65.653 CPU system time (s): 0.404938 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 51828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 65.653 system time used= 0.404938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12813 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= 26 involuntary context switches= 45 runsolver used 0.12898 second user time and 0.309952 second system time The end
Begin job on node081 at 2010-06-16 13:24:42 IDJOB=2655750 IDBENCH=71839 IDSOLVER=1161 FILE ID=node081/2655750-1276687482 PBS_JOBID= 11172576 Free space on /tmp= 121808 MiB SOLVER NAME= wbo 1.4b 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-2655750-1276687482/watcher-2655750-1276687482 -o /tmp/evaluation-result-2655750-1276687482/solver-2655750-1276687482 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655750-1276687482.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3c1368de4464ff81756c1b99158c803c RANDOM SEED=962175296 node081.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.212 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.42 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.212 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1740864 kB Buffers: 50912 kB Cached: 141760 kB SwapCached: 0 kB Active: 120564 kB Inactive: 131672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1740864 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3644 kB Writeback: 4 kB AnonPages: 59544 kB Mapped: 15364 kB Slab: 44280 kB PageTables: 3924 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180004 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 121804 MiB End job on node081 at 2010-06-16 13:25:49