Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 107.816 | 107.813 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo |
MD5SUM | 2781b3371b432984c0fe1e8064068870 |
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 | 1.20082 |
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 | 42 |
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 | 1838 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 1837 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1227 |
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-2689894-1277897904.wbo. 0.00/0.00 c Instance file HOME/instance-2689894-1277897904.wbo 0.00/0.00 c File size is 10178 bytes. 0.00/0.00 c Highest Coefficient sum: 1227 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 | 100 | 169 101 1205 | 5500 100 29 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 30 | 0.004 % | 0.00/0.01 c | 477 | 169 101 1205 | 6655 477 30 | 0.004 % | 0.00/0.02 c | 814 | 169 101 1205 | 7320 814 33 | 0.004 % | 0.00/0.03 c | 1320 | 169 101 1205 | 8052 1320 36 | 0.004 % | 0.00/0.05 c | 2081 | 169 101 1205 | 8857 2081 37 | 0.004 % | 0.08/0.09 c | 3220 | 169 101 1205 | 9743 3220 37 | 0.004 % | 0.09/0.15 c | 4930 | 169 101 1205 | 10717 4930 37 | 0.004 % | 0.19/0.27 c | 7493 | 169 101 1205 | 11789 7493 38 | 0.004 % | 0.39/0.48 c | 11337 | 169 101 1205 | 12968 11337 38 | 0.004 % | 0.79/0.83 c | 17103 | 169 101 1205 | 14265 10572 42 | 0.004 % | 1.29/1.38 c | 25752 | 169 101 1205 | 15692 12041 46 | 0.004 % | 2.20/2.25 c | 38726 | 169 101 1205 | 17261 9227 44 | 0.004 % | 3.59/3.60 c | 58188 | 169 101 1205 | 18987 11308 46 | 0.004 % | 5.19/5.21 c =============================================================================== 5.39/5.48 c core #1 5.39/5.48 c ============================[ Search Statistics ]============================== 5.39/5.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.39/5.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.39/5.48 c =============================================================================== 5.39/5.48 c | 0 | 210 142 1713 | 5000 0 nan | 0.000 % | 5.39/5.49 c | 100 | 210 142 1713 | 5500 100 29 | 0.002 % | 5.39/5.49 c | 250 | 210 142 1713 | 6050 250 28 | 0.002 % | 5.39/5.50 c | 475 | 210 142 1713 | 6655 475 32 | 0.002 % | 5.49/5.51 c | 812 | 210 142 1713 | 7320 812 32 | 0.002 % | 5.49/5.52 c | 1318 | 210 142 1713 | 8052 1318 33 | 0.002 % | 5.49/5.54 c | 2077 | 210 142 1713 | 8857 2077 33 | 0.002 % | 5.49/5.58 c | 3217 | 210 142 1713 | 9743 3217 37 | 0.002 % | 5.59/5.66 c | 4925 | 210 142 1713 | 10717 4925 38 | 0.002 % | 5.69/5.78 c | 7489 | 210 142 1713 | 11789 7489 39 | 0.002 % | 5.99/6.03 c | 11334 | 210 142 1713 | 12968 11334 40 | 0.002 % | 6.39/6.40 c | 17100 | 210 142 1713 | 14265 10572 42 | 0.002 % | 6.89/6.99 c | 25749 | 210 142 1713 | 15692 12038 43 | 0.002 % | 7.89/7.99 c | 38723 | 210 142 1713 | 17261 9216 47 | 0.002 % | 9.49/9.56 c | 58185 | 210 142 1713 | 18987 11307 48 | 0.002 % | 10.79/10.87 c =============================================================================== 11.09/11.15 c core #2 11.09/11.15 c ============================[ Search Statistics ]============================== 11.09/11.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.09/11.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.09/11.15 c =============================================================================== 11.09/11.15 c | 0 | 249 182 2204 | 5000 0 nan | 0.000 % | 11.09/11.16 c | 100 | 249 182 2204 | 5500 100 32 | 0.002 % | 11.09/11.16 c | 250 | 249 182 2204 | 6050 250 32 | 0.002 % | 11.09/11.17 c | 477 | 249 182 2204 | 6655 477 34 | 0.002 % | 11.09/11.18 c | 814 | 249 182 2204 | 7320 814 35 | 0.002 % | 11.09/11.19 c | 1321 | 249 182 2204 | 8052 1321 36 | 0.002 % | 11.19/11.22 c | 2080 | 249 182 2204 | 8857 2080 36 | 0.002 % | 11.19/11.26 c | 3219 | 249 182 2204 | 9743 3219 35 | 0.002 % | 11.29/11.33 c | 4931 | 249 182 2204 | 10717 4931 37 | 0.002 % | 11.40/11.48 c | 7495 | 249 182 2204 | 11789 7495 40 | 0.002 % | 11.70/11.73 c | 11340 | 249 182 2204 | 12968 11340 41 | 0.002 % | 12.10/12.12 c | 17106 | 249 182 2204 | 14265 10588 45 | 0.002 % | 12.69/12.76 c | 25757 | 249 182 2204 | 15692 12061 43 | 0.002 % | 13.79/13.80 c | 38731 | 249 182 2204 | 17261 9228 46 | 0.002 % | 15.30/15.36 c | 58193 | 249 182 2204 | 18987 11322 47 | 0.002 % | 16.89/16.91 c =============================================================================== 17.19/17.20 c core #3 17.19/17.20 c ============================[ Search Statistics ]============================== 17.19/17.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.19/17.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.19/17.20 c =============================================================================== 17.19/17.20 c | 0 | 290 222 2699 | 5000 0 nan | 0.000 % | 17.19/17.21 c | 100 | 290 222 2699 | 5500 100 35 | 0.001 % | 17.19/17.22 c | 252 | 290 222 2699 | 6050 252 34 | 0.001 % | 17.19/17.22 c | 477 | 290 222 2699 | 6655 477 32 | 0.001 % | 17.19/17.23 c | 814 | 290 222 2699 | 7320 814 31 | 0.001 % | 17.19/17.25 c | 1321 | 290 222 2699 | 8052 1321 34 | 0.001 % | 17.19/17.27 c | 2080 | 290 222 2699 | 8857 2080 37 | 0.001 % | 17.29/17.32 c | 3220 | 290 222 2699 | 9743 3220 38 | 0.001 % | 17.29/17.39 c | 4929 | 290 222 2699 | 10717 4929 38 | 0.001 % | 17.49/17.51 c | 7491 | 290 222 2699 | 11789 7491 38 | 0.001 % | 17.69/17.76 c | 11337 | 290 222 2699 | 12968 11337 40 | 0.001 % | 18.09/18.16 c | 17104 | 290 222 2699 | 14265 10571 43 | 0.001 % | 18.79/18.84 c | 25753 | 290 222 2699 | 15692 12038 46 | 0.001 % | 19.79/19.85 c | 38732 | 290 222 2699 | 17261 9231 48 | 0.001 % | 21.39/21.42 c | 58193 | 290 222 2699 | 18987 11324 48 | 0.001 % | 24.30/24.30 c | 87386 | 253 222 2699 | 20886 2484 46 | 12.760 % | 25.09/25.20 c =============================================================================== 25.49/25.59 c core #4 25.49/25.59 c ============================[ Search Statistics ]============================== 25.49/25.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.49/25.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.49/25.59 c =============================================================================== 25.49/25.59 c | 0 | 328 260 3178 | 5000 0 nan | 0.000 % | 25.59/25.60 c | 102 | 328 260 3178 | 5500 102 34 | 0.001 % | 25.59/25.61 c | 252 | 328 260 3178 | 6050 252 38 | 0.001 % | 25.59/25.62 c | 477 | 328 260 3178 | 6655 477 35 | 0.001 % | 25.59/25.63 c | 815 | 328 260 3178 | 7320 815 38 | 0.001 % | 25.59/25.64 c | 1321 | 328 260 3178 | 8052 1321 36 | 0.001 % | 25.59/25.67 c | 2080 | 328 260 3178 | 8857 2080 35 | 0.001 % | 25.69/25.71 c | 3222 | 328 260 3178 | 9743 3222 36 | 0.001 % | 25.69/25.77 c | 4930 | 328 260 3178 | 10717 4930 37 | 0.001 % | 25.89/25.90 c | 7492 | 328 260 3178 | 11789 7492 39 | 0.001 % | 26.09/26.12 c | 11337 | 328 260 3178 | 12968 11337 39 | 0.001 % | 26.39/26.46 c | 17103 | 328 260 3178 | 14265 10564 41 | 0.001 % | 26.99/27.08 c | 25753 | 328 260 3178 | 15692 12034 44 | 0.001 % | 28.09/28.12 c | 38728 | 328 260 3178 | 17261 9227 46 | 0.001 % | 29.50/29.58 c | 58190 | 328 260 3178 | 18987 11315 50 | 0.001 % | 31.09/31.19 c =============================================================================== 31.39/31.49 c core #5 31.39/31.49 c ============================[ Search Statistics ]============================== 31.39/31.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.39/31.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.39/31.49 c =============================================================================== 31.39/31.49 c | 0 | 374 302 3707 | 5000 0 nan | 0.000 % | 31.49/31.50 c | 102 | 374 302 3707 | 5500 102 31 | 0.001 % | 31.49/31.50 c | 252 | 374 302 3707 | 6050 252 32 | 0.001 % | 31.49/31.51 c | 477 | 374 302 3707 | 6655 477 33 | 0.001 % | 31.49/31.52 c | 815 | 374 302 3707 | 7320 815 33 | 0.001 % | 31.49/31.53 c | 1322 | 374 302 3707 | 8052 1322 35 | 0.001 % | 31.49/31.56 c | 2081 | 374 302 3707 | 8857 2081 37 | 0.001 % | 31.59/31.60 c | 3223 | 374 302 3707 | 9743 3223 35 | 0.001 % | 31.59/31.67 c | 4933 | 374 302 3707 | 10717 4933 36 | 0.001 % | 31.79/31.80 c | 7498 | 374 302 3707 | 11789 7498 37 | 0.001 % | 31.99/32.03 c | 11342 | 374 302 3707 | 12968 11342 38 | 0.001 % | 32.40/32.43 c | 17109 | 374 302 3707 | 14265 10565 43 | 0.001 % | 32.99/33.03 c | 25759 | 374 302 3707 | 15692 12020 47 | 0.001 % | 34.00/34.03 c | 38734 | 374 302 3707 | 17261 9196 45 | 0.001 % | 35.49/35.52 c | 58196 | 374 302 3707 | 18987 11303 47 | 0.001 % | 37.89/37.98 c | 87388 | 345 302 3707 | 20886 3200 39 | 7.755 % | 37.99/38.07 c =============================================================================== 38.40/38.44 c core #6 38.40/38.44 c ============================[ Search Statistics ]============================== 38.40/38.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.40/38.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.40/38.44 c =============================================================================== 38.40/38.44 c | 0 | 415 342 4206 | 5000 0 nan | 0.000 % | 38.40/38.45 c | 102 | 415 342 4206 | 5500 102 29 | 0.001 % | 38.40/38.45 c | 252 | 415 342 4206 | 6050 252 33 | 0.001 % | 38.40/38.46 c | 478 | 415 342 4206 | 6655 478 34 | 0.001 % | 38.40/38.47 c | 817 | 415 342 4206 | 7320 817 33 | 0.001 % | 38.40/38.49 c | 1324 | 415 342 4206 | 8052 1324 33 | 0.001 % | 38.49/38.52 c | 2083 | 415 342 4206 | 8857 2083 35 | 0.001 % | 38.49/38.56 c | 3222 | 415 342 4206 | 9743 3222 34 | 0.001 % | 38.60/38.63 c | 4931 | 415 342 4206 | 10717 4931 36 | 0.001 % | 38.70/38.76 c | 7494 | 415 342 4206 | 11789 7494 37 | 0.001 % | 38.89/38.98 c | 11338 | 415 342 4206 | 12968 11338 39 | 0.001 % | 39.29/39.36 c | 17106 | 415 342 4206 | 14265 10564 40 | 0.001 % | 39.89/39.93 c | 25757 | 415 342 4206 | 15692 12031 42 | 0.001 % | 40.89/40.95 c | 38734 | 415 342 4206 | 17261 9194 46 | 0.001 % | 42.49/42.54 c | 58195 | 415 342 4206 | 18987 11271 48 | 0.001 % | 45.10/45.18 c | 87388 | 415 342 4206 | 20886 11825 49 | 0.001 % | 45.89/45.92 c =============================================================================== 46.29/46.32 c core #7 46.29/46.32 c ============================[ Search Statistics ]============================== 46.29/46.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.29/46.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.29/46.32 c =============================================================================== 46.29/46.32 c | 0 | 466 384 4753 | 5000 0 nan | 0.000 % | 46.29/46.33 c | 100 | 466 384 4753 | 5500 100 32 | 0.000 % | 46.29/46.33 c | 251 | 466 384 4753 | 6050 251 32 | 0.000 % | 46.29/46.34 c | 478 | 466 384 4753 | 6655 478 40 | 0.000 % | 46.29/46.35 c | 815 | 466 384 4753 | 7320 815 38 | 0.000 % | 46.29/46.37 c | 1321 | 466 384 4753 | 8052 1321 37 | 0.000 % | 46.29/46.39 c | 2080 | 466 384 4753 | 8857 2080 38 | 0.000 % | 46.39/46.44 c | 3219 | 466 384 4753 | 9743 3219 37 | 0.000 % | 46.49/46.51 c | 4927 | 466 384 4753 | 10717 4927 36 | 0.000 % | 46.59/46.65 c | 7489 | 466 384 4753 | 11789 7489 36 | 0.000 % | 46.80/46.88 c | 11335 | 466 384 4753 | 12968 11335 38 | 0.000 % | 47.20/47.24 c | 17101 | 466 384 4753 | 14265 10566 39 | 0.000 % | 47.79/47.81 c | 25751 | 466 384 4753 | 15692 12036 42 | 0.000 % | 48.79/48.89 c | 38725 | 466 384 4753 | 17261 9219 44 | 0.000 % | 50.39/50.50 c | 58186 | 466 384 4753 | 18987 11314 46 | 0.000 % | 52.89/52.96 c | 87379 | 429 384 4753 | 20886 4462 48 | 7.940 % | 53.59/53.60 c =============================================================================== 53.99/54.00 c core #8 53.99/54.00 c ============================[ Search Statistics ]============================== 53.99/54.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 53.99/54.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 53.99/54.00 c =============================================================================== 53.99/54.00 c | 0 | 505 421 5228 | 5000 0 nan | 0.000 % | 53.99/54.01 c | 101 | 505 421 5228 | 5500 101 29 | 0.000 % | 53.99/54.02 c | 254 | 505 421 5228 | 6050 254 29 | 0.000 % | 53.99/54.02 c | 479 | 505 421 5228 | 6655 479 31 | 0.000 % | 53.99/54.03 c | 817 | 505 421 5228 | 7320 817 34 | 0.000 % | 53.99/54.05 c | 1324 | 505 421 5228 | 8052 1324 32 | 0.000 % | 53.99/54.08 c | 2086 | 505 421 5228 | 8857 2086 34 | 0.000 % | 54.10/54.13 c | 3226 | 505 421 5228 | 9743 3226 36 | 0.000 % | 54.19/54.21 c | 4935 | 505 421 5228 | 10717 4935 38 | 0.000 % | 54.30/54.36 c | 7497 | 505 421 5228 | 11789 7497 39 | 0.000 % | 54.59/54.62 c | 11341 | 505 421 5228 | 12968 11341 39 | 0.000 % | 55.00/55.05 c | 17108 | 505 421 5228 | 14265 10576 41 | 0.000 % | 55.59/55.67 c | 25757 | 505 421 5228 | 15692 12040 45 | 0.000 % | 56.59/56.69 c | 38735 | 505 421 5228 | 17261 9235 47 | 0.000 % | 58.20/58.22 c | 58196 | 505 421 5228 | 18987 11331 47 | 0.000 % | 60.59/60.64 c | 87389 | 505 421 5228 | 20886 11873 49 | 0.012 % | 61.09/61.14 c =============================================================================== 61.49/61.54 c core #9 61.49/61.54 c ============================[ Search Statistics ]============================== 61.49/61.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.49/61.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.49/61.54 c =============================================================================== 61.49/61.54 c | 0 | 568 462 5781 | 5000 0 nan | 0.000 % | 61.49/61.55 c | 101 | 568 462 5781 | 5500 101 33 | 0.000 % | 61.49/61.56 c | 251 | 568 462 5781 | 6050 251 32 | 0.000 % | 61.49/61.56 c | 476 | 568 462 5781 | 6655 476 31 | 0.000 % | 61.49/61.58 c | 813 | 568 462 5781 | 7320 813 29 | 0.000 % | 61.49/61.59 c | 1319 | 568 462 5781 | 8052 1319 29 | 0.000 % | 61.60/61.62 c | 2078 | 568 462 5781 | 8857 2078 31 | 0.000 % | 61.60/61.66 c | 3220 | 568 462 5781 | 9743 3220 33 | 0.000 % | 61.69/61.75 c | 4930 | 568 462 5781 | 10717 4930 34 | 0.000 % | 61.79/61.89 c | 7492 | 568 462 5781 | 11789 7492 36 | 0.000 % | 62.09/62.16 c | 11338 | 568 462 5781 | 12968 11338 37 | 0.000 % | 62.49/62.56 c | 17104 | 568 462 5781 | 14265 10576 40 | 0.000 % | 63.09/63.16 c | 25753 | 568 462 5781 | 15692 12046 43 | 0.000 % | 64.09/64.15 c | 38727 | 568 462 5781 | 17261 9241 44 | 0.000 % | 65.69/65.79 c | 58188 | 568 462 5781 | 18987 11330 49 | 0.000 % | 68.39/68.43 c | 87380 | 568 462 5781 | 20886 11882 47 | 0.000 % | 70.70/70.71 c =============================================================================== 71.10/71.18 c core #10 71.10/71.18 c ============================[ Search Statistics ]============================== 71.10/71.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 71.10/71.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 71.10/71.18 c =============================================================================== 71.10/71.18 c | 0 | 636 502 6362 | 5000 0 nan | 0.000 % | 71.10/71.19 c | 100 | 636 502 6362 | 5500 100 30 | 0.000 % | 71.20/71.20 c | 250 | 636 502 6362 | 6050 250 34 | 0.000 % | 71.20/71.21 c | 477 | 636 502 6362 | 6655 477 35 | 0.000 % | 71.20/71.22 c | 815 | 636 502 6362 | 7320 815 34 | 0.000 % | 71.20/71.24 c | 1325 | 636 502 6362 | 8052 1325 33 | 0.000 % | 71.20/71.27 c | 2084 | 636 502 6362 | 8857 2084 33 | 0.000 % | 71.29/71.31 c | 3223 | 636 502 6362 | 9743 3223 34 | 0.000 % | 71.29/71.38 c | 4931 | 636 502 6362 | 10717 4931 34 | 0.000 % | 71.49/71.52 c | 7494 | 636 502 6362 | 11789 7494 36 | 0.000 % | 71.70/71.75 c | 11341 | 636 502 6362 | 12968 11341 36 | 0.000 % | 72.09/72.13 c | 17108 | 636 502 6362 | 14265 10588 39 | 0.000 % | 72.69/72.76 c | 25760 | 636 502 6362 | 15692 12057 42 | 0.000 % | 73.70/73.78 c | 38736 | 636 502 6362 | 17261 9227 45 | 0.000 % | 75.19/75.22 c | 58197 | 636 502 6362 | 18987 11301 48 | 0.000 % | 77.59/77.62 c | 87391 | 636 502 6362 | 20886 11860 48 | 0.000 % | 81.40/81.49 c | 131180 | 636 502 6362 | 22974 13655 53 | 0.011 % | 81.79/81.85 c =============================================================================== 82.39/82.44 c core #11 82.39/82.44 c ============================[ Search Statistics ]============================== 82.39/82.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.39/82.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.39/82.44 c =============================================================================== 82.39/82.44 c | 0 | 696 540 6892 | 5000 0 nan | 0.000 % | 82.39/82.46 c | 101 | 696 540 6892 | 5500 101 31 | 0.000 % | 82.39/82.46 c | 253 | 696 540 6892 | 6050 253 33 | 0.000 % | 82.39/82.47 c | 480 | 696 540 6892 | 6655 480 34 | 0.000 % | 82.39/82.49 c | 817 | 696 540 6892 | 7320 817 34 | 0.000 % | 82.50/82.51 c | 1323 | 696 540 6892 | 8052 1323 35 | 0.000 % | 82.50/82.54 c | 2086 | 696 540 6892 | 8857 2086 35 | 0.000 % | 82.50/82.58 c | 3225 | 696 540 6892 | 9743 3225 35 | 0.000 % | 82.59/82.65 c | 4935 | 696 540 6892 | 10717 4935 36 | 0.000 % | 82.69/82.79 c | 7497 | 696 540 6892 | 11789 7497 38 | 0.000 % | 82.99/83.03 c | 11342 | 696 540 6892 | 12968 11342 40 | 0.000 % | 83.39/83.42 c | 17110 | 696 540 6892 | 14265 10565 45 | 0.000 % | 83.99/84.04 c | 25765 | 696 540 6892 | 15692 12034 44 | 0.000 % | 84.99/85.09 c | 38740 | 696 540 6892 | 17261 9218 43 | 0.000 % | 86.70/86.77 c | 58202 | 696 540 6892 | 18987 11327 46 | 0.000 % | 89.19/89.20 c | 87396 | 696 540 6892 | 20886 11875 50 | 0.000 % | 91.30/91.35 c =============================================================================== 91.79/91.83 c core #12 91.79/91.83 c ============================[ Search Statistics ]============================== 91.79/91.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.79/91.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.79/91.83 c =============================================================================== 91.79/91.83 c | 0 | 738 576 7365 | 5000 0 nan | 0.000 % | 91.79/91.85 c | 100 | 738 576 7365 | 5500 100 38 | 0.000 % | 91.79/91.85 c | 252 | 738 576 7365 | 6050 252 41 | 0.000 % | 91.79/91.86 c | 478 | 738 576 7365 | 6655 478 41 | 0.000 % | 91.79/91.87 c | 815 | 738 576 7365 | 7320 815 38 | 0.000 % | 91.79/91.89 c | 1321 | 738 576 7365 | 8052 1321 36 | 0.000 % | 91.90/91.92 c | 2081 | 738 576 7365 | 8857 2081 35 | 0.000 % | 91.90/91.96 c | 3220 | 738 576 7365 | 9743 3220 34 | 0.000 % | 91.99/92.04 c | 4928 | 738 576 7365 | 10717 4928 38 | 0.000 % | 92.09/92.17 c | 7490 | 738 576 7365 | 11789 7490 38 | 0.000 % | 92.30/92.39 c | 11334 | 738 576 7365 | 12968 11334 39 | 0.000 % | 92.69/92.77 c | 17100 | 738 576 7365 | 14265 10568 41 | 0.000 % | 93.29/93.37 c | 25749 | 738 576 7365 | 15692 12055 44 | 0.000 % | 94.29/94.36 c | 38725 | 738 576 7365 | 17261 9258 43 | 0.000 % | 95.70/95.79 c | 58188 | 738 576 7365 | 18987 11363 44 | 0.000 % | 98.20/98.21 c | 87380 | 738 576 7365 | 20886 11926 48 | 0.000 % | 100.19/100.21 c =============================================================================== 100.59/100.66 c core #13 100.59/100.66 c ============================[ Search Statistics ]============================== 100.59/100.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.59/100.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.59/100.66 c =============================================================================== 100.59/100.66 c | 0 | 772 610 7807 | 5000 0 nan | 0.000 % | 100.59/100.68 c | 102 | 772 610 7807 | 5500 102 34 | 0.000 % | 100.59/100.69 c | 252 | 772 610 7807 | 6050 252 34 | 0.000 % | 100.69/100.70 c | 478 | 772 610 7807 | 6655 478 34 | 0.000 % | 100.69/100.71 c | 817 | 772 610 7807 | 7320 817 36 | 0.000 % | 100.69/100.73 c | 1323 | 772 610 7807 | 8052 1323 35 | 0.000 % | 100.69/100.76 c | 2082 | 772 610 7807 | 8857 2082 36 | 0.000 % | 100.80/100.81 c | 3221 | 772 610 7807 | 9743 3221 35 | 0.000 % | 100.80/100.89 c | 4931 | 772 610 7807 | 10717 4931 36 | 0.000 % | 100.99/101.01 c | 7494 | 772 610 7807 | 11789 7494 35 | 0.000 % | 101.20/101.25 c | 11338 | 772 610 7807 | 12968 11338 37 | 0.000 % | 101.59/101.66 c | 17105 | 772 610 7807 | 14265 10558 40 | 0.000 % | 102.20/102.28 c | 25755 | 772 610 7807 | 15692 12029 41 | 0.000 % | 103.30/103.32 c | 38731 | 772 610 7807 | 17261 9231 46 | 0.000 % | 104.90/104.99 c | 58192 | 772 610 7807 | 18987 11317 48 | 0.000 % | 107.60/107.61 c | 87385 | 772 610 7807 | 20886 11867 48 | 0.000 % | 107.70/107.80 c =============================================================================== 107.70/107.80 c #cores: 13 107.70/107.80 c Final Weight: 19 107.70/107.80 o 19 107.70/107.80 s OPTIMUM FOUND 107.70/107.80 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 107.70/107.80 c Total CPU time: 104.749 s
OK 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689894-1277897904/watcher-2689894-1277897904 -o /tmp/evaluation-result-2689894-1277897904/solver-2689894-1277897904 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689894-1277897904.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13275 /proc/meminfo: memFree=30186540/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=2572 CPUtime=0 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 285 0 0 0 0 0 0 0 21 0 1 0 131084993 2633728 201 4089446400 134512640 135751879 4293417200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 643 201 143 303 0 338 0 [startup+0.0877579 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13275 /proc/meminfo: memFree=30186540/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=3368 CPUtime=0.08 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 473 0 0 0 8 0 0 0 21 0 1 0 131084993 3448832 389 4089446400 134512640 135751879 4293417200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 842 389 143 303 0 537 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3368 [startup+0.100757 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13275 /proc/meminfo: memFree=30186540/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=3368 CPUtime=0.09 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 496 0 0 0 9 0 0 0 21 0 1 0 131084993 3448832 412 4089446400 134512640 135751879 4293417200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 842 412 143 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.300722 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13275 /proc/meminfo: memFree=30186540/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=4688 CPUtime=0.29 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 822 0 0 0 28 1 0 0 21 0 1 0 131084993 4800512 738 4089446400 134512640 135751879 4293417200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 1172 738 143 303 0 867 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4688 [startup+0.700662 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13275 /proc/meminfo: memFree=30186540/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=6696 CPUtime=0.69 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 1326 0 0 0 66 3 0 0 22 0 1 0 131084993 6856704 1242 4089446400 134512640 135751879 4293417200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 1674 1242 143 303 0 1369 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6696 [startup+1.50051 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13276 /proc/meminfo: memFree=30180828/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=10392 CPUtime=1.49 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 2253 0 0 0 141 8 0 0 25 0 1 0 131084993 10641408 2169 4089446400 134512640 135751879 4293417200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 2598 2169 143 303 0 2293 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10392 [startup+3.10023 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13276 /proc/meminfo: memFree=30175620/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=17520 CPUtime=3.09 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 4030 0 0 0 297 12 0 0 25 0 1 0 131084993 17940480 3946 4089446400 134512640 135751879 4293417200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 4380 3946 143 303 0 4075 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17520 [startup+6.30068 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13276 /proc/meminfo: memFree=30160052/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=29104 CPUtime=6.29 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 6924 0 0 0 607 22 0 0 25 0 1 0 131084993 29802496 6840 4089446400 134512640 135751879 4293417200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 7276 6840 146 303 0 6971 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29104 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13276 /proc/meminfo: memFree=30146392/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=44072 CPUtime=12.69 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 10666 0 0 0 1228 41 0 0 25 0 1 0 131084993 45129728 10582 4089446400 134512640 135751879 4293417200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 11018 10582 146 303 0 10713 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44072 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13276 /proc/meminfo: memFree=30109692/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=83596 CPUtime=25.49 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 20539 0 0 0 2473 76 0 0 25 0 1 0 131084993 85602304 20455 4089446400 134512640 135751879 4293417200 18446744073709551615 134618715 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 20899 20455 146 303 0 20594 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 83596 [startup+51.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13278 /proc/meminfo: memFree=30047848/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=143348 CPUtime=51.1 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 35479 0 0 0 4961 149 0 0 21 0 1 0 131084993 146788352 35395 4089446400 134512640 135751879 4293417200 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 35837 35395 146 303 0 35532 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 143348 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13278 /proc/meminfo: memFree=29915872/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=273032 CPUtime=102.3 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 67896 0 0 0 9938 292 0 0 25 0 1 0 131084993 279584768 67812 4089446400 134512640 135751879 4293417200 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 68258 67812 146 303 0 67953 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 273032 Solver just ended. Dumping a history of the last processes samples [startup+105.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13279 /proc/meminfo: memFree=29908304/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=280564 CPUtime=105.5 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 69780 0 0 0 10250 300 0 0 25 0 1 0 131084993 287297536 69696 4089446400 134512640 135751879 4293417200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 70141 69696 146 303 0 69836 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 280564 [startup+107.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13279 /proc/meminfo: memFree=29905328/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=285124 CPUtime=107.1 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 70908 0 0 0 10406 304 0 0 25 0 1 0 131084993 291966976 70824 4089446400 134512640 135751879 4293417200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 71281 70824 146 303 0 70976 0 Current children cumulated CPU time (s) 107.1 Current children cumulated vsize (KiB) 285124 [startup+107.501 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13279 /proc/meminfo: memFree=29905328/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=286048 CPUtime=107.5 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 71161 0 0 0 10445 305 0 0 25 0 1 0 131084993 292913152 71077 4089446400 134512640 135751879 4293417200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 71512 71077 146 303 0 71207 0 Current children cumulated CPU time (s) 107.5 Current children cumulated vsize (KiB) 286048 [startup+107.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13279 /proc/meminfo: memFree=29902344/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=286708 CPUtime=107.7 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202496 71308 0 0 0 10465 305 0 0 25 0 1 0 131084993 293588992 71224 4089446400 134512640 135751879 4293417200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13275/statm: 71677 71224 146 303 0 71372 0 Current children cumulated CPU time (s) 107.7 Current children cumulated vsize (KiB) 286708 [startup+107.806 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13279 /proc/meminfo: memFree=29902344/32951124 swapFree=67111528/67111528 [pid=13275] ppid=13273 vsize=0 CPUtime=107.79 /proc/13275/stat : 13275 (wbo1.4a) R 13273 13275 13132 0 -1 4202500 71383 0 0 0 10474 305 0 0 25 0 1 0 131084993 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0 /proc/13275/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 107.79 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 107.813 CPU time (s): 107.816 CPU user time (s): 104.749 CPU system time (s): 3.06653 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 286708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 104.749 system time used= 3.06653 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71383 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 89 runsolver used 0.157975 second user time and 0.345947 second system time The end
Begin job on node144 at 2010-06-30 13:38:24 IDJOB=2689894 IDBENCH=78819 IDSOLVER=1200 FILE ID=node144/2689894-1277897904 PBS_JOBID= 11197178 Free space on /tmp= 74176 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223004--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-2689894-1277897904/watcher-2689894-1277897904 -o /tmp/evaluation-result-2689894-1277897904/solver-2689894-1277897904 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689894-1277897904.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2781b3371b432984c0fe1e8064068870 RANDOM SEED=1250066029 node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5230.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30187316 kB Buffers: 181584 kB Cached: 1244908 kB SwapCached: 0 kB Active: 1694996 kB Inactive: 922684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30187316 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2728 kB Writeback: 0 kB AnonPages: 1192024 kB Mapped: 16288 kB Slab: 79580 kB PageTables: 7464 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1360812 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= 74172 MiB End job on node144 at 2010-06-30 13:40:12