Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 55.6605 | 55.6598 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo |
MD5SUM | a2fcadde47f67cca69c2b162b15fa373 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 0.142978 |
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 | 101 |
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 | 5034 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 5033 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1327 |
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-2690163-1277924769.wbo. 0.00/0.00 c Instance file HOME/instance-2690163-1277924769.wbo 0.00/0.00 c File size is 10469 bytes. 0.00/0.00 c Highest Coefficient sum: 1327 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 | 251 | 169 101 1205 | 6050 251 32 | 0.004 % | 0.00/0.01 c | 477 | 169 101 1205 | 6655 477 31 | 0.004 % | 0.02/0.02 c | 814 | 169 101 1205 | 7320 814 29 | 0.004 % | 0.02/0.04 c | 1320 | 169 101 1205 | 8052 1320 30 | 0.004 % | 0.02/0.06 c | 2079 | 169 101 1205 | 8857 2079 33 | 0.004 % | 0.09/0.11 c | 3221 | 169 101 1205 | 9743 3221 35 | 0.004 % | 0.09/0.19 c | 4929 | 169 101 1205 | 10717 4929 34 | 0.004 % | 0.29/0.32 c | 7492 | 169 101 1205 | 11789 7492 36 | 0.004 % | 0.49/0.56 c | 11336 | 169 101 1205 | 12968 11336 36 | 0.004 % | 0.89/0.94 c | 17103 | 169 101 1205 | 14265 10561 40 | 0.004 % | 1.49/1.53 c | 25757 | 169 101 1205 | 15692 12027 41 | 0.004 % | 2.49/2.59 c | 38731 | 169 101 1205 | 17261 9198 43 | 0.004 % | 3.89/3.92 c =============================================================================== 4.09/4.18 c core #1 4.09/4.18 c ============================[ Search Statistics ]============================== 4.09/4.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.18 c =============================================================================== 4.09/4.18 c | 0 | 264 200 2568 | 5000 0 nan | 0.000 % | 4.09/4.18 c | 101 | 264 200 2568 | 5500 101 27 | 0.001 % | 4.09/4.19 c | 253 | 264 200 2568 | 6050 253 28 | 0.001 % | 4.09/4.19 c | 479 | 264 200 2568 | 6655 479 30 | 0.001 % | 4.19/4.20 c | 816 | 264 200 2568 | 7320 816 30 | 0.001 % | 4.19/4.22 c | 1323 | 264 200 2568 | 8052 1323 31 | 0.001 % | 4.19/4.25 c | 2085 | 264 200 2568 | 8857 2085 32 | 0.001 % | 4.19/4.29 c | 3224 | 264 200 2568 | 9743 3224 32 | 0.001 % | 4.30/4.37 c | 4933 | 264 200 2568 | 10717 4933 32 | 0.001 % | 4.49/4.51 c | 7496 | 264 200 2568 | 11789 7496 33 | 0.001 % | 4.69/4.79 c | 11342 | 264 200 2568 | 12968 11342 36 | 0.001 % | 5.19/5.20 c | 17108 | 264 200 2568 | 14265 10569 41 | 0.001 % | 5.79/5.86 c | 25758 | 264 200 2568 | 15692 12039 41 | 0.001 % | 6.89/6.91 c | 38732 | 264 200 2568 | 17261 9206 43 | 0.001 % | 8.28/8.38 c =============================================================================== 8.59/8.65 c core #2 8.59/8.65 c ============================[ Search Statistics ]============================== 8.59/8.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.65 c =============================================================================== 8.59/8.65 c | 0 | 358 295 3884 | 5000 0 nan | 0.000 % | 8.59/8.66 c | 100 | 358 295 3884 | 5500 100 22 | 0.001 % | 8.59/8.67 c | 250 | 358 295 3884 | 6050 250 23 | 0.001 % | 8.59/8.67 c | 476 | 358 295 3884 | 6655 476 27 | 0.001 % | 8.59/8.68 c | 813 | 358 295 3884 | 7320 813 30 | 0.001 % | 8.70/8.70 c | 1320 | 358 295 3884 | 8052 1320 31 | 0.001 % | 8.70/8.73 c | 2086 | 358 295 3884 | 8857 2086 33 | 0.001 % | 8.70/8.78 c | 3227 | 358 295 3884 | 9743 3227 32 | 0.001 % | 8.79/8.86 c | 4935 | 358 295 3884 | 10717 4935 31 | 0.001 % | 8.98/9.00 c | 7497 | 358 295 3884 | 11789 7497 34 | 0.001 % | 9.19/9.25 c | 11341 | 358 295 3884 | 12968 11341 35 | 0.001 % | 9.59/9.65 c | 17109 | 358 295 3884 | 14265 10578 39 | 0.001 % | 10.29/10.31 c | 25761 | 358 295 3884 | 15692 12042 40 | 0.001 % | 11.19/11.26 c | 38735 | 358 295 3884 | 17261 9207 42 | 0.001 % | 12.59/12.61 c | 58197 | 358 295 3884 | 18987 11295 45 | 0.060 % | 13.20/13.20 c =============================================================================== 13.49/13.51 c core #3 13.49/13.51 c ============================[ Search Statistics ]============================== 13.49/13.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.49/13.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.49/13.51 c =============================================================================== 13.49/13.51 c | 0 | 457 390 5210 | 5000 0 nan | 0.000 % | 13.49/13.52 c | 100 | 457 390 5210 | 5500 100 28 | 0.000 % | 13.49/13.53 c | 250 | 457 390 5210 | 6050 250 27 | 0.000 % | 13.49/13.53 c | 479 | 457 390 5210 | 6655 479 28 | 0.000 % | 13.49/13.55 c | 817 | 457 390 5210 | 7320 817 27 | 0.000 % | 13.49/13.56 c | 1326 | 457 390 5210 | 8052 1326 29 | 0.000 % | 13.49/13.59 c | 2085 | 457 390 5210 | 8857 2085 30 | 0.000 % | 13.59/13.64 c | 3225 | 457 390 5210 | 9743 3225 34 | 0.000 % | 13.69/13.72 c | 4933 | 457 390 5210 | 10717 4933 35 | 0.000 % | 13.79/13.86 c | 7496 | 457 390 5210 | 11789 7496 36 | 0.000 % | 14.09/14.12 c | 11340 | 457 390 5210 | 12968 11340 35 | 0.000 % | 14.49/14.53 c | 17111 | 457 390 5210 | 14265 10586 37 | 0.000 % | 14.99/15.09 c | 25760 | 457 390 5210 | 15692 12048 41 | 0.000 % | 16.08/16.11 c | 38734 | 457 390 5210 | 17261 9248 40 | 0.000 % | 17.39/17.45 c | 58196 | 354 390 5210 | 18987 1051 31 | 25.602 % | 17.39/17.45 c =============================================================================== 17.69/17.71 c core #4 17.69/17.71 c ============================[ Search Statistics ]============================== 17.69/17.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.69/17.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.69/17.71 c =============================================================================== 17.69/17.71 c | 0 | 547 482 6479 | 5000 0 nan | 0.000 % | 17.69/17.72 c | 100 | 547 482 6479 | 5500 100 34 | 0.000 % | 17.69/17.73 c | 250 | 547 482 6479 | 6050 250 30 | 0.000 % | 17.69/17.74 c | 475 | 547 482 6479 | 6655 475 30 | 0.000 % | 17.69/17.75 c | 812 | 547 482 6479 | 7320 812 28 | 0.000 % | 17.69/17.77 c | 1320 | 547 482 6479 | 8052 1320 27 | 0.000 % | 17.79/17.80 c | 2084 | 547 482 6479 | 8857 2084 28 | 0.000 % | 17.79/17.85 c | 3224 | 547 482 6479 | 9743 3224 29 | 0.000 % | 17.89/17.94 c | 4933 | 547 482 6479 | 10717 4933 30 | 0.000 % | 17.99/18.09 c | 7495 | 547 482 6479 | 11789 7495 32 | 0.000 % | 18.29/18.38 c | 11340 | 547 482 6479 | 12968 11340 35 | 0.000 % | 18.79/18.86 c | 17107 | 547 482 6479 | 14265 10579 39 | 0.000 % | 19.49/19.55 c | 25757 | 547 482 6479 | 15692 12056 42 | 0.000 % | 20.59/20.69 c | 38732 | 547 482 6479 | 17261 9230 42 | 0.000 % | 22.38/22.42 c | 58193 | 547 482 6479 | 18987 11319 41 | 0.000 % | 23.49/23.54 c =============================================================================== 23.89/23.90 c core #5 23.89/23.90 c ============================[ Search Statistics ]============================== 23.89/23.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.89/23.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.89/23.90 c =============================================================================== 23.89/23.90 c | 0 | 655 577 7826 | 5000 0 nan | 0.000 % | 23.89/23.91 c | 100 | 655 577 7826 | 5500 100 31 | 0.000 % | 23.89/23.92 c | 252 | 655 577 7826 | 6050 252 30 | 0.000 % | 23.89/23.93 c | 477 | 655 577 7826 | 6655 477 30 | 0.000 % | 23.89/23.94 c | 815 | 655 577 7826 | 7320 815 31 | 0.000 % | 23.89/23.96 c | 1321 | 655 577 7826 | 8052 1321 34 | 0.000 % | 23.89/23.99 c | 2083 | 655 577 7826 | 8857 2083 33 | 0.000 % | 23.99/24.06 c | 3223 | 655 577 7826 | 9743 3223 33 | 0.000 % | 24.09/24.17 c | 4935 | 655 577 7826 | 10717 4935 34 | 0.000 % | 24.29/24.34 c | 7504 | 655 577 7826 | 11789 7504 35 | 0.000 % | 24.59/24.68 c | 11349 | 655 577 7826 | 12968 11349 36 | 0.000 % | 25.09/25.12 c | 17118 | 655 577 7826 | 14265 10593 40 | 0.000 % | 25.79/25.87 c | 25767 | 655 577 7826 | 15692 12060 42 | 0.000 % | 26.89/26.94 c | 38741 | 655 577 7826 | 17261 9255 44 | 0.000 % | 28.39/28.50 c | 58202 | 655 577 7826 | 18987 11349 42 | 0.000 % | 28.79/28.81 c =============================================================================== 29.09/29.11 c core #6 29.09/29.11 c ============================[ Search Statistics ]============================== 29.09/29.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.09/29.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.09/29.11 c =============================================================================== 29.09/29.11 c | 0 | 745 667 9069 | 5000 0 nan | 0.000 % | 29.09/29.12 c | 100 | 745 667 9069 | 5500 100 27 | 0.000 % | 29.09/29.13 c | 252 | 745 667 9069 | 6050 252 29 | 0.000 % | 29.09/29.14 c | 477 | 745 667 9069 | 6655 477 30 | 0.000 % | 29.09/29.15 c | 816 | 745 667 9069 | 7320 816 29 | 0.000 % | 29.09/29.17 c | 1322 | 745 667 9069 | 8052 1322 30 | 0.000 % | 29.19/29.20 c | 2083 | 745 667 9069 | 8857 2083 30 | 0.000 % | 29.19/29.26 c | 3222 | 745 667 9069 | 9743 3222 30 | 0.000 % | 29.29/29.35 c | 4931 | 745 667 9069 | 10717 4931 31 | 0.000 % | 29.49/29.53 c | 7493 | 745 667 9069 | 11789 7493 31 | 0.000 % | 29.79/29.82 c | 11337 | 745 667 9069 | 12968 11337 32 | 0.000 % | 30.29/30.30 c | 17105 | 745 667 9069 | 14265 10579 36 | 0.000 % | 30.89/30.97 c | 25756 | 745 667 9069 | 15692 12029 36 | 0.000 % | 32.09/32.13 c | 38731 | 745 667 9069 | 17261 9224 38 | 0.000 % | 33.79/33.87 c | 58193 | 745 667 9069 | 18987 11326 40 | 0.000 % | 34.79/34.83 c =============================================================================== 35.10/35.17 c core #7 35.10/35.17 c ============================[ Search Statistics ]============================== 35.10/35.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.10/35.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.10/35.17 c =============================================================================== 35.10/35.17 c | 0 | 860 757 10364 | 5000 0 nan | 0.000 % | 35.10/35.18 c | 100 | 860 757 10364 | 5500 100 30 | 0.000 % | 35.10/35.19 c | 250 | 860 757 10364 | 6050 250 30 | 0.000 % | 35.10/35.19 c | 475 | 860 757 10364 | 6655 475 29 | 0.000 % | 35.19/35.21 c | 814 | 860 757 10364 | 7320 814 28 | 0.000 % | 35.19/35.23 c | 1320 | 860 757 10364 | 8052 1320 27 | 0.000 % | 35.19/35.26 c | 2081 | 860 757 10364 | 8857 2081 28 | 0.000 % | 35.29/35.32 c | 3221 | 860 757 10364 | 9743 3221 31 | 0.000 % | 35.39/35.41 c | 4929 | 860 757 10364 | 10717 4929 33 | 0.000 % | 35.49/35.58 c | 7492 | 860 757 10364 | 11789 7492 34 | 0.000 % | 35.79/35.87 c | 11336 | 860 757 10364 | 12968 11336 35 | 0.000 % | 36.29/36.33 c | 17103 | 860 757 10364 | 14265 10572 37 | 0.000 % | 36.99/37.06 c | 25752 | 860 757 10364 | 15692 12040 36 | 0.000 % | 38.09/38.19 c | 38728 | 860 757 10364 | 17261 9207 41 | 0.000 % | 39.99/40.00 c | 58190 | 860 757 10364 | 18987 11313 41 | 0.000 % | 41.29/41.31 c =============================================================================== 41.59/41.68 c core #8 41.59/41.68 c ============================[ Search Statistics ]============================== 41.59/41.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.59/41.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.59/41.68 c =============================================================================== 41.59/41.68 c | 0 | 985 847 11679 | 5000 0 nan | 0.000 % | 41.59/41.69 c | 101 | 985 847 11679 | 5500 101 35 | 0.000 % | 41.59/41.70 c | 251 | 985 847 11679 | 6050 251 27 | 0.000 % | 41.69/41.71 c | 479 | 985 847 11679 | 6655 479 30 | 0.000 % | 41.69/41.72 c | 816 | 985 847 11679 | 7320 816 29 | 0.000 % | 41.69/41.74 c | 1322 | 985 847 11679 | 8052 1322 29 | 0.000 % | 41.69/41.78 c | 2082 | 985 847 11679 | 8857 2082 30 | 0.000 % | 41.80/41.83 c | 3221 | 985 847 11679 | 9743 3221 31 | 0.000 % | 41.89/41.93 c | 4930 | 985 847 11679 | 10717 4930 30 | 0.000 % | 42.09/42.11 c | 7493 | 985 847 11679 | 11789 7493 33 | 0.000 % | 42.29/42.40 c | 11339 | 985 847 11679 | 12968 11339 33 | 0.000 % | 42.79/42.83 c | 17105 | 985 847 11679 | 14265 10581 36 | 0.000 % | 43.49/43.57 c | 25755 | 985 847 11679 | 15692 12050 37 | 0.000 % | 44.59/44.67 c | 38732 | 985 847 11679 | 17261 9237 42 | 0.000 % | 46.39/46.42 c | 58193 | 985 847 11679 | 18987 11350 39 | 0.000 % | 49.19/49.24 c | 87385 | 958 847 11679 | 20886 1205 26 | 2.741 % | 49.69/49.73 c =============================================================================== 50.09/50.17 c core #9 50.09/50.17 c ============================[ Search Statistics ]============================== 50.09/50.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.09/50.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.09/50.17 c =============================================================================== 50.09/50.17 c | 0 | 1076 933 12716 | 5000 0 nan | 0.000 % | 50.09/50.19 c | 101 | 1076 933 12716 | 5500 101 35 | 0.000 % | 50.09/50.19 c | 251 | 1076 933 12716 | 6050 251 32 | 0.000 % | 50.19/50.20 c | 477 | 1076 933 12716 | 6655 477 31 | 0.000 % | 50.19/50.21 c | 814 | 1076 933 12716 | 7320 814 29 | 0.000 % | 50.19/50.24 c | 1322 | 1076 933 12716 | 8052 1322 30 | 0.000 % | 50.19/50.28 c | 2081 | 1076 933 12716 | 8857 2081 31 | 0.000 % | 50.29/50.34 c | 3221 | 1076 933 12716 | 9743 3221 33 | 0.000 % | 50.39/50.45 c | 4931 | 1076 933 12716 | 10717 4931 34 | 0.000 % | 50.59/50.61 c | 7496 | 1076 933 12716 | 11789 7496 34 | 0.000 % | 50.89/50.90 c | 11341 | 1076 933 12716 | 12968 11341 36 | 0.000 % | 51.39/51.43 c | 17110 | 1076 933 12716 | 14265 10568 38 | 0.000 % | 52.19/52.24 c | 25759 | 1076 933 12716 | 15692 12040 37 | 0.000 % | 53.29/53.39 c | 38734 | 1076 933 12716 | 17261 9218 41 | 0.000 % | 54.99/55.06 c | 58198 | 1076 933 12716 | 18987 11316 39 | 0.000 % | 55.59/55.65 c =============================================================================== 55.59/55.65 c #cores: 9 55.59/55.65 c Final Weight: 10 55.59/55.65 o 10 55.59/55.65 s OPTIMUM FOUND 55.59/55.65 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 55.59/55.65 c Total CPU time: 54.8977 s
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690163-1277924769/watcher-2690163-1277924769 -o /tmp/evaluation-result-2690163-1277924769/solver-2690163-1277924769 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690163-1277924769.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.94 1.99 1.99 4/178 14413 /proc/meminfo: memFree=31558808/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=2572 CPUtime=0 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 288 0 0 0 0 0 0 0 25 0 1 0 133772991 2633728 204 4089446400 134512640 135751879 4287334368 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 643 204 143 303 0 338 0 [startup+0.022916 s] /proc/loadavg: 1.94 1.99 1.99 4/178 14413 /proc/meminfo: memFree=31558808/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=2704 CPUtime=0.02 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 332 0 0 0 2 0 0 0 25 0 1 0 133772991 2768896 248 4089446400 134512640 135751879 4287334368 18446744073709551615 134611220 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 676 248 143 303 0 371 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2704 [startup+0.100904 s] /proc/loadavg: 1.94 1.99 1.99 4/178 14413 /proc/meminfo: memFree=31558808/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=3496 CPUtime=0.09 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 511 0 0 0 9 0 0 0 25 0 1 0 133772991 3579904 427 4089446400 134512640 135751879 4287334368 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 874 427 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.30087 s] /proc/loadavg: 1.94 1.99 1.99 4/178 14413 /proc/meminfo: memFree=31558808/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=4816 CPUtime=0.29 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 843 0 0 0 29 0 0 0 25 0 1 0 133772991 4931584 759 4089446400 134512640 135751879 4287334368 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 1204 759 143 303 0 899 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4816 [startup+0.700802 s] /proc/loadavg: 1.94 1.99 1.99 4/178 14413 /proc/meminfo: memFree=31558808/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=6872 CPUtime=0.69 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 1355 0 0 0 68 1 0 0 25 0 1 0 133772991 7036928 1271 4089446400 134512640 135751879 4287334368 18446744073709551615 134602463 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 1718 1271 143 303 0 1413 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6872 [startup+1.50066 s] /proc/loadavg: 1.94 1.99 1.99 3/179 14414 /proc/meminfo: memFree=31552352/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=10964 CPUtime=1.49 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 2373 0 0 0 146 3 0 0 25 0 1 0 133772991 11227136 2289 4089446400 134512640 135751879 4287334368 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 2741 2289 143 303 0 2436 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10964 [startup+3.1004 s] /proc/loadavg: 1.94 1.99 1.99 3/179 14414 /proc/meminfo: memFree=31547392/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=17828 CPUtime=3.08 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 4100 0 0 0 305 3 0 0 25 0 1 0 133772991 18255872 4016 4089446400 134512640 135751879 4287334368 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 4457 4016 143 303 0 4152 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17828 [startup+6.30086 s] /proc/loadavg: 1.94 1.99 1.99 3/179 14414 /proc/meminfo: memFree=31537224/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=24032 CPUtime=6.29 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 5671 0 0 0 621 8 0 0 25 0 1 0 133772991 24608768 5587 4089446400 134512640 135751879 4287334368 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 6008 5587 146 303 0 5703 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24032 [startup+12.7008 s] /proc/loadavg: 1.95 1.99 1.99 3/179 14414 /proc/meminfo: memFree=31520588/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=43068 CPUtime=12.69 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 10431 0 0 0 1250 19 0 0 25 0 1 0 133772991 44101632 10347 4089446400 134512640 135751879 4287334368 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 10767 10347 146 303 0 10462 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43068 [startup+25.5006 s] /proc/loadavg: 1.96 1.99 1.99 3/179 14414 /proc/meminfo: memFree=31487352/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=72932 CPUtime=25.49 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 17867 0 0 0 2514 35 0 0 25 0 1 0 133772991 74682368 17783 4089446400 134512640 135751879 4287334368 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 18233 17783 146 303 0 17928 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 72932 [startup+51.1003 s] /proc/loadavg: 1.97 1.99 1.99 3/179 14416 /proc/meminfo: memFree=31429716/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=130756 CPUtime=51.09 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 32345 0 0 0 5040 69 0 0 25 0 1 0 133772991 133894144 32261 4089446400 134512640 135751879 4287334368 18446744073709551615 134602448 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 32689 32261 146 303 0 32384 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 130756 Solver just ended. Dumping a history of the last processes samples [startup+52.701 s] /proc/loadavg: 1.97 1.99 1.99 3/179 14416 /proc/meminfo: memFree=31429712/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=130756 CPUtime=52.7 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 32355 0 0 0 5199 71 0 0 25 0 1 0 133772991 133894144 32271 4089446400 134512640 135751879 4287334368 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 32689 32271 146 303 0 32384 0 Current children cumulated CPU time (s) 52.7 Current children cumulated vsize (KiB) 130756 [startup+54.3008 s] /proc/loadavg: 1.97 1.99 1.99 3/179 14416 /proc/meminfo: memFree=31429464/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=131816 CPUtime=54.29 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 32609 0 0 0 5356 73 0 0 25 0 1 0 133772991 134979584 32525 4089446400 134512640 135751879 4287334368 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 32954 32525 146 303 0 32649 0 Current children cumulated CPU time (s) 54.29 Current children cumulated vsize (KiB) 131816 [startup+55.1006 s] /proc/loadavg: 1.97 1.99 1.99 3/179 14416 /proc/meminfo: memFree=31427356/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=133664 CPUtime=55.09 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 33056 0 0 0 5435 74 0 0 25 0 1 0 133772991 136871936 32972 4089446400 134512640 135751879 4287334368 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 33416 32972 146 303 0 33111 0 Current children cumulated CPU time (s) 55.09 Current children cumulated vsize (KiB) 133664 [startup+55.5006 s] /proc/loadavg: 1.97 1.99 1.99 3/179 14416 /proc/meminfo: memFree=31427356/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=134984 CPUtime=55.49 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 33383 0 0 0 5474 75 0 0 25 0 1 0 133772991 138223616 33299 4089446400 134512640 135751879 4287334368 18446744073709551615 134519014 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 33746 33299 146 303 0 33441 0 Current children cumulated CPU time (s) 55.49 Current children cumulated vsize (KiB) 134984 [startup+55.6005 s] /proc/loadavg: 1.97 1.99 1.99 3/179 14416 /proc/meminfo: memFree=31427356/32951124 swapFree=67111528/67111528 [pid=14413] ppid=14411 vsize=135248 CPUtime=55.59 /proc/14413/stat : 14413 (wbo1.4a) R 14411 14413 12422 0 -1 4202496 33461 0 0 0 5484 75 0 0 25 0 1 0 133772991 138493952 33377 4089446400 134512640 135751879 4287334368 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14413/statm: 33812 33377 146 303 0 33507 0 Current children cumulated CPU time (s) 55.59 Current children cumulated vsize (KiB) 135248 Child status: 0 Real time (s): 55.6598 CPU time (s): 55.6605 CPU user time (s): 54.8977 CPU system time (s): 0.762884 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 135248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 54.8977 system time used= 0.762884 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33501 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= 2 involuntary context switches= 149 runsolver used 0.077988 second user time and 0.181972 second system time The end
Begin job on node130 at 2010-06-30 21:06:09 IDJOB=2690163 IDBENCH=79250 IDSOLVER=1200 FILE ID=node130/2690163-1277924769 PBS_JOBID= 11197286 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690163-1277924769/watcher-2690163-1277924769 -o /tmp/evaluation-result-2690163-1277924769/solver-2690163-1277924769 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690163-1277924769.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a2fcadde47f67cca69c2b162b15fa373 RANDOM SEED=1775626682 node130.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.796 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.59 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.796 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.67 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.796 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.796 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.72 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.796 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.796 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.63 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.796 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.82 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.796 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 : 5237.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31559336 kB Buffers: 210828 kB Cached: 967188 kB SwapCached: 0 kB Active: 540328 kB Inactive: 708660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31559336 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 71308 kB Mapped: 15656 kB Slab: 79092 kB PageTables: 4832 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 215828 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node130 at 2010-06-30 21:07:05