Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.09 | 1800.06 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-66-100-0.wbo |
MD5SUM | bcc83dde29b6f868056a0bfa1b1372de |
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 | 19 |
Best CPU time to get the best result obtained on this benchmark | 49.4775 |
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 | 928 |
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 | 47257 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 47256 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 813 |
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-2689985-1277900488.wbo. 0.00/0.00 c Instance file HOME/instance-2689985-1277900488.wbo 0.00/0.00 c File size is 88021 bytes. 0.00/0.00 c Highest Coefficient sum: 813 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 18 | 0.002 % | 0.00/0.01 c | 253 | 231 2707 8338 | 6050 253 22 | 0.002 % | 0.00/0.01 c | 479 | 231 2707 8338 | 6655 479 24 | 0.002 % | 0.00/0.02 c | 816 | 231 2707 8338 | 7320 816 28 | 0.002 % | 0.00/0.04 c | 1323 | 231 2707 8338 | 8052 1323 29 | 0.002 % | 0.04/0.06 c | 2082 | 231 2707 8338 | 8857 2082 28 | 0.002 % | 0.09/0.10 c | 3222 | 231 2707 8338 | 9743 3222 28 | 0.002 % | 0.09/0.18 c | 4930 | 231 2707 8338 | 10717 4930 29 | 0.002 % | 0.19/0.29 c | 7493 | 231 2707 8338 | 11789 7493 30 | 0.002 % | 0.49/0.51 c | 11337 | 231 2707 8338 | 12968 11337 31 | 0.002 % | 0.88/0.93 c | 17104 | 231 2707 8338 | 14265 10573 34 | 0.002 % | 1.48/1.59 c | 25754 | 231 2707 8338 | 15692 12048 33 | 0.002 % | 2.58/2.68 c | 38731 | 231 2707 8338 | 17261 9250 33 | 0.002 % | 4.29/4.33 c | 58193 | 231 2707 8338 | 18987 11390 34 | 0.002 % | 5.79/5.89 c =============================================================================== 6.18/6.21 c core #1 6.18/6.21 c ============================[ Search Statistics ]============================== 6.18/6.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.18/6.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.18/6.21 c =============================================================================== 6.18/6.21 c | 0 | 690 3493 11992 | 5000 0 nan | 0.000 % | 6.18/6.21 c | 101 | 690 3493 11992 | 5500 101 20 | 0.000 % | 6.18/6.22 c | 251 | 690 3493 11992 | 6050 251 25 | 0.000 % | 6.18/6.22 c | 478 | 690 3493 11992 | 6655 478 25 | 0.000 % | 6.18/6.23 c | 815 | 690 3493 11992 | 7320 815 23 | 0.000 % | 6.18/6.25 c | 1322 | 690 3493 11992 | 8052 1322 24 | 0.000 % | 6.18/6.28 c | 2081 | 690 3493 11992 | 8857 2081 25 | 0.000 % | 6.29/6.32 c | 3221 | 690 3493 11992 | 9743 3221 27 | 0.000 % | 6.39/6.40 c | 4931 | 690 3493 11992 | 10717 4931 28 | 0.000 % | 6.49/6.57 c | 7494 | 690 3493 11992 | 11789 7494 30 | 0.000 % | 6.78/6.81 c | 11338 | 690 3493 11992 | 12968 11338 31 | 0.000 % | 7.19/7.21 c | 17104 | 690 3493 11992 | 14265 10595 30 | 0.000 % | 7.89/7.98 c | 25753 | 690 3493 11992 | 15692 12071 34 | 0.000 % | 8.99/9.08 c | 38728 | 690 3493 11992 | 17261 9263 34 | 0.000 % | 10.79/10.84 c | 58190 | 690 3493 11992 | 18987 11376 35 | 0.000 % | 13.19/13.21 c =============================================================================== 13.49/13.56 c core #2 13.49/13.56 c ============================[ Search Statistics ]============================== 13.49/13.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.49/13.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.49/13.56 c =============================================================================== 13.49/13.56 c | 0 | 1148 4278 15641 | 5000 0 nan | 0.000 % | 13.49/13.58 c | 100 | 1148 4278 15641 | 5500 100 30 | 0.000 % | 13.49/13.58 c | 250 | 1148 4278 15641 | 6050 250 27 | 0.000 % | 13.49/13.59 c | 475 | 1148 4278 15641 | 6655 475 28 | 0.000 % | 13.59/13.60 c | 812 | 1148 4278 15641 | 7320 812 27 | 0.000 % | 13.59/13.62 c | 1319 | 1148 4278 15641 | 8052 1319 28 | 0.000 % | 13.59/13.65 c | 2079 | 1148 4278 15641 | 8857 2079 30 | 0.000 % | 13.59/13.69 c | 3220 | 1148 4278 15641 | 9743 3220 30 | 0.000 % | 13.69/13.78 c | 4929 | 1148 4278 15641 | 10717 4929 31 | 0.000 % | 13.89/13.94 c | 7493 | 1148 4278 15641 | 11789 7493 31 | 0.000 % | 14.09/14.20 c | 11337 | 1148 4278 15641 | 12968 11337 32 | 0.000 % | 14.58/14.64 c | 17103 | 1148 4278 15641 | 14265 10582 34 | 0.000 % | 15.40/15.45 c | 25753 | 1148 4278 15641 | 15692 12050 35 | 0.000 % | 16.49/16.52 c | 38728 | 1148 4278 15641 | 17261 9261 35 | 0.000 % | 17.99/18.09 c | 58189 | 1148 4278 15641 | 18987 11364 33 | 0.000 % | 20.69/20.72 c | 87381 | 1147 4278 15641 | 20886 7300 25 | 0.087 % | 21.28/21.34 c =============================================================================== 21.69/21.73 c core #3 21.69/21.73 c ============================[ Search Statistics ]============================== 21.69/21.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.69/21.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.69/21.73 c =============================================================================== 21.69/21.73 c | 0 | 1609 5075 19348 | 5000 0 nan | 0.000 % | 21.69/21.75 c | 100 | 1609 5075 19348 | 5500 100 23 | 0.000 % | 21.69/21.75 c | 251 | 1609 5075 19348 | 6050 251 25 | 0.000 % | 21.69/21.76 c | 477 | 1609 5075 19348 | 6655 477 25 | 0.000 % | 21.69/21.77 c | 815 | 1609 5075 19348 | 7320 815 25 | 0.000 % | 21.69/21.79 c | 1322 | 1609 5075 19348 | 8052 1322 27 | 0.000 % | 21.79/21.82 c | 2082 | 1609 5075 19348 | 8857 2082 28 | 0.000 % | 21.79/21.87 c | 3221 | 1609 5075 19348 | 9743 3221 29 | 0.000 % | 21.89/21.95 c | 4933 | 1609 5075 19348 | 10717 4933 29 | 0.000 % | 22.08/22.11 c | 7498 | 1609 5075 19348 | 11789 7498 30 | 0.000 % | 22.29/22.38 c | 11343 | 1609 5075 19348 | 12968 11343 31 | 0.000 % | 22.79/22.86 c | 17110 | 1609 5075 19348 | 14265 10578 34 | 0.000 % | 23.59/23.67 c | 25761 | 1609 5075 19348 | 15692 12068 33 | 0.000 % | 24.79/24.85 c | 38735 | 1609 5075 19348 | 17261 9266 32 | 0.001 % | 25.20/25.28 c =============================================================================== 25.39/25.48 c core #4 25.39/25.48 c ============================[ Search Statistics ]============================== 25.39/25.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.39/25.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.39/25.48 c =============================================================================== 25.39/25.48 c | 0 | 2069 5840 22931 | 5000 0 nan | 0.000 % | 25.39/25.49 c | 100 | 2069 5840 22931 | 5500 100 25 | 0.000 % | 25.49/25.50 c | 250 | 2069 5840 22931 | 6050 250 31 | 0.000 % | 25.49/25.51 c | 476 | 2069 5840 22931 | 6655 476 28 | 0.000 % | 25.49/25.52 c | 813 | 2069 5840 22931 | 7320 813 28 | 0.000 % | 25.49/25.54 c | 1319 | 2069 5840 22931 | 8052 1319 28 | 0.000 % | 25.49/25.58 c | 2078 | 2069 5840 22931 | 8857 2078 30 | 0.000 % | 25.59/25.64 c | 3218 | 2069 5840 22931 | 9743 3218 30 | 0.000 % | 25.69/25.75 c | 4928 | 2069 5840 22931 | 10717 4928 30 | 0.000 % | 25.89/25.93 c | 7491 | 2069 5840 22931 | 11789 7491 31 | 0.000 % | 26.19/26.24 c | 11341 | 2069 5840 22931 | 12968 11341 32 | 0.000 % | 26.69/26.76 c | 17110 | 2069 5840 22931 | 14265 10579 35 | 0.000 % | 27.58/27.60 c | 25760 | 2069 5840 22931 | 15692 12068 35 | 0.000 % | 28.68/28.75 c | 38735 | 2069 5840 22931 | 17261 9251 34 | 0.000 % | 30.49/30.50 c | 58197 | 2069 5840 22931 | 18987 11348 35 | 0.000 % | 33.09/33.13 c | 87391 | 2069 5840 22931 | 20886 11915 30 | 0.000 % | 36.79/36.86 c =============================================================================== 37.39/37.45 c core #5 37.39/37.45 c ============================[ Search Statistics ]============================== 37.39/37.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.39/37.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.39/37.45 c =============================================================================== 37.39/37.45 c | 0 | 2527 6611 26546 | 5000 0 nan | 0.000 % | 37.39/37.47 c | 100 | 2527 6611 26546 | 5500 100 21 | 0.000 % | 37.39/37.48 c | 251 | 2527 6611 26546 | 6050 251 26 | 0.000 % | 37.39/37.48 c | 476 | 2527 6611 26546 | 6655 476 24 | 0.000 % | 37.49/37.50 c | 813 | 2527 6611 26546 | 7320 813 26 | 0.000 % | 37.49/37.52 c | 1323 | 2527 6611 26546 | 8052 1323 28 | 0.000 % | 37.49/37.55 c | 2082 | 2527 6611 26546 | 8857 2082 28 | 0.000 % | 37.59/37.60 c | 3221 | 2527 6611 26546 | 9743 3221 27 | 0.000 % | 37.59/37.69 c | 4932 | 2527 6611 26546 | 10717 4932 28 | 0.000 % | 37.79/37.86 c | 7495 | 2527 6611 26546 | 11789 7495 30 | 0.000 % | 38.09/38.13 c | 11339 | 2527 6611 26546 | 12968 11339 30 | 0.000 % | 38.59/38.60 c | 17105 | 2527 6611 26546 | 14265 10577 34 | 0.000 % | 39.39/39.41 c | 25754 | 2527 6611 26546 | 15692 12064 40 | 0.000 % | 40.59/40.66 c | 38729 | 2527 6611 26546 | 17261 9270 36 | 0.000 % | 42.39/42.46 c | 58190 | 2527 6611 26546 | 18987 11376 33 | 0.000 % | 44.29/44.35 c =============================================================================== 44.69/44.74 c core #6 44.69/44.74 c ============================[ Search Statistics ]============================== 44.69/44.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.69/44.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.69/44.74 c =============================================================================== 44.69/44.74 c | 0 | 3010 7382 30209 | 5000 0 nan | 0.000 % | 44.69/44.76 c | 101 | 3010 7382 30209 | 5500 101 24 | 0.000 % | 44.69/44.77 c | 252 | 3010 7382 30209 | 6050 252 20 | 0.000 % | 44.69/44.77 c | 478 | 3010 7382 30209 | 6655 478 25 | 0.000 % | 44.69/44.79 c | 815 | 3010 7382 30209 | 7320 815 25 | 0.000 % | 44.79/44.81 c | 1324 | 3010 7382 30209 | 8052 1324 26 | 0.000 % | 44.79/44.84 c | 2083 | 3010 7382 30209 | 8857 2083 27 | 0.000 % | 44.89/44.90 c | 3225 | 3010 7382 30209 | 9743 3225 29 | 0.000 % | 44.89/44.99 c | 4933 | 3010 7382 30209 | 10717 4933 30 | 0.000 % | 45.09/45.16 c | 7495 | 3010 7382 30209 | 11789 7495 31 | 0.000 % | 45.39/45.44 c | 11341 | 3010 7382 30209 | 12968 11341 32 | 0.000 % | 45.89/45.94 c | 17108 | 3010 7382 30209 | 14265 10591 33 | 0.000 % | 46.69/46.70 c | 25759 | 3010 7382 30209 | 15692 12067 35 | 0.000 % | 47.99/48.04 c | 38735 | 3010 7382 30209 | 17261 9279 34 | 0.000 % | 49.89/49.92 c | 58196 | 3010 7382 30209 | 18987 11394 36 | 0.000 % | 51.49/51.56 c =============================================================================== 51.88/51.92 c core #7 51.88/51.92 c ============================[ Search Statistics ]============================== 51.88/51.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.88/51.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.88/51.92 c =============================================================================== 51.88/51.92 c | 0 | 3459 8147 33790 | 5000 0 nan | 0.000 % | 51.88/51.94 c | 100 | 3459 8147 33790 | 5500 100 25 | 0.000 % | 51.88/51.94 c | 250 | 3459 8147 33790 | 6050 250 25 | 0.000 % | 51.88/51.95 c | 477 | 3459 8147 33790 | 6655 477 28 | 0.000 % | 51.88/51.97 c | 815 | 3459 8147 33790 | 7320 815 28 | 0.000 % | 51.88/51.99 c | 1323 | 3459 8147 33790 | 8052 1323 27 | 0.000 % | 51.98/52.03 c | 2084 | 3459 8147 33790 | 8857 2084 26 | 0.000 % | 51.98/52.08 c | 3223 | 3459 8147 33790 | 9743 3223 27 | 0.000 % | 52.09/52.18 c | 4931 | 3459 8147 33790 | 10717 4931 30 | 0.000 % | 52.29/52.35 c | 7494 | 3459 8147 33790 | 11789 7494 30 | 0.000 % | 52.59/52.66 c | 11338 | 3459 8147 33790 | 12968 11338 32 | 0.000 % | 53.09/53.18 c | 17105 | 3459 8147 33790 | 14265 10580 33 | 0.000 % | 53.89/53.96 c | 25754 | 3459 8147 33790 | 15692 12057 35 | 0.000 % | 55.19/55.25 c | 38730 | 3459 8147 33790 | 17261 9230 38 | 0.000 % | 57.09/57.10 c | 58193 | 3459 8147 33790 | 18987 11346 35 | 0.000 % | 59.79/59.80 c | 87388 | 3459 8147 33790 | 20886 11913 33 | 0.000 % | 64.39/64.44 c | 131178 | 3459 8147 33790 | 22974 13746 35 | 0.000 % | 71.59/71.64 c | 196865 | 3458 8147 33790 | 25272 18997 32 | 0.029 % | 71.69/71.76 c =============================================================================== 72.69/72.70 c core #8 72.69/72.70 c ============================[ Search Statistics ]============================== 72.69/72.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 72.69/72.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 72.69/72.70 c =============================================================================== 72.69/72.70 c | 0 | 3999 8915 37587 | 5000 0 nan | 0.000 % | 72.69/72.72 c | 100 | 3999 8915 37587 | 5500 100 23 | 0.000 % | 72.69/72.73 c | 252 | 3999 8915 37587 | 6050 252 29 | 0.000 % | 72.69/72.74 c | 477 | 3999 8915 37587 | 6655 477 31 | 0.000 % | 72.69/72.75 c | 816 | 3999 8915 37587 | 7320 816 30 | 0.000 % | 72.69/72.77 c | 1323 | 3999 8915 37587 | 8052 1323 30 | 0.000 % | 72.79/72.81 c | 2083 | 3999 8915 37587 | 8857 2083 29 | 0.000 % | 72.79/72.87 c | 3222 | 3999 8915 37587 | 9743 3222 28 | 0.000 % | 72.89/72.96 c | 4931 | 3999 8915 37587 | 10717 4931 29 | 0.000 % | 73.09/73.12 c | 7493 | 3999 8915 37587 | 11789 7493 31 | 0.000 % | 73.39/73.45 c | 11337 | 3999 8915 37587 | 12968 11337 32 | 0.000 % | 73.89/73.98 c | 17104 | 3999 8915 37587 | 14265 10562 35 | 0.000 % | 74.70/74.76 c | 25754 | 3999 8915 37587 | 15692 12026 33 | 0.000 % | 75.90/75.99 c | 38730 | 3999 8915 37587 | 17261 9231 37 | 0.000 % | 77.89/77.99 c | 58192 | 3999 8915 37587 | 18987 11321 38 | 0.000 % | 81.09/81.16 c | 87386 | 3999 8915 37587 | 20886 11899 34 | 0.000 % | 84.29/84.39 c =============================================================================== 84.99/85.00 c core #9 84.99/85.00 c ============================[ Search Statistics ]============================== 84.99/85.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.99/85.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.99/85.00 c =============================================================================== 84.99/85.00 c | 0 | 4529 9688 41378 | 5000 0 nan | 0.000 % | 84.99/85.03 c | 100 | 4529 9688 41378 | 5500 100 20 | 0.000 % | 84.99/85.04 c | 250 | 4529 9688 41378 | 6050 250 19 | 0.000 % | 84.99/85.05 c | 475 | 4529 9688 41378 | 6655 475 21 | 0.000 % | 84.99/85.06 c | 815 | 4529 9688 41378 | 7320 815 23 | 0.000 % | 84.99/85.08 c | 1321 | 4529 9688 41378 | 8052 1321 24 | 0.000 % | 85.09/85.12 c | 2083 | 4529 9688 41378 | 8857 2083 25 | 0.000 % | 85.09/85.19 c | 3222 | 4529 9688 41378 | 9743 3222 27 | 0.000 % | 85.19/85.29 c | 4930 | 4529 9688 41378 | 10717 4930 27 | 0.000 % | 85.39/85.46 c | 7492 | 4529 9688 41378 | 11789 7492 29 | 0.000 % | 85.70/85.73 c | 11337 | 4529 9688 41378 | 12968 11337 29 | 0.000 % | 86.19/86.21 c | 17108 | 4529 9688 41378 | 14265 10586 30 | 0.000 % | 86.90/86.98 c | 25757 | 4529 9688 41378 | 15692 12041 37 | 0.000 % | 88.29/88.34 c | 38731 | 4529 9688 41378 | 17261 9230 38 | 0.000 % | 90.09/90.17 c | 58197 | 4529 9688 41378 | 18987 11326 35 | 0.000 % | 93.49/93.53 c | 87390 | 4529 9688 41378 | 20886 11858 35 | 0.000 % | 97.89/97.98 c | 131179 | 4529 9688 41378 | 22974 13682 34 | 0.000 % | 101.49/101.58 c =============================================================================== 102.30/102.31 c core #10 102.30/102.31 c ============================[ Search Statistics ]============================== 102.30/102.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.30/102.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.30/102.31 c =============================================================================== 102.30/102.31 c | 0 | 5059 10456 45158 | 5000 0 nan | 0.000 % | 102.30/102.34 c | 101 | 5059 10456 45158 | 5500 101 21 | 0.000 % | 102.30/102.35 c | 251 | 5059 10456 45158 | 6050 251 22 | 0.000 % | 102.30/102.36 c | 478 | 5059 10456 45158 | 6655 478 24 | 0.000 % | 102.30/102.37 c | 815 | 5059 10456 45158 | 7320 815 26 | 0.000 % | 102.39/102.40 c | 1322 | 5059 10456 45158 | 8052 1322 26 | 0.000 % | 102.39/102.44 c | 2081 | 5059 10456 45158 | 8857 2081 27 | 0.000 % | 102.49/102.50 c | 3221 | 5059 10456 45158 | 9743 3221 30 | 0.000 % | 102.59/102.62 c | 4929 | 5059 10456 45158 | 10717 4929 31 | 0.000 % | 102.69/102.79 c | 7492 | 5059 10456 45158 | 11789 7492 31 | 0.000 % | 102.99/103.09 c | 11336 | 5059 10456 45158 | 12968 11336 33 | 0.000 % | 103.59/103.65 c | 17103 | 5059 10456 45158 | 14265 10555 36 | 0.000 % | 104.40/104.45 c | 25752 | 5059 10456 45158 | 15692 12023 35 | 0.000 % | 105.89/105.99 c | 38727 | 5059 10456 45158 | 17261 9205 36 | 0.000 % | 107.99/108.02 c | 58188 | 5059 10456 45158 | 18987 11311 36 | 0.000 % | 110.69/110.77 c | 87380 | 5059 10456 45158 | 20886 11879 33 | 0.000 % | 115.60/115.67 c | 131169 | 5059 10456 45158 | 22974 13684 34 | 0.000 % | 122.69/122.79 c | 196856 | 5059 10456 45158 | 25272 21719 35 | 0.000 % | 134.99/135.04 c | 295382 | 5059 10456 45158 | 27799 16902 34 | 0.000 % | 145.00/145.06 c =============================================================================== 146.89/147.00 c core #11 146.89/147.00 c ============================[ Search Statistics ]============================== 146.89/147.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 146.89/147.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 146.89/147.00 c =============================================================================== 146.89/147.00 c | 0 | 5624 11236 49071 | 5000 0 nan | 0.000 % | 146.99/147.02 c | 100 | 5624 11236 49071 | 5500 100 28 | 0.000 % | 146.99/147.04 c | 250 | 5624 11236 49071 | 6050 250 28 | 0.000 % | 146.99/147.05 c | 475 | 5624 11236 49071 | 6655 475 27 | 0.000 % | 146.99/147.07 c | 815 | 5624 11236 49071 | 7320 815 26 | 0.000 % | 147.09/147.10 c | 1322 | 5624 11236 49071 | 8052 1322 27 | 0.000 % | 147.09/147.15 c | 2082 | 5624 11236 49071 | 8857 2082 28 | 0.000 % | 147.19/147.21 c | 3223 | 5624 11236 49071 | 9743 3223 30 | 0.000 % | 147.29/147.33 c | 4934 | 5624 11236 49071 | 10717 4934 31 | 0.000 % | 147.50/147.53 c | 7497 | 5624 11236 49071 | 11789 7497 31 | 0.000 % | 147.79/147.89 c | 11342 | 5624 11236 49071 | 12968 11342 32 | 0.000 % | 148.40/148.41 c | 17109 | 5624 11236 49071 | 14265 10571 32 | 0.000 % | 149.29/149.31 c | 25758 | 5624 11236 49071 | 15692 12054 33 | 0.000 % | 150.60/150.67 c | 38734 | 5624 11236 49071 | 17261 9257 31 | 0.000 % | 152.59/152.69 c | 58195 | 5624 11236 49071 | 18987 11356 36 | 0.000 % | 155.79/155.80 c | 87389 | 5624 11236 49071 | 20886 11929 34 | 0.000 % | 160.60/160.68 c | 131178 | 5624 11236 49071 | 22974 13757 35 | 0.000 % | 168.20/168.22 c | 196862 | 5603 11236 49071 | 25272 10553 32 | 0.373 % | 168.39/168.45 c =============================================================================== 169.59/169.61 c core #12 169.59/169.61 c ============================[ Search Statistics ]============================== 169.59/169.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 169.59/169.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 169.59/169.61 c =============================================================================== 169.59/169.61 c | 0 | 6216 11995 52945 | 5000 0 nan | 0.000 % | 169.59/169.65 c | 102 | 6216 11995 52945 | 5500 102 26 | 0.000 % | 169.59/169.66 c | 252 | 6216 11995 52945 | 6050 252 27 | 0.000 % | 169.59/169.67 c | 479 | 6216 11995 52945 | 6655 479 29 | 0.000 % | 169.59/169.69 c | 817 | 6216 11995 52945 | 7320 817 27 | 0.000 % | 169.70/169.71 c | 1326 | 6216 11995 52945 | 8052 1326 28 | 0.000 % | 169.70/169.76 c | 2087 | 6216 11995 52945 | 8857 2087 30 | 0.000 % | 169.79/169.82 c | 3226 | 6216 11995 52945 | 9743 3226 30 | 0.000 % | 169.89/169.93 c | 4936 | 6216 11995 52945 | 10717 4936 30 | 0.000 % | 170.10/170.16 c | 7499 | 6216 11995 52945 | 11789 7499 32 | 0.000 % | 170.50/170.51 c | 11347 | 6216 11995 52945 | 12968 11347 32 | 0.000 % | 171.09/171.13 c | 17114 | 6216 11995 52945 | 14265 10600 33 | 0.000 % | 171.89/171.97 c | 25763 | 6216 11995 52945 | 15692 12072 33 | 0.000 % | 173.39/173.40 c | 38738 | 6216 11995 52945 | 17261 9239 34 | 0.000 % | 175.29/175.37 c | 58200 | 6216 11995 52945 | 18987 11337 34 | 0.000 % | 178.50/178.54 c | 87392 | 6216 11995 52945 | 20886 11905 33 | 0.000 % | 183.89/183.97 c | 131182 | 6216 11995 52945 | 22974 13724 35 | 0.000 % | 191.49/191.58 c | 196866 | 6216 11995 52945 | 25272 21749 36 | 0.000 % | 205.39/205.42 c | 295395 | 6195 11995 52945 | 27799 8019 31 | 0.338 % | 206.80/206.85 c =============================================================================== 208.59/208.62 c core #13 208.59/208.62 c ============================[ Search Statistics ]============================== 208.59/208.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 208.59/208.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 208.59/208.62 c =============================================================================== 208.59/208.62 c | 0 | 6797 12755 56816 | 5000 0 nan | 0.000 % | 208.59/208.66 c | 100 | 6797 12755 56816 | 5500 100 30 | 0.000 % | 208.59/208.67 c | 250 | 6797 12755 56816 | 6050 250 27 | 0.000 % | 208.59/208.69 c | 476 | 6797 12755 56816 | 6655 476 29 | 0.000 % | 208.69/208.71 c | 814 | 6797 12755 56816 | 7320 814 29 | 0.000 % | 208.69/208.74 c | 1320 | 6797 12755 56816 | 8052 1320 29 | 0.000 % | 208.69/208.79 c | 2080 | 6797 12755 56816 | 8857 2080 28 | 0.000 % | 208.79/208.87 c | 3221 | 6797 12755 56816 | 9743 3221 30 | 0.000 % | 208.90/208.98 c | 4929 | 6797 12755 56816 | 10717 4929 31 | 0.000 % | 209.09/209.17 c | 7492 | 6797 12755 56816 | 11789 7492 30 | 0.000 % | 209.39/209.47 c | 11336 | 6797 12755 56816 | 12968 11336 31 | 0.000 % | 210.00/210.00 c | 17102 | 6797 12755 56816 | 14265 10574 31 | 0.000 % | 210.80/210.86 c | 25753 | 6797 12755 56816 | 15692 12058 33 | 0.000 % | 212.20/212.27 c | 38727 | 6797 12755 56816 | 17261 9229 35 | 0.000 % | 214.29/214.40 c | 58188 | 6797 12755 56816 | 18987 11328 32 | 0.000 % | 217.40/217.46 c | 87382 | 6797 12755 56816 | 20886 11904 36 | 0.000 % | 221.99/222.05 c | 131171 | 6797 12755 56816 | 22974 13744 35 | 0.000 % | 230.39/230.44 c | 196855 | 6797 12755 56816 | 25272 21679 36 | 0.000 % | 243.10/243.15 c | 295381 | 6795 12755 56816 | 27799 22652 32 | 0.029 % | 243.40/243.45 c =============================================================================== 244.79/244.83 c core #14 244.79/244.83 c ============================[ Search Statistics ]============================== 244.79/244.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 244.79/244.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 244.79/244.83 c =============================================================================== 244.79/244.83 c | 0 | 7377 13514 60706 | 5000 0 nan | 0.000 % | 244.79/244.88 c | 104 | 7377 13514 60706 | 5500 104 24 | 0.000 % | 244.79/244.89 c | 255 | 7377 13514 60706 | 6050 255 24 | 0.000 % | 244.89/244.91 c | 481 | 7377 13514 60706 | 6655 481 25 | 0.000 % | 244.89/244.93 c | 818 | 7377 13514 60706 | 7320 818 26 | 0.000 % | 244.89/244.95 c | 1325 | 7377 13514 60706 | 8052 1325 31 | 0.000 % | 245.00/245.02 c | 2085 | 7377 13514 60706 | 8857 2085 29 | 0.000 % | 245.00/245.09 c | 3224 | 7377 13514 60706 | 9743 3224 29 | 0.000 % | 245.20/245.21 c | 4932 | 7377 13514 60706 | 10717 4932 29 | 0.000 % | 245.39/245.41 c | 7496 | 7377 13514 60706 | 11789 7496 30 | 0.000 % | 245.80/245.82 c | 11340 | 7377 13514 60706 | 12968 11340 32 | 0.000 % | 246.60/246.69 c | 17107 | 7377 13514 60706 | 14265 10580 35 | 0.000 % | 247.50/247.58 c | 25756 | 7377 13514 60706 | 15692 11960 37 | 0.000 % | 249.19/249.20 c | 38730 | 7377 13514 60706 | 17261 9096 34 | 0.000 % | 251.09/251.18 c | 58192 | 7377 13514 60706 | 18987 11180 35 | 0.000 % | 254.39/254.46 c | 87384 | 7377 13514 60706 | 20886 11735 34 | 0.000 % | 262.10/262.14 c | 131173 | 7377 13514 60706 | 22974 13570 40 | 0.000 % | 277.20/277.27 c | 196857 | 7377 13514 60706 | 25272 19766 54 | 0.000 % | 292.10/292.18 c | 295383 | 7377 13514 60706 | 27799 14037 40 | 0.000 % | 313.40/313.43 c | 443173 | 7377 13514 60706 | 30579 16480 32 | 0.000 % | 357.40/357.44 c | 664859 | 7377 13514 60706 | 33637 21437 36 | 0.000 % | 423.70/423.76 c =============================================================================== 428.10/428.11 c core #15 428.10/428.11 c ============================[ Search Statistics ]============================== 428.10/428.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 428.10/428.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 428.10/428.11 c =============================================================================== 428.10/428.11 c | 0 | 8159 14273 65071 | 5000 0 nan | 0.000 % | 428.10/428.19 c | 100 | 8159 14273 65071 | 5500 100 19 | 0.000 % | 428.20/428.20 c | 250 | 8159 14273 65071 | 6050 250 20 | 0.000 % | 428.20/428.21 c | 477 | 8159 14273 65071 | 6655 477 25 | 0.000 % | 428.20/428.24 c | 815 | 8159 14273 65071 | 7320 815 25 | 0.000 % | 428.20/428.27 c | 1321 | 8159 14273 65071 | 8052 1321 27 | 0.000 % | 428.29/428.32 c | 2080 | 8159 14273 65071 | 8857 2080 29 | 0.000 % | 428.29/428.38 c | 3223 | 8159 14273 65071 | 9743 3223 28 | 0.000 % | 428.40/428.48 c | 4932 | 8159 14273 65071 | 10717 4932 30 | 0.000 % | 428.60/428.66 c | 7495 | 8159 14273 65071 | 11789 7495 31 | 0.000 % | 428.91/428.99 c | 11339 | 8159 14273 65071 | 12968 11339 31 | 0.000 % | 429.50/429.51 c | 17106 | 8159 14273 65071 | 14265 10576 31 | 0.000 % | 430.20/430.29 c | 25757 | 8159 14273 65071 | 15692 12053 31 | 0.000 % | 433.30/433.39 c | 38732 | 8159 14273 65071 | 17261 16459 47 | 0.000 % | 435.30/435.37 c | 58193 | 8159 14273 65071 | 18987 9574 37 | 0.000 % | 438.80/438.82 c | 87385 | 8159 14273 65071 | 20886 10152 35 | 0.000 % | 444.30/444.38 c | 131175 | 8159 14273 65071 | 22974 11986 38 | 0.000 % | 468.30/468.31 c | 196861 | 8159 14273 65071 | 25272 21465 64 | 0.000 % | 480.61/480.66 c | 295389 | 8159 14273 65071 | 27799 14740 42 | 0.000 % | 516.40/516.41 c | 443180 | 8159 14273 65071 | 30579 21902 42 | 0.000 % | 584.01/584.05 c | 664865 | 8159 14273 65071 | 33637 18750 64 | 0.000 % | 698.90/698.90 c | 997391 | 8159 14273 65071 | 37001 25310 60 | 0.000 % | 965.61/965.64 c | 1496182 | 8109 14273 65071 | 40701 10805 33 | 0.613 % | 1395.62/1395.67 c | 2244364 | 8063 14273 65071 | 44771 29082 76 | 1.177 % | 1437.72/1437.72 c =============================================================================== 1452.82/1452.87 c core #16 1452.82/1452.87 c ============================[ Search Statistics ]============================== 1452.82/1452.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 1452.82/1452.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1452.82/1452.87 c =============================================================================== 1452.82/1452.87 c | 0 | 8964 15021 69427 | 5007 0 nan | 0.000 % | 1452.91/1452.96 c | 105 | 8964 15021 69427 | 5507 105 22 | 0.000 % | 1452.91/1452.98 c | 255 | 8964 15021 69427 | 6058 255 25 | 0.000 % | 1453.02/1453.01 c | 480 | 8964 15021 69427 | 6664 480 29 | 0.000 % | 1453.02/1453.04 c | 817 | 8964 15021 69427 | 7330 817 27 | 0.000 % | 1453.02/1453.07 c | 1326 | 8964 15021 69427 | 8063 1326 28 | 0.000 % | 1453.12/1453.16 c | 2088 | 8964 15021 69427 | 8870 2088 30 | 0.000 % | 1453.21/1453.26 c | 3227 | 8964 15021 69427 | 9757 3227 29 | 0.000 % | 1453.41/1453.40 c | 4935 | 8964 15021 69427 | 10732 4935 30 | 0.000 % | 1453.62/1453.64 c | 7497 | 8964 15021 69427 | 11806 7497 29 | 0.000 % | 1453.92/1453.97 c | 11344 | 8964 15021 69427 | 12986 11344 30 | 0.000 % | 1454.41/1454.48 c | 17110 | 8964 15021 69427 | 14285 10562 32 | 0.000 % | 1455.32/1455.36 c | 25762 | 8964 15021 69427 | 15714 12012 35 | 0.000 % | 1458.41/1458.50 c | 38737 | 8964 15021 69427 | 17285 17073 55 | 0.000 % | 1460.62/1460.69 c | 58198 | 8964 15021 69427 | 19014 10133 35 | 0.000 % | 1464.72/1464.71 c | 87392 | 8964 15021 69427 | 20915 10359 35 | 0.000 % | 1470.32/1470.31 c | 131183 | 8964 15021 69427 | 23007 12161 36 | 0.000 % | 1478.92/1478.95 c | 196870 | 8964 15021 69427 | 25307 20043 39 | 0.000 % | 1492.52/1492.58 c | 295396 | 8964 15021 69427 | 27838 14660 35 | 0.000 % | 1548.41/1548.49 c | 443186 | 8964 15021 69427 | 30622 16103 75 | 0.000 % | 1645.42/1645.49 c | 664873 | 8964 15021 69427 | 33684 30749 68 | 0.000 % | 1693.42/1693.46 c | 997398 | 8964 15021 69427 | 37053 33295 41 | 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-2689985-1277900488/watcher-2689985-1277900488 -o /tmp/evaluation-result-2689985-1277900488/solver-2689985-1277900488 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689985-1277900488.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: 1.92 1.98 1.99 4/196 11319 /proc/meminfo: memFree=30955404/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=2804 CPUtime=0 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 310 0 0 0 0 0 0 0 24 0 1 0 131346088 2871296 228 4089446400 134512640 135751879 4293952160 18446744073709551615 134638015 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11319/statm: 701 228 146 303 0 374 0 [startup+0.0535349 s] /proc/loadavg: 1.92 1.98 1.99 4/196 11319 /proc/meminfo: memFree=30955404/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=3112 CPUtime=0.04 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 443 0 0 0 4 0 0 0 24 0 1 0 131346088 3186688 339 4089446400 134512640 135751879 4293952160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11319/statm: 778 339 143 303 0 473 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3112 [startup+0.100528 s] /proc/loadavg: 1.92 1.98 1.99 4/196 11319 /proc/meminfo: memFree=30955404/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=3508 CPUtime=0.09 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 528 0 0 0 9 0 0 0 24 0 1 0 131346088 3592192 424 4089446400 134512640 135751879 4293952160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11319/statm: 877 424 143 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.300502 s] /proc/loadavg: 1.92 1.98 1.99 4/196 11319 /proc/meminfo: memFree=30955404/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=4564 CPUtime=0.29 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 804 0 0 0 29 0 0 0 25 0 1 0 131346088 4673536 700 4089446400 134512640 135751879 4293952160 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11319/statm: 1141 700 143 303 0 836 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4564 [startup+0.700431 s] /proc/loadavg: 1.92 1.98 1.99 4/196 11319 /proc/meminfo: memFree=30955404/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=6172 CPUtime=0.69 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 1205 0 0 0 67 2 0 0 25 0 1 0 131346088 6320128 1101 4089446400 134512640 135751879 4293952160 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11319/statm: 1543 1101 143 303 0 1238 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6172 [startup+1.50028 s] /proc/loadavg: 1.92 1.98 1.99 3/197 11320 /proc/meminfo: memFree=30951300/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=8944 CPUtime=1.48 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 1906 0 0 0 145 3 0 0 25 0 1 0 131346088 9158656 1802 4089446400 134512640 135751879 4293952160 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11319/statm: 2236 1802 143 303 0 1931 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8944 [startup+3.101 s] /proc/loadavg: 1.93 1.98 1.99 3/197 11320 /proc/meminfo: memFree=30947580/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=13960 CPUtime=3.09 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 3142 0 0 0 303 6 0 0 25 0 1 0 131346088 14295040 3038 4089446400 134512640 135751879 4293952160 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11319/statm: 3490 3038 143 303 0 3185 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13960 [startup+6.30044 s] /proc/loadavg: 1.93 1.98 1.99 3/197 11320 /proc/meminfo: memFree=30937656/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=25372 CPUtime=6.29 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 6012 0 0 0 619 10 0 0 25 0 1 0 131346088 25980928 5908 4089446400 134512640 135751879 4293952160 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11319/statm: 6343 5908 146 303 0 6038 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25372 [startup+12.7003 s] /proc/loadavg: 2.01 2.00 2.00 3/197 11321 /proc/meminfo: memFree=30924652/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=36084 CPUtime=12.69 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 8686 0 0 0 1249 20 0 0 25 0 1 0 131346088 36950016 8582 4089446400 134512640 135751879 4293952160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11319/statm: 9021 8582 146 303 0 8716 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36084 [startup+25.501 s] /proc/loadavg: 2.01 2.00 2.00 3/197 11321 /proc/meminfo: memFree=30901400/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=58596 CPUtime=25.49 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 14321 0 0 0 2514 35 0 0 18 0 1 0 131346088 60002304 14217 4089446400 134512640 135751879 4293952160 18446744073709551615 134611261 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11319/statm: 14649 14217 146 303 0 14344 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 58596 [startup+51.1005 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11322 /proc/meminfo: memFree=30857428/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=102960 CPUtime=51.09 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 25407 0 0 0 5041 68 0 0 25 0 1 0 131346088 105431040 25303 4089446400 134512640 135751879 4293952160 18446744073709551615 134642946 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11319/statm: 25740 25303 146 303 0 25435 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 102960 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11323 /proc/meminfo: memFree=30765632/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=194500 CPUtime=102.3 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 48261 0 0 0 10102 128 0 0 25 0 1 0 131346088 199168000 48157 4089446400 134512640 135751879 4293952160 18446744073709551615 135200509 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11319/statm: 48625 48157 146 303 0 48320 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 194500 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11325 /proc/meminfo: memFree=30676172/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=283648 CPUtime=162.29 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 70676 0 0 0 16036 193 0 0 25 0 1 0 131346088 290455552 70460 4089446400 134512640 135751879 4293952160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11319/statm: 70912 70460 146 303 0 70607 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 283648 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11326 /proc/meminfo: memFree=30595876/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=363380 CPUtime=222.29 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 90663 0 0 0 21981 248 0 0 25 0 1 0 131346088 372101120 90373 4089446400 134512640 135751879 4293952160 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11319/statm: 90845 90373 146 303 0 90540 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 363380 [startup+282.301 s] /proc/loadavg: 1.92 1.98 1.99 2/174 11348 /proc/meminfo: memFree=30961568/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=433616 CPUtime=282.3 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 108272 0 0 0 27933 297 0 0 25 0 1 0 131346088 444022784 107942 4089446400 134512640 135751879 4293952160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 108404 107942 146 303 0 108099 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 433616 [startup+342.301 s] /proc/loadavg: 1.97 1.98 1.99 3/197 11378 /proc/meminfo: memFree=30776432/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=539744 CPUtime=342.3 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 134794 0 0 0 33862 368 0 0 25 0 1 0 131346088 552697856 134464 4089446400 134512640 135751879 4293952160 18446744073709551615 134517568 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 134936 134464 146 303 0 134631 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 539744 [startup+402.3 s] /proc/loadavg: 2.08 2.01 2.00 3/197 11379 /proc/meminfo: memFree=30716472/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=599212 CPUtime=402.3 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 149592 0 0 0 39825 405 0 0 25 0 1 0 131346088 613593088 149262 4089446400 134512640 135751879 4293952160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 149803 149262 146 303 0 149498 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 599212 [startup+462.301 s] /proc/loadavg: 2.03 2.01 2.00 3/197 11381 /proc/meminfo: memFree=30665204/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=648280 CPUtime=462.3 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 161947 0 0 0 45773 457 0 0 25 0 1 0 131346088 663838720 161617 4089446400 134512640 135751879 4293952160 18446744073709551615 134611323 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 162070 161617 146 303 0 161765 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 648280 [startup+522.301 s] /proc/loadavg: 2.01 2.00 2.00 3/197 11382 /proc/meminfo: memFree=30611952/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=702188 CPUtime=522.3 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 175334 0 0 0 51705 525 0 0 25 0 1 0 131346088 719040512 175004 4089446400 134512640 135751879 4293952160 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 175547 175004 146 303 0 175242 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 702188 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11384 /proc/meminfo: memFree=30565884/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=744972 CPUtime=582.31 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 185990 0 0 0 57668 563 0 0 25 0 1 0 131346088 762851328 185660 4089446400 134512640 135751879 4293952160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 186243 185660 146 303 0 185938 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 744972 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11389 /proc/meminfo: memFree=30512508/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=798760 CPUtime=642.31 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 199338 0 0 0 63638 593 0 0 25 0 1 0 131346088 817930240 199008 4089446400 134512640 135751879 4293952160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 199690 199008 146 303 0 199385 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 798760 [startup+702.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.05 2.05 2.01 3/197 11393 /proc/meminfo: memFree=30372340/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=939584 CPUtime=822.3 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 234436 0 0 0 81554 676 0 0 25 0 1 0 131346088 962134016 234106 4089446400 134512640 135751879 4293952160 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11319/statm: 234896 234106 146 303 0 234591 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 939584 [startup+882.3 s] /proc/loadavg: 2.02 2.04 2.00 3/197 11395 /proc/meminfo: memFree=30332728/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=978656 CPUtime=882.3 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 244179 0 0 0 87534 696 0 0 25 0 1 0 131346088 1002143744 243849 4089446400 134512640 135751879 4293952160 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11319/statm: 244664 243849 146 303 0 244359 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 978656 [startup+942.301 s] /proc/loadavg: 2.00 2.03 2.00 3/197 11397 /proc/meminfo: memFree=30292104/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1019280 CPUtime=942.31 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 254291 0 0 0 93513 718 0 0 25 0 1 0 131346088 1043742720 253961 4089446400 134512640 135751879 4293952160 18446744073709551615 134616843 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 254820 253961 146 303 0 254515 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 1019280 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 11398 /proc/meminfo: memFree=30245280/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1065688 CPUtime=1002.31 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 265805 0 0 0 99487 744 0 0 25 0 1 0 131346088 1091264512 265475 4089446400 134512640 135751879 4293952160 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11319/statm: 266422 265475 146 303 0 266117 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1065688 [startup+1062.3 s] /proc/loadavg: 2.44 2.11 2.03 3/197 11400 /proc/meminfo: memFree=30203056/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1107836 CPUtime=1062.31 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 276301 0 0 0 105462 769 0 0 25 0 1 0 131346088 1134424064 275971 4089446400 134512640 135751879 4293952160 18446744073709551615 134602478 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11319/statm: 276959 275971 146 303 0 276654 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1107836 [startup+1122.3 s] /proc/loadavg: 2.16 2.09 2.03 3/197 11401 /proc/meminfo: memFree=30159724/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1150588 CPUtime=1122.31 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 287005 0 0 0 111434 797 0 0 25 0 1 0 131346088 1178202112 286675 4089446400 134512640 135751879 4293952160 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 287647 286675 146 303 0 287342 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1150588 [startup+1182.3 s] /proc/loadavg: 2.06 2.07 2.02 3/179 11458 /proc/meminfo: memFree=30186896/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1189840 CPUtime=1182.31 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 296755 0 0 0 117414 817 0 0 25 0 1 0 131346088 1218396160 296425 4089446400 134512640 135751879 4293952160 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 297460 296425 146 303 0 297155 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1189840 [startup+1242.3 s] /proc/loadavg: 2.02 2.06 2.01 3/179 11460 /proc/meminfo: memFree=30141444/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1234464 CPUtime=1242.31 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 307854 0 0 0 123397 834 0 0 25 0 1 0 131346088 1264091136 307524 4089446400 134512640 135751879 4293952160 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 308616 307524 146 303 0 308311 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1234464 [startup+1302.3 s] /proc/loadavg: 2.00 2.04 2.01 3/179 11461 /proc/meminfo: memFree=30104332/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1271104 CPUtime=1302.32 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 316973 0 0 0 129380 852 0 0 25 0 1 0 131346088 1301610496 316643 4089446400 134512640 135751879 4293952160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 317776 316643 146 303 0 317471 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1271104 [startup+1362.3 s] /proc/loadavg: 2.05 2.05 2.01 3/179 11463 /proc/meminfo: memFree=30063492/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1312052 CPUtime=1362.31 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 327219 0 0 0 135359 872 0 0 25 0 1 0 131346088 1343541248 326889 4089446400 134512640 135751879 4293952160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 328013 326889 146 303 0 327708 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1312052 [startup+1422.31 s] /proc/loadavg: 2.02 2.04 2.00 3/179 11464 /proc/meminfo: memFree=30029092/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1346152 CPUtime=1422.32 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 335729 0 0 0 141346 886 0 0 25 0 1 0 131346088 1378459648 335399 4089446400 134512640 135751879 4293952160 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 336538 335399 146 303 0 336233 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1346152 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/179 11466 /proc/meminfo: memFree=29954004/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1418856 CPUtime=1482.32 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 354495 0 0 0 147297 935 0 0 25 0 1 0 131346088 1452908544 354119 4089446400 134512640 135751879 4293952160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 354714 354119 146 303 0 354409 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1418856 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 11468 /proc/meminfo: memFree=29952976/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1418856 CPUtime=1542.32 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 354653 0 0 0 153259 973 0 0 25 0 1 0 131346088 1452908544 354277 4089446400 134512640 135751879 4293952160 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 354714 354277 146 303 0 354409 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1418856 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 11469 /proc/meminfo: memFree=29925416/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1447200 CPUtime=1602.32 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 361614 0 0 0 159230 1002 0 0 25 0 1 0 131346088 1481932800 361238 4089446400 134512640 135751879 4293952160 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 361800 361238 146 303 0 361495 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1447200 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 11471 /proc/meminfo: memFree=29883192/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1489324 CPUtime=1662.32 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 372103 0 0 0 165192 1040 0 0 25 0 1 0 131346088 1525067776 371727 4089446400 134512640 135751879 4293952160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 372331 371727 146 303 0 372026 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 1489324 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11472 /proc/meminfo: memFree=29821152/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1551444 CPUtime=1722.32 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 387604 0 0 0 171126 1106 0 0 25 0 1 0 131346088 1588678656 387228 4089446400 134512640 135751879 4293952160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 387861 387228 146 303 0 387556 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1551444 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11474 /proc/meminfo: memFree=29786008/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1586308 CPUtime=1782.32 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 396289 0 0 0 177103 1129 0 0 25 0 1 0 131346088 1624379392 395913 4089446400 134512640 135751879 4293952160 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 396577 395913 146 303 0 396272 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 1586308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11474 /proc/meminfo: memFree=29775064/32951124 swapFree=67111528/67111528 [pid=11319] ppid=11317 vsize=1596948 CPUtime=1800.03 /proc/11319/stat : 11319 (wbo1.4a) R 11317 11319 11294 0 -1 4202496 398940 0 0 0 178869 1134 0 0 25 0 1 0 131346088 1635274752 398564 4089446400 134512640 135751879 4293952160 18446744073709551615 134649537 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11319/statm: 399237 398564 146 303 0 398932 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1596948 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.06 CPU time (s): 1800.09 CPU user time (s): 1788.7 CPU system time (s): 11.3963 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1596948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.7 system time used= 11.3963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 398940 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9 involuntary context switches= 7916 runsolver used 2.53761 second user time and 5.73013 second system time The end
Begin job on node108 at 2010-06-30 14:21:29 IDJOB=2689985 IDBENCH=78883 IDSOLVER=1200 FILE ID=node108/2689985-1277900488 PBS_JOBID= 11197240 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564824--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-2689985-1277900488/watcher-2689985-1277900488 -o /tmp/evaluation-result-2689985-1277900488/solver-2689985-1277900488 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689985-1277900488.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bcc83dde29b6f868056a0bfa1b1372de RANDOM SEED=1661366126 node108.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.855 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.71 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.855 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 : 5320.05 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.855 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.855 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.855 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.79 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.855 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.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30955808 kB Buffers: 184140 kB Cached: 1167828 kB SwapCached: 0 kB Active: 1016284 kB Inactive: 835708 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30955808 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2864 kB Writeback: 0 kB AnonPages: 500424 kB Mapped: 20256 kB Slab: 78580 kB PageTables: 5680 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1658112 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= 74208 MiB End job on node108 at 2010-06-30 14:51:31