Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 107.505 | 107.502 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-33-100-0.wbo |
MD5SUM | 81d0b3111be77447a435e48fa3fc6a23 |
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.703892 |
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 | 1147 |
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-2689793-1277895107.wbo. 0.00/0.00 c Instance file HOME/instance-2689793-1277895107.wbo 0.00/0.00 c File size is 10291 bytes. 0.00/0.00 c Highest Coefficient sum: 1147 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 29 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 34 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 35 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 35 | 0.004 % | 0.00/0.03 c | 1321 | 169 101 1205 | 8052 1321 34 | 0.004 % | 0.00/0.05 c | 2080 | 169 101 1205 | 8857 2080 35 | 0.004 % | 0.00/0.09 c | 3219 | 169 101 1205 | 9743 3219 37 | 0.004 % | 0.09/0.15 c | 4927 | 169 101 1205 | 10717 4927 39 | 0.004 % | 0.19/0.28 c | 7490 | 169 101 1205 | 11789 7490 40 | 0.004 % | 0.49/0.50 c | 11335 | 169 101 1205 | 12968 11335 42 | 0.004 % | 0.79/0.88 c | 17102 | 169 101 1205 | 14265 10570 46 | 0.004 % | 1.39/1.49 c | 25751 | 169 101 1205 | 15692 12031 49 | 0.004 % | 2.39/2.46 c | 38726 | 169 101 1205 | 17261 9205 49 | 0.004 % | 3.99/4.06 c | 58187 | 169 101 1205 | 18987 11282 52 | 0.004 % | 5.69/5.76 c =============================================================================== 6.10/6.11 c core #1 6.10/6.11 c ============================[ Search Statistics ]============================== 6.10/6.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.10/6.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.10/6.11 c =============================================================================== 6.10/6.11 c | 0 | 236 169 2203 | 5000 0 nan | 0.000 % | 6.10/6.11 c | 100 | 236 169 2203 | 5500 100 33 | 0.002 % | 6.10/6.12 c | 250 | 236 169 2203 | 6050 250 31 | 0.002 % | 6.10/6.12 c | 476 | 236 169 2203 | 6655 476 33 | 0.002 % | 6.10/6.13 c | 816 | 236 169 2203 | 7320 816 33 | 0.002 % | 6.10/6.15 c | 1322 | 236 169 2203 | 8052 1322 36 | 0.002 % | 6.10/6.17 c | 2081 | 236 169 2203 | 8857 2081 36 | 0.002 % | 6.19/6.22 c | 3221 | 236 169 2203 | 9743 3221 38 | 0.002 % | 6.19/6.29 c | 4929 | 236 169 2203 | 10717 4929 40 | 0.002 % | 6.39/6.42 c | 7493 | 236 169 2203 | 11789 7493 42 | 0.002 % | 6.60/6.69 c | 11337 | 236 169 2203 | 12968 11337 43 | 0.002 % | 6.99/7.09 c | 17104 | 236 169 2203 | 14265 10563 45 | 0.002 % | 7.70/7.77 c | 25755 | 236 169 2203 | 15692 12023 50 | 0.002 % | 8.80/8.86 c | 38730 | 236 169 2203 | 17261 9191 49 | 0.002 % | 10.29/10.36 c | 58191 | 236 169 2203 | 18987 11279 49 | 0.002 % | 12.69/12.73 c =============================================================================== 13.10/13.14 c core #2 13.10/13.14 c ============================[ Search Statistics ]============================== 13.10/13.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.10/13.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.10/13.14 c =============================================================================== 13.10/13.14 c | 0 | 302 235 3176 | 5000 0 nan | 0.000 % | 13.10/13.15 c | 100 | 302 235 3176 | 5500 100 33 | 0.001 % | 13.10/13.15 c | 250 | 302 235 3176 | 6050 250 33 | 0.001 % | 13.10/13.16 c | 476 | 302 235 3176 | 6655 476 39 | 0.001 % | 13.10/13.17 c | 814 | 302 235 3176 | 7320 814 43 | 0.001 % | 13.10/13.19 c | 1321 | 302 235 3176 | 8052 1321 42 | 0.001 % | 13.20/13.21 c | 2082 | 302 235 3176 | 8857 2082 38 | 0.001 % | 13.20/13.26 c | 3222 | 302 235 3176 | 9743 3222 37 | 0.001 % | 13.29/13.34 c | 4930 | 302 235 3176 | 10717 4930 38 | 0.001 % | 13.39/13.47 c | 7494 | 302 235 3176 | 11789 7494 39 | 0.001 % | 13.69/13.73 c | 11339 | 302 235 3176 | 12968 11339 40 | 0.001 % | 14.09/14.14 c | 17107 | 302 235 3176 | 14265 10571 43 | 0.001 % | 14.69/14.77 c | 25758 | 302 235 3176 | 15692 12047 44 | 0.001 % | 15.69/15.72 c | 38732 | 302 235 3176 | 17261 9225 46 | 0.001 % | 17.39/17.47 c | 58194 | 302 235 3176 | 18987 11329 50 | 0.001 % | 20.09/20.15 c | 87390 | 302 235 3176 | 20886 11887 48 | 0.001 % | 23.19/23.22 c =============================================================================== 23.79/23.85 c core #3 23.79/23.85 c ============================[ Search Statistics ]============================== 23.79/23.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.79/23.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.79/23.85 c =============================================================================== 23.79/23.85 c | 0 | 371 301 4155 | 5000 0 nan | 0.000 % | 23.79/23.86 c | 101 | 371 301 4155 | 5500 101 31 | 0.001 % | 23.79/23.87 c | 252 | 371 301 4155 | 6050 252 32 | 0.001 % | 23.79/23.87 c | 478 | 371 301 4155 | 6655 478 33 | 0.001 % | 23.79/23.88 c | 816 | 371 301 4155 | 7320 816 35 | 0.001 % | 23.89/23.90 c | 1325 | 371 301 4155 | 8052 1325 38 | 0.001 % | 23.89/23.93 c | 2085 | 371 301 4155 | 8857 2085 37 | 0.001 % | 23.89/23.97 c | 3225 | 371 301 4155 | 9743 3225 36 | 0.001 % | 23.99/24.04 c | 4934 | 371 301 4155 | 10717 4934 37 | 0.001 % | 24.09/24.17 c | 7498 | 371 301 4155 | 11789 7498 37 | 0.001 % | 24.39/24.40 c | 11343 | 371 301 4155 | 12968 11343 39 | 0.001 % | 24.69/24.79 c | 17111 | 371 301 4155 | 14265 10574 42 | 0.001 % | 25.39/25.40 c | 25761 | 371 301 4155 | 15692 12033 47 | 0.001 % | 26.29/26.35 c | 38736 | 371 301 4155 | 17261 9205 45 | 0.001 % | 27.89/27.90 c | 58199 | 371 301 4155 | 18987 11299 46 | 0.001 % | 30.29/30.35 c | 87393 | 371 301 4155 | 20886 11874 48 | 0.001 % | 34.29/34.33 c | 131184 | 371 301 4155 | 22974 13671 50 | 0.001 % | 36.09/36.17 c =============================================================================== 36.89/36.95 c core #4 36.89/36.95 c ============================[ Search Statistics ]============================== 36.89/36.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.89/36.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.89/36.95 c =============================================================================== 36.89/36.95 c | 0 | 435 366 5119 | 5000 0 nan | 0.000 % | 36.89/36.96 c | 105 | 435 366 5119 | 5500 105 34 | 0.001 % | 36.89/36.97 c | 256 | 435 366 5119 | 6050 256 41 | 0.001 % | 36.89/36.98 c | 483 | 435 366 5119 | 6655 483 37 | 0.001 % | 36.89/36.99 c | 821 | 435 366 5119 | 7320 821 36 | 0.001 % | 36.99/37.01 c | 1328 | 435 366 5119 | 8052 1328 37 | 0.001 % | 36.99/37.03 c | 2089 | 435 366 5119 | 8857 2089 37 | 0.001 % | 36.99/37.08 c | 3228 | 435 366 5119 | 9743 3228 38 | 0.001 % | 37.10/37.16 c | 4938 | 435 366 5119 | 10717 4938 40 | 0.001 % | 37.30/37.31 c | 7502 | 435 366 5119 | 11789 7502 41 | 0.001 % | 37.49/37.57 c | 11346 | 435 366 5119 | 12968 11346 42 | 0.001 % | 37.89/37.97 c | 17115 | 435 366 5119 | 14265 10586 45 | 0.001 % | 38.70/38.70 c | 25767 | 435 366 5119 | 15692 12051 46 | 0.001 % | 39.69/39.79 c | 38742 | 435 366 5119 | 17261 9230 48 | 0.001 % | 41.29/41.39 c | 58203 | 435 366 5119 | 18987 11316 48 | 0.001 % | 43.90/43.96 c | 87395 | 435 366 5119 | 20886 11892 51 | 0.001 % | 47.99/48.07 c | 131186 | 435 366 5119 | 22974 13678 54 | 0.031 % | 48.89/48.92 c =============================================================================== 49.60/49.67 c core #5 49.60/49.67 c ============================[ Search Statistics ]============================== 49.60/49.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.60/49.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.60/49.67 c =============================================================================== 49.60/49.67 c | 0 | 506 430 6084 | 5000 0 nan | 0.000 % | 49.60/49.68 c | 100 | 506 430 6084 | 5500 100 30 | 0.000 % | 49.60/49.69 c | 250 | 506 430 6084 | 6050 250 35 | 0.000 % | 49.60/49.70 c | 475 | 506 430 6084 | 6655 475 37 | 0.000 % | 49.69/49.71 c | 815 | 506 430 6084 | 7320 815 35 | 0.000 % | 49.69/49.72 c | 1323 | 506 430 6084 | 8052 1323 34 | 0.000 % | 49.69/49.75 c | 2082 | 506 430 6084 | 8857 2082 34 | 0.000 % | 49.69/49.79 c | 3221 | 506 430 6084 | 9743 3221 36 | 0.000 % | 49.79/49.87 c | 4929 | 506 430 6084 | 10717 4929 36 | 0.000 % | 49.99/50.00 c | 7493 | 506 430 6084 | 11789 7493 36 | 0.000 % | 50.19/50.25 c | 11337 | 506 430 6084 | 12968 11337 38 | 0.000 % | 50.60/50.62 c | 17105 | 506 430 6084 | 14265 10560 43 | 0.000 % | 51.19/51.25 c | 25755 | 506 430 6084 | 15692 12045 45 | 0.000 % | 52.30/52.33 c | 38729 | 506 430 6084 | 17261 9219 44 | 0.000 % | 53.90/53.93 c | 58193 | 506 430 6084 | 18987 11325 46 | 0.000 % | 56.29/56.36 c | 87385 | 506 430 6084 | 20886 11854 49 | 0.000 % | 59.79/59.81 c =============================================================================== 60.40/60.47 c core #6 60.40/60.47 c ============================[ Search Statistics ]============================== 60.40/60.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.40/60.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.40/60.47 c =============================================================================== 60.40/60.47 c | 0 | 580 493 7042 | 5000 0 nan | 0.000 % | 60.40/60.49 c | 103 | 580 493 7042 | 5500 103 39 | 0.000 % | 60.40/60.49 c | 253 | 580 493 7042 | 6050 253 37 | 0.000 % | 60.49/60.50 c | 482 | 580 493 7042 | 6655 482 34 | 0.000 % | 60.49/60.52 c | 821 | 580 493 7042 | 7320 821 35 | 0.000 % | 60.49/60.53 c | 1329 | 580 493 7042 | 8052 1329 35 | 0.000 % | 60.49/60.56 c | 2089 | 580 493 7042 | 8857 2089 34 | 0.000 % | 60.59/60.61 c | 3228 | 580 493 7042 | 9743 3228 34 | 0.000 % | 60.59/60.68 c | 4936 | 580 493 7042 | 10717 4936 34 | 0.000 % | 60.79/60.83 c | 7498 | 580 493 7042 | 11789 7498 36 | 0.000 % | 61.00/61.07 c | 11342 | 580 493 7042 | 12968 11342 39 | 0.000 % | 61.39/61.47 c | 17110 | 580 493 7042 | 14265 10575 45 | 0.000 % | 62.10/62.13 c | 25761 | 580 493 7042 | 15692 12051 44 | 0.000 % | 63.09/63.15 c | 38737 | 580 493 7042 | 17261 9242 46 | 0.000 % | 64.69/64.72 c | 58198 | 580 493 7042 | 18987 11364 47 | 0.000 % | 67.19/67.27 c | 87390 | 580 493 7042 | 20886 11892 48 | 0.000 % | 71.29/71.36 c | 131179 | 580 493 7042 | 22974 13703 50 | 0.007 % | 75.20/75.25 c =============================================================================== 76.10/76.18 c core #7 76.10/76.18 c ============================[ Search Statistics ]============================== 76.10/76.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.10/76.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.10/76.18 c =============================================================================== 76.10/76.18 c | 0 | 657 556 8006 | 5000 0 nan | 0.000 % | 76.20/76.20 c | 101 | 657 556 8006 | 5500 101 33 | 0.000 % | 76.20/76.20 c | 252 | 657 556 8006 | 6050 252 33 | 0.000 % | 76.20/76.21 c | 477 | 657 556 8006 | 6655 477 36 | 0.000 % | 76.20/76.22 c | 814 | 657 556 8006 | 7320 814 34 | 0.000 % | 76.20/76.24 c | 1320 | 657 556 8006 | 8052 1320 33 | 0.000 % | 76.20/76.27 c | 2079 | 657 556 8006 | 8857 2079 33 | 0.000 % | 76.29/76.32 c | 3219 | 657 556 8006 | 9743 3219 33 | 0.000 % | 76.39/76.40 c | 4927 | 657 556 8006 | 10717 4927 36 | 0.000 % | 76.49/76.56 c | 7491 | 657 556 8006 | 11789 7491 39 | 0.000 % | 76.79/76.83 c | 11336 | 657 556 8006 | 12968 11336 42 | 0.000 % | 77.19/77.27 c | 17103 | 657 556 8006 | 14265 10565 44 | 0.000 % | 77.89/77.97 c | 25752 | 657 556 8006 | 15692 12024 44 | 0.000 % | 78.99/79.07 c | 38727 | 657 556 8006 | 17261 9198 49 | 0.000 % | 80.70/80.71 c | 58188 | 657 556 8006 | 18987 11283 47 | 0.000 % | 83.39/83.41 c | 87382 | 657 556 8006 | 20886 11821 48 | 0.000 % | 87.59/87.63 c | 131171 | 657 556 8006 | 22974 13638 50 | 0.000 % | 93.29/93.31 c =============================================================================== 94.30/94.35 c core #8 94.30/94.35 c ============================[ Search Statistics ]============================== 94.30/94.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.30/94.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.30/94.35 c =============================================================================== 94.30/94.35 c | 0 | 730 617 8947 | 5000 0 nan | 0.000 % | 94.30/94.37 c | 100 | 730 617 8947 | 5500 100 33 | 0.000 % | 94.30/94.38 c | 252 | 730 617 8947 | 6050 252 38 | 0.000 % | 94.30/94.39 c | 478 | 730 617 8947 | 6655 478 34 | 0.000 % | 94.39/94.40 c | 818 | 730 617 8947 | 7320 818 34 | 0.000 % | 94.39/94.43 c | 1325 | 730 617 8947 | 8052 1325 34 | 0.000 % | 94.39/94.46 c | 2085 | 730 617 8947 | 8857 2085 33 | 0.000 % | 94.50/94.51 c | 3224 | 730 617 8947 | 9743 3224 34 | 0.000 % | 94.50/94.59 c | 4935 | 730 617 8947 | 10717 4935 37 | 0.000 % | 94.69/94.75 c | 7497 | 730 617 8947 | 11789 7497 37 | 0.000 % | 94.99/95.03 c | 11345 | 730 617 8947 | 12968 11345 38 | 0.000 % | 95.39/95.49 c | 17111 | 730 617 8947 | 14265 10572 42 | 0.000 % | 96.09/96.18 c | 25762 | 730 617 8947 | 15692 12041 46 | 0.000 % | 97.29/97.30 c | 38736 | 730 617 8947 | 17261 9221 46 | 0.000 % | 99.00/99.03 c | 58197 | 730 617 8947 | 18987 11309 46 | 0.000 % | 101.60/101.65 c | 87389 | 730 617 8947 | 20886 11856 50 | 0.000 % | 105.79/105.83 c | 131180 | 730 617 8947 | 22974 13687 47 | 0.000 % | 107.40/107.49 c =============================================================================== 107.40/107.49 c #cores: 8 107.40/107.49 c Final Weight: 8 107.40/107.49 o 8 107.40/107.49 s OPTIMUM FOUND 107.40/107.49 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 107.40/107.49 c Total CPU time: 104.911 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-2689793-1277895107/watcher-2689793-1277895107 -o /tmp/evaluation-result-2689793-1277895107/solver-2689793-1277895107 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689793-1277895107.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.99 2.00 2.00 3/178 11522 /proc/meminfo: memFree=31446440/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=2572 CPUtime=0 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 289 0 0 0 0 0 0 0 24 0 1 0 130807039 2633728 205 4089446400 134512640 135751879 4292383376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 643 205 143 303 0 338 0 [startup+0.010696 s] /proc/loadavg: 1.99 2.00 2.00 3/178 11522 /proc/meminfo: memFree=31446440/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=2572 CPUtime=0 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 305 0 0 0 0 0 0 0 24 0 1 0 130807039 2633728 221 4089446400 134512640 135751879 4292383376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 643 221 143 303 0 338 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2572 [startup+0.100679 s] /proc/loadavg: 1.99 2.00 2.00 3/178 11522 /proc/meminfo: memFree=31446440/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=3628 CPUtime=0.09 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 542 0 0 0 9 0 0 0 24 0 1 0 130807039 3715072 458 4089446400 134512640 135751879 4292383376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 907 458 143 303 0 602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3628 [startup+0.300643 s] /proc/loadavg: 1.99 2.00 2.00 3/178 11522 /proc/meminfo: memFree=31446440/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=5080 CPUtime=0.29 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 913 0 0 0 27 2 0 0 25 0 1 0 130807039 5201920 829 4089446400 134512640 135751879 4292383376 18446744073709551615 134607691 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 1270 829 143 303 0 965 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5080 [startup+0.700573 s] /proc/loadavg: 1.99 2.00 2.00 3/178 11522 /proc/meminfo: memFree=31446440/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=7236 CPUtime=0.69 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 1461 0 0 0 65 4 0 0 25 0 1 0 130807039 7409664 1377 4089446400 134512640 135751879 4292383376 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 1809 1377 143 303 0 1504 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7236 [startup+1.50043 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11523 /proc/meminfo: memFree=31440292/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=11464 CPUtime=1.49 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 2500 0 0 0 143 6 0 0 25 0 1 0 130807039 11739136 2416 4089446400 134512640 135751879 4292383376 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 2866 2416 143 303 0 2561 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11464 [startup+3.10015 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11523 /proc/meminfo: memFree=31434588/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=18992 CPUtime=3.09 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 4388 0 0 0 297 12 0 0 25 0 1 0 130807039 19447808 4304 4089446400 134512640 135751879 4292383376 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 4748 4304 143 303 0 4443 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18992 [startup+6.30058 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11523 /proc/meminfo: memFree=31420412/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=32656 CPUtime=6.3 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 7809 0 0 0 610 20 0 0 25 0 1 0 130807039 33439744 7725 4089446400 134512640 135751879 4292383376 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 8164 7725 146 303 0 7859 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 32656 [startup+12.7005 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11524 /proc/meminfo: memFree=31402184/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=50416 CPUtime=12.69 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 12250 0 0 0 1233 36 0 0 25 0 1 0 130807039 51625984 12166 4089446400 134512640 135751879 4292383376 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 12604 12166 146 303 0 12299 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50416 [startup+25.5002 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11524 /proc/meminfo: memFree=31364964/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=85216 CPUtime=25.49 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 20950 0 0 0 2481 68 0 0 20 0 1 0 130807039 87261184 20866 4089446400 134512640 135751879 4292383376 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 21304 20866 146 303 0 20999 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 85216 [startup+51.1007 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11524 /proc/meminfo: memFree=31298028/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=151816 CPUtime=51.09 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 37608 0 0 0 4981 128 0 0 25 0 1 0 130807039 155459584 37524 4089446400 134512640 135751879 4292383376 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 37954 37524 146 303 0 37649 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 151816 [startup+102.307 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11526 /proc/meminfo: memFree=31179296/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=270632 CPUtime=102.3 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 67306 0 0 0 9983 247 0 0 25 0 1 0 130807039 277127168 67222 4089446400 134512640 135751879 4292383376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 67658 67222 146 303 0 67353 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 270632 Solver just ended. Dumping a history of the last processes samples [startup+105.501 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11526 /proc/meminfo: memFree=31171600/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=278164 CPUtime=105.5 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 69187 0 0 0 10296 254 0 0 25 0 1 0 130807039 284839936 69103 4089446400 134512640 135751879 4292383376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 69541 69103 146 303 0 69236 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 278164 [startup+106.301 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11526 /proc/meminfo: memFree=31171600/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=280672 CPUtime=106.29 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 69818 0 0 0 10374 255 0 0 25 0 1 0 130807039 287408128 69734 4089446400 134512640 135751879 4292383376 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 70168 69734 146 303 0 69863 0 Current children cumulated CPU time (s) 106.29 Current children cumulated vsize (KiB) 280672 [startup+107.101 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11526 /proc/meminfo: memFree=31167880/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=283716 CPUtime=107.09 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202496 70583 0 0 0 10452 257 0 0 25 0 1 0 130807039 290525184 70499 4089446400 134512640 135751879 4292383376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11522/statm: 70929 70499 146 303 0 70624 0 Current children cumulated CPU time (s) 107.09 Current children cumulated vsize (KiB) 283716 [startup+107.501 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11526 /proc/meminfo: memFree=31167880/32950928 swapFree=4192956/4192956 [pid=11522] ppid=11520 vsize=0 CPUtime=107.5 /proc/11522/stat : 11522 (wbo1.4a) R 11520 11522 9516 0 -1 4202500 70945 0 0 0 10491 259 0 0 25 0 1 0 130807039 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0 /proc/11522/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 107.5 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 107.502 CPU time (s): 107.505 CPU user time (s): 104.911 CPU system time (s): 2.5936 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 284772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 104.911 system time used= 2.59361 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70945 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= 8 involuntary context switches= 96 runsolver used 0.152976 second user time and 0.350946 second system time The end
Begin job on node124 at 2010-06-30 12:51:47 IDJOB=2689793 IDBENCH=78747 IDSOLVER=1200 FILE ID=node124/2689793-1277895107 PBS_JOBID= 11197105 Free space on /tmp= 130620 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969860--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-2689793-1277895107/watcher-2689793-1277895107 -o /tmp/evaluation-result-2689793-1277895107/solver-2689793-1277895107 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689793-1277895107.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 81d0b3111be77447a435e48fa3fc6a23 RANDOM SEED=1983036965 node124.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.833 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.66 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.833 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.07 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.833 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.74 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.833 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.77 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.833 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.833 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.833 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.74 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.833 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31447092 kB Buffers: 179892 kB Cached: 1110948 kB SwapCached: 0 kB Active: 572264 kB Inactive: 819856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31447092 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 101428 kB Mapped: 15364 kB Slab: 78516 kB PageTables: 5272 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 20668420 kB Committed_AS: 247948 kB VmallocTotal: 34359738367 kB VmallocUsed: 265212 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 130616 MiB End job on node124 at 2010-06-30 12:53:35