Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.12 | 1800.15 |
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 | 53.7938 |
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.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460862-1307101421.opb. 0.00/0.00 c Instance file HOME/instance-3460862-1307101421.opb 0.00/0.00 c File size is 207165 bytes. 0.00/0.01 c Highest Coefficient sum: 669 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 603 | 0.00/0.01 c | Number Clauses: 0 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 1088 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 603 1088 26896 | 5000 0 -nan | 0.000 % | 0.02/0.02 c core #1 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 8 Core Weight: 1 Total Weight: 1 0.02/0.02 c Current CPU time: 0.020996 s 0.02/0.02 c 0.02/0.02 c core #2 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 10 Core Weight: 1 Total Weight: 2 0.02/0.02 c Current CPU time: 0.024996 s 0.02/0.02 c 0.02/0.02 c ============================[ Search Statistics ]============================== 0.02/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.02 c =============================================================================== 0.02/0.03 c | 0 | 571 1108 26915 | 5000 0 -nan | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c core #3 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 14 Core Weight: 1 Total Weight: 3 0.02/0.03 c Current CPU time: 0.028995 s 0.02/0.03 c 0.02/0.03 c ============================[ Search Statistics ]============================== 0.02/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.03 c =============================================================================== 0.02/0.03 c | 0 | 578 1114 26924 | 5000 0 -nan | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c core #4 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 13 Core Weight: 1 Total Weight: 4 0.02/0.03 c Current CPU time: 0.033994 s 0.02/0.03 c 0.02/0.03 c ============================[ Search Statistics ]============================== 0.02/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.03 c =============================================================================== 0.02/0.03 c | 0 | 592 1119 26937 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #5 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 15 Core Weight: 1 Total Weight: 5 0.02/0.04 c Current CPU time: 0.038994 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 601 1124 26951 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.05 c core #6 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 14 Core Weight: 3 Total Weight: 8 0.02/0.05 c Current CPU time: 0.045993 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 614 1128 26967 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #7 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 18 Core Weight: 1 Total Weight: 9 0.02/0.05 c Current CPU time: 0.053991 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 624 1132 26984 | 5000 0 -nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.07 c core #8 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 20 Core Weight: 1 Total Weight: 10 0.02/0.07 c Current CPU time: 0.065989 s 0.02/0.07 c 0.02/0.07 c ============================[ Search Statistics ]============================== 0.02/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.07 c =============================================================================== 0.02/0.07 c | 0 | 635 1136 27003 | 5000 0 -nan | 0.000 % | 0.02/0.09 c | 102 | 635 1136 27003 | 5500 102 17 | 4.080 % | 0.09/0.11 c =============================================================================== 0.09/0.12 c core #9 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 23 Core Weight: 6 Total Weight: 16 0.09/0.12 c Current CPU time: 0.116982 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 647 1139 27024 | 5000 0 -nan | 0.000 % | 0.09/0.14 c | 101 | 647 1139 27024 | 5500 101 19 | 2.725 % | 0.09/0.16 c | 251 | 637 1139 27024 | 6050 251 21 | 5.431 % | 0.09/0.16 c =============================================================================== 0.09/0.17 c core #10 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 24 Core Weight: 1 Total Weight: 17 0.09/0.17 c Current CPU time: 0.166974 s 0.09/0.17 c 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 | 659 1144 27050 | 5000 0 -nan | 0.000 % | 0.09/0.19 c | 100 | 659 1144 27050 | 5500 100 19 | 2.664 % | 0.19/0.21 c | 250 | 659 1144 27050 | 6050 250 20 | 2.661 % | 0.19/0.25 c | 475 | 659 1144 27050 | 6655 475 22 | 2.661 % | 0.19/0.29 c =============================================================================== 0.29/0.30 c core #11 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 27 Core Weight: 1 Total Weight: 18 0.29/0.30 c Current CPU time: 0.294955 s 0.29/0.30 c 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 670 1149 27074 | 5000 0 -nan | 0.000 % | 0.29/0.32 c | 100 | 670 1149 27074 | 5500 100 19 | 2.620 % | 0.29/0.34 c | 250 | 670 1149 27074 | 6050 250 23 | 2.618 % | 0.29/0.39 c | 477 | 670 1149 27074 | 6655 477 24 | 2.617 % | 0.39/0.46 c | 815 | 670 1149 27074 | 7320 815 25 | 2.618 % | 0.49/0.55 c | 1321 | 669 1149 27074 | 8052 1321 26 | 2.763 % | 0.49/0.58 c =============================================================================== 0.49/0.59 c core #12 0.49/0.59 c 0.49/0.59 c 0.49/0.59 c Core size: 29 Core Weight: 1 Total Weight: 19 0.49/0.59 c Current CPU time: 0.581911 s 0.49/0.59 c 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 681 1152 27094 | 5000 0 -nan | 0.000 % | 0.59/0.61 c | 101 | 681 1152 27094 | 5500 101 19 | 2.576 % | 0.59/0.63 c | 251 | 681 1152 27094 | 6050 251 21 | 2.575 % | 0.59/0.67 c | 476 | 681 1152 27094 | 6655 476 22 | 2.576 % | 0.69/0.73 c | 813 | 681 1152 27094 | 7320 813 22 | 2.578 % | 0.79/0.83 c | 1319 | 681 1152 27094 | 8052 1319 24 | 2.575 % | 0.89/0.96 c | 2078 | 681 1152 27094 | 8857 2078 24 | 2.575 % | 1.11/1.14 c | 3217 | 681 1152 27094 | 9743 3217 25 | 2.578 % | 1.29/1.35 c =============================================================================== 1.29/1.35 c core #13 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 37 Core Weight: 1 Total Weight: 20 1.29/1.35 c Current CPU time: 1.34279 s 1.29/1.35 c 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 702 1155 27134 | 5000 0 -nan | 0.000 % | 1.29/1.37 c | 101 | 702 1155 27134 | 5500 101 19 | 2.501 % | 1.39/1.40 c | 253 | 702 1155 27134 | 6050 253 20 | 2.502 % | 1.39/1.43 c | 479 | 702 1155 27134 | 6655 479 21 | 2.501 % | 1.39/1.49 c | 816 | 702 1155 27134 | 7320 816 23 | 2.500 % | 1.49/1.57 c | 1323 | 702 1155 27134 | 8052 1323 24 | 2.501 % | 1.59/1.69 c | 2083 | 702 1155 27134 | 8857 2083 24 | 2.503 % | 1.89/1.91 c | 3222 | 702 1155 27134 | 9743 3222 25 | 2.504 % | 2.10/2.18 c | 4930 | 702 1155 27134 | 10717 4930 25 | 2.501 % | 2.59/2.65 c | 7492 | 701 1155 27134 | 11789 7492 25 | 2.642 % | 3.39/3.42 c =============================================================================== 3.39/3.43 c core #14 3.39/3.43 c 3.39/3.43 c 3.39/3.43 c Core size: 21 Core Weight: 12 Total Weight: 32 3.39/3.43 c Current CPU time: 3.40348 s 3.39/3.43 c 3.39/3.43 c ============================[ Search Statistics ]============================== 3.39/3.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.43 c =============================================================================== 3.39/3.43 c | 0 | 713 1157 27164 | 5000 0 -nan | 0.000 % | 3.39/3.44 c | 101 | 713 1157 27164 | 5500 101 18 | 1.247 % | 3.39/3.47 c | 251 | 713 1157 27164 | 6050 251 21 | 1.247 % | 3.39/3.50 c | 477 | 705 1157 27164 | 6655 477 20 | 2.355 % | 3.49/3.55 c | 814 | 705 1157 27164 | 7320 814 22 | 2.355 % | 3.59/3.61 c | 1321 | 705 1157 27164 | 8052 1321 22 | 2.355 % | 3.69/3.73 c | 2081 | 705 1157 27164 | 8857 2081 22 | 2.355 % | 3.89/3.92 c | 3220 | 705 1157 27164 | 9743 3220 24 | 2.355 % | 4.09/4.18 c | 4928 | 705 1157 27164 | 10717 4928 26 | 2.355 % | 4.59/4.65 c | 7490 | 705 1157 27164 | 11789 7490 27 | 2.356 % | 5.19/5.28 c =============================================================================== 5.19/5.29 c core #15 5.19/5.29 c 5.19/5.29 c 5.19/5.29 c Core size: 41 Core Weight: 1 Total Weight: 33 5.19/5.29 c Current CPU time: 5.2632 s 5.19/5.29 c 5.19/5.29 c ============================[ Search Statistics ]============================== 5.19/5.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.29 c =============================================================================== 5.19/5.29 c | 0 | 737 1162 27217 | 5000 0 -nan | 0.000 % | 5.29/5.31 c | 101 | 737 1162 27217 | 5500 101 19 | 1.207 % | 5.29/5.34 c | 251 | 737 1162 27217 | 6050 251 20 | 1.207 % | 5.29/5.38 c | 477 | 737 1162 27217 | 6655 477 22 | 1.207 % | 5.39/5.45 c | 814 | 737 1162 27217 | 7320 814 23 | 1.207 % | 5.51/5.56 c | 1320 | 737 1162 27217 | 8052 1320 24 | 1.207 % | 5.69/5.70 c | 2080 | 737 1162 27217 | 8857 2080 26 | 1.207 % | 5.89/5.92 c | 3222 | 737 1162 27217 | 9743 3222 26 | 1.207 % | 6.19/6.26 c | 4931 | 737 1162 27217 | 10717 4931 26 | 1.207 % | 6.69/6.76 c | 7493 | 737 1162 27217 | 11789 7493 27 | 1.208 % | 7.49/7.54 c | 11337 | 737 1162 27217 | 12968 11337 27 | 1.207 % | 8.81/8.83 c | 17104 | 737 1162 27217 | 14265 10587 27 | 1.207 % | 10.69/10.77 c | 25753 | 727 1162 27217 | 15692 12082 29 | 2.681 % | 12.40/12.48 c =============================================================================== 12.50/12.51 c core #16 12.50/12.51 c 12.50/12.51 c 12.50/12.51 c Core size: 33 Core Weight: 1 Total Weight: 34 12.50/12.51 c Current CPU time: 12.4401 s 12.50/12.51 c 12.50/12.51 c ============================[ Search Statistics ]============================== 12.50/12.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.50/12.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.50/12.51 c =============================================================================== 12.50/12.51 c | 0 | 762 1167 27272 | 5000 0 -nan | 0.000 % | 12.50/12.53 c | 100 | 762 1167 27272 | 5500 100 18 | 1.167 % | 12.50/12.55 c | 250 | 762 1167 27272 | 6050 250 22 | 1.167 % | 12.50/12.59 c | 475 | 762 1167 27272 | 6655 475 23 | 1.168 % | 12.59/12.65 c | 814 | 762 1167 27272 | 7320 814 24 | 1.167 % | 12.69/12.71 c | 1321 | 762 1167 27272 | 8052 1321 22 | 1.170 % | 12.79/12.87 c | 2080 | 762 1167 27272 | 8857 2080 26 | 1.167 % | 12.99/13.06 c | 3220 | 762 1167 27272 | 9743 3220 26 | 1.172 % | 13.29/13.37 c | 4929 | 762 1167 27272 | 10717 4929 26 | 1.167 % | 13.79/13.80 c | 7492 | 762 1167 27272 | 11789 7492 27 | 1.167 % | 14.49/14.59 c | 11339 | 762 1167 27272 | 12968 11339 27 | 1.167 % | 15.69/15.74 c | 17106 | 762 1167 27272 | 14265 10556 27 | 1.167 % | 17.69/17.73 c | 25755 | 762 1167 27272 | 15692 11999 28 | 1.167 % | 20.49/20.52 c | 38729 | 762 1167 27272 | 17261 9099 29 | 1.169 % | 25.09/25.14 c | 58190 | 762 1167 27272 | 18987 11129 28 | 1.169 % | 31.69/31.71 c | 87382 | 750 1167 27272 | 20886 11657 29 | 2.724 % | 32.29/32.30 c =============================================================================== 32.29/32.37 c core #17 32.29/32.37 c 32.29/32.37 c 32.29/32.37 c Core size: 31 Core Weight: 1 Total Weight: 35 32.29/32.37 c Current CPU time: 32.1681 s 32.29/32.37 c 32.29/32.37 c ============================[ Search Statistics ]============================== 32.29/32.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.29/32.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.29/32.37 c =============================================================================== 32.29/32.37 c | 0 | 776 1171 27303 | 5000 0 -nan | 0.000 % | 32.29/32.39 c | 100 | 776 1171 27303 | 5500 100 20 | 1.147 % | 32.38/32.42 c | 252 | 776 1171 27303 | 6050 252 23 | 1.147 % | 32.38/32.46 c | 479 | 776 1171 27303 | 6655 479 23 | 1.147 % | 32.48/32.53 c | 816 | 776 1171 27303 | 7320 816 24 | 1.147 % | 32.48/32.59 c | 1323 | 776 1171 27303 | 8052 1323 23 | 1.147 % | 32.68/32.70 c | 2083 | 776 1171 27303 | 8857 2083 23 | 1.147 % | 32.78/32.89 c | 3223 | 776 1171 27303 | 9743 3223 23 | 1.147 % | 33.19/33.26 c | 4931 | 776 1171 27303 | 10717 4931 24 | 1.147 % | 33.78/33.83 c | 7495 | 776 1171 27303 | 11789 7495 25 | 1.147 % | 34.58/34.69 c | 11340 | 776 1171 27303 | 12968 11340 26 | 1.147 % | 35.79/35.87 c | 17107 | 776 1171 27303 | 14265 10573 29 | 1.148 % | 37.79/37.85 c | 25757 | 776 1171 27303 | 15692 11981 28 | 1.147 % | 40.71/40.73 c | 38731 | 770 1171 27303 | 17261 9178 30 | 1.912 % | 44.69/44.76 c | 58193 | 768 1171 27303 | 18987 11337 30 | 2.166 % | 47.19/47.26 c =============================================================================== 47.30/47.33 c core #18 47.30/47.33 c 47.30/47.33 c 47.30/47.33 c Core size: 35 Core Weight: 1 Total Weight: 36 47.30/47.33 c Current CPU time: 47.0598 s 47.30/47.33 c 47.30/47.33 c ============================[ Search Statistics ]============================== 47.30/47.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.30/47.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.30/47.33 c =============================================================================== 47.30/47.33 c | 0 | 795 1175 27344 | 5000 0 -nan | 0.000 % | 47.30/47.35 c | 101 | 795 1175 27344 | 5500 101 20 | 1.120 % | 47.30/47.38 c | 251 | 795 1175 27344 | 6050 251 21 | 1.120 % | 47.38/47.43 c | 476 | 795 1175 27344 | 6655 476 23 | 1.120 % | 47.48/47.50 c | 813 | 795 1175 27344 | 7320 813 26 | 1.120 % | 47.59/47.61 c | 1319 | 795 1175 27344 | 8052 1319 26 | 1.120 % | 47.69/47.76 c | 2078 | 795 1175 27344 | 8857 2078 25 | 1.120 % | 47.99/48.04 c | 3219 | 795 1175 27344 | 9743 3219 26 | 1.120 % | 48.29/48.38 c | 4927 | 795 1175 27344 | 10717 4927 26 | 1.121 % | 48.78/48.87 c | 7491 | 795 1175 27344 | 11789 7491 26 | 1.120 % | 49.09/49.10 c | 11337 | 795 1175 27344 | 12968 11337 26 | 1.122 % | 50.38/50.40 c | 17103 | 795 1175 27344 | 14265 10514 29 | 1.120 % | 52.29/52.36 c | 25752 | 788 1175 27344 | 15692 11980 29 | 1.990 % | 55.29/55.39 c | 38729 | 787 1175 27344 | 17261 9117 29 | 2.115 % | 60.51/60.59 c | 58190 | 787 1175 27344 | 18987 11215 30 | 2.116 % | 67.89/67.94 c | 87382 | 786 1175 27344 | 20886 11666 31 | 2.239 % | 68.89/68.98 c =============================================================================== 68.99/69.08 c core #19 68.99/69.08 c 68.99/69.08 c 68.99/69.08 c Core size: 44 Core Weight: 1 Total Weight: 37 68.99/69.08 c Current CPU time: 68.6856 s 68.99/69.08 c 68.99/69.08 c ============================[ Search Statistics ]============================== 68.99/69.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 68.99/69.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 68.99/69.08 c =============================================================================== 68.99/69.08 c | 0 | 826 1179 27409 | 5000 0 -nan | 0.000 % | 69.09/69.10 c | 100 | 826 1179 27409 | 5500 100 23 | 1.078 % | 69.09/69.13 c | 250 | 826 1179 27409 | 6050 250 25 | 1.078 % | 69.09/69.16 c | 476 | 826 1179 27409 | 6655 476 25 | 1.078 % | 69.20/69.23 c | 816 | 826 1179 27409 | 7320 816 25 | 1.078 % | 69.20/69.29 c | 1322 | 826 1179 27409 | 8052 1322 24 | 1.079 % | 69.39/69.41 c | 2081 | 826 1179 27409 | 8857 2081 24 | 1.078 % | 69.59/69.64 c | 3220 | 826 1179 27409 | 9743 3220 25 | 1.078 % | 69.89/69.95 c | 4928 | 826 1179 27409 | 10717 4928 26 | 1.078 % | 70.40/70.50 c | 7491 | 826 1179 27409 | 11789 7491 26 | 1.078 % | 71.19/71.24 c | 11335 | 826 1179 27409 | 12968 11335 27 | 1.078 % | 72.39/72.43 c | 17102 | 826 1179 27409 | 14265 10537 27 | 1.078 % | 74.39/74.40 c | 25753 | 826 1179 27409 | 15692 11977 27 | 1.078 % | 75.90/75.94 c | 38727 | 826 1179 27409 | 17261 8891 29 | 1.078 % | 80.09/80.13 c | 58188 | 819 1179 27409 | 18987 11010 28 | 1.916 % | 87.08/87.19 c | 87380 | 816 1179 27409 | 20886 11634 30 | 2.395 % | 88.59/88.69 c =============================================================================== 88.79/88.80 c core #20 88.79/88.80 c 88.79/88.80 c 88.79/88.80 c Core size: 41 Core Weight: 1 Total Weight: 38 88.79/88.80 c Current CPU time: 88.3166 s 88.79/88.80 c 88.79/88.80 c ============================[ Search Statistics ]============================== 88.79/88.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.79/88.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.79/88.80 c =============================================================================== 88.79/88.80 c | 0 | 858 1181 27472 | 5000 0 -nan | 0.000 % | 88.79/88.83 c | 101 | 858 1181 27472 | 5500 101 23 | 1.038 % | 88.79/88.85 c | 252 | 858 1181 27472 | 6050 252 23 | 1.038 % | 88.79/88.89 c | 480 | 858 1181 27472 | 6655 480 23 | 1.038 % | 88.89/88.96 c | 817 | 858 1181 27472 | 7320 817 24 | 1.038 % | 88.99/89.04 c | 1324 | 858 1181 27472 | 8052 1324 25 | 1.038 % | 89.11/89.18 c | 2083 | 858 1181 27472 | 8857 2083 25 | 1.038 % | 89.38/89.40 c | 3223 | 858 1181 27472 | 9743 3223 25 | 1.038 % | 89.68/89.74 c | 4931 | 858 1181 27472 | 10717 4931 26 | 1.038 % | 90.21/90.25 c | 7493 | 858 1181 27472 | 11789 7493 27 | 1.038 % | 91.09/91.12 c | 11338 | 858 1181 27472 | 12968 11338 28 | 1.038 % | 91.99/92.00 c | 17108 | 858 1181 27472 | 14265 10455 33 | 1.038 % | 93.88/93.93 c | 25758 | 854 1181 27472 | 15692 11921 30 | 1.500 % | 96.39/96.43 c | 38733 | 854 1181 27472 | 17261 8763 36 | 1.500 % | 100.29/100.38 c | 58195 | 854 1181 27472 | 18987 10823 25 | 1.500 % | 105.19/105.29 c | 87387 | 854 1181 27472 | 20886 10527 47 | 1.500 % | 115.39/115.50 c | 131179 | 854 1181 27472 | 22974 12384 25 | 1.500 % | 128.59/128.70 c | 196863 | 854 1181 27472 | 25272 18197 44 | 1.500 % | 152.80/152.85 c | 295391 | 844 1181 27472 | 27799 21376 30 | 2.884 % | 164.18/164.28 c =============================================================================== 164.69/164.73 c core #21 164.69/164.73 c 164.69/164.73 c 164.69/164.73 c Core size: 57 Core Weight: 1 Total Weight: 39 164.69/164.73 c Current CPU time: 163.753 s 164.69/164.73 c 164.69/164.73 c ============================[ Search Statistics ]============================== 164.69/164.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 164.69/164.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 164.69/164.73 c =============================================================================== 164.69/164.73 c | 0 | 898 1183 27551 | 5000 0 -nan | 0.000 % | 164.69/164.74 c | 103 | 898 1183 27551 | 5500 103 21 | 0.992 % | 164.69/164.77 c | 253 | 898 1183 27551 | 6050 253 19 | 0.992 % | 164.79/164.81 c | 479 | 898 1183 27551 | 6655 479 21 | 0.992 % | 164.79/164.86 c | 816 | 898 1183 27551 | 7320 816 21 | 0.992 % | 164.89/164.96 c | 1322 | 898 1183 27551 | 8052 1322 23 | 0.992 % | 165.01/165.09 c | 2084 | 898 1183 27551 | 8857 2084 25 | 0.992 % | 165.18/165.28 c | 3224 | 898 1183 27551 | 9743 3224 24 | 0.993 % | 165.49/165.56 c | 4932 | 898 1183 27551 | 10717 4932 24 | 0.992 % | 165.89/166.01 c | 7495 | 898 1183 27551 | 11789 7495 24 | 0.992 % | 166.79/166.88 c | 11341 | 898 1183 27551 | 12968 11341 25 | 0.995 % | 168.20/168.28 c | 17107 | 898 1183 27551 | 14265 10513 28 | 0.992 % | 169.18/169.31 c | 25756 | 898 1183 27551 | 15692 11677 41 | 0.995 % | 172.09/172.19 c | 38730 | 894 1183 27551 | 17261 8774 27 | 1.433 % | 176.49/176.55 c | 58192 | 894 1183 27551 | 18987 10890 28 | 1.433 % | 180.49/180.59 c | 87388 | 894 1183 27551 | 20886 10499 53 | 1.433 % | 191.09/191.17 c | 131177 | 894 1183 27551 | 22974 12280 26 | 1.434 % | 203.40/203.51 c | 196864 | 894 1183 27551 | 25272 18020 63 | 1.433 % | 227.60/227.67 c | 295393 | 893 1183 27551 | 27799 23246 36 | 1.544 % | 257.19/257.28 c | 443182 | 889 1183 27551 | 30579 13965 55 | 1.985 % | 312.78/312.87 c | 664867 | 864 1183 27551 | 33637 23542 29 | 4.741 % | 377.98/378.01 c =============================================================================== 380.28/380.37 c core #22 380.28/380.37 c 380.28/380.37 c 380.28/380.37 c Core size: 56 Core Weight: 1 Total Weight: 40 380.28/380.37 c Current CPU time: 378.063 s 380.28/380.37 c 380.28/380.37 c ============================[ Search Statistics ]============================== 380.28/380.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 380.28/380.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 380.28/380.37 c =============================================================================== 380.28/380.37 c | 0 | 940 1185 27634 | 5000 0 -nan | 0.000 % | 380.28/380.39 c | 101 | 940 1185 27634 | 5500 101 20 | 0.948 % | 380.38/380.42 c | 252 | 940 1185 27634 | 6050 252 21 | 0.948 % | 380.38/380.43 c | 481 | 940 1185 27634 | 6655 481 21 | 0.948 % | 380.38/380.49 c | 819 | 940 1185 27634 | 7320 819 21 | 0.949 % | 380.49/380.58 c | 1325 | 940 1185 27634 | 8052 1325 22 | 0.948 % | 380.60/380.63 c | 2086 | 940 1185 27634 | 8857 2086 24 | 0.948 % | 380.79/380.84 c | 3225 | 940 1185 27634 | 9743 3225 23 | 0.950 % | 381.08/381.15 c | 4933 | 940 1185 27634 | 10717 4933 24 | 0.948 % | 381.48/381.61 c | 7495 | 940 1185 27634 | 11789 7495 24 | 0.948 % | 381.88/381.93 c | 11339 | 940 1185 27634 | 12968 11339 28 | 0.948 % | 382.88/382.91 c | 17107 | 940 1185 27634 | 14265 10572 28 | 0.949 % | 383.38/383.47 c | 25757 | 940 1185 27634 | 15692 11768 56 | 0.948 % | 386.19/386.28 c | 38731 | 940 1185 27634 | 17261 8882 25 | 0.949 % | 389.98/390.09 c | 58193 | 940 1185 27634 | 18987 10542 48 | 0.948 % | 395.08/395.10 c | 87387 | 936 1185 27634 | 20886 10423 73 | 1.370 % | 405.38/405.47 c | 131176 | 936 1185 27634 | 22974 12222 26 | 1.370 % | 418.28/418.31 c | 196860 | 936 1185 27634 | 25272 17750 81 | 1.370 % | 441.18/441.22 c | 295389 | 935 1185 27634 | 27799 20369 64 | 1.475 % | 474.79/474.85 c | 443178 | 935 1185 27634 | 30579 21990 76 | 1.475 % | 535.98/536.09 c | 664862 | 933 1185 27634 | 33637 25365 63 | 1.686 % | 630.30/630.36 c | 997387 | 933 1185 27634 | 37001 14528 62 | 1.686 % | 771.18/771.22 c | 1496176 | 933 1185 27634 | 40701 23976 76 | 1.686 % | 1039.08/1039.12 c | 2244359 | 928 1185 27634 | 44771 21276 76 | 2.213 % | 1431.37/1431.45 c | 3366633 | 928 1185 27634 | 49248 32772 74 | 2.213 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460862-1307101421/watcher-3460862-1307101421 -o /tmp/evaluation-result-3460862-1307101421/solver-3460862-1307101421 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460862-1307101421.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.04 2.00 2/535 9919 /proc/meminfo: memFree=25250652/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=2572 CPUtime=0 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 1 0 802558351 2633728 361 33554432000 4194304 5714214 140733685770240 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 676 363 182 372 0 250 0 [startup+0.0257219 s] /proc/loadavg: 2.02 2.04 2.00 2/535 9919 /proc/meminfo: memFree=25250652/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=5156 CPUtime=0.02 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 1126 0 0 0 2 0 0 0 25 0 1 0 802558351 5279744 1029 33554432000 4194304 5714214 140733685770240 18446744073709551615 4956218 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 1289 1029 176 372 0 914 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5156 [startup+0.100695 s] /proc/loadavg: 2.02 2.04 2.00 2/535 9919 /proc/meminfo: memFree=25250652/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=5960 CPUtime=0.09 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 1354 0 0 0 9 0 0 0 18 0 1 0 802558351 6103040 1257 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 1490 1257 180 372 0 1115 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5960 [startup+0.300662 s] /proc/loadavg: 2.02 2.04 2.00 2/535 9919 /proc/meminfo: memFree=25250652/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=6500 CPUtime=0.29 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 1490 0 0 0 29 0 0 0 18 0 1 0 802558351 6656000 1393 33554432000 4194304 5714214 140733685770240 18446744073709551615 4964704 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 1625 1393 180 372 0 1250 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6500 [startup+0.700568 s] /proc/loadavg: 2.02 2.04 2.00 2/535 9919 /proc/meminfo: memFree=25250652/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=6896 CPUtime=0.69 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 1585 0 0 0 69 0 0 0 18 0 1 0 802558351 7061504 1488 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 1724 1488 180 372 0 1349 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6896 [startup+1.50042 s] /proc/loadavg: 2.02 2.04 2.00 3/536 9920 /proc/meminfo: memFree=25233408/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=7952 CPUtime=1.49 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 1824 0 0 0 149 0 0 0 18 0 1 0 802558351 8142848 1727 33554432000 4194304 5714214 140733685770240 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 1988 1727 180 372 0 1613 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7952 [startup+3.10015 s] /proc/loadavg: 2.02 2.04 2.00 3/536 9920 /proc/meminfo: memFree=25229884/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=7952 CPUtime=3.09 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 1846 0 0 0 308 1 0 0 20 0 1 0 802558351 8142848 1749 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 1988 1749 180 372 0 1613 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7952 [startup+6.30057 s] /proc/loadavg: 2.02 2.04 2.00 3/536 9921 /proc/meminfo: memFree=25226048/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=10328 CPUtime=6.29 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 2430 0 0 0 626 3 0 0 25 0 1 0 802558351 10575872 2333 33554432000 4194304 5714214 140733685770240 18446744073709551615 4200294 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 2582 2333 180 372 0 2207 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10328 [startup+12.7004 s] /proc/loadavg: 2.02 2.04 2.00 3/536 9921 /proc/meminfo: memFree=25220652/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=13236 CPUtime=12.69 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 3188 0 0 0 1263 6 0 0 18 0 1 0 802558351 13553664 3060 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 3309 3060 180 372 0 2934 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13236 [startup+25.5001 s] /proc/loadavg: 2.01 2.04 2.00 3/536 9921 /proc/meminfo: memFree=25217056/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=15280 CPUtime=25.49 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 3711 0 0 0 2536 13 0 0 25 0 1 0 802558351 15646720 3583 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 3820 3583 180 372 0 3445 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15280 [startup+51.1006 s] /proc/loadavg: 2.30 2.10 2.02 3/536 9922 /proc/meminfo: memFree=25211620/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=20532 CPUtime=51.09 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 5040 0 0 0 5083 26 0 0 18 0 1 0 802558351 21024768 4874 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 5133 4874 180 372 0 4758 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 20532 [startup+102.319 s] /proc/loadavg: 2.27 2.11 2.03 3/536 9923 /proc/meminfo: memFree=25196808/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=23444 CPUtime=102.3 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 5792 0 0 0 10179 51 0 0 21 0 1 0 802558351 24006656 5626 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 5861 5626 180 372 0 5486 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 23444 [startup+162.301 s] /proc/loadavg: 2.10 2.09 2.02 3/536 9925 /proc/meminfo: memFree=25166376/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=54020 CPUtime=162.29 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 13180 0 0 0 16147 82 0 0 25 0 1 0 802558351 55316480 13014 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 13505 13014 180 372 0 13130 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 54020 [startup+222.301 s] /proc/loadavg: 2.03 2.07 2.01 3/536 9926 /proc/meminfo: memFree=25162608/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=57864 CPUtime=222.29 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 14270 0 0 0 22118 111 0 0 25 0 1 0 802558351 59252736 14049 33554432000 4194304 5714214 140733685770240 18446744073709551615 4300192 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 14466 14049 180 372 0 14091 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 57864 [startup+282.3 s] /proc/loadavg: 2.01 2.06 2.01 3/536 9928 /proc/meminfo: memFree=25128840/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=88572 CPUtime=282.28 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 21921 0 0 0 28085 143 0 0 25 0 1 0 802558351 90697728 21700 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 22143 21700 180 372 0 21768 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 88572 [startup+342.301 s] /proc/loadavg: 2.00 2.04 2.00 3/536 9930 /proc/meminfo: memFree=25097040/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=112440 CPUtime=342.28 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 27731 0 0 0 34054 174 0 0 25 0 1 0 802558351 115138560 27510 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 28110 27510 180 372 0 27735 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 112440 [startup+402.301 s] /proc/loadavg: 2.00 2.03 2.00 3/536 9931 /proc/meminfo: memFree=25048600/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=152936 CPUtime=402.29 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 37756 0 0 0 40026 203 0 0 25 0 1 0 802558351 156606464 37535 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 38234 37535 180 372 0 37859 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 152936 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9933 /proc/meminfo: memFree=25039996/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=152936 CPUtime=462.28 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 37758 0 0 0 45992 236 0 0 25 0 1 0 802558351 156606464 37537 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 38234 37537 180 372 0 37859 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 152936 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9934 /proc/meminfo: memFree=25030524/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=152936 CPUtime=522.29 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 37822 0 0 0 51966 263 0 0 25 0 1 0 802558351 156606464 37601 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 38234 37601 180 372 0 37859 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 152936 [startup+582.301 s] /proc/loadavg: 2.00 2.01 2.00 3/536 9936 /proc/meminfo: memFree=25020548/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=152936 CPUtime=582.28 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 38060 0 0 0 57941 287 0 0 25 0 1 0 802558351 156606464 37839 33554432000 4194304 5714214 140733685770240 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 38234 37839 180 372 0 37859 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 152936 [startup+642.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.04 2.00 3/536 9944 /proc/meminfo: memFree=24896344/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=271836 CPUtime=882.27 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 67370 0 0 0 87819 408 0 0 25 0 1 0 802558351 278360064 67149 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 67959 67149 180 372 0 67584 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 271836 [startup+942.3 s] /proc/loadavg: 2.00 2.03 2.00 3/536 9946 /proc/meminfo: memFree=24875720/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=293624 CPUtime=942.28 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 72677 0 0 0 93798 430 0 0 25 0 1 0 802558351 300670976 72456 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 73406 72456 180 372 0 73031 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 293624 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9947 /proc/meminfo: memFree=24853356/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=316464 CPUtime=1002.27 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 78317 0 0 0 99777 450 0 0 25 0 1 0 802558351 324059136 78096 33554432000 4194304 5714214 140733685770240 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 79116 78096 180 372 0 78741 0 Current children cumulated CPU time (s) 1002.27 Current children cumulated vsize (KiB) 316464 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9962 /proc/meminfo: memFree=24828064/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=341204 CPUtime=1062.28 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 84425 0 0 0 105758 470 0 0 25 0 1 0 802558351 349392896 84204 33554432000 4194304 5714214 140733685770240 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 85301 84204 180 372 0 84926 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 341204 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 9963 /proc/meminfo: memFree=24796416/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=364300 CPUtime=1122.28 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 90131 0 0 0 111733 495 0 0 25 0 1 0 802558351 373043200 89910 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 91075 89910 180 372 0 90700 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 364300 [startup+1182.3 s] /proc/loadavg: 2.23 2.07 2.02 3/536 9966 /proc/meminfo: memFree=24766476/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=386812 CPUtime=1182.28 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 95690 0 0 0 117710 518 0 0 25 0 1 0 802558351 396095488 95469 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 96703 95469 180 372 0 96328 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 386812 [startup+1242.3 s] /proc/loadavg: 2.19 2.08 2.02 3/536 9968 /proc/meminfo: memFree=24736292/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=409864 CPUtime=1242.27 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 101427 0 0 0 123687 540 0 0 25 0 1 0 802558351 419700736 101206 33554432000 4194304 5714214 140733685770240 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 102466 101206 180 372 0 102091 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 409864 [startup+1302.3 s] /proc/loadavg: 2.07 2.06 2.02 3/536 9969 /proc/meminfo: memFree=24704628/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=435040 CPUtime=1302.28 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 107647 0 0 0 129667 561 0 0 25 0 1 0 802558351 445480960 107426 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 108760 107426 180 372 0 108385 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 435040 [startup+1362.3 s] /proc/loadavg: 2.02 2.05 2.01 3/536 9972 /proc/meminfo: memFree=24679784/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=454696 CPUtime=1362.27 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 112556 0 0 0 135645 582 0 0 25 0 1 0 802558351 465608704 112335 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319793 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 113674 112335 180 372 0 113299 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 454696 [startup+1422.32 s] /proc/loadavg: 2.01 2.04 2.01 3/536 9973 /proc/meminfo: memFree=24651580/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=474420 CPUtime=1422.29 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 117377 0 0 0 141626 603 0 0 25 0 1 0 802558351 485806080 117156 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 118605 117156 180 372 0 118230 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 474420 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/536 9976 /proc/meminfo: memFree=24622136/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=496936 CPUtime=1482.27 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 122967 0 0 0 147601 626 0 0 25 0 1 0 802558351 508862464 122746 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 124234 122746 180 372 0 123859 0 Current children cumulated CPU time (s) 1482.27 Current children cumulated vsize (KiB) 496936 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9979 /proc/meminfo: memFree=24587240/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=526376 CPUtime=1542.28 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 130281 0 0 0 153575 653 0 0 25 0 1 0 802558351 539009024 130060 33554432000 4194304 5714214 140733685770240 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 131594 130060 180 372 0 131219 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 526376 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9980 /proc/meminfo: memFree=24555820/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=548256 CPUtime=1602.26 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 135737 0 0 0 159549 677 0 0 25 0 1 0 802558351 561414144 135516 33554432000 4194304 5714214 140733685770240 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 137064 135516 180 372 0 136689 0 Current children cumulated CPU time (s) 1602.26 Current children cumulated vsize (KiB) 548256 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 9982 /proc/meminfo: memFree=24524636/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=572356 CPUtime=1662.26 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 141738 0 0 0 165525 701 0 0 25 0 1 0 802558351 586092544 141517 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 143089 141517 180 372 0 142714 0 Current children cumulated CPU time (s) 1662.26 Current children cumulated vsize (KiB) 572356 [startup+1722.3 s] /proc/loadavg: 2.15 2.04 2.01 3/536 9984 /proc/meminfo: memFree=24491472/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=597312 CPUtime=1722.27 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 147970 0 0 0 171495 732 0 0 25 0 1 0 802558351 611647488 147749 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 149328 147749 180 372 0 148953 0 Current children cumulated CPU time (s) 1722.27 Current children cumulated vsize (KiB) 597312 [startup+1782.3 s] /proc/loadavg: 2.23 2.07 2.02 3/536 9986 /proc/meminfo: memFree=24463756/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=615964 CPUtime=1782.27 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 152611 0 0 0 177476 751 0 0 25 0 1 0 802558351 630747136 152390 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 153991 152390 180 372 0 153616 0 Current children cumulated CPU time (s) 1782.27 Current children cumulated vsize (KiB) 615964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.18 2.07 2.02 2/534 9988 /proc/meminfo: memFree=24636240/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=623620 CPUtime=1800.08 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 154538 0 0 0 179250 758 0 0 25 0 1 0 802558351 638586880 154317 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 155905 154317 180 372 0 155530 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 623620 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.18 2.07 2.02 2/534 9988 /proc/meminfo: memFree=24636240/32951124 swapFree=46970528/67111528 [pid=9919] ppid=9917 vsize=623620 CPUtime=1800.08 cores=1,3,5,7 /proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 154538 0 0 0 179250 758 0 0 25 0 1 0 802558351 638586880 154317 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9919/statm: 155905 154317 180 372 0 155530 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 623620 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.15 CPU time (s): 1800.12 CPU user time (s): 1792.51 CPU system time (s): 7.61084 CPU usage (%): 99.9988 Max. virtual memory (cumulated for all children) (KiB): 623620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.51 system time used= 7.61084 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154538 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= 27 involuntary context switches= 2414 runsolver used 9.36857 second user time and 21.7537 second system time The end
Begin job on node146 at 2011-06-03 13:43:41 IDJOB=3460862 IDBENCH=2641 IDSOLVER=1953 FILE ID=node146/3460862-1307101421 RUNJOBID= node146-1307094211-9456 PBS_JOBID= 13498003 Free space on /tmp= 73724 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460862-1307101421/watcher-3460862-1307101421 -o /tmp/evaluation-result-3460862-1307101421/solver-3460862-1307101421 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460862-1307101421.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 824c01e4395cf59ee9d4081be7b21301 RANDOM SEED=1504566891 node146.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25251924 kB Buffers: 98320 kB Cached: 216648 kB SwapCached: 60100 kB Active: 206620 kB Inactive: 7253428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25251924 kB SwapTotal: 67111528 kB SwapFree: 46970528 kB Dirty: 9712 kB Writeback: 0 kB AnonPages: 7095968 kB Mapped: 17568 kB Slab: 73280 kB PageTables: 97608 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 160703016 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73720 MiB End job on node146 at 2011-06-03 14:13:43