Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.09 | 1800.02 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb |
MD5SUM | fe9b3ae0ed0deb400897e8cf071ce6eb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 91 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 95 |
Optimality of the best value was proved | NO |
Number of variables | 1812 |
Total number of constraints | 3443 |
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 | 3443 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 256 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1307 |
Number of bits of the biggest sum of numbers | 11 |
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-3460998-1307100816.opb. 0.00/0.00 c Instance file HOME/instance-3460998-1307100816.opb 0.00/0.00 c File size is 799598 bytes. 0.05/0.06 c Highest Coefficient sum: 1307 0.05/0.06 c ============================[ Problem Statistics ]============================= 0.05/0.06 c | | 0.05/0.06 c | Parsing time: 0.06 s | 0.05/0.06 c | Number Variables: 1812 | 0.05/0.06 c | Number Clauses: 0 | 0.05/0.06 c | Number Cardinality: 0 | 0.05/0.06 c | Number PB Constraints: 3443 | 0.05/0.06 c ============================[ Search Statistics ]============================== 0.05/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.06 c =============================================================================== 0.05/0.06 c | 0 | 1812 3443 100760 | 5000 0 -nan | 0.000 % | 0.09/0.13 c core #1 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 9 Core Weight: 1 Total Weight: 1 0.09/0.13 c Current CPU time: 0.082987 s 0.09/0.13 c 0.09/0.13 c core #2 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 11 Core Weight: 1 Total Weight: 2 0.09/0.13 c Current CPU time: 0.105983 s 0.09/0.13 c 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1755 3466 100781 | 5000 0 -nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.16 c core #3 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 15 Core Weight: 1 Total Weight: 3 0.09/0.16 c Current CPU time: 0.131979 s 0.09/0.16 c 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1763 3473 100791 | 5000 0 -nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.19 c core #4 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 14 Core Weight: 1 Total Weight: 4 0.09/0.19 c Current CPU time: 0.157975 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1781 3479 100805 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.19/0.22 c core #5 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 16 Core Weight: 1 Total Weight: 5 0.19/0.22 c Current CPU time: 0.187971 s 0.19/0.22 c 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1791 3485 100820 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.25 c core #6 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 15 Core Weight: 3 Total Weight: 8 0.19/0.25 c Current CPU time: 0.223965 s 0.19/0.25 c 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1808 3490 100837 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.30 c core #7 0.19/0.30 c 0.19/0.30 c 0.19/0.30 c Core size: 19 Core Weight: 1 Total Weight: 9 0.19/0.30 c Current CPU time: 0.266959 s 0.19/0.30 c 0.19/0.30 c ============================[ Search Statistics ]============================== 0.19/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.30 c =============================================================================== 0.19/0.30 c | 0 | 1819 3495 100855 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.36 c core #8 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 19 Core Weight: 1 Total Weight: 10 0.29/0.36 c Current CPU time: 0.331949 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 1831 3500 100875 | 5000 0 -nan | 0.000 % | 0.39/0.44 c | 101 | 1830 3500 100875 | 5500 101 23 | 2.608 % | 0.49/0.50 c =============================================================================== 0.49/0.53 c core #9 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 13 Core Weight: 6 Total Weight: 16 0.49/0.53 c Current CPU time: 0.501923 s 0.49/0.53 c 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 1847 3504 100897 | 5000 0 -nan | 0.000 % | 0.59/0.61 c | 101 | 1847 3504 100897 | 5500 101 22 | 1.914 % | 0.69/0.71 c | 251 | 1841 3504 100897 | 6050 251 25 | 2.570 % | 0.69/0.74 c =============================================================================== 0.69/0.77 c core #10 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 23 Core Weight: 1 Total Weight: 17 0.69/0.77 c Current CPU time: 0.737887 s 0.69/0.77 c 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 1860 3510 100924 | 5000 0 -nan | 0.000 % | 0.79/0.84 c | 100 | 1860 3510 100924 | 5500 100 22 | 1.899 % | 0.89/0.93 c | 250 | 1859 3510 100924 | 6050 250 24 | 1.952 % | 0.89/1.00 c =============================================================================== 1.00/1.03 c core #11 1.00/1.03 c 1.00/1.03 c 1.00/1.03 c Core size: 40 Core Weight: 1 Total Weight: 18 1.00/1.03 c Current CPU time: 1.00085 s 1.00/1.03 c 1.00/1.03 c ============================[ Search Statistics ]============================== 1.00/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.03 c =============================================================================== 1.00/1.03 c | 0 | 1877 3516 100959 | 5000 0 -nan | 0.000 % | 1.00/1.10 c | 100 | 1877 3516 100959 | 5500 100 22 | 1.882 % | 1.19/1.21 c | 250 | 1877 3516 100959 | 6050 250 27 | 1.882 % | 1.29/1.34 c | 475 | 1877 3516 100959 | 6655 475 27 | 1.882 % | 1.49/1.57 c | 812 | 1877 3516 100959 | 7320 812 27 | 1.882 % | 1.89/1.91 c | 1319 | 1876 3516 100959 | 8052 1319 27 | 1.935 % | 1.99/2.00 c =============================================================================== 1.99/2.03 c core #12 1.99/2.03 c 1.99/2.03 c 1.99/2.03 c Core size: 21 Core Weight: 1 Total Weight: 19 1.99/2.03 c Current CPU time: 1.9947 s 1.99/2.03 c 1.99/2.03 c ============================[ Search Statistics ]============================== 1.99/2.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.03 c =============================================================================== 1.99/2.03 c | 0 | 1882 3520 100966 | 5000 0 -nan | 0.000 % | 1.99/2.11 c | 101 | 1882 3520 100966 | 5500 101 24 | 1.877 % | 2.10/2.20 c | 252 | 1882 3520 100966 | 6050 252 26 | 1.877 % | 2.29/2.36 c | 479 | 1882 3520 100966 | 6655 479 26 | 1.877 % | 2.59/2.61 c | 816 | 1880 3520 100966 | 7320 816 28 | 2.242 % | 2.79/2.87 c | 1323 | 1875 3520 100966 | 8052 1323 29 | 2.242 % | 3.31/3.37 c | 2082 | 1875 3520 100966 | 8857 2082 30 | 2.242 % | 3.99/4.08 c | 3221 | 1875 3520 100966 | 9743 3221 30 | 2.242 % | 4.89/4.98 c | 4929 | 1875 3520 100966 | 10717 4929 30 | 2.242 % | 5.59/5.64 c =============================================================================== 5.59/5.67 c core #13 5.59/5.67 c 5.59/5.67 c 5.59/5.67 c Core size: 39 Core Weight: 1 Total Weight: 20 5.59/5.67 c Current CPU time: 5.62415 s 5.59/5.67 c 5.59/5.67 c ============================[ Search Statistics ]============================== 5.59/5.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.59/5.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.59/5.67 c =============================================================================== 5.59/5.67 c | 0 | 1893 3524 100985 | 5000 0 -nan | 0.000 % | 5.69/5.74 c | 103 | 1893 3524 100985 | 5500 103 27 | 1.866 % | 5.79/5.83 c | 255 | 1893 3524 100985 | 6050 255 28 | 1.866 % | 5.89/5.97 c | 481 | 1893 3524 100985 | 6655 481 29 | 1.866 % | 6.09/6.17 c | 818 | 1893 3524 100985 | 7320 818 30 | 1.866 % | 6.39/6.51 c | 1325 | 1881 3524 100985 | 8052 1325 31 | 2.488 % | 6.89/6.93 c | 2084 | 1881 3524 100985 | 8857 2084 30 | 2.488 % | 7.60/7.64 c | 3223 | 1880 3524 100985 | 9743 3223 30 | 2.540 % | 8.20/8.22 c =============================================================================== 8.20/8.26 c core #14 8.20/8.26 c 8.20/8.26 c 8.20/8.26 c Core size: 28 Core Weight: 12 Total Weight: 32 8.20/8.26 c Current CPU time: 8.20875 s 8.20/8.26 c 8.20/8.26 c ============================[ Search Statistics ]============================== 8.20/8.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.20/8.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.20/8.26 c =============================================================================== 8.20/8.26 c | 0 | 1908 3527 101016 | 5000 0 -nan | 0.000 % | 8.30/8.34 c | 101 | 1908 3527 101016 | 5500 101 22 | 1.242 % | 8.40/8.44 c | 251 | 1903 3527 101016 | 6050 251 24 | 1.812 % | 8.50/8.59 c | 477 | 1899 3527 101016 | 6655 477 26 | 1.812 % | 8.71/8.77 c | 814 | 1896 3527 101016 | 7320 814 26 | 2.226 % | 8.99/9.04 c | 1322 | 1889 3527 101016 | 8052 1322 28 | 2.226 % | 9.49/9.57 c | 2081 | 1889 3527 101016 | 8857 2081 29 | 2.226 % | 10.09/10.14 c | 3221 | 1889 3527 101016 | 9743 3221 30 | 2.226 % | 11.19/11.24 c | 4931 | 1889 3527 101016 | 10717 4931 32 | 2.226 % | 12.89/12.93 c | 7493 | 1887 3527 101016 | 11789 7493 34 | 2.329 % | 13.29/13.34 c =============================================================================== 13.29/13.38 c core #15 13.29/13.38 c 13.29/13.38 c 13.29/13.38 c Core size: 64 Core Weight: 1 Total Weight: 33 13.29/13.38 c Current CPU time: 13.325 s 13.29/13.38 c 13.29/13.38 c ============================[ Search Statistics ]============================== 13.29/13.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.29/13.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.29/13.38 c =============================================================================== 13.29/13.38 c | 0 | 1943 3532 101088 | 5000 0 -nan | 0.000 % | 13.39/13.46 c | 100 | 1943 3532 101088 | 5500 100 23 | 1.220 % | 13.49/13.57 c | 251 | 1943 3532 101088 | 6050 251 24 | 1.220 % | 13.59/13.69 c | 477 | 1943 3532 101088 | 6655 477 23 | 1.220 % | 13.79/13.89 c | 814 | 1943 3532 101088 | 7320 814 26 | 1.220 % | 14.09/14.20 c | 1320 | 1943 3532 101088 | 8052 1320 27 | 1.220 % | 14.59/14.61 c | 2079 | 1943 3532 101088 | 8857 2079 29 | 1.220 % | 15.30/15.32 c | 3218 | 1943 3532 101088 | 9743 3218 31 | 1.220 % | 16.40/16.47 c | 4927 | 1943 3532 101088 | 10717 4927 32 | 1.220 % | 17.99/18.06 c | 7489 | 1943 3532 101088 | 11789 7489 33 | 1.220 % | 20.80/20.84 c | 11333 | 1943 3532 101088 | 12968 11333 34 | 1.220 % | 24.89/24.95 c | 17100 | 1935 3532 101088 | 14265 10579 35 | 1.627 % | 30.59/30.61 c | 25749 | 1934 3532 101088 | 15692 12064 36 | 1.678 % | 34.49/34.52 c =============================================================================== 34.49/34.58 c core #16 34.49/34.58 c 34.49/34.58 c 34.49/34.58 c Core size: 29 Core Weight: 1 Total Weight: 34 34.49/34.58 c Current CPU time: 34.4808 s 34.49/34.58 c 34.49/34.58 c ============================[ Search Statistics ]============================== 34.49/34.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.49/34.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.49/34.58 c =============================================================================== 34.49/34.58 c | 0 | 1950 3538 101106 | 5000 0 -nan | 0.000 % | 34.60/34.66 c | 100 | 1950 3538 101106 | 5500 100 22 | 1.216 % | 34.70/34.76 c | 250 | 1950 3538 101106 | 6050 250 25 | 1.216 % | 34.90/34.90 c | 475 | 1950 3538 101106 | 6655 475 27 | 1.216 % | 35.10/35.14 c | 812 | 1950 3538 101106 | 7320 812 28 | 1.216 % | 35.39/35.43 c | 1318 | 1950 3538 101106 | 8052 1318 29 | 1.216 % | 35.79/35.83 c | 2077 | 1950 3538 101106 | 8857 2077 30 | 1.216 % | 36.59/36.62 c | 3216 | 1950 3538 101106 | 9743 3216 32 | 1.216 % | 37.69/37.75 c | 4924 | 1950 3538 101106 | 10717 4924 33 | 1.216 % | 39.30/39.37 c | 7487 | 1950 3538 101106 | 11789 7487 34 | 1.216 % | 41.89/41.93 c | 11331 | 1950 3538 101106 | 12968 11331 34 | 1.216 % | 45.59/45.63 c | 17098 | 1950 3538 101106 | 14265 10507 34 | 1.216 % | 51.80/51.86 c | 25748 | 1950 3538 101106 | 15692 11727 39 | 1.216 % | 60.09/60.17 c | 38724 | 1942 3538 101106 | 17261 8602 36 | 1.621 % | 63.89/63.92 c =============================================================================== 63.89/63.98 c core #17 63.89/63.98 c 63.89/63.98 c 63.89/63.98 c Core size: 56 Core Weight: 1 Total Weight: 35 63.89/63.98 c Current CPU time: 63.8253 s 63.89/63.98 c 63.89/63.98 c ============================[ Search Statistics ]============================== 63.89/63.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.89/63.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.89/63.98 c =============================================================================== 63.89/63.98 c | 0 | 1975 3544 101160 | 5000 0 -nan | 0.000 % | 63.99/64.05 c | 102 | 1975 3544 101160 | 5500 102 23 | 1.201 % | 64.09/64.15 c | 253 | 1975 3544 101160 | 6050 253 23 | 1.201 % | 64.29/64.32 c | 480 | 1975 3544 101160 | 6655 480 28 | 1.201 % | 64.39/64.49 c | 818 | 1975 3544 101160 | 7320 818 28 | 1.202 % | 64.80/64.81 c | 1324 | 1975 3544 101160 | 8052 1324 30 | 1.201 % | 65.19/65.26 c | 2083 | 1975 3544 101160 | 8857 2083 32 | 1.201 % | 65.90/65.95 c | 3222 | 1975 3544 101160 | 9743 3222 33 | 1.201 % | 67.00/67.01 c | 4931 | 1975 3544 101160 | 10717 4931 32 | 1.201 % | 68.59/68.61 c | 7494 | 1975 3544 101160 | 11789 7494 33 | 1.201 % | 70.89/70.95 c | 11338 | 1975 3544 101160 | 12968 11338 33 | 1.201 % | 74.59/74.63 c | 17105 | 1975 3544 101160 | 14265 10489 35 | 1.201 % | 80.00/80.07 c | 25754 | 1975 3544 101160 | 15692 11951 36 | 1.201 % | 87.59/87.65 c | 38728 | 1974 3544 101160 | 17261 8966 34 | 1.251 % | 95.99/96.02 c | 58189 | 1974 3544 101160 | 18987 10972 37 | 1.251 % | 102.99/103.04 c =============================================================================== 103.09/103.11 c core #18 103.09/103.11 c 103.09/103.11 c 103.09/103.11 c Core size: 30 Core Weight: 3 Total Weight: 38 103.09/103.11 c Current CPU time: 102.875 s 103.09/103.11 c 103.09/103.11 c ============================[ Search Statistics ]============================== 103.09/103.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.09/103.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.09/103.11 c =============================================================================== 103.09/103.11 c | 0 | 1979 3547 101166 | 5000 0 -nan | 0.000 % | 103.09/103.17 c | 100 | 1979 3547 101166 | 5500 100 24 | 1.198 % | 103.19/103.27 c | 250 | 1979 3547 101166 | 6050 250 27 | 1.198 % | 103.30/103.40 c | 476 | 1979 3547 101166 | 6655 476 26 | 1.198 % | 103.49/103.60 c | 813 | 1979 3547 101166 | 7320 813 26 | 1.198 % | 103.89/103.93 c | 1320 | 1979 3547 101166 | 8052 1320 29 | 1.198 % | 104.29/104.31 c | 2080 | 1979 3547 101166 | 8857 2080 30 | 1.198 % | 104.89/104.91 c | 3220 | 1979 3547 101166 | 9743 3220 30 | 1.198 % | 105.80/105.85 c | 4928 | 1979 3547 101166 | 10717 4928 31 | 1.198 % | 106.90/106.95 c | 7490 | 1979 3547 101166 | 11789 7490 32 | 1.199 % | 109.20/109.26 c | 11337 | 1979 3547 101166 | 12968 11337 33 | 1.198 % | 112.30/112.33 c | 17103 | 1979 3547 101166 | 14265 10232 34 | 1.198 % | 116.99/117.06 c | 25753 | 1979 3547 101166 | 15692 11638 35 | 1.199 % | 124.90/124.94 c | 38728 | 1953 3547 101166 | 17261 8644 34 | 2.496 % | 136.79/136.86 c | 58189 | 1946 3547 101166 | 18987 10569 34 | 2.846 % | 154.89/154.97 c | 87381 | 1946 3547 101166 | 20886 10937 37 | 2.846 % | 181.51/181.58 c | 131170 | 1945 3547 101166 | 22974 12612 38 | 2.896 % | 207.80/207.85 c =============================================================================== 207.99/208.03 c core #19 207.99/208.03 c 207.99/208.03 c 207.99/208.03 c Core size: 38 Core Weight: 1 Total Weight: 39 207.99/208.03 c Current CPU time: 207.576 s 207.99/208.03 c 207.99/208.03 c ============================[ Search Statistics ]============================== 207.99/208.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.99/208.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.99/208.03 c =============================================================================== 207.99/208.03 c | 0 | 1986 3550 101178 | 5000 0 -nan | 0.000 % | 208.09/208.10 c | 102 | 1986 3550 101178 | 5500 102 25 | 1.194 % | 208.19/208.21 c | 252 | 1986 3550 101178 | 6050 252 25 | 1.194 % | 208.29/208.32 c | 477 | 1986 3550 101178 | 6655 477 28 | 1.194 % | 208.49/208.53 c | 815 | 1986 3550 101178 | 7320 815 29 | 1.194 % | 208.80/208.81 c | 1321 | 1986 3550 101178 | 8052 1321 30 | 1.194 % | 209.30/209.31 c | 2081 | 1986 3550 101178 | 8857 2081 32 | 1.194 % | 209.80/209.83 c | 3220 | 1986 3550 101178 | 9743 3220 32 | 1.194 % | 210.90/210.90 c | 4928 | 1986 3550 101178 | 10717 4928 33 | 1.194 % | 212.40/212.44 c | 7491 | 1986 3550 101178 | 11789 7491 34 | 1.194 % | 213.90/213.98 c | 11336 | 1986 3550 101178 | 12968 11336 33 | 1.194 % | 216.50/216.57 c | 17103 | 1986 3550 101178 | 14265 10494 32 | 1.194 % | 220.02/220.03 c | 25753 | 1986 3550 101178 | 15692 11975 31 | 1.194 % | 226.90/226.90 c | 38728 | 1986 3550 101178 | 17261 9030 34 | 1.194 % | 237.40/237.41 c | 58189 | 1986 3550 101178 | 18987 11079 35 | 1.194 % | 254.11/254.12 c | 87381 | 1986 3550 101178 | 20886 11281 40 | 1.195 % | 281.20/281.23 c | 131170 | 1981 3550 101178 | 22974 12985 35 | 1.443 % | 309.60/309.69 c =============================================================================== 309.81/309.85 c core #20 309.81/309.85 c 309.81/309.85 c 309.81/309.85 c Core size: 44 Core Weight: 1 Total Weight: 40 309.81/309.85 c Current CPU time: 309.243 s 309.81/309.85 c 309.81/309.85 c ============================[ Search Statistics ]============================== 309.81/309.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 309.81/309.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 309.81/309.85 c =============================================================================== 309.81/309.85 c | 0 | 2006 3553 101216 | 5000 0 -nan | 0.000 % | 309.91/309.94 c | 100 | 2006 3553 101216 | 5500 100 27 | 1.182 % | 310.01/310.04 c | 251 | 2006 3553 101216 | 6050 251 26 | 1.182 % | 310.12/310.18 c | 477 | 2006 3553 101216 | 6655 477 29 | 1.182 % | 310.31/310.39 c | 814 | 2006 3553 101216 | 7320 814 32 | 1.182 % | 310.61/310.64 c | 1320 | 2006 3553 101216 | 8052 1320 32 | 1.182 % | 311.01/311.02 c | 2080 | 2006 3553 101216 | 8857 2080 33 | 1.182 % | 311.71/311.77 c | 3223 | 2006 3553 101216 | 9743 3223 33 | 1.182 % | 312.80/312.88 c | 4932 | 2006 3553 101216 | 10717 4932 34 | 1.182 % | 314.20/314.27 c | 7495 | 2006 3553 101216 | 11789 7495 35 | 1.182 % | 316.30/316.32 c | 11339 | 2006 3553 101216 | 12968 11339 34 | 1.182 % | 320.51/320.59 c | 17106 | 2006 3553 101216 | 14265 10231 35 | 1.182 % | 325.40/325.45 c | 25758 | 2006 3553 101216 | 15692 11362 35 | 1.182 % | 334.21/334.21 c | 38732 | 2006 3553 101216 | 17261 16120 36 | 1.182 % | 345.51/345.53 c | 58195 | 2006 3553 101216 | 18987 8792 37 | 1.182 % | 364.81/364.86 c | 87387 | 2006 3553 101216 | 20886 18284 36 | 1.182 % | 394.00/394.06 c | 131176 | 2006 3553 101216 | 22974 19818 36 | 1.182 % | 436.40/436.42 c | 196862 | 2006 3553 101216 | 25272 15358 37 | 1.182 % | 496.91/496.92 c | 295388 | 2006 3553 101216 | 27799 15906 35 | 1.182 % | 592.31/592.31 c | 443179 | 2006 3553 101216 | 30579 19334 36 | 1.182 % | 738.03/738.08 c | 664863 | 2006 3553 101216 | 33637 17125 41 | 1.182 % | 961.34/961.40 c =============================================================================== 962.33/962.32 c core #21 962.33/962.32 c 962.33/962.32 c 962.33/962.32 c Core size: 31 Core Weight: 1 Total Weight: 41 962.33/962.32 c Current CPU time: 960.376 s 962.33/962.32 c 962.33/962.32 c ============================[ Search Statistics ]============================== 962.33/962.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 962.33/962.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 962.33/962.32 c =============================================================================== 962.33/962.32 c | 0 | 2015 3556 101232 | 5000 0 -nan | 0.000 % | 962.33/962.36 c | 102 | 2015 3556 101232 | 5500 102 23 | 1.177 % | 962.44/962.42 c | 253 | 2015 3556 101232 | 6050 253 19 | 1.177 % | 962.54/962.55 c | 479 | 2015 3556 101232 | 6655 479 25 | 1.177 % | 962.73/962.73 c | 816 | 2015 3556 101232 | 7320 816 27 | 1.177 % | 963.03/963.05 c | 1323 | 2015 3556 101232 | 8052 1323 31 | 1.177 % | 963.32/963.36 c | 2082 | 2015 3556 101232 | 8857 2082 31 | 1.177 % | 964.02/964.07 c | 3221 | 2015 3556 101232 | 9743 3221 32 | 1.177 % | 964.83/964.86 c | 4930 | 2015 3556 101232 | 10717 4930 32 | 1.178 % | 966.33/966.33 c | 7492 | 2015 3556 101232 | 11789 7492 33 | 1.177 % | 968.72/968.76 c | 11338 | 2015 3556 101232 | 12968 11338 34 | 1.177 % | 971.83/971.87 c | 17105 | 2015 3556 101232 | 14265 10545 37 | 1.177 % | 975.93/975.94 c | 25755 | 2015 3556 101232 | 15692 11901 35 | 1.177 % | 983.82/983.84 c | 38730 | 2015 3556 101232 | 17261 8856 39 | 1.177 % | 995.72/995.73 c | 58191 | 2015 3556 101232 | 18987 10437 42 | 1.179 % | 1014.14/1014.18 c | 87384 | 2014 3556 101232 | 20886 10913 37 | 1.227 % | 1037.63/1037.60 c | 131173 | 1999 3556 101232 | 22974 12580 38 | 1.962 % | 1044.03/1044.07 c =============================================================================== 1044.23/1044.29 c core #22 1044.23/1044.29 c 1044.23/1044.29 c 1044.23/1044.29 c Core size: 50 Core Weight: 1 Total Weight: 42 1044.23/1044.29 c Current CPU time: 1042.61 s 1044.23/1044.29 c 1044.23/1044.29 c ============================[ Search Statistics ]============================== 1044.23/1044.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1044.23/1044.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1044.23/1044.29 c =============================================================================== 1044.23/1044.29 c | 0 | 2043 3559 101286 | 5000 0 -nan | 0.000 % | 1044.33/1044.39 c | 101 | 2043 3559 101286 | 5500 101 27 | 1.161 % | 1044.53/1044.50 c | 253 | 2043 3559 101286 | 6050 253 27 | 1.161 % | 1044.63/1044.63 c | 479 | 2043 3559 101286 | 6655 479 29 | 1.161 % | 1044.73/1044.79 c | 817 | 2043 3559 101286 | 7320 817 30 | 1.161 % | 1045.13/1045.16 c | 1324 | 2043 3559 101286 | 8052 1324 31 | 1.161 % | 1045.53/1045.58 c | 2085 | 2043 3559 101286 | 8857 2085 32 | 1.161 % | 1046.33/1046.38 c | 3225 | 2043 3559 101286 | 9743 3225 33 | 1.161 % | 1047.24/1047.22 c | 4934 | 2043 3559 101286 | 10717 4934 32 | 1.161 % | 1049.44/1049.41 c | 7498 | 2043 3559 101286 | 11789 7498 34 | 1.161 % | 1051.93/1051.92 c | 11343 | 2043 3559 101286 | 12968 11343 35 | 1.161 % | 1055.03/1055.01 c | 17110 | 2043 3559 101286 | 14265 10571 34 | 1.161 % | 1060.83/1060.80 c | 25759 | 2043 3559 101286 | 15692 11791 34 | 1.161 % | 1067.73/1067.71 c | 38734 | 2043 3559 101286 | 17261 8818 31 | 1.161 % | 1081.13/1081.14 c | 58195 | 2043 3559 101286 | 18987 10337 37 | 1.161 % | 1101.73/1101.75 c | 87387 | 2043 3559 101286 | 20886 10648 35 | 1.161 % | 1132.83/1132.83 c | 131176 | 2043 3559 101286 | 22974 12058 33 | 1.161 % | 1177.53/1177.52 c | 196862 | 2043 3559 101286 | 25272 18194 34 | 1.161 % | 1243.84/1243.87 c | 295389 | 2043 3559 101286 | 27799 20199 35 | 1.161 % | 1347.94/1347.91 c | 443178 | 2043 3559 101286 | 30579 26096 36 | 1.161 % | 1495.05/1495.06 c | 664862 | 2042 3559 101286 | 33637 27442 35 | 1.210 % | 1744.75/1744.75 c | 997387 | 2042 3559 101286 | 37001 15958 36 | 1.210 % |
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-3460998-1307100816/watcher-3460998-1307100816 -o /tmp/evaluation-result-3460998-1307100816/solver-3460998-1307100816 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460998-1307100816.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 2/443 14373 /proc/meminfo: memFree=29834976/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=3416 CPUtime=0 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 477 0 0 0 0 0 0 0 25 0 1 0 900312251 3497984 430 33554432000 4194304 5714214 140733902325040 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 854 431 190 372 0 283 0 [startup+0.062572 s] /proc/loadavg: 2.00 2.01 2.00 2/443 14373 /proc/meminfo: memFree=29834976/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=8272 CPUtime=0.05 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 1833 0 0 0 5 0 0 0 25 0 1 0 900312251 8470528 1786 33554432000 4194304 5714214 140733902325040 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 2068 1787 349 372 0 1497 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8272 [startup+0.100582 s] /proc/loadavg: 2.00 2.01 2.00 2/443 14373 /proc/meminfo: memFree=29834976/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=13904 CPUtime=0.09 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 3444 0 0 0 9 0 0 0 25 0 1 0 900312251 14237696 3201 33554432000 4194304 5714214 140733902325040 18446744073709551615 4968289 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 3476 3201 176 372 0 3101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13904 [startup+0.300535 s] /proc/loadavg: 2.00 2.01 2.00 2/443 14373 /proc/meminfo: memFree=29834976/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=17076 CPUtime=0.29 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 4258 0 0 0 29 0 0 0 25 0 1 0 900312251 17485824 4015 33554432000 4194304 5714214 140733902325040 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 4269 4015 179 372 0 3894 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17076 [startup+0.700456 s] /proc/loadavg: 2.00 2.01 2.00 2/443 14373 /proc/meminfo: memFree=29834976/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=18004 CPUtime=0.69 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 4498 0 0 0 69 0 0 0 18 0 1 0 900312251 18436096 4255 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 4501 4255 180 372 0 4126 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18004 [startup+1.5003 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14374 /proc/meminfo: memFree=29817112/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=18932 CPUtime=1.49 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 4735 0 0 0 149 0 0 0 19 0 1 0 900312251 19386368 4492 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 4733 4492 180 372 0 4358 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18932 [startup+3.101 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14374 /proc/meminfo: memFree=29814880/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=19732 CPUtime=3.09 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 4925 0 0 0 308 1 0 0 23 0 1 0 900312251 20205568 4682 33554432000 4194304 5714214 140733902325040 18446744073709551615 4319156 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 4933 4682 180 372 0 4558 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19732 [startup+6.3004 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14374 /proc/meminfo: memFree=29815004/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=21460 CPUtime=6.29 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 5376 0 0 0 628 1 0 0 25 0 1 0 900312251 21975040 5133 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323061 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 5365 5133 180 372 0 4990 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21460 [startup+12.7012 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14374 /proc/meminfo: memFree=29811740/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=21592 CPUtime=12.69 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 5403 0 0 0 1267 2 0 0 25 0 1 0 900312251 22110208 5160 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322791 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 5398 5160 180 372 0 5023 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21592 [startup+25.5008 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14374 /proc/meminfo: memFree=29806896/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=23316 CPUtime=25.49 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 5823 0 0 0 2545 4 0 0 25 0 1 0 900312251 23875584 5580 33554432000 4194304 5714214 140733902325040 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 5829 5580 180 372 0 5454 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23316 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.00 3/444 14375 /proc/meminfo: memFree=29799580/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=27152 CPUtime=51.1 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 6799 0 0 0 5101 9 0 0 25 0 1 0 900312251 27803648 6556 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200624 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 6788 6556 180 372 0 6413 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 27152 [startup+102.316 s] /proc/loadavg: 2.00 2.00 2.00 3/444 14376 /proc/meminfo: memFree=29790996/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=29924 CPUtime=102.31 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 7461 0 0 0 10213 18 0 0 25 0 1 0 900312251 30642176 7218 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 7481 7218 180 372 0 7106 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 29924 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/444 14378 /proc/meminfo: memFree=29782640/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=34024 CPUtime=162.29 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 8507 0 0 0 16201 28 0 0 25 0 1 0 900312251 34840576 8264 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 8506 8264 180 372 0 8131 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 34024 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/444 14379 /proc/meminfo: memFree=29765604/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=47472 CPUtime=222.3 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 11860 0 0 0 22192 38 0 0 25 0 1 0 900312251 48611328 11617 33554432000 4194304 5714214 140733902325040 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 11868 11617 180 372 0 11493 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 47472 [startup+282.3 s] /proc/loadavg: 2.03 2.01 2.00 3/444 14381 /proc/meminfo: memFree=29765448/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=47472 CPUtime=282.3 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 11860 0 0 0 28183 47 0 0 25 0 1 0 900312251 48611328 11617 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200640 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 11868 11617 180 372 0 11493 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 47472 [startup+342.301 s] /proc/loadavg: 2.01 2.01 2.00 3/444 14386 /proc/meminfo: memFree=29765392/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=47472 CPUtime=342.31 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 11868 0 0 0 34176 55 0 0 25 0 1 0 900312251 48611328 11625 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 11868 11625 180 372 0 11493 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 47472 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/444 14387 /proc/meminfo: memFree=29765424/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=47472 CPUtime=402.31 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 11878 0 0 0 40165 66 0 0 25 0 1 0 900312251 48611328 11635 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 11868 11635 180 372 0 11493 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 47472 [startup+462.301 s] /proc/loadavg: 2.09 2.03 2.01 3/444 14389 /proc/meminfo: memFree=29764900/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=48396 CPUtime=462.31 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 12107 0 0 0 46157 74 0 0 25 0 1 0 900312251 49557504 11864 33554432000 4194304 5714214 140733902325040 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 12099 11864 180 372 0 11724 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 48396 [startup+522.3 s] /proc/loadavg: 2.03 2.02 2.00 3/444 14390 /proc/meminfo: memFree=29738436/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=58280 CPUtime=522.31 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 14546 0 0 0 52150 81 0 0 25 0 1 0 900312251 59678720 14303 33554432000 4194304 5714214 140733902325040 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 14570 14303 180 372 0 14195 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 58280 [startup+582.301 s] /proc/loadavg: 2.01 2.02 2.00 3/444 14392 /proc/meminfo: memFree=29728584/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=68296 CPUtime=582.31 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 16996 0 0 0 58141 90 0 0 25 0 1 0 900312251 69935104 16753 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322737 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 17074 16753 180 372 0 16699 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 68296 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.08 2.04 2.01 3/444 14398 /proc/meminfo: memFree=29689704/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=107496 CPUtime=822.32 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 26759 0 0 0 82105 127 0 0 25 0 1 0 900312251 110075904 26516 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323050 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 26874 26516 180 372 0 26499 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 107496 [startup+882.301 s] /proc/loadavg: 2.03 2.03 2.00 3/444 14400 /proc/meminfo: memFree=29680620/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=116604 CPUtime=882.32 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 29026 0 0 0 88096 136 0 0 25 0 1 0 900312251 119402496 28783 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322827 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 29151 28783 180 372 0 28776 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 116604 [startup+942.3 s] /proc/loadavg: 2.14 2.05 2.01 3/444 14402 /proc/meminfo: memFree=29671788/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=125340 CPUtime=942.32 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 31223 0 0 0 94087 145 0 0 25 0 1 0 900312251 128348160 30980 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 31335 30980 180 372 0 30960 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 125340 [startup+1002.3 s] /proc/loadavg: 2.11 2.06 2.01 3/444 14403 /proc/meminfo: memFree=29658208/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1002.33 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34614 0 0 0 100077 156 0 0 25 0 1 0 900312251 141864960 34279 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34279 180 372 0 34260 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 138540 [startup+1062.3 s] /proc/loadavg: 2.04 2.05 2.00 3/444 14405 /proc/meminfo: memFree=29658280/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1062.33 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34615 0 0 0 106068 165 0 0 25 0 1 0 900312251 141864960 34280 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34280 180 372 0 34260 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 138540 [startup+1122.3 s] /proc/loadavg: 2.01 2.03 2.00 3/444 14406 /proc/meminfo: memFree=29658720/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1122.33 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34615 0 0 0 112061 172 0 0 25 0 1 0 900312251 141864960 34280 33554432000 4194304 5714214 140733902325040 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34280 180 372 0 34260 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 138540 [startup+1182.3 s] /proc/loadavg: 2.00 2.03 2.00 3/444 14408 /proc/meminfo: memFree=29658436/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1182.33 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34616 0 0 0 118054 179 0 0 25 0 1 0 900312251 141864960 34281 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34281 180 372 0 34260 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 138540 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/444 14410 /proc/meminfo: memFree=29657672/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1242.34 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34620 0 0 0 124046 188 0 0 25 0 1 0 900312251 141864960 34285 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322711 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34285 180 372 0 34260 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 138540 [startup+1302.3 s] /proc/loadavg: 2.15 2.05 2.01 3/444 14411 /proc/meminfo: memFree=29637016/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1302.35 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34635 0 0 0 130038 197 0 0 25 0 1 0 900312251 141864960 34300 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34300 180 372 0 34260 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 138540 [startup+1362.3 s] /proc/loadavg: 2.05 2.04 2.00 3/444 14413 /proc/meminfo: memFree=29636988/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1362.34 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34638 0 0 0 136030 204 0 0 25 0 1 0 900312251 141864960 34303 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34303 180 372 0 34260 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 138540 [startup+1422.32 s] /proc/loadavg: 2.02 2.03 2.00 3/444 14414 /proc/meminfo: memFree=29636452/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1422.36 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34656 0 0 0 142024 212 0 0 25 0 1 0 900312251 141864960 34321 33554432000 4194304 5714214 140733902325040 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34321 180 372 0 34260 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 138540 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/444 14416 /proc/meminfo: memFree=29636764/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1482.34 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34678 0 0 0 148017 217 0 0 25 0 1 0 900312251 141864960 34343 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34343 180 372 0 34260 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 138540 [startup+1542.3 s] /proc/loadavg: 2.03 2.03 2.00 3/444 14418 /proc/meminfo: memFree=29636372/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1542.35 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34682 0 0 0 154010 225 0 0 25 0 1 0 900312251 141864960 34347 33554432000 4194304 5714214 140733902325040 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34347 180 372 0 34260 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 138540 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.00 3/444 14419 /proc/meminfo: memFree=29636572/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1602.35 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34686 0 0 0 160003 232 0 0 25 0 1 0 900312251 141864960 34351 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34351 180 372 0 34260 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 138540 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/444 14430 /proc/meminfo: memFree=29636812/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1662.35 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34693 0 0 0 165997 238 0 0 25 0 1 0 900312251 141864960 34358 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323050 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34358 180 372 0 34260 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 138540 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14431 /proc/meminfo: memFree=29636608/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1722.36 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34714 0 0 0 171991 245 0 0 25 0 1 0 900312251 141864960 34379 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34379 180 372 0 34260 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 138540 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/444 14461 /proc/meminfo: memFree=29785260/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1782.36 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34718 0 0 0 177984 252 0 0 25 0 1 0 900312251 141864960 34383 33554432000 4194304 5714214 140733902325040 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34383 180 372 0 34260 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 138540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.16 2.04 2.01 3/444 14462 /proc/meminfo: memFree=29761468/32950928 swapFree=52246700/67111528 [pid=14373] ppid=14371 vsize=138540 CPUtime=1800.07 cores=0,2,4,6 /proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34725 0 0 0 179753 254 0 0 25 0 1 0 900312251 141864960 34390 33554432000 4194304 5714214 140733902325040 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14373/statm: 34635 34390 180 372 0 34260 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 138540 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.02 CPU time (s): 1800.09 CPU user time (s): 1797.54 CPU system time (s): 2.54861 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 139008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.54 system time used= 2.54861 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34725 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= 4 involuntary context switches= 3336 runsolver used 8.50671 second user time and 17.4903 second system time The end
Begin job on node114 at 2011-06-03 13:33:36 IDJOB=3460998 IDBENCH=2636 IDSOLVER=1953 FILE ID=node114/3460998-1307100816 RUNJOBID= node114-1307093562-13884 PBS_JOBID= 13497997 Free space on /tmp= 73916 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460998-1307100816/watcher-3460998-1307100816 -o /tmp/evaluation-result-3460998-1307100816/solver-3460998-1307100816 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460998-1307100816.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fe9b3ae0ed0deb400897e8cf071ce6eb RANDOM SEED=1030098042 node114.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.848 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.69 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.848 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 : 5226.15 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.848 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.74 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.848 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.73 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.848 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.848 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.848 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.74 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.848 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: 32950928 kB MemFree: 29835008 kB Buffers: 274440 kB Cached: 403096 kB SwapCached: 10712 kB Active: 2438712 kB Inactive: 406492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29835008 kB SwapTotal: 67111528 kB SwapFree: 52246700 kB Dirty: 5068 kB Writeback: 0 kB AnonPages: 2164500 kB Mapped: 21900 kB Slab: 140168 kB PageTables: 62276 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 108306916 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= 73920 MiB End job on node114 at 2011-06-03 14:03:38