Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 76.6324 | 76.6306 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-66-100-0.wbo |
MD5SUM | cd14c84645c681c9a9ce76500d94ff11 |
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 | 0.069988 |
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 | 1270 |
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-2689871-1277897034.wbo. 0.00/0.00 c Instance file HOME/instance-2689871-1277897034.wbo 0.00/0.00 c File size is 10176 bytes. 0.00/0.00 c Highest Coefficient sum: 1270 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 27 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 28 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 29 | 0.004 % | 0.00/0.02 c | 819 | 169 101 1205 | 7320 819 33 | 0.004 % | 0.00/0.03 c | 1325 | 169 101 1205 | 8052 1325 32 | 0.004 % | 0.03/0.05 c | 2084 | 169 101 1205 | 8857 2084 32 | 0.004 % | 0.03/0.09 c | 3223 | 169 101 1205 | 9743 3223 33 | 0.004 % | 0.09/0.16 c | 4933 | 169 101 1205 | 10717 4933 33 | 0.004 % | 0.19/0.27 c | 7496 | 169 101 1205 | 11789 7496 35 | 0.004 % | 0.39/0.49 c | 11340 | 169 101 1205 | 12968 11340 37 | 0.004 % | 0.79/0.80 c | 17108 | 169 101 1205 | 14265 10566 40 | 0.004 % | 1.29/1.30 c | 25757 | 169 101 1205 | 15692 12029 40 | 0.004 % | 2.10/2.13 c =============================================================================== 2.20/2.25 c core #1 2.20/2.25 c ============================[ Search Statistics ]============================== 2.20/2.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.25 c =============================================================================== 2.20/2.25 c | 0 | 210 142 1713 | 5000 0 nan | 0.000 % | 2.20/2.25 c | 101 | 210 142 1713 | 5500 101 23 | 0.002 % | 2.20/2.26 c | 251 | 210 142 1713 | 6050 251 28 | 0.002 % | 2.20/2.26 c | 478 | 210 142 1713 | 6655 478 27 | 0.002 % | 2.20/2.27 c | 815 | 210 142 1713 | 7320 815 31 | 0.002 % | 2.20/2.29 c | 1321 | 210 142 1713 | 8052 1321 31 | 0.002 % | 2.29/2.31 c | 2082 | 210 142 1713 | 8857 2082 33 | 0.002 % | 2.29/2.35 c | 3222 | 210 142 1713 | 9743 3222 35 | 0.002 % | 2.39/2.42 c | 4932 | 210 142 1713 | 10717 4932 35 | 0.002 % | 2.49/2.54 c | 7494 | 210 142 1713 | 11789 7494 37 | 0.002 % | 2.69/2.78 c | 11338 | 210 142 1713 | 12968 11338 38 | 0.002 % | 3.09/3.13 c | 17105 | 210 142 1713 | 14265 10591 40 | 0.002 % | 3.59/3.66 c | 25754 | 210 142 1713 | 15692 12055 42 | 0.002 % | 4.49/4.50 c =============================================================================== 4.59/4.62 c core #2 4.59/4.62 c ============================[ Search Statistics ]============================== 4.59/4.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.62 c =============================================================================== 4.59/4.62 c | 0 | 251 183 2221 | 5000 0 nan | 0.000 % | 4.59/4.63 c | 101 | 251 183 2221 | 5500 101 31 | 0.002 % | 4.59/4.63 c | 251 | 251 183 2221 | 6050 251 34 | 0.002 % | 4.59/4.63 c | 476 | 251 183 2221 | 6655 476 30 | 0.002 % | 4.59/4.64 c | 814 | 251 183 2221 | 7320 814 29 | 0.002 % | 4.59/4.66 c | 1321 | 251 183 2221 | 8052 1321 27 | 0.002 % | 4.59/4.68 c | 2082 | 251 183 2221 | 8857 2082 30 | 0.002 % | 4.69/4.73 c | 3222 | 251 183 2221 | 9743 3222 31 | 0.002 % | 4.80/4.80 c | 4933 | 251 183 2221 | 10717 4933 31 | 0.002 % | 4.89/4.93 c | 7496 | 251 183 2221 | 11789 7496 34 | 0.002 % | 5.09/5.19 c | 11340 | 251 183 2221 | 12968 11340 36 | 0.002 % | 5.50/5.58 c | 17107 | 251 183 2221 | 14265 10563 40 | 0.002 % | 6.09/6.17 c | 25757 | 251 183 2221 | 15692 12027 43 | 0.002 % | 7.09/7.13 c | 38732 | 251 183 2221 | 17261 9213 41 | 0.002 % | 7.39/7.42 c =============================================================================== 7.50/7.56 c core #3 7.50/7.56 c ============================[ Search Statistics ]============================== 7.50/7.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.50/7.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.50/7.56 c =============================================================================== 7.50/7.56 c | 0 | 290 223 2712 | 5000 0 nan | 0.000 % | 7.50/7.56 c | 101 | 290 223 2712 | 5500 101 32 | 0.001 % | 7.50/7.57 c | 254 | 290 223 2712 | 6050 254 38 | 0.001 % | 7.50/7.58 c | 479 | 290 223 2712 | 6655 479 37 | 0.001 % | 7.50/7.59 c | 819 | 290 223 2712 | 7320 819 34 | 0.001 % | 7.60/7.60 c | 1325 | 290 223 2712 | 8052 1325 35 | 0.001 % | 7.60/7.63 c | 2085 | 290 223 2712 | 8857 2085 33 | 0.001 % | 7.60/7.67 c | 3224 | 290 223 2712 | 9743 3224 33 | 0.001 % | 7.70/7.75 c | 4933 | 290 223 2712 | 10717 4933 33 | 0.001 % | 7.79/7.88 c | 7497 | 290 223 2712 | 11789 7497 35 | 0.001 % | 8.09/8.16 c | 11342 | 290 223 2712 | 12968 11342 37 | 0.001 % | 8.50/8.55 c | 17108 | 290 223 2712 | 14265 10573 41 | 0.001 % | 9.10/9.12 c | 25759 | 290 223 2712 | 15692 12036 43 | 0.001 % | 9.99/10.03 c | 38733 | 290 223 2712 | 17261 9208 46 | 0.001 % | 10.79/10.89 c =============================================================================== 11.00/11.05 c core #4 11.00/11.05 c ============================[ Search Statistics ]============================== 11.00/11.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.00/11.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.00/11.05 c =============================================================================== 11.00/11.05 c | 0 | 331 263 3207 | 5000 0 nan | 0.000 % | 11.00/11.06 c | 100 | 331 263 3207 | 5500 100 32 | 0.001 % | 11.00/11.06 c | 252 | 331 263 3207 | 6050 252 34 | 0.001 % | 11.00/11.07 c | 477 | 331 263 3207 | 6655 477 31 | 0.001 % | 11.00/11.08 c | 814 | 331 263 3207 | 7320 814 31 | 0.001 % | 11.09/11.10 c | 1322 | 331 263 3207 | 8052 1322 30 | 0.001 % | 11.09/11.12 c | 2081 | 331 263 3207 | 8857 2081 32 | 0.001 % | 11.09/11.16 c | 3220 | 331 263 3207 | 9743 3220 34 | 0.001 % | 11.19/11.23 c | 4929 | 331 263 3207 | 10717 4929 35 | 0.001 % | 11.29/11.36 c | 7492 | 331 263 3207 | 11789 7492 35 | 0.001 % | 11.49/11.59 c | 11338 | 331 263 3207 | 12968 11338 37 | 0.001 % | 11.89/11.98 c | 17105 | 331 263 3207 | 14265 10567 42 | 0.001 % | 12.49/12.58 c | 25756 | 331 263 3207 | 15692 12031 42 | 0.001 % | 13.39/13.48 c | 38731 | 331 263 3207 | 17261 9194 43 | 0.001 % | 13.99/14.06 c =============================================================================== 14.19/14.22 c core #5 14.19/14.22 c ============================[ Search Statistics ]============================== 14.19/14.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.19/14.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.19/14.22 c =============================================================================== 14.19/14.22 c | 0 | 369 301 3686 | 5000 0 nan | 0.000 % | 14.19/14.22 c | 100 | 369 301 3686 | 5500 100 29 | 0.001 % | 14.19/14.23 c | 250 | 369 301 3686 | 6050 250 35 | 0.001 % | 14.19/14.23 c | 476 | 369 301 3686 | 6655 476 34 | 0.001 % | 14.19/14.24 c | 814 | 369 301 3686 | 7320 814 32 | 0.001 % | 14.19/14.26 c | 1323 | 369 301 3686 | 8052 1323 34 | 0.001 % | 14.19/14.29 c | 2082 | 369 301 3686 | 8857 2082 34 | 0.001 % | 14.30/14.33 c | 3221 | 369 301 3686 | 9743 3221 33 | 0.001 % | 14.39/14.41 c | 4929 | 369 301 3686 | 10717 4929 34 | 0.001 % | 14.49/14.54 c | 7491 | 369 301 3686 | 11789 7491 34 | 0.001 % | 14.69/14.77 c | 11336 | 369 301 3686 | 12968 11336 36 | 0.001 % | 15.09/15.18 c | 17104 | 369 301 3686 | 14265 10568 40 | 0.001 % | 15.80/15.80 c | 25753 | 369 301 3686 | 15692 12041 41 | 0.001 % | 16.69/16.72 c | 38728 | 369 301 3686 | 17261 9243 42 | 0.001 % | 17.99/18.04 c | 58194 | 310 301 3686 | 18987 621 24 | 15.990 % | 17.99/18.06 c =============================================================================== 18.19/18.26 c core #6 18.19/18.26 c ============================[ Search Statistics ]============================== 18.19/18.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.19/18.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.19/18.26 c =============================================================================== 18.19/18.26 c | 0 | 418 343 4221 | 5000 0 nan | 0.000 % | 18.19/18.27 c | 100 | 418 343 4221 | 5500 100 41 | 0.001 % | 18.19/18.27 c | 250 | 418 343 4221 | 6050 250 33 | 0.001 % | 18.19/18.28 c | 475 | 418 343 4221 | 6655 475 32 | 0.001 % | 18.19/18.29 c | 814 | 418 343 4221 | 7320 814 32 | 0.001 % | 18.29/18.30 c | 1320 | 418 343 4221 | 8052 1320 32 | 0.001 % | 18.29/18.33 c | 2080 | 418 343 4221 | 8857 2080 31 | 0.001 % | 18.29/18.37 c | 3221 | 418 343 4221 | 9743 3221 32 | 0.001 % | 18.39/18.45 c | 4929 | 418 343 4221 | 10717 4929 33 | 0.001 % | 18.49/18.58 c | 7491 | 418 343 4221 | 11789 7491 35 | 0.001 % | 18.79/18.83 c | 11335 | 418 343 4221 | 12968 11335 37 | 0.001 % | 19.20/19.25 c | 17101 | 418 343 4221 | 14265 10568 40 | 0.001 % | 19.80/19.88 c | 25750 | 418 343 4221 | 15692 12026 40 | 0.001 % | 20.80/20.84 c | 38724 | 418 343 4221 | 17261 9223 42 | 0.001 % | 21.90/21.92 c =============================================================================== 22.09/22.10 c core #7 22.09/22.10 c ============================[ Search Statistics ]============================== 22.09/22.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.09/22.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.09/22.10 c =============================================================================== 22.09/22.10 c | 0 | 465 384 4737 | 5000 0 nan | 0.000 % | 22.09/22.11 c | 100 | 465 384 4737 | 5500 100 31 | 0.000 % | 22.09/22.12 c | 251 | 465 384 4737 | 6050 251 31 | 0.000 % | 22.09/22.12 c | 476 | 465 384 4737 | 6655 476 31 | 0.000 % | 22.09/22.13 c | 813 | 465 384 4737 | 7320 813 32 | 0.000 % | 22.09/22.15 c | 1321 | 465 384 4737 | 8052 1321 33 | 0.000 % | 22.09/22.17 c | 2080 | 465 384 4737 | 8857 2080 34 | 0.000 % | 22.19/22.22 c | 3219 | 465 384 4737 | 9743 3219 35 | 0.000 % | 22.19/22.29 c | 4928 | 465 384 4737 | 10717 4928 35 | 0.000 % | 22.39/22.42 c | 7490 | 465 384 4737 | 11789 7490 36 | 0.000 % | 22.59/22.66 c | 11335 | 465 384 4737 | 12968 11335 37 | 0.000 % | 22.99/23.08 c | 17102 | 465 384 4737 | 14265 10569 41 | 0.000 % | 23.59/23.65 c | 25752 | 465 384 4737 | 15692 12058 38 | 0.000 % | 24.60/24.60 c | 38728 | 465 384 4737 | 17261 9244 44 | 0.000 % | 25.89/25.90 c =============================================================================== 26.09/26.10 c core #8 26.09/26.10 c ============================[ Search Statistics ]============================== 26.09/26.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.09/26.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.09/26.10 c =============================================================================== 26.09/26.10 c | 0 | 516 426 5284 | 5000 0 nan | 0.000 % | 26.09/26.11 c | 101 | 516 426 5284 | 5500 101 25 | 0.000 % | 26.09/26.11 c | 252 | 516 426 5284 | 6050 252 26 | 0.000 % | 26.09/26.12 c | 477 | 516 426 5284 | 6655 477 26 | 0.000 % | 26.09/26.13 c | 815 | 516 426 5284 | 7320 815 25 | 0.000 % | 26.09/26.15 c | 1324 | 516 426 5284 | 8052 1324 29 | 0.000 % | 26.09/26.18 c | 2083 | 516 426 5284 | 8857 2083 32 | 0.000 % | 26.20/26.23 c | 3223 | 516 426 5284 | 9743 3223 33 | 0.000 % | 26.30/26.31 c | 4932 | 516 426 5284 | 10717 4932 34 | 0.000 % | 26.40/26.46 c | 7494 | 516 426 5284 | 11789 7494 36 | 0.000 % | 26.69/26.72 c | 11340 | 516 426 5284 | 12968 11340 36 | 0.000 % | 27.09/27.12 c | 17106 | 516 426 5284 | 14265 10570 39 | 0.000 % | 27.70/27.78 c | 25759 | 516 426 5284 | 15692 12046 41 | 0.000 % | 28.70/28.78 c | 38736 | 516 426 5284 | 17261 9239 43 | 0.000 % | 30.39/30.41 c | 58199 | 516 426 5284 | 18987 11330 42 | 0.000 % | 30.80/30.85 c =============================================================================== 30.99/31.09 c core #9 30.99/31.09 c ============================[ Search Statistics ]============================== 30.99/31.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.99/31.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.99/31.09 c =============================================================================== 30.99/31.09 c | 0 | 555 464 5767 | 5000 0 nan | 0.000 % | 31.09/31.10 c | 100 | 555 464 5767 | 5500 100 28 | 0.000 % | 31.09/31.11 c | 250 | 555 464 5767 | 6050 250 27 | 0.000 % | 31.09/31.12 c | 475 | 555 464 5767 | 6655 475 32 | 0.000 % | 31.09/31.13 c | 812 | 555 464 5767 | 7320 812 31 | 0.000 % | 31.09/31.14 c | 1320 | 555 464 5767 | 8052 1320 31 | 0.000 % | 31.09/31.17 c | 2079 | 555 464 5767 | 8857 2079 33 | 0.000 % | 31.19/31.22 c | 3219 | 555 464 5767 | 9743 3219 33 | 0.000 % | 31.29/31.31 c | 4927 | 555 464 5767 | 10717 4927 35 | 0.000 % | 31.40/31.46 c | 7489 | 555 464 5767 | 11789 7489 37 | 0.000 % | 31.69/31.73 c | 11334 | 555 464 5767 | 12968 11334 37 | 0.000 % | 32.09/32.14 c | 17102 | 555 464 5767 | 14265 10576 39 | 0.000 % | 32.69/32.78 c | 25751 | 555 464 5767 | 15692 12038 42 | 0.000 % | 33.80/33.88 c | 38728 | 555 464 5767 | 17261 9234 41 | 0.000 % | 35.30/35.35 c | 58191 | 519 464 5767 | 18987 4888 44 | 6.487 % | 35.49/35.55 c =============================================================================== 35.69/35.78 c core #10 35.69/35.78 c ============================[ Search Statistics ]============================== 35.69/35.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.69/35.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.69/35.78 c =============================================================================== 35.69/35.78 c | 0 | 594 500 6237 | 5000 0 nan | 0.000 % | 35.69/35.79 c | 101 | 594 500 6237 | 5500 101 27 | 0.000 % | 35.79/35.80 c | 252 | 594 500 6237 | 6050 252 29 | 0.000 % | 35.79/35.80 c | 478 | 594 500 6237 | 6655 478 28 | 0.000 % | 35.79/35.82 c | 819 | 594 500 6237 | 7320 819 30 | 0.000 % | 35.79/35.83 c | 1326 | 594 500 6237 | 8052 1326 31 | 0.000 % | 35.79/35.86 c | 2086 | 594 500 6237 | 8857 2086 32 | 0.000 % | 35.90/35.91 c | 3225 | 594 500 6237 | 9743 3225 32 | 0.000 % | 35.99/36.00 c | 4933 | 594 500 6237 | 10717 4933 34 | 0.000 % | 36.10/36.15 c | 7495 | 594 500 6237 | 11789 7495 35 | 0.000 % | 36.40/36.41 c | 11340 | 594 500 6237 | 12968 11340 37 | 0.000 % | 36.79/36.83 c | 17106 | 594 500 6237 | 14265 10568 42 | 0.000 % | 37.40/37.44 c | 25758 | 594 500 6237 | 15692 12038 41 | 0.000 % | 38.40/38.43 c | 38733 | 594 500 6237 | 17261 9242 41 | 0.000 % | 39.90/39.94 c | 58195 | 594 500 6237 | 18987 11353 44 | 0.000 % | 42.19/42.26 c | 87389 | 569 500 6237 | 20886 7155 40 | 4.209 % | 43.29/43.30 c =============================================================================== 43.60/43.68 c core #11 43.60/43.68 c ============================[ Search Statistics ]============================== 43.60/43.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.60/43.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.60/43.68 c =============================================================================== 43.60/43.68 c | 0 | 660 535 6739 | 5000 0 nan | 0.000 % | 43.60/43.69 c | 101 | 660 535 6739 | 5500 101 33 | 0.000 % | 43.69/43.70 c | 253 | 660 535 6739 | 6050 253 31 | 0.000 % | 43.69/43.70 c | 479 | 660 535 6739 | 6655 479 31 | 0.000 % | 43.69/43.72 c | 816 | 660 535 6739 | 7320 816 29 | 0.000 % | 43.69/43.73 c | 1322 | 660 535 6739 | 8052 1322 30 | 0.000 % | 43.69/43.76 c | 2082 | 660 535 6739 | 8857 2082 32 | 0.000 % | 43.79/43.81 c | 3221 | 660 535 6739 | 9743 3221 33 | 0.000 % | 43.79/43.88 c | 4931 | 660 535 6739 | 10717 4931 32 | 0.000 % | 44.00/44.02 c | 7493 | 660 535 6739 | 11789 7493 33 | 0.000 % | 44.19/44.28 c | 11337 | 660 535 6739 | 12968 11337 34 | 0.000 % | 44.59/44.67 c | 17103 | 660 535 6739 | 14265 10572 36 | 0.000 % | 45.19/45.28 c | 25752 | 660 535 6739 | 15692 12027 42 | 0.000 % | 46.30/46.34 c | 38728 | 660 535 6739 | 17261 9207 41 | 0.000 % | 47.69/47.76 c | 58190 | 660 535 6739 | 18987 11304 47 | 0.000 % | 50.09/50.11 c | 87384 | 660 535 6739 | 20886 11857 46 | 0.000 % | 51.30/51.36 c =============================================================================== 51.70/51.75 c core #12 51.70/51.75 c ============================[ Search Statistics ]============================== 51.70/51.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.70/51.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.70/51.75 c =============================================================================== 51.70/51.75 c | 0 | 751 573 7338 | 5000 0 nan | 0.000 % | 51.70/51.77 c | 100 | 751 573 7338 | 5500 100 34 | 0.000 % | 51.70/51.77 c | 252 | 751 573 7338 | 6050 252 34 | 0.000 % | 51.70/51.78 c | 477 | 751 573 7338 | 6655 477 33 | 0.000 % | 51.70/51.79 c | 816 | 751 573 7338 | 7320 816 29 | 0.000 % | 51.79/51.81 c | 1324 | 751 573 7338 | 8052 1324 29 | 0.000 % | 51.79/51.84 c | 2083 | 751 573 7338 | 8857 2083 30 | 0.000 % | 51.79/51.88 c | 3222 | 751 573 7338 | 9743 3222 30 | 0.000 % | 51.90/51.97 c | 4930 | 751 573 7338 | 10717 4930 32 | 0.000 % | 52.09/52.11 c | 7493 | 751 573 7338 | 11789 7493 33 | 0.000 % | 52.30/52.36 c | 11339 | 751 573 7338 | 12968 11339 35 | 0.000 % | 52.70/52.77 c | 17108 | 751 573 7338 | 14265 10587 38 | 0.000 % | 53.29/53.39 c | 25758 | 751 573 7338 | 15692 12059 38 | 0.000 % | 54.29/54.35 c | 38732 | 751 573 7338 | 17261 9231 39 | 0.000 % | 55.79/55.83 c | 58195 | 751 573 7338 | 18987 11341 41 | 0.000 % | 57.30/57.35 c =============================================================================== 57.59/57.64 c core #13 57.59/57.64 c ============================[ Search Statistics ]============================== 57.59/57.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.59/57.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.59/57.64 c =============================================================================== 57.59/57.64 c | 0 | 787 609 7799 | 5000 0 nan | 0.000 % | 57.59/57.66 c | 101 | 787 609 7799 | 5500 101 36 | 0.000 % | 57.59/57.66 c | 253 | 787 609 7799 | 6050 253 35 | 0.000 % | 57.59/57.67 c | 479 | 787 609 7799 | 6655 479 32 | 0.000 % | 57.59/57.68 c | 817 | 787 609 7799 | 7320 817 30 | 0.000 % | 57.69/57.70 c | 1323 | 787 609 7799 | 8052 1323 30 | 0.000 % | 57.69/57.73 c | 2083 | 787 609 7799 | 8857 2083 32 | 0.000 % | 57.69/57.78 c | 3222 | 787 609 7799 | 9743 3222 32 | 0.000 % | 57.79/57.86 c | 4933 | 787 609 7799 | 10717 4933 33 | 0.000 % | 58.00/58.01 c | 7495 | 787 609 7799 | 11789 7495 33 | 0.000 % | 58.20/58.26 c | 11339 | 787 609 7799 | 12968 11339 36 | 0.000 % | 58.60/58.65 c | 17105 | 787 609 7799 | 14265 10583 38 | 0.000 % | 59.20/59.21 c | 25754 | 787 609 7799 | 15692 12060 37 | 0.000 % | 60.10/60.15 c | 38728 | 787 609 7799 | 17261 9232 40 | 0.000 % | 61.50/61.54 c | 58190 | 787 609 7799 | 18987 11329 43 | 0.000 % | 63.80/63.88 c | 87382 | 787 609 7799 | 20886 11884 45 | 0.006 % | 64.90/64.91 c =============================================================================== 65.19/65.29 c core #14 65.19/65.29 c ============================[ Search Statistics ]============================== 65.19/65.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.19/65.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.19/65.29 c =============================================================================== 65.19/65.29 c | 0 | 835 644 8275 | 5000 0 nan | 0.000 % | 65.29/65.31 c | 100 | 835 644 8275 | 5500 100 29 | 0.000 % | 65.29/65.31 c | 250 | 835 644 8275 | 6050 250 29 | 0.000 % | 65.29/65.32 c | 475 | 835 644 8275 | 6655 475 29 | 0.000 % | 65.29/65.33 c | 813 | 835 644 8275 | 7320 813 29 | 0.000 % | 65.29/65.35 c | 1320 | 835 644 8275 | 8052 1320 29 | 0.000 % | 65.29/65.38 c | 2085 | 835 644 8275 | 8857 2085 31 | 0.000 % | 65.39/65.43 c | 3224 | 835 644 8275 | 9743 3224 32 | 0.000 % | 65.50/65.51 c | 4933 | 835 644 8275 | 10717 4933 33 | 0.000 % | 65.59/65.64 c | 7495 | 835 644 8275 | 11789 7495 33 | 0.000 % | 65.90/65.91 c | 11339 | 835 644 8275 | 12968 11339 35 | 0.000 % | 66.29/66.34 c | 17106 | 835 644 8275 | 14265 10569 38 | 0.000 % | 66.89/66.92 c | 25757 | 835 644 8275 | 15692 12045 38 | 0.000 % | 67.89/67.90 c | 38732 | 835 644 8275 | 17261 9217 38 | 0.000 % | 69.29/69.34 c | 58194 | 835 644 8275 | 18987 11324 43 | 0.000 % | 70.70/70.75 c =============================================================================== 70.99/71.05 c core #15 70.99/71.05 c ============================[ Search Statistics ]============================== 70.99/71.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 70.99/71.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 70.99/71.05 c =============================================================================== 70.99/71.05 c | 0 | 868 676 8687 | 5000 0 nan | 0.000 % | 70.99/71.05 c | 102 | 868 676 8687 | 5500 102 37 | 0.000 % | 70.99/71.06 c | 253 | 868 676 8687 | 6050 253 36 | 0.000 % | 70.99/71.07 c | 478 | 868 676 8687 | 6655 478 37 | 0.000 % | 70.99/71.08 c | 816 | 868 676 8687 | 7320 816 37 | 0.000 % | 71.09/71.11 c | 1322 | 868 676 8687 | 8052 1322 36 | 0.000 % | 71.09/71.14 c | 2081 | 868 676 8687 | 8857 2081 37 | 0.000 % | 71.09/71.18 c | 3221 | 868 676 8687 | 9743 3221 37 | 0.000 % | 71.19/71.27 c | 4929 | 868 676 8687 | 10717 4929 37 | 0.000 % | 71.40/71.42 c | 7494 | 868 676 8687 | 11789 7494 38 | 0.000 % | 71.59/71.69 c | 11339 | 868 676 8687 | 12968 11339 38 | 0.000 % | 72.09/72.15 c | 17106 | 868 676 8687 | 14265 10580 41 | 0.000 % | 72.80/72.80 c | 25757 | 868 676 8687 | 15692 12040 42 | 0.000 % | 73.80/73.84 c | 38732 | 868 676 8687 | 17261 9227 45 | 0.000 % | 75.29/75.35 c | 58193 | 868 676 8687 | 18987 11327 45 | 0.000 % | 76.59/76.62 c =============================================================================== 76.59/76.62 c #cores: 15 76.59/76.62 c Final Weight: 19 76.59/76.62 o 19 76.59/76.62 s OPTIMUM FOUND 76.59/76.62 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 76.59/76.62 c Total CPU time: 74.2457 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-2689871-1277897034/watcher-2689871-1277897034 -o /tmp/evaluation-result-2689871-1277897034/solver-2689871-1277897034 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689871-1277897034.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 3/196 14235 /proc/meminfo: memFree=30855132/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=2572 CPUtime=0 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 285 0 0 0 0 0 0 0 21 0 1 0 130997855 2633728 200 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 643 200 143 303 0 338 0 [startup+0.0442039 s] /proc/loadavg: 1.92 1.98 1.99 3/196 14235 /proc/meminfo: memFree=30855132/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=2968 CPUtime=0.03 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 374 0 0 0 3 0 0 0 21 0 1 0 130997855 3039232 289 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 742 289 143 303 0 437 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2968 [startup+0.100181 s] /proc/loadavg: 1.92 1.98 1.99 3/196 14235 /proc/meminfo: memFree=30855132/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=3364 CPUtime=0.09 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 485 0 0 0 8 1 0 0 21 0 1 0 130997855 3444736 400 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 841 400 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.300145 s] /proc/loadavg: 1.92 1.98 1.99 3/196 14235 /proc/meminfo: memFree=30855132/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=4568 CPUtime=0.29 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 795 0 0 0 27 2 0 0 21 0 1 0 130997855 4677632 710 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 1142 710 143 303 0 837 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4568 [startup+0.701073 s] /proc/loadavg: 1.92 1.98 1.99 3/196 14235 /proc/meminfo: memFree=30855132/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=6680 CPUtime=0.69 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 1307 0 0 0 66 3 0 0 22 0 1 0 130997855 6840320 1222 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 1670 1222 143 303 0 1365 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6680 [startup+1.50094 s] /proc/loadavg: 1.93 1.98 1.99 3/197 14236 /proc/meminfo: memFree=30850196/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=10508 CPUtime=1.49 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 2263 0 0 0 143 6 0 0 25 0 1 0 130997855 10760192 2178 4089446400 134512640 135751879 4288964608 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 2627 2178 143 303 0 2322 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10508 [startup+3.10065 s] /proc/loadavg: 1.93 1.98 1.99 3/197 14236 /proc/meminfo: memFree=30844616/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=14732 CPUtime=3.09 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 3320 0 0 0 297 12 0 0 25 0 1 0 130997855 15085568 3235 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 3683 3235 146 303 0 3378 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14732 [startup+6.30108 s] /proc/loadavg: 1.93 1.98 1.99 3/197 14236 /proc/meminfo: memFree=30837548/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=23312 CPUtime=6.29 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 5470 0 0 0 606 23 0 0 25 0 1 0 130997855 23871488 5385 4089446400 134512640 135751879 4288964608 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 5828 5385 146 303 0 5523 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23312 [startup+12.701 s] /proc/loadavg: 1.94 1.98 1.99 3/197 14236 /proc/meminfo: memFree=30819168/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=39956 CPUtime=12.69 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 9645 0 0 0 1225 44 0 0 18 0 1 0 130997855 40914944 9560 4089446400 134512640 135751879 4288964608 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 9989 9560 146 303 0 9684 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39956 [startup+25.5007 s] /proc/loadavg: 1.95 1.98 1.99 3/197 14236 /proc/meminfo: memFree=30784752/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=76160 CPUtime=25.49 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 18692 0 0 0 2462 87 0 0 25 0 1 0 130997855 77987840 18607 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 19040 18607 146 303 0 18735 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 76160 [startup+51.1002 s] /proc/loadavg: 1.97 1.98 1.99 3/197 14238 /proc/meminfo: memFree=30719208/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=141864 CPUtime=51.1 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 35124 0 0 0 4950 160 0 0 25 0 1 0 130997855 145268736 35039 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 35466 35039 146 303 0 35161 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 141864 Solver just ended. Dumping a history of the last processes samples [startup+63.9009 s] /proc/loadavg: 1.97 1.98 1.99 3/197 14238 /proc/meminfo: memFree=30688448/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=171320 CPUtime=63.89 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 42478 0 0 0 6192 197 0 0 25 0 1 0 130997855 175431680 42393 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 42830 42393 146 303 0 42525 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 171320 [startup+70.3008 s] /proc/loadavg: 1.97 1.98 1.99 3/197 14238 /proc/meminfo: memFree=30672564/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=186532 CPUtime=70.3 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 46271 0 0 0 6812 218 0 0 25 0 1 0 130997855 191008768 46186 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 46633 46186 146 303 0 46328 0 Current children cumulated CPU time (s) 70.3 Current children cumulated vsize (KiB) 186532 [startup+73.5002 s] /proc/loadavg: 1.97 1.98 1.99 3/197 14238 /proc/meminfo: memFree=30668472/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=192076 CPUtime=73.49 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 47672 0 0 0 7122 227 0 0 18 0 1 0 130997855 196685824 47587 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 48019 47587 146 303 0 47714 0 Current children cumulated CPU time (s) 73.49 Current children cumulated vsize (KiB) 192076 [startup+75.1009 s] /proc/loadavg: 1.97 1.98 1.99 3/197 14238 /proc/meminfo: memFree=30663504/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=196700 CPUtime=75.1 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 48809 0 0 0 7278 232 0 0 22 0 1 0 130997855 201420800 48724 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 49175 48724 146 303 0 48870 0 Current children cumulated CPU time (s) 75.1 Current children cumulated vsize (KiB) 196700 [startup+75.9068 s] /proc/loadavg: 1.98 1.98 1.99 3/197 14238 /proc/meminfo: memFree=30660156/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=199076 CPUtime=75.9 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 49411 0 0 0 7355 235 0 0 25 0 1 0 130997855 203853824 49326 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 49769 49326 146 303 0 49464 0 Current children cumulated CPU time (s) 75.9 Current children cumulated vsize (KiB) 199076 [startup+76.3007 s] /proc/loadavg: 1.98 1.98 1.99 3/197 14238 /proc/meminfo: memFree=30660156/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=200144 CPUtime=76.29 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 49691 0 0 0 7393 236 0 0 25 0 1 0 130997855 204947456 49606 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 50036 49606 146 303 0 49731 0 Current children cumulated CPU time (s) 76.29 Current children cumulated vsize (KiB) 200144 [startup+76.5007 s] /proc/loadavg: 1.98 1.98 1.99 3/197 14238 /proc/meminfo: memFree=30660156/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=200804 CPUtime=76.49 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 49845 0 0 0 7412 237 0 0 25 0 1 0 130997855 205623296 49760 4089446400 134512640 135751879 4288964608 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 50201 49760 146 303 0 49896 0 Current children cumulated CPU time (s) 76.49 Current children cumulated vsize (KiB) 200804 [startup+76.6007 s] /proc/loadavg: 1.98 1.98 1.99 3/197 14238 /proc/meminfo: memFree=30660156/32951124 swapFree=67111528/67111528 [pid=14235] ppid=14233 vsize=201072 CPUtime=76.59 /proc/14235/stat : 14235 (wbo1.4a) R 14233 14235 14210 0 -1 4202496 49907 0 0 0 7422 237 0 0 25 0 1 0 130997855 205897728 49822 4089446400 134512640 135751879 4288964608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14235/statm: 50268 49822 146 303 0 49963 0 Current children cumulated CPU time (s) 76.59 Current children cumulated vsize (KiB) 201072 Child status: 0 Real time (s): 76.6306 CPU time (s): 76.6324 CPU user time (s): 74.2457 CPU system time (s): 2.38664 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 201072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 74.2457 system time used= 2.38664 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49928 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= 10 involuntary context switches= 144 runsolver used 0.102984 second user time and 0.25996 second system time The end
Begin job on node140 at 2010-06-30 13:23:54 IDJOB=2689871 IDBENCH=78802 IDSOLVER=1200 FILE ID=node140/2689871-1277897034 PBS_JOBID= 11197170 Free space on /tmp= 74200 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226368--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-2689871-1277897034/watcher-2689871-1277897034 -o /tmp/evaluation-result-2689871-1277897034/solver-2689871-1277897034 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689871-1277897034.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cd14c84645c681c9a9ce76500d94ff11 RANDOM SEED=155062373 node140.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.790 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.58 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.790 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.790 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.790 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.89 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.790 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 : 5421.15 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.790 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 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.790 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30855660 kB Buffers: 179836 kB Cached: 1274924 kB SwapCached: 0 kB Active: 1221560 kB Inactive: 728688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30855660 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2832 kB Writeback: 0 kB AnonPages: 496044 kB Mapped: 20232 kB Slab: 79568 kB PageTables: 5652 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1654872 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= 74200 MiB End job on node140 at 2010-06-30 13:25:10