Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 1588.53 | 1588.47 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo |
MD5SUM | af1f4aa986dfaf7d995a788abb35be25 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 526.527 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 961 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 46411 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46410 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 737 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689988-1277900877.wbo. 0.00/0.00 c Instance file HOME/instance-2689988-1277900877.wbo 0.00/0.00 c File size is 88172 bytes. 0.00/0.00 c Highest Coefficient sum: 737 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 102 | 231 2707 8338 | 5500 102 18 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 19 | 0.002 % | 0.00/0.01 c | 479 | 231 2707 8338 | 6655 479 20 | 0.002 % | 0.00/0.02 c | 818 | 231 2707 8338 | 7320 818 20 | 0.002 % | 0.00/0.04 c | 1325 | 231 2707 8338 | 8052 1325 21 | 0.002 % | 0.00/0.06 c | 2085 | 231 2707 8338 | 8857 2085 24 | 0.002 % | 0.09/0.10 c | 3224 | 231 2707 8338 | 9743 3224 26 | 0.002 % | 0.09/0.15 c | 4932 | 231 2707 8338 | 10717 4932 27 | 0.002 % | 0.19/0.27 c | 7495 | 231 2707 8338 | 11789 7495 30 | 0.002 % | 0.39/0.46 c | 11340 | 231 2707 8338 | 12968 11340 31 | 0.002 % | 0.79/0.82 c | 17108 | 231 2707 8338 | 14265 10579 36 | 0.002 % | 1.29/1.36 c | 25758 | 231 2707 8338 | 15692 12048 37 | 0.002 % | 2.29/2.30 c | 38732 | 231 2707 8338 | 17261 9216 40 | 0.002 % | 3.99/4.00 c | 58195 | 231 2707 8338 | 18987 11300 40 | 0.002 % | 6.59/6.63 c | 87388 | 231 2707 8338 | 20886 11860 37 | 0.002 % | 10.29/10.38 c | 131179 | 231 2707 8338 | 22974 13704 36 | 0.002 % | 16.79/16.88 c | 196864 | 231 2707 8338 | 25272 21697 36 | 0.002 % | 27.39/27.43 c | 295390 | 231 2707 8338 | 27799 16721 36 | 0.002 % | 43.29/43.34 c | 443179 | 231 2707 8338 | 30579 24157 37 | 0.002 % | 66.00/66.05 c | 664862 | 210 2707 8338 | 33637 26330 34 | 9.093 % | 68.59/68.67 c =============================================================================== 72.09/72.18 c core #1 72.09/72.18 c ============================[ Search Statistics ]============================== 72.09/72.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 72.09/72.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 72.09/72.18 c =============================================================================== 72.09/72.18 c | 0 | 732 3614 12549 | 5000 0 nan | 0.000 % | 72.29/72.35 c | 100 | 732 3614 12549 | 5500 100 21 | 0.000 % | 72.29/72.35 c | 252 | 732 3614 12549 | 6050 252 30 | 0.000 % | 72.29/72.36 c | 478 | 732 3614 12549 | 6655 478 30 | 0.000 % | 72.29/72.38 c | 818 | 732 3614 12549 | 7320 818 28 | 0.000 % | 72.29/72.39 c | 1324 | 732 3614 12549 | 8052 1324 28 | 0.000 % | 72.39/72.44 c | 2083 | 732 3614 12549 | 8857 2083 28 | 0.000 % | 72.39/72.48 c | 3222 | 732 3614 12549 | 9743 3222 28 | 0.000 % | 72.49/72.55 c | 4933 | 732 3614 12549 | 10717 4933 30 | 0.000 % | 72.60/72.68 c | 7495 | 732 3614 12549 | 11789 7495 31 | 0.000 % | 72.89/72.97 c | 11339 | 732 3614 12549 | 12968 11339 32 | 0.000 % | 73.29/73.38 c | 17106 | 732 3614 12549 | 14265 10571 33 | 0.000 % | 73.99/74.03 c | 25757 | 732 3614 12549 | 15692 12045 35 | 0.000 % | 75.09/75.13 c | 38732 | 732 3614 12549 | 17261 9238 34 | 0.000 % | 76.69/76.74 c | 58196 | 732 3614 12549 | 18987 11319 34 | 0.000 % | 79.50/79.53 c | 87388 | 732 3614 12549 | 20886 11883 39 | 0.000 % | 83.19/83.29 c | 131178 | 732 3614 12549 | 22974 13683 37 | 0.000 % | 89.39/89.43 c | 196865 | 732 3614 12549 | 25272 21651 36 | 0.000 % | 99.29/99.37 c | 295392 | 732 3614 12549 | 27799 15345 37 | 0.000 % | 116.20/116.27 c | 443182 | 731 3614 12549 | 30579 23198 38 | 0.137 % | 129.90/129.98 c =============================================================================== 133.01/133.02 c core #2 133.01/133.02 c ============================[ Search Statistics ]============================== 133.01/133.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 133.01/133.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 133.01/133.02 c =============================================================================== 133.01/133.02 c | 0 | 1226 4480 16587 | 5000 0 nan | 0.000 % | 133.01/133.05 c | 101 | 1226 4480 16587 | 5500 101 21 | 0.000 % | 133.01/133.06 c | 251 | 1226 4480 16587 | 6050 251 22 | 0.000 % | 133.01/133.07 c | 478 | 1226 4480 16587 | 6655 478 27 | 0.000 % | 133.01/133.08 c | 816 | 1226 4480 16587 | 7320 816 28 | 0.000 % | 133.10/133.10 c | 1323 | 1226 4480 16587 | 8052 1323 27 | 0.000 % | 133.10/133.14 c | 2083 | 1226 4480 16587 | 8857 2083 28 | 0.000 % | 133.10/133.18 c | 3223 | 1226 4480 16587 | 9743 3223 29 | 0.000 % | 133.20/133.26 c | 4933 | 1226 4480 16587 | 10717 4933 29 | 0.000 % | 133.29/133.39 c | 7495 | 1226 4480 16587 | 11789 7495 28 | 0.000 % | 133.59/133.65 c | 11339 | 1226 4480 16587 | 12968 11339 30 | 0.000 % | 134.00/134.08 c | 17105 | 1226 4480 16587 | 14265 10584 32 | 0.000 % | 134.69/134.77 c | 25755 | 1226 4480 16587 | 15692 12048 33 | 0.000 % | 135.80/135.83 c | 38729 | 1226 4480 16587 | 17261 9225 33 | 0.000 % | 137.50/137.55 c | 58190 | 1226 4480 16587 | 18987 11329 34 | 0.000 % | 140.29/140.32 c | 87383 | 1226 4480 16587 | 20886 11884 34 | 0.000 % | 144.49/144.52 c | 131173 | 1226 4480 16587 | 22974 13685 33 | 0.000 % | 151.20/151.21 c | 196859 | 1226 4480 16587 | 25272 21684 37 | 0.000 % | 161.29/161.36 c | 295385 | 1226 4480 16587 | 27799 14877 35 | 0.000 % | 177.70/177.80 c | 443174 | 1226 4480 16587 | 30579 23339 37 | 0.000 % | 191.20/191.28 c =============================================================================== 194.50/194.57 c core #3 194.50/194.57 c ============================[ Search Statistics ]============================== 194.50/194.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.50/194.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.50/194.57 c =============================================================================== 194.50/194.57 c | 0 | 1729 5361 20705 | 5000 0 nan | 0.000 % | 194.60/194.61 c | 102 | 1729 5361 20705 | 5500 102 40 | 0.000 % | 194.60/194.62 c | 252 | 1729 5361 20705 | 6050 252 34 | 0.000 % | 194.60/194.63 c | 477 | 1729 5361 20705 | 6655 477 30 | 0.000 % | 194.60/194.64 c | 816 | 1729 5361 20705 | 7320 816 30 | 0.000 % | 194.60/194.67 c | 1323 | 1729 5361 20705 | 8052 1323 29 | 0.000 % | 194.70/194.70 c | 2083 | 1729 5361 20705 | 8857 2083 28 | 0.000 % | 194.70/194.75 c | 3223 | 1729 5361 20705 | 9743 3223 29 | 0.000 % | 194.80/194.84 c | 4931 | 1729 5361 20705 | 10717 4931 29 | 0.000 % | 194.90/194.98 c | 7493 | 1729 5361 20705 | 11789 7493 30 | 0.000 % | 195.20/195.26 c | 11338 | 1729 5361 20705 | 12968 11338 31 | 0.000 % | 195.60/195.66 c | 17105 | 1729 5361 20705 | 14265 10558 31 | 0.000 % | 196.20/196.21 c | 25759 | 1729 5361 20705 | 15692 12034 31 | 0.000 % | 197.30/197.33 c | 38733 | 1729 5361 20705 | 17261 9247 31 | 0.000 % | 198.89/198.95 c | 58194 | 1729 5361 20705 | 18987 11350 34 | 0.000 % | 201.80/201.89 c | 87389 | 1729 5361 20705 | 20886 11921 36 | 0.000 % | 206.20/206.22 c | 131180 | 1729 5361 20705 | 22974 13744 34 | 0.000 % | 213.59/213.61 c | 196864 | 1729 5361 20705 | 25272 21755 37 | 0.000 % | 223.90/223.98 c | 295392 | 1729 5361 20705 | 27799 14175 35 | 0.000 % | 240.50/240.59 c | 443183 | 1729 5361 20705 | 30579 20308 35 | 0.000 % | 263.20/263.28 c | 664866 | 1729 5361 20705 | 33637 23131 34 | 0.000 % | 288.30/288.32 c =============================================================================== 293.40/293.48 c core #4 293.40/293.48 c ============================[ Search Statistics ]============================== 293.40/293.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 293.40/293.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 293.40/293.48 c =============================================================================== 293.40/293.48 c | 0 | 2244 6227 24810 | 5000 0 nan | 0.000 % | 293.50/293.54 c | 102 | 2244 6227 24810 | 5500 102 23 | 0.000 % | 293.50/293.55 c | 252 | 2244 6227 24810 | 6050 252 29 | 0.000 % | 293.50/293.56 c | 479 | 2244 6227 24810 | 6655 479 29 | 0.000 % | 293.50/293.58 c | 820 | 2244 6227 24810 | 7320 820 28 | 0.000 % | 293.61/293.60 c | 1326 | 2244 6227 24810 | 8052 1326 27 | 0.000 % | 293.61/293.65 c | 2087 | 2244 6227 24810 | 8857 2087 28 | 0.000 % | 293.61/293.70 c | 3228 | 2244 6227 24810 | 9743 3228 28 | 0.000 % | 293.71/293.78 c | 4938 | 2244 6227 24810 | 10717 4938 28 | 0.000 % | 293.90/293.92 c | 7500 | 2244 6227 24810 | 11789 7500 29 | 0.000 % | 294.20/294.20 c | 11344 | 2244 6227 24810 | 12968 11344 31 | 0.000 % | 294.61/294.67 c | 17111 | 2244 6227 24810 | 14265 10571 34 | 0.000 % | 295.30/295.32 c | 25760 | 2244 6227 24810 | 15692 12036 31 | 0.000 % | 296.50/296.56 c | 38735 | 2244 6227 24810 | 17261 9215 37 | 0.000 % | 298.51/298.53 c | 58199 | 2244 6227 24810 | 18987 11337 35 | 0.000 % | 301.41/301.46 c | 87391 | 2244 6227 24810 | 20886 11882 36 | 0.000 % | 305.90/305.98 c | 131180 | 2244 6227 24810 | 22974 13706 37 | 0.000 % | 313.11/313.13 c | 196867 | 2244 6227 24810 | 25272 21689 35 | 0.000 % | 324.31/324.31 c | 295394 | 2244 6227 24810 | 27799 15209 38 | 0.000 % | 340.71/340.75 c | 443183 | 2244 6227 24810 | 30579 23546 35 | 0.000 % | 366.90/366.97 c | 664868 | 2244 6227 24810 | 33637 27688 36 | 0.000 % | 382.31/382.34 c =============================================================================== 386.81/386.87 c core #5 386.81/386.87 c ============================[ Search Statistics ]============================== 386.81/386.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 386.81/386.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 386.81/386.87 c =============================================================================== 386.81/386.87 c | 0 | 2735 7088 28830 | 5000 0 nan | 0.000 % | 386.90/386.91 c | 101 | 2735 7088 28830 | 5500 101 25 | 0.000 % | 386.90/386.94 c | 251 | 2735 7088 28830 | 6050 251 19 | 0.000 % | 386.90/386.95 c | 479 | 2735 7088 28830 | 6655 479 24 | 0.000 % | 386.90/386.98 c | 816 | 2735 7088 28830 | 7320 816 26 | 0.000 % | 387.00/387.01 c | 1324 | 2735 7088 28830 | 8052 1324 25 | 0.000 % | 387.00/387.05 c | 2083 | 2735 7088 28830 | 8857 2083 27 | 0.000 % | 387.00/387.10 c | 3223 | 2735 7088 28830 | 9743 3223 26 | 0.000 % | 387.11/387.19 c | 4932 | 2735 7088 28830 | 10717 4932 28 | 0.000 % | 387.41/387.41 c | 7494 | 2735 7088 28830 | 11789 7494 28 | 0.000 % | 387.61/387.67 c | 11339 | 2735 7088 28830 | 12968 11339 29 | 0.000 % | 388.01/388.07 c | 17106 | 2735 7088 28830 | 14265 10572 31 | 0.000 % | 388.81/388.85 c | 25757 | 2735 7088 28830 | 15692 12027 37 | 0.000 % | 390.01/390.01 c | 38732 | 2735 7088 28830 | 17261 9200 35 | 0.000 % | 391.80/391.83 c | 58195 | 2735 7088 28830 | 18987 11276 35 | 0.000 % | 394.61/394.67 c | 87388 | 2735 7088 28830 | 20886 11857 33 | 0.000 % | 399.50/399.53 c | 131178 | 2735 7088 28830 | 22974 13702 37 | 0.000 % | 406.40/406.40 c | 196862 | 2735 7088 28830 | 25272 21651 34 | 0.000 % | 417.50/417.58 c | 295389 | 2735 7088 28830 | 27799 15189 33 | 0.000 % | 433.11/433.18 c | 443178 | 2735 7088 28830 | 30579 20737 35 | 0.000 % | 460.01/460.05 c | 664861 | 2735 7088 28830 | 33637 25667 35 | 0.000 % | 484.02/484.04 c =============================================================================== 488.91/488.94 c core #6 488.91/488.94 c ============================[ Search Statistics ]============================== 488.91/488.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 488.91/488.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 488.91/488.94 c =============================================================================== 488.91/488.94 c | 0 | 3272 7919 32844 | 5000 0 nan | 0.000 % | 489.01/489.00 c | 102 | 3272 7919 32844 | 5500 102 31 | 0.000 % | 489.01/489.01 c | 252 | 3272 7919 32844 | 6050 252 34 | 0.000 % | 489.01/489.03 c | 477 | 3272 7919 32844 | 6655 477 30 | 0.000 % | 489.01/489.05 c | 814 | 3272 7919 32844 | 7320 814 27 | 0.000 % | 489.01/489.09 c | 1320 | 3272 7919 32844 | 8052 1320 28 | 0.000 % | 489.11/489.13 c | 2079 | 3272 7919 32844 | 8857 2079 28 | 0.000 % | 489.11/489.19 c | 3218 | 3272 7919 32844 | 9743 3218 27 | 0.000 % | 489.21/489.27 c | 4928 | 3272 7919 32844 | 10717 4928 28 | 0.000 % | 489.42/489.41 c | 7494 | 3272 7919 32844 | 11789 7494 28 | 0.000 % | 489.61/489.69 c | 11338 | 3272 7919 32844 | 12968 11338 29 | 0.000 % | 490.11/490.13 c | 17104 | 3272 7919 32844 | 14265 10561 31 | 0.000 % | 490.81/490.87 c | 25753 | 3272 7919 32844 | 15692 12027 34 | 0.000 % | 492.21/492.29 c | 38727 | 3272 7919 32844 | 17261 9207 42 | 0.000 % | 494.31/494.37 c | 58188 | 3272 7919 32844 | 18987 11309 36 | 0.000 % | 497.21/497.26 c | 87383 | 3272 7919 32844 | 20886 11849 35 | 0.000 % | 501.81/501.81 c | 131172 | 3272 7919 32844 | 22974 13666 38 | 0.000 % | 509.31/509.31 c | 196856 | 3272 7919 32844 | 25272 21658 36 | 0.000 % | 520.31/520.34 c | 295385 | 3272 7919 32844 | 27799 12732 36 | 0.000 % | 537.21/537.25 c | 443175 | 3272 7919 32844 | 30579 20604 38 | 0.000 % | 564.62/564.67 c | 664858 | 3272 7919 32844 | 33637 25688 39 | 0.000 % | 576.52/576.55 c =============================================================================== 581.31/581.34 c core #7 581.31/581.34 c ============================[ Search Statistics ]============================== 581.31/581.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 581.31/581.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 581.31/581.34 c =============================================================================== 581.31/581.34 c | 0 | 3831 8766 36963 | 5000 0 nan | 0.000 % | 581.41/581.41 c | 100 | 3831 8766 36963 | 5500 100 27 | 0.000 % | 581.41/581.42 c | 250 | 3831 8766 36963 | 6050 250 32 | 0.000 % | 581.41/581.44 c | 476 | 3831 8766 36963 | 6655 476 31 | 0.000 % | 581.41/581.45 c | 814 | 3831 8766 36963 | 7320 814 32 | 0.000 % | 581.41/581.48 c | 1323 | 3831 8766 36963 | 8052 1323 29 | 0.000 % | 581.51/581.53 c | 2082 | 3831 8766 36963 | 8857 2082 29 | 0.000 % | 581.51/581.59 c | 3221 | 3831 8766 36963 | 9743 3221 31 | 0.000 % | 581.61/581.68 c | 4930 | 3831 8766 36963 | 10717 4930 32 | 0.000 % | 581.82/581.83 c | 7495 | 3831 8766 36963 | 11789 7495 31 | 0.000 % | 582.01/582.09 c | 11341 | 3831 8766 36963 | 12968 11341 31 | 0.000 % | 582.51/582.56 c | 17107 | 3831 8766 36963 | 14265 10586 31 | 0.000 % | 583.21/583.24 c | 25756 | 3831 8766 36963 | 15692 12043 34 | 0.000 % | 584.51/584.51 c | 38730 | 3831 8766 36963 | 17261 9233 35 | 0.000 % | 586.51/586.58 c | 58193 | 3831 8766 36963 | 18987 11338 37 | 0.000 % | 589.52/589.52 c | 87386 | 3831 8766 36963 | 20886 11915 37 | 0.000 % | 594.41/594.45 c | 131175 | 3831 8766 36963 | 22974 13732 36 | 0.000 % | 601.62/601.63 c | 196859 | 3831 8766 36963 | 25272 21717 36 | 0.000 % | 613.22/613.28 c | 295386 | 3831 8766 36963 | 27799 14467 37 | 0.000 % | 630.92/630.92 c | 443175 | 3831 8766 36963 | 30579 22394 36 | 0.000 % | 658.42/658.44 c | 664861 | 3831 8766 36963 | 33637 24850 38 | 0.000 % | 702.11/702.14 c | 997387 | 3831 8766 36963 | 37001 22587 36 | 0.000 % | 751.52/751.53 c =============================================================================== 760.22/760.29 c core #8 760.22/760.29 c ============================[ Search Statistics ]============================== 760.22/760.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 760.22/760.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 760.22/760.29 c =============================================================================== 760.22/760.29 c | 0 | 4408 9600 41086 | 5000 0 nan | 0.000 % | 760.32/760.39 c | 101 | 4408 9600 41086 | 5500 101 23 | 0.000 % | 760.42/760.40 c | 252 | 4408 9600 41086 | 6050 252 22 | 0.000 % | 760.42/760.41 c | 477 | 4408 9600 41086 | 6655 477 26 | 0.000 % | 760.42/760.44 c | 816 | 4408 9600 41086 | 7320 816 30 | 0.000 % | 760.42/760.46 c | 1322 | 4408 9600 41086 | 8052 1322 29 | 0.000 % | 760.52/760.52 c | 2082 | 4408 9600 41086 | 8857 2082 29 | 0.000 % | 760.62/760.61 c | 3222 | 4408 9600 41086 | 9743 3222 31 | 0.000 % | 760.72/760.71 c | 4931 | 4408 9600 41086 | 10717 4931 30 | 0.000 % | 760.82/760.88 c | 7493 | 4408 9600 41086 | 11789 7493 30 | 0.000 % | 761.13/761.18 c | 11337 | 4408 9600 41086 | 12968 11337 30 | 0.000 % | 761.62/761.66 c | 17105 | 4408 9600 41086 | 14265 10586 31 | 0.000 % | 762.42/762.41 c | 25756 | 4408 9600 41086 | 15692 12051 35 | 0.000 % | 763.72/763.75 c | 38731 | 4408 9600 41086 | 17261 9236 41 | 0.000 % | 765.92/765.92 c | 58192 | 4408 9600 41086 | 18987 11330 38 | 0.000 % | 769.32/769.30 c | 87385 | 4408 9600 41086 | 20886 11880 35 | 0.000 % | 774.22/774.20 c | 131175 | 4408 9600 41086 | 22974 13721 37 | 0.000 % | 782.42/782.42 c | 196859 | 4408 9600 41086 | 25272 21696 39 | 0.000 % | 794.03/794.01 c | 295385 | 4408 9600 41086 | 27799 16204 38 | 0.000 % | 812.93/812.97 c | 443175 | 4408 9600 41086 | 30579 25039 40 | 0.000 % | 843.63/843.61 c | 664859 | 4408 9600 41086 | 33637 28521 39 | 0.000 % | 889.02/889.05 c | 997384 | 4408 9600 41086 | 37001 25933 37 | 0.000 % | 909.93/909.98 c =============================================================================== 917.43/917.40 c core #9 917.43/917.40 c ============================[ Search Statistics ]============================== 917.43/917.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 917.43/917.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 917.43/917.40 c =============================================================================== 917.43/917.40 c | 0 | 5032 10431 45319 | 5000 0 nan | 0.000 % | 917.53/917.52 c | 101 | 5032 10431 45319 | 5500 101 36 | 0.000 % | 917.53/917.53 c | 251 | 5032 10431 45319 | 6050 251 34 | 0.000 % | 917.53/917.54 c | 476 | 5032 10431 45319 | 6655 476 30 | 0.000 % | 917.53/917.56 c | 815 | 5032 10431 45319 | 7320 815 30 | 0.000 % | 917.63/917.60 c | 1323 | 5032 10431 45319 | 8052 1323 29 | 0.000 % | 917.63/917.66 c | 2082 | 5032 10431 45319 | 8857 2082 29 | 0.000 % | 917.73/917.73 c | 3221 | 5032 10431 45319 | 9743 3221 28 | 0.000 % | 917.83/917.83 c | 4931 | 5032 10431 45319 | 10717 4931 28 | 0.000 % | 918.02/918.00 c | 7493 | 5032 10431 45319 | 11789 7493 29 | 0.000 % | 918.33/918.32 c | 11337 | 5032 10431 45319 | 12968 11337 30 | 0.000 % | 918.72/918.77 c | 17103 | 5032 10431 45319 | 14265 10560 31 | 0.000 % | 919.53/919.57 c | 25752 | 5032 10431 45319 | 15692 12016 36 | 0.000 % | 920.73/920.79 c | 38726 | 5032 10431 45319 | 17261 9185 32 | 0.000 % | 922.63/922.66 c | 58189 | 5032 10431 45319 | 18987 11286 34 | 0.000 % | 925.63/925.69 c | 87383 | 5032 10431 45319 | 20886 11845 34 | 0.000 % | 930.33/930.32 c | 131172 | 5032 10431 45319 | 22974 13666 36 | 0.000 % | 937.93/937.91 c | 196856 | 5032 10431 45319 | 25272 21500 38 | 0.000 % | 951.12/951.14 c | 295384 | 5032 10431 45319 | 27799 15448 37 | 0.000 % | 970.92/970.93 c | 443174 | 5032 10431 45319 | 30579 25364 37 | 0.000 % | 998.93/998.95 c | 664857 | 5032 10431 45319 | 33637 30182 36 | 0.000 % | 1045.24/1045.28 c | 997383 | 5032 10431 45319 | 37001 30667 40 | 0.000 % | 1079.14/1079.17 c =============================================================================== 1087.63/1087.64 c core #10 1087.63/1087.64 c ============================[ Search Statistics ]============================== 1087.63/1087.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1087.63/1087.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1087.63/1087.64 c =============================================================================== 1087.63/1087.64 c | 0 | 5723 11241 49628 | 5000 0 nan | 0.000 % | 1087.74/1087.77 c | 102 | 5723 11241 49628 | 5500 102 41 | 0.000 % | 1087.74/1087.78 c | 252 | 5723 11241 49628 | 6050 252 36 | 0.000 % | 1087.74/1087.79 c | 477 | 5723 11241 49628 | 6655 477 34 | 0.000 % | 1087.84/1087.82 c | 815 | 5723 11241 49628 | 7320 815 33 | 0.000 % | 1087.84/1087.86 c | 1321 | 5723 11241 49628 | 8052 1321 32 | 0.000 % | 1087.94/1087.93 c | 2081 | 5723 11241 49628 | 8857 2081 31 | 0.000 % | 1088.04/1088.00 c | 3222 | 5723 11241 49628 | 9743 3222 33 | 0.000 % | 1088.14/1088.10 c | 4932 | 5723 11241 49628 | 10717 4932 34 | 0.000 % | 1088.33/1088.32 c | 7495 | 5723 11241 49628 | 11789 7495 35 | 0.000 % | 1088.64/1088.69 c | 11340 | 5723 11241 49628 | 12968 11340 36 | 0.000 % | 1089.34/1089.33 c | 17107 | 5723 11241 49628 | 14265 10577 37 | 0.000 % | 1090.23/1090.25 c | 25758 | 5723 11241 49628 | 15692 12035 39 | 0.000 % | 1091.73/1091.77 c | 38733 | 5723 11241 49628 | 17261 9205 44 | 0.000 % | 1093.93/1093.95 c | 58194 | 5723 11241 49628 | 18987 11290 43 | 0.000 % | 1097.63/1097.61 c | 87386 | 5723 11241 49628 | 20886 11850 45 | 0.000 % | 1103.53/1103.55 c | 131175 | 5723 11241 49628 | 22974 13658 44 | 0.000 % | 1112.14/1112.18 c | 196859 | 5723 11241 49628 | 25272 21631 46 | 0.000 % | 1126.34/1126.31 c | 295386 | 5723 11241 49628 | 27799 15306 43 | 0.000 % | 1145.74/1145.78 c | 443178 | 5723 11241 49628 | 30579 23448 39 | 0.000 % | 1177.74/1177.74 c | 664861 | 5723 11241 49628 | 33637 28315 41 | 0.000 % | 1220.84/1220.87 c | 997387 | 5723 11241 49628 | 37001 18247 37 | 0.000 % | 1265.54/1265.53 c =============================================================================== 1274.34/1274.36 c core #11 1274.34/1274.36 c ============================[ Search Statistics ]============================== 1274.34/1274.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1274.34/1274.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1274.34/1274.36 c =============================================================================== 1274.34/1274.36 c | 0 | 6474 12070 54161 | 5000 0 nan | 0.000 % | 1274.44/1274.48 c | 103 | 6474 12070 54161 | 5500 103 26 | 0.000 % | 1274.44/1274.49 c | 254 | 6474 12070 54161 | 6050 254 25 | 0.000 % | 1274.54/1274.53 c | 479 | 6474 12070 54161 | 6655 479 26 | 0.000 % | 1274.54/1274.56 c | 820 | 6474 12070 54161 | 7320 820 30 | 0.000 % | 1274.64/1274.60 c | 1326 | 6474 12070 54161 | 8052 1326 32 | 0.000 % | 1274.64/1274.66 c | 2085 | 6474 12070 54161 | 8857 2085 30 | 0.000 % | 1274.74/1274.71 c | 3224 | 6474 12070 54161 | 9743 3224 29 | 0.000 % | 1274.84/1274.82 c | 4934 | 6474 12070 54161 | 10717 4934 31 | 0.000 % | 1275.04/1275.00 c | 7497 | 6474 12070 54161 | 11789 7497 30 | 0.000 % | 1275.24/1275.29 c | 11341 | 6474 12070 54161 | 12968 11341 31 | 0.000 % | 1275.74/1275.79 c | 17107 | 6474 12070 54161 | 14265 10578 33 | 0.000 % | 1276.64/1276.60 c | 25757 | 6474 12070 54161 | 15692 12037 37 | 0.000 % | 1277.94/1277.96 c | 38731 | 6474 12070 54161 | 17261 9215 39 | 0.000 % | 1280.14/1280.18 c | 58192 | 6474 12070 54161 | 18987 11342 37 | 0.000 % | 1283.24/1283.21 c | 87384 | 6474 12070 54161 | 20886 11876 34 | 0.000 % | 1288.24/1288.25 c | 131174 | 6474 12070 54161 | 22974 13685 37 | 0.000 % | 1296.04/1296.03 c | 196860 | 6474 12070 54161 | 25272 21693 39 | 0.000 % | 1307.85/1307.87 c | 295386 | 6474 12070 54161 | 27799 13863 39 | 0.000 % | 1326.44/1326.50 c | 443176 | 6474 12070 54161 | 30579 20379 40 | 0.000 % | 1354.15/1354.19 c | 664860 | 6474 12070 54161 | 33637 23263 36 | 0.000 % | 1394.86/1394.81 c | 997386 | 6474 12070 54161 | 37001 16251 36 | 0.000 % | 1456.94/1456.96 c | 1496174 | 6474 12070 54161 | 40701 27681 38 | 0.000 % | 1489.94/1489.91 c =============================================================================== 1500.25/1500.24 c core #12 1500.25/1500.24 c ============================[ Search Statistics ]============================== 1500.25/1500.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1500.25/1500.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1500.25/1500.24 c =============================================================================== 1500.25/1500.24 c | 0 | 7258 12870 58647 | 5000 0 nan | 0.000 % | 1500.45/1500.40 c | 100 | 7258 12870 58647 | 5500 100 37 | 0.000 % | 1500.45/1500.43 c | 251 | 7258 12870 58647 | 6050 251 37 | 0.000 % | 1500.45/1500.45 c | 477 | 7258 12870 58647 | 6655 477 35 | 0.000 % | 1500.45/1500.49 c | 814 | 7258 12870 58647 | 7320 814 32 | 0.000 % | 1500.55/1500.53 c | 1322 | 7258 12870 58647 | 8052 1322 31 | 0.000 % | 1500.65/1500.60 c | 2081 | 7258 12870 58647 | 8857 2081 31 | 0.000 % | 1500.65/1500.67 c | 3220 | 7258 12870 58647 | 9743 3220 30 | 0.000 % | 1500.75/1500.78 c | 4930 | 7258 12870 58647 | 10717 4930 31 | 0.000 % | 1500.95/1500.97 c | 7495 | 7258 12870 58647 | 11789 7495 31 | 0.000 % | 1501.35/1501.32 c | 11339 | 7258 12870 58647 | 12968 11339 31 | 0.000 % | 1501.85/1501.83 c | 17105 | 7258 12870 58647 | 14265 10579 35 | 0.000 % | 1502.75/1502.72 c | 25754 | 7258 12870 58647 | 15692 12045 39 | 0.000 % | 1504.15/1504.13 c | 38729 | 7258 12870 58647 | 17261 9216 35 | 0.000 % | 1506.05/1506.06 c | 58192 | 7258 12870 58647 | 18987 11295 36 | 0.000 % | 1509.65/1509.62 c | 87384 | 7258 12870 58647 | 20886 11875 40 | 0.000 % | 1515.25/1515.21 c | 131176 | 7258 12870 58647 | 22974 13682 41 | 0.000 % | 1523.56/1523.55 c | 196861 | 7258 12870 58647 | 25272 21673 42 | 0.000 % | 1537.55/1537.51 c | 295391 | 7258 12870 58647 | 27799 13506 39 | 0.000 % | 1560.85/1560.90 c | 443181 | 7258 12870 58647 | 30579 16935 37 | 0.000 % | 1588.36/1588.39 c =============================================================================== 1588.36/1588.39 c #cores: 12 1588.36/1588.39 c Final Weight: 12 1588.36/1588.39 o 12 1588.36/1588.39 s OPTIMUM FOUND 1588.36/1588.39 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 1588.36/1588.39 c Total CPU time: 1571.14 s
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689988-1277900877/watcher-2689988-1277900877 -o /tmp/evaluation-result-2689988-1277900877/solver-2689988-1277900877 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689988-1277900877.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.01 2.00 4/196 11622 /proc/meminfo: memFree=31542748/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=2808 CPUtime=0 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 311 0 0 0 0 0 0 0 25 0 1 0 131233309 2875392 230 4089446400 134512640 135751879 4292210096 18446744073709551615 134638015 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 702 231 147 303 0 375 0 [startup+0.067464 s] /proc/loadavg: 2.06 2.01 2.00 4/196 11622 /proc/meminfo: memFree=31542748/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=3248 CPUtime=0.06 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 467 0 0 0 6 0 0 0 25 0 1 0 131233309 3325952 364 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 812 364 143 303 0 507 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3248 [startup+0.100493 s] /proc/loadavg: 2.06 2.01 2.00 4/196 11622 /proc/meminfo: memFree=31542748/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=3380 CPUtime=0.09 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 527 0 0 0 9 0 0 0 25 0 1 0 131233309 3461120 424 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 845 424 143 303 0 540 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3380 [startup+0.300415 s] /proc/loadavg: 2.06 2.01 2.00 4/196 11622 /proc/meminfo: memFree=31542748/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=4700 CPUtime=0.29 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 842 0 0 0 28 1 0 0 25 0 1 0 131233309 4812800 739 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 1175 739 143 303 0 870 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4700 [startup+0.70034 s] /proc/loadavg: 2.06 2.01 2.00 4/196 11622 /proc/meminfo: memFree=31542748/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=6580 CPUtime=0.69 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 1319 0 0 0 68 1 0 0 25 0 1 0 131233309 6737920 1216 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 1645 1216 143 303 0 1340 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6580 [startup+1.50024 s] /proc/loadavg: 2.05 2.01 2.00 3/197 11623 /proc/meminfo: memFree=31536416/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=10012 CPUtime=1.49 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 2161 0 0 0 146 3 0 0 25 0 1 0 131233309 10252288 2058 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 2503 2059 143 303 0 2198 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10012 [startup+3.10094 s] /proc/loadavg: 2.05 2.01 2.00 3/197 11624 /proc/meminfo: memFree=31530668/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=15828 CPUtime=3.09 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 3607 0 0 0 304 5 0 0 25 0 1 0 131233309 16207872 3504 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 3957 3504 143 303 0 3652 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15828 [startup+6.30033 s] /proc/loadavg: 2.05 2.01 2.00 3/197 11624 /proc/meminfo: memFree=31515292/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=25880 CPUtime=6.29 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 6112 0 0 0 619 10 0 0 25 0 1 0 131233309 26501120 6009 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 6470 6009 143 303 0 6165 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25880 [startup+12.701 s] /proc/loadavg: 2.41 2.09 2.03 3/197 11624 /proc/meminfo: memFree=31492844/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=44112 CPUtime=12.69 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 10675 0 0 0 1248 21 0 0 25 0 1 0 131233309 45170688 10572 4089446400 134512640 135751879 4292210096 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 11028 10572 143 303 0 10723 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44112 [startup+25.5007 s] /proc/loadavg: 2.35 2.09 2.03 3/197 11624 /proc/meminfo: memFree=31454576/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=76884 CPUtime=25.49 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 18878 0 0 0 2512 37 0 0 25 0 1 0 131233309 78729216 18775 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 19221 18775 143 303 0 18916 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 76884 [startup+51.1007 s] /proc/loadavg: 2.21 2.08 2.02 3/197 11625 /proc/meminfo: memFree=31388576/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=139932 CPUtime=51.09 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 34613 0 0 0 5039 70 0 0 25 0 1 0 131233309 143290368 34510 4089446400 134512640 135751879 4292210096 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 34983 34510 143 303 0 34678 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 139932 [startup+102.307 s] /proc/loadavg: 2.13 2.08 2.03 3/197 11626 /proc/meminfo: memFree=31303220/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=223428 CPUtime=102.3 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 55558 0 0 0 10090 140 0 0 25 0 1 0 131233309 228790272 55422 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 55857 55422 146 303 0 55552 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 223428 [startup+162.3 s] /proc/loadavg: 2.05 2.06 2.02 3/197 11628 /proc/meminfo: memFree=31203360/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=309232 CPUtime=162.29 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 77013 0 0 0 16014 215 0 0 25 0 1 0 131233309 316653568 76877 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 77308 76877 146 303 0 77003 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 309232 [startup+222.301 s] /proc/loadavg: 2.02 2.05 2.01 3/197 11629 /proc/meminfo: memFree=31087260/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=401072 CPUtime=222.3 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 99965 0 0 0 21941 289 0 0 25 0 1 0 131233309 410697728 99829 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 100268 99829 146 303 0 99963 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 401072 [startup+282.3 s] /proc/loadavg: 2.00 2.04 2.01 3/197 11631 /proc/meminfo: memFree=30934192/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=529924 CPUtime=282.3 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 132167 0 0 0 27867 363 0 0 25 0 1 0 131233309 542642176 132031 4089446400 134512640 135751879 4292210096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 132481 132031 146 303 0 132176 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 529924 [startup+342.301 s] /proc/loadavg: 2.00 2.03 2.00 3/197 11632 /proc/meminfo: memFree=30834808/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=597056 CPUtime=342.31 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 148966 0 0 0 33798 433 0 0 25 0 1 0 131233309 611385344 148830 4089446400 134512640 135751879 4292210096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 149264 148830 146 303 0 148959 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 597056 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 11634 /proc/meminfo: memFree=30715120/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=692172 CPUtime=402.3 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 172749 0 0 0 39725 505 0 0 25 0 1 0 131233309 708784128 172613 4089446400 134512640 135751879 4292210096 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 173043 172613 146 303 0 172738 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 692172 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 11636 /proc/meminfo: memFree=30617360/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=770820 CPUtime=462.31 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 192387 0 0 0 45655 576 0 0 25 0 1 0 131233309 789319680 192251 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 192705 192251 146 303 0 192400 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 770820 [startup+522.3 s] /proc/loadavg: 2.04 2.03 2.00 3/197 11637 /proc/meminfo: memFree=30511800/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=854996 CPUtime=522.31 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 213418 0 0 0 51590 641 0 0 25 0 1 0 131233309 875515904 213282 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 213749 213282 146 303 0 213444 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 854996 [startup+582.301 s] /proc/loadavg: 2.01 2.02 2.00 3/197 11639 /proc/meminfo: memFree=30375104/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=964936 CPUtime=582.31 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 240900 0 0 0 57528 703 0 0 25 0 1 0 131233309 988094464 240764 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 241234 240764 146 303 0 240929 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 964936 [startup+642.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 11640 /proc/meminfo: memFree=30291736/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=1019540 CPUtime=642.32 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 254559 0 0 0 63456 776 0 0 25 0 1 0 131233309 1044008960 254423 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 254885 254423 146 303 0 254580 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1019540 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=29644552/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=1516364 CPUtime=1002.33 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 378746 0 0 0 99088 1145 0 0 25 0 1 0 131233309 1552756736 378610 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 379091 378610 146 303 0 378786 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1516364 [startup+1062.3 s] /proc/loadavg: 2.21 2.15 2.06 3/197 11652 /proc/meminfo: memFree=29521276/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=1615868 CPUtime=1062.33 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 403633 0 0 0 105026 1207 0 0 25 0 1 0 131233309 1654648832 403497 4089446400 134512640 135751879 4292210096 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 403967 403497 146 303 0 403662 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1615868 [startup+1122.3 s] /proc/loadavg: 2.45 2.22 2.09 3/197 11653 /proc/meminfo: memFree=29419296/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=1686292 CPUtime=1122.33 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 421276 0 0 0 110976 1257 0 0 25 0 1 0 131233309 1726763008 421140 4089446400 134512640 135751879 4292210096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 421573 421140 146 303 0 421268 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1686292 [startup+1182.3 s] /proc/loadavg: 2.16 2.17 2.08 3/197 11655 /proc/meminfo: memFree=29312376/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=1754496 CPUtime=1182.34 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 438308 0 0 0 116915 1319 0 0 25 0 1 0 131233309 1796603904 438172 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 438624 438172 146 303 0 438319 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 1754496 [startup+1242.3 s] /proc/loadavg: 2.06 2.14 2.07 3/197 11656 /proc/meminfo: memFree=29194800/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=1847368 CPUtime=1242.34 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 461502 0 0 0 122853 1381 0 0 25 0 1 0 131233309 1891704832 461366 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 461842 461366 146 303 0 461537 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 1847368 [startup+1302.3 s] /proc/loadavg: 2.02 2.11 2.07 7/197 11658 /proc/meminfo: memFree=29105568/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=1927716 CPUtime=1302.35 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 481610 0 0 0 128800 1435 0 0 25 0 1 0 131233309 1973981184 481474 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 481929 481474 146 303 0 481624 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 1927716 [startup+1362.3 s] /proc/loadavg: 2.01 2.09 2.06 3/197 11660 /proc/meminfo: memFree=29037452/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=1996860 CPUtime=1362.34 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 498868 0 0 0 134733 1501 0 0 25 0 1 0 131233309 2044784640 498732 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 499215 498732 146 303 0 498910 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1996860 [startup+1422.31 s] /proc/loadavg: 2.00 2.07 2.06 3/197 11661 /proc/meminfo: memFree=28931256/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=2101556 CPUtime=1422.35 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 525018 0 0 0 140664 1571 0 0 25 0 1 0 131233309 2151993344 524882 4089446400 134512640 135751879 4292210096 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 525389 524882 146 303 0 525084 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 2101556 [startup+1482.3 s] /proc/loadavg: 1.94 2.04 2.05 3/179 11693 /proc/meminfo: memFree=29612948/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=2222332 CPUtime=1482.34 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 555201 0 0 0 146596 1638 0 0 25 0 1 0 131233309 2275667968 555065 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 555583 555065 146 303 0 555278 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 2222332 [startup+1542.3 s] /proc/loadavg: 1.97 2.03 2.04 3/179 11694 /proc/meminfo: memFree=29546840/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=2287092 CPUtime=1542.35 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 571479 0 0 0 152550 1685 0 0 25 0 1 0 131233309 2341982208 571305 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 571773 571305 146 303 0 571468 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 2287092 Solver just ended. Dumping a history of the last processes samples [startup+1561.5 s] /proc/loadavg: 1.98 2.03 2.04 3/179 11695 /proc/meminfo: memFree=29535176/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=2299692 CPUtime=1561.56 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 574630 0 0 0 154455 1701 0 0 25 0 1 0 131233309 2354884608 574456 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 574923 574456 146 303 0 574618 0 Current children cumulated CPU time (s) 1561.56 Current children cumulated vsize (KiB) 2299692 [startup+1574.3 s] /proc/loadavg: 1.98 2.02 2.04 3/179 11695 /proc/meminfo: memFree=29518680/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=2315428 CPUtime=1574.36 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 578571 0 0 0 155718 1718 0 0 25 0 1 0 131233309 2370998272 578397 4089446400 134512640 135751879 4292210096 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 578857 578397 146 303 0 578552 0 Current children cumulated CPU time (s) 1574.36 Current children cumulated vsize (KiB) 2315428 [startup+1580.71 s] /proc/loadavg: 1.99 2.02 2.04 3/179 11696 /proc/meminfo: memFree=29511108/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=2322828 CPUtime=1580.75 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 580416 0 0 0 156353 1722 0 0 25 0 1 0 131233309 2378575872 580242 4089446400 134512640 135751879 4292210096 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 580707 580242 146 303 0 580402 0 Current children cumulated CPU time (s) 1580.75 Current children cumulated vsize (KiB) 2322828 [startup+1583.9 s] /proc/loadavg: 1.99 2.02 2.04 3/179 11696 /proc/meminfo: memFree=29506768/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=2326920 CPUtime=1583.95 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 581416 0 0 0 156669 1726 0 0 25 0 1 0 131233309 2382766080 581242 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 581730 581242 146 303 0 581425 0 Current children cumulated CPU time (s) 1583.95 Current children cumulated vsize (KiB) 2326920 [startup+1585.5 s] /proc/loadavg: 1.99 2.02 2.04 3/179 11696 /proc/meminfo: memFree=29505652/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=2328648 CPUtime=1585.55 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 581841 0 0 0 156827 1728 0 0 25 0 1 0 131233309 2384535552 581667 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 582162 581667 146 303 0 581857 0 Current children cumulated CPU time (s) 1585.55 Current children cumulated vsize (KiB) 2328648 [startup+1587.1 s] /proc/loadavg: 1.99 2.02 2.04 3/179 11696 /proc/meminfo: memFree=29504164/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=2330512 CPUtime=1587.15 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 582313 0 0 0 156985 1730 0 0 25 0 1 0 131233309 2386444288 582139 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 582628 582139 146 303 0 582323 0 Current children cumulated CPU time (s) 1587.15 Current children cumulated vsize (KiB) 2330512 [startup+1587.9 s] /proc/loadavg: 1.99 2.02 2.04 3/179 11696 /proc/meminfo: memFree=29503048/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=2331436 CPUtime=1587.96 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 582560 0 0 0 157065 1731 0 0 25 0 1 0 131233309 2387390464 582386 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 582859 582386 146 303 0 582554 0 Current children cumulated CPU time (s) 1587.96 Current children cumulated vsize (KiB) 2331436 [startup+1588.3 s] /proc/loadavg: 1.99 2.02 2.04 3/179 11696 /proc/meminfo: memFree=29501684/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=2331964 CPUtime=1588.36 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 582687 0 0 0 157105 1731 0 0 25 0 1 0 131233309 2387931136 582513 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11622/statm: 582991 582513 146 303 0 582686 0 Current children cumulated CPU time (s) 1588.36 Current children cumulated vsize (KiB) 2331964 [startup+1588.41 s] /proc/loadavg: 1.99 2.02 2.04 3/179 11696 /proc/meminfo: memFree=29501684/32950928 swapFree=67111528/67111528 [pid=11622] ppid=11620 vsize=0 CPUtime=1588.46 /proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202500 582716 0 0 0 157114 1732 0 0 25 0 1 0 131233309 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0 /proc/11622/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1588.46 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1588.47 CPU time (s): 1588.53 CPU user time (s): 1571.14 CPU system time (s): 17.3894 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 2331964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1571.14 system time used= 17.3894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 582716 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= 5 involuntary context switches= 5028 runsolver used 2.83857 second user time and 5.49216 second system time The end
Begin job on node127 at 2010-06-30 14:27:57 IDJOB=2689988 IDBENCH=78886 IDSOLVER=1200 FILE ID=node127/2689988-1277900877 PBS_JOBID= 11197209 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689988-1277900877/watcher-2689988-1277900877 -o /tmp/evaluation-result-2689988-1277900877/solver-2689988-1277900877 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689988-1277900877.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= af1f4aa986dfaf7d995a788abb35be25 RANDOM SEED=543453105 node127.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.828 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.65 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.828 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.828 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.828 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.72 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.828 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.74 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.828 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.828 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.82 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.828 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31543276 kB Buffers: 185656 kB Cached: 710932 kB SwapCached: 0 kB Active: 783072 kB Inactive: 485840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31543276 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2776 kB Writeback: 0 kB AnonPages: 372352 kB Mapped: 20276 kB Slab: 76540 kB PageTables: 5348 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1657492 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= 74204 MiB End job on node127 at 2010-06-30 14:54:25