Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 48.8856 | 48.8927 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-0-100-0.wbo |
MD5SUM | 4da1e5a9e75693d50d2c099f4fe591bc |
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 | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.163974 |
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 | 1294 |
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-2690142-1277924439.wbo. 0.00/0.00 c Instance file HOME/instance-2690142-1277924439.wbo 0.00/0.00 c File size is 10466 bytes. 0.00/0.00 c Highest Coefficient sum: 1294 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 34 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 40 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 36 | 0.004 % | 0.00/0.02 c | 818 | 169 101 1205 | 7320 818 33 | 0.004 % | 0.00/0.03 c | 1325 | 169 101 1205 | 8052 1325 33 | 0.004 % | 0.03/0.05 c | 2086 | 169 101 1205 | 8857 2086 33 | 0.004 % | 0.03/0.09 c | 3225 | 169 101 1205 | 9743 3225 33 | 0.004 % | 0.09/0.16 c | 4934 | 169 101 1205 | 10717 4934 34 | 0.004 % | 0.19/0.27 c | 7496 | 169 101 1205 | 11789 7496 34 | 0.004 % | 0.39/0.49 c | 11340 | 169 101 1205 | 12968 11340 36 | 0.004 % | 0.79/0.84 c | 17106 | 169 101 1205 | 14265 10563 38 | 0.004 % | 1.29/1.38 c | 25755 | 169 101 1205 | 15692 12035 40 | 0.004 % | 2.19/2.29 c | 38730 | 128 101 1205 | 17261 909 29 | 24.264 % | 2.29/2.37 c =============================================================================== 2.49/2.52 c core #1 2.49/2.52 c ============================[ Search Statistics ]============================== 2.49/2.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.52 c =============================================================================== 2.49/2.52 c | 0 | 264 200 2568 | 5000 0 nan | 0.000 % | 2.49/2.53 c | 100 | 264 200 2568 | 5500 100 34 | 0.001 % | 2.49/2.53 c | 250 | 264 200 2568 | 6050 250 40 | 0.001 % | 2.49/2.54 c | 476 | 264 200 2568 | 6655 476 38 | 0.001 % | 2.49/2.55 c | 814 | 264 200 2568 | 7320 814 36 | 0.001 % | 2.49/2.56 c | 1321 | 264 200 2568 | 8052 1321 36 | 0.001 % | 2.49/2.59 c | 2083 | 264 200 2568 | 8857 2083 36 | 0.001 % | 2.59/2.63 c | 3222 | 264 200 2568 | 9743 3222 34 | 0.001 % | 2.69/2.71 c | 4931 | 264 200 2568 | 10717 4931 34 | 0.001 % | 2.79/2.84 c | 7494 | 264 200 2568 | 11789 7494 35 | 0.001 % | 2.99/3.09 c | 11338 | 264 200 2568 | 12968 11338 35 | 0.001 % | 3.38/3.46 c | 17104 | 264 200 2568 | 14265 10572 38 | 0.001 % | 3.88/3.98 c | 25753 | 264 200 2568 | 15692 12039 39 | 0.001 % | 4.79/4.81 c | 38727 | 264 200 2568 | 17261 9215 41 | 0.001 % | 5.29/5.31 c =============================================================================== 5.40/5.49 c core #2 5.40/5.49 c ============================[ Search Statistics ]============================== 5.40/5.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.40/5.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.40/5.49 c =============================================================================== 5.40/5.49 c | 0 | 358 295 3884 | 5000 0 nan | 0.000 % | 5.40/5.50 c | 102 | 358 295 3884 | 5500 102 30 | 0.001 % | 5.50/5.50 c | 253 | 358 295 3884 | 6050 253 27 | 0.001 % | 5.50/5.51 c | 479 | 358 295 3884 | 6655 479 32 | 0.001 % | 5.50/5.52 c | 816 | 358 295 3884 | 7320 816 32 | 0.001 % | 5.50/5.54 c | 1324 | 358 295 3884 | 8052 1324 33 | 0.001 % | 5.50/5.57 c | 2083 | 358 295 3884 | 8857 2083 33 | 0.001 % | 5.59/5.61 c | 3224 | 358 295 3884 | 9743 3224 31 | 0.001 % | 5.59/5.68 c | 4932 | 358 295 3884 | 10717 4932 31 | 0.001 % | 5.78/5.82 c | 7495 | 358 295 3884 | 11789 7495 33 | 0.001 % | 5.98/6.09 c | 11339 | 358 295 3884 | 12968 11339 34 | 0.001 % | 6.39/6.45 c | 17105 | 358 295 3884 | 14265 10570 36 | 0.001 % | 6.99/7.01 c | 25756 | 358 295 3884 | 15692 12036 37 | 0.001 % | 7.79/7.89 c | 38737 | 358 295 3884 | 17261 9230 40 | 0.001 % | 9.09/9.17 c | 58199 | 358 295 3884 | 18987 11172 41 | 0.001 % | 9.68/9.74 c =============================================================================== 9.99/10.03 c core #3 9.99/10.03 c ============================[ Search Statistics ]============================== 9.99/10.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.99/10.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.99/10.03 c =============================================================================== 9.99/10.03 c | 0 | 457 390 5210 | 5000 0 nan | 0.000 % | 9.99/10.04 c | 100 | 457 390 5210 | 5500 100 35 | 0.000 % | 9.99/10.05 c | 250 | 457 390 5210 | 6050 250 38 | 0.000 % | 9.99/10.05 c | 475 | 457 390 5210 | 6655 475 34 | 0.000 % | 9.99/10.07 c | 812 | 457 390 5210 | 7320 812 31 | 0.000 % | 9.99/10.08 c | 1318 | 457 390 5210 | 8052 1318 30 | 0.000 % | 10.08/10.11 c | 2077 | 457 390 5210 | 8857 2077 31 | 0.000 % | 10.08/10.16 c | 3216 | 457 390 5210 | 9743 3216 31 | 0.000 % | 10.19/10.24 c | 4924 | 457 390 5210 | 10717 4924 32 | 0.000 % | 10.29/10.38 c | 7487 | 457 390 5210 | 11789 7487 33 | 0.000 % | 10.59/10.60 c | 11331 | 457 390 5210 | 12968 11331 34 | 0.000 % | 10.89/10.97 c | 17097 | 457 390 5210 | 14265 10554 37 | 0.000 % | 11.49/11.52 c | 25748 | 457 390 5210 | 15692 12028 38 | 0.000 % | 12.38/12.42 c | 38722 | 457 390 5210 | 17261 9220 41 | 0.000 % | 13.68/13.74 c | 58183 | 457 390 5210 | 18987 11325 41 | 0.001 % | 14.89/14.92 c =============================================================================== 15.19/15.23 c core #4 15.19/15.23 c ============================[ Search Statistics ]============================== 15.19/15.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.19/15.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.19/15.23 c =============================================================================== 15.19/15.23 c | 0 | 547 482 6479 | 5000 0 nan | 0.000 % | 15.19/15.24 c | 100 | 547 482 6479 | 5500 100 38 | 0.000 % | 15.19/15.24 c | 250 | 547 482 6479 | 6050 250 33 | 0.000 % | 15.19/15.25 c | 476 | 547 482 6479 | 6655 476 30 | 0.000 % | 15.19/15.26 c | 816 | 547 482 6479 | 7320 816 35 | 0.000 % | 15.19/15.28 c | 1322 | 547 482 6479 | 8052 1322 34 | 0.000 % | 15.29/15.31 c | 2082 | 547 482 6479 | 8857 2082 33 | 0.000 % | 15.29/15.36 c | 3221 | 547 482 6479 | 9743 3221 32 | 0.000 % | 15.40/15.44 c | 4929 | 547 482 6479 | 10717 4929 33 | 0.000 % | 15.49/15.58 c | 7492 | 547 482 6479 | 11789 7492 34 | 0.000 % | 15.79/15.81 c | 11337 | 547 482 6479 | 12968 11337 34 | 0.000 % | 16.09/16.19 c | 17107 | 547 482 6479 | 14265 10565 36 | 0.000 % | 16.78/16.80 c | 25757 | 547 482 6479 | 15692 12055 38 | 0.000 % | 17.59/17.69 c | 38733 | 547 482 6479 | 17261 9238 39 | 0.000 % | 18.98/19.01 c | 58194 | 511 482 6479 | 18987 5270 40 | 6.582 % | 20.09/20.15 c =============================================================================== 20.39/20.47 c core #5 20.39/20.47 c ============================[ Search Statistics ]============================== 20.39/20.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.39/20.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.39/20.47 c =============================================================================== 20.39/20.47 c | 0 | 655 577 7826 | 5000 0 nan | 0.000 % | 20.39/20.48 c | 100 | 655 577 7826 | 5500 100 34 | 0.000 % | 20.39/20.49 c | 251 | 655 577 7826 | 6050 251 34 | 0.000 % | 20.39/20.50 c | 476 | 655 577 7826 | 6655 476 30 | 0.000 % | 20.48/20.51 c | 813 | 655 577 7826 | 7320 813 30 | 0.000 % | 20.48/20.52 c | 1319 | 655 577 7826 | 8052 1319 31 | 0.000 % | 20.48/20.55 c | 2078 | 655 577 7826 | 8857 2078 30 | 0.000 % | 20.59/20.60 c | 3217 | 655 577 7826 | 9743 3217 31 | 0.000 % | 20.59/20.69 c | 4926 | 655 577 7826 | 10717 4926 33 | 0.000 % | 20.79/20.84 c | 7492 | 655 577 7826 | 11789 7492 34 | 0.000 % | 21.09/21.10 c | 11338 | 655 577 7826 | 12968 11338 36 | 0.000 % | 21.48/21.51 c | 17104 | 655 577 7826 | 14265 10568 39 | 0.000 % | 22.08/22.13 c | 25753 | 655 577 7826 | 15692 12037 37 | 0.000 % | 22.98/23.05 c | 38727 | 655 577 7826 | 17261 9209 40 | 0.000 % | 24.19/24.27 c | 58189 | 619 577 7826 | 18987 5889 43 | 5.496 % | 24.69/24.76 c =============================================================================== 24.98/25.04 c core #6 24.98/25.04 c ============================[ Search Statistics ]============================== 24.98/25.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.98/25.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.98/25.04 c =============================================================================== 24.98/25.04 c | 0 | 751 667 9081 | 5000 0 nan | 0.000 % | 24.98/25.05 c | 101 | 751 667 9081 | 5500 101 45 | 0.000 % | 24.98/25.06 c | 252 | 751 667 9081 | 6050 252 44 | 0.000 % | 24.98/25.07 c | 479 | 751 667 9081 | 6655 479 40 | 0.000 % | 24.98/25.08 c | 816 | 751 667 9081 | 7320 816 34 | 0.000 % | 25.08/25.10 c | 1325 | 751 667 9081 | 8052 1325 32 | 0.000 % | 25.08/25.13 c | 2085 | 751 667 9081 | 8857 2085 32 | 0.000 % | 25.08/25.19 c | 3225 | 751 667 9081 | 9743 3225 34 | 0.000 % | 25.19/25.28 c | 4933 | 751 667 9081 | 10717 4933 34 | 0.000 % | 25.38/25.43 c | 7495 | 751 667 9081 | 11789 7495 35 | 0.000 % | 25.59/25.69 c | 11339 | 751 667 9081 | 12968 11339 36 | 0.000 % | 26.09/26.18 c | 17106 | 751 667 9081 | 14265 10580 39 | 0.000 % | 26.68/26.79 c | 25757 | 751 667 9081 | 15692 12040 39 | 0.000 % | 27.88/27.95 c | 38731 | 751 667 9081 | 17261 9214 43 | 0.000 % | 29.49/29.56 c | 58193 | 751 667 9081 | 18987 11321 42 | 0.000 % | 31.79/31.82 c | 87387 | 722 667 9081 | 20886 6114 41 | 3.862 % | 32.19/32.24 c =============================================================================== 32.58/32.66 c core #7 32.58/32.66 c ============================[ Search Statistics ]============================== 32.58/32.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.58/32.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.58/32.66 c =============================================================================== 32.58/32.66 c | 0 | 870 757 10384 | 5000 0 nan | 0.000 % | 32.58/32.68 c | 101 | 870 757 10384 | 5500 101 43 | 0.000 % | 32.58/32.69 c | 251 | 870 757 10384 | 6050 251 36 | 0.000 % | 32.58/32.69 c | 478 | 870 757 10384 | 6655 478 35 | 0.000 % | 32.68/32.70 c | 817 | 870 757 10384 | 7320 817 33 | 0.000 % | 32.68/32.72 c | 1328 | 870 757 10384 | 8052 1328 31 | 0.000 % | 32.68/32.75 c | 2087 | 870 757 10384 | 8857 2087 30 | 0.000 % | 32.79/32.80 c | 3227 | 870 757 10384 | 9743 3227 30 | 0.000 % | 32.79/32.88 c | 4937 | 870 757 10384 | 10717 4937 31 | 0.000 % | 32.99/33.04 c | 7502 | 870 757 10384 | 11789 7502 33 | 0.000 % | 33.28/33.30 c | 11346 | 870 757 10384 | 12968 11346 34 | 0.000 % | 33.69/33.74 c | 17112 | 870 757 10384 | 14265 10578 38 | 0.000 % | 34.28/34.37 c | 25761 | 870 757 10384 | 15692 12042 39 | 0.000 % | 35.38/35.42 c | 38736 | 870 757 10384 | 17261 9234 41 | 0.000 % | 36.79/36.86 c | 58199 | 870 757 10384 | 18987 11287 39 | 0.000 % | 39.18/39.21 c | 87396 | 870 757 10384 | 20886 11855 44 | 0.003 % | 40.59/40.60 c =============================================================================== 40.98/41.06 c core #8 40.98/41.06 c ============================[ Search Statistics ]============================== 40.98/41.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.98/41.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.98/41.06 c =============================================================================== 40.98/41.06 c | 0 | 1001 847 11711 | 5000 0 nan | 0.000 % | 40.98/41.08 c | 101 | 1001 847 11711 | 5500 101 37 | 0.000 % | 40.98/41.08 c | 251 | 1001 847 11711 | 6050 251 34 | 0.000 % | 40.98/41.09 c | 476 | 1001 847 11711 | 6655 476 35 | 0.000 % | 41.08/41.11 c | 815 | 1001 847 11711 | 7320 815 32 | 0.000 % | 41.08/41.13 c | 1321 | 1001 847 11711 | 8052 1321 31 | 0.000 % | 41.08/41.16 c | 2082 | 1001 847 11711 | 8857 2082 30 | 0.000 % | 41.19/41.22 c | 3222 | 1001 847 11711 | 9743 3222 31 | 0.000 % | 41.29/41.32 c | 4930 | 1001 847 11711 | 10717 4930 33 | 0.000 % | 41.38/41.48 c | 7495 | 1001 847 11711 | 11789 7495 33 | 0.000 % | 41.69/41.76 c | 11341 | 1001 847 11711 | 12968 11341 35 | 0.000 % | 42.18/42.21 c | 17107 | 1001 847 11711 | 14265 10564 39 | 0.000 % | 42.79/42.88 c | 25756 | 1001 847 11711 | 15692 12030 39 | 0.000 % | 43.89/43.96 c | 38730 | 1001 847 11711 | 17261 9229 41 | 0.000 % | 45.58/45.62 c | 58191 | 1001 847 11711 | 18987 11329 41 | 0.000 % | 48.09/48.10 c | 87383 | 1001 847 11711 | 20886 11862 41 | 0.003 % | 48.78/48.88 c =============================================================================== 48.78/48.88 c #cores: 8 48.78/48.88 c Final Weight: 9 48.78/48.88 o 9 48.78/48.88 s OPTIMUM FOUND 48.78/48.88 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 48.78/48.88 c Total CPU time: 47.3348 s
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690142-1277924439/watcher-2690142-1277924439 -o /tmp/evaluation-result-2690142-1277924439/solver-2690142-1277924439 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690142-1277924439.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.05 2.01 3/196 26547 /proc/meminfo: memFree=30963792/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=2576 CPUtime=0 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 290 0 0 0 0 0 0 0 25 0 1 0 166083466 2637824 206 4089446400 134512640 135751879 4287209088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26547/statm: 644 206 143 303 0 339 0 [startup+0.042417 s] /proc/loadavg: 2.03 2.05 2.01 3/196 26547 /proc/meminfo: memFree=30963792/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=2972 CPUtime=0.03 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 395 0 0 0 3 0 0 0 25 0 1 0 166083466 3043328 311 4089446400 134512640 135751879 4287209088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26547/statm: 743 311 143 303 0 438 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2972 [startup+0.10042 s] /proc/loadavg: 2.03 2.05 2.01 3/196 26547 /proc/meminfo: memFree=30963792/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=3500 CPUtime=0.09 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 533 0 0 0 9 0 0 0 25 0 1 0 166083466 3584000 449 4089446400 134512640 135751879 4287209088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26547/statm: 875 449 143 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.300374 s] /proc/loadavg: 2.03 2.05 2.01 3/196 26547 /proc/meminfo: memFree=30963792/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=4968 CPUtime=0.29 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 904 0 0 0 27 2 0 0 25 0 1 0 166083466 5087232 820 4089446400 134512640 135751879 4287209088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26547/statm: 1242 821 143 303 0 937 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4968 [startup+0.70031 s] /proc/loadavg: 2.03 2.05 2.01 3/196 26547 /proc/meminfo: memFree=30963792/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=7248 CPUtime=0.69 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 1443 0 0 0 66 3 0 0 25 0 1 0 166083466 7421952 1359 4089446400 134512640 135751879 4287209088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26547/statm: 1812 1359 143 303 0 1507 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7248 [startup+1.50017 s] /proc/loadavg: 2.03 2.05 2.01 3/197 26548 /proc/meminfo: memFree=30957908/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=11472 CPUtime=1.49 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 2505 0 0 0 143 6 0 0 25 0 1 0 166083466 11747328 2421 4089446400 134512640 135751879 4287209088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/26547/statm: 2868 2421 143 303 0 2563 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11472 [startup+3.10087 s] /proc/loadavg: 2.03 2.05 2.01 3/197 26548 /proc/meminfo: memFree=30951832/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=17280 CPUtime=3.09 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 3982 0 0 0 297 12 0 0 25 0 1 0 166083466 17694720 3898 4089446400 134512640 135751879 4287209088 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26547/statm: 4320 3898 146 303 0 4015 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17280 [startup+6.30038 s] /proc/loadavg: 2.03 2.05 2.01 3/197 26548 /proc/meminfo: memFree=30938564/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=26784 CPUtime=6.29 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 6357 0 0 0 605 24 0 0 25 0 1 0 166083466 27426816 6273 4089446400 134512640 135751879 4287209088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26547/statm: 6696 6273 146 303 0 6391 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26784 [startup+12.7003 s] /proc/loadavg: 2.02 2.05 2.01 3/197 26548 /proc/meminfo: memFree=30922940/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=44212 CPUtime=12.69 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 10713 0 0 0 1224 45 0 0 19 0 1 0 166083466 45273088 10629 4089446400 134512640 135751879 4287209088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26547/statm: 11053 10629 146 303 0 10748 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44212 [startup+25.5002 s] /proc/loadavg: 2.02 2.05 2.01 3/197 26557 /proc/meminfo: memFree=30879252/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=80100 CPUtime=25.48 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 19691 0 0 0 2460 88 0 0 18 0 1 0 166083466 82022400 19607 4089446400 134512640 135751879 4287209088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26547/statm: 20025 19607 146 303 0 19720 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 80100 Solver just ended. Dumping a history of the last processes samples [startup+38.301 s] /proc/loadavg: 2.01 2.04 2.01 3/197 26557 /proc/meminfo: memFree=30853808/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=109680 CPUtime=38.28 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 27053 0 0 0 3701 127 0 0 25 0 1 0 166083466 112312320 26969 4089446400 134512640 135751879 4287209088 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26547/statm: 27420 26969 146 303 0 27115 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 109680 [startup+44.7009 s] /proc/loadavg: 2.01 2.04 2.01 3/197 26557 /proc/meminfo: memFree=30835952/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=122088 CPUtime=44.69 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 30174 0 0 0 4325 144 0 0 25 0 1 0 166083466 125018112 30090 4089446400 134512640 135751879 4287209088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26547/statm: 30522 30090 146 303 0 30217 0 Current children cumulated CPU time (s) 44.69 Current children cumulated vsize (KiB) 122088 [startup+46.3007 s] /proc/loadavg: 2.01 2.04 2.01 3/197 26557 /proc/meminfo: memFree=30833964/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=124772 CPUtime=46.28 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 30828 0 0 0 4481 147 0 0 25 0 1 0 166083466 127766528 30744 4089446400 134512640 135751879 4287209088 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26547/statm: 31193 30744 146 303 0 30888 0 Current children cumulated CPU time (s) 46.28 Current children cumulated vsize (KiB) 124772 [startup+47.9004 s] /proc/loadavg: 2.01 2.04 2.01 3/197 26557 /proc/meminfo: memFree=30830368/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=130584 CPUtime=47.88 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 32293 0 0 0 4637 151 0 0 25 0 1 0 166083466 133718016 32209 4089446400 134512640 135751879 4287209088 18446744073709551615 134517574 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26547/statm: 32646 32209 146 303 0 32341 0 Current children cumulated CPU time (s) 47.88 Current children cumulated vsize (KiB) 130584 [startup+48.3003 s] /proc/loadavg: 2.01 2.04 2.01 3/197 26557 /proc/meminfo: memFree=30825532/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=132300 CPUtime=48.28 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 32715 0 0 0 4676 152 0 0 25 0 1 0 166083466 135475200 32631 4089446400 134512640 135751879 4287209088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26547/statm: 33075 32631 146 303 0 32770 0 Current children cumulated CPU time (s) 48.28 Current children cumulated vsize (KiB) 132300 [startup+48.7003 s] /proc/loadavg: 2.01 2.04 2.01 3/197 26557 /proc/meminfo: memFree=30825532/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=133752 CPUtime=48.69 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 33093 0 0 0 4715 154 0 0 25 0 1 0 166083466 136962048 33009 4089446400 134512640 135751879 4287209088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26547/statm: 33438 33009 146 303 0 33133 0 Current children cumulated CPU time (s) 48.69 Current children cumulated vsize (KiB) 133752 [startup+48.8002 s] /proc/loadavg: 2.01 2.04 2.01 3/197 26557 /proc/meminfo: memFree=30825532/32951124 swapFree=67111528/67111528 [pid=26547] ppid=26545 vsize=134276 CPUtime=48.78 /proc/26547/stat : 26547 (wbo1.4a) R 26545 26547 24474 0 -1 4202496 33215 0 0 0 4724 154 0 0 25 0 1 0 166083466 137498624 33131 4089446400 134512640 135751879 4287209088 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26547/statm: 33569 33131 146 303 0 33264 0 Current children cumulated CPU time (s) 48.78 Current children cumulated vsize (KiB) 134276 Child status: 0 Real time (s): 48.8927 CPU time (s): 48.8856 CPU user time (s): 47.3348 CPU system time (s): 1.55076 CPU usage (%): 99.9854 Max. virtual memory (cumulated for all children) (KiB): 134276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 47.3348 system time used= 1.55076 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33328 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= 7 involuntary context switches= 158 runsolver used 0.057991 second user time and 0.175973 second system time The end
Begin job on node118 at 2010-06-30 21:00:39 IDJOB=2690142 IDBENCH=79240 IDSOLVER=1200 FILE ID=node118/2690142-1277924439 PBS_JOBID= 11197260 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976157--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-2690142-1277924439/watcher-2690142-1277924439 -o /tmp/evaluation-result-2690142-1277924439/solver-2690142-1277924439 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690142-1277924439.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4da1e5a9e75693d50d2c099f4fe591bc RANDOM SEED=670030458 node118.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.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.791 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.76 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.791 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.83 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.791 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.75 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.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30964568 kB Buffers: 208408 kB Cached: 1300472 kB SwapCached: 0 kB Active: 805472 kB Inactive: 1037024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30964568 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2872 kB Writeback: 0 kB AnonPages: 333700 kB Mapped: 20576 kB Slab: 79892 kB PageTables: 5568 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655500 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 node118 at 2010-06-30 21:01:28