Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.13 | 1800.09 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo |
MD5SUM | 404f4a35cd4ec5708f20e119eb7d26f2 |
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 | 16 |
Best CPU time to get the best result obtained on this benchmark | 640.218 |
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 | 899 |
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 | 46330 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46329 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 749 |
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-2690137-1277909454.wbo. 0.00/0.00 c Instance file HOME/instance-2690137-1277909454.wbo 0.00/0.00 c File size is 87876 bytes. 0.00/0.00 c Highest Coefficient sum: 749 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 | 101 | 231 2707 8338 | 5500 101 26 | 0.002 % | 0.00/0.01 c | 253 | 231 2707 8338 | 6050 253 25 | 0.002 % | 0.00/0.01 c | 478 | 231 2707 8338 | 6655 478 29 | 0.002 % | 0.00/0.02 c | 815 | 231 2707 8338 | 7320 815 29 | 0.002 % | 0.00/0.04 c | 1323 | 231 2707 8338 | 8052 1323 30 | 0.002 % | 0.00/0.06 c | 2082 | 231 2707 8338 | 8857 2082 28 | 0.002 % | 0.06/0.10 c | 3221 | 231 2707 8338 | 9743 3221 29 | 0.002 % | 0.09/0.16 c | 4929 | 231 2707 8338 | 10717 4929 30 | 0.002 % | 0.19/0.27 c | 7491 | 231 2707 8338 | 11789 7491 30 | 0.002 % | 0.39/0.46 c | 11336 | 231 2707 8338 | 12968 11336 29 | 0.002 % | 0.69/0.77 c | 17102 | 231 2707 8338 | 14265 10553 30 | 0.002 % | 1.19/1.28 c | 25752 | 231 2707 8338 | 15692 12028 32 | 0.002 % | 2.10/2.14 c | 38730 | 231 2707 8338 | 17261 9229 34 | 0.002 % | 3.49/3.58 c | 58191 | 231 2707 8338 | 18987 11329 36 | 0.002 % | 5.69/5.78 c | 87383 | 231 2707 8338 | 20886 11892 32 | 0.002 % | 9.19/9.26 c | 131172 | 231 2707 8338 | 22974 13671 37 | 0.002 % | 15.09/15.18 c | 196856 | 231 2707 8338 | 25272 21670 40 | 0.002 % | 24.39/24.48 c | 295383 | 231 2707 8338 | 27799 14552 38 | 0.002 % | 39.80/39.83 c | 443173 | 230 2707 8338 | 30579 19436 38 | 0.435 % | 44.60/44.60 c =============================================================================== 46.89/46.91 c core #1 46.89/46.91 c ============================[ Search Statistics ]============================== 46.89/46.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.89/46.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.89/46.91 c =============================================================================== 46.89/46.91 c | 0 | 687 3557 12318 | 5000 0 nan | 0.000 % | 46.99/47.02 c | 101 | 687 3557 12318 | 5500 101 18 | 0.000 % | 46.99/47.03 c | 251 | 687 3557 12318 | 6050 251 22 | 0.000 % | 46.99/47.04 c | 476 | 687 3557 12318 | 6655 476 24 | 0.000 % | 46.99/47.05 c | 814 | 687 3557 12318 | 7320 814 24 | 0.000 % | 46.99/47.07 c | 1320 | 687 3557 12318 | 8052 1320 25 | 0.000 % | 47.09/47.10 c | 2082 | 687 3557 12318 | 8857 2082 26 | 0.000 % | 47.09/47.14 c | 3221 | 687 3557 12318 | 9743 3221 26 | 0.000 % | 47.20/47.21 c | 4933 | 687 3557 12318 | 10717 4933 27 | 0.000 % | 47.30/47.33 c | 7496 | 687 3557 12318 | 11789 7496 28 | 0.000 % | 47.49/47.55 c | 11341 | 687 3557 12318 | 12968 11341 30 | 0.000 % | 47.89/47.95 c | 17108 | 687 3557 12318 | 14265 10565 34 | 0.000 % | 48.59/48.62 c | 25757 | 687 3557 12318 | 15692 12031 33 | 0.000 % | 49.59/49.69 c | 38731 | 687 3557 12318 | 17261 9199 36 | 0.000 % | 51.29/51.35 c | 58194 | 687 3557 12318 | 18987 11279 37 | 0.000 % | 53.90/53.97 c | 87386 | 687 3557 12318 | 20886 11828 33 | 0.000 % | 57.89/57.95 c | 131176 | 687 3557 12318 | 22974 13648 35 | 0.000 % | 64.40/64.48 c | 196860 | 687 3557 12318 | 25272 21563 36 | 0.000 % | 75.69/75.71 c | 295386 | 687 3557 12318 | 27799 15731 35 | 0.000 % | 90.79/90.89 c | 443176 | 687 3557 12318 | 30579 25883 38 | 0.005 % | 94.30/94.34 c =============================================================================== 96.89/96.96 c core #2 96.89/96.96 c ============================[ Search Statistics ]============================== 96.89/96.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.89/96.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.89/96.96 c =============================================================================== 96.89/96.96 c | 0 | 1142 4402 16280 | 5000 0 nan | 0.000 % | 96.89/96.99 c | 101 | 1142 4402 16280 | 5500 101 25 | 0.000 % | 96.99/97.00 c | 251 | 1142 4402 16280 | 6050 251 24 | 0.000 % | 96.99/97.01 c | 479 | 1142 4402 16280 | 6655 479 28 | 0.000 % | 96.99/97.02 c | 817 | 1142 4402 16280 | 7320 817 29 | 0.000 % | 96.99/97.04 c | 1323 | 1142 4402 16280 | 8052 1323 30 | 0.000 % | 96.99/97.08 c | 2082 | 1142 4402 16280 | 8857 2082 30 | 0.000 % | 97.09/97.12 c | 3224 | 1142 4402 16280 | 9743 3224 30 | 0.000 % | 97.19/97.20 c | 4932 | 1142 4402 16280 | 10717 4932 30 | 0.000 % | 97.29/97.35 c | 7495 | 1142 4402 16280 | 11789 7495 30 | 0.000 % | 97.49/97.60 c | 11340 | 1142 4402 16280 | 12968 11340 31 | 0.000 % | 97.99/98.02 c | 17107 | 1142 4402 16280 | 14265 10564 33 | 0.000 % | 98.60/98.68 c | 25759 | 1142 4402 16280 | 15692 12033 33 | 0.000 % | 99.79/99.83 c | 38733 | 1142 4402 16280 | 17261 9240 36 | 0.000 % | 101.70/101.76 c | 58197 | 1142 4402 16280 | 18987 11355 38 | 0.000 % | 104.29/104.38 c | 87389 | 1142 4402 16280 | 20886 11928 34 | 0.000 % | 108.49/108.53 c | 131179 | 1142 4402 16280 | 22974 13757 34 | 0.000 % | 115.50/115.51 c | 196863 | 1142 4402 16280 | 25272 21764 39 | 0.000 % | 126.40/126.50 c | 295389 | 1142 4402 16280 | 27799 12551 38 | 0.000 % | 142.60/142.67 c | 443179 | 1142 4402 16280 | 30579 20092 37 | 0.000 % | 168.00/168.06 c | 664863 | 1142 4402 16280 | 33637 26440 38 | 0.000 % | 183.09/183.13 c =============================================================================== 187.50/187.50 c core #3 187.50/187.50 c ============================[ Search Statistics ]============================== 187.50/187.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.50/187.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.50/187.50 c =============================================================================== 187.50/187.50 c | 0 | 1595 5231 20188 | 5000 0 nan | 0.000 % | 187.50/187.52 c | 100 | 1595 5231 20188 | 5500 100 23 | 0.000 % | 187.50/187.55 c | 250 | 1595 5231 20188 | 6050 250 26 | 0.000 % | 187.50/187.56 c | 479 | 1595 5231 20188 | 6655 479 26 | 0.000 % | 187.50/187.57 c | 817 | 1595 5231 20188 | 7320 817 25 | 0.000 % | 187.60/187.60 c | 1324 | 1595 5231 20188 | 8052 1324 28 | 0.000 % | 187.60/187.64 c | 2083 | 1595 5231 20188 | 8857 2083 31 | 0.000 % | 187.69/187.71 c | 3222 | 1595 5231 20188 | 9743 3222 34 | 0.000 % | 187.80/187.80 c | 4930 | 1595 5231 20188 | 10717 4930 35 | 0.000 % | 187.89/187.96 c | 7496 | 1595 5231 20188 | 11789 7496 34 | 0.000 % | 188.19/188.22 c | 11341 | 1595 5231 20188 | 12968 11341 35 | 0.000 % | 188.60/188.65 c | 17108 | 1595 5231 20188 | 14265 10569 35 | 0.000 % | 189.30/189.33 c | 25759 | 1595 5231 20188 | 15692 12036 36 | 0.000 % | 190.59/190.63 c | 38734 | 1595 5231 20188 | 17261 9222 38 | 0.000 % | 192.30/192.35 c | 58195 | 1595 5231 20188 | 18987 11325 35 | 0.000 % | 194.99/195.01 c | 87390 | 1595 5231 20188 | 20886 11879 37 | 0.000 % | 199.30/199.38 c | 131179 | 1595 5231 20188 | 22974 13664 35 | 0.000 % | 206.50/206.57 c | 196866 | 1595 5231 20188 | 25272 21668 37 | 0.000 % | 217.20/217.22 c | 295395 | 1595 5231 20188 | 27799 16427 37 | 0.000 % | 234.40/234.43 c | 443184 | 1595 5231 20188 | 30579 27879 39 | 0.000 % | 257.00/257.00 c =============================================================================== 260.70/260.72 c core #4 260.70/260.72 c ============================[ Search Statistics ]============================== 260.70/260.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 260.70/260.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 260.70/260.72 c =============================================================================== 260.70/260.72 c | 0 | 2051 6057 24086 | 5000 0 nan | 0.000 % | 260.70/260.77 c | 103 | 2051 6057 24086 | 5500 103 21 | 0.000 % | 260.70/260.78 c | 253 | 2051 6057 24086 | 6050 253 29 | 0.000 % | 260.70/260.79 c | 481 | 2051 6057 24086 | 6655 481 31 | 0.000 % | 260.80/260.81 c | 818 | 2051 6057 24086 | 7320 818 32 | 0.000 % | 260.80/260.83 c | 1324 | 2051 6057 24086 | 8052 1324 32 | 0.000 % | 260.80/260.87 c | 2084 | 2051 6057 24086 | 8857 2084 32 | 0.000 % | 260.90/260.93 c | 3226 | 2051 6057 24086 | 9743 3226 32 | 0.000 % | 260.99/261.01 c | 4939 | 2051 6057 24086 | 10717 4939 31 | 0.000 % | 261.10/261.19 c | 7502 | 2051 6057 24086 | 11789 7502 33 | 0.000 % | 261.40/261.47 c | 11348 | 2051 6057 24086 | 12968 11348 33 | 0.000 % | 261.90/261.91 c | 17115 | 2051 6057 24086 | 14265 10593 33 | 0.000 % | 262.49/262.58 c | 25764 | 2051 6057 24086 | 15692 12058 34 | 0.000 % | 263.70/263.79 c | 38738 | 2051 6057 24086 | 17261 9247 35 | 0.000 % | 265.60/265.65 c | 58202 | 2051 6057 24086 | 18987 11342 38 | 0.000 % | 268.59/268.63 c | 87394 | 2051 6057 24086 | 20886 11902 36 | 0.000 % | 272.90/272.95 c | 131183 | 2051 6057 24086 | 22974 13696 36 | 0.000 % | 280.20/280.27 c | 196867 | 2051 6057 24086 | 25272 21604 38 | 0.000 % | 290.09/290.17 c | 295393 | 2051 6057 24086 | 27799 12797 34 | 0.000 % | 308.10/308.11 c | 443182 | 2051 6057 24086 | 30579 22529 41 | 0.000 % | 330.50/330.52 c =============================================================================== 334.20/334.26 c core #5 334.20/334.26 c ============================[ Search Statistics ]============================== 334.20/334.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 334.20/334.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 334.20/334.26 c =============================================================================== 334.20/334.26 c | 0 | 2499 6871 27918 | 5000 0 nan | 0.000 % | 334.31/334.32 c | 100 | 2499 6871 27918 | 5500 100 25 | 0.000 % | 334.31/334.33 c | 250 | 2499 6871 27918 | 6050 250 21 | 0.000 % | 334.31/334.34 c | 476 | 2499 6871 27918 | 6655 476 24 | 0.000 % | 334.31/334.36 c | 816 | 2499 6871 27918 | 7320 816 27 | 0.000 % | 334.31/334.38 c | 1324 | 2499 6871 27918 | 8052 1324 27 | 0.000 % | 334.40/334.43 c | 2086 | 2499 6871 27918 | 8857 2086 27 | 0.000 % | 334.40/334.47 c | 3227 | 2499 6871 27918 | 9743 3227 28 | 0.000 % | 334.50/334.55 c | 4939 | 2499 6871 27918 | 10717 4939 29 | 0.000 % | 334.60/334.69 c | 7502 | 2499 6871 27918 | 11789 7502 29 | 0.000 % | 334.90/334.96 c | 11348 | 2499 6871 27918 | 12968 11348 30 | 0.000 % | 335.40/335.42 c | 17117 | 2499 6871 27918 | 14265 10569 32 | 0.000 % | 336.00/336.08 c | 25767 | 2499 6871 27918 | 15692 12024 34 | 0.000 % | 337.20/337.28 c | 38741 | 2499 6871 27918 | 17261 9198 37 | 0.000 % | 339.20/339.21 c | 58203 | 2499 6871 27918 | 18987 11291 40 | 0.000 % | 342.00/342.03 c | 87395 | 2499 6871 27918 | 20886 11864 39 | 0.000 % | 346.41/346.50 c | 131185 | 2499 6871 27918 | 22974 13704 37 | 0.000 % | 353.60/353.65 c | 196869 | 2499 6871 27918 | 25272 21696 39 | 0.000 % | 364.20/364.23 c | 295395 | 2499 6871 27918 | 27799 15490 39 | 0.000 % | 380.10/380.18 c | 443184 | 2499 6871 27918 | 30579 24191 36 | 0.000 % | 394.81/394.81 c =============================================================================== 397.90/397.97 c core #6 397.90/397.97 c ============================[ Search Statistics ]============================== 397.90/397.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 397.90/397.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 397.90/397.97 c =============================================================================== 397.90/397.97 c | 0 | 2976 7681 31806 | 5000 0 nan | 0.000 % | 398.00/398.02 c | 102 | 2976 7681 31806 | 5500 102 16 | 0.000 % | 398.00/398.03 c | 252 | 2976 7681 31806 | 6050 252 20 | 0.000 % | 398.00/398.04 c | 479 | 2976 7681 31806 | 6655 479 22 | 0.000 % | 398.00/398.05 c | 817 | 2976 7681 31806 | 7320 817 25 | 0.000 % | 398.00/398.09 c | 1323 | 2976 7681 31806 | 8052 1323 25 | 0.000 % | 398.11/398.12 c | 2082 | 2976 7681 31806 | 8857 2082 25 | 0.000 % | 398.11/398.17 c | 3221 | 2976 7681 31806 | 9743 3221 25 | 0.000 % | 398.20/398.26 c | 4929 | 2976 7681 31806 | 10717 4929 27 | 0.000 % | 398.40/398.42 c | 7492 | 2976 7681 31806 | 11789 7492 28 | 0.000 % | 398.60/398.67 c | 11341 | 2976 7681 31806 | 12968 11341 27 | 0.000 % | 399.10/399.14 c | 17107 | 2976 7681 31806 | 14265 10574 30 | 0.000 % | 399.80/399.85 c | 25757 | 2976 7681 31806 | 15692 12048 32 | 0.000 % | 401.00/401.00 c | 38731 | 2976 7681 31806 | 17261 9235 34 | 0.000 % | 402.61/402.69 c | 58192 | 2976 7681 31806 | 18987 11330 32 | 0.000 % | 405.80/405.89 c | 87384 | 2976 7681 31806 | 20886 11908 36 | 0.000 % | 410.70/410.80 c | 131173 | 2976 7681 31806 | 22974 13740 37 | 0.000 % | 417.60/417.60 c | 196859 | 2976 7681 31806 | 25272 21740 36 | 0.000 % | 428.30/428.39 c | 295386 | 2976 7681 31806 | 27799 13377 36 | 0.000 % | 443.80/443.82 c | 443175 | 2976 7681 31806 | 30579 17994 34 | 0.000 % | 469.41/469.40 c | 664859 | 2976 7681 31806 | 33637 22612 36 | 0.000 % | 506.11/506.13 c =============================================================================== 511.60/511.67 c core #7 511.60/511.67 c ============================[ Search Statistics ]============================== 511.60/511.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 511.60/511.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 511.60/511.67 c =============================================================================== 511.60/511.67 c | 0 | 3488 8493 35787 | 5000 0 nan | 0.000 % | 511.70/511.72 c | 102 | 3488 8493 35787 | 5500 102 20 | 0.000 % | 511.70/511.74 c | 252 | 3488 8493 35787 | 6050 252 21 | 0.000 % | 511.70/511.76 c | 477 | 3488 8493 35787 | 6655 477 26 | 0.000 % | 511.70/511.78 c | 817 | 3488 8493 35787 | 7320 817 27 | 0.000 % | 511.80/511.81 c | 1324 | 3488 8493 35787 | 8052 1324 27 | 0.000 % | 511.80/511.86 c | 2085 | 3488 8493 35787 | 8857 2085 26 | 0.000 % | 511.90/511.93 c | 3226 | 3488 8493 35787 | 9743 3226 28 | 0.000 % | 512.00/512.02 c | 4935 | 3488 8493 35787 | 10717 4935 28 | 0.000 % | 512.10/512.17 c | 7497 | 3488 8493 35787 | 11789 7497 30 | 0.000 % | 512.40/512.45 c | 11341 | 3488 8493 35787 | 12968 11341 32 | 0.000 % | 512.90/512.90 c | 17107 | 3488 8493 35787 | 14265 10578 33 | 0.000 % | 513.61/513.66 c | 25756 | 3488 8493 35787 | 15692 12040 35 | 0.000 % | 514.90/514.92 c | 38730 | 3488 8493 35787 | 17261 9207 35 | 0.000 % | 516.80/516.87 c | 58192 | 3488 8493 35787 | 18987 11305 36 | 0.000 % | 519.60/519.63 c | 87386 | 3488 8493 35787 | 20886 11888 35 | 0.000 % | 524.00/524.03 c | 131175 | 3488 8493 35787 | 22974 13728 38 | 0.000 % | 531.30/531.38 c | 196859 | 3488 8493 35787 | 25272 21508 38 | 0.000 % | 542.11/542.17 c | 295385 | 3488 8493 35787 | 27799 13225 35 | 0.000 % | 558.90/558.94 c | 443174 | 3488 8493 35787 | 30579 19689 38 | 0.000 % | 585.11/585.16 c | 664858 | 3488 8493 35787 | 33637 23724 39 | 0.000 % | 599.60/599.66 c =============================================================================== 604.21/604.25 c core #8 604.21/604.25 c ============================[ Search Statistics ]============================== 604.21/604.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 604.21/604.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 604.21/604.25 c =============================================================================== 604.21/604.25 c | 0 | 3992 9292 39689 | 5000 0 nan | 0.000 % | 604.31/604.32 c | 101 | 3992 9292 39689 | 5500 101 23 | 0.000 % | 604.31/604.34 c | 251 | 3992 9292 39689 | 6050 251 25 | 0.000 % | 604.31/604.36 c | 476 | 3992 9292 39689 | 6655 476 25 | 0.000 % | 604.31/604.38 c | 813 | 3992 9292 39689 | 7320 813 27 | 0.000 % | 604.40/604.41 c | 1319 | 3992 9292 39689 | 8052 1319 27 | 0.000 % | 604.40/604.45 c | 2079 | 3992 9292 39689 | 8857 2079 28 | 0.000 % | 604.51/604.51 c | 3219 | 3992 9292 39689 | 9743 3219 28 | 0.000 % | 604.60/604.61 c | 4927 | 3992 9292 39689 | 10717 4927 29 | 0.000 % | 604.71/604.78 c | 7491 | 3992 9292 39689 | 11789 7491 29 | 0.000 % | 605.01/605.07 c | 11336 | 3992 9292 39689 | 12968 11336 29 | 0.000 % | 605.50/605.55 c | 17102 | 3992 9292 39689 | 14265 10574 32 | 0.000 % | 606.30/606.35 c | 25751 | 3992 9292 39689 | 15692 12040 33 | 0.000 % | 607.50/607.57 c | 38726 | 3992 9292 39689 | 17261 9213 36 | 0.000 % | 609.41/609.41 c | 58188 | 3992 9292 39689 | 18987 11304 35 | 0.000 % | 612.10/612.14 c | 87380 | 3992 9292 39689 | 20886 11866 36 | 0.000 % | 616.50/616.59 c | 131170 | 3992 9292 39689 | 22974 13722 36 | 0.000 % | 623.40/623.49 c | 196854 | 3992 9292 39689 | 25272 21532 35 | 0.000 % | 634.71/634.77 c | 295381 | 3992 9292 39689 | 27799 13034 34 | 0.000 % | 650.60/650.67 c | 443172 | 3992 9292 39689 | 30579 18143 38 | 0.000 % | 677.90/677.99 c | 664856 | 3992 9292 39689 | 33637 20524 37 | 0.000 % | 688.11/688.19 c =============================================================================== 692.11/692.15 c core #9 692.11/692.15 c ============================[ Search Statistics ]============================== 692.11/692.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 692.11/692.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 692.11/692.15 c =============================================================================== 692.11/692.15 c | 0 | 4510 10083 43618 | 5000 0 nan | 0.000 % | 692.21/692.23 c | 100 | 4510 10083 43618 | 5500 100 28 | 0.000 % | 692.21/692.24 c | 251 | 4510 10083 43618 | 6050 251 30 | 0.000 % | 692.21/692.25 c | 477 | 4510 10083 43618 | 6655 477 26 | 0.000 % | 692.21/692.27 c | 814 | 4510 10083 43618 | 7320 814 27 | 0.000 % | 692.31/692.31 c | 1323 | 4510 10083 43618 | 8052 1323 28 | 0.000 % | 692.31/692.36 c | 2082 | 4510 10083 43618 | 8857 2082 28 | 0.000 % | 692.40/692.46 c | 3222 | 4510 10083 43618 | 9743 3222 29 | 0.000 % | 692.51/692.56 c | 4932 | 4510 10083 43618 | 10717 4932 29 | 0.000 % | 692.71/692.72 c | 7496 | 4510 10083 43618 | 11789 7496 30 | 0.000 % | 693.01/693.00 c | 11341 | 4510 10083 43618 | 12968 11341 31 | 0.000 % | 693.41/693.43 c | 17107 | 4510 10083 43618 | 14265 10576 34 | 0.000 % | 694.12/694.13 c | 25758 | 4510 10083 43618 | 15692 12043 33 | 0.000 % | 695.41/695.48 c | 38735 | 4510 10083 43618 | 17261 9228 34 | 0.000 % | 697.41/697.48 c | 58196 | 4510 10083 43618 | 18987 11318 37 | 0.000 % | 700.40/700.49 c | 87389 | 4510 10083 43618 | 20886 11883 36 | 0.000 % | 705.11/705.19 c | 131178 | 4510 10083 43618 | 22974 13695 38 | 0.000 % | 712.41/712.47 c | 196866 | 4510 10083 43618 | 25272 21738 37 | 0.000 % | 723.31/723.36 c | 295393 | 4510 10083 43618 | 27799 14203 35 | 0.000 % | 740.61/740.64 c | 443182 | 4510 10083 43618 | 30579 22500 37 | 0.000 % | 768.41/768.46 c | 664865 | 4510 10083 43618 | 33637 26469 42 | 0.000 % | 809.30/809.36 c =============================================================================== 815.41/815.42 c core #10 815.41/815.42 c ============================[ Search Statistics ]============================== 815.41/815.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 815.41/815.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 815.41/815.42 c =============================================================================== 815.41/815.42 c | 0 | 5062 10868 47589 | 5000 0 nan | 0.000 % | 815.51/815.52 c | 101 | 5062 10868 47589 | 5500 101 25 | 0.000 % | 815.51/815.53 c | 252 | 5062 10868 47589 | 6050 252 29 | 0.000 % | 815.51/815.54 c | 480 | 5062 10868 47589 | 6655 480 30 | 0.000 % | 815.51/815.56 c | 817 | 5062 10868 47589 | 7320 817 29 | 0.000 % | 815.51/815.59 c | 1324 | 5062 10868 47589 | 8052 1324 29 | 0.000 % | 815.61/815.65 c | 2086 | 5062 10868 47589 | 8857 2086 29 | 0.000 % | 815.71/815.72 c | 3226 | 5062 10868 47589 | 9743 3226 31 | 0.000 % | 815.81/815.83 c | 4936 | 5062 10868 47589 | 10717 4936 32 | 0.000 % | 816.01/816.00 c | 7499 | 5062 10868 47589 | 11789 7499 31 | 0.000 % | 816.22/816.26 c | 11345 | 5062 10868 47589 | 12968 11345 30 | 0.000 % | 816.71/816.75 c | 17111 | 5062 10868 47589 | 14265 10584 34 | 0.000 % | 817.51/817.54 c | 25760 | 5062 10868 47589 | 15692 12041 34 | 0.000 % | 818.71/818.72 c | 38734 | 5062 10868 47589 | 17261 9242 31 | 0.000 % | 820.51/820.59 c | 58195 | 5062 10868 47589 | 18987 11363 35 | 0.000 % | 823.41/823.48 c | 87390 | 5062 10868 47589 | 20886 11922 35 | 0.000 % | 827.81/827.88 c | 131180 | 5062 10868 47589 | 22974 13718 35 | 0.000 % | 834.92/834.98 c | 196864 | 5062 10868 47589 | 25272 21606 36 | 0.000 % | 847.41/847.40 c | 295390 | 5062 10868 47589 | 27799 14891 36 | 0.000 % | 864.22/864.21 c | 443179 | 5062 10868 47589 | 30579 21264 38 | 0.000 % | 891.02/891.05 c | 664862 | 5062 10868 47589 | 33637 23247 39 | 0.000 % | 914.21/914.27 c =============================================================================== 919.41/919.42 c core #11 919.41/919.42 c ============================[ Search Statistics ]============================== 919.41/919.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 919.41/919.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 919.41/919.42 c =============================================================================== 919.41/919.42 c | 0 | 5650 11644 51599 | 5000 0 nan | 0.000 % | 919.52/919.52 c | 100 | 5650 11644 51599 | 5500 100 24 | 0.000 % | 919.52/919.53 c | 251 | 5650 11644 51599 | 6050 251 26 | 0.000 % | 919.52/919.55 c | 480 | 5650 11644 51599 | 6655 480 27 | 0.000 % | 919.52/919.58 c | 819 | 5650 11644 51599 | 7320 819 27 | 0.000 % | 919.62/919.61 c | 1325 | 5650 11644 51599 | 8052 1325 28 | 0.000 % | 919.62/919.66 c | 2084 | 5650 11644 51599 | 8857 2084 29 | 0.000 % | 919.71/919.73 c | 3223 | 5650 11644 51599 | 9743 3223 29 | 0.000 % | 919.81/919.85 c | 4932 | 5650 11644 51599 | 10717 4932 31 | 0.000 % | 920.01/920.05 c | 7495 | 5650 11644 51599 | 11789 7495 32 | 0.000 % | 920.41/920.41 c | 11339 | 5650 11644 51599 | 12968 11339 33 | 0.000 % | 920.91/920.97 c | 17106 | 5650 11644 51599 | 14265 10576 35 | 0.000 % | 921.71/921.78 c | 25757 | 5650 11644 51599 | 15692 12041 34 | 0.000 % | 923.01/923.07 c | 38734 | 5650 11644 51599 | 17261 9221 35 | 0.000 % | 925.21/925.22 c | 58195 | 5650 11644 51599 | 18987 11194 39 | 0.000 % | 928.51/928.57 c | 87392 | 5650 11644 51599 | 20886 11791 34 | 0.000 % | 933.21/933.22 c | 131181 | 5650 11644 51599 | 22974 13614 36 | 0.000 % | 940.61/940.62 c | 196865 | 5650 11644 51599 | 25272 21443 38 | 0.000 % | 952.31/952.39 c | 295393 | 5650 11644 51599 | 27799 14004 37 | 0.000 % | 970.02/970.06 c | 443182 | 5650 11644 51599 | 30579 18985 37 | 0.000 % | 998.11/998.14 c | 664868 | 5650 11644 51599 | 33637 23608 40 | 0.000 % | 1041.31/1041.31 c | 997396 | 5650 11644 51599 | 37001 17521 39 | 0.000 % | 1092.91/1092.90 c =============================================================================== 1101.21/1101.23 c core #12 1101.21/1101.23 c ============================[ Search Statistics ]============================== 1101.21/1101.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1101.21/1101.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1101.21/1101.23 c =============================================================================== 1101.21/1101.23 c | 0 | 6313 12406 55753 | 5000 0 nan | 0.000 % | 1101.32/1101.35 c | 106 | 6313 12406 55753 | 5500 106 21 | 0.000 % | 1101.32/1101.36 c | 257 | 6313 12406 55753 | 6050 257 25 | 0.000 % | 1101.32/1101.37 c | 483 | 6313 12406 55753 | 6655 483 27 | 0.000 % | 1101.42/1101.40 c | 820 | 6313 12406 55753 | 7320 820 28 | 0.000 % | 1101.42/1101.44 c | 1328 | 6313 12406 55753 | 8052 1328 29 | 0.000 % | 1101.52/1101.52 c | 2088 | 6313 12406 55753 | 8857 2088 29 | 0.000 % | 1101.52/1101.59 c | 3230 | 6313 12406 55753 | 9743 3230 28 | 0.000 % | 1101.72/1101.71 c | 4939 | 6313 12406 55753 | 10717 4939 30 | 0.000 % | 1101.92/1101.91 c | 7502 | 6313 12406 55753 | 11789 7502 31 | 0.000 % | 1102.23/1102.26 c | 11347 | 6313 12406 55753 | 12968 11347 32 | 0.000 % | 1102.82/1102.83 c | 17113 | 6313 12406 55753 | 14265 10582 32 | 0.000 % | 1103.61/1103.62 c | 25764 | 6313 12406 55753 | 15692 12043 31 | 0.000 % | 1104.91/1104.95 c | 38738 | 6313 12406 55753 | 17261 9125 30 | 0.000 % | 1106.91/1106.97 c | 58199 | 6313 12406 55753 | 18987 11214 34 | 0.000 % | 1110.12/1110.18 c | 87391 | 6313 12406 55753 | 20886 11755 34 | 0.000 % | 1115.33/1115.36 c | 131180 | 6313 12406 55753 | 22974 13612 38 | 0.000 % | 1123.22/1123.27 c | 196865 | 6313 12406 55753 | 25272 21633 36 | 0.000 % | 1134.92/1134.94 c | 295393 | 6313 12406 55753 | 27799 25368 37 | 0.000 % | 1153.61/1153.62 c | 443183 | 6313 12406 55753 | 30579 16586 36 | 0.000 % | 1181.22/1181.28 c | 664867 | 6313 12406 55753 | 33637 20279 37 | 0.000 % | 1224.02/1224.07 c | 997393 | 6313 12406 55753 | 37001 12772 34 | 0.000 % | 1289.02/1289.03 c | 1496181 | 6313 12406 55753 | 40701 25738 39 | 0.000 % | 1323.92/1323.98 c =============================================================================== 1334.52/1334.60 c core #13 1334.52/1334.60 c ============================[ Search Statistics ]============================== 1334.52/1334.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1334.52/1334.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1334.52/1334.60 c =============================================================================== 1334.52/1334.60 c | 0 | 7021 13164 59971 | 5000 0 nan | 0.000 % | 1334.72/1334.75 c | 100 | 7021 13164 59971 | 5500 100 18 | 0.000 % | 1334.72/1334.76 c | 250 | 7021 13164 59971 | 6050 250 27 | 0.000 % | 1334.72/1334.78 c | 475 | 7021 13164 59971 | 6655 475 27 | 0.000 % | 1334.82/1334.81 c | 812 | 7021 13164 59971 | 7320 812 25 | 0.000 % | 1334.82/1334.85 c | 1318 | 7021 13164 59971 | 8052 1318 29 | 0.000 % | 1334.92/1334.92 c | 2077 | 7021 13164 59971 | 8857 2077 31 | 0.000 % | 1335.03/1335.02 c | 3217 | 7021 13164 59971 | 9743 3217 32 | 0.000 % | 1335.12/1335.14 c | 4925 | 7021 13164 59971 | 10717 4925 32 | 0.000 % | 1335.33/1335.31 c | 7487 | 7021 13164 59971 | 11789 7487 32 | 0.000 % | 1335.62/1335.67 c | 11331 | 7021 13164 59971 | 12968 11331 33 | 0.000 % | 1336.12/1336.17 c | 17097 | 7021 13164 59971 | 14265 10559 30 | 0.000 % | 1337.02/1337.03 c | 25746 | 7021 13164 59971 | 15692 12028 34 | 0.000 % | 1338.32/1338.38 c | 38723 | 7021 13164 59971 | 17261 9219 39 | 0.000 % | 1340.62/1340.68 c | 58184 | 7021 13164 59971 | 18987 11322 40 | 0.000 % | 1343.93/1343.97 c | 87376 | 7021 13164 59971 | 20886 11874 34 | 0.000 % | 1348.92/1348.98 c | 131168 | 7021 13164 59971 | 22974 13688 36 | 0.000 % | 1357.02/1357.09 c | 196853 | 7021 13164 59971 | 25272 21383 39 | 0.000 % | 1368.72/1368.76 c | 295381 | 7021 13164 59971 | 27799 12171 39 | 0.000 % | 1387.93/1387.99 c | 443172 | 7021 13164 59971 | 30579 17729 36 | 0.000 % | 1414.22/1414.22 c | 664856 | 7021 13164 59971 | 33637 15285 36 | 0.000 % | 1489.82/1489.82 c | 997381 | 7021 13164 59971 | 37001 27674 41 | 0.000 % | 1587.34/1587.31 c | 1496169 | 7021 13164 59971 | 40701 31345 51 | 0.000 % | 1717.53/1717.52 c | 2244351 | 7020 13164 59971 | 44771 13994 34 | 0.014 % | 1725.33/1725.35 c =============================================================================== 1738.24/1738.24 c core #14 1738.24/1738.24 c ============================[ Search Statistics ]============================== 1738.24/1738.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1738.24/1738.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1738.24/1738.24 c =============================================================================== 1738.24/1738.24 c | 0 | 7735 13917 64229 | 5000 0 nan | 0.000 % | 1738.33/1738.39 c | 100 | 7735 13917 64229 | 5500 100 31 | 0.000 % | 1738.33/1738.40 c | 250 | 7735 13917 64229 | 6050 250 37 | 0.000 % | 1738.43/1738.41 c | 475 | 7735 13917 64229 | 6655 475 33 | 0.000 % | 1738.43/1738.44 c | 812 | 7735 13917 64229 | 7320 812 33 | 0.000 % | 1738.43/1738.48 c | 1319 | 7735 13917 64229 | 8052 1319 32 | 0.000 % | 1738.53/1738.57 c | 2079 | 7735 13917 64229 | 8857 2079 31 | 0.000 % | 1738.63/1738.69 c | 3218 | 7735 13917 64229 | 9743 3218 30 | 0.000 % | 1738.83/1738.87 c | 4927 | 7735 13917 64229 | 10717 4927 30 | 0.000 % | 1739.04/1739.05 c | 7492 | 7735 13917 64229 | 11789 7492 31 | 0.000 % | 1739.33/1739.37 c | 11336 | 7735 13917 64229 | 12968 11336 31 | 0.000 % | 1739.93/1739.90 c | 17103 | 7735 13917 64229 | 14265 10570 33 | 0.000 % | 1740.73/1740.75 c | 25753 | 7735 13917 64229 | 15692 12026 37 | 0.000 % | 1742.13/1742.10 c | 38727 | 7735 13917 64229 | 17261 9230 36 | 0.000 % | 1745.83/1745.84 c | 58188 | 7735 13917 64229 | 18987 10832 47 | 0.000 % | 1748.83/1748.87 c | 87380 | 7735 13917 64229 | 20886 11107 36 | 0.000 % | 1755.03/1755.05 c | 131170 | 7735 13917 64229 | 22974 12555 38 | 0.000 % | 1763.03/1763.01 c | 196855 | 7735 13917 64229 | 25272 20062 40 | 0.000 % | 1787.83/1787.81 c | 295384 | 7735 13917 64229 | 27799 19220 55 | 0.000 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690137-1277909454/watcher-2690137-1277909454 -o /tmp/evaluation-result-2690137-1277909454/solver-2690137-1277909454 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690137-1277909454.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.00 2.00 2.00 3/178 14267 /proc/meminfo: memFree=31083040/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=2664 CPUtime=0 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 306 0 0 0 0 0 0 0 24 0 1 0 132241371 2727936 224 4089446400 134512640 135751879 4290469488 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 666 224 145 303 0 339 0 [startup+0.072675 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14267 /proc/meminfo: memFree=31083040/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=3248 CPUtime=0.06 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 484 0 0 0 6 0 0 0 24 0 1 0 132241371 3325952 380 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 812 380 143 303 0 507 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3248 [startup+0.100679 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14267 /proc/meminfo: memFree=31083040/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=3512 CPUtime=0.09 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 537 0 0 0 9 0 0 0 24 0 1 0 132241371 3596288 433 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 878 433 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.300633 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14267 /proc/meminfo: memFree=31083040/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=4708 CPUtime=0.29 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 832 0 0 0 28 1 0 0 25 0 1 0 132241371 4820992 728 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 1177 728 143 303 0 872 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4708 [startup+0.700563 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14267 /proc/meminfo: memFree=31083040/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=6572 CPUtime=0.69 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 1309 0 0 0 67 2 0 0 25 0 1 0 132241371 6729728 1205 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 1643 1205 143 303 0 1338 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6572 [startup+1.50043 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14268 /proc/meminfo: memFree=31077700/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=9872 CPUtime=1.49 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 2135 0 0 0 143 6 0 0 25 0 1 0 132241371 10108928 2031 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 2468 2031 143 303 0 2163 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9872 [startup+3.10014 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14268 /proc/meminfo: memFree=31073360/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=15944 CPUtime=3.09 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 3646 0 0 0 296 13 0 0 19 0 1 0 132241371 16326656 3542 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 3986 3542 143 303 0 3681 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15944 [startup+6.30058 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14268 /proc/meminfo: memFree=31062240/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=26740 CPUtime=6.29 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 6335 0 0 0 607 22 0 0 25 0 1 0 132241371 27381760 6231 4089446400 134512640 135751879 4290469488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 6685 6231 143 303 0 6380 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26740 [startup+12.7005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14269 /proc/meminfo: memFree=31041004/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=47364 CPUtime=12.69 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 11513 0 0 0 1230 39 0 0 25 0 1 0 132241371 48500736 11409 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 11841 11409 143 303 0 11536 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47364 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14269 /proc/meminfo: memFree=31003996/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=83688 CPUtime=25.49 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 20591 0 0 0 2477 72 0 0 25 0 1 0 132241371 85696512 20487 4089446400 134512640 135751879 4290469488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 20922 20487 143 303 0 20617 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 83688 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14269 /proc/meminfo: memFree=30941944/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=144640 CPUtime=51.09 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 35865 0 0 0 4986 123 0 0 25 0 1 0 132241371 148111360 35731 4089446400 134512640 135751879 4290469488 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 36160 35731 146 303 0 35855 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 144640 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14271 /proc/meminfo: memFree=30855944/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=230196 CPUtime=102.3 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 57239 0 0 0 9996 234 0 0 18 0 1 0 132241371 235720704 57105 4089446400 134512640 135751879 4290469488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 57549 57105 146 303 0 57244 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 230196 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14273 /proc/meminfo: memFree=30752936/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=334392 CPUtime=162.29 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 83265 0 0 0 15876 353 0 0 25 0 1 0 132241371 342417408 83131 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 83598 83131 146 303 0 83293 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 334392 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14274 /proc/meminfo: memFree=30663208/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=421968 CPUtime=222.3 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 105166 0 0 0 21754 476 0 0 25 0 1 0 132241371 432095232 105032 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 105492 105032 146 303 0 105187 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 421968 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14275 /proc/meminfo: memFree=30580332/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=505076 CPUtime=282.3 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 125978 0 0 0 27636 594 0 0 25 0 1 0 132241371 517197824 125844 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 126269 125844 146 303 0 125964 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 505076 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14277 /proc/meminfo: memFree=30469396/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=613704 CPUtime=342.3 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 153134 0 0 0 33518 712 0 0 25 0 1 0 132241371 628432896 153000 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 153426 153000 146 303 0 153121 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 613704 [startup+402.301 s] /proc/loadavg: 2.03 2.01 2.00 3/179 14279 /proc/meminfo: memFree=30376208/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=706952 CPUtime=402.3 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 176423 0 0 0 39385 845 0 0 22 0 1 0 132241371 723918848 176289 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 176738 176289 146 303 0 176433 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 706952 [startup+462.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14281 /proc/meminfo: memFree=30289800/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=792808 CPUtime=462.3 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 197889 0 0 0 45257 973 0 0 25 0 1 0 132241371 811835392 197755 4089446400 134512640 135751879 4290469488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 198202 197755 146 303 0 197897 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 792808 [startup+522.301 s] /proc/loadavg: 2.03 2.00 2.00 3/179 14310 /proc/meminfo: memFree=30198844/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=919388 CPUtime=522.31 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 229532 0 0 0 51133 1098 0 0 25 0 1 0 132241371 941453312 229398 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 229847 229398 146 303 0 229542 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 919388 [startup+582.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 14311 /proc/meminfo: memFree=30135788/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=975236 CPUtime=582.3 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 243473 0 0 0 57011 1219 0 0 25 0 1 0 132241371 998641664 243339 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 243809 243339 146 303 0 243504 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 975236 [startup+642.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14322 /proc/meminfo: memFree=30049176/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=1055144 CPUtime=642.31 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 263453 0 0 0 62890 1341 0 0 25 0 1 0 132241371 1080467456 263319 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 263786 263319 146 303 0 263481 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1055144 [startup+702.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14327 /proc/meminfo: memFree=29736192/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=1364104 CPUtime=822.31 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 340691 0 0 0 80539 1692 0 0 25 0 1 0 132241371 1396842496 340557 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 341026 340557 146 303 0 340721 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 1364104 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14328 /proc/meminfo: memFree=29686404/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=1412140 CPUtime=882.31 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 352724 0 0 0 86423 1808 0 0 25 0 1 0 132241371 1446031360 352590 4089446400 134512640 135751879 4290469488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 353035 352590 146 303 0 352730 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1412140 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14330 /proc/meminfo: memFree=29598032/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=1496744 CPUtime=942.32 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 373875 0 0 0 92308 1924 0 0 25 0 1 0 132241371 1532665856 373741 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 374186 373741 146 303 0 373881 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1496744 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14332 /proc/meminfo: memFree=29512792/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=1578648 CPUtime=1002.31 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 394324 0 0 0 98199 2032 0 0 25 0 1 0 132241371 1616535552 394190 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 394662 394190 146 303 0 394357 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1578648 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14334 /proc/meminfo: memFree=29388856/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=1701192 CPUtime=1062.32 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 424957 0 0 0 104092 2140 0 0 25 0 1 0 132241371 1742020608 424823 4089446400 134512640 135751879 4290469488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 425298 424823 146 303 0 424993 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1701192 [startup+1122.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 14335 /proc/meminfo: memFree=29283624/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=1803752 CPUtime=1122.32 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 450615 0 0 0 109998 2234 0 0 25 0 1 0 132241371 1847042048 450481 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 450938 450481 146 303 0 450633 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1803752 [startup+1182.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14336 /proc/meminfo: memFree=29242400/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=1844832 CPUtime=1182.32 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 460868 0 0 0 115891 2341 0 0 25 0 1 0 132241371 1889107968 460734 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 461208 460734 146 303 0 460903 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1844832 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14338 /proc/meminfo: memFree=29143644/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=1940936 CPUtime=1242.32 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 484884 0 0 0 121781 2451 0 0 25 0 1 0 132241371 1987518464 484750 4089446400 134512640 135751879 4290469488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 485234 484750 146 303 0 484929 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1940936 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14340 /proc/meminfo: memFree=29023308/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=2059584 CPUtime=1302.33 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 514531 0 0 0 127678 2555 0 0 25 0 1 0 132241371 2109014016 514397 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 514896 514397 146 303 0 514591 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2059584 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14342 /proc/meminfo: memFree=28927772/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=2154916 CPUtime=1362.32 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 538430 0 0 0 133585 2647 0 0 25 0 1 0 132241371 2206633984 538259 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 538729 538259 146 303 0 538424 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2154916 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14343 /proc/meminfo: memFree=28891600/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=2190432 CPUtime=1422.32 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 547306 0 0 0 139472 2760 0 0 25 0 1 0 132241371 2243002368 547135 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 547608 547135 146 303 0 547303 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 2190432 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14344 /proc/meminfo: memFree=28841092/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=2241380 CPUtime=1482.33 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 559968 0 0 0 145418 2815 0 0 25 0 1 0 132241371 2295173120 559797 4089446400 134512640 135751879 4290469488 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 560345 559797 146 303 0 560040 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2241380 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14346 /proc/meminfo: memFree=28759560/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=2322392 CPUtime=1542.33 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 580185 0 0 0 151316 2917 0 0 25 0 1 0 132241371 2378129408 580014 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 580598 580014 146 303 0 580293 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2322392 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14348 /proc/meminfo: memFree=28697520/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=2384364 CPUtime=1602.33 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 595618 0 0 0 157267 2966 0 0 25 0 1 0 132241371 2441588736 595447 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 596091 595447 146 303 0 595786 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2384364 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14350 /proc/meminfo: memFree=28582524/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=2497652 CPUtime=1662.33 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 623931 0 0 0 163165 3068 0 0 25 0 1 0 132241371 2557595648 623760 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 624413 623760 146 303 0 624108 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2497652 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14351 /proc/meminfo: memFree=28516888/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=2562624 CPUtime=1722.33 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 640107 0 0 0 169111 3122 0 0 25 0 1 0 132241371 2624126976 639936 4089446400 134512640 135751879 4290469488 18446744073709551615 134602478 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 640656 639936 146 303 0 640351 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2562624 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14352 /proc/meminfo: memFree=28446652/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=2629456 CPUtime=1782.33 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 657183 0 0 0 175039 3194 0 0 25 0 1 0 132241371 2692562944 656926 4089446400 134512640 135751879 4290469488 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 657364 656926 146 303 0 657059 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2629456 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14353 /proc/meminfo: memFree=28446752/32951124 swapFree=67111528/67111528 [pid=14267] ppid=14265 vsize=2629456 CPUtime=1800.04 /proc/14267/stat : 14267 (wbo1.4a) R 14265 14267 12504 0 -1 4202496 657183 0 0 0 176794 3210 0 0 25 0 1 0 132241371 2692562944 656926 4089446400 134512640 135751879 4290469488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14267/statm: 657364 656926 146 303 0 657059 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2629456 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.09 CPU time (s): 1800.13 CPU user time (s): 1767.94 CPU system time (s): 32.1871 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2629768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1767.94 system time used= 32.1871 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 657183 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= 21 involuntary context switches= 1381 runsolver used 2.44463 second user time and 5.76612 second system time The end
Begin job on node136 at 2010-06-30 16:50:54 IDJOB=2690137 IDBENCH=78968 IDSOLVER=1200 FILE ID=node136/2690137-1277909454 PBS_JOBID= 11197181 Free space on /tmp= 74136 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242--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-2690137-1277909454/watcher-2690137-1277909454 -o /tmp/evaluation-result-2690137-1277909454/solver-2690137-1277909454 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690137-1277909454.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 404f4a35cd4ec5708f20e119eb7d26f2 RANDOM SEED=1548781025 node136.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.840 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.68 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.840 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.82 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.840 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.840 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.83 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.840 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.840 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.83 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.840 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31083692 kB Buffers: 192880 kB Cached: 1374984 kB SwapCached: 0 kB Active: 816384 kB Inactive: 904944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31083692 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 153760 kB Mapped: 16924 kB Slab: 81484 kB PageTables: 4984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 299996 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= 74132 MiB End job on node136 at 2010-06-30 17:20:56