Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 65.3441 | 65.3426 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-33-100-0.wbo |
MD5SUM | 51ec66e2af29a72ddad86a3465d2cbc7 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 0.359944 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 69 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 3204 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3203 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1217 |
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-2689903-1277898075.wbo. 0.00/0.00 c Instance file HOME/instance-2689903-1277898075.wbo 0.00/0.00 c File size is 10305 bytes. 0.00/0.00 c Highest Coefficient sum: 1217 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 | 105 | 169 101 1205 | 5500 105 27 | 0.004 % | 0.00/0.00 c | 256 | 169 101 1205 | 6050 256 29 | 0.004 % | 0.00/0.01 c | 481 | 169 101 1205 | 6655 481 36 | 0.004 % | 0.00/0.02 c | 818 | 169 101 1205 | 7320 818 39 | 0.004 % | 0.00/0.03 c | 1325 | 169 101 1205 | 8052 1325 42 | 0.004 % | 0.04/0.06 c | 2084 | 169 101 1205 | 8857 2084 42 | 0.004 % | 0.09/0.10 c | 3227 | 169 101 1205 | 9743 3227 42 | 0.004 % | 0.09/0.18 c | 4935 | 169 101 1205 | 10717 4935 41 | 0.004 % | 0.29/0.32 c | 7497 | 169 101 1205 | 11789 7497 42 | 0.004 % | 0.49/0.57 c | 11343 | 169 101 1205 | 12968 11343 44 | 0.004 % | 0.89/0.95 c | 17110 | 169 101 1205 | 14265 10575 46 | 0.004 % | 1.59/1.63 c | 25759 | 169 101 1205 | 15692 12035 47 | 0.004 % | 2.59/2.60 c | 38734 | 169 101 1205 | 17261 9221 47 | 0.004 % | 4.19/4.26 c | 58196 | 169 101 1205 | 18987 11303 49 | 0.154 % | 4.49/4.52 c =============================================================================== 4.69/4.79 c core #1 4.69/4.79 c ============================[ Search Statistics ]============================== 4.69/4.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.79 c =============================================================================== 4.69/4.79 c | 0 | 236 168 2200 | 5000 0 nan | 0.000 % | 4.69/4.79 c | 105 | 236 168 2200 | 5500 105 27 | 0.002 % | 4.69/4.80 c | 255 | 236 168 2200 | 6050 255 31 | 0.002 % | 4.79/4.80 c | 480 | 236 168 2200 | 6655 480 33 | 0.002 % | 4.79/4.81 c | 820 | 236 168 2200 | 7320 820 33 | 0.002 % | 4.79/4.83 c | 1327 | 236 168 2200 | 8052 1327 34 | 0.002 % | 4.79/4.85 c | 2086 | 236 168 2200 | 8857 2086 34 | 0.002 % | 4.79/4.89 c | 3225 | 236 168 2200 | 9743 3225 36 | 0.002 % | 4.89/4.96 c | 4934 | 236 168 2200 | 10717 4934 37 | 0.002 % | 4.99/5.09 c | 7496 | 236 168 2200 | 11789 7496 39 | 0.002 % | 5.29/5.33 c | 11341 | 236 168 2200 | 12968 11341 41 | 0.002 % | 5.69/5.79 c | 17107 | 236 168 2200 | 14265 10565 46 | 0.002 % | 6.39/6.49 c | 25757 | 236 168 2200 | 15692 12037 49 | 0.002 % | 7.39/7.48 c | 38732 | 236 168 2200 | 17261 9223 47 | 0.002 % | 8.99/9.00 c | 58193 | 197 168 2200 | 18987 1609 38 | 16.527 % | 9.19/9.27 c =============================================================================== 9.49/9.56 c core #2 9.49/9.56 c ============================[ Search Statistics ]============================== 9.49/9.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.49/9.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.49/9.56 c =============================================================================== 9.49/9.56 c | 0 | 302 234 3173 | 5000 0 nan | 0.000 % | 9.49/9.57 c | 100 | 302 234 3173 | 5500 100 24 | 0.001 % | 9.49/9.57 c | 251 | 302 234 3173 | 6050 251 28 | 0.001 % | 9.49/9.58 c | 477 | 302 234 3173 | 6655 477 27 | 0.001 % | 9.49/9.59 c | 815 | 302 234 3173 | 7320 815 29 | 0.001 % | 9.59/9.61 c | 1323 | 302 234 3173 | 8052 1323 31 | 0.001 % | 9.59/9.63 c | 2083 | 302 234 3173 | 8857 2083 36 | 0.001 % | 9.59/9.67 c | 3222 | 302 234 3173 | 9743 3222 36 | 0.001 % | 9.69/9.75 c | 4931 | 302 234 3173 | 10717 4931 37 | 0.001 % | 9.89/9.90 c | 7495 | 302 234 3173 | 11789 7495 40 | 0.001 % | 10.10/10.17 c | 11342 | 302 234 3173 | 12968 11342 41 | 0.001 % | 10.50/10.56 c | 17111 | 302 234 3173 | 14265 10587 43 | 0.001 % | 11.19/11.21 c | 25760 | 302 234 3173 | 15692 12041 46 | 0.001 % | 12.29/12.37 c | 38736 | 302 234 3173 | 17261 9222 47 | 0.001 % | 13.89/13.97 c | 58199 | 302 234 3173 | 18987 11320 50 | 0.001 % | 16.29/16.33 c =============================================================================== 16.69/16.73 c core #3 16.69/16.73 c ============================[ Search Statistics ]============================== 16.69/16.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.69/16.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.69/16.73 c =============================================================================== 16.69/16.73 c | 0 | 371 300 4152 | 5000 0 nan | 0.000 % | 16.69/16.74 c | 100 | 371 300 4152 | 5500 100 31 | 0.001 % | 16.69/16.75 c | 250 | 371 300 4152 | 6050 250 36 | 0.001 % | 16.69/16.75 c | 475 | 371 300 4152 | 6655 475 36 | 0.001 % | 16.69/16.76 c | 812 | 371 300 4152 | 7320 812 35 | 0.001 % | 16.69/16.78 c | 1322 | 371 300 4152 | 8052 1322 35 | 0.001 % | 16.79/16.81 c | 2085 | 371 300 4152 | 8857 2085 34 | 0.001 % | 16.79/16.85 c | 3225 | 371 300 4152 | 9743 3225 37 | 0.001 % | 16.89/16.93 c | 4935 | 371 300 4152 | 10717 4935 38 | 0.001 % | 16.99/17.09 c | 7499 | 371 300 4152 | 11789 7499 39 | 0.001 % | 17.29/17.36 c | 11347 | 371 300 4152 | 12968 11347 40 | 0.001 % | 17.79/17.80 c | 17114 | 371 300 4152 | 14265 10579 42 | 0.001 % | 18.39/18.43 c | 25763 | 371 300 4152 | 15692 12045 44 | 0.001 % | 19.39/19.42 c | 38737 | 371 300 4152 | 17261 9233 46 | 0.001 % | 21.00/21.08 c | 58200 | 371 300 4152 | 18987 11335 48 | 0.001 % | 23.00/23.07 c =============================================================================== 23.39/23.46 c core #4 23.39/23.46 c ============================[ Search Statistics ]============================== 23.39/23.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.39/23.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.39/23.46 c =============================================================================== 23.39/23.46 c | 0 | 435 365 5116 | 5000 0 nan | 0.000 % | 23.39/23.47 c | 100 | 435 365 5116 | 5500 100 28 | 0.001 % | 23.39/23.48 c | 250 | 435 365 5116 | 6050 250 34 | 0.001 % | 23.39/23.48 c | 475 | 435 365 5116 | 6655 475 36 | 0.001 % | 23.39/23.49 c | 816 | 435 365 5116 | 7320 816 38 | 0.001 % | 23.49/23.51 c | 1323 | 435 365 5116 | 8052 1323 38 | 0.001 % | 23.49/23.54 c | 2082 | 435 365 5116 | 8857 2082 37 | 0.001 % | 23.49/23.59 c | 3223 | 435 365 5116 | 9743 3223 38 | 0.001 % | 23.59/23.67 c | 4935 | 435 365 5116 | 10717 4935 39 | 0.001 % | 23.79/23.81 c | 7497 | 435 365 5116 | 11789 7497 41 | 0.001 % | 23.99/24.08 c | 11341 | 435 365 5116 | 12968 11341 41 | 0.001 % | 24.49/24.51 c | 17107 | 435 365 5116 | 14265 10565 44 | 0.001 % | 25.20/25.21 c | 25757 | 435 365 5116 | 15692 12029 46 | 0.001 % | 26.30/26.36 c | 38731 | 435 365 5116 | 17261 9203 46 | 0.001 % | 27.99/28.07 c | 58193 | 435 365 5116 | 18987 11304 47 | 0.001 % | 30.59/30.69 c | 87389 | 394 365 5116 | 20886 1955 41 | 9.426 % | 30.89/30.95 c =============================================================================== 31.29/31.38 c core #5 31.29/31.38 c ============================[ Search Statistics ]============================== 31.29/31.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.29/31.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.29/31.38 c =============================================================================== 31.29/31.38 c | 0 | 505 429 6079 | 5000 0 nan | 0.000 % | 31.29/31.39 c | 100 | 505 429 6079 | 5500 100 29 | 0.000 % | 31.29/31.39 c | 250 | 505 429 6079 | 6050 250 36 | 0.000 % | 31.39/31.40 c | 475 | 505 429 6079 | 6655 475 33 | 0.000 % | 31.39/31.41 c | 813 | 505 429 6079 | 7320 813 31 | 0.000 % | 31.39/31.43 c | 1319 | 505 429 6079 | 8052 1319 31 | 0.000 % | 31.39/31.46 c | 2078 | 505 429 6079 | 8857 2078 32 | 0.000 % | 31.49/31.51 c | 3217 | 505 429 6079 | 9743 3217 33 | 0.000 % | 31.49/31.59 c | 4927 | 505 429 6079 | 10717 4927 35 | 0.000 % | 31.69/31.75 c | 7492 | 505 429 6079 | 11789 7492 38 | 0.000 % | 31.99/32.04 c | 11336 | 505 429 6079 | 12968 11336 39 | 0.000 % | 32.39/32.45 c | 17102 | 505 429 6079 | 14265 10573 40 | 0.000 % | 33.09/33.13 c | 25752 | 505 429 6079 | 15692 12043 44 | 0.000 % | 34.19/34.28 c | 38730 | 505 429 6079 | 17261 9228 46 | 0.000 % | 35.79/35.85 c | 58191 | 505 429 6079 | 18987 11320 45 | 0.000 % | 37.79/37.81 c =============================================================================== 38.20/38.20 c core #6 38.20/38.20 c ============================[ Search Statistics ]============================== 38.20/38.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.20/38.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.20/38.20 c =============================================================================== 38.20/38.20 c | 0 | 579 492 7037 | 5000 0 nan | 0.000 % | 38.20/38.21 c | 101 | 579 492 7037 | 5500 101 30 | 0.000 % | 38.20/38.22 c | 251 | 579 492 7037 | 6050 251 39 | 0.000 % | 38.20/38.23 c | 477 | 579 492 7037 | 6655 477 38 | 0.000 % | 38.20/38.24 c | 815 | 579 492 7037 | 7320 815 38 | 0.000 % | 38.20/38.26 c | 1321 | 579 492 7037 | 8052 1321 35 | 0.000 % | 38.20/38.29 c | 2084 | 579 492 7037 | 8857 2084 37 | 0.000 % | 38.30/38.34 c | 3223 | 579 492 7037 | 9743 3223 40 | 0.000 % | 38.39/38.43 c | 4935 | 579 492 7037 | 10717 4935 40 | 0.000 % | 38.50/38.57 c | 7500 | 579 492 7037 | 11789 7500 40 | 0.000 % | 38.80/38.84 c | 11344 | 579 492 7037 | 12968 11344 41 | 0.000 % | 39.19/39.27 c | 17110 | 579 492 7037 | 14265 10580 43 | 0.000 % | 40.00/40.03 c | 25760 | 579 492 7037 | 15692 12049 45 | 0.000 % | 41.19/41.23 c | 38734 | 579 492 7037 | 17261 9179 46 | 0.000 % | 42.79/42.89 c | 58195 | 579 492 7037 | 18987 11294 50 | 0.000 % | 45.69/45.74 c | 87388 | 579 492 7037 | 20886 11849 47 | 0.000 % | 46.69/46.75 c =============================================================================== 47.19/47.25 c core #7 47.19/47.25 c ============================[ Search Statistics ]============================== 47.19/47.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.19/47.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.19/47.25 c =============================================================================== 47.19/47.25 c | 0 | 655 555 7999 | 5000 0 nan | 0.000 % | 47.19/47.27 c | 104 | 655 555 7999 | 5500 104 27 | 0.000 % | 47.19/47.27 c | 255 | 655 555 7999 | 6050 255 29 | 0.000 % | 47.19/47.28 c | 481 | 655 555 7999 | 6655 481 29 | 0.000 % | 47.19/47.29 c | 819 | 655 555 7999 | 7320 819 32 | 0.000 % | 47.29/47.31 c | 1327 | 655 555 7999 | 8052 1327 33 | 0.000 % | 47.29/47.34 c | 2086 | 655 555 7999 | 8857 2086 34 | 0.000 % | 47.29/47.39 c | 3225 | 655 555 7999 | 9743 3225 36 | 0.000 % | 47.39/47.47 c | 4934 | 655 555 7999 | 10717 4934 37 | 0.000 % | 47.59/47.63 c | 7496 | 655 555 7999 | 11789 7496 38 | 0.000 % | 47.80/47.89 c | 11345 | 655 555 7999 | 12968 11345 40 | 0.000 % | 48.30/48.31 c | 17112 | 655 555 7999 | 14265 10582 43 | 0.000 % | 48.99/49.01 c | 25761 | 655 555 7999 | 15692 12051 46 | 0.000 % | 50.09/50.10 c | 38736 | 655 555 7999 | 17261 9226 45 | 0.000 % | 51.70/51.79 c | 58199 | 655 555 7999 | 18987 11329 46 | 0.000 % | 53.80/53.81 c =============================================================================== 54.19/54.20 c core #8 54.19/54.20 c ============================[ Search Statistics ]============================== 54.19/54.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.19/54.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.19/54.20 c =============================================================================== 54.19/54.20 c | 0 | 716 616 8916 | 5000 0 nan | 0.000 % | 54.19/54.22 c | 101 | 716 616 8916 | 5500 101 40 | 0.000 % | 54.19/54.22 c | 253 | 716 616 8916 | 6050 253 48 | 0.000 % | 54.19/54.23 c | 479 | 716 616 8916 | 6655 479 40 | 0.000 % | 54.19/54.25 c | 818 | 716 616 8916 | 7320 818 39 | 0.000 % | 54.19/54.26 c | 1325 | 716 616 8916 | 8052 1325 38 | 0.000 % | 54.29/54.30 c | 2084 | 716 616 8916 | 8857 2084 37 | 0.000 % | 54.29/54.35 c | 3224 | 716 616 8916 | 9743 3224 37 | 0.000 % | 54.39/54.46 c | 4933 | 716 616 8916 | 10717 4933 39 | 0.000 % | 54.59/54.62 c | 7496 | 716 616 8916 | 11789 7496 40 | 0.000 % | 54.90/54.91 c | 11342 | 716 616 8916 | 12968 11342 40 | 0.000 % | 55.29/55.36 c | 17108 | 716 616 8916 | 14265 10576 41 | 0.000 % | 55.99/56.03 c | 25759 | 716 616 8916 | 15692 12037 43 | 0.000 % | 57.10/57.11 c | 38734 | 716 616 8916 | 17261 9217 46 | 0.000 % | 58.69/58.79 c | 58198 | 716 616 8916 | 18987 11299 46 | 0.000 % | 61.49/61.52 c | 87396 | 716 616 8916 | 20886 11854 48 | 0.000 % | 65.29/65.33 c =============================================================================== 65.29/65.33 c #cores: 8 65.29/65.33 c Final Weight: 8 65.29/65.33 o 8 65.29/65.33 s OPTIMUM FOUND 65.29/65.33 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 65.29/65.33 c Total CPU time: 63.9843 s
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689903-1277898075/watcher-2689903-1277898075 -o /tmp/evaluation-result-2689903-1277898075/solver-2689903-1277898075 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689903-1277898075.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.85 1.97 1.99 3/178 11567 /proc/meminfo: memFree=31326420/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=2572 CPUtime=0 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 290 0 0 0 0 0 0 0 21 0 1 0 131104217 2633728 206 4089446400 134512640 135751879 4292311856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 643 206 143 303 0 338 0 [startup+0.0513511 s] /proc/loadavg: 1.85 1.97 1.99 3/178 11567 /proc/meminfo: memFree=31326420/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=3100 CPUtime=0.04 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 420 0 0 0 4 0 0 0 21 0 1 0 131104217 3174400 336 4089446400 134512640 135751879 4292311856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 775 336 143 303 0 470 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3100 [startup+0.100287 s] /proc/loadavg: 1.85 1.97 1.99 3/178 11567 /proc/meminfo: memFree=31326420/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=3496 CPUtime=0.09 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 532 0 0 0 9 0 0 0 21 0 1 0 131104217 3579904 448 4089446400 134512640 135751879 4292311856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 874 448 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300252 s] /proc/loadavg: 1.85 1.97 1.99 3/178 11567 /proc/meminfo: memFree=31326420/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=4816 CPUtime=0.29 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 863 0 0 0 29 0 0 0 21 0 1 0 131104217 4931584 779 4089446400 134512640 135751879 4292311856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 1204 779 143 303 0 899 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4816 [startup+0.70018 s] /proc/loadavg: 1.85 1.97 1.99 3/178 11567 /proc/meminfo: memFree=31326420/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=6948 CPUtime=0.69 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 1390 0 0 0 68 1 0 0 22 0 1 0 131104217 7114752 1306 4089446400 134512640 135751879 4292311856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 1737 1306 143 303 0 1432 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6948 [startup+1.50104 s] /proc/loadavg: 1.85 1.97 1.99 3/179 11568 /proc/meminfo: memFree=31319840/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=10776 CPUtime=1.5 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 2346 0 0 0 147 3 0 0 25 0 1 0 131104217 11034624 2262 4089446400 134512640 135751879 4292311856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 2694 2262 143 303 0 2389 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 10776 [startup+3.10075 s] /proc/loadavg: 1.85 1.97 1.99 3/179 11568 /proc/meminfo: memFree=31314888/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=18036 CPUtime=3.09 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 4167 0 0 0 303 6 0 0 25 0 1 0 131104217 18468864 4083 4089446400 134512640 135751879 4292311856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 4509 4083 143 303 0 4204 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18036 [startup+6.30018 s] /proc/loadavg: 1.86 1.97 1.99 3/179 11568 /proc/meminfo: memFree=31301000/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=26352 CPUtime=6.29 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 6239 0 0 0 616 13 0 0 25 0 1 0 131104217 26984448 6155 4089446400 134512640 135751879 4292311856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 6588 6155 146 303 0 6283 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26352 [startup+12.701 s] /proc/loadavg: 1.87 1.97 1.99 3/179 11569 /proc/meminfo: memFree=31283896/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=43248 CPUtime=12.69 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 10474 0 0 0 1243 26 0 0 25 0 1 0 131104217 44285952 10390 4089446400 134512640 135751879 4292311856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 10812 10390 146 303 0 10507 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43248 [startup+25.5008 s] /proc/loadavg: 1.90 1.97 1.99 3/179 11569 /proc/meminfo: memFree=31244252/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=77952 CPUtime=25.49 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 19142 0 0 0 2495 54 0 0 25 0 1 0 131104217 79822848 19058 4089446400 134512640 135751879 4292311856 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 19488 19058 146 303 0 19183 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77952 [startup+51.1002 s] /proc/loadavg: 1.93 1.97 1.99 3/179 11569 /proc/meminfo: memFree=31180800/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=138708 CPUtime=51.09 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 34338 0 0 0 5006 103 0 0 25 0 1 0 131104217 142036992 34254 4089446400 134512640 135751879 4292311856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 34677 34254 146 303 0 34372 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 138708 Solver just ended. Dumping a history of the last processes samples [startup+57.501 s] /proc/loadavg: 1.94 1.97 1.99 3/179 11569 /proc/meminfo: memFree=31165920/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=152976 CPUtime=57.49 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 37901 0 0 0 5631 118 0 0 25 0 1 0 131104217 156647424 37817 4089446400 134512640 135751879 4292311856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 38244 37817 146 303 0 37939 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 152976 [startup+60.7005 s] /proc/loadavg: 1.94 1.97 1.99 3/179 11569 /proc/meminfo: memFree=31155872/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=163104 CPUtime=60.69 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 40426 0 0 0 5944 125 0 0 25 0 1 0 131104217 167018496 40342 4089446400 134512640 135751879 4292311856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 40776 40342 146 303 0 40471 0 Current children cumulated CPU time (s) 60.69 Current children cumulated vsize (KiB) 163104 [startup+63.9009 s] /proc/loadavg: 1.95 1.97 1.99 3/179 11570 /proc/meminfo: memFree=31143592/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=175264 CPUtime=63.89 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 43446 0 0 0 6256 133 0 0 25 0 1 0 131104217 179470336 43362 4089446400 134512640 135751879 4292311856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 43816 43362 146 303 0 43511 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 175264 [startup+64.7008 s] /proc/loadavg: 1.95 1.97 1.99 3/179 11570 /proc/meminfo: memFree=31143592/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=178168 CPUtime=64.69 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 44200 0 0 0 6335 134 0 0 25 0 1 0 131104217 182444032 44116 4089446400 134512640 135751879 4292311856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 44542 44116 146 303 0 44237 0 Current children cumulated CPU time (s) 64.69 Current children cumulated vsize (KiB) 178168 [startup+65.1007 s] /proc/loadavg: 1.95 1.97 1.99 3/179 11570 /proc/meminfo: memFree=31139376/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=179884 CPUtime=65.1 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 44608 0 0 0 6375 135 0 0 25 0 1 0 131104217 184201216 44524 4089446400 134512640 135751879 4292311856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 44971 44524 146 303 0 44666 0 Current children cumulated CPU time (s) 65.1 Current children cumulated vsize (KiB) 179884 [startup+65.3007 s] /proc/loadavg: 1.95 1.97 1.99 3/179 11570 /proc/meminfo: memFree=31139376/32950904 swapFree=67111528/67111528 [pid=11567] ppid=11565 vsize=180544 CPUtime=65.29 /proc/11567/stat : 11567 (wbo1.4a) R 11565 11567 11542 0 -1 4202496 44787 0 0 0 6394 135 0 0 25 0 1 0 131104217 184877056 44703 4089446400 134512640 135751879 4292311856 18446744073709551615 134602448 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11567/statm: 45136 44703 146 303 0 44831 0 Current children cumulated CPU time (s) 65.29 Current children cumulated vsize (KiB) 180544 Child status: 0 Real time (s): 65.3426 CPU time (s): 65.3441 CPU user time (s): 63.9843 CPU system time (s): 1.35979 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 180544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 63.9843 system time used= 1.35979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44809 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= 5 involuntary context switches= 61 runsolver used 0.098984 second user time and 0.210967 second system time The end
Begin job on node121 at 2010-06-30 13:41:15 IDJOB=2689903 IDBENCH=78825 IDSOLVER=1200 FILE ID=node121/2689903-1277898075 PBS_JOBID= 11197191 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224255--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689903-1277898075/watcher-2689903-1277898075 -o /tmp/evaluation-result-2689903-1277898075/solver-2689903-1277898075 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689903-1277898075.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 51ec66e2af29a72ddad86a3465d2cbc7 RANDOM SEED=313814386 node121.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.876 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.75 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.876 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.23 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.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 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.876 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.876 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.82 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.876 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.876 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: 32950904 kB MemFree: 31327064 kB Buffers: 181020 kB Cached: 1099896 kB SwapCached: 0 kB Active: 698812 kB Inactive: 780020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 31327064 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 197716 kB Mapped: 16096 kB Slab: 80548 kB PageTables: 5372 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 343028 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node121 at 2010-06-30 13:42:20