Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 54.4937 | 54.4958 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729--soft-0-100-0.wbo |
MD5SUM | b3cca2fb004dc2587d09951aac05623a |
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.249961 |
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 | 1318 |
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-2690042-1277922758.wbo. 0.00/0.00 c Instance file HOME/instance-2690042-1277922758.wbo 0.00/0.00 c File size is 10472 bytes. 0.00/0.00 c Highest Coefficient sum: 1318 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 | 102 | 169 101 1205 | 5500 102 25 | 0.004 % | 0.00/0.00 c | 253 | 169 101 1205 | 6050 253 27 | 0.004 % | 0.00/0.01 c | 479 | 169 101 1205 | 6655 479 32 | 0.004 % | 0.00/0.02 c | 816 | 169 101 1205 | 7320 816 36 | 0.004 % | 0.00/0.03 c | 1322 | 169 101 1205 | 8052 1322 36 | 0.004 % | 0.00/0.07 c | 2082 | 169 101 1205 | 8857 2082 37 | 0.004 % | 0.09/0.10 c | 3222 | 169 101 1205 | 9743 3222 36 | 0.004 % | 0.09/0.18 c | 4933 | 169 101 1205 | 10717 4933 35 | 0.004 % | 0.29/0.33 c | 7496 | 169 101 1205 | 11789 7496 35 | 0.004 % | 0.49/0.58 c | 11343 | 169 101 1205 | 12968 11343 36 | 0.004 % | 0.89/0.99 c | 17109 | 169 101 1205 | 14265 10575 40 | 0.004 % | 1.48/1.54 c | 25760 | 169 101 1205 | 15692 12035 43 | 0.004 % | 1.78/1.89 c =============================================================================== 1.98/2.01 c core #1 1.98/2.01 c ============================[ Search Statistics ]============================== 1.98/2.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.98/2.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.98/2.01 c =============================================================================== 1.98/2.01 c | 0 | 264 200 2568 | 5000 0 nan | 0.000 % | 1.98/2.01 c | 100 | 264 200 2568 | 5500 100 27 | 0.001 % | 1.98/2.02 c | 250 | 264 200 2568 | 6050 250 28 | 0.001 % | 1.98/2.02 c | 476 | 264 200 2568 | 6655 476 28 | 0.001 % | 1.98/2.03 c | 815 | 264 200 2568 | 7320 815 29 | 0.001 % | 1.98/2.05 c | 1323 | 264 200 2568 | 8052 1323 31 | 0.001 % | 1.98/2.08 c | 2083 | 264 200 2568 | 8857 2083 32 | 0.001 % | 2.09/2.12 c | 3222 | 264 200 2568 | 9743 3222 32 | 0.001 % | 2.09/2.19 c | 4930 | 264 200 2568 | 10717 4930 35 | 0.001 % | 2.28/2.33 c | 7495 | 264 200 2568 | 11789 7495 36 | 0.001 % | 2.48/2.58 c | 11340 | 264 200 2568 | 12968 11340 39 | 0.001 % | 2.89/2.94 c | 17109 | 264 200 2568 | 14265 10588 42 | 0.001 % | 3.48/3.55 c | 25760 | 264 200 2568 | 15692 12062 44 | 0.001 % | 4.49/4.53 c | 38736 | 264 200 2568 | 17261 9253 42 | 0.001 % | 5.79/5.85 c =============================================================================== 6.09/6.11 c core #2 6.09/6.11 c ============================[ Search Statistics ]============================== 6.09/6.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.11 c =============================================================================== 6.09/6.11 c | 0 | 358 295 3884 | 5000 0 nan | 0.000 % | 6.09/6.11 c | 100 | 358 295 3884 | 5500 100 29 | 0.001 % | 6.09/6.12 c | 251 | 358 295 3884 | 6050 251 29 | 0.001 % | 6.09/6.12 c | 476 | 358 295 3884 | 6655 476 29 | 0.001 % | 6.09/6.13 c | 813 | 358 295 3884 | 7320 813 31 | 0.001 % | 6.09/6.15 c | 1322 | 358 295 3884 | 8052 1322 30 | 0.001 % | 6.09/6.18 c | 2081 | 358 295 3884 | 8857 2081 33 | 0.001 % | 6.19/6.22 c | 3221 | 358 295 3884 | 9743 3221 34 | 0.001 % | 6.29/6.30 c | 4932 | 358 295 3884 | 10717 4932 33 | 0.001 % | 6.39/6.43 c | 7494 | 358 295 3884 | 11789 7494 35 | 0.001 % | 6.69/6.70 c | 11341 | 358 295 3884 | 12968 11341 37 | 0.001 % | 7.09/7.12 c | 17108 | 358 295 3884 | 14265 10579 40 | 0.001 % | 7.59/7.70 c | 25757 | 358 295 3884 | 15692 12055 39 | 0.001 % | 8.59/8.64 c | 38733 | 358 295 3884 | 17261 9245 44 | 0.001 % | 9.98/10.03 c | 58196 | 319 295 3884 | 18987 1995 40 | 10.895 % | 10.18/10.20 c =============================================================================== 10.39/10.47 c core #3 10.39/10.47 c ============================[ Search Statistics ]============================== 10.39/10.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.39/10.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.39/10.47 c =============================================================================== 10.39/10.47 c | 0 | 457 390 5210 | 5000 0 nan | 0.000 % | 10.39/10.47 c | 100 | 457 390 5210 | 5500 100 31 | 0.000 % | 10.39/10.48 c | 250 | 457 390 5210 | 6050 250 34 | 0.000 % | 10.39/10.49 c | 475 | 457 390 5210 | 6655 475 34 | 0.000 % | 10.39/10.50 c | 812 | 457 390 5210 | 7320 812 33 | 0.000 % | 10.49/10.51 c | 1319 | 457 390 5210 | 8052 1319 31 | 0.000 % | 10.49/10.54 c | 2079 | 457 390 5210 | 8857 2079 31 | 0.000 % | 10.49/10.59 c | 3218 | 457 390 5210 | 9743 3218 32 | 0.000 % | 10.59/10.66 c | 4926 | 457 390 5210 | 10717 4926 34 | 0.000 % | 10.79/10.80 c | 7488 | 457 390 5210 | 11789 7488 35 | 0.000 % | 11.00/11.06 c | 11332 | 457 390 5210 | 12968 11332 36 | 0.000 % | 11.38/11.47 c | 17099 | 457 390 5210 | 14265 10573 40 | 0.000 % | 12.09/12.11 c | 25751 | 457 390 5210 | 15692 12042 43 | 0.000 % | 12.99/13.07 c | 38727 | 457 390 5210 | 17261 9224 43 | 0.000 % | 14.48/14.53 c | 58188 | 457 390 5210 | 18987 11327 41 | 0.001 % | 14.98/15.02 c =============================================================================== 15.29/15.31 c core #4 15.29/15.31 c ============================[ Search Statistics ]============================== 15.29/15.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.29/15.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.29/15.31 c =============================================================================== 15.29/15.31 c | 0 | 547 482 6479 | 5000 0 nan | 0.000 % | 15.29/15.32 c | 102 | 547 482 6479 | 5500 102 29 | 0.000 % | 15.29/15.33 c | 252 | 547 482 6479 | 6050 252 31 | 0.000 % | 15.29/15.33 c | 477 | 547 482 6479 | 6655 477 30 | 0.000 % | 15.29/15.34 c | 814 | 547 482 6479 | 7320 814 32 | 0.000 % | 15.29/15.36 c | 1323 | 547 482 6479 | 8052 1323 38 | 0.000 % | 15.29/15.40 c | 2084 | 547 482 6479 | 8857 2084 37 | 0.000 % | 15.40/15.45 c | 3225 | 547 482 6479 | 9743 3225 37 | 0.000 % | 15.49/15.55 c | 4933 | 547 482 6479 | 10717 4933 37 | 0.000 % | 15.68/15.70 c | 7495 | 547 482 6479 | 11789 7495 38 | 0.000 % | 15.99/16.02 c | 11339 | 547 482 6479 | 12968 11339 38 | 0.000 % | 16.40/16.42 c | 17105 | 547 482 6479 | 14265 10571 39 | 0.000 % | 16.99/17.07 c | 25756 | 547 482 6479 | 15692 12040 41 | 0.000 % | 17.99/18.09 c | 38730 | 547 482 6479 | 17261 9224 40 | 0.000 % | 19.49/19.52 c | 58191 | 547 482 6479 | 18987 11316 44 | 0.000 % | 20.59/20.62 c =============================================================================== 20.89/20.95 c core #5 20.89/20.95 c ============================[ Search Statistics ]============================== 20.89/20.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.89/20.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.89/20.95 c =============================================================================== 20.89/20.95 c | 0 | 655 577 7826 | 5000 0 nan | 0.000 % | 20.89/20.97 c | 101 | 655 577 7826 | 5500 101 37 | 0.000 % | 20.89/20.97 c | 251 | 655 577 7826 | 6050 251 42 | 0.000 % | 20.89/20.98 c | 479 | 655 577 7826 | 6655 479 38 | 0.000 % | 20.89/20.99 c | 818 | 655 577 7826 | 7320 818 35 | 0.000 % | 20.99/21.01 c | 1324 | 655 577 7826 | 8052 1324 34 | 0.000 % | 20.99/21.04 c | 2083 | 655 577 7826 | 8857 2083 34 | 0.000 % | 20.99/21.09 c | 3223 | 655 577 7826 | 9743 3223 33 | 0.000 % | 21.09/21.16 c | 4932 | 655 577 7826 | 10717 4932 33 | 0.000 % | 21.28/21.32 c | 7495 | 655 577 7826 | 11789 7495 34 | 0.000 % | 21.49/21.58 c | 11341 | 655 577 7826 | 12968 11341 35 | 0.000 % | 21.99/22.00 c | 17110 | 655 577 7826 | 14265 10580 37 | 0.000 % | 22.59/22.64 c | 25759 | 655 577 7826 | 15692 12058 40 | 0.000 % | 23.68/23.71 c | 38736 | 655 577 7826 | 17261 9241 41 | 0.000 % | 24.89/24.96 c | 58197 | 627 577 7826 | 18987 11331 45 | 4.282 % | 25.09/25.19 c =============================================================================== 25.39/25.46 c core #6 25.39/25.46 c ============================[ Search Statistics ]============================== 25.39/25.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.39/25.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.39/25.46 c =============================================================================== 25.39/25.46 c | 0 | 745 667 9069 | 5000 0 nan | 0.000 % | 25.39/25.47 c | 101 | 745 667 9069 | 5500 101 33 | 0.000 % | 25.39/25.47 c | 254 | 745 667 9069 | 6050 254 35 | 0.000 % | 25.39/25.48 c | 479 | 745 667 9069 | 6655 479 32 | 0.000 % | 25.39/25.49 c | 817 | 745 667 9069 | 7320 817 31 | 0.000 % | 25.49/25.51 c | 1323 | 745 667 9069 | 8052 1323 33 | 0.000 % | 25.49/25.55 c | 2082 | 745 667 9069 | 8857 2082 34 | 0.000 % | 25.59/25.60 c | 3221 | 745 667 9069 | 9743 3221 35 | 0.000 % | 25.59/25.68 c | 4929 | 745 667 9069 | 10717 4929 36 | 0.000 % | 25.79/25.85 c | 7492 | 745 667 9069 | 11789 7492 36 | 0.000 % | 26.09/26.12 c | 11336 | 745 667 9069 | 12968 11336 37 | 0.000 % | 26.49/26.53 c | 17102 | 745 667 9069 | 14265 10567 39 | 0.000 % | 27.19/27.23 c | 25752 | 745 667 9069 | 15692 12041 42 | 0.000 % | 28.19/28.28 c | 38727 | 745 667 9069 | 17261 9218 44 | 0.000 % | 29.79/29.82 c | 58188 | 745 667 9069 | 18987 11318 42 | 0.000 % | 32.28/32.34 c | 87380 | 745 667 9069 | 20886 11859 47 | 0.015 % | 32.59/32.62 c =============================================================================== 32.99/33.03 c core #7 32.99/33.03 c ============================[ Search Statistics ]============================== 32.99/33.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.99/33.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.99/33.03 c =============================================================================== 32.99/33.03 c | 0 | 863 757 10370 | 5000 0 nan | 0.000 % | 32.99/33.04 c | 101 | 863 757 10370 | 5500 101 35 | 0.000 % | 32.99/33.04 c | 251 | 863 757 10370 | 6050 251 31 | 0.000 % | 32.99/33.05 c | 477 | 863 757 10370 | 6655 477 29 | 0.000 % | 32.99/33.07 c | 815 | 863 757 10370 | 7320 815 32 | 0.000 % | 32.99/33.09 c | 1321 | 863 757 10370 | 8052 1321 34 | 0.000 % | 33.09/33.12 c | 2081 | 863 757 10370 | 8857 2081 35 | 0.000 % | 33.09/33.17 c | 3222 | 863 757 10370 | 9743 3222 36 | 0.000 % | 33.18/33.25 c | 4931 | 863 757 10370 | 10717 4931 36 | 0.000 % | 33.38/33.41 c | 7494 | 863 757 10370 | 11789 7494 39 | 0.000 % | 33.69/33.70 c | 11342 | 863 757 10370 | 12968 11342 38 | 0.000 % | 34.10/34.13 c | 17110 | 863 757 10370 | 14265 10594 39 | 0.000 % | 34.79/34.84 c | 25765 | 863 757 10370 | 15692 12024 40 | 0.000 % | 35.89/35.96 c | 38741 | 863 757 10370 | 17261 9212 42 | 0.000 % | 37.59/37.60 c | 58203 | 863 757 10370 | 18987 11304 42 | 0.000 % | 39.99/40.08 c | 87395 | 836 757 10370 | 20886 4366 39 | 3.129 % | 40.19/40.24 c =============================================================================== 40.59/40.66 c core #8 40.59/40.66 c ============================[ Search Statistics ]============================== 40.59/40.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.59/40.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.59/40.66 c =============================================================================== 40.59/40.66 c | 0 | 991 847 11691 | 5000 0 nan | 0.000 % | 40.59/40.67 c | 100 | 991 847 11691 | 5500 100 47 | 0.000 % | 40.59/40.68 c | 250 | 991 847 11691 | 6050 250 46 | 0.000 % | 40.59/40.69 c | 476 | 991 847 11691 | 6655 476 39 | 0.000 % | 40.59/40.70 c | 813 | 991 847 11691 | 7320 813 35 | 0.000 % | 40.70/40.72 c | 1319 | 991 847 11691 | 8052 1319 33 | 0.000 % | 40.70/40.75 c | 2078 | 991 847 11691 | 8857 2078 34 | 0.000 % | 40.79/40.80 c | 3218 | 991 847 11691 | 9743 3218 33 | 0.000 % | 40.79/40.89 c | 4926 | 991 847 11691 | 10717 4926 34 | 0.000 % | 40.99/41.04 c | 7489 | 991 847 11691 | 11789 7489 34 | 0.000 % | 41.28/41.31 c | 11336 | 991 847 11691 | 12968 11336 35 | 0.000 % | 41.69/41.76 c | 17107 | 991 847 11691 | 14265 10568 37 | 0.000 % | 42.49/42.58 c | 25757 | 991 847 11691 | 15692 12027 40 | 0.000 % | 43.59/43.64 c | 38732 | 991 847 11691 | 17261 9204 40 | 0.000 % | 45.19/45.23 c | 58193 | 991 847 11691 | 18987 11284 42 | 0.000 % | 46.78/46.86 c =============================================================================== 47.20/47.24 c core #9 47.20/47.24 c ============================[ Search Statistics ]============================== 47.20/47.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.20/47.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.20/47.24 c =============================================================================== 47.20/47.24 c | 0 | 1105 933 12774 | 5000 0 nan | 0.000 % | 47.20/47.25 c | 101 | 1105 933 12774 | 5500 101 38 | 0.000 % | 47.20/47.26 c | 253 | 1105 933 12774 | 6050 253 36 | 0.000 % | 47.20/47.27 c | 481 | 1105 933 12774 | 6655 481 39 | 0.000 % | 47.20/47.28 c | 819 | 1105 933 12774 | 7320 819 39 | 0.000 % | 47.30/47.30 c | 1327 | 1105 933 12774 | 8052 1327 36 | 0.000 % | 47.30/47.34 c | 2087 | 1105 933 12774 | 8857 2087 37 | 0.000 % | 47.30/47.39 c | 3226 | 1105 933 12774 | 9743 3226 37 | 0.000 % | 47.39/47.49 c | 4935 | 1105 933 12774 | 10717 4935 37 | 0.000 % | 47.59/47.66 c | 7497 | 1105 933 12774 | 11789 7497 37 | 0.000 % | 47.89/47.94 c | 11343 | 1105 933 12774 | 12968 11343 38 | 0.000 % | 48.30/48.38 c | 17109 | 1105 933 12774 | 14265 10592 41 | 0.000 % | 48.98/49.07 c | 25760 | 1105 933 12774 | 15692 12073 43 | 0.000 % | 50.09/50.18 c | 38736 | 1105 933 12774 | 17261 9178 43 | 0.000 % | 51.79/51.82 c | 58198 | 1105 933 12774 | 18987 11281 46 | 0.000 % | 54.29/54.37 c | 87391 | 1105 933 12774 | 20886 11839 45 | 0.004 % | 54.39/54.49 c =============================================================================== 54.39/54.49 c #cores: 9 54.39/54.49 c Final Weight: 10 54.39/54.49 o 10 54.39/54.49 s OPTIMUM FOUND 54.39/54.49 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 54.39/54.49 c Total CPU time: 53.7508 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-2690042-1277922758/watcher-2690042-1277922758 -o /tmp/evaluation-result-2690042-1277922758/solver-2690042-1277922758 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690042-1277922758.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.99 1.99 4/178 16469 /proc/meminfo: memFree=31427172/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=2572 CPUtime=0 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 286 0 0 0 0 0 0 0 18 0 1 0 133570410 2633728 202 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16469/statm: 643 202 143 303 0 338 0 [startup+0.097043 s] /proc/loadavg: 2.00 1.99 1.99 4/178 16469 /proc/meminfo: memFree=31427172/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=3496 CPUtime=0.09 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 515 0 0 0 9 0 0 0 18 0 1 0 133570410 3579904 431 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16469/statm: 874 431 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.10105 s] /proc/loadavg: 2.00 1.99 1.99 4/178 16469 /proc/meminfo: memFree=31427172/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=3496 CPUtime=0.09 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 523 0 0 0 9 0 0 0 18 0 1 0 133570410 3579904 439 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16469/statm: 874 439 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.301006 s] /proc/loadavg: 2.00 1.99 1.99 4/178 16469 /proc/meminfo: memFree=31427172/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=4836 CPUtime=0.29 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 849 0 0 0 29 0 0 0 18 0 1 0 133570410 4952064 765 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16469/statm: 1209 765 143 303 0 904 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4836 [startup+0.700962 s] /proc/loadavg: 2.00 1.99 1.99 4/178 16469 /proc/meminfo: memFree=31427172/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=6728 CPUtime=0.69 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 1334 0 0 0 68 1 0 0 18 0 1 0 133570410 6889472 1250 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16469/statm: 1682 1250 143 303 0 1377 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6728 [startup+1.50082 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16470 /proc/meminfo: memFree=31420964/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=11084 CPUtime=1.48 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 2407 0 0 0 146 2 0 0 20 0 1 0 133570410 11350016 2323 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16469/statm: 2771 2323 143 303 0 2466 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11084 [startup+3.10053 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16470 /proc/meminfo: memFree=31414516/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=14388 CPUtime=3.09 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 3239 0 0 0 305 4 0 0 25 0 1 0 133570410 14733312 3155 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16469/statm: 3597 3155 146 303 0 3292 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14388 [startup+6.3009 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16470 /proc/meminfo: memFree=31403712/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=29320 CPUtime=6.29 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 6993 0 0 0 621 8 0 0 25 0 1 0 133570410 30023680 6909 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16469/statm: 7330 6909 146 303 0 7025 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29320 [startup+12.7007 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16470 /proc/meminfo: memFree=31387092/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=42804 CPUtime=12.69 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 10336 0 0 0 1251 18 0 0 25 0 1 0 133570410 43831296 10252 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16469/statm: 10701 10252 146 303 0 10396 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42804 [startup+25.5004 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16471 /proc/meminfo: memFree=31352508/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=78648 CPUtime=25.49 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 19308 0 0 0 2512 37 0 0 25 0 1 0 133570410 80535552 19224 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16469/statm: 19662 19224 146 303 0 19357 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78648 [startup+51.1007 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16472 /proc/meminfo: memFree=31301128/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=129316 CPUtime=51.09 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 31977 0 0 0 5041 68 0 0 25 0 1 0 133570410 132419584 31893 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16469/statm: 32329 31893 146 303 0 32024 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 129316 Solver just ended. Dumping a history of the last processes samples [startup+52.7004 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16472 /proc/meminfo: memFree=31293556/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=135740 CPUtime=52.7 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 33566 0 0 0 5199 71 0 0 25 0 1 0 133570410 138997760 33482 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16469/statm: 33935 33482 146 303 0 33630 0 Current children cumulated CPU time (s) 52.7 Current children cumulated vsize (KiB) 135740 [startup+53.5003 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16472 /proc/meminfo: memFree=31293556/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=138784 CPUtime=53.49 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 34334 0 0 0 5277 72 0 0 25 0 1 0 133570410 142114816 34250 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16469/statm: 34696 34250 146 303 0 34391 0 Current children cumulated CPU time (s) 53.49 Current children cumulated vsize (KiB) 138784 [startup+53.9062 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16472 /proc/meminfo: memFree=31289216/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=140500 CPUtime=53.89 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 34767 0 0 0 5317 72 0 0 25 0 1 0 133570410 143872000 34683 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16469/statm: 35125 34683 146 303 0 34820 0 Current children cumulated CPU time (s) 53.89 Current children cumulated vsize (KiB) 140500 [startup+54.3011 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16472 /proc/meminfo: memFree=31289216/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=141952 CPUtime=54.29 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 35141 0 0 0 5356 73 0 0 25 0 1 0 133570410 145358848 35057 4089446400 134512640 135751879 4290929264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16469/statm: 35488 35057 146 303 0 35183 0 Current children cumulated CPU time (s) 54.29 Current children cumulated vsize (KiB) 141952 [startup+54.4011 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16472 /proc/meminfo: memFree=31289216/32951124 swapFree=67111528/67111528 [pid=16469] ppid=16467 vsize=142480 CPUtime=54.39 /proc/16469/stat : 16469 (wbo1.4a) R 16467 16469 15305 0 -1 4202496 35246 0 0 0 5366 73 0 0 25 0 1 0 133570410 145899520 35162 4089446400 134512640 135751879 4290929264 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16469/statm: 35620 35162 146 303 0 35315 0 Current children cumulated CPU time (s) 54.39 Current children cumulated vsize (KiB) 142480 Child status: 0 Real time (s): 54.4958 CPU time (s): 54.4937 CPU user time (s): 53.7508 CPU system time (s): 0.742887 CPU usage (%): 99.9962 Max. virtual memory (cumulated for all children) (KiB): 142480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 53.7508 system time used= 0.742887 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35312 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= 129 runsolver used 0.086986 second user time and 0.169974 second system time The end
Begin job on node142 at 2010-06-30 20:32:38 IDJOB=2690042 IDBENCH=79190 IDSOLVER=1200 FILE ID=node142/2690042-1277922758 PBS_JOBID= 11197287 Free space on /tmp= 74176 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967729--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-2690042-1277922758/watcher-2690042-1277922758 -o /tmp/evaluation-result-2690042-1277922758/solver-2690042-1277922758 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690042-1277922758.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b3cca2fb004dc2587d09951aac05623a RANDOM SEED=2113660437 node142.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.827 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.65 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.827 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.16 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.827 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.827 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.75 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.827 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.827 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.827 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.827 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: 31427692 kB Buffers: 202100 kB Cached: 1074236 kB SwapCached: 0 kB Active: 530364 kB Inactive: 849932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31427692 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2776 kB Writeback: 0 kB AnonPages: 103688 kB Mapped: 15384 kB Slab: 80440 kB PageTables: 4744 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 249184 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= 74176 MiB End job on node142 at 2010-06-30 20:33:32