Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 134.021 | 134.019 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo |
MD5SUM | a7711a7b19a36d7c95277483b0aa560c |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 0.111982 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 64 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1228 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689845-1277896455.wbo. 0.00/0.00 c Instance file HOME/instance-2689845-1277896455.wbo 0.00/0.00 c File size is 10275 bytes. 0.00/0.00 c Highest Coefficient sum: 1228 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 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 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 169 101 1205 | 5500 101 43 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 38 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 34 | 0.004 % | 0.00/0.02 c | 815 | 169 101 1205 | 7320 815 34 | 0.004 % | 0.02/0.03 c | 1322 | 169 101 1205 | 8052 1322 37 | 0.004 % | 0.02/0.06 c | 2082 | 169 101 1205 | 8857 2082 38 | 0.004 % | 0.09/0.10 c | 3221 | 169 101 1205 | 9743 3221 40 | 0.004 % | 0.09/0.16 c | 4931 | 169 101 1205 | 10717 4931 39 | 0.004 % | 0.19/0.29 c | 7493 | 169 101 1205 | 11789 7493 40 | 0.004 % | 0.49/0.55 c | 11337 | 169 101 1205 | 12968 11337 41 | 0.004 % | 0.88/1.00 c | 17104 | 169 101 1205 | 14265 10568 45 | 0.004 % | 1.59/1.60 c | 25755 | 169 101 1205 | 15692 12034 45 | 0.004 % | 2.59/2.63 c | 38734 | 169 101 1205 | 17261 9199 46 | 0.004 % | 4.09/4.10 c | 58196 | 130 101 1205 | 18987 2156 37 | 23.081 % | 4.09/4.11 c =============================================================================== 4.29/4.34 c core #1 4.29/4.34 c ============================[ Search Statistics ]============================== 4.29/4.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.34 c =============================================================================== 4.29/4.34 c | 0 | 230 162 1918 | 5000 0 nan | 0.000 % | 4.29/4.34 c | 105 | 230 162 1918 | 5500 105 44 | 0.002 % | 4.29/4.35 c | 255 | 230 162 1918 | 6050 255 42 | 0.002 % | 4.29/4.35 c | 480 | 230 162 1918 | 6655 480 38 | 0.002 % | 4.29/4.36 c | 818 | 230 162 1918 | 7320 818 36 | 0.002 % | 4.29/4.38 c | 1325 | 230 162 1918 | 8052 1325 35 | 0.002 % | 4.39/4.40 c | 2084 | 230 162 1918 | 8857 2084 35 | 0.002 % | 4.39/4.44 c | 3226 | 230 162 1918 | 9743 3226 37 | 0.002 % | 4.49/4.52 c | 4937 | 230 162 1918 | 10717 4937 38 | 0.002 % | 4.59/4.65 c | 7499 | 230 162 1918 | 11789 7499 39 | 0.002 % | 4.79/4.86 c | 11343 | 230 162 1918 | 12968 11343 40 | 0.002 % | 5.19/5.22 c | 17110 | 230 162 1918 | 14265 10579 43 | 0.002 % | 5.79/5.81 c | 25761 | 230 162 1918 | 15692 12051 43 | 0.002 % | 6.79/6.81 c | 38735 | 230 162 1918 | 17261 9235 45 | 0.002 % | 7.99/8.09 c | 58196 | 230 162 1918 | 18987 11306 46 | 0.002 % | 9.09/9.15 c =============================================================================== 9.39/9.43 c core #2 9.39/9.43 c ============================[ Search Statistics ]============================== 9.39/9.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.43 c =============================================================================== 9.39/9.43 c | 0 | 291 222 2628 | 5000 0 nan | 0.000 % | 9.39/9.44 c | 100 | 291 222 2628 | 5500 100 42 | 0.001 % | 9.39/9.44 c | 252 | 291 222 2628 | 6050 252 36 | 0.001 % | 9.39/9.45 c | 477 | 291 222 2628 | 6655 477 38 | 0.001 % | 9.39/9.46 c | 816 | 291 222 2628 | 7320 816 35 | 0.001 % | 9.39/9.47 c | 1323 | 291 222 2628 | 8052 1323 35 | 0.001 % | 9.39/9.49 c | 2082 | 291 222 2628 | 8857 2082 35 | 0.001 % | 9.49/9.53 c | 3222 | 291 222 2628 | 9743 3222 36 | 0.001 % | 9.59/9.61 c | 4931 | 291 222 2628 | 10717 4931 36 | 0.001 % | 9.68/9.73 c | 7493 | 291 222 2628 | 11789 7493 38 | 0.001 % | 9.89/9.97 c | 11337 | 291 222 2628 | 12968 11337 40 | 0.001 % | 10.28/10.34 c | 17105 | 291 222 2628 | 14265 10566 44 | 0.001 % | 10.90/10.95 c | 25754 | 291 222 2628 | 15692 12026 44 | 0.001 % | 11.89/11.90 c | 38730 | 291 222 2628 | 17261 9212 46 | 0.001 % | 13.39/13.42 c | 58191 | 291 222 2628 | 18987 11310 47 | 0.001 % | 15.59/15.69 c =============================================================================== 15.98/16.05 c core #3 15.98/16.05 c ============================[ Search Statistics ]============================== 15.98/16.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.98/16.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.98/16.05 c =============================================================================== 15.98/16.05 c | 0 | 349 281 3318 | 5000 0 nan | 0.000 % | 15.98/16.06 c | 101 | 349 281 3318 | 5500 101 54 | 0.001 % | 15.98/16.06 c | 252 | 349 281 3318 | 6050 252 40 | 0.001 % | 15.98/16.07 c | 477 | 349 281 3318 | 6655 477 34 | 0.001 % | 15.98/16.08 c | 814 | 349 281 3318 | 7320 814 33 | 0.001 % | 15.98/16.09 c | 1324 | 349 281 3318 | 8052 1324 33 | 0.001 % | 16.09/16.12 c | 2085 | 349 281 3318 | 8857 2085 35 | 0.001 % | 16.09/16.16 c | 3229 | 349 281 3318 | 9743 3229 35 | 0.001 % | 16.19/16.24 c | 4937 | 349 281 3318 | 10717 4937 36 | 0.001 % | 16.29/16.39 c | 7499 | 349 281 3318 | 11789 7499 36 | 0.001 % | 16.59/16.64 c | 11344 | 349 281 3318 | 12968 11344 37 | 0.001 % | 16.99/17.06 c | 17113 | 349 281 3318 | 14265 10574 40 | 0.001 % | 17.60/17.68 c | 25764 | 349 281 3318 | 15692 12043 43 | 0.001 % | 18.60/18.68 c | 38740 | 349 281 3318 | 17261 9225 45 | 0.001 % | 20.09/20.19 c | 58204 | 349 281 3318 | 18987 11314 47 | 0.001 % | 22.58/22.62 c | 87398 | 304 281 3318 | 20886 4891 50 | 12.895 % | 22.89/22.98 c =============================================================================== 23.29/23.36 c core #4 23.29/23.36 c ============================[ Search Statistics ]============================== 23.29/23.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.29/23.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.29/23.36 c =============================================================================== 23.29/23.36 c | 0 | 411 339 4004 | 5000 0 nan | 0.000 % | 23.29/23.37 c | 102 | 411 339 4004 | 5500 102 43 | 0.001 % | 23.29/23.38 c | 252 | 411 339 4004 | 6050 252 34 | 0.001 % | 23.29/23.39 c | 477 | 411 339 4004 | 6655 477 31 | 0.001 % | 23.39/23.40 c | 815 | 411 339 4004 | 7320 815 35 | 0.001 % | 23.39/23.41 c | 1323 | 411 339 4004 | 8052 1323 34 | 0.001 % | 23.39/23.44 c | 2083 | 411 339 4004 | 8857 2083 35 | 0.001 % | 23.39/23.48 c | 3222 | 411 339 4004 | 9743 3222 35 | 0.001 % | 23.49/23.55 c | 4934 | 411 339 4004 | 10717 4934 37 | 0.001 % | 23.59/23.68 c | 7497 | 411 339 4004 | 11789 7497 38 | 0.001 % | 23.89/23.91 c | 11344 | 411 339 4004 | 12968 11344 40 | 0.001 % | 24.29/24.31 c | 17112 | 411 339 4004 | 14265 10573 43 | 0.001 % | 24.89/24.92 c | 25763 | 411 339 4004 | 15692 12046 41 | 0.001 % | 25.89/25.94 c | 38738 | 411 339 4004 | 17261 9214 46 | 0.001 % | 27.39/27.42 c | 58199 | 411 339 4004 | 18987 11290 48 | 0.001 % | 29.79/29.82 c | 87391 | 370 339 4004 | 20886 841 33 | 9.976 % | 30.09/30.13 c =============================================================================== 30.49/30.54 c core #5 30.49/30.54 c ============================[ Search Statistics ]============================== 30.49/30.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.49/30.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.49/30.54 c =============================================================================== 30.49/30.54 c | 0 | 476 397 4696 | 5000 0 nan | 0.000 % | 30.49/30.55 c | 101 | 476 397 4696 | 5500 101 45 | 0.000 % | 30.49/30.55 c | 253 | 476 397 4696 | 6050 253 38 | 0.000 % | 30.49/30.56 c | 482 | 476 397 4696 | 6655 482 36 | 0.000 % | 30.49/30.57 c | 820 | 476 397 4696 | 7320 820 35 | 0.000 % | 30.49/30.59 c | 1327 | 476 397 4696 | 8052 1327 34 | 0.000 % | 30.59/30.61 c | 2087 | 476 397 4696 | 8857 2087 35 | 0.000 % | 30.59/30.66 c | 3226 | 476 397 4696 | 9743 3226 37 | 0.000 % | 30.69/30.73 c | 4934 | 476 397 4696 | 10717 4934 37 | 0.000 % | 30.80/30.88 c | 7497 | 476 397 4696 | 11789 7497 37 | 0.000 % | 31.09/31.10 c | 11342 | 476 397 4696 | 12968 11342 38 | 0.000 % | 31.39/31.48 c | 17112 | 476 397 4696 | 14265 10584 40 | 0.000 % | 32.09/32.12 c | 25761 | 476 397 4696 | 15692 12044 44 | 0.000 % | 33.09/33.14 c | 38735 | 476 397 4696 | 17261 9223 44 | 0.000 % | 34.59/34.64 c | 58196 | 476 397 4696 | 18987 11326 45 | 0.000 % | 36.89/36.97 c | 87391 | 445 397 4696 | 20886 9640 46 | 6.513 % | 37.59/37.69 c =============================================================================== 38.09/38.11 c core #6 38.09/38.11 c ============================[ Search Statistics ]============================== 38.09/38.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.09/38.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.09/38.11 c =============================================================================== 38.09/38.11 c | 0 | 532 454 5360 | 5000 0 nan | 0.000 % | 38.09/38.12 c | 101 | 532 454 5360 | 5500 101 45 | 0.000 % | 38.09/38.13 c | 254 | 532 454 5360 | 6050 254 40 | 0.000 % | 38.09/38.13 c | 481 | 532 454 5360 | 6655 481 37 | 0.000 % | 38.09/38.15 c | 819 | 532 454 5360 | 7320 819 34 | 0.000 % | 38.09/38.16 c | 1325 | 532 454 5360 | 8052 1325 35 | 0.000 % | 38.09/38.19 c | 2084 | 532 454 5360 | 8857 2084 33 | 0.000 % | 38.19/38.23 c | 3224 | 532 454 5360 | 9743 3224 34 | 0.000 % | 38.29/38.31 c | 4933 | 532 454 5360 | 10717 4933 35 | 0.000 % | 38.39/38.45 c | 7500 | 532 454 5360 | 11789 7500 36 | 0.000 % | 38.59/38.68 c | 11345 | 532 454 5360 | 12968 11345 37 | 0.000 % | 38.99/39.06 c | 17112 | 532 454 5360 | 14265 10570 43 | 0.000 % | 39.59/39.65 c | 25766 | 532 454 5360 | 15692 12035 45 | 0.000 % | 40.49/40.56 c | 38740 | 532 454 5360 | 17261 9219 43 | 0.000 % | 41.99/42.05 c | 58203 | 532 454 5360 | 18987 11307 46 | 0.000 % | 44.49/44.50 c | 87396 | 532 454 5360 | 20886 11870 46 | 0.000 % | 46.39/46.48 c =============================================================================== 46.89/46.96 c core #7 46.89/46.96 c ============================[ Search Statistics ]============================== 46.89/46.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.89/46.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.89/46.96 c =============================================================================== 46.89/46.96 c | 0 | 602 509 6027 | 5000 0 nan | 0.000 % | 46.89/46.98 c | 101 | 602 509 6027 | 5500 101 54 | 0.000 % | 46.89/46.98 c | 251 | 602 509 6027 | 6050 251 39 | 0.000 % | 46.89/46.99 c | 476 | 602 509 6027 | 6655 476 39 | 0.000 % | 46.99/47.00 c | 815 | 602 509 6027 | 7320 815 38 | 0.000 % | 46.99/47.02 c | 1321 | 602 509 6027 | 8052 1321 38 | 0.000 % | 46.99/47.05 c | 2080 | 602 509 6027 | 8857 2080 37 | 0.000 % | 47.09/47.10 c | 3220 | 602 509 6027 | 9743 3220 37 | 0.000 % | 47.09/47.17 c | 4928 | 602 509 6027 | 10717 4928 36 | 0.000 % | 47.30/47.30 c | 7491 | 602 509 6027 | 11789 7491 37 | 0.000 % | 47.49/47.52 c | 11335 | 602 509 6027 | 12968 11335 37 | 0.000 % | 47.79/47.87 c | 17101 | 602 509 6027 | 14265 10572 40 | 0.000 % | 48.40/48.47 c | 25751 | 602 509 6027 | 15692 12011 45 | 0.000 % | 49.29/49.38 c | 38727 | 602 509 6027 | 17261 9171 48 | 0.000 % | 50.89/50.94 c | 58191 | 602 509 6027 | 18987 11283 46 | 0.000 % | 53.19/53.27 c | 87384 | 602 509 6027 | 20886 11843 49 | 0.000 % | 56.49/56.55 c =============================================================================== 57.10/57.13 c core #8 57.10/57.13 c ============================[ Search Statistics ]============================== 57.10/57.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.10/57.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.10/57.13 c =============================================================================== 57.10/57.13 c | 0 | 685 563 6707 | 5000 0 nan | 0.000 % | 57.10/57.15 c | 102 | 685 563 6707 | 5500 102 58 | 0.000 % | 57.10/57.15 c | 252 | 685 563 6707 | 6050 252 57 | 0.000 % | 57.10/57.16 c | 478 | 685 563 6707 | 6655 478 48 | 0.000 % | 57.10/57.17 c | 816 | 685 563 6707 | 7320 816 42 | 0.000 % | 57.10/57.19 c | 1323 | 685 563 6707 | 8052 1323 38 | 0.000 % | 57.20/57.21 c | 2083 | 685 563 6707 | 8857 2083 36 | 0.000 % | 57.20/57.25 c | 3222 | 685 563 6707 | 9743 3222 35 | 0.000 % | 57.29/57.33 c | 4930 | 685 563 6707 | 10717 4930 35 | 0.000 % | 57.39/57.46 c | 7494 | 685 563 6707 | 11789 7494 38 | 0.000 % | 57.59/57.69 c | 11338 | 685 563 6707 | 12968 11338 40 | 0.000 % | 57.99/58.09 c | 17106 | 685 563 6707 | 14265 10558 45 | 0.000 % | 58.69/58.72 c | 25756 | 685 563 6707 | 15692 12036 48 | 0.000 % | 59.69/59.77 c | 38730 | 685 563 6707 | 17261 9222 43 | 0.000 % | 61.39/61.41 c | 58191 | 685 563 6707 | 18987 11326 46 | 0.000 % | 63.80/63.88 c | 87384 | 685 563 6707 | 20886 11881 48 | 0.000 % | 67.59/67.62 c | 131174 | 685 563 6707 | 22974 13669 50 | 0.000 % | 69.39/69.45 c =============================================================================== 70.09/70.15 c core #9 70.09/70.15 c ============================[ Search Statistics ]============================== 70.09/70.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 70.09/70.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 70.09/70.15 c =============================================================================== 70.09/70.15 c | 0 | 771 616 7388 | 5000 0 nan | 0.000 % | 70.09/70.17 c | 100 | 771 616 7388 | 5500 100 52 | 0.000 % | 70.09/70.17 c | 251 | 771 616 7388 | 6050 251 42 | 0.000 % | 70.09/70.18 c | 476 | 771 616 7388 | 6655 476 42 | 0.000 % | 70.19/70.20 c | 814 | 771 616 7388 | 7320 814 43 | 0.000 % | 70.19/70.21 c | 1320 | 771 616 7388 | 8052 1320 40 | 0.000 % | 70.19/70.24 c | 2082 | 771 616 7388 | 8857 2082 38 | 0.000 % | 70.19/70.29 c | 3221 | 771 616 7388 | 9743 3221 37 | 0.000 % | 70.29/70.37 c | 4930 | 771 616 7388 | 10717 4930 38 | 0.000 % | 70.49/70.50 c | 7494 | 771 616 7388 | 11789 7494 37 | 0.000 % | 70.69/70.76 c | 11339 | 771 616 7388 | 12968 11339 38 | 0.000 % | 71.09/71.18 c | 17105 | 771 616 7388 | 14265 10562 41 | 0.000 % | 71.69/71.76 c | 25754 | 771 616 7388 | 15692 12014 42 | 0.000 % | 72.89/72.91 c | 38730 | 771 616 7388 | 17261 9189 47 | 0.000 % | 74.49/74.51 c | 58191 | 771 616 7388 | 18987 11287 45 | 0.000 % | 77.00/77.04 c | 87385 | 771 616 7388 | 20886 11820 49 | 0.000 % | 80.49/80.57 c | 131174 | 771 616 7388 | 22974 13623 48 | 0.006 % | 82.50/82.53 c =============================================================================== 83.19/83.21 c core #10 83.19/83.21 c ============================[ Search Statistics ]============================== 83.19/83.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.19/83.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.19/83.21 c =============================================================================== 83.19/83.21 c | 0 | 852 669 8059 | 5000 0 nan | 0.000 % | 83.19/83.23 c | 101 | 852 669 8059 | 5500 101 54 | 0.000 % | 83.19/83.24 c | 251 | 852 669 8059 | 6050 251 43 | 0.000 % | 83.19/83.25 c | 478 | 852 669 8059 | 6655 478 38 | 0.000 % | 83.19/83.26 c | 815 | 852 669 8059 | 7320 815 34 | 0.000 % | 83.19/83.27 c | 1321 | 852 669 8059 | 8052 1321 33 | 0.000 % | 83.29/83.30 c | 2080 | 852 669 8059 | 8857 2080 35 | 0.000 % | 83.29/83.34 c | 3219 | 852 669 8059 | 9743 3219 35 | 0.000 % | 83.39/83.43 c | 4928 | 852 669 8059 | 10717 4928 34 | 0.000 % | 83.50/83.57 c | 7490 | 852 669 8059 | 11789 7490 37 | 0.000 % | 83.69/83.78 c | 11335 | 852 669 8059 | 12968 11335 38 | 0.000 % | 84.09/84.19 c | 17102 | 852 669 8059 | 14265 10553 42 | 0.000 % | 84.79/84.80 c | 25752 | 852 669 8059 | 15692 12019 45 | 0.000 % | 85.80/85.82 c | 38729 | 852 669 8059 | 17261 9189 45 | 0.000 % | 87.39/87.41 c | 58190 | 852 669 8059 | 18987 11211 44 | 0.000 % | 89.69/89.79 c | 87382 | 852 669 8059 | 20886 11738 44 | 0.000 % | 93.59/93.60 c | 131171 | 852 669 8059 | 22974 13520 47 | 0.000 % | 96.39/96.43 c =============================================================================== 97.10/97.17 c core #11 97.10/97.17 c ============================[ Search Statistics ]============================== 97.10/97.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.10/97.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.10/97.17 c =============================================================================== 97.10/97.17 c | 0 | 926 721 8703 | 5000 0 nan | 0.000 % | 97.10/97.19 c | 103 | 926 721 8703 | 5500 103 55 | 0.000 % | 97.20/97.20 c | 255 | 926 721 8703 | 6050 255 43 | 0.000 % | 97.20/97.21 c | 480 | 926 721 8703 | 6655 480 38 | 0.000 % | 97.20/97.22 c | 817 | 926 721 8703 | 7320 817 34 | 0.000 % | 97.20/97.24 c | 1323 | 926 721 8703 | 8052 1323 32 | 0.000 % | 97.20/97.27 c | 2082 | 926 721 8703 | 8857 2082 32 | 0.000 % | 97.29/97.31 c | 3222 | 926 721 8703 | 9743 3222 32 | 0.000 % | 97.29/97.38 c | 4930 | 926 721 8703 | 10717 4930 34 | 0.000 % | 97.49/97.51 c | 7493 | 926 721 8703 | 11789 7493 35 | 0.000 % | 97.69/97.73 c | 11337 | 926 721 8703 | 12968 11337 35 | 0.000 % | 98.09/98.13 c | 17104 | 926 721 8703 | 14265 10575 38 | 0.000 % | 98.80/98.83 c | 25754 | 926 721 8703 | 15692 12040 42 | 0.000 % | 99.80/99.87 c | 38728 | 926 721 8703 | 17261 9218 42 | 0.000 % | 101.29/101.35 c | 58190 | 926 721 8703 | 18987 11314 47 | 0.000 % | 104.29/104.30 c | 87382 | 926 721 8703 | 20886 10978 59 | 0.000 % | 108.09/108.12 c | 131171 | 926 721 8703 | 22974 12756 46 | 0.000 % | 115.09/115.12 c | 196856 | 926 721 8703 | 25272 20696 59 | 0.000 % | 124.59/124.66 c =============================================================================== 125.99/126.07 c core #12 125.99/126.07 c ============================[ Search Statistics ]============================== 125.99/126.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 125.99/126.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 125.99/126.07 c =============================================================================== 125.99/126.07 c | 0 | 1025 773 9397 | 5000 0 nan | 0.000 % | 126.09/126.10 c | 101 | 1025 773 9397 | 5500 101 62 | 0.000 % | 126.09/126.11 c | 251 | 1025 773 9397 | 6050 251 43 | 0.000 % | 126.09/126.12 c | 477 | 1025 773 9397 | 6655 477 37 | 0.000 % | 126.09/126.13 c | 814 | 1025 773 9397 | 7320 814 34 | 0.000 % | 126.09/126.15 c | 1321 | 1025 773 9397 | 8052 1321 34 | 0.000 % | 126.09/126.18 c | 2082 | 1025 773 9397 | 8857 2082 37 | 0.000 % | 126.20/126.23 c | 3224 | 1025 773 9397 | 9743 3224 37 | 0.000 % | 126.29/126.32 c | 4932 | 1025 773 9397 | 10717 4932 37 | 0.000 % | 126.40/126.48 c | 7495 | 1025 773 9397 | 11789 7495 37 | 0.000 % | 126.70/126.72 c | 11339 | 1025 773 9397 | 12968 11339 37 | 0.000 % | 127.10/127.16 c | 17108 | 1025 773 9397 | 14265 10589 38 | 0.000 % | 127.69/127.74 c | 25760 | 1025 773 9397 | 15692 12039 42 | 0.000 % | 128.79/128.85 c | 38736 | 1025 773 9397 | 17261 9228 41 | 0.000 % | 130.29/130.38 c | 58198 | 1025 773 9397 | 18987 11337 43 | 0.000 % | 134.00/134.00 c =============================================================================== 134.00/134.00 c #cores: 12 134.00/134.00 c Final Weight: 12 134.00/134.00 o 12 134.00/134.00 s OPTIMUM FOUND 134.00/134.00 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 134.00/134.00 c Total CPU time: 131.729 s
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689845-1277896455/watcher-2689845-1277896455 -o /tmp/evaluation-result-2689845-1277896455/solver-2689845-1277896455 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689845-1277896455.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.09 2.04 3/196 22860 /proc/meminfo: memFree=31286848/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=2576 CPUtime=0 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 291 0 0 0 0 0 0 0 21 0 1 0 163237202 2637824 206 4089446400 134512640 135751879 4289572224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22860/statm: 644 206 143 303 0 339 0 [startup+0.0273 s] /proc/loadavg: 2.06 2.09 2.04 3/196 22860 /proc/meminfo: memFree=31286848/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=2840 CPUtime=0.02 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 349 0 0 0 2 0 0 0 21 0 1 0 163237202 2908160 264 4089446400 134512640 135751879 4289572224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22860/statm: 710 264 143 303 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2840 [startup+0.100287 s] /proc/loadavg: 2.06 2.09 2.04 3/196 22860 /proc/meminfo: memFree=31286848/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=3500 CPUtime=0.09 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 516 0 0 0 9 0 0 0 21 0 1 0 163237202 3584000 431 4089446400 134512640 135751879 4289572224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22860/statm: 875 431 143 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.30025 s] /proc/loadavg: 2.06 2.09 2.04 3/196 22860 /proc/meminfo: memFree=31286848/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=4820 CPUtime=0.29 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 848 0 0 0 28 1 0 0 21 0 1 0 163237202 4935680 763 4089446400 134512640 135751879 4289572224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22860/statm: 1205 763 143 303 0 900 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4820 [startup+0.700177 s] /proc/loadavg: 2.06 2.09 2.04 3/196 22860 /proc/meminfo: memFree=31286848/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=6540 CPUtime=0.69 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 1290 0 0 0 67 2 0 0 22 0 1 0 163237202 6696960 1205 4089446400 134512640 135751879 4289572224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 1635 1205 143 303 0 1330 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6540 [startup+1.50103 s] /proc/loadavg: 2.06 2.09 2.04 3/197 22861 /proc/meminfo: memFree=31280888/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=10104 CPUtime=1.49 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 2184 0 0 0 146 3 0 0 25 0 1 0 163237202 10346496 2099 4089446400 134512640 135751879 4289572224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 2526 2099 143 303 0 2221 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10104 [startup+3.1008 s] /proc/loadavg: 2.06 2.09 2.04 3/197 22861 /proc/meminfo: memFree=31276176/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=16836 CPUtime=3.09 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 3857 0 0 0 303 6 0 0 25 0 1 0 163237202 17240064 3772 4089446400 134512640 135751879 4289572224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 4209 3772 143 303 0 3904 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16836 [startup+6.30021 s] /proc/loadavg: 2.06 2.09 2.03 3/197 22861 /proc/meminfo: memFree=31266360/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=24756 CPUtime=6.29 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 5845 0 0 0 616 13 0 0 25 0 1 0 163237202 25350144 5760 4089446400 134512640 135751879 4289572224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 6189 5760 146 303 0 5884 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24756 [startup+12.701 s] /proc/loadavg: 2.05 2.09 2.03 3/197 22861 /proc/meminfo: memFree=31247652/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=43908 CPUtime=12.69 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 10623 0 0 0 1244 25 0 0 25 0 1 0 163237202 44961792 10538 4089446400 134512640 135751879 4289572224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 10977 10538 146 303 0 10672 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43908 [startup+25.5006 s] /proc/loadavg: 2.04 2.08 2.03 3/197 22862 /proc/meminfo: memFree=31210524/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=78740 CPUtime=25.49 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 19347 0 0 0 2500 49 0 0 25 0 1 0 163237202 80629760 19262 4089446400 134512640 135751879 4289572224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 19685 19262 146 303 0 19380 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78740 [startup+51.101 s] /proc/loadavg: 2.03 2.08 2.03 3/197 22863 /proc/meminfo: memFree=31143980/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=146180 CPUtime=51.09 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 36202 0 0 0 5014 95 0 0 25 0 1 0 163237202 149688320 36117 4089446400 134512640 135751879 4289572224 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 36545 36117 146 303 0 36240 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 146180 [startup+102.307 s] /proc/loadavg: 2.01 2.06 2.03 3/197 22864 /proc/meminfo: memFree=31015476/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=272248 CPUtime=102.3 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 67720 0 0 0 10045 185 0 0 25 0 1 0 163237202 278781952 67635 4089446400 134512640 135751879 4289572224 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 68062 67635 146 303 0 67757 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 272248 Solver just ended. Dumping a history of the last processes samples [startup+115.1 s] /proc/loadavg: 2.01 2.06 2.02 3/197 22864 /proc/meminfo: memFree=30978380/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=311908 CPUtime=115.09 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 77612 0 0 0 11306 203 0 0 25 0 1 0 163237202 319393792 77527 4089446400 134512640 135751879 4289572224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 77977 77527 146 303 0 77672 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 311908 [startup+121.5 s] /proc/loadavg: 2.01 2.06 2.02 3/197 22865 /proc/meminfo: memFree=30957296/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=331620 CPUtime=121.49 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 82543 0 0 0 11937 212 0 0 25 0 1 0 163237202 339578880 82458 4089446400 134512640 135751879 4289572224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 82905 82458 146 303 0 82600 0 Current children cumulated CPU time (s) 121.49 Current children cumulated vsize (KiB) 331620 [startup+127.901 s] /proc/loadavg: 2.01 2.06 2.02 3/197 22865 /proc/meminfo: memFree=30930760/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=351704 CPUtime=127.89 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 87583 0 0 0 12570 219 0 0 25 0 1 0 163237202 360144896 87498 4089446400 134512640 135751879 4289572224 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 87926 87498 146 303 0 87621 0 Current children cumulated CPU time (s) 127.89 Current children cumulated vsize (KiB) 351704 [startup+131.1 s] /proc/loadavg: 2.00 2.05 2.02 3/197 22865 /proc/meminfo: memFree=30930636/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=351704 CPUtime=131.09 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 87590 0 0 0 12884 225 0 0 25 0 1 0 163237202 360144896 87505 4089446400 134512640 135751879 4289572224 18446744073709551615 134610720 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 87926 87505 146 303 0 87621 0 Current children cumulated CPU time (s) 131.09 Current children cumulated vsize (KiB) 351704 [startup+132.701 s] /proc/loadavg: 2.00 2.05 2.02 3/197 22865 /proc/meminfo: memFree=30930636/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=351704 CPUtime=132.69 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 87590 0 0 0 13043 226 0 0 25 0 1 0 163237202 360144896 87505 4089446400 134512640 135751879 4289572224 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 87926 87505 146 303 0 87621 0 Current children cumulated CPU time (s) 132.69 Current children cumulated vsize (KiB) 351704 [startup+133.501 s] /proc/loadavg: 2.00 2.05 2.02 3/197 22865 /proc/meminfo: memFree=30930756/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=352364 CPUtime=133.49 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 87729 0 0 0 13122 227 0 0 25 0 1 0 163237202 360820736 87644 4089446400 134512640 135751879 4289572224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 88091 87644 146 303 0 87786 0 Current children cumulated CPU time (s) 133.49 Current children cumulated vsize (KiB) 352364 [startup+133.901 s] /proc/loadavg: 2.00 2.05 2.02 3/197 22865 /proc/meminfo: memFree=30930756/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=353028 CPUtime=133.89 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 87892 0 0 0 13162 227 0 0 25 0 1 0 163237202 361500672 87807 4089446400 134512640 135751879 4289572224 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 88257 87807 146 303 0 87952 0 Current children cumulated CPU time (s) 133.89 Current children cumulated vsize (KiB) 353028 [startup+134.001 s] /proc/loadavg: 2.00 2.05 2.02 3/197 22865 /proc/meminfo: memFree=30930756/32950928 swapFree=67111528/67111528 [pid=22860] ppid=22858 vsize=353028 CPUtime=134 /proc/22860/stat : 22860 (wbo1.4a) R 22858 22860 21225 0 -1 4202496 87920 0 0 0 13172 228 0 0 25 0 1 0 163237202 361500672 87835 4089446400 134512640 135751879 4289572224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22860/statm: 88257 87835 146 303 0 87952 0 Current children cumulated CPU time (s) 134 Current children cumulated vsize (KiB) 353028 Child status: 0 Real time (s): 134.019 CPU time (s): 134.021 CPU user time (s): 131.729 CPU system time (s): 2.29165 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 353028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 131.729 system time used= 2.29165 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87923 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= 6 involuntary context switches= 99 runsolver used 0.19297 second user time and 0.434933 second system time The end
Begin job on node116 at 2010-06-30 13:14:15 IDJOB=2689845 IDBENCH=78785 IDSOLVER=1200 FILE ID=node116/2689845-1277896455 PBS_JOBID= 11197121 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689845-1277896455/watcher-2689845-1277896455 -o /tmp/evaluation-result-2689845-1277896455/solver-2689845-1277896455 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689845-1277896455.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a7711a7b19a36d7c95277483b0aa560c RANDOM SEED=329229599 node116.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.838 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.67 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.838 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 : 5381.00 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.838 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.838 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.75 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.838 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.76 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.838 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.77 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.838 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31287500 kB Buffers: 178044 kB Cached: 998360 kB SwapCached: 0 kB Active: 816208 kB Inactive: 704768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31287500 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 344612 kB Mapped: 20452 kB Slab: 77900 kB PageTables: 5264 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1660084 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 node116 at 2010-06-30 13:16:29