Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | Wrong UNSAT | 307.368 | 307.444 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb |
MD5SUM | 824c01e4395cf59ee9d4081be7b21301 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 324.711 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | YES |
Number of variables | 603 |
Total number of constraints | 1088 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1088 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 669 |
Number of bits of the biggest sum of numbers | 10 |
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-2680595-1277456753.opb. 0.00/0.00 c Instance file HOME/instance-2680595-1277456753.opb 0.00/0.00 c File size is 207165 bytes. 0.00/0.04 c Highest Coefficient sum: 669 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 603 | 0.00/0.04 c | Number Clauses: 0 | 0.00/0.04 c | Number Cardinality: 0 | 0.00/0.04 c | Number PB Constraints: 1088 | 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 603 1088 26896 | 5000 0 nan | 0.000 % | 0.09/0.11 c | 100 | 603 1088 26896 | 5500 100 21 | 0.000 % | 0.09/0.17 c | 250 | 603 1088 26896 | 6050 250 20 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 74 0.19/0.23 o 74 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 385 | 603 1089 26903 | 5000 385 23 | 0.000 % | 0.19/0.26 c | 487 | 603 1089 26903 | 5500 487 24 | 0.002 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 73 0.29/0.32 o 73 0.29/0.32 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 605 | 603 1090 26910 | 5000 605 24 | 0.002 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 68 0.29/0.33 o 68 0.29/0.33 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 634 | 603 1091 26917 | 5000 634 25 | 0.002 % | 0.29/0.37 c | 735 | 603 1091 26917 | 5500 735 24 | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 67 0.39/0.41 o 67 0.39/0.41 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 849 | 603 1092 26924 | 5000 849 24 | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 66 0.39/0.44 o 66 0.39/0.44 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 904 | 603 1093 26931 | 5000 904 25 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: 60 0.39/0.46 o 60 0.39/0.46 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 943 | 597 1094 26938 | 5000 939 25 | 0.000 % | 0.39/0.48 c | 1044 | 595 1094 26938 | 5500 1040 24 | 1.495 % | 0.49/0.53 c | 1196 | 595 1094 26938 | 6050 1192 24 | 1.495 % | 0.59/0.62 c | 1422 | 594 1094 26938 | 6655 1418 25 | 1.494 % | 0.69/0.76 c | 1760 | 594 1094 26938 | 7320 1756 25 | 1.493 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c New solution: 56 0.79/0.85 o 56 0.79/0.85 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s 0.79/0.85 c =============================================================================== 0.79/0.85 c | 1965 | 594 1095 26945 | 5000 1961 25 | 1.493 % | 0.79/0.88 c | 2066 | 594 1095 26945 | 5500 1826 24 | 1.494 % | 0.89/0.97 c | 2217 | 594 1095 26945 | 6050 1977 25 | 1.493 % | 0.99/1.05 c | 2442 | 594 1095 26945 | 6655 2202 25 | 1.493 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c New solution: 55 1.10/1.13 o 55 1.10/1.13 c Elapsed CPU time: 1.12483 s Remaining CPU time: 178.875 s 1.10/1.13 c =============================================================================== 1.10/1.13 c | 2587 | 594 1096 26952 | 5000 2347 25 | 1.493 % | 1.10/1.18 c | 2687 | 594 1096 26952 | 5500 2447 25 | 1.493 % | 1.20/1.24 c | 2838 | 594 1096 26952 | 6050 2598 25 | 1.493 % | 1.30/1.34 c | 3064 | 594 1096 26952 | 6655 2824 26 | 1.494 % | 1.39/1.44 c | 3401 | 594 1096 26952 | 7320 3161 25 | 1.494 % | 1.59/1.69 c | 3908 | 594 1096 26952 | 8052 3668 26 | 1.493 % | 1.89/2.00 c | 4668 | 594 1096 26952 | 8857 4428 27 | 1.493 % | 2.39/2.42 c | 5807 | 594 1096 26952 | 9743 5567 27 | 1.493 % | 2.59/2.61 c =============================================================================== 2.59/2.61 c New solution: 52 2.59/2.61 o 52 2.59/2.61 c Elapsed CPU time: 2.59661 s Remaining CPU time: 177.403 s 2.59/2.61 c =============================================================================== 2.59/2.61 c | 6233 | 594 1097 26959 | 5000 5993 27 | 1.493 % | 2.59/2.67 c | 6333 | 594 1097 26959 | 5500 3097 28 | 1.493 % | 2.69/2.72 c | 6484 | 594 1097 26959 | 6050 3248 28 | 1.493 % | 2.79/2.82 c | 6712 | 594 1097 26959 | 6655 3476 28 | 1.493 % | 2.89/2.99 c | 7049 | 594 1097 26959 | 7320 3813 28 | 1.494 % | 3.20/3.24 c | 7555 | 594 1097 26959 | 8052 4319 28 | 1.493 % | 3.59/3.65 c | 8314 | 594 1097 26959 | 8857 5078 28 | 1.493 % | 4.09/4.18 c | 9455 | 594 1097 26959 | 9743 6219 29 | 1.493 % | 4.69/4.77 c | 11163 | 594 1097 26959 | 10717 7927 29 | 1.493 % | 5.69/5.73 c | 13725 | 594 1097 26959 | 11789 10489 28 | 1.495 % | 6.60/6.67 c =============================================================================== 6.60/6.67 c New solution: 50 6.60/6.67 o 50 6.60/6.67 c Elapsed CPU time: 6.62599 s Remaining CPU time: 173.374 s 6.60/6.67 c =============================================================================== 6.60/6.67 c | 15739 | 594 1098 26966 | 5000 6505 28 | 1.495 % | 6.69/6.73 c | 15840 | 594 1098 26966 | 5500 3354 29 | 1.493 % | 6.69/6.79 c | 15990 | 594 1098 26966 | 6050 3504 29 | 1.493 % | 6.79/6.88 c | 16215 | 594 1098 26966 | 6655 3729 29 | 1.493 % | 6.99/7.01 c | 16553 | 594 1098 26966 | 7320 4067 29 | 1.494 % | 7.19/7.21 c | 17059 | 594 1098 26966 | 8052 4573 29 | 1.493 % | 7.49/7.57 c | 17818 | 594 1098 26966 | 8857 5332 29 | 1.493 % | 8.18/8.26 c | 18957 | 594 1098 26966 | 9743 6471 29 | 1.493 % | 8.99/9.03 c | 20665 | 594 1098 26966 | 10717 8179 29 | 1.493 % | 10.09/10.11 c | 23227 | 594 1098 26966 | 11789 10741 29 | 1.493 % | 11.79/11.87 c | 27072 | 594 1098 26966 | 12968 8616 30 | 1.493 % | 12.59/12.64 c =============================================================================== 12.59/12.64 c New solution: 49 12.59/12.64 o 49 12.59/12.64 c Elapsed CPU time: 12.5531 s Remaining CPU time: 167.447 s 12.59/12.64 c =============================================================================== 12.59/12.64 c | 28543 | 594 1099 26973 | 5000 10087 30 | 1.493 % | 12.69/12.71 c | 28643 | 594 1099 26973 | 5500 2622 30 | 1.493 % | 12.69/12.76 c | 28794 | 594 1099 26973 | 6050 2773 30 | 1.493 % | 12.79/12.87 c | 29019 | 594 1099 26973 | 6655 2998 30 | 1.493 % | 12.99/13.02 c | 29358 | 594 1099 26973 | 7320 3337 30 | 1.493 % | 13.20/13.26 c | 29866 | 594 1099 26973 | 8052 3845 30 | 1.493 % | 13.49/13.51 c | 30625 | 594 1099 26973 | 8857 4604 29 | 1.495 % | 13.98/14.01 c =============================================================================== 13.98/14.01 c New solution: 47 13.98/14.01 o 47 13.98/14.01 c Elapsed CPU time: 13.9139 s Remaining CPU time: 166.086 s 13.98/14.01 c =============================================================================== 13.98/14.01 c | 31762 | 594 1100 26980 | 5000 5741 29 | 1.495 % | 13.98/14.07 c | 31863 | 594 1100 26980 | 5500 2972 27 | 1.493 % | 14.08/14.13 c | 32014 | 594 1100 26980 | 6050 3123 27 | 1.493 % | 14.08/14.20 c | 32239 | 594 1100 26980 | 6655 3348 27 | 1.496 % | 14.30/14.31 c | 32577 | 594 1100 26980 | 7320 3686 27 | 1.497 % | 14.49/14.55 c | 33083 | 594 1100 26980 | 8052 4192 27 | 1.493 % | 14.89/14.91 c | 33843 | 594 1100 26980 | 8857 4952 28 | 1.493 % | 15.40/15.48 c | 34983 | 594 1100 26980 | 9743 6092 28 | 1.493 % | 16.09/16.15 c | 36692 | 594 1100 26980 | 10717 7801 28 | 1.496 % | 17.28/17.35 c | 39254 | 594 1100 26980 | 11789 10363 29 | 1.493 % | 17.49/17.50 c =============================================================================== 17.49/17.50 c New solution: 45 17.49/17.50 o 45 17.49/17.50 c Elapsed CPU time: 17.3724 s Remaining CPU time: 162.628 s 17.49/17.50 c =============================================================================== 17.49/17.50 c | 39512 | 594 1101 26987 | 5000 10621 29 | 1.493 % | 17.49/17.57 c | 39614 | 594 1101 26987 | 5500 2758 30 | 1.493 % | 17.59/17.65 c | 39765 | 594 1101 26987 | 6050 2909 30 | 1.493 % | 17.69/17.74 c | 39990 | 594 1101 26987 | 6655 3134 30 | 1.493 % | 17.79/17.89 c | 40328 | 594 1101 26987 | 7320 3472 30 | 1.497 % | 18.09/18.10 c | 40834 | 594 1101 26987 | 8052 3978 30 | 1.499 % | 18.39/18.44 c | 41593 | 594 1101 26987 | 8857 4737 30 | 1.493 % | 18.99/19.01 c | 42733 | 594 1101 26987 | 9743 5877 30 | 1.494 % | 19.88/19.94 c | 44441 | 594 1101 26987 | 10717 7585 30 | 1.493 % | 21.09/21.18 c | 47004 | 594 1101 26987 | 11789 10148 31 | 1.493 % | 22.99/23.02 c | 50850 | 594 1101 26987 | 12968 8072 31 | 1.493 % | 25.89/25.97 c | 56617 | 594 1101 26987 | 14265 7282 32 | 1.493 % | 30.69/30.75 c | 65266 | 594 1101 26987 | 15692 8677 33 | 1.493 % | 38.18/38.21 c | 78240 | 594 1101 26987 | 17261 13709 32 | 1.493 % | 48.98/49.06 c | 97702 | 594 1101 26987 | 18987 15782 32 | 1.494 % | 67.47/67.57 c | 126894 | 594 1101 26987 | 20886 16148 32 | 1.493 % | 68.48/68.53 c =============================================================================== 68.48/68.53 c New solution: 44 68.48/68.53 o 44 68.48/68.53 c Elapsed CPU time: 68.1176 s Remaining CPU time: 111.882 s 68.48/68.53 c =============================================================================== 68.48/68.53 c | 128415 | 594 1102 26994 | 5000 17669 32 | 1.493 % | 68.58/68.66 c | 128515 | 594 1102 26994 | 5500 4518 30 | 1.493 % | 68.68/68.72 c | 128667 | 594 1102 26994 | 6050 4670 30 | 1.493 % | 68.78/68.83 c | 128896 | 594 1102 26994 | 6655 4899 30 | 1.494 % | 68.98/69.00 c | 129234 | 594 1102 26994 | 7320 5237 30 | 1.493 % | 69.18/69.21 c | 129741 | 594 1102 26994 | 8052 5744 30 | 1.493 % | 69.57/69.62 c | 130500 | 594 1102 26994 | 8857 6503 30 | 1.493 % | 69.97/70.08 c | 131640 | 594 1102 26994 | 9743 7643 31 | 1.493 % | 70.88/70.96 c | 133349 | 594 1102 26994 | 10717 9352 31 | 1.494 % | 72.37/72.50 c | 135916 | 594 1102 26994 | 11789 6521 32 | 1.494 % | 74.27/74.32 c | 139760 | 594 1102 26994 | 12968 10365 32 | 1.493 % | 77.37/77.40 c | 145526 | 594 1102 26994 | 14265 9503 33 | 1.496 % | 81.58/81.65 c | 154175 | 594 1102 26994 | 15692 10966 33 | 1.493 % | 89.17/89.24 c | 167150 | 588 1102 26994 | 17261 8478 31 | 2.488 % | 99.97/100.09 c | 186611 | 588 1102 26994 | 18987 10527 32 | 2.488 % | 118.67/118.74 c | 215805 | 588 1102 26994 | 20886 11044 33 | 2.488 % | 147.56/147.66 c | 259595 | 588 1102 26994 | 22974 12737 32 | 2.492 % | 180.95/181.04 c There are 32 assigned variables. 3 in cost function. 181.25/181.35 c core #1 181.25/181.35 c 181.25/181.35 c 181.25/181.35 c Core size: 5 Core Weight: 1 Total Weight: 33 181.25/181.35 c 181.25/181.35 c 181.25/181.35 c core #2 181.25/181.35 c 181.25/181.35 c 181.25/181.35 c Core size: 5 Core Weight: 1 Total Weight: 34 181.25/181.35 c 181.25/181.35 c 181.25/181.35 c ============================[ Search Statistics ]============================== 181.25/181.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.25/181.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.25/181.35 c =============================================================================== 181.25/181.35 c | 0 | 572 1112 18042 | 5000 0 nan | 0.000 % | 181.25/181.35 c =============================================================================== 181.25/181.36 c core #3 181.25/181.36 c 181.25/181.36 c 181.25/181.36 c Core size: 7 Core Weight: 1 Total Weight: 35 181.25/181.36 c 181.25/181.36 c 181.25/181.36 c ============================[ Search Statistics ]============================== 181.25/181.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.25/181.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.25/181.36 c =============================================================================== 181.25/181.36 c | 0 | 576 1115 18048 | 5000 0 nan | 0.000 % | 181.36/181.41 c | 100 | 575 1115 18048 | 5500 100 16 | 6.365 % | 181.36/181.47 c | 250 | 569 1115 18048 | 6050 250 14 | 9.936 % | 181.45/181.56 c | 476 | 549 1115 18048 | 6655 339 14 | 10.588 % | 181.55/181.65 c =============================================================================== 181.55/181.66 c core #4 181.55/181.66 c 181.55/181.66 c 181.55/181.66 c Core size: 12 Core Weight: 1 Total Weight: 36 181.55/181.66 c 181.55/181.66 c 181.55/181.66 c ============================[ Search Statistics ]============================== 181.55/181.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.55/181.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.55/181.66 c =============================================================================== 181.55/181.66 c | 0 | 581 1117 18058 | 5000 0 nan | 0.000 % | 181.65/181.71 c | 100 | 581 1117 18058 | 5500 100 15 | 5.687 % | 181.65/181.76 c | 251 | 579 1117 18058 | 6050 251 14 | 6.008 % | 181.74/181.85 c | 476 | 579 1117 18058 | 6655 476 15 | 6.037 % | 181.84/181.96 c | 815 | 579 1117 18058 | 7320 814 15 | 6.009 % | 182.05/182.15 c | 1321 | 579 1117 18058 | 8052 1320 17 | 6.016 % | 182.15/182.29 c =============================================================================== 182.25/182.31 c core #5 182.25/182.31 c 182.25/182.31 c 182.25/182.31 c Core size: 21 Core Weight: 1 Total Weight: 37 182.25/182.31 c 182.25/182.31 c 182.25/182.31 c ============================[ Search Statistics ]============================== 182.25/182.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.25/182.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.25/182.31 c =============================================================================== 182.25/182.31 c | 0 | 588 1121 18077 | 5000 0 nan | 0.000 % | 182.25/182.35 c | 100 | 588 1121 18077 | 5500 100 13 | 5.620 % | 182.35/182.41 c | 250 | 588 1121 18077 | 6050 250 13 | 5.620 % | 182.35/182.48 c | 475 | 588 1121 18077 | 6655 475 14 | 5.620 % | 182.56/182.62 c | 812 | 588 1121 18077 | 7320 812 15 | 5.618 % | 182.75/182.82 c | 1319 | 588 1121 18077 | 8052 1319 15 | 5.620 % | 183.04/183.11 c | 2078 | 588 1121 18077 | 8857 2078 16 | 5.633 % | 183.55/183.61 c | 3217 | 585 1121 18077 | 9743 1715 16 | 6.100 % | 183.85/183.91 c =============================================================================== 183.85/183.93 c core #6 183.85/183.93 c 183.85/183.93 c 183.85/183.93 c Core size: 14 Core Weight: 1 Total Weight: 38 183.85/183.93 c 183.85/183.93 c 183.85/183.93 c ============================[ Search Statistics ]============================== 183.85/183.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.85/183.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.85/183.93 c =============================================================================== 183.85/183.93 c | 0 | 594 1124 18091 | 5000 0 nan | 0.000 % | 183.85/183.98 c | 103 | 594 1124 18091 | 5500 103 16 | 5.565 % | 183.95/184.05 c | 253 | 594 1124 18091 | 6050 253 15 | 5.565 % | 184.05/184.12 c | 479 | 594 1124 18091 | 6655 479 14 | 5.565 % | 184.15/184.27 c | 817 | 594 1124 18091 | 7320 817 15 | 5.565 % | 184.34/184.49 c | 1323 | 594 1124 18091 | 8052 1323 15 | 5.565 % | 184.75/184.84 c | 2082 | 594 1124 18091 | 8857 2082 16 | 5.566 % | 185.25/185.31 c | 3221 | 594 1124 18091 | 9743 3221 15 | 5.580 % | 185.95/186.03 c | 4930 | 594 1124 18091 | 10717 4930 15 | 5.565 % | 187.24/187.31 c | 7495 | 594 1124 18091 | 11789 7495 15 | 5.595 % | 189.34/189.47 c | 11340 | 588 1124 18091 | 12968 7190 15 | 7.635 % | 189.95/190.03 c =============================================================================== 189.95/190.06 c core #7 189.95/190.06 c 189.95/190.06 c 189.95/190.06 c Core size: 10 Core Weight: 2 Total Weight: 40 189.95/190.06 c 189.95/190.06 c 189.95/190.06 c ============================[ Search Statistics ]============================== 189.95/190.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.95/190.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.95/190.06 c =============================================================================== 189.95/190.06 c | 0 | 598 1127 18123 | 5000 0 nan | 0.000 % | 190.05/190.11 c | 102 | 598 1127 18123 | 5500 102 15 | 5.080 % | 190.05/190.17 c | 253 | 596 1127 18123 | 6050 253 16 | 5.397 % | 190.16/190.25 c | 479 | 596 1127 18123 | 6655 479 16 | 5.397 % | 190.25/190.38 c | 816 | 596 1127 18123 | 7320 815 17 | 5.397 % | 190.55/190.60 c | 1324 | 596 1127 18123 | 8052 1323 16 | 5.399 % | 190.84/190.91 c | 2083 | 596 1127 18123 | 8857 2082 17 | 5.397 % | 191.35/191.45 c | 3222 | 596 1127 18123 | 9743 3221 17 | 5.401 % | 192.15/192.28 c | 4932 | 596 1127 18123 | 10717 4931 17 | 5.397 % | 193.64/193.76 c | 7494 | 596 1127 18123 | 11789 7493 18 | 5.399 % | 196.05/196.19 c | 11339 | 596 1127 18123 | 12968 11338 18 | 5.397 % | 199.74/199.82 c | 17108 | 596 1127 18123 | 14265 10534 19 | 5.409 % | 205.54/205.65 c | 25757 | 573 1127 18123 | 15692 5623 19 | 9.685 % | 205.84/205.91 c =============================================================================== 205.94/206.04 c core #8 205.94/206.04 c 205.94/206.04 c 205.94/206.04 c Core size: 22 Core Weight: 1 Total Weight: 41 205.94/206.04 c 205.94/206.04 c 205.94/206.04 c ============================[ Search Statistics ]============================== 205.94/206.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.94/206.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.94/206.04 c =============================================================================== 205.94/206.04 c | 0 | 606 1129 18141 | 5000 0 nan | 0.000 % | 205.94/206.09 c | 100 | 606 1129 18141 | 5500 100 16 | 5.016 % | 206.04/206.15 c | 252 | 606 1129 18141 | 6050 252 17 | 5.044 % | 206.14/206.25 c | 478 | 606 1129 18141 | 6655 478 16 | 5.044 % | 206.24/206.40 c | 816 | 606 1129 18141 | 7320 816 17 | 5.016 % | 206.54/206.63 c | 1322 | 606 1129 18141 | 8052 1322 17 | 5.016 % | 206.84/206.94 c | 2081 | 606 1129 18141 | 8857 2081 18 | 5.016 % | 207.34/207.41 c | 3222 | 606 1129 18141 | 9743 3222 18 | 5.016 % | 208.24/208.30 c | 4930 | 605 1129 18141 | 10717 4878 18 | 5.173 % | 209.54/209.68 c | 7493 | 605 1129 18141 | 11789 7441 19 | 5.187 % | 211.94/212.03 c | 11337 | 605 1129 18141 | 12968 11285 20 | 5.200 % | 215.45/215.56 c | 17104 | 605 1129 18141 | 14265 10502 19 | 5.173 % | 221.54/221.64 c | 25753 | 605 1129 18141 | 15692 11879 20 | 5.173 % | 229.43/229.59 c | 38727 | 602 1129 18141 | 17261 5478 19 | 5.643 % | 232.24/232.38 c =============================================================================== 232.54/232.61 c core #9 232.54/232.61 c 232.54/232.61 c 232.54/232.61 c Core size: 20 Core Weight: 1 Total Weight: 42 232.54/232.61 c 232.54/232.61 c 232.54/232.61 c ============================[ Search Statistics ]============================== 232.54/232.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.54/232.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.54/232.61 c =============================================================================== 232.54/232.61 c | 0 | 614 1132 18162 | 5000 0 nan | 0.000 % | 232.54/232.68 c | 102 | 614 1132 18162 | 5500 102 15 | 4.954 % | 232.64/232.74 c | 253 | 614 1132 18162 | 6050 253 15 | 4.981 % | 232.74/232.85 c | 479 | 614 1132 18162 | 6655 479 15 | 4.954 % | 232.83/232.98 c | 817 | 614 1132 18162 | 7320 817 16 | 4.954 % | 233.04/233.18 c | 1324 | 614 1132 18162 | 8052 1324 16 | 4.954 % | 233.44/233.52 c | 2083 | 614 1132 18162 | 8857 2083 17 | 4.954 % | 234.04/234.10 c | 3222 | 614 1132 18162 | 9743 3222 17 | 4.981 % | 234.83/234.94 c | 4930 | 614 1132 18162 | 10717 4930 17 | 4.954 % | 236.34/236.43 c | 7492 | 614 1132 18162 | 11789 7492 17 | 4.954 % | 239.03/239.10 c | 11336 | 614 1132 18162 | 12968 11336 16 | 4.954 % | 243.04/243.10 c | 17102 | 614 1132 18162 | 14265 10579 15 | 4.954 % | 249.13/249.20 c | 25752 | 614 1132 18162 | 15692 12040 15 | 4.954 % | 258.93/259.00 c | 38726 | 614 1132 18162 | 17261 9185 16 | 4.968 % | 273.32/273.49 c | 58187 | 614 1132 18162 | 18987 11211 15 | 4.954 % | 294.12/294.28 c | 87379 | 613 1132 18162 | 20886 10875 13 | 5.109 % | 307.32/307.43 c =============================================================================== 307.32/307.43 c core #10 307.32/307.43 c 307.32/307.43 c 307.32/307.43 c Core size: 14 Core Weight: 2147483647 Total Weight: -2147483607 307.32/307.43 c 307.32/307.43 c 307.32/307.43 c Memory used : 70.23 MB 307.32/307.43 c CPU time : 305.798 s 307.32/307.43 c 307.32/307.43 s UNSATISFIABLE 307.32/307.43 c Total CPU time: 305.799 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680595-1277456753/watcher-2680595-1277456753 -o /tmp/evaluation-result-2680595-1277456753/solver-2680595-1277456753 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680595-1277456753.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 0.91 3/106 21990 /proc/meminfo: memFree=1813368/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=2776 CPUtime=0 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 289 0 0 0 0 0 0 0 20 0 1 0 121276669 2842624 207 1992294400 134512640 135752675 4290079104 18446744073709551615 134564720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 694 207 138 303 0 338 0 [startup+0.0803149 s] /proc/loadavg: 1.00 1.00 0.91 3/106 21990 /proc/meminfo: memFree=1813368/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=3508 CPUtime=0.07 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 561 0 0 0 7 0 0 0 20 0 1 0 121276669 3592192 428 1992294400 134512640 135752675 4290079104 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 877 428 143 303 0 572 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3508 [startup+0.101316 s] /proc/loadavg: 1.00 1.00 0.91 3/106 21990 /proc/meminfo: memFree=1813368/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=3508 CPUtime=0.09 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 561 0 0 0 9 0 0 0 20 0 1 0 121276669 3592192 428 1992294400 134512640 135752675 4290079104 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 877 428 143 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.301334 s] /proc/loadavg: 1.00 1.00 0.91 3/106 21990 /proc/meminfo: memFree=1813368/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=3508 CPUtime=0.29 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 570 0 0 0 29 0 0 0 20 0 1 0 121276669 3592192 437 1992294400 134512640 135752675 4290079104 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 877 437 144 303 0 572 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3508 [startup+0.701372 s] /proc/loadavg: 1.00 1.00 0.91 3/106 21990 /proc/meminfo: memFree=1813368/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=3772 CPUtime=0.69 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 625 0 0 0 69 0 0 0 20 0 1 0 121276669 3862528 492 1992294400 134512640 135752675 4290079104 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 943 492 144 303 0 638 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3772 [startup+1.50144 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21991 /proc/meminfo: memFree=1811748/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=4036 CPUtime=1.49 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 722 0 0 0 148 1 0 0 23 0 1 0 121276669 4132864 589 1992294400 134512640 135752675 4290079104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 1009 589 144 303 0 704 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4036 [startup+3.10159 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21991 /proc/meminfo: memFree=1810880/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=4828 CPUtime=3.1 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 914 0 0 0 308 2 0 0 25 0 1 0 121276669 4943872 781 1992294400 134512640 135752675 4290079104 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 1207 781 145 303 0 902 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 4828 [startup+6.30088 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21991 /proc/meminfo: memFree=1809144/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=6412 CPUtime=6.29 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 1311 0 0 0 625 4 0 0 25 0 1 0 121276669 6565888 1178 1992294400 134512640 135752675 4290079104 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 1603 1178 145 303 0 1298 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6412 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21991 /proc/meminfo: memFree=1806168/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=9184 CPUtime=12.69 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 1991 0 0 0 1261 8 0 0 25 0 1 0 121276669 9404416 1858 1992294400 134512640 135752675 4290079104 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 2296 1858 145 303 0 1991 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9184 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21993 /proc/meminfo: memFree=1800712/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=14600 CPUtime=25.49 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 3349 0 0 0 2531 18 0 0 25 0 1 0 121276669 14950400 3216 1992294400 134512640 135752675 4290079104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 3650 3216 145 303 0 3345 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14600 [startup+51.101 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21993 /proc/meminfo: memFree=1790916/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=24348 CPUtime=51.08 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 5775 0 0 0 5078 30 0 0 25 0 1 0 121276669 24932352 5642 1992294400 134512640 135752675 4290079104 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 6087 5642 145 303 0 5782 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24348 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21995 /proc/meminfo: memFree=1771696/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=43240 CPUtime=102.27 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 10498 0 0 0 10168 59 0 0 25 0 1 0 121276669 44277760 10365 1992294400 134512640 135752675 4290079104 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 10810 10365 145 303 0 10505 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 43240 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21995 /proc/meminfo: memFree=1752476/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=62572 CPUtime=162.25 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 15312 0 0 0 16135 90 0 0 25 0 1 0 121276669 64073728 15179 1992294400 134512640 135752675 4290079104 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 15643 15179 145 303 0 15338 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 62572 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21997 /proc/meminfo: memFree=1745532/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=69324 CPUtime=222.24 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 17004 0 0 0 22105 119 0 0 25 0 1 0 121276669 70987776 16871 1992294400 134512640 135752675 4290079104 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 17331 16871 146 303 0 17026 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 69324 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21999 /proc/meminfo: memFree=1744912/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=69780 CPUtime=282.23 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 17144 0 0 0 28078 145 0 0 25 0 1 0 121276669 71454720 17011 1992294400 134512640 135752675 4290079104 18446744073709551615 134616133 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 17445 17011 146 303 0 17140 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 69780 Solver just ended. Dumping a history of the last processes samples [startup+294.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21999 /proc/meminfo: memFree=1743796/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=70976 CPUtime=294.22 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 17419 0 0 0 29271 151 0 0 25 0 1 0 121276669 72679424 17286 1992294400 134512640 135752675 4290079104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 17744 17286 146 303 0 17439 0 Current children cumulated CPU time (s) 294.22 Current children cumulated vsize (KiB) 70976 [startup+300.701 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21999 /proc/meminfo: memFree=1743176/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=71388 CPUtime=300.62 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 17542 0 0 0 29909 153 0 0 25 0 1 0 121276669 73101312 17409 1992294400 134512640 135752675 4290079104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 17847 17409 146 303 0 17542 0 Current children cumulated CPU time (s) 300.62 Current children cumulated vsize (KiB) 71388 [startup+303.901 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21999 /proc/meminfo: memFree=1742928/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=71652 CPUtime=303.82 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 17595 0 0 0 30228 154 0 0 25 0 1 0 121276669 73371648 17462 1992294400 134512640 135752675 4290079104 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 17913 17462 146 303 0 17608 0 Current children cumulated CPU time (s) 303.82 Current children cumulated vsize (KiB) 71652 [startup+305.501 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21999 /proc/meminfo: memFree=1742928/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=71784 CPUtime=305.42 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 17622 0 0 0 30387 155 0 0 25 0 1 0 121276669 73506816 17489 1992294400 134512640 135752675 4290079104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 17946 17489 146 303 0 17641 0 Current children cumulated CPU time (s) 305.42 Current children cumulated vsize (KiB) 71784 [startup+306.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21999 /proc/meminfo: memFree=1742804/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=71784 CPUtime=306.22 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 17639 0 0 0 30467 155 0 0 25 0 1 0 121276669 73506816 17506 1992294400 134512640 135752675 4290079104 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 17946 17506 146 303 0 17641 0 Current children cumulated CPU time (s) 306.22 Current children cumulated vsize (KiB) 71784 [startup+307.101 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21999 /proc/meminfo: memFree=1742804/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=71784 CPUtime=307.01 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 17649 0 0 0 30546 155 0 0 25 0 1 0 121276669 73506816 17516 1992294400 134512640 135752675 4290079104 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 17946 17516 146 303 0 17641 0 Current children cumulated CPU time (s) 307.01 Current children cumulated vsize (KiB) 71784 [startup+307.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21999 /proc/meminfo: memFree=1742804/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=71916 CPUtime=307.22 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 17654 0 0 0 30566 156 0 0 25 0 1 0 121276669 73641984 17521 1992294400 134512640 135752675 4290079104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 17979 17521 146 303 0 17674 0 Current children cumulated CPU time (s) 307.22 Current children cumulated vsize (KiB) 71916 [startup+307.401 s] /proc/loadavg: 1.00 1.00 0.91 2/107 21999 /proc/meminfo: memFree=1742804/2059040 swapFree=4135508/4192956 [pid=21990] ppid=21988 vsize=71916 CPUtime=307.32 /proc/21990/stat : 21990 (wbo1.4b) R 21988 21990 21726 0 -1 4202496 17656 0 0 0 30576 156 0 0 25 0 1 0 121276669 73641984 17523 1992294400 134512640 135752675 4290079104 18446744073709551615 134603340 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21990/statm: 17979 17523 146 303 0 17674 0 Current children cumulated CPU time (s) 307.32 Current children cumulated vsize (KiB) 71916 Child status: 0 Real time (s): 307.444 CPU time (s): 307.368 CPU user time (s): 305.798 CPU system time (s): 1.56976 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 71916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 305.799 system time used= 1.56976 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17658 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= 9 involuntary context switches= 901 runsolver used 0.491925 second user time and 1.48577 second system time The end
Begin job on node015 at 2010-06-25 11:05:53 IDJOB=2680595 IDBENCH=2641 IDSOLVER=1190 FILE ID=node015/2680595-1277456753 PBS_JOBID= 11188143 Free space on /tmp= 62412 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680595-1277456753/watcher-2680595-1277456753 -o /tmp/evaluation-result-2680595-1277456753/solver-2680595-1277456753 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680595-1277456753.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 824c01e4395cf59ee9d4081be7b21301 RANDOM SEED=385676921 node015.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.244 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.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1813772 kB Buffers: 31728 kB Cached: 111824 kB SwapCached: 10640 kB Active: 32892 kB Inactive: 124448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1813772 kB SwapTotal: 4192956 kB SwapFree: 4135508 kB Dirty: 2872 kB Writeback: 0 kB AnonPages: 12156 kB Mapped: 8400 kB Slab: 65980 kB PageTables: 4200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182008 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= 62408 MiB End job on node015 at 2010-06-25 11:11:01