Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 59.6949 | 59.7013 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348--soft-33-100-0.wbo |
MD5SUM | 137575c353ea976a2596969302480bf9 |
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 | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.405937 |
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 | 64 |
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 | 3426 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 3425 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1212 |
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-2689917-1277898517.wbo. 0.00/0.00 c Instance file HOME/instance-2689917-1277898517.wbo 0.00/0.00 c File size is 10282 bytes. 0.00/0.00 c Highest Coefficient sum: 1212 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 | 101 | 169 101 1205 | 5500 101 28 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 32 | 0.004 % | 0.00/0.01 c | 477 | 169 101 1205 | 6655 477 33 | 0.004 % | 0.00/0.02 c | 814 | 169 101 1205 | 7320 814 32 | 0.004 % | 0.00/0.03 c | 1320 | 169 101 1205 | 8052 1320 35 | 0.004 % | 0.00/0.06 c | 2080 | 169 101 1205 | 8857 2080 35 | 0.004 % | 0.09/0.10 c | 3220 | 169 101 1205 | 9743 3220 37 | 0.004 % | 0.09/0.18 c | 4928 | 169 101 1205 | 10717 4928 39 | 0.004 % | 0.29/0.30 c | 7490 | 169 101 1205 | 11789 7490 41 | 0.004 % | 0.49/0.56 c | 11334 | 169 101 1205 | 12968 11334 41 | 0.004 % | 0.89/0.93 c | 17100 | 169 101 1205 | 14265 10568 43 | 0.004 % | 1.59/1.64 c | 25750 | 169 101 1205 | 15692 12029 47 | 0.004 % | 2.59/2.65 c | 38725 | 169 101 1205 | 17261 9210 47 | 0.004 % | 4.10/4.12 c | 58187 | 169 101 1205 | 18987 11294 51 | 0.004 % | 5.00/5.00 c =============================================================================== 5.30/5.30 c core #1 5.30/5.30 c ============================[ Search Statistics ]============================== 5.30/5.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.30/5.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.30/5.30 c =============================================================================== 5.30/5.30 c | 0 | 228 164 2127 | 5000 0 nan | 0.000 % | 5.30/5.30 c | 101 | 228 164 2127 | 5500 101 28 | 0.002 % | 5.30/5.31 c | 252 | 228 164 2127 | 6050 252 30 | 0.002 % | 5.30/5.31 c | 478 | 228 164 2127 | 6655 478 36 | 0.002 % | 5.30/5.32 c | 815 | 228 164 2127 | 7320 815 37 | 0.002 % | 5.30/5.34 c | 1322 | 228 164 2127 | 8052 1322 35 | 0.002 % | 5.30/5.36 c | 2083 | 228 164 2127 | 8857 2083 34 | 0.002 % | 5.40/5.40 c | 3222 | 228 164 2127 | 9743 3222 34 | 0.002 % | 5.40/5.48 c | 4933 | 228 164 2127 | 10717 4933 36 | 0.002 % | 5.59/5.61 c | 7496 | 228 164 2127 | 11789 7496 37 | 0.002 % | 5.79/5.84 c | 11341 | 228 164 2127 | 12968 11341 38 | 0.002 % | 6.19/6.23 c | 17107 | 228 164 2127 | 14265 10570 42 | 0.002 % | 6.79/6.85 c | 25759 | 228 164 2127 | 15692 12031 45 | 0.002 % | 7.79/7.89 c | 38736 | 228 164 2127 | 17261 9219 46 | 0.002 % | 9.49/9.50 c | 58197 | 191 164 2127 | 18987 1185 37 | 16.230 % | 9.69/9.70 c =============================================================================== 9.98/10.00 c core #2 9.98/10.00 c ============================[ Search Statistics ]============================== 9.98/10.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.98/10.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.98/10.00 c =============================================================================== 9.98/10.00 c | 0 | 286 226 3035 | 5000 0 nan | 0.000 % | 9.98/10.00 c | 101 | 286 226 3035 | 5500 101 27 | 0.001 % | 9.98/10.01 c | 252 | 286 226 3035 | 6050 252 30 | 0.001 % | 9.98/10.02 c | 477 | 286 226 3035 | 6655 477 32 | 0.001 % | 9.98/10.03 c | 816 | 286 226 3035 | 7320 816 31 | 0.001 % | 9.98/10.05 c | 1323 | 286 226 3035 | 8052 1323 33 | 0.001 % | 9.98/10.08 c | 2083 | 286 226 3035 | 8857 2083 32 | 0.001 % | 10.09/10.12 c | 3222 | 286 226 3035 | 9743 3222 34 | 0.001 % | 10.19/10.21 c | 4930 | 286 226 3035 | 10717 4930 36 | 0.001 % | 10.29/10.36 c | 7492 | 286 226 3035 | 11789 7492 38 | 0.001 % | 10.59/10.67 c | 11337 | 286 226 3035 | 12968 11337 38 | 0.001 % | 11.09/11.12 c | 17104 | 286 226 3035 | 14265 10571 40 | 0.001 % | 11.79/11.84 c | 25754 | 286 226 3035 | 15692 12034 41 | 0.001 % | 12.79/12.89 c | 38728 | 286 226 3035 | 17261 9171 45 | 0.001 % | 14.69/14.70 c | 58189 | 286 226 3035 | 18987 11274 44 | 0.001 % | 15.49/15.58 c =============================================================================== 15.89/15.92 c core #3 15.89/15.92 c ============================[ Search Statistics ]============================== 15.89/15.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.89/15.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.89/15.92 c =============================================================================== 15.89/15.92 c | 0 | 345 287 3932 | 5000 0 nan | 0.000 % | 15.89/15.92 c | 101 | 345 287 3932 | 5500 101 24 | 0.001 % | 15.89/15.93 c | 251 | 345 287 3932 | 6050 251 30 | 0.001 % | 15.89/15.94 c | 476 | 345 287 3932 | 6655 476 33 | 0.001 % | 15.89/15.95 c | 816 | 345 287 3932 | 7320 816 34 | 0.001 % | 15.89/15.97 c | 1323 | 345 287 3932 | 8052 1323 36 | 0.001 % | 15.98/16.00 c | 2083 | 345 287 3932 | 8857 2083 37 | 0.001 % | 15.98/16.05 c | 3223 | 345 287 3932 | 9743 3223 35 | 0.001 % | 16.08/16.13 c | 4931 | 345 287 3932 | 10717 4931 36 | 0.001 % | 16.18/16.28 c | 7493 | 345 287 3932 | 11789 7493 37 | 0.001 % | 16.49/16.55 c | 11342 | 345 287 3932 | 12968 11342 39 | 0.001 % | 16.99/17.03 c | 17109 | 345 287 3932 | 14265 10583 42 | 0.001 % | 17.79/17.82 c | 25759 | 345 287 3932 | 15692 12053 47 | 0.001 % | 18.99/19.08 c | 38736 | 345 287 3932 | 17261 9238 45 | 0.001 % | 20.79/20.84 c | 58199 | 345 287 3932 | 18987 11331 45 | 0.001 % | 21.90/21.94 c =============================================================================== 22.29/22.30 c core #4 22.29/22.30 c ============================[ Search Statistics ]============================== 22.29/22.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.29/22.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.29/22.30 c =============================================================================== 22.29/22.30 c | 0 | 407 348 4835 | 5000 0 nan | 0.000 % | 22.29/22.31 c | 101 | 407 348 4835 | 5500 101 29 | 0.001 % | 22.29/22.32 c | 254 | 407 348 4835 | 6050 254 29 | 0.001 % | 22.29/22.33 c | 483 | 407 348 4835 | 6655 483 33 | 0.001 % | 22.29/22.34 c | 821 | 407 348 4835 | 7320 821 34 | 0.001 % | 22.29/22.36 c | 1330 | 407 348 4835 | 8052 1330 36 | 0.001 % | 22.29/22.39 c | 2089 | 407 348 4835 | 8857 2089 36 | 0.001 % | 22.38/22.44 c | 3229 | 407 348 4835 | 9743 3229 36 | 0.001 % | 22.48/22.53 c | 4940 | 407 348 4835 | 10717 4940 36 | 0.001 % | 22.58/22.68 c | 7502 | 407 348 4835 | 11789 7502 38 | 0.001 % | 22.89/22.98 c | 11347 | 407 348 4835 | 12968 11347 39 | 0.001 % | 23.38/23.45 c | 17113 | 407 348 4835 | 14265 10581 43 | 0.001 % | 24.09/24.16 c | 25762 | 407 348 4835 | 15692 12043 44 | 0.001 % | 25.29/25.39 c | 38738 | 407 348 4835 | 17261 9224 44 | 0.001 % | 27.18/27.29 c | 58200 | 407 348 4835 | 18987 11328 42 | 0.043 % | 27.49/27.53 c =============================================================================== 27.79/27.83 c core #5 27.79/27.83 c ============================[ Search Statistics ]============================== 27.79/27.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.79/27.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.79/27.83 c =============================================================================== 27.79/27.83 c | 0 | 463 408 5716 | 5000 0 nan | 0.000 % | 27.79/27.84 c | 100 | 463 408 5716 | 5500 100 29 | 0.000 % | 27.79/27.85 c | 251 | 463 408 5716 | 6050 251 32 | 0.000 % | 27.79/27.85 c | 476 | 463 408 5716 | 6655 476 32 | 0.000 % | 27.79/27.87 c | 814 | 463 408 5716 | 7320 814 33 | 0.000 % | 27.79/27.88 c | 1322 | 463 408 5716 | 8052 1322 33 | 0.000 % | 27.88/27.91 c | 2082 | 463 408 5716 | 8857 2082 35 | 0.000 % | 27.88/27.96 c | 3223 | 463 408 5716 | 9743 3223 35 | 0.000 % | 27.98/28.07 c | 4931 | 463 408 5716 | 10717 4931 37 | 0.000 % | 28.19/28.22 c | 7493 | 463 408 5716 | 11789 7493 39 | 0.000 % | 28.38/28.49 c | 11341 | 463 408 5716 | 12968 11341 40 | 0.000 % | 28.88/28.93 c | 17107 | 463 408 5716 | 14265 10571 40 | 0.000 % | 29.59/29.62 c | 25756 | 463 408 5716 | 15692 12039 42 | 0.000 % | 30.79/30.81 c | 38731 | 463 408 5716 | 17261 9221 42 | 0.000 % | 32.59/32.66 c | 58193 | 463 408 5716 | 18987 11149 46 | 0.000 % | 35.38/35.49 c =============================================================================== 35.88/35.93 c core #6 35.88/35.93 c ============================[ Search Statistics ]============================== 35.88/35.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.88/35.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.88/35.93 c =============================================================================== 35.88/35.93 c | 0 | 527 467 6610 | 5000 0 nan | 0.000 % | 35.88/35.94 c | 102 | 527 467 6610 | 5500 102 30 | 0.000 % | 35.88/35.95 c | 254 | 527 467 6610 | 6050 254 29 | 0.000 % | 35.88/35.96 c | 483 | 527 467 6610 | 6655 483 32 | 0.000 % | 35.88/35.97 c | 822 | 527 467 6610 | 7320 822 29 | 0.000 % | 35.88/35.99 c | 1328 | 527 467 6610 | 8052 1328 30 | 0.000 % | 35.99/36.02 c | 2087 | 527 467 6610 | 8857 2087 31 | 0.000 % | 35.99/36.08 c | 3228 | 527 467 6610 | 9743 3228 33 | 0.000 % | 36.09/36.18 c | 4940 | 527 467 6610 | 10717 4940 35 | 0.000 % | 36.29/36.34 c | 7502 | 527 467 6610 | 11789 7502 38 | 0.000 % | 36.59/36.66 c | 11347 | 527 467 6610 | 12968 11347 38 | 0.000 % | 37.09/37.18 c | 17114 | 527 467 6610 | 14265 10572 40 | 0.000 % | 37.89/37.99 c | 25763 | 527 467 6610 | 15692 12039 41 | 0.000 % | 39.18/39.22 c | 38738 | 527 467 6610 | 17261 9210 48 | 0.000 % | 41.19/41.21 c | 58201 | 527 467 6610 | 18987 11282 49 | 0.000 % | 44.08/44.17 c | 87393 | 527 467 6610 | 20886 11852 50 | 0.000 % | 45.58/45.66 c =============================================================================== 46.08/46.17 c core #7 46.08/46.17 c ============================[ Search Statistics ]============================== 46.08/46.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.08/46.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.08/46.17 c =============================================================================== 46.08/46.17 c | 0 | 594 528 7525 | 5000 0 nan | 0.000 % | 46.08/46.18 c | 101 | 594 528 7525 | 5500 101 36 | 0.000 % | 46.08/46.19 c | 253 | 594 528 7525 | 6050 253 36 | 0.000 % | 46.08/46.19 c | 480 | 594 528 7525 | 6655 480 34 | 0.000 % | 46.19/46.20 c | 817 | 594 528 7525 | 7320 817 33 | 0.000 % | 46.19/46.22 c | 1323 | 594 528 7525 | 8052 1323 31 | 0.000 % | 46.19/46.26 c | 2084 | 594 528 7525 | 8857 2084 35 | 0.000 % | 46.28/46.31 c | 3223 | 594 528 7525 | 9743 3223 37 | 0.000 % | 46.38/46.40 c | 4931 | 594 528 7525 | 10717 4931 37 | 0.000 % | 46.48/46.55 c | 7493 | 594 528 7525 | 11789 7493 38 | 0.000 % | 46.79/46.84 c | 11338 | 594 528 7525 | 12968 11338 40 | 0.000 % | 47.19/47.30 c | 17105 | 594 528 7525 | 14265 10573 40 | 0.000 % | 47.89/47.94 c | 25754 | 594 528 7525 | 15692 12036 41 | 0.000 % | 48.99/49.05 c | 38728 | 594 528 7525 | 17261 9202 44 | 0.000 % | 50.68/50.79 c | 58189 | 594 528 7525 | 18987 11302 42 | 0.000 % | 53.38/53.45 c | 87382 | 594 528 7525 | 20886 11866 48 | 0.000 % | 54.18/54.26 c =============================================================================== 54.69/54.72 c core #8 54.69/54.72 c ============================[ Search Statistics ]============================== 54.69/54.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.69/54.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.69/54.72 c =============================================================================== 54.69/54.72 c | 0 | 657 587 8417 | 5000 0 nan | 0.000 % | 54.69/54.73 c | 103 | 657 587 8417 | 5500 103 32 | 0.000 % | 54.69/54.74 c | 253 | 657 587 8417 | 6050 253 32 | 0.000 % | 54.69/54.75 c | 478 | 657 587 8417 | 6655 478 33 | 0.000 % | 54.69/54.76 c | 815 | 657 587 8417 | 7320 815 35 | 0.000 % | 54.69/54.78 c | 1321 | 657 587 8417 | 8052 1321 35 | 0.000 % | 54.78/54.81 c | 2080 | 657 587 8417 | 8857 2080 34 | 0.000 % | 54.78/54.87 c | 3221 | 657 587 8417 | 9743 3221 35 | 0.000 % | 54.89/54.96 c | 4930 | 657 587 8417 | 10717 4930 39 | 0.000 % | 55.09/55.13 c | 7492 | 657 587 8417 | 11789 7492 39 | 0.000 % | 55.38/55.43 c | 11336 | 657 587 8417 | 12968 11336 40 | 0.000 % | 55.78/55.84 c | 17103 | 657 587 8417 | 14265 10586 37 | 0.000 % | 56.48/56.56 c | 25754 | 657 587 8417 | 15692 12059 43 | 0.000 % | 57.58/57.68 c | 38730 | 657 587 8417 | 17261 9263 46 | 0.000 % | 59.29/59.31 c | 58195 | 657 587 8417 | 18987 11355 45 | 0.000 % | 59.59/59.69 c =============================================================================== 59.59/59.69 c #cores: 8 59.59/59.69 c Final Weight: 9 59.59/59.69 o 9 59.59/59.69 s OPTIMUM FOUND 59.59/59.69 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 59.59/59.69 c Total CPU time: 58.996 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-2689917-1277898517/watcher-2689917-1277898517 -o /tmp/evaluation-result-2689917-1277898517/solver-2689917-1277898517 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689917-1277898517.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.05 2.00 2.00 4/196 13564 /proc/meminfo: memFree=31041512/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=2572 CPUtime=0 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 288 0 0 0 0 0 0 0 25 0 1 0 131146271 2633728 203 4089446400 134512640 135751879 4288410720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13564/statm: 643 204 143 303 0 338 0 [startup+0.0633151 s] /proc/loadavg: 2.05 2.00 2.00 4/196 13564 /proc/meminfo: memFree=31041512/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=3100 CPUtime=0.06 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 436 0 0 0 6 0 0 0 25 0 1 0 131146271 3174400 351 4089446400 134512640 135751879 4288410720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13564/statm: 775 351 143 303 0 470 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3100 [startup+0.100308 s] /proc/loadavg: 2.05 2.00 2.00 4/196 13564 /proc/meminfo: memFree=31041512/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=3496 CPUtime=0.09 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 515 0 0 0 9 0 0 0 25 0 1 0 131146271 3579904 430 4089446400 134512640 135751879 4288410720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13564/statm: 874 430 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300272 s] /proc/loadavg: 2.05 2.00 2.00 4/196 13564 /proc/meminfo: memFree=31041512/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=4948 CPUtime=0.29 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 885 0 0 0 29 0 0 0 25 0 1 0 131146271 5066752 800 4089446400 134512640 135751879 4288410720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13564/statm: 1237 800 143 303 0 932 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4948 [startup+0.700201 s] /proc/loadavg: 2.05 2.00 2.00 4/196 13564 /proc/meminfo: memFree=31041512/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=6952 CPUtime=0.69 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 1367 0 0 0 68 1 0 0 25 0 1 0 131146271 7118848 1282 4089446400 134512640 135751879 4288410720 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13564/statm: 1738 1282 143 303 0 1433 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6952 [startup+1.50106 s] /proc/loadavg: 2.05 2.00 2.00 3/197 13565 /proc/meminfo: memFree=31035180/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=10528 CPUtime=1.49 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 2294 0 0 0 148 1 0 0 25 0 1 0 131146271 10780672 2209 4089446400 134512640 135751879 4288410720 18446744073709551615 134616712 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13564/statm: 2632 2209 143 303 0 2327 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10528 [startup+3.10078 s] /proc/loadavg: 2.05 2.00 2.00 3/197 13565 /proc/meminfo: memFree=31030484/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=17656 CPUtime=3.09 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 4063 0 0 0 306 3 0 0 25 0 1 0 131146271 18079744 3978 4089446400 134512640 135751879 4288410720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13564/statm: 4414 3978 143 303 0 4109 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17656 [startup+6.30022 s] /proc/loadavg: 2.05 2.00 2.00 3/197 13565 /proc/meminfo: memFree=31015232/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=28348 CPUtime=6.29 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 6724 0 0 0 623 6 0 0 25 0 1 0 131146271 29028352 6639 4089446400 134512640 135751879 4288410720 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13564/statm: 7087 6639 146 303 0 6782 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28348 [startup+12.7001 s] /proc/loadavg: 2.04 2.00 2.00 3/197 13565 /proc/meminfo: memFree=31003492/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=42088 CPUtime=12.69 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 10181 0 0 0 1255 14 0 0 25 0 1 0 131146271 43098112 10096 4089446400 134512640 135751879 4288410720 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13564/statm: 10522 10096 146 303 0 10217 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42088 [startup+25.5009 s] /proc/loadavg: 2.03 2.00 2.00 3/197 13566 /proc/meminfo: memFree=30973392/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=71532 CPUtime=25.49 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 17534 0 0 0 2521 28 0 0 25 0 1 0 131146271 73248768 17449 4089446400 134512640 135751879 4288410720 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13564/statm: 17883 17449 146 303 0 17578 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71532 [startup+51.1004 s] /proc/loadavg: 2.02 2.00 2.00 3/197 13567 /proc/meminfo: memFree=30917432/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=128488 CPUtime=51.08 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 31758 0 0 0 5050 58 0 0 25 0 1 0 131146271 131571712 31673 4089446400 134512640 135751879 4288410720 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13564/statm: 32122 31673 146 303 0 31817 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 128488 Solver just ended. Dumping a history of the last processes samples [startup+54.3008 s] /proc/loadavg: 2.02 2.00 2.00 3/197 13567 /proc/meminfo: memFree=30907264/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=139312 CPUtime=54.28 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 34475 0 0 0 5367 61 0 0 25 0 1 0 131146271 142655488 34390 4089446400 134512640 135751879 4288410720 18446744073709551615 134516349 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13564/statm: 34828 34390 146 303 0 34523 0 Current children cumulated CPU time (s) 54.28 Current children cumulated vsize (KiB) 139312 [startup+57.5002 s] /proc/loadavg: 2.02 2.00 2.00 3/197 13567 /proc/meminfo: memFree=30902552/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=141688 CPUtime=57.48 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 35079 0 0 0 5682 66 0 0 25 0 1 0 131146271 145088512 34994 4089446400 134512640 135751879 4288410720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13564/statm: 35422 34994 146 303 0 35117 0 Current children cumulated CPU time (s) 57.48 Current children cumulated vsize (KiB) 141688 [startup+59.101 s] /proc/loadavg: 2.02 2.00 2.00 3/197 13567 /proc/meminfo: memFree=30901308/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=145256 CPUtime=59.08 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 35980 0 0 0 5840 68 0 0 25 0 1 0 131146271 148742144 35895 4089446400 134512640 135751879 4288410720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13564/statm: 36314 35895 146 303 0 36009 0 Current children cumulated CPU time (s) 59.08 Current children cumulated vsize (KiB) 145256 [startup+59.5009 s] /proc/loadavg: 2.02 2.00 2.00 3/197 13567 /proc/meminfo: memFree=30898456/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=146312 CPUtime=59.49 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202496 36241 0 0 0 5880 69 0 0 25 0 1 0 131146271 149823488 36156 4089446400 134512640 135751879 4288410720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13564/statm: 36578 36156 146 303 0 36273 0 Current children cumulated CPU time (s) 59.49 Current children cumulated vsize (KiB) 146312 [startup+59.7009 s] /proc/loadavg: 2.02 2.00 2.00 3/197 13567 /proc/meminfo: memFree=30898456/32951124 swapFree=67111528/67111528 [pid=13564] ppid=13562 vsize=0 CPUtime=59.68 /proc/13564/stat : 13564 (wbo1.4a) R 13562 13564 11728 0 -1 4202500 36384 0 0 0 5899 69 0 0 25 0 1 0 131146271 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0 /proc/13564/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 59.68 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 59.7013 CPU time (s): 59.6949 CPU user time (s): 58.996 CPU system time (s): 0.698893 CPU usage (%): 99.9893 Max. virtual memory (cumulated for all children) (KiB): 146708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 58.996 system time used= 0.698893 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36384 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 314 runsolver used 0.096985 second user time and 0.19297 second system time The end
Begin job on node144 at 2010-06-30 13:48:37 IDJOB=2689917 IDBENCH=78839 IDSOLVER=1200 FILE ID=node144/2689917-1277898517 PBS_JOBID= 11197066 Free space on /tmp= 74180 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111219348--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-2689917-1277898517/watcher-2689917-1277898517 -o /tmp/evaluation-result-2689917-1277898517/solver-2689917-1277898517 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689917-1277898517.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 137575c353ea976a2596969302480bf9 RANDOM SEED=190703466 node144.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.848 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.69 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.848 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.83 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.848 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.848 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.82 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.848 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.848 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.848 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.848 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 : 5230.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31042032 kB Buffers: 182444 kB Cached: 1244888 kB SwapCached: 0 kB Active: 840328 kB Inactive: 926068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31042032 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2744 kB Writeback: 0 kB AnonPages: 339388 kB Mapped: 20256 kB Slab: 79864 kB PageTables: 5280 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655840 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74176 MiB End job on node144 at 2010-06-30 13:49:37