Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 67.1758 | 67.174 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo |
MD5SUM | 8c7284b7ccf7c3e8bad0ea1f2a54ab5e |
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.424935 |
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 | 1247 |
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-2689826-1277896180.wbo. 0.00/0.00 c Instance file HOME/instance-2689826-1277896180.wbo 0.00/0.00 c File size is 10316 bytes. 0.00/0.00 c Highest Coefficient sum: 1247 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 42 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 36 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 34 | 0.004 % | 0.00/0.02 c | 816 | 169 101 1205 | 7320 816 34 | 0.004 % | 0.02/0.03 c | 1323 | 169 101 1205 | 8052 1323 36 | 0.004 % | 0.02/0.05 c | 2082 | 169 101 1205 | 8857 2082 36 | 0.004 % | 0.02/0.09 c | 3222 | 169 101 1205 | 9743 3222 36 | 0.004 % | 0.09/0.15 c | 4931 | 169 101 1205 | 10717 4931 37 | 0.004 % | 0.19/0.27 c | 7494 | 169 101 1205 | 11789 7494 39 | 0.004 % | 0.49/0.50 c | 11338 | 169 101 1205 | 12968 11338 41 | 0.004 % | 0.80/0.86 c | 17104 | 169 101 1205 | 14265 10577 43 | 0.004 % | 1.39/1.47 c | 25757 | 169 101 1205 | 15692 12036 45 | 0.004 % | 2.39/2.49 c | 38735 | 169 101 1205 | 17261 9203 46 | 0.004 % | 4.19/4.21 c | 58196 | 169 101 1205 | 18987 11307 46 | 0.004 % | 4.89/4.95 c =============================================================================== 5.19/5.24 c core #1 5.19/5.24 c ============================[ Search Statistics ]============================== 5.19/5.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.24 c =============================================================================== 5.19/5.24 c | 0 | 236 169 2203 | 5000 0 nan | 0.000 % | 5.19/5.24 c | 101 | 236 169 2203 | 5500 101 42 | 0.002 % | 5.19/5.25 c | 253 | 236 169 2203 | 6050 253 36 | 0.002 % | 5.19/5.25 c | 479 | 236 169 2203 | 6655 479 34 | 0.002 % | 5.19/5.26 c | 816 | 236 169 2203 | 7320 816 34 | 0.002 % | 5.19/5.28 c | 1322 | 236 169 2203 | 8052 1322 34 | 0.002 % | 5.29/5.30 c | 2082 | 236 169 2203 | 8857 2082 34 | 0.002 % | 5.29/5.34 c | 3221 | 236 169 2203 | 9743 3221 34 | 0.002 % | 5.40/5.41 c | 4929 | 236 169 2203 | 10717 4929 35 | 0.002 % | 5.50/5.53 c | 7491 | 236 169 2203 | 11789 7491 37 | 0.002 % | 5.69/5.77 c | 11335 | 236 169 2203 | 12968 11335 38 | 0.002 % | 6.09/6.15 c | 17102 | 236 169 2203 | 14265 10569 41 | 0.002 % | 6.69/6.73 c | 25753 | 236 169 2203 | 15692 12026 43 | 0.002 % | 7.79/7.82 c | 38728 | 236 169 2203 | 17261 9190 48 | 0.002 % | 9.59/9.62 c | 58189 | 236 169 2203 | 18987 11276 50 | 0.002 % | 12.20/12.22 c | 87384 | 193 169 2203 | 20886 1626 30 | 18.222 % | 12.30/12.32 c =============================================================================== 12.69/12.76 c core #2 12.69/12.76 c ============================[ Search Statistics ]============================== 12.69/12.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.69/12.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.69/12.76 c =============================================================================== 12.69/12.76 c | 0 | 302 235 3176 | 5000 0 nan | 0.000 % | 12.69/12.77 c | 100 | 302 235 3176 | 5500 100 37 | 0.001 % | 12.69/12.77 c | 252 | 302 235 3176 | 6050 252 30 | 0.001 % | 12.69/12.78 c | 477 | 302 235 3176 | 6655 477 30 | 0.001 % | 12.69/12.79 c | 815 | 302 235 3176 | 7320 815 32 | 0.001 % | 12.79/12.80 c | 1321 | 302 235 3176 | 8052 1321 35 | 0.001 % | 12.79/12.83 c | 2086 | 302 235 3176 | 8857 2086 33 | 0.001 % | 12.79/12.87 c | 3225 | 302 235 3176 | 9743 3225 33 | 0.001 % | 12.90/12.94 c | 4933 | 302 235 3176 | 10717 4933 33 | 0.001 % | 12.99/13.06 c | 7496 | 302 235 3176 | 11789 7496 35 | 0.001 % | 13.20/13.29 c | 11340 | 302 235 3176 | 12968 11340 37 | 0.001 % | 13.59/13.64 c | 17106 | 302 235 3176 | 14265 10566 40 | 0.001 % | 14.19/14.20 c | 25756 | 302 235 3176 | 15692 12044 43 | 0.001 % | 15.19/15.21 c | 38730 | 302 235 3176 | 17261 9215 44 | 0.001 % | 16.59/16.63 c | 58195 | 302 235 3176 | 18987 11303 47 | 0.001 % | 19.09/19.16 c | 87391 | 302 235 3176 | 20886 11839 48 | 0.001 % | 19.80/19.82 c =============================================================================== 20.19/20.28 c core #3 20.19/20.28 c ============================[ Search Statistics ]============================== 20.19/20.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.19/20.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.19/20.28 c =============================================================================== 20.19/20.28 c | 0 | 371 301 4155 | 5000 0 nan | 0.000 % | 20.19/20.29 c | 100 | 371 301 4155 | 5500 100 39 | 0.001 % | 20.19/20.29 c | 250 | 371 301 4155 | 6050 250 36 | 0.001 % | 20.29/20.30 c | 476 | 371 301 4155 | 6655 476 38 | 0.001 % | 20.29/20.31 c | 813 | 371 301 4155 | 7320 813 38 | 0.001 % | 20.29/20.33 c | 1319 | 371 301 4155 | 8052 1319 37 | 0.001 % | 20.29/20.35 c | 2078 | 371 301 4155 | 8857 2078 37 | 0.001 % | 20.39/20.40 c | 3218 | 371 301 4155 | 9743 3218 36 | 0.001 % | 20.39/20.47 c | 4926 | 371 301 4155 | 10717 4926 35 | 0.001 % | 20.59/20.60 c | 7490 | 371 301 4155 | 11789 7490 36 | 0.001 % | 20.79/20.83 c | 11334 | 371 301 4155 | 12968 11334 38 | 0.001 % | 21.19/21.22 c | 17103 | 371 301 4155 | 14265 10576 41 | 0.001 % | 21.79/21.88 c | 25753 | 371 301 4155 | 15692 12031 45 | 0.001 % | 22.79/22.85 c | 38728 | 371 301 4155 | 17261 9212 44 | 0.001 % | 24.39/24.43 c | 58190 | 371 301 4155 | 18987 11311 43 | 0.001 % | 26.69/26.72 c | 87386 | 371 301 4155 | 20886 11852 45 | 0.001 % | 27.19/27.22 c =============================================================================== 27.60/27.67 c core #4 27.60/27.67 c ============================[ Search Statistics ]============================== 27.60/27.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.60/27.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.60/27.67 c =============================================================================== 27.60/27.67 c | 0 | 439 366 5127 | 5000 0 nan | 0.000 % | 27.60/27.68 c | 102 | 439 366 5127 | 5500 102 44 | 0.001 % | 27.60/27.68 c | 255 | 439 366 5127 | 6050 255 34 | 0.001 % | 27.60/27.69 c | 482 | 439 366 5127 | 6655 482 35 | 0.001 % | 27.69/27.71 c | 819 | 439 366 5127 | 7320 819 33 | 0.001 % | 27.69/27.72 c | 1326 | 439 366 5127 | 8052 1326 34 | 0.001 % | 27.69/27.75 c | 2086 | 439 366 5127 | 8857 2086 34 | 0.001 % | 27.69/27.79 c | 3226 | 439 366 5127 | 9743 3226 32 | 0.001 % | 27.79/27.87 c | 4934 | 439 366 5127 | 10717 4934 34 | 0.001 % | 27.99/28.00 c | 7501 | 439 366 5127 | 11789 7501 36 | 0.001 % | 28.19/28.24 c | 11346 | 439 366 5127 | 12968 11346 37 | 0.001 % | 28.59/28.62 c | 17112 | 439 366 5127 | 14265 10565 42 | 0.001 % | 29.19/29.22 c | 25762 | 439 366 5127 | 15692 12022 43 | 0.001 % | 30.19/30.28 c | 38737 | 439 366 5127 | 17261 9208 44 | 0.001 % | 31.70/31.72 c | 58198 | 439 366 5127 | 18987 11288 46 | 0.001 % | 33.89/33.95 c =============================================================================== 34.29/34.35 c core #5 34.29/34.35 c ============================[ Search Statistics ]============================== 34.29/34.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.29/34.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.29/34.35 c =============================================================================== 34.29/34.35 c | 0 | 509 430 6090 | 5000 0 nan | 0.000 % | 34.29/34.36 c | 100 | 509 430 6090 | 5500 100 46 | 0.000 % | 34.29/34.37 c | 251 | 509 430 6090 | 6050 251 37 | 0.000 % | 34.29/34.38 c | 476 | 509 430 6090 | 6655 476 37 | 0.000 % | 34.29/34.39 c | 814 | 509 430 6090 | 7320 814 36 | 0.000 % | 34.39/34.40 c | 1323 | 509 430 6090 | 8052 1323 34 | 0.000 % | 34.39/34.43 c | 2083 | 509 430 6090 | 8857 2083 33 | 0.000 % | 34.39/34.48 c | 3223 | 509 430 6090 | 9743 3223 34 | 0.000 % | 34.49/34.56 c | 4932 | 509 430 6090 | 10717 4932 36 | 0.000 % | 34.59/34.68 c | 7496 | 509 430 6090 | 11789 7496 39 | 0.000 % | 34.90/34.91 c | 11341 | 509 430 6090 | 12968 11341 39 | 0.000 % | 35.20/35.29 c | 17110 | 509 430 6090 | 14265 10565 41 | 0.000 % | 35.79/35.87 c | 25759 | 509 430 6090 | 15692 12033 41 | 0.000 % | 36.79/36.87 c | 38733 | 509 430 6090 | 17261 9218 45 | 0.000 % | 38.29/38.40 c | 58197 | 509 430 6090 | 18987 11305 46 | 0.000 % | 41.19/41.20 c | 87389 | 509 430 6090 | 20886 11865 46 | 0.000 % | 42.50/42.58 c =============================================================================== 42.99/43.08 c core #6 42.99/43.08 c ============================[ Search Statistics ]============================== 42.99/43.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.99/43.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.99/43.08 c =============================================================================== 42.99/43.08 c | 0 | 583 493 7048 | 5000 0 nan | 0.000 % | 43.09/43.10 c | 101 | 583 493 7048 | 5500 101 45 | 0.000 % | 43.09/43.10 c | 252 | 583 493 7048 | 6050 252 41 | 0.000 % | 43.09/43.11 c | 477 | 583 493 7048 | 6655 477 34 | 0.000 % | 43.09/43.12 c | 815 | 583 493 7048 | 7320 815 32 | 0.000 % | 43.09/43.14 c | 1323 | 583 493 7048 | 8052 1323 35 | 0.000 % | 43.09/43.17 c | 2087 | 583 493 7048 | 8857 2087 35 | 0.000 % | 43.19/43.21 c | 3229 | 583 493 7048 | 9743 3229 36 | 0.000 % | 43.19/43.30 c | 4937 | 583 493 7048 | 10717 4937 36 | 0.000 % | 43.39/43.44 c | 7500 | 583 493 7048 | 11789 7500 36 | 0.000 % | 43.70/43.70 c | 11344 | 583 493 7048 | 12968 11344 37 | 0.000 % | 44.09/44.15 c | 17110 | 583 493 7048 | 14265 10573 40 | 0.000 % | 44.69/44.78 c | 25759 | 583 493 7048 | 15692 12043 41 | 0.000 % | 45.79/45.80 c | 38735 | 583 493 7048 | 17261 9223 47 | 0.000 % | 47.20/47.23 c | 58198 | 583 493 7048 | 18987 11324 46 | 0.000 % | 49.50/49.59 c | 87391 | 583 493 7048 | 20886 11879 47 | 0.014 % | 50.50/50.57 c =============================================================================== 50.99/51.06 c core #7 50.99/51.06 c ============================[ Search Statistics ]============================== 50.99/51.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.99/51.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.99/51.06 c =============================================================================== 50.99/51.06 c | 0 | 661 556 8014 | 5000 0 nan | 0.000 % | 50.99/51.07 c | 101 | 661 556 8014 | 5500 101 47 | 0.000 % | 50.99/51.08 c | 251 | 661 556 8014 | 6050 251 40 | 0.000 % | 50.99/51.08 c | 478 | 661 556 8014 | 6655 478 38 | 0.000 % | 50.99/51.10 c | 815 | 661 556 8014 | 7320 815 37 | 0.000 % | 51.09/51.11 c | 1324 | 661 556 8014 | 8052 1324 38 | 0.000 % | 51.09/51.14 c | 2086 | 661 556 8014 | 8857 2086 37 | 0.000 % | 51.19/51.20 c | 3227 | 661 556 8014 | 9743 3227 37 | 0.000 % | 51.19/51.28 c | 4935 | 661 556 8014 | 10717 4935 39 | 0.000 % | 51.40/51.43 c | 7498 | 661 556 8014 | 11789 7498 39 | 0.000 % | 51.60/51.68 c | 11342 | 661 556 8014 | 12968 11342 40 | 0.000 % | 51.99/52.10 c | 17109 | 661 556 8014 | 14265 10583 42 | 0.000 % | 52.70/52.75 c | 25758 | 661 556 8014 | 15692 12048 44 | 0.000 % | 53.80/53.81 c | 38733 | 661 556 8014 | 17261 9216 45 | 0.000 % | 55.39/55.46 c | 58198 | 661 556 8014 | 18987 11317 46 | 0.000 % | 57.90/57.96 c | 87393 | 661 556 8014 | 20886 11893 46 | 0.000 % | 59.09/59.16 c =============================================================================== 59.59/59.67 c core #8 59.59/59.67 c ============================[ Search Statistics ]============================== 59.59/59.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.59/59.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.59/59.67 c =============================================================================== 59.59/59.67 c | 0 | 729 617 8945 | 5000 0 nan | 0.000 % | 59.59/59.68 c | 100 | 729 617 8945 | 5500 100 44 | 0.000 % | 59.59/59.69 c | 251 | 729 617 8945 | 6050 251 36 | 0.000 % | 59.69/59.70 c | 476 | 729 617 8945 | 6655 476 34 | 0.000 % | 59.69/59.71 c | 813 | 729 617 8945 | 7320 813 32 | 0.000 % | 59.69/59.73 c | 1320 | 729 617 8945 | 8052 1320 34 | 0.000 % | 59.69/59.76 c | 2082 | 729 617 8945 | 8857 2082 34 | 0.000 % | 59.79/59.82 c | 3223 | 729 617 8945 | 9743 3223 35 | 0.000 % | 59.90/59.90 c | 4931 | 729 617 8945 | 10717 4931 34 | 0.000 % | 60.00/60.06 c | 7494 | 729 617 8945 | 11789 7494 34 | 0.000 % | 60.29/60.34 c | 11339 | 729 617 8945 | 12968 11339 36 | 0.000 % | 60.70/60.74 c | 17107 | 729 617 8945 | 14265 10581 38 | 0.000 % | 61.30/61.39 c | 25756 | 729 617 8945 | 15692 12043 41 | 0.000 % | 62.39/62.45 c | 38732 | 729 617 8945 | 17261 9214 41 | 0.000 % | 63.99/64.05 c | 58193 | 729 617 8945 | 18987 11284 47 | 0.000 % | 66.59/66.64 c | 87386 | 729 617 8945 | 20886 11813 50 | 0.000 % | 67.09/67.16 c =============================================================================== 67.09/67.16 c #cores: 8 67.09/67.16 c Final Weight: 8 67.09/67.16 o 8 67.09/67.16 s OPTIMUM FOUND 67.09/67.16 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 67.09/67.16 c Total CPU time: 66.2399 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-2689826-1277896180/watcher-2689826-1277896180 -o /tmp/evaluation-result-2689826-1277896180/solver-2689826-1277896180 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689826-1277896180.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.88 2.00 1.99 4/178 15324 /proc/meminfo: memFree=31073180/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=2576 CPUtime=0 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 290 0 0 0 0 0 0 0 18 0 1 0 130912617 2637824 206 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15324/statm: 644 206 143 303 0 339 0 [startup+0.0311389 s] /proc/loadavg: 1.88 2.00 1.99 4/178 15324 /proc/meminfo: memFree=31073180/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=2840 CPUtime=0.02 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 369 0 0 0 2 0 0 0 18 0 1 0 130912617 2908160 285 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15324/statm: 710 285 143 303 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2840 [startup+0.102187 s] /proc/loadavg: 1.88 2.00 1.99 4/178 15324 /proc/meminfo: memFree=31073180/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=3632 CPUtime=0.09 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 541 0 0 0 9 0 0 0 18 0 1 0 130912617 3719168 457 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 908 457 143 303 0 603 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3632 [startup+0.301119 s] /proc/loadavg: 1.88 2.00 1.99 4/178 15324 /proc/meminfo: memFree=31073180/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=5108 CPUtime=0.29 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 934 0 0 0 28 1 0 0 18 0 1 0 130912617 5230592 850 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 1277 850 143 303 0 972 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5108 [startup+0.701046 s] /proc/loadavg: 1.88 2.00 1.99 4/178 15324 /proc/meminfo: memFree=31073180/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=7364 CPUtime=0.69 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 1481 0 0 0 68 1 0 0 18 0 1 0 130912617 7540736 1397 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 1841 1397 143 303 0 1536 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7364 [startup+1.5009 s] /proc/loadavg: 1.88 2.00 1.99 3/179 15325 /proc/meminfo: memFree=31066104/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=11324 CPUtime=1.5 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 2486 0 0 0 147 3 0 0 20 0 1 0 130912617 11595776 2402 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 2831 2402 143 303 0 2526 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 11324 [startup+3.10059 s] /proc/loadavg: 1.88 2.00 1.99 3/179 15325 /proc/meminfo: memFree=31060896/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=18320 CPUtime=3.09 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 4243 0 0 0 304 5 0 0 25 0 1 0 130912617 18759680 4159 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 4580 4159 143 303 0 4275 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18320 [startup+6.30105 s] /proc/loadavg: 1.89 2.00 1.99 3/179 15325 /proc/meminfo: memFree=31046396/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=28320 CPUtime=6.29 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 6726 0 0 0 620 9 0 0 25 0 1 0 130912617 28999680 6642 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 7080 6642 146 303 0 6775 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28320 [startup+12.7009 s] /proc/loadavg: 1.89 2.00 1.99 3/179 15325 /proc/meminfo: memFree=31028196/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=49868 CPUtime=12.69 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 12101 0 0 0 1252 17 0 0 25 0 1 0 130912617 51064832 12017 4089446400 134512640 135751879 4294647168 18446744073709551615 134713163 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 12467 12017 146 303 0 12162 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49868 [startup+25.5006 s] /proc/loadavg: 1.92 2.00 1.99 3/179 15325 /proc/meminfo: memFree=30996388/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=77736 CPUtime=25.49 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 19070 0 0 0 2514 35 0 0 25 0 1 0 130912617 79601664 18986 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 19434 18986 146 303 0 19129 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77736 [startup+51.101 s] /proc/loadavg: 1.94 2.00 1.99 3/179 15327 /proc/meminfo: memFree=30886472/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=147200 CPUtime=51.09 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 36446 0 0 0 5039 70 0 0 25 0 1 0 130912617 150732800 36362 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 36800 36362 146 303 0 36495 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 147200 Solver just ended. Dumping a history of the last processes samples [startup+57.5009 s] /proc/loadavg: 1.95 2.00 1.99 3/179 15327 /proc/meminfo: memFree=30857700/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=158204 CPUtime=57.49 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 39202 0 0 0 5669 80 0 0 25 0 1 0 130912617 162000896 39118 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 39551 39118 146 303 0 39246 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 158204 [startup+63.9008 s] /proc/loadavg: 1.95 2.00 1.99 3/179 15327 /proc/meminfo: memFree=30834004/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=171808 CPUtime=63.9 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 42606 0 0 0 6302 88 0 0 25 0 1 0 130912617 175931392 42522 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 42952 42522 146 303 0 42647 0 Current children cumulated CPU time (s) 63.9 Current children cumulated vsize (KiB) 171808 [startup+65.5005 s] /proc/loadavg: 1.96 2.00 1.99 3/179 15327 /proc/meminfo: memFree=30829912/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=176436 CPUtime=65.49 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 43758 0 0 0 6459 90 0 0 25 0 1 0 130912617 180670464 43674 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 44109 43674 146 303 0 43804 0 Current children cumulated CPU time (s) 65.49 Current children cumulated vsize (KiB) 176436 [startup+66.3003 s] /proc/loadavg: 1.96 2.00 1.99 3/179 15327 /proc/meminfo: memFree=30824208/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=179612 CPUtime=66.29 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 44536 0 0 0 6538 91 0 0 25 0 1 0 130912617 183922688 44452 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 44903 44452 146 303 0 44598 0 Current children cumulated CPU time (s) 66.29 Current children cumulated vsize (KiB) 179612 [startup+66.7002 s] /proc/loadavg: 1.96 2.00 1.99 3/179 15327 /proc/meminfo: memFree=30824208/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=181064 CPUtime=66.69 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 44907 0 0 0 6577 92 0 0 25 0 1 0 130912617 185409536 44823 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 45266 44823 146 303 0 44961 0 Current children cumulated CPU time (s) 66.69 Current children cumulated vsize (KiB) 181064 [startup+67.1062 s] /proc/loadavg: 1.96 2.00 1.99 3/179 15327 /proc/meminfo: memFree=30818500/32951124 swapFree=67111528/67111528 [pid=15324] ppid=15322 vsize=182780 CPUtime=67.09 /proc/15324/stat : 15324 (wbo1.4a) R 15322 15324 15299 0 -1 4202496 45325 0 0 0 6617 92 0 0 25 0 1 0 130912617 187166720 45241 4089446400 134512640 135751879 4294647168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15324/statm: 45695 45241 146 303 0 45390 0 Current children cumulated CPU time (s) 67.09 Current children cumulated vsize (KiB) 182780 Child status: 0 Real time (s): 67.174 CPU time (s): 67.1758 CPU user time (s): 66.2399 CPU system time (s): 0.935857 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 182780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 66.2399 system time used= 0.935857 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45383 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 80 runsolver used 0.101984 second user time and 0.229965 second system time The end
Begin job on node146 at 2010-06-30 13:09:40 IDJOB=2689826 IDBENCH=78774 IDSOLVER=1200 FILE ID=node146/2689826-1277896180 PBS_JOBID= 11197159 Free space on /tmp= 74176 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968561--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-2689826-1277896180/watcher-2689826-1277896180 -o /tmp/evaluation-result-2689826-1277896180/solver-2689826-1277896180 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689826-1277896180.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8c7284b7ccf7c3e8bad0ea1f2a54ab5e RANDOM SEED=1114397382 node146.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.839 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.67 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.839 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.839 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 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.67 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.839 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.839 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.839 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: 32951124 kB MemFree: 31073700 kB Buffers: 182892 kB Cached: 1325284 kB SwapCached: 0 kB Active: 630172 kB Inactive: 1101608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31073700 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2884 kB Writeback: 0 kB AnonPages: 223868 kB Mapped: 16088 kB Slab: 82508 kB PageTables: 5100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 370304 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= 74172 MiB End job on node146 at 2010-06-30 13:10:47