Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 79.065 | 79.0643 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo |
MD5SUM | ae60804d96363031fd1d95f40cdae528 |
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 | 15 |
Best CPU time to get the best result obtained on this benchmark | 0.158975 |
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 | 69 |
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 | 3204 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3203 |
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-2689962-1277899634.wbo. 0.00/0.00 c Instance file HOME/instance-2689962-1277899634.wbo 0.00/0.00 c File size is 10308 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 28 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 27 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 30 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 33 | 0.004 % | 0.00/0.03 c | 1319 | 169 101 1205 | 8052 1319 34 | 0.004 % | 0.00/0.05 c | 2079 | 169 101 1205 | 8857 2079 36 | 0.004 % | 0.00/0.09 c | 3218 | 169 101 1205 | 9743 3218 37 | 0.004 % | 0.09/0.16 c | 4928 | 169 101 1205 | 10717 4928 40 | 0.004 % | 0.29/0.30 c | 7490 | 169 101 1205 | 11789 7490 41 | 0.004 % | 0.49/0.55 c | 11335 | 169 101 1205 | 12968 11335 41 | 0.004 % | 0.89/0.92 c | 17101 | 169 101 1205 | 14265 10560 41 | 0.004 % | 1.59/1.60 c | 25750 | 169 101 1205 | 15692 12024 44 | 0.004 % | 2.49/2.51 c =============================================================================== 2.59/2.66 c core #1 2.59/2.66 c ============================[ Search Statistics ]============================== 2.59/2.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.66 c =============================================================================== 2.59/2.66 c | 0 | 236 169 2203 | 5000 0 nan | 0.000 % | 2.59/2.66 c | 102 | 236 169 2203 | 5500 102 32 | 0.002 % | 2.59/2.67 c | 253 | 236 169 2203 | 6050 253 37 | 0.002 % | 2.59/2.67 c | 479 | 236 169 2203 | 6655 479 33 | 0.002 % | 2.59/2.68 c | 816 | 236 169 2203 | 7320 816 31 | 0.002 % | 2.69/2.70 c | 1324 | 236 169 2203 | 8052 1324 30 | 0.002 % | 2.69/2.72 c | 2085 | 236 169 2203 | 8857 2085 32 | 0.002 % | 2.69/2.77 c | 3226 | 236 169 2203 | 9743 3226 32 | 0.002 % | 2.79/2.84 c | 4935 | 236 169 2203 | 10717 4935 34 | 0.002 % | 2.89/2.99 c | 7503 | 236 169 2203 | 11789 7503 35 | 0.002 % | 3.20/3.24 c | 11349 | 236 169 2203 | 12968 11349 36 | 0.002 % | 3.49/3.59 c | 17115 | 236 169 2203 | 14265 10588 41 | 0.002 % | 4.09/4.17 c | 25764 | 236 169 2203 | 15692 12060 42 | 0.002 % | 4.98/5.05 c | 38739 | 236 169 2203 | 17261 9243 42 | 0.002 % | 5.49/5.51 c =============================================================================== 5.69/5.70 c core #2 5.69/5.70 c ============================[ Search Statistics ]============================== 5.69/5.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.69/5.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.69/5.70 c =============================================================================== 5.69/5.70 c | 0 | 302 235 3176 | 5000 0 nan | 0.000 % | 5.69/5.70 c | 100 | 302 235 3176 | 5500 100 27 | 0.001 % | 5.69/5.71 c | 250 | 302 235 3176 | 6050 250 25 | 0.001 % | 5.69/5.71 c | 477 | 302 235 3176 | 6655 477 30 | 0.001 % | 5.69/5.72 c | 814 | 302 235 3176 | 7320 814 30 | 0.001 % | 5.69/5.74 c | 1320 | 302 235 3176 | 8052 1320 34 | 0.001 % | 5.69/5.76 c | 2079 | 302 235 3176 | 8857 2079 34 | 0.001 % | 5.79/5.81 c | 3218 | 302 235 3176 | 9743 3218 34 | 0.001 % | 5.79/5.88 c | 4926 | 302 235 3176 | 10717 4926 36 | 0.001 % | 5.99/6.00 c | 7491 | 302 235 3176 | 11789 7491 36 | 0.001 % | 6.19/6.24 c | 11335 | 302 235 3176 | 12968 11335 37 | 0.001 % | 6.59/6.63 c | 17107 | 302 235 3176 | 14265 10575 39 | 0.001 % | 7.18/7.22 c | 25756 | 302 235 3176 | 15692 12045 41 | 0.001 % | 8.09/8.18 c | 38731 | 302 235 3176 | 17261 9212 43 | 0.001 % | 9.19/9.27 c =============================================================================== 9.39/9.49 c core #3 9.39/9.49 c ============================[ Search Statistics ]============================== 9.39/9.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.49 c =============================================================================== 9.39/9.49 c | 0 | 371 301 4155 | 5000 0 nan | 0.000 % | 9.39/9.49 c | 100 | 371 301 4155 | 5500 100 31 | 0.001 % | 9.49/9.50 c | 251 | 371 301 4155 | 6050 251 31 | 0.001 % | 9.49/9.50 c | 477 | 371 301 4155 | 6655 477 30 | 0.001 % | 9.49/9.51 c | 817 | 371 301 4155 | 7320 817 30 | 0.001 % | 9.49/9.53 c | 1325 | 371 301 4155 | 8052 1325 31 | 0.001 % | 9.49/9.55 c | 2088 | 371 301 4155 | 8857 2088 30 | 0.001 % | 9.49/9.59 c | 3228 | 371 301 4155 | 9743 3228 30 | 0.001 % | 9.59/9.67 c | 4937 | 371 301 4155 | 10717 4937 32 | 0.001 % | 9.79/9.81 c | 7499 | 371 301 4155 | 11789 7499 34 | 0.001 % | 9.99/10.03 c | 11343 | 371 301 4155 | 12968 11343 35 | 0.001 % | 10.39/10.44 c | 17109 | 371 301 4155 | 14265 10585 38 | 0.001 % | 10.99/11.00 c | 25758 | 371 301 4155 | 15692 12053 39 | 0.001 % | 11.79/11.86 c | 38732 | 371 301 4155 | 17261 9237 41 | 0.001 % | 12.99/13.06 c =============================================================================== 13.19/13.29 c core #4 13.19/13.29 c ============================[ Search Statistics ]============================== 13.19/13.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.19/13.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.19/13.29 c =============================================================================== 13.19/13.29 c | 0 | 435 366 5119 | 5000 0 nan | 0.000 % | 13.19/13.29 c | 103 | 435 366 5119 | 5500 103 30 | 0.001 % | 13.29/13.30 c | 255 | 435 366 5119 | 6050 255 37 | 0.001 % | 13.29/13.31 c | 482 | 435 366 5119 | 6655 482 35 | 0.001 % | 13.29/13.32 c | 822 | 435 366 5119 | 7320 822 34 | 0.001 % | 13.29/13.33 c | 1328 | 435 366 5119 | 8052 1328 31 | 0.001 % | 13.29/13.36 c | 2087 | 435 366 5119 | 8857 2087 32 | 0.001 % | 13.39/13.41 c | 3228 | 435 366 5119 | 9743 3228 31 | 0.001 % | 13.39/13.49 c | 4936 | 435 366 5119 | 10717 4936 33 | 0.001 % | 13.59/13.61 c | 7499 | 435 366 5119 | 11789 7499 34 | 0.001 % | 13.79/13.85 c | 11343 | 435 366 5119 | 12968 11343 36 | 0.001 % | 14.20/14.22 c | 17109 | 435 366 5119 | 14265 10591 40 | 0.001 % | 14.79/14.88 c | 25758 | 435 366 5119 | 15692 12062 42 | 0.001 % | 15.79/15.82 c | 38732 | 435 366 5119 | 17261 9234 44 | 0.001 % | 16.69/16.70 c =============================================================================== 16.89/16.92 c core #5 16.89/16.92 c ============================[ Search Statistics ]============================== 16.89/16.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.89/16.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.89/16.92 c =============================================================================== 16.89/16.92 c | 0 | 502 430 6076 | 5000 0 nan | 0.000 % | 16.89/16.93 c | 101 | 502 430 6076 | 5500 101 32 | 0.000 % | 16.89/16.93 c | 253 | 502 430 6076 | 6050 253 33 | 0.000 % | 16.89/16.94 c | 478 | 502 430 6076 | 6655 478 30 | 0.000 % | 16.89/16.95 c | 815 | 502 430 6076 | 7320 815 30 | 0.000 % | 16.89/16.97 c | 1322 | 502 430 6076 | 8052 1322 28 | 0.000 % | 16.99/17.00 c | 2084 | 502 430 6076 | 8857 2084 31 | 0.000 % | 16.99/17.05 c | 3223 | 502 430 6076 | 9743 3223 32 | 0.000 % | 17.09/17.13 c | 4933 | 502 430 6076 | 10717 4933 33 | 0.000 % | 17.29/17.30 c | 7496 | 502 430 6076 | 11789 7496 35 | 0.000 % | 17.50/17.55 c | 11343 | 502 430 6076 | 12968 11343 36 | 0.000 % | 17.89/17.95 c | 17109 | 502 430 6076 | 14265 10566 40 | 0.000 % | 18.49/18.60 c | 25759 | 502 430 6076 | 15692 12038 41 | 0.000 % | 19.59/19.63 c | 38733 | 502 430 6076 | 17261 9224 43 | 0.000 % | 20.89/20.92 c =============================================================================== 21.09/21.16 c core #6 21.09/21.16 c ============================[ Search Statistics ]============================== 21.09/21.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.09/21.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.09/21.16 c =============================================================================== 21.09/21.16 c | 0 | 576 493 7034 | 5000 0 nan | 0.000 % | 21.09/21.17 c | 100 | 576 493 7034 | 5500 100 27 | 0.000 % | 21.09/21.17 c | 251 | 576 493 7034 | 6050 251 32 | 0.000 % | 21.09/21.18 c | 478 | 576 493 7034 | 6655 478 30 | 0.000 % | 21.09/21.19 c | 816 | 576 493 7034 | 7320 816 32 | 0.000 % | 21.19/21.21 c | 1322 | 576 493 7034 | 8052 1322 30 | 0.000 % | 21.19/21.24 c | 2082 | 576 493 7034 | 8857 2082 32 | 0.000 % | 21.19/21.28 c | 3223 | 576 493 7034 | 9743 3223 32 | 0.000 % | 21.29/21.36 c | 4932 | 576 493 7034 | 10717 4932 34 | 0.000 % | 21.49/21.50 c | 7494 | 576 493 7034 | 11789 7494 34 | 0.000 % | 21.68/21.75 c | 11339 | 576 493 7034 | 12968 11339 35 | 0.000 % | 22.08/22.16 c | 17105 | 576 493 7034 | 14265 10570 38 | 0.000 % | 22.69/22.77 c | 25756 | 576 493 7034 | 15692 12034 43 | 0.000 % | 23.69/23.75 c | 38730 | 576 493 7034 | 17261 9221 41 | 0.000 % | 25.30/25.32 c | 58191 | 576 493 7034 | 18987 11312 43 | 0.011 % | 25.79/25.85 c =============================================================================== 26.09/26.14 c core #7 26.09/26.14 c ============================[ Search Statistics ]============================== 26.09/26.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.09/26.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.09/26.14 c =============================================================================== 26.09/26.14 c | 0 | 655 556 8002 | 5000 0 nan | 0.000 % | 26.09/26.15 c | 105 | 655 556 8002 | 5500 105 28 | 0.000 % | 26.09/26.15 c | 255 | 655 556 8002 | 6050 255 27 | 0.000 % | 26.09/26.16 c | 480 | 655 556 8002 | 6655 480 27 | 0.000 % | 26.09/26.17 c | 817 | 655 556 8002 | 7320 817 29 | 0.000 % | 26.09/26.19 c | 1323 | 655 556 8002 | 8052 1323 29 | 0.000 % | 26.19/26.22 c | 2085 | 655 556 8002 | 8857 2085 29 | 0.000 % | 26.19/26.27 c | 3224 | 655 556 8002 | 9743 3224 30 | 0.000 % | 26.30/26.35 c | 4932 | 655 556 8002 | 10717 4932 31 | 0.000 % | 26.40/26.49 c | 7494 | 655 556 8002 | 11789 7494 34 | 0.000 % | 26.69/26.77 c | 11340 | 655 556 8002 | 12968 11340 36 | 0.000 % | 27.18/27.21 c | 17106 | 655 556 8002 | 14265 10576 41 | 0.000 % | 27.79/27.82 c | 25755 | 655 556 8002 | 15692 12048 41 | 0.000 % | 28.69/28.76 c | 38729 | 655 556 8002 | 17261 9235 43 | 0.000 % | 29.79/29.87 c =============================================================================== 30.09/30.10 c core #8 30.09/30.10 c ============================[ Search Statistics ]============================== 30.09/30.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.09/30.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.09/30.10 c =============================================================================== 30.09/30.10 c | 0 | 716 617 8919 | 5000 0 nan | 0.000 % | 30.09/30.11 c | 103 | 716 617 8919 | 5500 103 35 | 0.000 % | 30.09/30.11 c | 253 | 716 617 8919 | 6050 253 30 | 0.000 % | 30.09/30.12 c | 479 | 716 617 8919 | 6655 479 34 | 0.000 % | 30.09/30.13 c | 817 | 716 617 8919 | 7320 817 33 | 0.000 % | 30.09/30.15 c | 1323 | 716 617 8919 | 8052 1323 33 | 0.000 % | 30.09/30.19 c | 2082 | 716 617 8919 | 8857 2082 32 | 0.000 % | 30.19/30.23 c | 3221 | 716 617 8919 | 9743 3221 32 | 0.000 % | 30.29/30.32 c | 4929 | 716 617 8919 | 10717 4929 34 | 0.000 % | 30.39/30.46 c | 7491 | 716 617 8919 | 11789 7491 34 | 0.000 % | 30.70/30.73 c | 11336 | 716 617 8919 | 12968 11336 35 | 0.000 % | 31.09/31.13 c | 17102 | 716 617 8919 | 14265 10567 37 | 0.000 % | 31.69/31.78 c | 25752 | 716 617 8919 | 15692 12029 38 | 0.000 % | 32.69/32.78 c | 38727 | 716 617 8919 | 17261 9212 45 | 0.000 % | 34.19/34.28 c | 58192 | 716 617 8919 | 18987 11310 44 | 0.000 % | 34.79/34.82 c =============================================================================== 34.99/35.10 c core #9 34.99/35.10 c ============================[ Search Statistics ]============================== 34.99/35.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.99/35.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.99/35.10 c =============================================================================== 34.99/35.10 c | 0 | 800 678 9882 | 5000 0 nan | 0.000 % | 35.10/35.11 c | 100 | 800 678 9882 | 5500 100 36 | 0.000 % | 35.10/35.12 c | 250 | 800 678 9882 | 6050 250 32 | 0.000 % | 35.10/35.12 c | 475 | 800 678 9882 | 6655 475 28 | 0.000 % | 35.10/35.14 c | 813 | 800 678 9882 | 7320 813 30 | 0.000 % | 35.10/35.16 c | 1319 | 800 678 9882 | 8052 1319 31 | 0.000 % | 35.10/35.19 c | 2078 | 800 678 9882 | 8857 2078 31 | 0.000 % | 35.19/35.24 c | 3217 | 800 678 9882 | 9743 3217 32 | 0.000 % | 35.29/35.33 c | 4925 | 800 678 9882 | 10717 4925 34 | 0.000 % | 35.39/35.48 c | 7488 | 800 678 9882 | 11789 7488 36 | 0.000 % | 35.69/35.75 c | 11334 | 800 678 9882 | 12968 11334 36 | 0.000 % | 36.20/36.22 c | 17101 | 800 678 9882 | 14265 10573 40 | 0.000 % | 36.79/36.87 c | 25752 | 800 678 9882 | 15692 12038 42 | 0.000 % | 37.89/37.90 c | 38729 | 800 678 9882 | 17261 9225 42 | 0.000 % | 39.29/39.35 c | 58190 | 800 678 9882 | 18987 11320 44 | 0.000 % | 40.29/40.32 c =============================================================================== 40.60/40.63 c core #10 40.60/40.63 c ============================[ Search Statistics ]============================== 40.60/40.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.60/40.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.60/40.63 c =============================================================================== 40.60/40.63 c | 0 | 859 736 10763 | 5000 0 nan | 0.000 % | 40.60/40.65 c | 100 | 859 736 10763 | 5500 100 38 | 0.000 % | 40.60/40.65 c | 250 | 859 736 10763 | 6050 250 38 | 0.000 % | 40.60/40.66 c | 475 | 859 736 10763 | 6655 475 34 | 0.000 % | 40.60/40.67 c | 812 | 859 736 10763 | 7320 812 33 | 0.000 % | 40.60/40.69 c | 1318 | 859 736 10763 | 8052 1318 32 | 0.000 % | 40.70/40.72 c | 2077 | 859 736 10763 | 8857 2077 32 | 0.000 % | 40.70/40.78 c | 3216 | 859 736 10763 | 9743 3216 32 | 0.000 % | 40.79/40.88 c | 4924 | 859 736 10763 | 10717 4924 32 | 0.000 % | 40.99/41.06 c | 7488 | 859 736 10763 | 11789 7488 35 | 0.000 % | 41.29/41.36 c | 11333 | 859 736 10763 | 12968 11333 37 | 0.000 % | 41.70/41.79 c | 17101 | 859 736 10763 | 14265 10564 38 | 0.000 % | 42.39/42.42 c | 25750 | 859 736 10763 | 15692 12035 40 | 0.000 % | 43.39/43.46 c | 38724 | 859 736 10763 | 17261 9214 40 | 0.000 % | 44.79/44.89 c | 58186 | 859 736 10763 | 18987 11312 44 | 0.000 % | 45.29/45.33 c =============================================================================== 45.59/45.60 c core #11 45.59/45.60 c ============================[ Search Statistics ]============================== 45.59/45.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.59/45.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.59/45.60 c =============================================================================== 45.59/45.60 c | 0 | 962 794 11732 | 5000 0 nan | 0.000 % | 45.59/45.61 c | 100 | 962 794 11732 | 5500 100 28 | 0.000 % | 45.59/45.62 c | 250 | 962 794 11732 | 6050 250 33 | 0.000 % | 45.59/45.63 c | 475 | 962 794 11732 | 6655 475 34 | 0.000 % | 45.59/45.64 c | 812 | 962 794 11732 | 7320 812 33 | 0.000 % | 45.59/45.66 c | 1319 | 962 794 11732 | 8052 1319 32 | 0.000 % | 45.59/45.69 c | 2079 | 962 794 11732 | 8857 2079 32 | 0.000 % | 45.69/45.75 c | 3219 | 962 794 11732 | 9743 3219 33 | 0.000 % | 45.79/45.84 c | 4927 | 962 794 11732 | 10717 4927 35 | 0.000 % | 45.99/46.00 c | 7490 | 962 794 11732 | 11789 7490 36 | 0.000 % | 46.20/46.27 c | 11335 | 962 794 11732 | 12968 11335 37 | 0.000 % | 46.69/46.71 c | 17102 | 962 794 11732 | 14265 10572 40 | 0.000 % | 47.30/47.38 c | 25752 | 962 794 11732 | 15692 12045 39 | 0.000 % | 48.30/48.32 c | 38726 | 962 794 11732 | 17261 9245 36 | 0.000 % | 49.79/49.89 c | 58187 | 962 794 11732 | 18987 11359 48 | 0.000 % | 51.19/51.23 c =============================================================================== 51.49/51.55 c core #12 51.49/51.55 c ============================[ Search Statistics ]============================== 51.49/51.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.49/51.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.49/51.55 c =============================================================================== 51.49/51.55 c | 0 | 1029 851 12616 | 5000 0 nan | 0.000 % | 51.49/51.57 c | 101 | 1029 851 12616 | 5500 101 33 | 0.000 % | 51.49/51.57 c | 251 | 1029 851 12616 | 6050 251 32 | 0.000 % | 51.49/51.58 c | 476 | 1029 851 12616 | 6655 476 33 | 0.000 % | 51.49/51.59 c | 813 | 1029 851 12616 | 7320 813 31 | 0.000 % | 51.60/51.61 c | 1319 | 1029 851 12616 | 8052 1319 30 | 0.000 % | 51.60/51.64 c | 2078 | 1029 851 12616 | 8857 2078 30 | 0.000 % | 51.60/51.69 c | 3217 | 1029 851 12616 | 9743 3217 31 | 0.000 % | 51.69/51.78 c | 4926 | 1029 851 12616 | 10717 4926 33 | 0.000 % | 51.89/51.94 c | 7493 | 1029 851 12616 | 11789 7493 34 | 0.000 % | 52.19/52.22 c | 11337 | 1029 851 12616 | 12968 11337 35 | 0.000 % | 52.59/52.65 c | 17104 | 1029 851 12616 | 14265 10568 36 | 0.000 % | 53.29/53.34 c | 25753 | 1029 851 12616 | 15692 12042 38 | 0.000 % | 54.39/54.40 c | 38728 | 1029 851 12616 | 17261 9239 40 | 0.000 % | 55.79/55.86 c | 58189 | 990 851 12616 | 18987 2454 37 | 3.790 % | 56.29/56.30 c =============================================================================== 56.49/56.57 c core #13 56.49/56.57 c ============================[ Search Statistics ]============================== 56.49/56.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.49/56.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.49/56.57 c =============================================================================== 56.49/56.57 c | 0 | 1124 908 13556 | 5000 0 nan | 0.000 % | 56.49/56.58 c | 101 | 1124 908 13556 | 5500 101 44 | 0.000 % | 56.49/56.59 c | 252 | 1124 908 13556 | 6050 252 47 | 0.000 % | 56.59/56.60 c | 479 | 1124 908 13556 | 6655 479 40 | 0.000 % | 56.59/56.61 c | 817 | 1124 908 13556 | 7320 817 36 | 0.000 % | 56.59/56.63 c | 1323 | 1124 908 13556 | 8052 1323 32 | 0.000 % | 56.59/56.66 c | 2082 | 1124 908 13556 | 8857 2082 31 | 0.000 % | 56.69/56.71 c | 3222 | 1124 908 13556 | 9743 3222 32 | 0.000 % | 56.79/56.80 c | 4931 | 1124 908 13556 | 10717 4931 31 | 0.000 % | 56.89/56.97 c | 7495 | 1124 908 13556 | 11789 7495 32 | 0.000 % | 57.20/57.25 c | 11341 | 1124 908 13556 | 12968 11341 33 | 0.000 % | 57.69/57.72 c | 17107 | 1124 908 13556 | 14265 10570 38 | 0.000 % | 58.30/58.37 c | 25758 | 1124 908 13556 | 15692 12035 40 | 0.000 % | 59.40/59.41 c | 38733 | 1124 908 13556 | 17261 9216 38 | 0.000 % | 60.79/60.88 c | 58194 | 1124 908 13556 | 18987 11299 48 | 0.000 % | 63.19/63.27 c | 87386 | 1124 908 13556 | 20886 11860 40 | 0.000 % | 66.29/66.32 c =============================================================================== 66.79/66.84 c core #14 66.79/66.84 c ============================[ Search Statistics ]============================== 66.79/66.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.79/66.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.79/66.84 c =============================================================================== 66.79/66.84 c | 0 | 1192 965 14442 | 5000 0 nan | 0.000 % | 66.79/66.87 c | 100 | 1192 965 14442 | 5500 100 32 | 0.000 % | 66.79/66.87 c | 254 | 1192 965 14442 | 6050 254 28 | 0.000 % | 66.79/66.88 c | 481 | 1192 965 14442 | 6655 481 32 | 0.000 % | 66.79/66.89 c | 820 | 1192 965 14442 | 7320 820 31 | 0.000 % | 66.89/66.91 c | 1329 | 1192 965 14442 | 8052 1329 31 | 0.000 % | 66.89/66.95 c | 2091 | 1192 965 14442 | 8857 2091 32 | 0.000 % | 66.89/67.00 c | 3232 | 1192 965 14442 | 9743 3232 34 | 0.000 % | 67.00/67.10 c | 4940 | 1192 965 14442 | 10717 4940 36 | 0.000 % | 67.20/67.26 c | 7506 | 1192 965 14442 | 11789 7506 36 | 0.000 % | 67.49/67.53 c | 11350 | 1192 965 14442 | 12968 11350 35 | 0.000 % | 67.99/68.01 c | 17117 | 1192 965 14442 | 14265 10580 36 | 0.000 % | 68.69/68.75 c | 25766 | 1192 965 14442 | 15692 12042 39 | 0.000 % | 69.80/69.84 c | 38740 | 1192 965 14442 | 17261 9213 40 | 0.000 % | 71.50/71.58 c | 58202 | 1192 965 14442 | 18987 11312 46 | 0.000 % | 74.09/74.13 c | 87394 | 1192 965 14442 | 20886 11856 46 | 0.005 % | 74.59/74.70 c =============================================================================== 75.09/75.12 c core #15 75.09/75.12 c ============================[ Search Statistics ]============================== 75.09/75.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.09/75.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.09/75.12 c =============================================================================== 75.09/75.12 c | 0 | 1267 1022 15342 | 5000 0 nan | 0.000 % | 75.09/75.14 c | 100 | 1267 1022 15342 | 5500 100 36 | 0.000 % | 75.09/75.14 c | 250 | 1267 1022 15342 | 6050 250 29 | 0.000 % | 75.09/75.15 c | 476 | 1267 1022 15342 | 6655 476 32 | 0.000 % | 75.09/75.16 c | 814 | 1267 1022 15342 | 7320 814 35 | 0.000 % | 75.09/75.19 c | 1322 | 1267 1022 15342 | 8052 1322 33 | 0.000 % | 75.19/75.22 c | 2082 | 1267 1022 15342 | 8857 2082 33 | 0.000 % | 75.19/75.28 c | 3222 | 1267 1022 15342 | 9743 3222 33 | 0.000 % | 75.29/75.37 c | 4930 | 1267 1022 15342 | 10717 4930 32 | 0.000 % | 75.49/75.54 c | 7492 | 1267 1022 15342 | 11789 7492 34 | 0.000 % | 75.80/75.84 c | 11336 | 1267 1022 15342 | 12968 11336 35 | 0.000 % | 76.20/76.29 c | 17103 | 1267 1022 15342 | 14265 10576 37 | 0.000 % | 76.90/76.96 c | 25752 | 1267 1022 15342 | 15692 12037 41 | 0.000 % | 78.09/78.12 c | 38727 | 1267 1022 15342 | 17261 9228 43 | 0.000 % | 78.99/79.05 c =============================================================================== 78.99/79.05 c #cores: 15 78.99/79.05 c Final Weight: 15 78.99/79.05 o 15 78.99/79.05 s OPTIMUM FOUND 78.99/79.05 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 78.99/79.05 c Total CPU time: 77.0913 s
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689962-1277899634/watcher-2689962-1277899634 -o /tmp/evaluation-result-2689962-1277899634/solver-2689962-1277899634 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689962-1277899634.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.03 2.01 2.00 3/178 24377 /proc/meminfo: memFree=31263556/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=2572 CPUtime=0 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 290 0 0 0 0 0 0 0 23 0 1 0 165566522 2633728 205 4089446400 134512640 135751879 4293651392 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24377/statm: 643 205 143 303 0 338 0 [startup+0.0972729 s] /proc/loadavg: 2.03 2.01 2.00 3/178 24377 /proc/meminfo: memFree=31263556/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=3496 CPUtime=0.08 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 527 0 0 0 8 0 0 0 23 0 1 0 165566522 3579904 442 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24377/statm: 874 442 143 303 0 569 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3496 [startup+0.100337 s] /proc/loadavg: 2.03 2.01 2.00 3/178 24377 /proc/meminfo: memFree=31263556/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=3496 CPUtime=0.09 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 533 0 0 0 9 0 0 0 23 0 1 0 165566522 3579904 448 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24377/statm: 874 448 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300288 s] /proc/loadavg: 2.03 2.01 2.00 3/178 24377 /proc/meminfo: memFree=31263556/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=4948 CPUtime=0.29 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 886 0 0 0 28 1 0 0 23 0 1 0 165566522 5066752 801 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24377/statm: 1237 801 143 303 0 932 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4948 [startup+0.700215 s] /proc/loadavg: 2.03 2.01 2.00 3/178 24377 /proc/meminfo: memFree=31263556/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=6976 CPUtime=0.68 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 1385 0 0 0 66 2 0 0 25 0 1 0 165566522 7143424 1300 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 1744 1300 143 303 0 1439 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6976 [startup+1.50106 s] /proc/loadavg: 2.03 2.01 2.00 3/179 24378 /proc/meminfo: memFree=31257472/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=10804 CPUtime=1.49 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 2335 0 0 0 144 5 0 0 25 0 1 0 165566522 11063296 2250 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 2701 2250 143 303 0 2396 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10804 [startup+3.10077 s] /proc/loadavg: 2.03 2.01 2.00 3/179 24378 /proc/meminfo: memFree=31252640/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=16760 CPUtime=3.08 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 3839 0 0 0 297 11 0 0 25 0 1 0 165566522 17162240 3754 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 4190 3754 146 303 0 3885 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 16760 [startup+6.30016 s] /proc/loadavg: 2.03 2.01 2.00 3/179 24378 /proc/meminfo: memFree=31241480/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=26396 CPUtime=6.29 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 6252 0 0 0 607 22 0 0 25 0 1 0 165566522 27029504 6167 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 6599 6167 146 303 0 6294 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26396 [startup+12.701 s] /proc/loadavg: 2.03 2.01 2.00 3/179 24378 /proc/meminfo: memFree=31224996/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=44616 CPUtime=12.69 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 10808 0 0 0 1224 45 0 0 25 0 1 0 165566522 45686784 10723 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 11154 10723 146 303 0 10849 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44616 [startup+25.5006 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24378 /proc/meminfo: memFree=31189172/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=79224 CPUtime=25.49 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 19445 0 0 0 2467 82 0 0 25 0 1 0 165566522 81125376 19360 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 19806 19360 146 303 0 19501 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 79224 [startup+51.1008 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24379 /proc/meminfo: memFree=31129620/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=139796 CPUtime=51.09 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 34585 0 0 0 4970 139 0 0 25 0 1 0 165566522 143151104 34500 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 34949 34500 146 303 0 34644 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 139796 Solver just ended. Dumping a history of the last processes samples [startup+63.9004 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24379 /proc/meminfo: memFree=31096252/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=171108 CPUtime=63.9 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 42437 0 0 0 6224 166 0 0 25 0 1 0 165566522 175214592 42352 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 42777 42352 146 303 0 42472 0 Current children cumulated CPU time (s) 63.9 Current children cumulated vsize (KiB) 171108 [startup+70.3002 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24379 /proc/meminfo: memFree=31082112/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=184448 CPUtime=70.3 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 45771 0 0 0 6850 180 0 0 25 0 1 0 165566522 188874752 45686 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 46112 45686 146 303 0 45807 0 Current children cumulated CPU time (s) 70.3 Current children cumulated vsize (KiB) 184448 [startup+73.5006 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24380 /proc/meminfo: memFree=31078516/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=190520 CPUtime=73.5 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 47276 0 0 0 7164 186 0 0 25 0 1 0 165566522 195092480 47191 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 47630 47191 146 303 0 47325 0 Current children cumulated CPU time (s) 73.5 Current children cumulated vsize (KiB) 190520 [startup+76.701 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24380 /proc/meminfo: memFree=31068216/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=198320 CPUtime=76.7 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 49231 0 0 0 7478 192 0 0 25 0 1 0 165566522 203079680 49146 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 49580 49146 146 303 0 49275 0 Current children cumulated CPU time (s) 76.7 Current children cumulated vsize (KiB) 198320 [startup+78.3007 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24380 /proc/meminfo: memFree=31068092/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=198320 CPUtime=78.29 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 49238 0 0 0 7634 195 0 0 25 0 1 0 165566522 203079680 49153 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 49580 49153 146 303 0 49275 0 Current children cumulated CPU time (s) 78.29 Current children cumulated vsize (KiB) 198320 [startup+78.7006 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24380 /proc/meminfo: memFree=31068092/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=198320 CPUtime=78.69 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 49238 0 0 0 7673 196 0 0 25 0 1 0 165566522 203079680 49153 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 49580 49153 146 303 0 49275 0 Current children cumulated CPU time (s) 78.69 Current children cumulated vsize (KiB) 198320 [startup+78.9006 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24380 /proc/meminfo: memFree=31068092/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=198320 CPUtime=78.89 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 49238 0 0 0 7693 196 0 0 25 0 1 0 165566522 203079680 49153 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 49580 49153 146 303 0 49275 0 Current children cumulated CPU time (s) 78.89 Current children cumulated vsize (KiB) 198320 [startup+79.0006 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24380 /proc/meminfo: memFree=31068092/32950928 swapFree=67111528/67111528 [pid=24377] ppid=24375 vsize=198320 CPUtime=78.99 /proc/24377/stat : 24377 (wbo1.4a) R 24375 24377 23976 0 -1 4202496 49238 0 0 0 7703 196 0 0 25 0 1 0 165566522 203079680 49153 4089446400 134512640 135751879 4293651392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24377/statm: 49580 49153 146 303 0 49275 0 Current children cumulated CPU time (s) 78.99 Current children cumulated vsize (KiB) 198320 Child status: 0 Real time (s): 79.0643 CPU time (s): 79.065 CPU user time (s): 77.0913 CPU system time (s): 1.9737 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 198320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 77.0913 system time used= 1.9737 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49238 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= 3 involuntary context switches= 66 runsolver used 0.140978 second user time and 0.279957 second system time The end
Begin job on node114 at 2010-06-30 14:07:14 IDJOB=2689962 IDBENCH=78863 IDSOLVER=1200 FILE ID=node114/2689962-1277899634 PBS_JOBID= 11197180 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.1111226368--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689962-1277899634/watcher-2689962-1277899634 -o /tmp/evaluation-result-2689962-1277899634/solver-2689962-1277899634 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689962-1277899634.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ae60804d96363031fd1d95f40cdae528 RANDOM SEED=1681801608 node114.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.819 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.63 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.819 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.75 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.819 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.82 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.819 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.67 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.819 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.819 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.819 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.83 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.819 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 : 5447.01 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31264332 kB Buffers: 182432 kB Cached: 1121996 kB SwapCached: 0 kB Active: 651272 kB Inactive: 893472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31264332 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2964 kB Writeback: 0 kB AnonPages: 239168 kB Mapped: 16064 kB Slab: 78572 kB PageTables: 5712 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 392752 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 node114 at 2010-06-30 14:08:33