Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 69.6934 | 69.6922 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923--soft-33-100-0.wbo |
MD5SUM | f4aa595d615e9582cb764bb4e9fc2d88 |
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.264959 |
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 | 1230 |
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-2689847-1277896522.wbo. 0.00/0.00 c Instance file HOME/instance-2689847-1277896522.wbo 0.00/0.00 c File size is 10303 bytes. 0.00/0.00 c Highest Coefficient sum: 1230 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 33 | 0.004 % | 0.00/0.00 c | 253 | 169 101 1205 | 6050 253 30 | 0.004 % | 0.00/0.01 c | 479 | 169 101 1205 | 6655 479 31 | 0.004 % | 0.00/0.02 c | 816 | 169 101 1205 | 7320 816 30 | 0.004 % | 0.02/0.03 c | 1323 | 169 101 1205 | 8052 1323 31 | 0.004 % | 0.02/0.06 c | 2084 | 169 101 1205 | 8857 2084 32 | 0.004 % | 0.09/0.10 c | 3223 | 169 101 1205 | 9743 3223 35 | 0.004 % | 0.09/0.18 c | 4932 | 169 101 1205 | 10717 4932 36 | 0.004 % | 0.29/0.32 c | 7494 | 169 101 1205 | 11789 7494 37 | 0.004 % | 0.49/0.59 c | 11338 | 169 101 1205 | 12968 11338 39 | 0.004 % | 1.00/1.02 c | 17104 | 169 101 1205 | 14265 10576 42 | 0.004 % | 1.59/1.62 c | 25754 | 169 101 1205 | 15692 12034 44 | 0.004 % | 2.59/2.61 c | 38728 | 169 101 1205 | 17261 9210 46 | 0.154 % | 3.09/3.11 c =============================================================================== 3.20/3.30 c core #1 3.20/3.30 c ============================[ Search Statistics ]============================== 3.20/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.30 c =============================================================================== 3.20/3.30 c | 0 | 236 169 2203 | 5000 0 nan | 0.000 % | 3.29/3.31 c | 101 | 236 169 2203 | 5500 101 29 | 0.002 % | 3.29/3.31 c | 252 | 236 169 2203 | 6050 252 27 | 0.002 % | 3.29/3.32 c | 477 | 236 169 2203 | 6655 477 28 | 0.002 % | 3.29/3.33 c | 814 | 236 169 2203 | 7320 814 30 | 0.002 % | 3.29/3.34 c | 1320 | 236 169 2203 | 8052 1320 29 | 0.002 % | 3.29/3.37 c | 2079 | 236 169 2203 | 8857 2079 31 | 0.002 % | 3.39/3.41 c | 3218 | 236 169 2203 | 9743 3218 33 | 0.002 % | 3.39/3.48 c | 4926 | 236 169 2203 | 10717 4926 35 | 0.002 % | 3.59/3.62 c | 7488 | 236 169 2203 | 11789 7488 37 | 0.002 % | 3.79/3.89 c | 11332 | 236 169 2203 | 12968 11332 39 | 0.002 % | 4.30/4.32 c | 17099 | 236 169 2203 | 14265 10554 43 | 0.002 % | 4.99/5.03 c | 25748 | 236 169 2203 | 15692 12027 41 | 0.002 % | 5.99/6.08 c | 38722 | 236 169 2203 | 17261 9210 44 | 0.002 % | 7.49/7.57 c | 58183 | 211 169 2203 | 18987 2322 38 | 10.595 % | 7.89/7.94 c =============================================================================== 8.19/8.22 c core #2 8.19/8.22 c ============================[ Search Statistics ]============================== 8.19/8.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.22 c =============================================================================== 8.19/8.22 c | 0 | 302 235 3176 | 5000 0 nan | 0.000 % | 8.19/8.23 c | 104 | 302 235 3176 | 5500 104 33 | 0.001 % | 8.19/8.23 c | 254 | 302 235 3176 | 6050 254 34 | 0.001 % | 8.19/8.24 c | 480 | 302 235 3176 | 6655 480 32 | 0.001 % | 8.19/8.25 c | 818 | 302 235 3176 | 7320 818 34 | 0.001 % | 8.19/8.27 c | 1324 | 302 235 3176 | 8052 1324 34 | 0.001 % | 8.29/8.30 c | 2085 | 302 235 3176 | 8857 2085 37 | 0.001 % | 8.29/8.35 c | 3224 | 302 235 3176 | 9743 3224 38 | 0.001 % | 8.39/8.44 c | 4932 | 302 235 3176 | 10717 4932 38 | 0.001 % | 8.49/8.59 c | 7494 | 302 235 3176 | 11789 7494 39 | 0.001 % | 8.79/8.86 c | 11338 | 302 235 3176 | 12968 11338 39 | 0.001 % | 9.29/9.30 c | 17104 | 302 235 3176 | 14265 10577 41 | 0.001 % | 9.89/9.99 c | 25753 | 302 235 3176 | 15692 12033 45 | 0.001 % | 11.19/11.21 c | 38727 | 302 235 3176 | 17261 9217 43 | 0.001 % | 12.69/12.78 c | 58189 | 302 235 3176 | 18987 11295 46 | 0.001 % | 14.49/14.55 c =============================================================================== 14.89/14.94 c core #3 14.89/14.94 c ============================[ Search Statistics ]============================== 14.89/14.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.89/14.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.89/14.94 c =============================================================================== 14.89/14.94 c | 0 | 371 301 4155 | 5000 0 nan | 0.000 % | 14.89/14.95 c | 100 | 371 301 4155 | 5500 100 28 | 0.001 % | 14.89/14.96 c | 250 | 371 301 4155 | 6050 250 34 | 0.001 % | 14.89/14.96 c | 475 | 371 301 4155 | 6655 475 34 | 0.001 % | 14.89/14.98 c | 813 | 371 301 4155 | 7320 813 33 | 0.001 % | 14.89/14.99 c | 1321 | 371 301 4155 | 8052 1321 35 | 0.001 % | 14.99/15.02 c | 2081 | 371 301 4155 | 8857 2081 34 | 0.001 % | 14.99/15.07 c | 3222 | 371 301 4155 | 9743 3222 35 | 0.001 % | 15.09/15.15 c | 4930 | 371 301 4155 | 10717 4930 36 | 0.001 % | 15.19/15.29 c | 7493 | 371 301 4155 | 11789 7493 36 | 0.001 % | 15.49/15.55 c | 11337 | 371 301 4155 | 12968 11337 38 | 0.001 % | 15.89/15.95 c | 17103 | 371 301 4155 | 14265 10559 41 | 0.001 % | 16.59/16.62 c | 25755 | 371 301 4155 | 15692 12037 45 | 0.001 % | 17.79/17.81 c | 38730 | 371 301 4155 | 17261 9212 46 | 0.001 % | 19.59/19.61 c | 58193 | 371 301 4155 | 18987 11311 48 | 0.001 % | 22.29/22.31 c | 87386 | 371 301 4155 | 20886 11862 48 | 0.031 % | 22.69/22.72 c =============================================================================== 23.19/23.21 c core #4 23.19/23.21 c ============================[ Search Statistics ]============================== 23.19/23.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.19/23.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.19/23.21 c =============================================================================== 23.19/23.21 c | 0 | 435 366 5119 | 5000 0 nan | 0.000 % | 23.19/23.23 c | 101 | 435 366 5119 | 5500 101 31 | 0.001 % | 23.19/23.23 c | 253 | 435 366 5119 | 6050 253 41 | 0.001 % | 23.19/23.24 c | 478 | 435 366 5119 | 6655 478 38 | 0.001 % | 23.19/23.25 c | 815 | 435 366 5119 | 7320 815 38 | 0.001 % | 23.19/23.27 c | 1321 | 435 366 5119 | 8052 1321 38 | 0.001 % | 23.29/23.30 c | 2081 | 435 366 5119 | 8857 2081 38 | 0.001 % | 23.29/23.35 c | 3222 | 435 366 5119 | 9743 3222 37 | 0.001 % | 23.39/23.43 c | 4930 | 435 366 5119 | 10717 4930 36 | 0.001 % | 23.49/23.58 c | 7492 | 435 366 5119 | 11789 7492 38 | 0.001 % | 23.79/23.85 c | 11336 | 435 366 5119 | 12968 11336 38 | 0.001 % | 24.29/24.30 c | 17103 | 435 366 5119 | 14265 10586 40 | 0.001 % | 25.00/25.01 c | 25754 | 435 366 5119 | 15692 12059 42 | 0.001 % | 26.09/26.19 c | 38730 | 435 366 5119 | 17261 9241 44 | 0.001 % | 27.79/27.86 c | 58192 | 435 366 5119 | 18987 11368 44 | 0.001 % | 30.00/30.02 c =============================================================================== 30.39/30.45 c core #5 30.39/30.45 c ============================[ Search Statistics ]============================== 30.39/30.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.39/30.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.39/30.45 c =============================================================================== 30.39/30.45 c | 0 | 505 430 6082 | 5000 0 nan | 0.000 % | 30.39/30.46 c | 100 | 505 430 6082 | 5500 100 30 | 0.000 % | 30.39/30.47 c | 250 | 505 430 6082 | 6050 250 35 | 0.000 % | 30.39/30.48 c | 475 | 505 430 6082 | 6655 475 35 | 0.000 % | 30.39/30.49 c | 812 | 505 430 6082 | 7320 812 35 | 0.000 % | 30.49/30.51 c | 1320 | 505 430 6082 | 8052 1320 34 | 0.000 % | 30.49/30.54 c | 2085 | 505 430 6082 | 8857 2085 34 | 0.000 % | 30.49/30.59 c | 3227 | 505 430 6082 | 9743 3227 36 | 0.000 % | 30.59/30.67 c | 4935 | 505 430 6082 | 10717 4935 36 | 0.000 % | 30.80/30.81 c | 7497 | 505 430 6082 | 11789 7497 37 | 0.000 % | 30.99/31.08 c | 11341 | 505 430 6082 | 12968 11341 39 | 0.000 % | 31.49/31.54 c | 17108 | 505 430 6082 | 14265 10576 43 | 0.000 % | 32.19/32.26 c | 25758 | 505 430 6082 | 15692 12048 44 | 0.000 % | 33.19/33.29 c | 38732 | 505 430 6082 | 17261 9228 47 | 0.000 % | 34.99/35.04 c | 58193 | 505 430 6082 | 18987 11323 47 | 0.000 % | 37.79/37.86 c | 87387 | 505 430 6082 | 20886 11871 51 | 0.000 % | 41.69/41.72 c =============================================================================== 42.39/42.40 c core #6 42.39/42.40 c ============================[ Search Statistics ]============================== 42.39/42.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.39/42.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.39/42.40 c =============================================================================== 42.39/42.40 c | 0 | 581 493 7044 | 5000 0 nan | 0.000 % | 42.39/42.42 c | 102 | 581 493 7044 | 5500 102 31 | 0.000 % | 42.39/42.43 c | 253 | 581 493 7044 | 6050 253 31 | 0.000 % | 42.39/42.43 c | 480 | 581 493 7044 | 6655 480 32 | 0.000 % | 42.39/42.45 c | 818 | 581 493 7044 | 7320 818 33 | 0.000 % | 42.39/42.47 c | 1326 | 581 493 7044 | 8052 1326 34 | 0.000 % | 42.49/42.50 c | 2087 | 581 493 7044 | 8857 2087 35 | 0.000 % | 42.49/42.56 c | 3226 | 581 493 7044 | 9743 3226 34 | 0.000 % | 42.59/42.65 c | 4936 | 581 493 7044 | 10717 4936 35 | 0.000 % | 42.80/42.82 c | 7498 | 581 493 7044 | 11789 7498 39 | 0.000 % | 43.09/43.12 c | 11342 | 581 493 7044 | 12968 11342 40 | 0.000 % | 43.50/43.57 c | 17108 | 581 493 7044 | 14265 10579 40 | 0.000 % | 44.29/44.39 c | 25760 | 581 493 7044 | 15692 12039 42 | 0.000 % | 45.49/45.55 c | 38734 | 581 493 7044 | 17261 9220 45 | 0.000 % | 47.30/47.33 c | 58195 | 581 493 7044 | 18987 11311 45 | 0.000 % | 50.09/50.19 c | 87390 | 540 493 7044 | 20886 2845 45 | 7.057 % | 50.99/51.06 c =============================================================================== 51.49/51.59 c core #7 51.49/51.59 c ============================[ Search Statistics ]============================== 51.49/51.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.49/51.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.49/51.59 c =============================================================================== 51.49/51.59 c | 0 | 658 556 8008 | 5000 0 nan | 0.000 % | 51.60/51.61 c | 100 | 658 556 8008 | 5500 100 36 | 0.000 % | 51.60/51.62 c | 251 | 658 556 8008 | 6050 251 33 | 0.000 % | 51.60/51.63 c | 478 | 658 556 8008 | 6655 478 35 | 0.000 % | 51.60/51.64 c | 816 | 658 556 8008 | 7320 816 39 | 0.000 % | 51.60/51.66 c | 1325 | 658 556 8008 | 8052 1325 40 | 0.000 % | 51.60/51.69 c | 2084 | 658 556 8008 | 8857 2084 41 | 0.000 % | 51.70/51.75 c | 3226 | 658 556 8008 | 9743 3226 41 | 0.000 % | 51.79/51.85 c | 4936 | 658 556 8008 | 10717 4936 42 | 0.000 % | 51.89/51.99 c | 7499 | 658 556 8008 | 11789 7499 42 | 0.000 % | 52.20/52.28 c | 11345 | 658 556 8008 | 12968 11345 42 | 0.000 % | 52.79/52.80 c | 17111 | 658 556 8008 | 14265 10574 43 | 0.000 % | 53.59/53.63 c | 25764 | 658 556 8008 | 15692 12044 43 | 0.000 % | 54.89/54.94 c | 38740 | 658 556 8008 | 17261 9221 47 | 0.000 % | 56.69/56.79 c | 58201 | 658 556 8008 | 18987 11318 47 | 0.000 % | 59.40/59.47 c | 87393 | 658 556 8008 | 20886 11870 47 | 0.000 % | 62.49/62.60 c =============================================================================== 63.19/63.29 c core #8 63.19/63.29 c ============================[ Search Statistics ]============================== 63.19/63.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.19/63.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.19/63.29 c =============================================================================== 63.19/63.29 c | 0 | 719 617 8925 | 5000 0 nan | 0.000 % | 63.29/63.31 c | 102 | 719 617 8925 | 5500 102 30 | 0.000 % | 63.29/63.32 c | 252 | 719 617 8925 | 6050 252 32 | 0.000 % | 63.29/63.33 c | 479 | 719 617 8925 | 6655 479 34 | 0.000 % | 63.29/63.34 c | 816 | 719 617 8925 | 7320 816 33 | 0.000 % | 63.29/63.36 c | 1322 | 719 617 8925 | 8052 1322 34 | 0.000 % | 63.29/63.39 c | 2082 | 719 617 8925 | 8857 2082 36 | 0.000 % | 63.39/63.45 c | 3221 | 719 617 8925 | 9743 3221 36 | 0.000 % | 63.49/63.55 c | 4929 | 719 617 8925 | 10717 4929 36 | 0.000 % | 63.70/63.72 c | 7492 | 719 617 8925 | 11789 7492 36 | 0.000 % | 63.99/64.02 c | 11336 | 719 617 8925 | 12968 11336 38 | 0.000 % | 64.39/64.47 c | 17102 | 719 617 8925 | 14265 10563 41 | 0.000 % | 65.09/65.19 c | 25753 | 719 617 8925 | 15692 12020 42 | 0.000 % | 66.30/66.36 c | 38727 | 719 617 8925 | 17261 9203 45 | 0.000 % | 67.99/68.06 c | 58188 | 719 617 8925 | 18987 11285 50 | 0.000 % | 69.59/69.68 c =============================================================================== 69.59/69.68 c #cores: 8 69.59/69.68 c Final Weight: 8 69.59/69.68 o 8 69.59/69.68 s OPTIMUM FOUND 69.59/69.68 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 69.59/69.68 c Total CPU time: 68.7615 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-2689847-1277896522/watcher-2689847-1277896522 -o /tmp/evaluation-result-2689847-1277896522/solver-2689847-1277896522 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689847-1277896522.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.28 2.06 2.02 4/178 14418 /proc/meminfo: memFree=31375784/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=2568 CPUtime=0 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 286 0 0 0 0 0 0 0 25 0 1 0 130947429 2629632 201 4089446400 134512640 135751879 4293752032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14418/statm: 642 201 143 303 0 337 0 [startup+0.0334271 s] /proc/loadavg: 2.28 2.06 2.02 4/178 14418 /proc/meminfo: memFree=31375784/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=2832 CPUtime=0.02 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 357 0 0 0 2 0 0 0 25 0 1 0 130947429 2899968 272 4089446400 134512640 135751879 4293752032 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14418/statm: 708 272 143 303 0 403 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2832 [startup+0.100403 s] /proc/loadavg: 2.28 2.06 2.02 4/178 14418 /proc/meminfo: memFree=31375784/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=3492 CPUtime=0.09 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 507 0 0 0 9 0 0 0 25 0 1 0 130947429 3575808 422 4089446400 134512640 135751879 4293752032 18446744073709551615 134610732 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14418/statm: 873 422 143 303 0 568 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3492 [startup+0.300365 s] /proc/loadavg: 2.28 2.06 2.02 4/178 14418 /proc/meminfo: memFree=31375784/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=4680 CPUtime=0.29 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 824 0 0 0 29 0 0 0 25 0 1 0 130947429 4792320 739 4089446400 134512640 135751879 4293752032 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14418/statm: 1170 739 143 303 0 865 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4680 [startup+0.700292 s] /proc/loadavg: 2.28 2.06 2.02 4/178 14418 /proc/meminfo: memFree=31375784/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=6584 CPUtime=0.69 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 1280 0 0 0 68 1 0 0 25 0 1 0 130947429 6742016 1195 4089446400 134512640 135751879 4293752032 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14418/statm: 1646 1195 143 303 0 1341 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6584 [startup+1.50014 s] /proc/loadavg: 2.28 2.06 2.02 3/179 14419 /proc/meminfo: memFree=31369948/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=10412 CPUtime=1.48 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 2235 0 0 0 146 2 0 0 25 0 1 0 130947429 10661888 2150 4089446400 134512640 135751879 4293752032 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14418/statm: 2603 2150 143 303 0 2298 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10412 [startup+3.10085 s] /proc/loadavg: 2.28 2.06 2.02 3/179 14419 /proc/meminfo: memFree=31364740/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=17676 CPUtime=3.09 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 4054 0 0 0 304 5 0 0 25 0 1 0 130947429 18100224 3969 4089446400 134512640 135751879 4293752032 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14418/statm: 4419 3969 143 303 0 4114 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17676 [startup+6.30023 s] /proc/loadavg: 2.26 2.06 2.02 3/179 14419 /proc/meminfo: memFree=31356764/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=25204 CPUtime=6.29 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 5947 0 0 0 619 10 0 0 25 0 1 0 130947429 25808896 5862 4089446400 134512640 135751879 4293752032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14418/statm: 6301 5862 146 303 0 5996 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25204 [startup+12.701 s] /proc/loadavg: 2.24 2.06 2.02 3/179 14419 /proc/meminfo: memFree=31337460/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=43420 CPUtime=12.69 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 10503 0 0 0 1250 19 0 0 25 0 1 0 130947429 44462080 10418 4089446400 134512640 135751879 4293752032 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14418/statm: 10855 10418 146 303 0 10550 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43420 [startup+25.5006 s] /proc/loadavg: 2.18 2.06 2.02 3/179 14420 /proc/meminfo: memFree=31302696/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=75476 CPUtime=25.49 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 18536 0 0 0 2514 35 0 0 25 0 1 0 130947429 77287424 18451 4089446400 134512640 135751879 4293752032 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14418/statm: 18869 18451 146 303 0 18564 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 75476 [startup+51.1008 s] /proc/loadavg: 2.12 2.05 2.01 3/179 14420 /proc/meminfo: memFree=31243632/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=137048 CPUtime=51.09 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 33923 0 0 0 5043 66 0 0 25 0 1 0 130947429 140337152 33838 4089446400 134512640 135751879 4293752032 18446744073709551615 134516394 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14418/statm: 34262 33838 146 303 0 33957 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 137048 Solver just ended. Dumping a history of the last processes samples [startup+57.5006 s] /proc/loadavg: 2.11 2.05 2.01 3/179 14420 /proc/meminfo: memFree=31233212/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=145508 CPUtime=57.49 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 36034 0 0 0 5676 73 0 0 25 0 1 0 130947429 149000192 35949 4089446400 134512640 135751879 4293752032 18446744073709551615 134616465 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14418/statm: 36377 35949 146 303 0 36072 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 145508 [startup+63.9004 s] /proc/loadavg: 2.17 2.07 2.02 2/177 14421 /proc/meminfo: memFree=31255048/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=168900 CPUtime=63.89 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 41872 0 0 0 6309 80 0 0 25 0 1 0 130947429 172953600 41787 4089446400 134512640 135751879 4293752032 18446744073709551615 134606351 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14418/statm: 42225 41787 146 303 0 41920 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 168900 [startup+67.1068 s] /proc/loadavg: 2.17 2.07 2.02 3/197 14466 /proc/meminfo: memFree=31227104/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=169296 CPUtime=67.1 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 41970 0 0 0 6624 86 0 0 25 0 1 0 130947429 173359104 41885 4089446400 134512640 135751879 4293752032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14418/statm: 42324 41885 146 303 0 42019 0 Current children cumulated CPU time (s) 67.1 Current children cumulated vsize (KiB) 169296 [startup+68.7005 s] /proc/loadavg: 2.16 2.06 2.02 3/197 14466 /proc/meminfo: memFree=31224432/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=173124 CPUtime=68.7 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 42922 0 0 0 6780 90 0 0 25 0 1 0 130947429 177278976 42837 4089446400 134512640 135751879 4293752032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14418/statm: 43281 42837 146 303 0 42976 0 Current children cumulated CPU time (s) 68.7 Current children cumulated vsize (KiB) 173124 [startup+69.1004 s] /proc/loadavg: 2.16 2.06 2.02 3/197 14466 /proc/meminfo: memFree=31224432/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=174048 CPUtime=69.09 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 43150 0 0 0 6819 90 0 0 25 0 1 0 130947429 178225152 43065 4089446400 134512640 135751879 4293752032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14418/statm: 43512 43065 146 303 0 43207 0 Current children cumulated CPU time (s) 69.09 Current children cumulated vsize (KiB) 174048 [startup+69.5003 s] /proc/loadavg: 2.16 2.06 2.02 3/197 14466 /proc/meminfo: memFree=31220712/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=174972 CPUtime=69.49 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 43400 0 0 0 6858 91 0 0 25 0 1 0 130947429 179171328 43315 4089446400 134512640 135751879 4293752032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14418/statm: 43743 43315 146 303 0 43438 0 Current children cumulated CPU time (s) 69.49 Current children cumulated vsize (KiB) 174972 [startup+69.6003 s] /proc/loadavg: 2.16 2.06 2.02 3/197 14466 /proc/meminfo: memFree=31220712/32951124 swapFree=67111528/67111528 [pid=14418] ppid=14416 vsize=175368 CPUtime=69.59 /proc/14418/stat : 14418 (wbo1.4a) R 14416 14418 12845 0 -1 4202496 43470 0 0 0 6867 92 0 0 25 0 1 0 130947429 179576832 43385 4089446400 134512640 135751879 4293752032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14418/statm: 43842 43385 146 303 0 43537 0 Current children cumulated CPU time (s) 69.59 Current children cumulated vsize (KiB) 175368 Child status: 0 Real time (s): 69.6922 CPU time (s): 69.6934 CPU user time (s): 68.7615 CPU system time (s): 0.931858 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 175368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.7615 system time used= 0.931858 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43527 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= 1 involuntary context switches= 230 runsolver used 0.113982 second user time and 0.214967 second system time The end
Begin job on node141 at 2010-06-30 13:15:22 IDJOB=2689847 IDBENCH=78787 IDSOLVER=1200 FILE ID=node141/2689847-1277896522 PBS_JOBID= 11197072 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.1111212923--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-2689847-1277896522/watcher-2689847-1277896522 -o /tmp/evaluation-result-2689847-1277896522/solver-2689847-1277896522 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689847-1277896522.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f4aa595d615e9582cb764bb4e9fc2d88 RANDOM SEED=281410040 node141.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.788 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.57 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.788 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.68 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.788 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.83 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.788 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.788 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.80 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.788 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.788 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.788 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: 31376312 kB Buffers: 179716 kB Cached: 1140868 kB SwapCached: 0 kB Active: 680260 kB Inactive: 753028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31376312 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2704 kB Writeback: 0 kB AnonPages: 112776 kB Mapped: 15268 kB Slab: 78712 kB PageTables: 4800 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 258888 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 node141 at 2010-06-30 13:16:32