Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 135.895 | 135.893 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-66-100-0.wbo |
MD5SUM | d94c91912b6010a0edcf7aeb8ba12985 |
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 | 23 |
Best CPU time to get the best result obtained on this benchmark | 0.201968 |
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 | 28 |
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 | 1415 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 1414 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1231 |
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-2689837-1277896292.wbo. 0.00/0.00 c Instance file HOME/instance-2689837-1277896292.wbo 0.00/0.00 c File size is 10104 bytes. 0.00/0.00 c Highest Coefficient sum: 1231 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 | 253 | 169 101 1205 | 6050 253 42 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 42 | 0.004 % | 0.00/0.02 c | 816 | 169 101 1205 | 7320 816 38 | 0.004 % | 0.03/0.04 c | 1323 | 169 101 1205 | 8052 1323 39 | 0.004 % | 0.03/0.06 c | 2082 | 169 101 1205 | 8857 2082 39 | 0.004 % | 0.09/0.10 c | 3221 | 169 101 1205 | 9743 3221 39 | 0.004 % | 0.09/0.18 c | 4929 | 169 101 1205 | 10717 4929 41 | 0.004 % | 0.28/0.31 c | 7493 | 169 101 1205 | 11789 7493 42 | 0.004 % | 0.49/0.57 c | 11337 | 169 101 1205 | 12968 11337 43 | 0.004 % | 0.99/1.02 c | 17106 | 169 101 1205 | 14265 10568 47 | 0.004 % | 1.69/1.75 c | 25757 | 169 101 1205 | 15692 12032 47 | 0.004 % | 2.69/2.79 c | 38732 | 169 101 1205 | 17261 9213 49 | 0.004 % | 4.40/4.44 c | 58196 | 169 101 1205 | 18987 11302 49 | 0.004 % | 5.49/5.52 c =============================================================================== 5.79/5.83 c core #1 5.79/5.83 c ============================[ Search Statistics ]============================== 5.79/5.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.83 c =============================================================================== 5.79/5.83 c | 0 | 196 129 1699 | 5000 0 nan | 0.000 % | 5.79/5.84 c | 101 | 196 129 1699 | 5500 101 43 | 0.003 % | 5.79/5.84 c | 252 | 196 129 1699 | 6050 252 41 | 0.003 % | 5.79/5.85 c | 477 | 196 129 1699 | 6655 477 38 | 0.003 % | 5.79/5.86 c | 815 | 196 129 1699 | 7320 815 37 | 0.003 % | 5.79/5.88 c | 1323 | 196 129 1699 | 8052 1323 39 | 0.003 % | 5.89/5.90 c | 2082 | 196 129 1699 | 8857 2082 39 | 0.003 % | 5.89/5.95 c | 3221 | 196 129 1699 | 9743 3221 39 | 0.003 % | 5.99/6.04 c | 4929 | 196 129 1699 | 10717 4929 39 | 0.003 % | 6.09/6.18 c | 7492 | 196 129 1699 | 11789 7492 41 | 0.003 % | 6.39/6.45 c | 11336 | 196 129 1699 | 12968 11336 42 | 0.003 % | 6.79/6.87 c | 17103 | 196 129 1699 | 14265 10572 45 | 0.003 % | 7.49/7.60 c | 25754 | 196 129 1699 | 15692 12032 48 | 0.003 % | 8.70/8.71 c | 38729 | 196 129 1699 | 17261 9209 49 | 0.003 % | 10.29/10.37 c | 58192 | 196 129 1699 | 18987 11289 51 | 0.003 % | 11.09/11.16 c =============================================================================== 11.39/11.46 c core #2 11.39/11.46 c ============================[ Search Statistics ]============================== 11.39/11.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.39/11.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.39/11.46 c =============================================================================== 11.39/11.46 c | 0 | 222 155 2172 | 5000 0 nan | 0.000 % | 11.39/11.47 c | 102 | 222 155 2172 | 5500 102 41 | 0.002 % | 11.39/11.47 c | 253 | 222 155 2172 | 6050 253 46 | 0.002 % | 11.39/11.48 c | 478 | 222 155 2172 | 6655 478 40 | 0.002 % | 11.39/11.49 c | 815 | 222 155 2172 | 7320 815 40 | 0.002 % | 11.49/11.51 c | 1323 | 222 155 2172 | 8052 1323 40 | 0.002 % | 11.49/11.54 c | 2083 | 222 155 2172 | 8857 2083 39 | 0.002 % | 11.49/11.59 c | 3222 | 222 155 2172 | 9743 3222 38 | 0.002 % | 11.59/11.67 c | 4932 | 222 155 2172 | 10717 4932 39 | 0.002 % | 11.79/11.82 c | 7495 | 222 155 2172 | 11789 7495 41 | 0.002 % | 12.10/12.13 c | 11340 | 222 155 2172 | 12968 11340 42 | 0.002 % | 12.49/12.60 c | 17106 | 222 155 2172 | 14265 10570 44 | 0.002 % | 13.20/13.29 c | 25757 | 222 155 2172 | 15692 12040 45 | 0.002 % | 14.39/14.45 c | 38731 | 222 155 2172 | 17261 9242 44 | 0.002 % | 15.99/16.08 c | 58193 | 222 155 2172 | 18987 11326 48 | 0.002 % | 17.69/17.78 c =============================================================================== 18.09/18.10 c core #3 18.09/18.10 c ============================[ Search Statistics ]============================== 18.09/18.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.09/18.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.09/18.10 c =============================================================================== 18.09/18.10 c | 0 | 251 183 2672 | 5000 0 nan | 0.000 % | 18.09/18.11 c | 100 | 251 183 2672 | 5500 100 40 | 0.002 % | 18.09/18.12 c | 250 | 251 183 2672 | 6050 250 42 | 0.002 % | 18.09/18.12 c | 476 | 251 183 2672 | 6655 476 40 | 0.002 % | 18.09/18.13 c | 815 | 251 183 2672 | 7320 815 38 | 0.002 % | 18.09/18.15 c | 1321 | 251 183 2672 | 8052 1321 38 | 0.002 % | 18.09/18.18 c | 2081 | 251 183 2672 | 8857 2081 38 | 0.002 % | 18.19/18.23 c | 3220 | 251 183 2672 | 9743 3220 38 | 0.002 % | 18.29/18.31 c | 4928 | 251 183 2672 | 10717 4928 41 | 0.002 % | 18.39/18.46 c | 7490 | 251 183 2672 | 11789 7490 42 | 0.002 % | 18.69/18.74 c | 11334 | 251 183 2672 | 12968 11334 43 | 0.002 % | 19.09/19.17 c | 17100 | 251 183 2672 | 14265 10559 44 | 0.002 % | 19.80/19.84 c | 25750 | 251 183 2672 | 15692 12021 46 | 0.002 % | 20.98/21.01 c | 38727 | 251 183 2672 | 17261 9213 49 | 0.002 % | 22.79/22.80 c | 58190 | 251 183 2672 | 18987 11319 50 | 0.002 % | 25.99/26.03 c | 87387 | 251 183 2672 | 20886 11861 51 | 0.002 % | 26.99/27.05 c =============================================================================== 27.50/27.54 c core #4 27.50/27.54 c ============================[ Search Statistics ]============================== 27.50/27.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.50/27.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.50/27.54 c =============================================================================== 27.50/27.54 c | 0 | 277 209 3145 | 5000 0 nan | 0.000 % | 27.50/27.55 c | 100 | 277 209 3145 | 5500 100 41 | 0.001 % | 27.50/27.56 c | 252 | 277 209 3145 | 6050 252 43 | 0.001 % | 27.50/27.57 c | 479 | 277 209 3145 | 6655 479 43 | 0.001 % | 27.50/27.58 c | 816 | 277 209 3145 | 7320 816 40 | 0.001 % | 27.50/27.60 c | 1323 | 277 209 3145 | 8052 1323 39 | 0.001 % | 27.59/27.62 c | 2083 | 277 209 3145 | 8857 2083 39 | 0.001 % | 27.59/27.67 c | 3222 | 277 209 3145 | 9743 3222 41 | 0.001 % | 27.69/27.76 c | 4930 | 277 209 3145 | 10717 4930 40 | 0.001 % | 27.89/27.90 c | 7492 | 277 209 3145 | 11789 7492 40 | 0.001 % | 28.09/28.15 c | 11338 | 277 209 3145 | 12968 11338 42 | 0.001 % | 28.49/28.60 c | 17104 | 277 209 3145 | 14265 10569 46 | 0.001 % | 29.29/29.33 c | 25753 | 277 209 3145 | 15692 12029 48 | 0.001 % | 30.59/30.62 c | 38728 | 277 209 3145 | 17261 9197 50 | 0.001 % | 32.59/32.66 c | 58191 | 277 209 3145 | 18987 11304 49 | 0.001 % | 35.19/35.22 c =============================================================================== 35.59/35.60 c core #5 35.59/35.60 c ============================[ Search Statistics ]============================== 35.59/35.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.59/35.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.59/35.60 c =============================================================================== 35.59/35.60 c | 0 | 301 234 3601 | 5000 0 nan | 0.000 % | 35.59/35.61 c | 101 | 301 234 3601 | 5500 101 39 | 0.001 % | 35.59/35.62 c | 252 | 301 234 3601 | 6050 252 47 | 0.001 % | 35.59/35.63 c | 478 | 301 234 3601 | 6655 478 45 | 0.001 % | 35.59/35.64 c | 815 | 301 234 3601 | 7320 815 43 | 0.001 % | 35.59/35.66 c | 1323 | 301 234 3601 | 8052 1323 41 | 0.001 % | 35.59/35.69 c | 2083 | 301 234 3601 | 8857 2083 40 | 0.001 % | 35.69/35.74 c | 3223 | 301 234 3601 | 9743 3223 39 | 0.001 % | 35.79/35.83 c | 4933 | 301 234 3601 | 10717 4933 38 | 0.001 % | 35.99/36.00 c | 7497 | 301 234 3601 | 11789 7497 42 | 0.001 % | 36.20/36.30 c | 11341 | 301 234 3601 | 12968 11341 43 | 0.001 % | 36.69/36.76 c | 17107 | 301 234 3601 | 14265 10571 44 | 0.001 % | 37.39/37.49 c | 25759 | 301 234 3601 | 15692 12035 50 | 0.001 % | 38.59/38.63 c | 38733 | 301 234 3601 | 17261 9223 46 | 0.001 % | 40.39/40.49 c | 58194 | 301 234 3601 | 18987 11339 48 | 0.001 % | 43.09/43.10 c | 87387 | 225 234 3601 | 20886 882 30 | 25.250 % | 43.09/43.13 c =============================================================================== 43.49/43.55 c core #6 43.49/43.55 c ============================[ Search Statistics ]============================== 43.49/43.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.49/43.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.49/43.55 c =============================================================================== 43.49/43.55 c | 0 | 333 263 4124 | 5000 0 nan | 0.000 % | 43.49/43.57 c | 101 | 333 263 4124 | 5500 101 43 | 0.001 % | 43.49/43.57 c | 252 | 333 263 4124 | 6050 252 44 | 0.001 % | 43.49/43.58 c | 478 | 333 263 4124 | 6655 478 38 | 0.001 % | 43.49/43.59 c | 815 | 333 263 4124 | 7320 815 41 | 0.001 % | 43.59/43.61 c | 1323 | 333 263 4124 | 8052 1323 40 | 0.001 % | 43.59/43.64 c | 2083 | 333 263 4124 | 8857 2083 38 | 0.001 % | 43.59/43.68 c | 3224 | 333 263 4124 | 9743 3224 37 | 0.001 % | 43.69/43.77 c | 4935 | 333 263 4124 | 10717 4935 39 | 0.001 % | 43.89/43.92 c | 7498 | 333 263 4124 | 11789 7498 40 | 0.001 % | 44.09/44.18 c | 11343 | 333 263 4124 | 12968 11343 41 | 0.001 % | 44.59/44.64 c | 17109 | 333 263 4124 | 14265 10563 44 | 0.001 % | 45.39/45.48 c | 25759 | 333 263 4124 | 15692 12025 51 | 0.001 % | 46.69/46.75 c | 38742 | 333 263 4124 | 17261 9209 47 | 0.001 % | 48.59/48.62 c | 58203 | 333 263 4124 | 18987 11289 51 | 0.001 % | 51.59/51.65 c | 87395 | 333 263 4124 | 20886 11828 51 | 0.001 % | 52.89/52.99 c =============================================================================== 53.39/53.47 c core #7 53.39/53.47 c ============================[ Search Statistics ]============================== 53.39/53.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 53.39/53.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 53.39/53.47 c =============================================================================== 53.39/53.47 c | 0 | 360 288 4591 | 5000 0 nan | 0.000 % | 53.39/53.48 c | 106 | 360 288 4591 | 5500 106 30 | 0.001 % | 53.39/53.49 c | 257 | 360 288 4591 | 6050 257 33 | 0.001 % | 53.49/53.50 c | 483 | 360 288 4591 | 6655 483 36 | 0.001 % | 53.49/53.51 c | 822 | 360 288 4591 | 7320 822 36 | 0.001 % | 53.49/53.53 c | 1329 | 360 288 4591 | 8052 1329 37 | 0.001 % | 53.49/53.56 c | 2088 | 360 288 4591 | 8857 2088 39 | 0.001 % | 53.59/53.61 c | 3228 | 360 288 4591 | 9743 3228 38 | 0.001 % | 53.59/53.69 c | 4937 | 360 288 4591 | 10717 4937 37 | 0.001 % | 53.80/53.83 c | 7503 | 360 288 4591 | 11789 7503 38 | 0.001 % | 53.99/54.06 c | 11349 | 360 288 4591 | 12968 11349 40 | 0.001 % | 54.39/54.47 c | 17117 | 360 288 4591 | 14265 10577 45 | 0.001 % | 54.99/55.07 c | 25767 | 360 288 4591 | 15692 12044 45 | 0.001 % | 56.19/56.20 c | 38741 | 360 288 4591 | 17261 9214 48 | 0.001 % | 57.99/58.01 c | 58202 | 360 288 4591 | 18987 11311 49 | 0.001 % | 61.19/61.23 c | 87394 | 360 288 4591 | 20886 11866 50 | 0.001 % | 64.90/64.94 c =============================================================================== 65.49/65.56 c core #8 65.49/65.56 c ============================[ Search Statistics ]============================== 65.49/65.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.49/65.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.49/65.56 c =============================================================================== 65.49/65.56 c | 0 | 398 320 5160 | 5000 0 nan | 0.000 % | 65.49/65.58 c | 102 | 398 320 5160 | 5500 102 26 | 0.001 % | 65.49/65.58 c | 252 | 398 320 5160 | 6050 252 28 | 0.001 % | 65.49/65.59 c | 478 | 398 320 5160 | 6655 478 32 | 0.001 % | 65.59/65.60 c | 815 | 398 320 5160 | 7320 815 32 | 0.001 % | 65.59/65.62 c | 1322 | 398 320 5160 | 8052 1322 32 | 0.001 % | 65.59/65.65 c | 2081 | 398 320 5160 | 8857 2081 33 | 0.001 % | 65.70/65.70 c | 3223 | 398 320 5160 | 9743 3223 35 | 0.001 % | 65.70/65.78 c | 4931 | 398 320 5160 | 10717 4931 37 | 0.001 % | 65.90/65.94 c | 7493 | 398 320 5160 | 11789 7493 39 | 0.001 % | 66.19/66.23 c | 11340 | 398 320 5160 | 12968 11340 42 | 0.001 % | 66.69/66.71 c | 17109 | 398 320 5160 | 14265 10564 46 | 0.001 % | 67.39/67.41 c | 25760 | 398 320 5160 | 15692 12022 48 | 0.001 % | 68.39/68.49 c | 38735 | 398 320 5160 | 17261 9198 48 | 0.001 % | 70.09/70.19 c | 58197 | 398 320 5160 | 18987 11285 47 | 0.001 % | 73.19/73.20 c | 87389 | 398 320 5160 | 20886 11833 50 | 0.001 % | 74.89/74.97 c =============================================================================== 75.49/75.50 c core #9 75.49/75.50 c ============================[ Search Statistics ]============================== 75.49/75.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.49/75.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.49/75.50 c =============================================================================== 75.49/75.50 c | 0 | 428 350 5689 | 5000 0 nan | 0.000 % | 75.49/75.52 c | 104 | 428 350 5689 | 5500 104 43 | 0.001 % | 75.49/75.53 c | 254 | 428 350 5689 | 6050 254 49 | 0.001 % | 75.49/75.54 c | 480 | 428 350 5689 | 6655 480 47 | 0.001 % | 75.49/75.55 c | 817 | 428 350 5689 | 7320 817 44 | 0.001 % | 75.49/75.57 c | 1323 | 428 350 5689 | 8052 1323 44 | 0.001 % | 75.59/75.60 c | 2083 | 428 350 5689 | 8857 2083 42 | 0.001 % | 75.59/75.66 c | 3223 | 428 350 5689 | 9743 3223 41 | 0.001 % | 75.69/75.75 c | 4931 | 428 350 5689 | 10717 4931 41 | 0.001 % | 75.80/75.90 c | 7493 | 428 350 5689 | 11789 7493 40 | 0.001 % | 76.09/76.17 c | 11338 | 428 350 5689 | 12968 11338 41 | 0.001 % | 76.59/76.66 c | 17104 | 428 350 5689 | 14265 10571 45 | 0.001 % | 77.39/77.49 c | 25758 | 428 350 5689 | 15692 12030 50 | 0.001 % | 78.69/78.78 c | 38732 | 428 350 5689 | 17261 9210 49 | 0.001 % | 80.60/80.64 c | 58194 | 428 350 5689 | 18987 11298 50 | 0.001 % | 83.50/83.54 c | 87386 | 428 350 5689 | 20886 11846 49 | 0.001 % | 86.90/86.92 c =============================================================================== 87.39/87.49 c core #10 87.39/87.49 c ============================[ Search Statistics ]============================== 87.39/87.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.39/87.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.39/87.49 c =============================================================================== 87.39/87.50 c | 0 | 457 377 6183 | 5000 0 nan | 0.000 % | 87.49/87.51 c | 102 | 457 377 6183 | 5500 102 49 | 0.000 % | 87.49/87.52 c | 253 | 457 377 6183 | 6050 253 48 | 0.000 % | 87.49/87.53 c | 478 | 457 377 6183 | 6655 478 47 | 0.000 % | 87.49/87.54 c | 816 | 457 377 6183 | 7320 816 44 | 0.000 % | 87.49/87.55 c | 1323 | 457 377 6183 | 8052 1323 42 | 0.000 % | 87.49/87.58 c | 2082 | 457 377 6183 | 8857 2082 40 | 0.000 % | 87.59/87.63 c | 3223 | 457 377 6183 | 9743 3223 39 | 0.000 % | 87.69/87.70 c | 4933 | 457 377 6183 | 10717 4933 40 | 0.000 % | 87.79/87.83 c | 7498 | 457 377 6183 | 11789 7498 39 | 0.000 % | 87.99/88.08 c | 11342 | 457 377 6183 | 12968 11342 41 | 0.000 % | 88.39/88.48 c | 17111 | 457 377 6183 | 14265 10578 42 | 0.000 % | 89.10/89.15 c | 25760 | 457 377 6183 | 15692 12042 47 | 0.000 % | 90.39/90.47 c | 38736 | 457 377 6183 | 17261 9206 48 | 0.000 % | 92.30/92.31 c | 58199 | 457 377 6183 | 18987 11315 51 | 0.000 % | 95.19/95.23 c | 87391 | 457 377 6183 | 20886 11887 53 | 0.000 % | 99.59/99.62 c =============================================================================== 100.19/100.23 c core #11 100.19/100.23 c ============================[ Search Statistics ]============================== 100.19/100.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.19/100.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.19/100.23 c =============================================================================== 100.19/100.23 c | 0 | 513 405 6747 | 5000 0 nan | 0.000 % | 100.19/100.25 c | 101 | 513 405 6747 | 5500 101 36 | 0.000 % | 100.19/100.26 c | 253 | 513 405 6747 | 6050 253 38 | 0.000 % | 100.19/100.26 c | 478 | 513 405 6747 | 6655 478 38 | 0.000 % | 100.19/100.28 c | 816 | 513 405 6747 | 7320 816 39 | 0.000 % | 100.19/100.29 c | 1322 | 513 405 6747 | 8052 1322 38 | 0.000 % | 100.29/100.32 c | 2083 | 513 405 6747 | 8857 2083 38 | 0.000 % | 100.29/100.37 c | 3222 | 513 405 6747 | 9743 3222 37 | 0.000 % | 100.39/100.46 c | 4930 | 513 405 6747 | 10717 4930 38 | 0.000 % | 100.60/100.61 c | 7493 | 513 405 6747 | 11789 7493 41 | 0.000 % | 100.79/100.87 c | 11340 | 513 405 6747 | 12968 11340 43 | 0.000 % | 101.19/101.28 c | 17108 | 513 405 6747 | 14265 10570 46 | 0.000 % | 101.89/101.99 c | 25761 | 513 405 6747 | 15692 12050 46 | 0.000 % | 103.09/103.14 c | 38736 | 513 405 6747 | 17261 9216 49 | 0.000 % | 104.89/104.92 c | 58198 | 513 405 6747 | 18987 11312 47 | 0.000 % | 107.59/107.64 c | 87391 | 513 405 6747 | 20886 11857 52 | 0.000 % | 111.00/111.03 c =============================================================================== 111.59/111.63 c core #12 111.59/111.63 c ============================[ Search Statistics ]============================== 111.59/111.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 111.59/111.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 111.59/111.63 c =============================================================================== 111.59/111.63 c | 0 | 572 431 7293 | 5000 0 nan | 0.000 % | 111.59/111.65 c | 100 | 572 431 7293 | 5500 100 45 | 0.000 % | 111.59/111.65 c | 251 | 572 431 7293 | 6050 251 44 | 0.000 % | 111.59/111.66 c | 476 | 572 431 7293 | 6655 476 40 | 0.000 % | 111.59/111.68 c | 813 | 572 431 7293 | 7320 813 39 | 0.000 % | 111.69/111.70 c | 1319 | 572 431 7293 | 8052 1319 39 | 0.000 % | 111.69/111.73 c | 2078 | 572 431 7293 | 8857 2078 41 | 0.000 % | 111.69/111.78 c | 3219 | 572 431 7293 | 9743 3219 38 | 0.000 % | 111.79/111.87 c | 4929 | 572 431 7293 | 10717 4929 38 | 0.000 % | 111.99/112.02 c | 7492 | 572 431 7293 | 11789 7492 39 | 0.000 % | 112.29/112.32 c | 11336 | 572 431 7293 | 12968 11336 42 | 0.000 % | 112.80/112.80 c | 17104 | 572 431 7293 | 14265 10562 47 | 0.000 % | 113.39/113.50 c | 25753 | 572 431 7293 | 15692 12023 46 | 0.000 % | 114.59/114.69 c | 38727 | 572 431 7293 | 17261 9221 47 | 0.000 % | 116.39/116.49 c | 58188 | 572 431 7293 | 18987 11314 51 | 0.000 % | 119.49/119.59 c | 87382 | 572 431 7293 | 20886 11879 53 | 0.000 % | 123.89/123.92 c =============================================================================== 124.59/124.60 c core #13 124.59/124.60 c ============================[ Search Statistics ]============================== 124.59/124.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 124.59/124.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 124.59/124.60 c =============================================================================== 124.59/124.60 c | 0 | 614 456 7791 | 5000 0 nan | 0.000 % | 124.59/124.62 c | 102 | 614 456 7791 | 5500 102 42 | 0.000 % | 124.59/124.63 c | 253 | 614 456 7791 | 6050 253 44 | 0.000 % | 124.59/124.64 c | 480 | 614 456 7791 | 6655 480 39 | 0.000 % | 124.59/124.65 c | 818 | 614 456 7791 | 7320 818 37 | 0.000 % | 124.59/124.67 c | 1326 | 614 456 7791 | 8052 1326 34 | 0.000 % | 124.70/124.71 c | 2085 | 614 456 7791 | 8857 2085 36 | 0.000 % | 124.70/124.76 c | 3226 | 614 456 7791 | 9743 3226 35 | 0.000 % | 124.80/124.85 c | 4934 | 614 456 7791 | 10717 4934 35 | 0.000 % | 124.99/125.02 c | 7496 | 614 456 7791 | 11789 7496 37 | 0.000 % | 125.29/125.31 c | 11342 | 614 456 7791 | 12968 11342 39 | 0.000 % | 125.80/125.80 c | 17108 | 614 456 7791 | 14265 10583 44 | 0.000 % | 126.40/126.49 c | 25759 | 614 456 7791 | 15692 12056 46 | 0.000 % | 127.50/127.59 c | 38736 | 614 456 7791 | 17261 9219 49 | 0.000 % | 129.39/129.46 c | 58198 | 614 456 7791 | 18987 11315 48 | 0.000 % | 132.39/132.47 c | 87390 | 614 456 7791 | 20886 11856 48 | 0.000 % | 135.79/135.88 c =============================================================================== 135.79/135.88 c #cores: 13 135.79/135.88 c Final Weight: 23 135.79/135.88 o 23 135.79/135.88 s OPTIMUM FOUND 135.79/135.88 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 135.79/135.88 c Total CPU time: 134.345 s
OK 23
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689837-1277896292/watcher-2689837-1277896292 -o /tmp/evaluation-result-2689837-1277896292/solver-2689837-1277896292 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689837-1277896292.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.04 2.06 2.02 4/178 11212 /proc/meminfo: memFree=29493628/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=2572 CPUtime=0 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 290 0 0 0 0 0 0 0 25 0 1 0 130926137 2633728 205 4089446400 134512640 135751879 4294324368 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 643 205 143 303 0 338 0 [startup+0.039904 s] /proc/loadavg: 2.04 2.06 2.02 4/178 11212 /proc/meminfo: memFree=29493628/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=2968 CPUtime=0.03 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 375 0 0 0 3 0 0 0 25 0 1 0 130926137 3039232 290 4089446400 134512640 135751879 4294324368 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 742 290 143 303 0 437 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2968 [startup+0.100894 s] /proc/loadavg: 2.04 2.06 2.02 4/178 11212 /proc/meminfo: memFree=29493628/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=3364 CPUtime=0.09 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 500 0 0 0 9 0 0 0 25 0 1 0 130926137 3444736 415 4089446400 134512640 135751879 4294324368 18446744073709551615 134606476 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 841 415 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.300858 s] /proc/loadavg: 2.04 2.06 2.02 4/178 11212 /proc/meminfo: memFree=29493628/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=4816 CPUtime=0.28 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 841 0 0 0 28 0 0 0 25 0 1 0 130926137 4931584 756 4089446400 134512640 135751879 4294324368 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 1204 756 143 303 0 899 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 4816 [startup+0.700788 s] /proc/loadavg: 2.04 2.06 2.02 4/178 11212 /proc/meminfo: memFree=29493628/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=6664 CPUtime=0.69 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 1314 0 0 0 68 1 0 0 25 0 1 0 130926137 6823936 1229 4089446400 134512640 135751879 4294324368 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 1666 1229 143 303 0 1361 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6664 [startup+1.50065 s] /proc/loadavg: 2.04 2.06 2.02 3/179 11213 /proc/meminfo: memFree=29486304/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=9832 CPUtime=1.49 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 2111 0 0 0 147 2 0 0 25 0 1 0 130926137 10067968 2026 4089446400 134512640 135751879 4294324368 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 2458 2026 143 303 0 2153 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9832 [startup+3.10037 s] /proc/loadavg: 2.04 2.06 2.02 3/179 11213 /proc/meminfo: memFree=29480964/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=16696 CPUtime=3.08 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 3827 0 0 0 305 3 0 0 25 0 1 0 130926137 17096704 3742 4089446400 134512640 135751879 4294324368 18446744073709551615 134616323 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 4174 3742 143 303 0 3869 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 16696 [startup+6.30081 s] /proc/loadavg: 2.03 2.06 2.02 3/179 11213 /proc/meminfo: memFree=29462860/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=28712 CPUtime=6.29 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 6821 0 0 0 621 8 0 0 25 0 1 0 130926137 29401088 6736 4089446400 134512640 135751879 4294324368 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 7178 6736 146 303 0 6873 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28712 [startup+12.7007 s] /proc/loadavg: 2.03 2.06 2.02 3/179 11213 /proc/meminfo: memFree=29437152/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=41912 CPUtime=12.69 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 10128 0 0 0 1255 14 0 0 25 0 1 0 130926137 42917888 10043 4089446400 134512640 135751879 4294324368 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 10478 10043 146 303 0 10173 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41912 [startup+25.5004 s] /proc/loadavg: 2.02 2.06 2.01 3/179 11214 /proc/meminfo: memFree=29388140/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=74332 CPUtime=25.49 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 18231 0 0 0 2518 31 0 0 25 0 1 0 130926137 76115968 18146 4089446400 134512640 135751879 4294324368 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 18583 18146 146 303 0 18278 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 74332 [startup+51.1009 s] /proc/loadavg: 2.01 2.05 2.01 3/179 11214 /proc/meminfo: memFree=29296144/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=131000 CPUtime=51.09 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 32403 0 0 0 5050 59 0 0 25 0 1 0 130926137 134144000 32318 4089446400 134512640 135751879 4294324368 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 32750 32318 146 303 0 32445 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 131000 [startup+102.306 s] /proc/loadavg: 2.00 2.04 2.01 3/179 11216 /proc/meminfo: memFree=29100188/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=250300 CPUtime=102.3 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 62214 0 0 0 10116 114 0 0 25 0 1 0 130926137 256307200 62129 4089446400 134512640 135751879 4294324368 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 62575 62129 146 303 0 62270 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 250300 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 2.00 2.04 2.01 3/179 11216 /proc/meminfo: memFree=29057028/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=277640 CPUtime=115.09 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 69071 0 0 0 11380 129 0 0 25 0 1 0 130926137 284303360 68986 4089446400 134512640 135751879 4294324368 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 69410 68986 146 303 0 69105 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 277640 [startup+127.9 s] /proc/loadavg: 2.00 2.04 2.00 3/179 11216 /proc/meminfo: memFree=29008892/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=307004 CPUtime=127.9 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 76398 0 0 0 12646 144 0 0 25 0 1 0 130926137 314372096 76313 4089446400 134512640 135751879 4294324368 18446744073709551615 134641957 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 76751 76313 146 303 0 76446 0 Current children cumulated CPU time (s) 127.9 Current children cumulated vsize (KiB) 307004 [startup+131.101 s] /proc/loadavg: 2.00 2.04 2.00 3/179 11216 /proc/meminfo: memFree=28996744/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=313784 CPUtime=131.09 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 78106 0 0 0 12962 147 0 0 25 0 1 0 130926137 321314816 78021 4089446400 134512640 135751879 4294324368 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 78446 78021 146 303 0 78141 0 Current children cumulated CPU time (s) 131.09 Current children cumulated vsize (KiB) 313784 [startup+134.3 s] /proc/loadavg: 2.00 2.03 2.00 3/179 11216 /proc/meminfo: memFree=28983972/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=322236 CPUtime=134.29 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 80218 0 0 0 13277 152 0 0 25 0 1 0 130926137 329969664 80133 4089446400 134512640 135751879 4294324368 18446744073709551615 134642460 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 80559 80133 146 303 0 80254 0 Current children cumulated CPU time (s) 134.29 Current children cumulated vsize (KiB) 322236 [startup+135.1 s] /proc/loadavg: 2.00 2.03 2.00 3/179 11216 /proc/meminfo: memFree=28983972/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=324876 CPUtime=135.09 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 80863 0 0 0 13356 153 0 0 25 0 1 0 130926137 332673024 80778 4089446400 134512640 135751879 4294324368 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 81219 80778 146 303 0 80914 0 Current children cumulated CPU time (s) 135.09 Current children cumulated vsize (KiB) 324876 [startup+135.501 s] /proc/loadavg: 2.00 2.03 2.00 3/179 11216 /proc/meminfo: memFree=28979012/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=326196 CPUtime=135.49 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 81197 0 0 0 13396 153 0 0 25 0 1 0 130926137 334024704 81112 4089446400 134512640 135751879 4294324368 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 81549 81112 146 303 0 81244 0 Current children cumulated CPU time (s) 135.49 Current children cumulated vsize (KiB) 326196 [startup+135.701 s] /proc/loadavg: 2.00 2.03 2.00 3/179 11216 /proc/meminfo: memFree=28979012/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=326724 CPUtime=135.69 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 81339 0 0 0 13416 153 0 0 25 0 1 0 130926137 334565376 81254 4089446400 134512640 135751879 4294324368 18446744073709551615 134606383 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 81681 81254 146 303 0 81376 0 Current children cumulated CPU time (s) 135.69 Current children cumulated vsize (KiB) 326724 [startup+135.801 s] /proc/loadavg: 2.00 2.03 2.00 3/179 11216 /proc/meminfo: memFree=28979012/32950928 swapFree=67111528/67111528 [pid=11212] ppid=11210 vsize=327384 CPUtime=135.79 /proc/11212/stat : 11212 (wbo1.4a) R 11210 11212 9391 0 -1 4202496 81475 0 0 0 13426 153 0 0 25 0 1 0 130926137 335241216 81390 4089446400 134512640 135751879 4294324368 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11212/statm: 81846 81390 146 303 0 81541 0 Current children cumulated CPU time (s) 135.79 Current children cumulated vsize (KiB) 327384 Child status: 0 Real time (s): 135.893 CPU time (s): 135.895 CPU user time (s): 134.345 CPU system time (s): 1.55076 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 327384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 134.345 system time used= 1.55076 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81577 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= 440 runsolver used 0.180972 second user time and 0.441932 second system time The end
Begin job on node120 at 2010-06-30 13:11:32 IDJOB=2689837 IDBENCH=78779 IDSOLVER=1200 FILE ID=node120/2689837-1277896292 PBS_JOBID= 11197113 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974180--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-2689837-1277896292/watcher-2689837-1277896292 -o /tmp/evaluation-result-2689837-1277896292/solver-2689837-1277896292 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689837-1277896292.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d94c91912b6010a0edcf7aeb8ba12985 RANDOM SEED=1392098089 node120.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.820 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.64 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.820 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 : 5226.07 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.820 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.80 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.820 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.74 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.820 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.82 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.820 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.68 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.820 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.820 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: 32950928 kB MemFree: 29494272 kB Buffers: 182100 kB Cached: 932040 kB SwapCached: 0 kB Active: 2732512 kB Inactive: 580068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29494272 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 2198540 kB Mapped: 16284 kB Slab: 77620 kB PageTables: 8948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 2364268 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node120 at 2010-06-30 13:13:48